{"id":"arxiv/2605.31169","url":"https://arxiv.org/abs/2605.31169","tags":["math.OC","math.CO"],"score":0,"title":"Sum-of-squares certificates for symmetric polynomials on the hypercube: a counterexample to a conjecture of De Klerk and Laurent","domain":"math.OC","source":"arxiv","authors":["Sven Polak"],"reviews":0,"subject":"math.OC","summary":"This paper studies sum-of-squares (SoS) representations of nonnegative polynomials over the hypercube $[0,1]^n$. De Klerk and Laurent (SIAM J. Optim., 2010) conjectured that the smallest constant $C_n$ such that the polynomial $x_1\\cdots x_n +C_n$ is contained in the degree-$n$ truncated quadratic module $M_{n,n}(x_1-x_1^2,\\ldots,x_n-x_n^2)$ of the hypercube is $C_n=1/(n(n+2))$, for $n$ even. We specialize symmetry reduction techniques for finding sum-of-squares certificates to the hypercube, where the generators $x_i-x_i^2$ are not individually invariant under the symmetric group but form…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}