Abstract:We introduce a new method for building higher-degree sum-of-squares lower bounds over the hypercube $\mathbf{x} \in \{\pm 1\}^N$ from a given degree 2 lower bound. Our method constructs pseudoexpectations that are positive semidefinite by design, lightening some of the technical challenges common to other approaches to SOS lower bounds, such as pseudocalibration. We give general "incoherence" conditions under which degree 2 pseudomoments can be extended to higher degrees. As an application, we extend previous lower bounds for the Sherrington-Kirkpatrick Hamiltonian from degree 4 to degree 6. (This is subsumed, however, in the stronger results of the parallel work of Ghosh et al.) This amounts to extending degree 2 pseudomoments given by a random low-rank projection matrix. As evidence in favor of our construction for higher degrees, we also show that random high-rank projection matrices (an easier case) can be extended to degree $\omega(1)$. We identify the main obstacle to achieving the same in the low-rank case, and conjecture that while our construction remains correct to leading order, it also requires a next-order adjustment. Our technical argument involves the interplay of two ideas of independent interest. First, our pseudomoment matrix factorizes in terms of certain multiharmonic polynomials. This observation guides our proof of positivity. Second, our pseudomoment values are described graphically by sums over forests, with coefficients given by the Möbius function of a partial ordering of those forests. This connection guides our proof that the pseudomoments satisfy the hypercube constraints. We trace the reason that our pseudomoments can satisfy both the hypercube and positivity constraints simultaneously to a combinatorial relationship between multiharmonic polynomials and this Möbius function.

Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits

Symmetric SAGE and SONC forms, exactness and quantitative gaps

Strictly positive polynomials in the boundary of the SOS cone

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

Power Mean Inequalities and Sums of Squares

Sumsets and Projective Curves

Algebraic and Geometric Properties of $\mathcal{L}^n_+$-Semipositive Matrices and $\mathcal{L}^n_+$-Semipositive Cones

Convex Ternary Quartics Are SOS-Convex

Conic programming to understand sums of squares of eigenvalues of graphs

Separating Cones defined by Toric Varieties: Some Properties and Open Problems

Positivity-preserving extensions of sum-of-squares pseudomoments over the hypercube

Optimal size of linear matrix inequalities in semidefinite approaches to polynomial optimization

Integer Points in Arbitrary Convex Cones: The Case of the PSD and SOC Cones

Fourier sum of squares certificates

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

On the degree of varieties of sum of squares

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials

Sums of squares representations on singular loci

The Nonconvex Second-Order Cone: Algebraic Structure Toward Optimization

Reducing non-negativity over general semialgebraic sets to non-negativity over simple sets

Reducing Nonnegativity over General Semialgebraic Sets to Nonnegativity over Simple Sets