Parallel repetition: simplifications and the no-signaling case
arXiv:cs/0607139 · doi:10.4086/toc.2009.v005a008
Abstract
Consider a game where a refereed a referee chooses (x,y) according to a publicly known distribution P_XY, sends x to Alice, and y to Bob. Without communicating with each other, Alice responds with a value "a" and Bob responds with a value "b". Alice and Bob jointly win if a publicly known predicate Q(x,y,a,b) holds. Let such a game be given and assume that the maximum probability that Alice and Bob can win is v<1. Raz (SIAM J. Comput. 27, 1998) shows that if the game is repeated n times in parallel, then the probability that Alice and Bob win all games simultaneously is at most v'^(n/log(s)), where s is the maximal number of possible responses from Alice and Bob in the initial game, and v' is a constant depending only on v. In this work, we simplify Raz's proof in various ways and thus shorten it significantly. Further we study the case where Alice and Bob are not restricted to local computations and can use any strategy which does not imply communication among them.
27 pages; v2:PRW97 strengthening added, references added, typos fixed; v3: fixed error in the proof of the no-signaling theorem, minor changes
References in corpus (3)
Cited by in corpus (14)
- Bell nonlocality with a single shot
- Characteristics of Universal Embezzling Families
- Hedging bets with correlated quantum strategies
- A direct product theorem for bounded-round public-coin randomized communication complexity
- Flexible constrained de Finetti reductions and applications
- On the Parallel Repetition of Multi-Player Games: The No-Signaling Case
- Quantum interactive proofs with weak error bounds
- Toward Probabilistic Checking against Non-Signaling Strategies with Constant Locality
- Strong Parallel Repetition for Unique Games on Small Set Expanders
- Parallel Repetition for the GHZ Game: A Simpler Proof
- Optimality of Correlated Sampling Strategies
- Interactive proofs with competing teams of no-signaling provers
- On Fortification of Projection Games
- Block Rigidity: Strong Multiplayer Parallel Repetition implies Super-Linear Lower Bounds for Turing Machines