Entanglement of approximate quantum strategies in XOR games

We show that for any $\varepsilon>0$ there is an XOR game $G=G(\varepsilon)$ with $\Theta(\varepsilon^{-1/5})$ inputs for one player and $\Theta(\varepsilon^{-2/5})$ inputs for the other player such that $\Omega(\varepsilon^{-1/5})$ ebits are required for any strategy achieving bias that is at least a multiplicative factor $(1-\varepsilon)$ from optimal. This gives an exponential improvement in both the number of inputs or outputs and the noise tolerance of any previously-known self-test for highly entangled states. Up to the exponent $-1/5$ the scaling of our bound with $\varepsilon$ is tight: for any XOR game there is an $\varepsilon$-optimal strategy using $\lceil \varepsilon^{-1} \rceil$ ebits, irrespective of the number of questions in the game.

[1]  Thomas Vidick,et al.  Test for a large amount of entanglement, using few measurements , 2018, Quantum.

[2]  H. Buhrman,et al.  A Generalized Grothendieck Inequality and Nonlocal Correlations that Require High Entanglement , 2011 .

[3]  Assaf Naor,et al.  Efficient rounding for the noncommutative grothendieck inequality , 2012, STOC '13.

[4]  Andrea Montanari,et al.  Semidefinite programs on sparse random graphs and their application to community detection , 2015, STOC.

[5]  E. Knill,et al.  A strong loophole-free test of local realism , 2015, 2016 Conference on Lasers and Electro-Optics (CLEO).

[6]  Andrea Coladangelo,et al.  Robust self-testing for linear constraint system games , 2017, 1709.09267.

[7]  Assaf Naor,et al.  Krivine schemes are optimal , 2012, 1205.6415.

[8]  Chris Sutherland,et al.  Overlapping Qubits , 2017, ITCS.

[9]  B. Tsirelson Some results and problems on quan-tum Bell-type inequalities , 1993 .

[10]  R. Cleve,et al.  Consequences and limits of nonlocal strategies , 2004 .

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

[12]  William Slofstra,et al.  Tsirelson’s problem and an embedding theorem for groups arising from non-local games , 2016, Journal of the American Mathematical Society.

[13]  S. Wehner,et al.  Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres , 2015, Nature.

[14]  S. Wehner,et al.  Entropic uncertainty from effective anticommutators , 2014, 1402.5722.

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

[16]  T. H. Yang,et al.  Robust self-testing of the singlet , 2012, 1203.2976.

[17]  Matthew Coudron,et al.  The Parallel-Repeated Magic Square Game is Rigid , 2016, 1609.06306.

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

[19]  Matthew McKague Self-testing high dimensional states using the generalized magic square game , 2016 .

[20]  Thomas Vidick,et al.  Quantum XOR Games , 2012, 2013 IEEE Conference on Computational Complexity.

[21]  A. Zeilinger,et al.  Significant-Loophole-Free Test of Bell's Theorem with Entangled Photons. , 2015, Physical review letters.

[22]  Miguel Navascues,et al.  Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States , 2013 .

[23]  Umesh V. Vazirani,et al.  A classical leash for a quantum system: command of quantum systems via rigidity of CHSH games , 2012, ITCS '13.

[24]  Peter W. Shor,et al.  Information Causality, Szemerédi-Trotter and Algebraic Variants of CHSH , 2013, ITCS.

[25]  Andrea Coladangelo,et al.  Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH and the magic square game , 2016, Quantum Inf. Comput..

[26]  Monique Laurent,et al.  Matrices With High Completely Positive Semidefinite Rank , 2016, 1605.00988.

[27]  Tamás Vértesi,et al.  Maximal violation of a bipartite three-setting, two-outcome Bell inequality using infinite-dimensional quantum systems , 2010 .

[28]  William Slofstra,et al.  Lower bounds on the entanglement needed to play XOR non-local games , 2011 .

[29]  I. Hirschman,et al.  A convexity theorem for certain groups of transformations , 1952 .

[30]  Matthew McKague,et al.  Self-testing in parallel , 2015, 1511.04194.

[31]  N. L. Johnson,et al.  Continuous Univariate Distributions. , 1995 .

[32]  Debbie Leung,et al.  Coherent state exchange in multi-prover quantum interactive proof systems , 2008, Chic. J. Theor. Comput. Sci..

[33]  Anand Natarajan,et al.  A quantum linearity test for robustly verifying entanglement , 2017, STOC.