Corpus ID: 3290337

Subexponential Algorithms for dto-1 Two-Prover Games and for Certifying Almost Perfect Expansion

@inproceedings{Steurer2010SubexponentialAF,
  title={Subexponential Algorithms for dto-1 Two-Prover Games and for Certifying Almost Perfect Expansion},
  author={David Steurer},
  year={2010}
}
A question raised by the recent subexponential algorithm for Unique Games (Arora, Barak, Steurer, FOCS 2010) is what other “hard-looking” problems admit good approximation algorithms with subexponential complexity. In this work, we give such an algorithm for d-to-1 two-prover games, a broad class of constraint satisfaction problems. Our algorithm has several consequences for Khot’s d-to-1 Conjectures. We also give a related subexponential algorithm for certifying that small sets in a graph have… Expand
Subexponential Algorithms for Unique Games and Related Problems
TLDR
A sub exponential time approximation algorithm for the Unique Games problem that is exponential in an arbitrarily small polynomial of the input size, n, and shows that for every $\epsilon>0$ and every regular $n$-vertex graph~$G, one can break into disjoint parts so that the stochastic adjacency matrix of the induced graph on each part has at most n eigenvalues larger than $1-\eta. Expand
Towards a proof of the 2-to-1 games conjecture?
TLDR
A polynomial time reduction from gap-3LIN to label cover with 2-to-1 constraints is presented and an NP-hardness gap of 1/2−ε vs. ε for unique games is implied, assuming a certain combinatorial hypothesis on the Grassmann graph. Expand
On the proof of the 2-to-2 Games Conjecture
This article gives an overview of the recent proof of the 2-to-2 Games Conjecture in [68, 39, 38, 69] (with additional contributions from [75, 18, 67]). The proof requires an understanding ofExpand
An Exposition of Dinur-Khot-Kindler-Minzer-Safra’s Proof for the 2-to-2 Games Conjecture∗
In a recent paper [KMS18] proved a certain combinatorial hypothesis, which completed the proof of (the imperfect completeness variant of) Khot’s 2-to-2 games conjecture (based on an approachExpand
A new point of NP-hardness for unique games
TLDR
For these c, this is the first hardness result showing that it helps to take the alphabet size larger than 2 and the NP-hardness reductions are quasilinear-size and thus show nearly full exponential time is required, assuming the ETH. Expand
Hypercontractivity, sum-of-squares proofs, and their applications
TLDR
Reductions between computing the 2->4 norm and computing the injective tensor norm of a tensor, a problem with connections to quantum information theory and the study of Khot's Unique Games Conjecture are shown. Expand
New Tools for Graph Coloring
TLDR
This algorithm is inspired by recent work of Barak, Raghavendra, and Steurer on using Lasserre Hierarchy for unique games and can be used to show that known integrality gap instances for SDP relaxations like strict vector chromatic number cannot survive a few rounds of Lasserr lifting. Expand
Label Cover Reductions for Unconditional Approximation Hardness of Constraint Satisfaction
We give the first examples of non-trivially positively-useless predicates subject only to P != NP. In particular, for every constraint function Q : {-1,1}^4 -> R, we constructExpand
Analytical approach to parallel repetition
TLDR
Improved bounds for few parallel repetitions of projection games are shown, showing that Raz's counterexample to strong parallel repetition is tight even for a small number of repetitions, and a short proof for the NP-hardness of label cover(1, δ) for all δ > 0, starting from the basic PCP theorem. Expand
C C ] 21 M ay 2 01 2 Hypercontractivity , Sum-of-Squares Proofs , and their Applications
We study the computational complexity of approximating the 2-to-qnorm of linear operators (defined as ‖A‖2→q = maxv,0‖Av‖q/‖v‖2) for q > 2, as well as connections between this question and issuesExpand
...
1
2
...

References

SHOWING 1-10 OF 33 REFERENCES
Optimal algorithms and inapproximability results for every CSP?
TLDR
A generic conversion from SDP integrality gaps to UGC hardness results for every CSP is shown, which achieves at least as good an approximation ratio as the best known algorithms for several problems like MaxCut, Max2Sat, MaxDiCut and Unique Games. Expand
Which problems have strongly exponential complexity?
  • R. Impagliazzo, R. Paturi, F. Zane
  • Computer Science, Mathematics
  • Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
  • 1998
For several NP-complete problems, there have been a progression of better but still exponential algorithms. In this paper we address the relative likelihood of sub-exponential algorithms for theseExpand
Subexponential Algorithms for Unique Games and Related Problems
TLDR
A sub exponential time approximation algorithm for the Unique Games problem that is exponential in an arbitrarily small polynomial of the input size, n, and shows that for every $\epsilon>0$ and every regular $n$-vertex graph~$G, one can break into disjoint parts so that the stochastic adjacency matrix of the induced graph on each part has at most n eigenvalues larger than $1-\eta. Expand
Near-optimal algorithms for unique games
TLDR
This work presents significantly improved approximation algorithms for unique games that are based on rounding a natural semidefinite programming relaxation for the problem and their performance almost matches the integrality gap of this relaxation. Expand
Conditional hardness for satisfiable 3-CSPs
TLDR
It is proved that if Khot's d-to-1 Conjecture holds for any finite constant integer d, then NP naPCP1,5/8+ µ[O(log n),3] for any constant µ > 0.1 is NP-hard. Expand
Playing Random and Expanding Unique Games
In this work, we present a spectral algorithm that finds good assignments for instances of Unique Games when the underlying graph has some significant expansion and the constraints are arbitraryExpand
Conditional hardness for approximate coloring
TLDR
It is proved that the problem ALMOST-3-COLORINGε is hard for any constant ε>0, assuming Khot's Unique Games conjecture, and the result is based on bounding various generalized noise-stability quantities using the invariance principle of Mossel et al. Expand
Two Query PCP with Sub-Constant Error
  • Dana Moshkovitz, R. Raz
  • Computer Science, Mathematics
  • 2008 49th Annual IEEE Symposium on Foundations of Computer Science
  • 2008
TLDR
This work shows that the NP-Complete language 3Sat has a PCPverifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1), and improves many of the hardness of approximation results that are proved using the parallel repetition theorem. Expand
Spectral Algorithms for Unique Games
  • A. Kolla
  • Computer Science, Mathematics
  • 2010 IEEE 25th Annual Conference on Computational Complexity
  • 2010
TLDR
A new algorithm for Unique Games is given which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programming (SDP), and is able to recover a good assignment given a highly satisfiable instance of Unique Games. Expand
Approximation algorithms for unique games
  • L. Trevisan
  • Computer Science, Mathematics
  • 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05)
  • 2005
We present a polynomial time algorithm based on semidefinite programming that, given a unique game of value 1 - O(1/logn), satisfies a constant fraction of constraints, where n is the number ofExpand
...
1
2
3
4
...