TY - GEN
T1 - SDP integrality gaps with local ℓ1-embeddability
AU - Khot, Subhash
AU - Saket, Rishi
PY - 2009
Y1 - 2009
N2 - We construct integrality gap instances for SDP relaxation of the MAXIMUM CUT and the SPARSEST CUT problems. If the triangle inequality constraints are added to the SDP, then the SDP vectors naturally define an n-point negative type metric where n is the number of vertices in the problem instance. Our gap-instances satisfy a stronger constraint that every sub-metric on t = O((log log log n)1/6) points is isometrically embeddable into ℓ1. The local ℓ1-embeddability constraints are implied when the basic SDP relaxation is augmented with t rounds of the Sherali-Adams LP-relaxation. For the MAXIMUM CUT problem, we obtain an optimal gap of αGW -1 - ε, where αGW is the Goemans-Williamson constant [11] and ε > 0 is an arbitrarily small constant. For the SPARSEST C UT problem, we obtain a gap of Ω((log log log n) 1/13). The latter result can be rephrased as a construction of an n-point negative type metric such that every t-point sub-metric is isometrically ℓ1 -embeddable, but embedding the whole metric into ℓ1 incurs distortion Ω((log log log n) 1/13).
AB - We construct integrality gap instances for SDP relaxation of the MAXIMUM CUT and the SPARSEST CUT problems. If the triangle inequality constraints are added to the SDP, then the SDP vectors naturally define an n-point negative type metric where n is the number of vertices in the problem instance. Our gap-instances satisfy a stronger constraint that every sub-metric on t = O((log log log n)1/6) points is isometrically embeddable into ℓ1. The local ℓ1-embeddability constraints are implied when the basic SDP relaxation is augmented with t rounds of the Sherali-Adams LP-relaxation. For the MAXIMUM CUT problem, we obtain an optimal gap of αGW -1 - ε, where αGW is the Goemans-Williamson constant [11] and ε > 0 is an arbitrarily small constant. For the SPARSEST C UT problem, we obtain a gap of Ω((log log log n) 1/13). The latter result can be rephrased as a construction of an n-point negative type metric such that every t-point sub-metric is isometrically ℓ1 -embeddable, but embedding the whole metric into ℓ1 incurs distortion Ω((log log log n) 1/13).
UR - http://www.scopus.com/inward/record.url?scp=77952358829&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77952358829&partnerID=8YFLogxK
U2 - 10.1109/FOCS.2009.37
DO - 10.1109/FOCS.2009.37
M3 - Conference contribution
AN - SCOPUS:77952358829
SN - 9780769538501
T3 - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
SP - 565
EP - 574
BT - Proceedings - 50th Annual Symposium on Foundations of Computer Science, FOCS 2009
T2 - 50th Annual Symposium on Foundations of Computer Science, FOCS 2009
Y2 - 25 October 2009 through 27 October 2009
ER -