Positive polynomials and squares

If a real polynomial in one variable is a sum of squares, it obviously cannot be negative. For example, the polynomial

p(x) = (x2 – 3)2 + (x + 7)2

is obviously never negative for real values of x. What about the converse: If a real polynomial is never negative, is it a sum of squares? Yes, indeed it is.

What about polynomials in two variables? There the answer is no. David Hilbert (1862–1943) knew that there must be positive polynomials that are not a sum of squares, but no one produced a specific example until Theodove Motzkin in 1967. His polynomial

p(x, y) = 1 – 3x2y2 + x2 y4 + x4 y2

is never negative but cannot be written as a sum of any number of squares. Here’s a plot:

Motzkin polynomial

Source: Single Digits

 

4 thoughts on “Positive polynomials and squares

  1. SteveBrooklineMA

    How about an easier problem? Can there be a n-variable polynomial that is positive and surjective, sending R^n onto (0,\infty)? Someone posted this on a board a couple weeks ago, and an answer was quickly provided. Note Motzkin’s has p(1,1)=0.

  2. @Aaron perhaps you could demonstrate these rational functions using sympy? I have a hard time “visualizing” this.

  3. As far as I know, SymPy doesn’t have any algorithms for computing this. I’m not even sure what the sum of squares form of Motzkin’s polynomial is.

    The way to think of this is that for real polynomials, there is only one inequality, x^2 >= 0. All other inequalities are reducible to this form (subtract everything to the greater than side, rewrite the expression as a sum of squares).

    See for instance https://andrescaicedo.wordpress.com/2008/11/11/275-positive-polynomials/, which shows some famous inequalities (AM-GM and Cauchy-Shwarz) in this way.

Leave a Reply

Your email address will not be published. Required fields are marked *