SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization

• Published in: Mathematics of operations research
• Main Authors: Kurpisz, Adam, Potechin, Aaron, Wirth, Elias
• Format: Journal Article
• Language: English
• Published: 06.02.2025
• ISSN: 0364-765X; 1526-5471
• DOI: 10.1287/moor.2024.0422

We introduce several methods to study the rank of the sum of squares (SoS) hierarchy for problems over the Boolean hypercube. We apply our techniques to improve upon existing results, thus answering several open questions. We answer the question by Laurent regarding the SoS rank of the empty integral hull (EIH) problem. We prove that the SoS rank is between [Formula: see text] and [Formula: see text]. We refute the Lee-Prakash-de Wolf-Yuen (LPdWY) conjecture for the SoS rank of symmetric quadratic functions in n variables with roots placed in points k – 1 and k that conjectured the lower bound of [Formula: see text]. We prove that the SoS rank for SQFs is at most [Formula: see text]. We answer another question by Laurent for an instance of the min knapsack problem parameterized by P. We prove a nearly tight SoS rank between [Formula: see text] and [Formula: see text]. Finally, we refute the conjecture by Bienstock-Zuckerberg that presumed the SoS rank lower bound of [Formula: see text] for an instance of the set cover problem. We refute the conjecture by providing an [Formula: see text] SoS certificate for this problem. Funding: A. Kurpisz was supported by Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (SNSF) [Grant PZ00P2_174117], A. Potechin was supported in part by the National Science Foundation (NSF) [Grant CCF2008920], and E. Wirth was supported by DFG under Germany’s Excellence Strategy, The Berlin Mathematics Research Center (MATH+) [Grant EXC-2046/1, project ID 390685689, BMS Stipend].