|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2009 50th Annual IEEE Symposium on Foundations of Computer Science
Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES
Atlanta, Georgia
October 25-October 27
ISBN: 978-0-7695-3850-1
| ASCII Text | x | ||
| Prasad Raghavendra, David Steurer, "Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES," Foundations of Computer Science, IEEE Annual Symposium on, pp. 575-585, 2009 50th Annual IEEE Symposium on Foundations of Computer Science, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/FOCS.2009.73, author = {Prasad Raghavendra and David Steurer}, title = {Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES}, journal ={Foundations of Computer Science, IEEE Annual Symposium on}, volume = {0}, year = {2009}, issn = {0272-5428}, pages = {575-585}, doi = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2009.73}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Foundations of Computer Science, IEEE Annual Symposium on TI - Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES SN - 0272-5428 SP575 EP585 A1 - Prasad Raghavendra, A1 - David Steurer, PY - 2009 KW - semidefinite programming KW - approximation algorithms KW - unique games conjecture KW - hardness of approximation KW - SDP hierarchies KW - Sherali--Adams hierarchy KW - integrality gap construction VL - 0 JA - Foundations of Computer Science, IEEE Annual Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2009.73
With the work of Khot and Vishnoi (FOCS 2005) as a starting point, we obtain integrality gaps for certain strong SDP relaxations of unique games. Specifically, we exhibit a gap instance for the basic semidefinite program strengthened by all valid linear inequalities on the inner products of up to $\exp(\Omega(\log\log~n)^{1/4})$ vectors. For stronger relaxations obtained from the basic semidefinite program by $R$ rounds of Sherali--Adams lift-and-project, we prove a unique games integrality gap for $R = \Omega(\log\log~n)^{1/4}$.By composing these SDP gaps with UGC-hardness reductions, the above results imply corresponding integrality gaps for every problem for which a UGC-based hardness is known. Consequently, this work implies that including any valid constraints on up to$\exp(\Omega(\log\log~n)^{1/4})$ vectors to natural semidefinite program, does not improve the approximation ratio for any problem in the following classes: constraint satisfaction problems, ordering constraint satisfaction problems and metric labeling problems over constant-size metrics. We obtain similar SDP integrality gaps for balanced separator, building on Devanur et al. (STOC 2006). We also exhibit, for explicit constants $\gamma, \delta > 0$, an n-point negative-type metric which requires distortion $\Omega(\log\log n)^{\gamma}$ to embed into$\ell_1$, although all its subsets of size$\exp(\Omega(\log\log~n)^{\delta})$ embed isometrically into $\ell_1$.
Index Terms:
semidefinite programming, approximation algorithms, unique games conjecture, hardness of approximation, SDP hierarchies, Sherali--Adams hierarchy, integrality gap construction
Citation:
Prasad Raghavendra, David Steurer, "Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES," focs, pp.575-585, 2009 50th Annual IEEE Symposium on Foundations of Computer Science, 2009
Usage of this product signifies your acceptance of the Terms of Use.
