The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l 1

Subhash A. Khot, Nisheeth K. Vishnoi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper we disprove the following conjecture due to Goemans [16] and Linial [24] (also see [5, 26]): "Every negative type metric embeds into l 1 with constant distortion." We show that for every δ > 0, and for large enough n, there is an n-point negative type metric which requires distortion at-least (log log n) 1/6-δ to embed into l 1. Surprisingly, our construction is inspired by the Unique Games Conjecture (UGC) of Khot [19], establishing a previously unsuspected connection between PCPs and the theory of metric embeddings. We first prove that the UGC implies super-constant hardness results for (non-uniform) SPARSEST CUT and MINIMUM UNCUT problems. It is already known that the UGC also implies an optimal hardness result for MAXIMUM CUT [20]. Though these hardness results depend on the UGC, the integrality gap instances rely "only" on the PCP reductions for the respective problems. Towards this, we first construct an integrality gap instance for a natural SDP relaxation of UNIQUE GAMES. Then, we "simulate" the PCP reduction and "translate" the integrality gap instance of UNIQUE GAMES to integrality gap instances for the respective cut problems! This enables us to prove a (log log n) 1/6-δ integrality gap for (non-uniform) SPARSEST CUT and MINIMUM UNCUT, and an optimal integrality gap for MAXIMUM CUT. All our SDP solutions satisfy the so-called "triangle inequality" constraints. This also shows, for the first time, that the triangle inequality constraints do not add any power to the Goemans-Williamson's SDP relaxation of MAXIMUM CUT. The integrality gap for SPARSEST CUT immediately implies a lower bound for embedding negative type metrics into l 1. It also disproves the non-uniform version of Arora, Rao and Vazirani's Conjecture [5], asserting that the integrality gap of the SPARSEST CUT SDP, with the triangle inequality constraints, is bounded from above by a constant.

Original languageEnglish (US)
Title of host publicationProceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005
Pages53-62
Number of pages10
DOIs
StatePublished - Dec 1 2005
Event46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005 - Pittsburgh, PA, United States
Duration: Oct 23 2005Oct 25 2005

Publication series

NameProceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
Volume2005
ISSN (Print)0272-5428

Other

Other46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005
CountryUnited States
CityPittsburgh, PA
Period10/23/0510/25/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l <sub>1</sub>'. Together they form a unique fingerprint.

  • Cite this

    Khot, S. A., & Vishnoi, N. K. (2005). The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l 1 In Proceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005 (pp. 53-62). [1530701] (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; Vol. 2005). https://doi.org/10.1109/SFCS.2005.74