Logical bell inequalities

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 85, Issue 6, 2012, Pages

  Abramsky, Samson ^a   Hardy, Lucien ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b PERIMETER INSTITUTE FOR THEORETICAL PHYSICS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BELL INEQUALITIES; BELL'S THEOREM; CONTEXTUALITY; EXPERIMENTAL TEST; FAULT-TOLERANT; GUIDING PRINCIPLES; LOGICAL CONSISTENCY; N-PARTITE; NONLOCALITIES; QUANTUM INFORMATION; QUANTUM NONLOCALITY;

QUANTUM OPTICS; QUANTUM THEORY;

BELLS;

EID: 84862648359     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.85.062114     Document Type: Article

References (40)

1. J. Bell, Physics 1, 195 (1964).
2. J. Clauser, M. Horne, A. Shimony, and R. Holt, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.23.880 23, 880 (1969).
3. S. Abramsky and A. Brandenburger, New J. Phys. NJOPFM 1367-2630 10.1088/1367-2630/13/11/113036 13, 113036 (2011).
4. A. Ekert, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.67.661 67, 661 (1991).
5. J. Barrett, L. Hardy, and A. Kent, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.95.010503 95, 10503 (2005). (Pubitemid 41506418)
6. A. Acin, N. Gisin, and L. Masanes, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.97.120405 97, 120405 (2006). (Pubitemid 44434927)
7. O. Brukner, M. Żukowski, J. Pan, and A. Zeilinger, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.92.127901 92, 127901 (2004).
8. B. Terhal, Theor. Comput. Sci. TCSCDI 0304-3975 10.1016/S0304-3975(02) 00139-1 287, 313 (2002). (Pubitemid 35019172)
9. H. Bartosik, J. Klepp, C. Schmitzer, S. Sponar, A. Cabello, H. Rauch, and Y. Hasegawa, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.103.040403 103, 040403 (2009).
10. G. Kirchmair, F. Zähringer, R. Gerritsma, M. Kleinmann, O. Gühne, A. Cabello, R. Blatt, and C. Roos, Nature (London) NATUAS 0028-0836 10.1038/nature08172 460, 494 (2009).
11. D. Greenberger, M. Horne, A. Shimony, and A. Zeilinger, Am. J. Phys. AJPIAS 0002-9505 10.1119/1.16243 58, 1131 (1990).
12. L. Hardy, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.68.2981 68, 2981 (1992).
13. J. Zimba and R. Penrose, Studies in History and Philosophy of Science Part A SHPSB5 0039-3681 10.1016/0039-3681(93)90061-N 24, 697 (1993).
14. L. Hardy, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.71.1665 71, 1665 (1993).
15. L. Hardy, Phys. Lett. A PYLAAG 0375-9601 10.1016/0375-9601(91)90537-I 161, 21 (1991).
16. S. Braunstein and C. Caves, Ann. Phys. APNYA6 0003-4916 10.1016/0003-4916(90)90339-P 202, 22 (1990).
17. S. Abramsky, S. Mansfield, and R. Barbosa, arXiv: 1111.3620v1.
18. A. Fine, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.48.291 48, 291 (1982).
19. We shall eventually consider a much more general form of such models introduced in Ref. [3], which allow a uniform treatment of contextuality, including Kochen-Specker configurations, etc.
20. D. Greenberger, M. Horne, and A. Zeilinger, in Bell's Theorem, Quantum Theory, and Conceptions of the Universe, edited by, M. Kafatos, (Kluwer, Norwell, 1989), pp. 69-72.
21. N. Mermin, Am. J. Phys. AJPIAS 0002-9505 10.1119/1.16503 58, 731 (1990).
22. S. Popescu and D. Rohrlich, Found. Phys. FNDPA4 0015-9018 10.1007/BF02058098 24, 379 (1994).
23. A. Cabello, J. Estebaranz, and G. García-Alcaine, Phys. Lett. A PYLAAG 0375-9601 10.1016/0375-9601(96)00134-X 212, 183 (1996). (Pubitemid 126392816)
24. A. Peres, Phys. Lett. A PYLAAG 0375-9601 10.1016/0375-9601(90)90172-K 151, 107 (1990).
25. N. D. Mermin, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.65. 3373 65, 3373 (1990).
26. In this note, following [3], we only consider finite sets of measurements, and thus discrete probability distributions suffice.
27. J. Matoucek and B. Gärtner, Understanding and Using Linear Programming (Springer Verlag, Berlin, 2007).
28. A. Schrijver, Theory of Linear and Integer Programming (John Wiley & Sons, New York, 1998).
29. G. Ziegler, Lectures on Polytopes, Vol. 152 (Springer, New York, 1995).
30. O. Strichman, in Formal Methods in Computer-Aided Design (Springer, New York, 2002), pp. 160-170.
31. T. Christof, A. Löbel, and M. Stoer, ftp://ftp.zib.de/pub/ Packages/mathprog/polyth/porta (1997).
32. R. F. Werner and M. M. Wolf, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.64.032112 64, 032112 (2001).
33. S. Pironio, J. Bancal, and V. Scarani, J. Phys. A: Math. Theor. 1751-8113 10.1088/1751-8113/44/6/065303 44, 065303 (2011).
34. The first author is grateful to Matty Hoban for bringing these examples to his attention.
35. B. Tsirelson, Lett. Math. Phys. LMPHDY 0377-9017 10.1007/BF00417500 4, 93 (1980).
36. R. Fagin, J. Halpern, and N. Megiddo, Inf. Comput. INFCEC 0890-5401 10.1016/0890-5401(90)90060-U 87, 78 (1990).
37. N. Nilsson, Artif. Intell. AINTBB 0004-3702 10.1016/0004-3702(86)90031-7 28, 71 (1986). (Pubitemid 16503925)
38. I. Pitowsky, The British Journal for the Philosophy of Science BJPIA5 0007-0882 10.1093/bjps/45.1.95 45, 95 (1994).
39. G. Boole, Philos. Trans. R. Soc. London 0261-0523 10.1098/rstl.1862.0015 152, 225 (1862).
40. C. Papadimitriou, Computational Complexity (John Wiley & Sons, New York, 2003).