Unique Games on the Hypercube
Naman Agarwal, Guy Kindler, Alexandra Kolla, Luca Trevisan

TL;DR
This paper explores the Unique Games Conjecture on the hypercube, constructing near-optimal integrality gap instances for SDP and proposing that adding triangle inequalities could lead to a polynomial-time solution.
Contribution
It introduces a new integrality gap instance for Max-2-LIN on the hypercube and hypothesizes that enhanced SDP relaxations might efficiently solve these problems.
Findings
Constructed an almost optimal integrality gap instance for the hypercube.
Conjecture that adding triangle inequalities to SDP could solve Unique Games efficiently.
Provides insights into the complexity of Unique Games on high-dimensional structures.
Abstract
In this paper, we investigate the validity of the Unique Games Conjecture when the constraint graph is the boolean hypercube. We construct an almost optimal integrality gap instance on the Hypercube for the Goemans-Williamson semidefinite program (SDP) for Max-2-LIN. We conjecture that adding triangle inequalities to the SDP provides a polynomial time algorithm to solve Unique Games on the hypercube.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplexity and Algorithms in Graphs · Advanced Graph Theory Research · Optimization and Search Problems
