TY - GEN
T1 - No strong parallel repetition with entangled and non-signaling provers
AU - Kempe, Julia
AU - Regev, Oded
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2010
Y1 - 2010
N2 - We consider one-round games between a classical verifier and two provers. One of the main questions in this area is the parallel repetition question: If the game is played ℓ times in parallel, does the maximum winning probability decay exponentially in ℓ? In the classical setting, this question was answered in the affirmative by Raz. More recently the question arose whether the decay is of the form (1 - Θ(ε))ℓ where 1 - ε is the value of the game and ℓ is the number of repetitions. This question is known as the strong parallel repetition question and was motivated by its connections to the unique games conjecture. It was resolved by Raz who showed that strong parallel repetition does not hold, even in the very special case of games known as XOR games. This opens the question whether strong parallel repetition holds in the case when the provers share entanglement. Evidence for this is provided by the behavior of XOR games, which have strong (in fact perfect) parallel repetition, and by the recently proved strong parallel repetition of linear unique games. A similar question was open for games with so-called non-signaling provers. Here the best known parallel repetition theorem is due to Holenstein, and is of the form (1-Θ(ε2)) ℓ. We show that strong parallel repetition holds neither with entangled provers nor with non-signaling provers. In particular we obtain that Holenstein's bound is tight. Along the way we also provide a tight characterization of the asymptotic behavior of the entangled value under parallel repetition of unique games in terms of a semidefinite program.
AB - We consider one-round games between a classical verifier and two provers. One of the main questions in this area is the parallel repetition question: If the game is played ℓ times in parallel, does the maximum winning probability decay exponentially in ℓ? In the classical setting, this question was answered in the affirmative by Raz. More recently the question arose whether the decay is of the form (1 - Θ(ε))ℓ where 1 - ε is the value of the game and ℓ is the number of repetitions. This question is known as the strong parallel repetition question and was motivated by its connections to the unique games conjecture. It was resolved by Raz who showed that strong parallel repetition does not hold, even in the very special case of games known as XOR games. This opens the question whether strong parallel repetition holds in the case when the provers share entanglement. Evidence for this is provided by the behavior of XOR games, which have strong (in fact perfect) parallel repetition, and by the recently proved strong parallel repetition of linear unique games. A similar question was open for games with so-called non-signaling provers. Here the best known parallel repetition theorem is due to Holenstein, and is of the form (1-Θ(ε2)) ℓ. We show that strong parallel repetition holds neither with entangled provers nor with non-signaling provers. In particular we obtain that Holenstein's bound is tight. Along the way we also provide a tight characterization of the asymptotic behavior of the entangled value under parallel repetition of unique games in terms of a semidefinite program.
KW - Entangled two-prover games
KW - Parallel repetition
KW - Unique games
UR - http://www.scopus.com/inward/record.url?scp=77955243188&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77955243188&partnerID=8YFLogxK
U2 - 10.1109/CCC.2010.10
DO - 10.1109/CCC.2010.10
M3 - Conference contribution
AN - SCOPUS:77955243188
SN - 9780769540603
T3 - Proceedings of the Annual IEEE Conference on Computational Complexity
SP - 7
EP - 15
BT - Proceedings - 25th Annual IEEE Conference on Computational Complexity, CCC 2010
T2 - 25th Annual IEEE Conference on Computational Complexity, CCC 2010
Y2 - 9 June 2010 through 11 June 2010
ER -