Sums of Squares: A Real Projective Story

The relationship between nonnegative polynomials and sums of squares is one of the central questions in real algebraic geometry. A modern approach is to look at nonnegative polynomials and sums of squares on a real variety. We survey the rich history of this area and focus on recent developments highlighting unexpected links to complex algebraic geometry and commutative algebra.

[1]  Olga Taussky-Todd.  SOME CONCRETE ASPECTS OF HILBERT'S 17TH PROBLEM , 1996 .

[2]  Rainer Sinn,et al.  Positive semidefinite univariate matrix polynomials , 2017, Mathematische Zeitschrift.

[3]  Allan Gut,et al.  The Moment Problem , 2002, Encyclopedia of Special Functions: The Askey-Bateman Project.

[4]  A. Iarrobino,et al.  Power Sums, Gorenstein Algebras, and Determinantal Loci , 2000 .

[5]  Henri Lombardi,et al.  An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem , 2014, Memoirs of the American Mathematical Society.

[6]  Martin S. Andersen,et al.  Chordal Graphs and Semidefinite Optimization , 2015, Found. Trends Optim..

[7]  Grigoriy Blekherman,et al.  LOW-RANK SUM-OF-SQUARES REPRESENTATIONS ON VARIETIES OF MINIMAL DEGREE , 2016, 1606.04387.

[8]  B. Reznick.  Some concrete aspects of Hilbert's 17th Problem , 2000 .

[9]  D. Hilbert.  Über die Darstellung definiter Formen als Summe von Formenquadraten , 1888 .

[10]  Sum of squares length of real forms , 2016, 1603.05430.

[11]  Grigoriy Blekherman,et al.  Do Sums of Squares Dream of Free Resolutions? , 2016, SIAM J. Appl. Algebra Geom..

[12]  A. Pfister.  Zur Darstellung definiter Funktionen als Summe von Quadraten , 1967 .

[13]  Grigoriy Blekherman,et al.  Sums of squares and quadratic persistence on real projective varieties , 2019, Journal of the European Mathematical Society.

[14]  Grigoriy Blekherman,et al.  Sharp degree bounds for sum-of-squares certificates on projective curves , 2016, Journal de Mathématiques Pures et Appliquées.

[15]  Renato D. C. Monteiro,et al.  A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization , 2003, Math. Program..

[16]  Bruce Reznick,et al.  Real zeros of positive semidefinite forms. I , 1980 .

[17]  Grigoriy Blekherman,et al.  Sums of squares on the hypercube , 2014, 1402.4199.

[18]  Monique Laurent,et al.  A new graph parameter related to bounded rank positive semidefinite matrix completions , 2012, Math. Program..

[19]  Grigoriy Blekherman,et al.  Gap vectors of real projective varieties , 2014, 1407.0585.

[20]  E. Artin.  Über die Zerlegung definiter Funktionen in Quadrate , 1927 .

[21]  Gregory G. Smith,et al.  Sums of squares and varieties of minimal degree , 2013, 1308.0751.