Strong Kochen-Specker theorem and incomputability of quantum randomness

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 86, Issue 6, 2012, Pages

  Abbott, Alastair A ^a   Calude, Cristian S ^a   Conder, Jonathan ^a   Svozil, Karl ^b  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL PROOFS; HIDDEN VARIABLE THEORY; KOCHEN-SPECKER THEOREM; QUANTUM RANDOMNESS; RANDOM NUMBER GENERATORS;

RANDOM NUMBER GENERATION;

QUANTUM THEORY;

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

References (52)

1. John S. Bell, Rev. Mod. Phys. RMPHAT 0034-6861 10.1103/RevModPhys.38.447 38, 447 (1966).
2. Ernst Specker, Dialectica 0012-2017 10.1111/j.1746-8361.1960.tb00422.x 14, 239 (1960).
3. Simon Kochen and Ernst P. Specker, J. Math. Mech. (now Indiana University Math. J.) IUMJAB 0022-2518 10.1512/iumj.1967.17.17004 17, 59 (1967).
4. Due to complementarity, not all may be all simultaneously comeasurable (i.e., formally, commuting).
5. John von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton, 1955).
6. Garrett Birkhoff and John von Neumann, Ann. Math. ANMAAH 0003-486X 10.2307/1968621 37, 823 (1936).
7. Simon Kochen and Ernst P. Specker, in Symposium on the Theory of Models, Proceedings of the 1963 International Symposium at Berkeley (North Holland, Amsterdam, 1965), pp. 177-189.
8. Simon Kochen and Ernst P. Specker, in Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science, Jerusalem (North Holland, Amsterdam, 1965), pp. 45-57.
9. Y. Hasegawa, R. Loidl, G. Badurek, M. Baron, and H. Rauch, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.97.230401 97, 230401 (2006). (Pubitemid 44879229)
10. 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).
11. G. Kirchmair, F. Zähringer, R. Gerritsma, M. Kleinmann, O. Gühne, A. Cabello, R. Blatt, and C. F. Roos, Nature (London) NATUAS 0028-0836 10.1038/nature08172 460, 494 (2009).
12. Elias Amselem, Magnus Rådmark, Mohamed Bourennane, and Adán Cabello, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.103.160405 103, 160405 (2009).
13. Adán Cabello, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.101.210401 101, 210401 (2008).
14. Itamar Pitowsky, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett. 48.1299 48, 1299 (1982).
15. Note that there exist models of complementarity such as automaton logic or generalized urn models which are value definite.
16. Neal Zierler and Michael Schlessinger, Duke Math. J. DUMJAO 0012-7094 10.1215/S0012-7094-65-03224-2 32, 251 (1965).
17. Gudrun Kalmbach, Measures and Hilbert Lattices (World Scientific, Singapore, 1986).
18. Václav Alda, Aplikace Matematiky (Applications of Mathematics) 25, 373 (1980).
19. Václav Alda, Aplikace Matematiky (Applications of Mathematics) 26, 57 (1981).
20. Pavel Pták and Sylvia Pulmannová, Orthomodular Structures as Quantum Logics (Kluwer Academic Publishers, Dordrecht, 1991).
21. Karl Svozil and Josef Tkadlec, J. Math. Phys. JMAPAQ 0022-2488 10.1063/1.531710 37, 5380 (1996).
22. Avshalom C. Elitzur, Sandu Popescu, and Daniel Rohrlich, Phys. Lett. A PYLAAG 0375-9601 10.1016/0375-9601(92)90952-I 162, 25 (1992).
23. Karl Svozil, Nat. Comput. 1567-7818 10.1007/s11047-012-9318-9 11, 261 (2012).
24. Ernst Specker (private communication).
25. Albert Einstein, Boris Podolsky, and Nathan Rosen, Phys. Rev. PHRVAO 0031-899X 10.1103/PhysRev.47.777 47, 777 (1935).
26. Asher Peres, Found. Phys. FNDPA4 0015-9018 10.1007/BF02058634 26, 807 (1996).
27. Osung Kwon, Young-Wook Cho, and Yoon-Ho Kim, Appl. Opt. APOPAI 0003-6935 10.1364/AO.48.001774 48, 1774 (2009).
28. S. Pironio, A. Acín, S. Massar, A. Boyer de la Giroday, D. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, L. Luo, T. A. Manning, and C. Monroe, Nature (London) NATUAS 0028-0836 10.1038/nature09008 464, 1021 (2010).
29. André Stefanov, Nicolas Gisin, Olivier Guinnard, Laurent Guinnard, and Hugo Zbinden, J. Mod. Opt. 10.1080/09500340008233380 47, 595 (2000).
30. Karl Svozil, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.79.054306 79, 054306 (2009).
31. Michael A. Wayne, Evan R. Jeffrey, Gleb M. Akselrod, and Paul G. Kwiat, J. Mod. Opt. JMOPEW 0950-0340 10.1080/09500340802553244 56, 516 (2009).
32. M. Stipčević and B. Medved Rogina, Rev. Sci. Instrum. RSINAK 0034-6748 10.1063/1.2720728 78, 045104 (2007). (Pubitemid 46685617)
33. Hai-Qiang Ma, Yuejian Xie, and Ling-An Wu, Appl. Opt. APOPAI 0003-6935 10.1364/AO.44.007760 44, 7760 (2005). (Pubitemid 43216974)
34. Cristian Calude, Information and Randomness-An Algorithmic Perspective, 2nd ed. (Springer, Berlin, 2002).
35. Émile Borel, Rendiconti del Circolo Matematico di Palermo (1884-1940) RCMMAR 0009-725X 10.1007/BF03019651 27, 247 (1909).
36. Alastair A. Abbott and Cristian S. Calude, Computability 1, 59 (2012).
37. Zeeya Merali, Nat. News 10.1038/news.2010.565 (2010).
38. ID Quantique SA, QUANTIS. Quantum Number Generator (idQuantique, Geneva, Switzerland, 2001-2009).
39. ANU Quantum Optics, ANU. Quantum Random Number Generator (ANU Quantum Optics, Australian National University, 2012) http://photonics.anu.edu.au/ qoptics/Research/qrng.php accessed on July 9th, 2012.
40. Cristian S. Calude and Karl Svozil, Adv. Sci. Lett. 1936-6612 10.1166/asl.2008.016 1, 165 (2008).
41. M. Reck, Anton Zeilinger, H. J. Bernstein, and P. Bertani, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.73.58 73, 58 (1994).
42. Marek Zukowski, Anton Zeilinger, and Michael A. Horne, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.55.2564 55, 2564 (1997).
43. Karl Svozil, J. Phys. A: Math. Gen. 1361-6447 10.1088/0305-4470/38/25/013 38, 5781 (2005). (Pubitemid 40901087)
44. F. D. Murnaghan, The Unitary and Rotation Groups (Spartan Books, Washington, DC, 1962).
45. A. Zeilinger, Am. J. Phys. AJPIAS 0002-9505 10.1119/1.12387 49, 882 (1981).
46. R. A. Campos, B. E. A. Saleh, and M. C. Teich, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.40.1371 40, 1371 (1989).
47. Daniel M. Greenberger, Mike A. Horne, and Anton Zeilinger, Phys. Today PHTOAD 0031-9228 10.1063/1.881360 46, 22 (1993).
48. Umesh Vazirani and Thomas Vidick, Philos. Trans. R. Soc., A PTRMAD 1364-503X 10.1098/rsta.2011.0336 370, 3432 (2012).
49. Dik Bouwmeester, Jian-Wei Pan, Matthew Daniell, Harald Weinfurter, and Anton Zeilinger, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.82.1345 82, 1345 (1999).
50. Jian-Wei Pan, D. Bouwmeester, M. Daniell, H. Weinfurter, and A. Zeilinger, Nature (London) NATUAS 0028-0836 10.1038/35000514 403, 515 (2000). (Pubitemid 30082190)
51. Karl Svozil, Int. J. Theor. Phys. IJTPBM 0020-7748 10.1007/s10773-005- 7052-0 44, 745 (2005). (Pubitemid 41813130)
52. Radek Lapkiewicz, Peizhe Li, Christoph Schaeff, Nathan K. Langford, Sven Ramelow, Marcin WieÅniak, and Anton Zeilinger, Nature (London) NATUAS 0028-0836 10.1038/nature10119 474, 490 (2011).