Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
Abstract
We prove that Sherali-Adams with polynomially bounded coefficients requires proofs of size $n^{\Omega(d)}$ to rule out the existence of an $n^{\Theta(1)}$-clique in Erdős-Rényi random graphs whose maximum clique is of size $d\leq 2\log n$. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves defining a measure on monomials that precisely captures the contribution of a monomial to a refutation. This measure intuitively captures progress and should have further applications in proof complexity.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2024
- DOI:
- 10.48550/arXiv.2404.16722
- arXiv:
- arXiv:2404.16722
- Bibcode:
- 2024arXiv240416722D
- Keywords:
-
- Computer Science - Computational Complexity;
- F.2.2;
- F.1.3;
- I.2.3;
- F.4.1
- E-Print:
- This is the full-length version of a paper with the title "Clique Is Hard on Average for Unary Sherali-Adams" that appeared in the Proceedings of the 64th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2023)