Algebraic boundaries of Hilbert's SOS cones
From MaRDI portal
Publication:4911983
Abstract: We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized respectively by the Severi variety of plane rational sextics and by the variety of quartic symmetroids.
Recommendations
Cites work
- A numerical local dimension test for points on the solution set of a system of polynomial equations
- Discriminants and nonnegative polynomials
- Gromov-Witten classes, quantum cohomology, and enumerative geometry
- Nonnegative polynomials and sums of squares
- Numerical decomposition of the rank-deficiency set of a matrix of multivariate polynomials
- Numerical homotopies to compute generic points on positive dimensional algebraic sets
- On symmetric and skew-symmetric determinantal varieties
- On the Noether-Lefschetz theorem and some remarks on codimension-two cycles
- Projective Models of K - 3 Surfaces
- Real zeros for positive semidefinite forms. I
- Regenerative cascade homotopies for solving polynomial systems
- Symbolic homotopy construction
- The maximal number of components of a fourth degree surface in RP^3
- Witness sets of projections
Cited in
(39)- Even symmetric sextics
- Tensor decomposition and homotopy continuation
- Discriminants of cyclic homogeneous inequalities of three variables
- Spaces of sums of powers and real rank boundaries
- Real zeros of SONC polynomials
- An SOS counterexample to an inequality of symmetric functions
- Quantum entanglement, symmetric nonnegative quadratic polynomials and moment problems
- New examples of extremal positive linear maps
- Scheme-theoretic Whitney conditions
- Nonnegative polynomials and their Carathéodory number
- Rational quartic symmetroids
- Quartic spectrahedra
- Real rank geometry of ternary forms
- Topological Noetherianity of polynomial functors. II: Base rings with Noetherian spectrum
- Nonnegative polynomials and sums of squares
- Algebraic boundaries of convex semi-algebraic sets
- Sums of three squares and Noether–Lefschetz loci
- Enumeration of surfaces containing an elliptic quartic curve
- Extreme rays of Hankel spectrahedra for ternary forms
- Extreme positive ternary sextics
- Separating inequalities for nonnegative polynomials that are not sums of squares
- Two remarks on sums of squares with rational coefficients
- The algebraic boundary of the sonc-cone
- Existence and density of general components of the Noether-Lefschetz locus on normal threefolds
- The geometry of discotopes
- Do sums of squares dream of free resolutions?
- Equations for lower bounds on border rank
- Positive Gorenstein ideals
- New directions in real algebraic geometry. Abstracts from the workshop held March 19--24, 2023
- The cone of 5 5 completely positive matrices
- A Footnote to a Footnote to a Paper of B. Segre
- Discriminants and nonnegative polynomials
- Cones between the cones of positive semidefinite forms and sums of squares
- Strictly positive polynomials in the boundary of the SOS cone
- The Noether-Lefschetz locus of surfaces in \(\mathbb{P}^3\) formed by determinantal surfaces
- Lectures on nonnegative polynomials and sums of squares
- Convex ternary quartics are SOS-convex
- On odd powers of nonnegative polynomials that are not sums of squares
- Gram matrices for isotropic vectors
This page was built for publication: Algebraic boundaries of Hilbert's SOS cones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4911983)
