591 research outputs found
How to Play Unique Games on Expanders
In this note we improve a recent result by Arora, Khot, Kolla, Steurer,
Tulsiani, and Vishnoi on solving the Unique Games problem on expanders.
Given a -satisfiable instance of Unique Games with the
constraint graph , our algorithm finds an assignment satisfying at least a
fraction of all constraints if where is the edge expansion of , is the second
smallest eigenvalue of the Laplacian of , and and are some absolute
constants
The Quantum PCP Conjecture
The classical PCP theorem is arguably the most important achievement of
classical complexity theory in the past quarter century. In recent years,
researchers in quantum computational complexity have tried to identify
approaches and develop tools that address the question: does a quantum version
of the PCP theorem hold? The story of this study starts with classical
complexity and takes unexpected turns providing fascinating vistas on the
foundations of quantum mechanics, the global nature of entanglement and its
topological properties, quantum error correction, information theory, and much
more; it raises questions that touch upon some of the most fundamental issues
at the heart of our understanding of quantum mechanics. At this point, the jury
is still out as to whether or not such a theorem holds. This survey aims to
provide a snapshot of the status in this ongoing story, tailored to a general
theory-of-CS audience.Comment: 45 pages, 4 figures, an enhanced version of the SIGACT guest column
from Volume 44 Issue 2, June 201
A No-Go Theorem for Derandomized Parallel Repetition: Beyond Feige-Kilian
In this work we show a barrier towards proving a randomness-efficient
parallel repetition, a promising avenue for achieving many tight
inapproximability results. Feige and Kilian (STOC'95) proved an impossibility
result for randomness-efficient parallel repetition for two prover games with
small degree, i.e., when each prover has only few possibilities for the
question of the other prover. In recent years, there have been indications that
randomness-efficient parallel repetition (also called derandomized parallel
repetition) might be possible for games with large degree, circumventing the
impossibility result of Feige and Kilian. In particular, Dinur and Meir
(CCC'11) construct games with large degree whose repetition can be derandomized
using a theorem of Impagliazzo, Kabanets and Wigderson (SICOMP'12). However,
obtaining derandomized parallel repetition theorems that would yield optimal
inapproximability results has remained elusive.
This paper presents an explanation for the current impasse in progress, by
proving a limitation on derandomized parallel repetition. We formalize two
properties which we call "fortification-friendliness" and "yields robust
embeddings." We show that any proof of derandomized parallel repetition
achieving almost-linear blow-up cannot both (a) be fortification-friendly and
(b) yield robust embeddings. Unlike Feige and Kilian, we do not require the
small degree assumption.
Given that virtually all existing proofs of parallel repetition, including
the derandomized parallel repetition result of Dinur and Meir, share these two
properties, our no-go theorem highlights a major barrier to achieving
almost-linear derandomized parallel repetition
Strong Parallel Repetition for Unique Games on Small Set Expanders
Strong Parallel Repetition for Unique Games on Small Set Expanders
The strong parallel repetition problem for unique games is to efficiently
reduce the 1-delta vs. 1-C*delta gap problem of Boolean unique games (where C>1
is a sufficiently large constant) to the 1-epsilon vs. epsilon gap problem of
unique games over large alphabet. Due to its importance to the Unique Games
Conjecture, this problem garnered a great deal of interest from the research
community. There are positive results for certain easy unique games (e.g.,
unique games on expanders), and an impossibility result for hard unique games.
In this paper we show how to bypass the impossibility result by enlarging the
alphabet sufficiently before repetition. We consider the case of unique games
on small set expanders for two setups: (i) Strong small set expanders that
yield easy unique games. (ii) Weaker small set expanders underlying possibly
hard unique games as long as the game is mildly fortified. We show how to
fortify unique games in both cases, i.e., how to transform the game so
sufficiently large induced sub-games have bounded value. We then prove strong
parallel repetition for the fortified games. Prior to this work fortification
was known for projection games but seemed hopeless for unique games
- …