Sum of Squares Lower Bounds from Pairwise Independence
Computational Complexity
2015-03-30 v2
Abstract
We prove that for every and predicate that supports a pairwise independent distribution, there exists an instance of the constraint satisfaction problem on variables such that no assignment can satisfy more than a fraction of 's constraints but the degree Sum of Squares semidefinite programming hierarchy cannot certify that 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