A Parallel Repetition Theorem for Entangled Two-Player One-Round Games under Product Distributions

We show a parallel repetition theorem for the entangled value ω*(G) of any two-player one-round game G where the questions (x, y) ∈ X × Y to Alice and Bob are drawn from a product distribution on X × Y. We show that for the k-fold product G<sup>k</sup> of the game G (which represents the game G played in parallel k times independently) ω*(G<sup>k</sup>) = (1 - (1 - ω*(G))<sup>3</sup>)<sup>Ω(k/Iog(|A|·|B|)</sup> where A and B represent the sets from which the answers of Alice and Bob are drawn. The arguments we use are information theoretic and are broadly on similar lines as that of Raz [1] and Holenstein [2] for classical games. The additional quantum ingredients we need, to deal with entangled games, are inspired by the work of Jain, Radhakrishnan, and Sen [3], where quantum information theoretic arguments were used to achieve message compression in quantum communication protocols.

[1]  Ran Raz,et al.  Strong Parallel Repetition Theorem for Free Projection Games , 2009, APPROX-RANDOM.

[2]  Anup Rao,et al.  Parallel repetition in projection games and a concentration bound , 2008, SIAM J. Comput..

[3]  Ran Raz,et al.  A Strong Parallel Repetition Theorem for Projection Games on Expanders , 2012, 2012 IEEE 27th Conference on Computational Complexity.

[4]  William Slofstra,et al.  Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems , 2007, Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07).

[5]  A. Acín,et al.  Secure device-independent quantum key distribution with causally independent measurement devices. , 2010, Nature communications.

[6]  Julia Kempe,et al.  Parallel repetition of entangled games , 2011, STOC '11.

[7]  Ran Raz,et al.  A Counterexample to Strong Parallel Repetition , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[8]  Irit Dinur,et al.  The PCP theorem by gap amplification , 2006, STOC.

[9]  David Steurer,et al.  Analytical approach to parallel repetition , 2013, STOC.

[10]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[11]  Carsten Lund,et al.  Proof verification and hardness of approximation problems , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[12]  Ran Raz,et al.  A parallel repetition theorem , 1995, STOC '95.

[13]  S. Wehner,et al.  A monogamy-of-entanglement game with applications to device-independent quantum cryptography , 2012, 1210.4359.

[14]  Thomas Holenstein,et al.  Parallel repetition: simplifications and the no-signaling case , 2007, STOC '07.

[15]  A. Shimony,et al.  Proposed Experiment to Test Local Hidden Variable Theories. , 1969 .

[16]  L. Fortnow Complexity-Theoretic Aspects of Interactive Proof Systems , 1989 .

[17]  Jaikumar Radhakrishnan,et al.  Optimal Direct Sum and Privacy Trade-off Results for Quantum and Classical Communication Complexity , 2008, ArXiv.

[18]  David Steurer,et al.  A parallel repetition theorem for entangled projection games , 2013, computational complexity.

[19]  Jaikumar Radhakrishnan,et al.  A lower bound for the bounded round quantum communication complexity of set disjointness , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[20]  Renato Renner,et al.  Device-Independent Quantum Key Distribution with Commuting Measurements , 2010, ArXiv.

[21]  Sanjeev Arora,et al.  Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.

[22]  Avi Wigderson,et al.  Multi-prover interactive proofs: how to remove intractability assumptions , 2019, STOC '88.

[23]  Julia Kempe,et al.  Unique Games with Entangled Provers are Easy , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[24]  Uriel Feige,et al.  Two-Prover Protocols - Low Error at Affordable Rates , 2000, SIAM J. Comput..

[25]  André Chailloux,et al.  Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost , 2014, ICALP.