Computational Complexity

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Fri, 19 Apr 24

[1]  arXiv:2404.11709 [pdf, ps, other]

Title: Satisfiability of commutative vs. non-commutative CSPs

Authors: Andrei A. Bulatov, Stanislav Živný

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

The Mermin-Peres magic square is a celebrated example of a system of Boolean linear equations that is not (classically) satisfiable but is satisfiable via linear operators on a Hilbert space of dimension four. A natural question is then, for what kind of problems such a phenomenon occurs? Atserias, Kolaitis, and Severini answered this question for all Boolean Constraint Satisfaction Problems (CSPs): For 2-SAT, Horn-SAT, and Dual Horn-SAT, classical satisfiability and operator satisfiability is the same and thus there is no gap; for all other Boolean CSPs, the two notions differ as there is a gap, i.e., there are unsatisfiable instances that are satisfied via operators on a finite-dimensional Hilbert space. We generalize their result to CSPs on arbitrary finite domains: CSPs of so-called bounded-width have no satisfiability gap, whereas all other CSPs have a satisfiability gap.

Cross-lists for Fri, 19 Apr 24

[2]  arXiv:2404.11841 (cross-list from cs.LO) [pdf, ps, other]

Title: On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$

Authors: Lijie Chen, Jiatu Li, Igor C. Oliveira

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

We show that there is a constant $k$ such that Buss's intuitionistic theory $\mathsf{IS}^1_2$ does not prove that SAT requires co-nondeterministic circuits of size at least $n^k$. To our knowledge, this is the first unconditional unprovability result in bounded arithmetic in the context of worst-case fixed-polynomial size circuit lower bounds. We complement this result by showing that the upper bound $\mathsf{NP} \subseteq \mathsf{coNSIZE}[n^k]$ is unprovable in $\mathsf{IS}^1_2$.

Replacements for Fri, 19 Apr 24

[3]  arXiv:2403.12213 (replaced) [pdf, ps, other]

Title: Private graphon estimation via sum-of-squares

Authors: Hongjie Chen, Jingqiu Ding, Tommaso d'Orsi, Yiding Hua, Chih-Hung Liu, David Steurer

Comments: 71 pages, accepted to STOC 2024

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Machine Learning (cs.LG); Machine Learning (stat.ML)

• New submissions
• Cross-lists
• Replacements