Nonnegative polynomials and sums of squares

Blekherman, Grigoriy

doi:10.1090/S0894-0347-2012-00733-4

Nonnegative polynomials and sums of squares
HTML articles powered by AMS MathViewer

by Grigoriy Blekherman

J. Amer. Math. Soc. 25 (2012), 617-635

DOI: https://doi.org/10.1090/S0894-0347-2012-00733-4

Published electronically: March 15, 2012

PDF | Request permission

Abstract:

In the smallest cases where there exist nonnegative polynomials that are not sums of squares we present a complete explanation of this distinction. The fundamental reason that the cone of sums of squares is strictly contained in the cone of nonnegative polynomials is that polynomials of degree $d$ satisfy certain linear relations, known as the Cayley-Bacharach relations, which are not satisfied by polynomials of full degree $2d$. For any nonnegative polynomial that is not a sum of squares we can write down a linear inequality coming from a Cayley-Bacharach relation that certifies this fact. We also characterize strictly positive sums of squares that lie on the boundary of the cone of sums of squares and extreme rays of the cone dual to the cone of sums of squares.

References

Grigoriy Blekherman, There are significantly more nonnegative polynomials than sums of squares, Israel J. Math. 153 (2006), 355–380. MR 2254649, DOI 10.1007/BF02771790
G. Blekherman, J. Hauenstein, J. C. Ottem, K. Ranestad, B. Sturmfels, Algebraic Boundaries of Hilbert’s SOS Cones, submitted for publication, arXiv:1107.1846.
Jacek Bochnak, Michel Coste, and Marie-Françoise Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original; Revised by the authors. MR 1659509, DOI 10.1007/978-3-662-03718-8
Alicia Dickenstein and Ioannis Z. Emiris (eds.), Solving polynomial equations, Algorithms and Computation in Mathematics, vol. 14, Springer-Verlag, Berlin, 2005. Foundations, algorithms, and applications. MR 2161984, DOI 10.1007/b138957
M. D. Choi, T. Y. Lam, and Bruce Reznick, Even symmetric sextics, Math. Z. 195 (1987), no. 4, 559–580. MR 900345, DOI 10.1007/BF01166704
David Eisenbud, Mark Green, and Joe Harris, Cayley-Bacharach theorems and conjectures, Bull. Amer. Math. Soc. (N.S.) 33 (1996), no. 3, 295–324. MR 1376653, DOI 10.1090/S0273-0979-96-00666-0
G. H. Hardy, J. E. Littlewood, and G. Pólya, Inequalities, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1988. Reprint of the 1952 edition. MR 944909
Joe Harris, Algebraic geometry, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New York, 1995. A first course; Corrected reprint of the 1992 original. MR 1416564
Jiawang Nie and Markus Schweighofer, On the complexity of Putinar’s Positivstellensatz, J. Complexity 23 (2007), no. 1, 135–150. MR 2297019, DOI 10.1016/j.jco.2006.07.002
Jean B. Lasserre, Global optimization with polynomials and the problem of moments, SIAM J. Optim. 11 (2000/01), no. 3, 796–817. MR 1814045, DOI 10.1137/S1052623400366802
Pablo A. Parrilo, Semidefinite programming relaxations for semialgebraic problems, Math. Program. 96 (2003), no. 2, Ser. B, 293–320. Algebraic and geometric methods in discrete optimization. MR 1993050, DOI 10.1007/s10107-003-0387-5
Motakuri Ramana and A. J. Goldman, Some geometric results in semidefinite programming, J. Global Optim. 7 (1995), no. 1, 33–50. MR 1342934, DOI 10.1007/BF01100204
Bruce Reznick, Sums of even powers of real linear forms, Mem. Amer. Math. Soc. 96 (1992), no. 463, viii+155. MR 1096187, DOI 10.1090/memo/0463
Bruce Reznick, Some concrete aspects of Hilbert’s 17th Problem, Real algebraic geometry and ordered structures (Baton Rouge, LA, 1996) Contemp. Math., vol. 253, Amer. Math. Soc., Providence, RI, 2000, pp. 251–272. MR 1747589, DOI 10.1090/conm/253/03936
B.Reznick, On Hilbert’s construction of positive polynomials, arXiv:0707.2156.
Raman Sanyal, Frank Sottile, and Bernd Sturmfels, Orbitopes, Mathematika 57 (2011), no. 2, 275–314. MR 2825238, DOI 10.1112/S002557931100132X
Rolf Schneider, Convex bodies: the Brunn-Minkowski theory, Encyclopedia of Mathematics and its Applications, vol. 44, Cambridge University Press, Cambridge, 1993. MR 1216521, DOI 10.1017/CBO9780511526282