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.

Unimodular polytopes and a new Heller-type bound on totally unimodular matrices via Seymour's decomposition theorem

On the Column Number and Forbidden Submatrices for [math]-Modular Matrices

Unbounded matroids

Integer decomposition property of polytopes

Unimodular Hunting

Unimodular Hunting II

Many neighborly polytopes and oriented matroids

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

Variations on a theme of empty polytopes

A Regular Unimodular Triangulation of the Matroid Base Polytope

Enumerating integer points in polytopes with bounded subdeterminants

Marked poset polytopes: Minkowski sums, indecomposables, and unimodular equivalence

On bounded ratios of minors of totally positive matrices

A new invariant of lattice polytopes

A volume estimate for the set of stable lattices

Many 2-Level Polytopes from Matroids

On polytopes with linear rank with respect to generalizations of the split closure

$2$-Modular Matrices

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

Splines, lattice points, and arithmetic matroids