Symmetric sums of squares over k-subset hypercubes

Annie Raymond, James Saunderson, Mohit Singh, Rekha R. Thomas

Research output: Contribution to journalArticleResearchpeer-review

16 Citations (Scopus)

Abstract

We consider the problem of finding sum of squares (sos) expressions to establish the non-negativity of a symmetric polynomial over a discrete hypercube whose coordinates are indexed by the k-element subsets of [n]. For simplicity, we focus on the case (Formula presented.), but our results extend naturally to all values of (Formula presented.). We develop a variant of the Gatermann–Parrilo symmetry-reduction method tailored to our setting that allows for several simplifications and a connection to flag algebras. We show that every symmetric polynomial that has a sos expression of a fixed degree also has a succinct sos expression whose size depends only on the degree and not on the number of variables. Our method bypasses much of the technical difficulties needed to apply the Gatermann–Parrilo method, and offers flexibility in obtaining succinct sos expressions that are combinatorially meaningful. As a byproduct of our results, we arrive at a natural representation-theoretic justification for the concept of flags as introduced by Razborov in his flag algebra calculus. Furthermore, this connection exposes a family of non-negative polynomials that cannot be certified with any fixed set of flags, answering a question of Razborov in the context of our finite setting.

Original languageEnglish
Pages (from-to)315-354
Number of pages40
JournalMathematical Programming
Volume167
Issue number2
DOIs
Publication statusPublished - 1 Feb 2018

Cite this