Generalization of the Clauser-Horne-Shimony-Holt inequality self-testing maximally entangled states of any local dimension

For every $d \geq 2$, we present a generalization of the CHSH inequality with the property that maximal violation self-tests the maximally entangled state of local dimension $d$. This is the first example of a family of inequalities with this property. Moreover, we provide a conjecture for a family of inequalities generalizing the tilted CHSH inequalities, and we conjecture that for each pure bipartite entangled state there is an inequality in the family whose maximal violation self-tests it. All of these inequalities are inspired by the self-testing correlations of [Nat. Comm. 8, 15485 (2017)].

[1]  S. Popescu,et al.  Which states violate Bell's inequality maximally? , 1992 .

[2]  Armin Tavakoli,et al.  Quantum Random Access Codes Using Single d-Level Systems. , 2015, Physical review letters.

[3]  Elham Kashefi,et al.  Robustness and device independence of verifiable blind quantum computing , 2015, 1502.02571.

[4]  J. Bell.  On the Einstein-Podolsky-Rosen paradox , 1964 .

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

[6]  Stefano Pironio,et al.  Bell Inequalities Tailored to Maximally Entangled States. , 2016, Physical review letters.

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

[8]  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..

[9]  Valerio Scarani,et al.  All pure bipartite entangled states can be self-tested , 2016, Nature Communications.

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

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

[12]  Jędrzej Kaniewski,et al.  Analytic and Nearly Optimal Self-Testing Bounds for the Clauser-Horne-Shimony-Holt and Mermin Inequalities. , 2016, Physical review letters.

[13]  S. Massar,et al.  Causality and Tsirelson's bounds , 2004, quant-ph/0409066.

[14]  Andrew Chi-Chih Yao,et al.  Self testing quantum apparatus , 2004, Quantum Inf. Comput..

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

[16]  Andrea Coladangelo,et al.  Separation of finite and infinite-dimensional quantum correlations, with infinite question or answer sets , 2017 .

[17]  Robust Protocols for Securely Expanding Randomness and Distributing Keys Using Untrusted Quantum Devices , 2016, J. ACM.

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

[19]  Umesh Vazirani,et al.  Fully device-independent quantum key distribution. , 2012, 1210.1810.

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

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

[22]  Stacey Jeffery,et al.  Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources , 2017, IACR Cryptol. ePrint Arch..

[23]  Wen-Hao Zhang,et al.  Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States. , 2018, Physical review letters.

[24]  Wen-Hao Zhang,et al.  Experimental self-testing of entangled states , 2018, 1803.10961.

[25]  Umesh V. Vazirani,et al.  Classical command of quantum systems , 2013, Nature.

[26]  Stefano Pironio,et al.  Randomness versus nonlocality and entanglement. , 2011, Physical review letters.

[27]  Reinhard F. Werner,et al.  Maximal violation of Bell's inequalities for algebras of observables in tangent spacetime regions , 1988 .

[28]  Matthew McKague,et al.  Interactive Proofs for BQP via Self-Tested Graph States , 2013, Theory Comput..