Sums of squares and varieties of minimal degree
From MaRDI portal
Publication:2802075
DOI10.1090/JAMS/847zbMATH Open1388.14156arXiv1308.0751OpenAlexW1765206433MaRDI QIDQ2802075FDOQ2802075
Authors: Grigoriy Blekherman, Gregory G. Smith, Mauricio Velasco 
Publication date: 25 April 2016
Published in: Journal of the American Mathematical Society (Search for Journal in Brave)
Abstract: 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.
Full work available at URL: https://arxiv.org/abs/1308.0751
Recommendations
Semidefinite programming (90C22) Real algebraic sets (14P05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)
Cites Work
- Inequalities and Ehrhart $\delta $-vectors
- Computing the Continuous Discretely
- Multiples of lattice polytopes without interior lattice points
- Toric varieties
- Linear free resolutions and minimal multiplicity
- Moments, positive polynomials and their applications
- Sums of squares, moment matrices and optimization over polynomials
- Title not available (Why is that?)
- Semidefinite Optimization and Convex Algebraic Geometry
- Title not available (Why is that?)
- Real zeros for positive semidefinite forms. I
- Théoremes de Bertini et applications
- Title not available (Why is that?)
- A monotonicity property of \(h\)-vectors and \(h^*\)-vectors
- Some geometric results in semidefinite programming
- Nonnegative polynomials and sums of squares
- On inflection points, monomial curves, and hypersurfaces containing projective curves
- Counterexamples of the conjecture on roots of Ehrhart polynomials
- Arithmetic properties of projective varieties of almost minimal degree
- Valuations and real places in the theory of formally real fields
- The isomorphism problem for commutative monoid rings
- A Positivstellensatz for projective real varieties
- Projective invariants of quadratic embeddings
Cited In (33)
- Do sums of squares dream of free resolutions?
- Extreme points of Gram spectrahedra of binary forms
- NONNEGATIVE POLYNOMIALS, SUMS OF SQUARES AND THE MOMENT PROBLEM
- Low-rank sum-of-squares representations on varieties of minimal degree
- Causality constraints on corrections to Einstein gravity
- Sampling algebraic varieties for sum of squares programs
- Algebraic geometry and sums of squares
- Sums of squares and quadratic persistence on real projective varieties
- Sums of squares: a real projective story
- Cones between the cones of positive semidefinite forms and sums of squares
- Sums of squares on reducible real curves
- On the extreme rays of the cone of \(3\times 3\) quasiconvex quadratic forms: extremal determinants versus extremal and polyconvex forms
- The geometry of SDP-exactness in quadratic optimization
- Real rank boundaries and loci of forms
- Gap vectors of real projective varieties
- On the tightness of semidefinite relaxations for rotation estimation
- Sums of squares, Hankel index, and almost real rank
- A practical approach to SOS relaxations for detecting quantum entanglement
- High Degree Sum of Squares Proofs, Bienstock--Zuckerberg Hierarchy, and Chvátal--Gomory Cuts
- Multihomogeneous nonnegative polynomials and sums of squares
- Sharp degree bounds for sum-of-squares certificates on projective curves
- Convex Algebraic Geometry of Curvature Operators
- Gram spectrahedra
- Certifying Polynomial Nonnegativity via Hyperbolic Optimization
- Approximate super-resolution of positive measures in all dimensions
- Harmonic Hierarchies for Polynomial Optimization
- Blowup algebras of rational normal scrolls
- Dual toric codes and polytopes of degree one
- New examples of extremal positive linear maps
- A linear-algebraic proof of Hilbert's ternary quartic theorem
- On the degree of varieties of sum of squares
- A Positivstellensatz for projective real varieties
- Sums of squares and sparse semidefinite programming
This page was built for publication: Sums of squares and varieties of minimal degree
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802075)
