35,149 research outputs found
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
Parallel repetition for entangled k-player games via fast quantum search
We present two parallel repetition theorems for the entangled value of
multi-player, one-round free games (games where the inputs come from a product
distribution). Our first theorem shows that for a -player free game with
entangled value , the -fold repetition of
has entangled value at most , where is the answer length of any
player. In contrast, the best known parallel repetition theorem for the
classical value of two-player free games is , due to Barak, et al. (RANDOM 2009). This
suggests the possibility of a separation between the behavior of entangled and
classical free games under parallel repetition.
Our second theorem handles the broader class of free games where the
players can output (possibly entangled) quantum states. For such games, the
repeated entangled value is upper bounded by . We also show that the dependence of the exponent
on is necessary: we exhibit a -player free game and such
that .
Our analysis exploits the novel connection between communication protocols
and quantum parallel repetition, first explored by Chailloux and Scarpa (ICALP
2014). We demonstrate that better communication protocols yield better parallel
repetition theorems: our first theorem crucially uses a quantum search protocol
by Aaronson and Ambainis, which gives a quadratic speed-up for distributed
search problems. Finally, our results apply to a broader class of games than
were previously considered before; in particular, we obtain the first parallel
repetition theorem for entangled games involving more than two players, and for
games involving quantum outputs.Comment: This paper is a significantly revised version of arXiv:1411.1397,
which erroneously claimed strong parallel repetition for free entangled
games. Fixed author order to alphabetica
A parallel repetition theorem for all entangled games
The behavior of games repeated in parallel, when played with quantumly
entangled players, has received much attention in recent years. Quantum
analogues of Raz's classical parallel repetition theorem have been proved for
many special classes of games. However, for general entangled games no parallel
repetition theorem was known. We prove that the entangled value of a two-player
game repeated times in parallel is at most for a
constant depending on , provided that the entangled value of is
less than 1. In particular, this gives the first proof that the entangled value
of a parallel repeated game must converge to 0 for all games whose entangled
value is less than 1. Central to our proof is a combination of both classical
and quantum correlated sampling.Comment: To appear in the 43rd International Colloquium on Automata,
Languages, and Programming (ICALP
Anchoring games for parallel repetition
Two major open problems regarding the parallel repetition of games are whether an analogue of Raz's parallel-repetition theorem holds for (a) games with more than two players, and (b) games with quantum players using entanglement. We make progress on both problems: we introduce a class of games we call anchored, and prove exponential-decay parallel repetition theorems for anchored games in the multiplayer and entangled-player settings. We introduce a simple transformation on games called anchoring and show that this transformation turns any game into an anchored game. Together, our parallel repetition theorem and our anchoring transformation provide a simple and efficient hardness-amplification technique in both the classical multiplayer and quantum settings
Multiplayer Parallel Repetition for Expanding Games
We investigate the value of parallel repetition of one-round games with any number of players k>=2. It has been an open question whether an analogue of Raz\u27s Parallel Repetition Theorem holds for games with more than two players, i.e., whether the value of the repeated game decays exponentially with the number of repetitions. Verbitsky has shown, via a reduction to the density Hales-Jewett theorem, that the value of the repeated game must approach zero, as the number of repetitions increases. However, the rate of decay obtained in this way is extremely slow, and it is an open question whether the true rate is exponential as is the case for all two-player games.
Exponential decay bounds are known for several special cases of multi-player games, e.g., free games and anchored games. In this work, we identify a certain expansion property of the base game and show all games with this property satisfy an exponential decay parallel repetition bound. Free games and anchored games satisfy this expansion property, and thus our parallel repetition theorem reproduces all earlier exponential-decay bounds for multiplayer games. More generally, our parallel repetition bound applies to all multiplayer games that are *connected* in a certain sense.
We also describe a very simple game, called the GHZ game, that does not satisfy this connectivity property, and for which we do not know an exponential decay bound. We suspect that progress on bounding the value of this the parallel repetition of the GHZ game will lead to further progress on the general question
On Fortification of Projection Games
A recent result of Moshkovitz \cite{Moshkovitz14} presented an ingenious
method to provide a completely elementary proof of the Parallel Repetition
Theorem for certain projection games via a construction called fortification.
However, the construction used in \cite{Moshkovitz14} to fortify arbitrary
label cover instances using an arbitrary extractor is insufficient to prove
parallel repetition. In this paper, we provide a fix by using a stronger graph
that we call fortifiers. Fortifiers are graphs that have both and
guarantees on induced distributions from large subsets. We then show
that an expander with sufficient spectral gap, or a bi-regular extractor with
stronger parameters (the latter is also the construction used in an independent
update \cite{Moshkovitz15} of \cite{Moshkovitz14} with an alternate argument),
is a good fortifier. We also show that using a fortifier (in particular
guarantees) is necessary for obtaining the robustness required for
fortification.Comment: 19 page
- …