Nonnegative polynomials and sums of squares

Author:
Grigoriy Blekherman

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

MSC (2010):
Primary 14N05, 14P99; Secondary 52A20

Published electronically:
March 15, 2012

MathSciNet review:
2904568

Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 satisfy certain linear relations, known as the Cayley-Bacharach relations, which are not satisfied by polynomials of full degree . 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.

**1.**Grigoriy Blekherman,*There are significantly more nonnegative polynomials than sums of squares*, Israel J. Math.**153**(2006), 355–380. MR**2254649**, 10.1007/BF02771790**2.**G. Blekherman, J. Hauenstein, J. C. Ottem, K. Ranestad, B. Sturmfels,*Algebraic Boundaries of Hilbert's SOS Cones*, submitted for publication, arXiv:1107.1846.**3.**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****4.**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****5.**M. D. Choi, T. Y. Lam, and Bruce Reznick,*Even symmetric sextics*, Math. Z.**195**(1987), no. 4, 559–580. MR**900345**, 10.1007/BF01166704**6.**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**, 10.1090/S0273-0979-96-00666-0**7.**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****8.**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****9.**Jiawang Nie and Markus Schweighofer,*On the complexity of Putinar’s Positivstellensatz*, J. Complexity**23**(2007), no. 1, 135–150. MR**2297019**, 10.1016/j.jco.2006.07.002**10.**Jean B. Lasserre,*Global optimization with polynomials and the problem of moments*, SIAM J. Optim.**11**(2000/01), no. 3, 796–817. MR**1814045**, 10.1137/S1052623400366802**11.**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**, 10.1007/s10107-003-0387-5**12.**Motakuri Ramana and A. J. Goldman,*Some geometric results in semidefinite programming*, J. Global Optim.**7**(1995), no. 1, 33–50. MR**1342934**, 10.1007/BF01100204**13.**Bruce Reznick,*Sums of even powers of real linear forms*, Mem. Amer. Math. Soc.**96**(1992), no. 463, viii+155. MR**1096187**, 10.1090/memo/0463**14.**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**, 10.1090/conm/253/03936**15.**B.Reznick,*On Hilbert's construction of positive polynomials,*arXiv:0707.2156.**16.**Raman Sanyal, Frank Sottile, and Bernd Sturmfels,*Orbitopes*, Mathematika**57**(2011), no. 2, 275–314. MR**2825238**, 10.1112/S002557931100132X**17.**Rolf Schneider,*Convex bodies: the Brunn-Minkowski theory*, Encyclopedia of Mathematics and its Applications, vol. 44, Cambridge University Press, Cambridge, 1993. MR**1216521**

Retrieve articles in *Journal of the American Mathematical Society*
with MSC (2010):
14N05,
14P99,
52A20

Retrieve articles in all journals with MSC (2010): 14N05, 14P99, 52A20

Additional Information

**Grigoriy Blekherman**

Affiliation:
School of Mathematics, Georgia Institute of Technology, 686 Cherry Street, Atlanta, Georgia 30332-0160

Email:
greg@math.gatech.edu

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

Received by editor(s):
December 11, 2010

Received by editor(s) in revised form:
August 12, 2011, and December 17, 2011

Published electronically:
March 15, 2012

Article copyright:
© Copyright 2012
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.