English

On odd powers of nonnegative polynomials that are not sums of squares

Algebraic Geometry 2024-08-01 v1 Optimization and Control

Abstract

We initiate a systematic study of nonnegative polynomials PP such that PkP^k is not a sum of squares for any odd k1k\geq 1, calling such PP \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show that any polynomial that spans an extreme ray of the convex cone of nonnegative ternary forms of degree 6 is stubborn. We also show how to use the SOS-invariant to prove stubbornness of ternary forms in higher degree. Furthermore, we prove that in a given degree and number of variables, nonnegative polynomials that are not stubborn form a convex cone, whose interior consists of all strictly positive polynomials.

Keywords

Cite

@article{arxiv.2407.21779,
  title  = {On odd powers of nonnegative polynomials that are not sums of squares},
  author = {Grigoriy Blekherman and Khazhgali Kozhasov and Bruce Reznick},
  journal= {arXiv preprint arXiv:2407.21779},
  year   = {2024}
}