Sums of squares and varieties of minimal degree

By Grigoriy Blekherman, Gregory G. Smith, Mauricio Velasco. 2013

67 citations recorded by the source corpus.

Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of minimal degree. This substantially extends Hilbert's celebrated characterization of equality between nonnegative forms and sums of squares. We obtain a complete list for the cases of equality and also a classification of the lattice polytopes Q for which every nonnegative Laurent polynomial with support contained in 2Q is a sum of squares.

Subfields: Algebra and Number Theory, Computational Mathematics, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/bd0b2a375e1153bea7d7cf4f7e39782f9acf48d4