The Spectrum of the Grigoriev–Laurent Pseudomoments

Dmitriy Kunisky,Cristopher Moore
DOI: https://doi.org/10.1137/22m1511394
IF: 0.868
2024-01-07
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 1, Page 103-131, March 2024. Grigoriev (2001) and Laurent (2003) independently showed that the sum-of-squares hierarchy of semidefinite programs does not exactly represent the hypercube [math] until degree at least [math] of the hierarchy. Laurent also observed that the pseudomoment matrices her proof constructs appear to have surprisingly simple and recursively structured spectra as [math] increases. While several new proofs of the Grigoriev–Laurent lower bound have since appeared, Laurent's observations have remained unproved. We give yet another, representation-theoretic proof of the lower bound, which also yields exact formulas for the eigenvalues of the Grigoriev–Laurent pseudomoments. Using these, we prove and elaborate on Laurent's observations. Our proof shows that the Grigoriev–Laurent pseudomoments are a special case of a Gram matrix construction of pseudomoments proposed by Bandeira and Kunisky (2020). In the course of the proof, we also find a new realization of the irreducible representations of the symmetric group corresponding to Young diagrams with two rows, as spaces of multivariate polynomials that are multiharmonic with respect to an equilateral simplex.
mathematics, applied
What problem does this paper attempt to address?