English

Sum of Squares Lower Bounds from Pairwise Independence

Computational Complexity 2015-03-30 v2

Abstract

We prove that for every ϵ>0\epsilon>0 and predicate P:{0,1}k{0,1}P:\{0,1\}^k\rightarrow \{0,1\} that supports a pairwise independent distribution, there exists an instance I\mathcal{I} of the MaxP\mathsf{Max}P constraint satisfaction problem on nn variables such that no assignment can satisfy more than a P1(1)2k+ϵ\tfrac{|P^{-1}(1)|}{2^k}+\epsilon fraction of I\mathcal{I}'s constraints but the degree Ω(n)\Omega(n) Sum of Squares semidefinite programming hierarchy cannot certify that I\mathcal{I} is unsatisfiable. Similar results were previously only known for weaker hierarchies.

Keywords

Cite

@article{arxiv.1501.00734,
  title  = {Sum of Squares Lower Bounds from Pairwise Independence},
  author = {Boaz Barak and Siu On Chan and Pravesh Kothari},
  journal= {arXiv preprint arXiv:1501.00734},
  year   = {2015}
}

Comments

27 Pages (including the title page) and 4 figures including appendix