1: \begin{abstract}

2:     Grigoriev (2001) and Laurent (2003) independently showed that the sum-of-squares hierarchy of semidefinite programs does not exactly represent the hypercube $\{\pm 1\}^n$ until degree at least $n$ of the hierarchy.

3:     Laurent also observed that the pseudomoment matrices her proof constructs appear to have surprisingly simple and recursively structured spectra as $n$ increases.

4:     While several new proofs of the Grigoriev-Laurent lower bound have since appeared, Laurent's observations have remained unproved.

5:     We give yet another, representation-theoretic proof of the lower bound, which also yields exact formulae for the eigenvalues of the Grigoriev-Laurent pseudomoments.

6:     Using these, we prove and elaborate on Laurent's observations.

7: 

8:     Our arguments have two features that may be of independent interest.

9:     First, we show that the Grigoriev-Laurent pseudomoments are a special case of a Gram matrix construction of pseudomoments proposed by Bandeira and Kunisky (2020).

10:     Second, we 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 \emph{multiharmonic} with respect to an equilateral simplex.

11: \end{abstract}

12: