Near-Optimal and Explicit Bell Inequality Violations

Entangled quantum systems can exhibit correlations that cannot be simulated classically. For historical reasons such correlations are called “Bell inequality violations.” We give two new two-player games with Bell inequality violations that are stronger, fully explicit, and arguably simpler than earlier work. The first game is based on the Hidden Matching problem of quantum communication complexity, introduced by Bar-Yossef, Jayram, and Kerenidis. This game can be won with probability 1 by a strategy using a maximally entangled state with local dimension n (e. g., logn EPR-pairs), while we show that the winning probability of any classical strategy differs from 1/2 by at most O((logn)/ √ n). ∗An earlier version of this paper appeared in the Proceedings of the 26th IEEE Conference on Computational Complexity, pages 157–166, 2011. †Supported by a Vici grant from the Netherlands Organisation for Scientific Research (NWO), and by the European Commission under the project QCS (Grant No. 255961). ‡Supported by the Israel Science Foundation, by the Wolfson Family Charitable Trust, and by a European Research Council (ERC) Starting Grant. Part of the work done while a DIGITEO visitor in LRI, Orsay. §Supported by a Vidi grant from the Netherlands Organisation for Scientific Research (NWO), and by the European Commission under the project QCS (Grant No. 255961). ¶Supported by a Vidi grant from the Netherlands Organisation for Scientific Research (NWO), and by the European Commission under the project QCS (Grant No. 255961). ACM Classification: J.2 AMS Classification: 81P68

[1]  Thomas Vidick,et al.  Explicit Lower and Upper Bounds on the Entangled Value of Multiplayer XOR Games , 2011 .

[2]  Ryan O'Donnell,et al.  Some topics in analysis of boolean functions , 2008, STOC.

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

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

[5]  Ran Raz,et al.  Exponential Separation for One-Way Quantum Communication Complexity, with Applications to Cryptography , 2008, SIAM J. Comput..

[6]  Albert Einstein,et al.  Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? , 1935 .

[7]  Keiji Matsumoto,et al.  Using Entanglement in Quantum Multi-Prover Interactive Proofs , 2007, 2008 23rd Annual IEEE Conference on Computational Complexity.

[8]  M. Wolf,et al.  Unbounded Violation of Tripartite Bell Inequalities , 2007, quant-ph/0702189.

[9]  Ronald de Wolf,et al.  Bounded-error quantum state identification and exponential separations in communication complexity , 2005, STOC '06.

[10]  Carlos Palazuelos,et al.  Superactivation of quantum nonlocality. , 2012, Physical review letters.

[11]  M. Wolf,et al.  Unbounded Violations of Bipartite Bell Inequalities via Operator Space Theory , 2009, 0910.4228.

[12]  Oded Regev,et al.  Bell violations through independent bases games , 2011, Quantum Inf. Comput..

[13]  Dmitry Gavinsky Classical Interaction Cannot Replace Quantum Nonlocality , 2009, 0901.0956.

[14]  B. Tsirelson Quantum analogues of the Bell inequalities. The case of two spatially separated domains , 1987 .

[15]  Subhash Khot,et al.  On the power of unique 2-prover 1-round games , 2002, Proceedings 17th IEEE Annual Conference on Computational Complexity.

[16]  Keiji Matsumoto,et al.  Entangled Games are Hard to Approximate , 2007, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

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

[18]  Ziv Bar-Yossef,et al.  Exponential separation of quantum and classical one-way communication complexity , 2004, STOC '04.

[19]  Thomas Vidick,et al.  MULTIPLAYER XOR GAMES AND QUANTUM COMMUNICATION COMPLEXITY WITH CLIQUE-WISE ENTANGLEMENT , 2009, 0911.4007.

[20]  Nathan Linial,et al.  The influence of variables on Boolean functions , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[21]  M. Junge,et al.  Large Violation of Bell Inequalities with Low Entanglement , 2010, 1007.3043.

[22]  Sophie Laplante,et al.  The communication complexity of non-signaling distributions , 2008, Quantum Inf. Comput..

[23]  B. Rosner,et al.  PROPOSED EXPERIMENT TO TEST LOCAL HIDDEN-VARIABLE THEORIES. , 1971 .