Academic Journal
SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization
| Title: | SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization |
|---|---|
| Authors: | Kurpisz, Adam, Potechin, Aaron, Wirth, Elias Samuel |
| Contributors: | Adam Kurpisz and Aaron Potechin and Elias Samuel Wirth |
| Publisher Information: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Publication Year: | 2021 |
| Collection: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| Subject Terms: | symmetric quadratic functions, SoS certificate, hypercube optimization, semidefinite programming |
| Description: | We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Quadratic Functions (SQFs) in n variables with roots placed in points k-1 and k. Functions of this type have played a central role in deepening the understanding of the performance of the SoS method for various unconstrained Boolean hypercube optimization problems, including the Max Cut problem. Recently, Lee, Prakash, de Wolf, and Yuen proved a lower bound on the SoS rank for SQFs of Ω(√{k(n-k)}) and conjectured the lower bound of Ω(n) by similarity to a polynomial representation of the n-bit OR function. Leveraging recent developments on Chebyshev polynomials, we refute the Lee-Prakash-de Wolf-Yuen conjecture and prove that the SoS rank for SQFs is at most O(√{nk}log(n)). We connect this result to two constrained Boolean hypercube optimization problems. First, we provide a degree O(√n) SoS certificate that matches the known SoS rank lower bound for an instance of Min Knapsack, a problem that was intensively studied in the literature. Second, we study an instance of the Set Cover problem for which Bienstock and Zuckerberg conjectured an SoS rank lower bound of n/4. We refute the Bienstock-Zuckerberg conjecture and provide a degree O(√nlog(n)) SoS certificate for this problem. |
| Document Type: | article in journal/newspaper conference object |
| File Description: | application/pdf |
| Language: | English |
| Relation: | Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.90 |
| DOI: | 10.4230/LIPIcs.ICALP.2021.90 |
| Availability: | https://doi.org/10.4230/LIPIcs.ICALP.2021.90 https://nbn-resolving.org/urn:nbn:de:0030-drops-141595 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.90 |
| Rights: | https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: | edsbas.D4097D2D |
| Database: | BASE |
| DOI: | 10.4230/LIPIcs.ICALP.2021.90 |
|---|