Can a nonnegative polynomial be expressed as a sum of squares of polynomials?

  • MHB
  • Thread starter Ackbach
  • Start date
  • Tags
    2017
In summary, a polynomial is considered nonnegative if its value is always greater than or equal to zero for all possible values of its variables. Not all nonnegative polynomials can be expressed as a sum of squares of polynomials, which is a difficult mathematical problem that is actively researched. Examples of nonnegative polynomials that cannot be expressed as a sum of squares of polynomials include x^4 + x^2 + 1 and x^6 + 2x^4 + 3x^2 + 4. There are methods such as the Positivstellensatz theorem and Lasserre's hierarchy to determine if a nonnegative polynomial can be expressed as a sum of squares of polynomials. The Sum of Squares
  • #1
Ackbach
Gold Member
MHB
4,155
92
Here is this week's POTW:

-----

Let $p(x)$ be a polynomial that is nonnegative for all real $x$. Prove that for some $k$, there are polynomials $f_1(x),\dots,f_k(x$) such that
\[p(x) = \sum_{j=1}^k (f_j(x))^2.\]

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
  • #2
Re: Problem Of The Week # 249 - Jan 16, 2017

This was Problem A-2 in the 1999 William Lowell Putnam Mathematical Competition.

Congratulations to Opalg for his correct solution, which follows. Honorable mention to Kiwi for a mostly correct solution with only minor holes.

This can be done with $k=2$.

To start with, if $p(x)$ is a real polynomial that is always nonnegative then it must have even degree, and therefore an even number of (real or complex) roots. Also, the coefficient of the highest power of $x$ must be positive and can therefore be written as a square, say $d^2$.

Any real root of $p(x)$ must have even multiplicity (otherwise the polynomial would go negative on one side of the root). So a real root $x=c$ corresponds to a factor of the form $(x-c)^{2m}.$

Complex roots must occur in conjugate pairs of the form $x = a+ib$ and $x=a-ib.$ The corresponding factors of $p(x)$ are $(x-a-ib)(x-a+ib) = (x-a)^2 + b^2.$

Thus $p(x)$ is the product of factors of the form $d^2$, $(x-c)^2$ and $(x-a)^2 + b^2$. But a square times a sum of two squares is again a sum of two squares, and the product of two sums of two squares is also a sum of two squares (because of the identity $(A^2+B^2)(C^2+D^2) = (AC+BD)^2 + (AD-BC)^2$). By repeatedly applying these facts, you see that $p(x)$ must be the sum of two squares (of polynomials).
 

FAQ: Can a nonnegative polynomial be expressed as a sum of squares of polynomials?

What does it mean for a polynomial to be nonnegative?

A polynomial is considered nonnegative if its value is always greater than or equal to zero for all possible values of its variables. In other words, it has no negative values.

Can all nonnegative polynomials be expressed as a sum of squares of polynomials?

No, not all nonnegative polynomials can be expressed as a sum of squares of polynomials. This is known as the Sum of Squares (SOS) problem and it is a difficult mathematical problem that is still being actively researched and studied.

What are some examples of nonnegative polynomials that cannot be expressed as a sum of squares of polynomials?

One example is the polynomial x^4 + x^2 + 1. This polynomial is always nonnegative, but it cannot be expressed as a sum of squares of polynomials. Another example is the polynomial x^6 + 2x^4 + 3x^2 + 4, which also cannot be expressed as a sum of squares of polynomials.

Are there any known methods for determining if a nonnegative polynomial can be expressed as a sum of squares of polynomials?

Yes, there are several methods that have been developed for checking whether a given nonnegative polynomial can be expressed as a sum of squares of polynomials. These include the Positivstellensatz theorem and the Lasserre's hierarchy of semidefinite programming relaxations.

What applications does the Sum of Squares problem have in science and engineering?

The Sum of Squares problem has applications in various fields, including control theory, optimization, and computer vision. It is also used in the study of polynomial optimization problems and in the development of efficient algorithms for solving these problems.

Similar threads

Replies
1
Views
2K
Replies
1
Views
1K
Replies
1
Views
1K
Replies
1
Views
2K
Replies
1
Views
1K
Replies
1
Views
2K
Replies
1
Views
1K
Back
Top