Kochen-Specker vectors

Journal of Physics A: Mathematical and General

Volumn 38, Issue 7, 2005, Pages 1577-1592

  Pavičić, Mladen ^a   Merlet, Jean Pierre ^b   McKay, Brendan ^c   Megill, Norman D ^d  

^a UNIVERSITY OF ZAGREB   (Croatia)

^b INRIA   (France)

^c AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^d Boston Information Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 14544276338     PISSN: 03054470     EISSN: None     Source Type: Journal    
DOI: 10.1088/0305-4470/38/7/013     Document Type: Article

References (48)

1. Cabello A and García-Alcaine G 1998 Proposed experimental tests of the Bell-Kochen-Specker theorem Phys. Rev. Lett. 80 1797-9 (Preprint quant-ph/9709047)
2. Simon C, Weinfurter H, Zukowski M and Zeilinger A 2000 Feasible Kochen-Specker experiment with single particles Phys. Rev. Lett. 85 1783-6 (Preprint quant-ph/0009074)
3. Meyer D A 1999 Finite precision measurement nullifies the Kochen-Specker theorem Phys. Rev. Lett. 83 3751-4 (Preprint quant-ph/9905080)
4. Kent A 1999 Noncontextual hidden variables and physical measurements Phys. Rev. Lett. 83 3755-7 (Preprint quant-ph/9906006)
5. Mermin N D 1999 A Kochen-Specker theorem for imprecisely specified measurement Preprint quant-ph/9912081
6. Simon C, Brukner Č and Zeilinger A 2001 Hidden-variable theorems for real experiments Phys. Rev. Lett. 86 4427-30 (Preprint quant-ph/0006043)
7. Cabello A 2002 Finite precision measurement does not nullify the Kochen-Specker theorem Phys. Rev. A 65 052101 (Preprint quant-ph/0104024)
8. Huang Y-F, Li C-F, Yong-Sheng Zhang J-W P and Guo G-C 2002 Koehen-Specker theorem for finite precision spin-one measurement Phys. Rev. Lett. 88 240402-1-4 (previous version) (Preprint quant-ph/0209038)
9. Cabello A 2003 Kochen-Specker theorem for a single qubit using positive operator-valued measures Phys. Rev. Lett. 90 190401-1-4 (Preprint quant-ph/0210082)
10. Aravind P K 2003 Generalized Kochen-Specker theorem Phys. Rev. A 68 051204 (Preprint quant-ph/0301074)
11. Havlicek H, Krenn G, Summhammer J and Svozil K 2001 Colouring the rational quantum sphere and the Kochen-Specker theorem J. Phys. A: Math. Gen. 34 3071-7 (Preprint quant-ph/9911040)
12. Breuer T 2002 Kochen-Specker theorem for finite precision spin-one measurements Phys. Rev. Lett. 88 24002 (Preprint quant-ph/0206035)
13. Aravind P K and Lee-Elkin F 1998 Two noncolourable configurations in four dimensions illustrating the Kochen-Specker theorem J. Phys. A: Math. Gen. 31 9829-34
14. Gill R D and Keane M S 1996 A geometric proof of the Kochen-Specker no-go theorem J. Phys. A: Math. Gen. 29 L289-91 (Preprint quant-ph/0304013)
15. Cabello A and García-Alcaine G 1996 Bell-Kochen-Specker theorem for any finite dimension n ≥ 3 J. Phys. A: Math. Gen. 29 1025-36
16. Cabello A 2000 Kochen-Specker theorem and experimental tests on hidden variables Int. J. Mod. Phys. A 15 2813-20 (Preprint quant-ph/9911022)
17. Clifton R 2000 Complementarity between position and momentum as a consequence of Kochen-Specker arguments Phys. Lett. A 2711-7 (Preprint quant-ph/9912108)
18. Isham C J and Butterfield J 1998 A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalized valuations Int. J. Theor. Phys. 37 2669-733 (Preprint quant-ph/9803055)
19. Butterfield J and Isham C J 1999 A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects and classical analogues Int. J. Theor. Phys. 38 827-59 (Preprint quant-ph/9808067)
20. Hamilton J, Isham C J and Butterfield J 2000 A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category Int. J. Theor. Phys. 39 1413-36 (Preprint quant-ph/0009039)
21. Butterfield J and Isham C J 2002 A topos perspective on the Kochen-Specker theorem: IV. Interval valuations Int. J. Theor. Phys. 41 613-39 (Preprint quant-ph/0107123)
22. Barrett J and Kent A 2004 Noncontextuality, finite precision measurement and the Kochen-Specker Stud. Hist. Phil. Mod. Phys. 35 151-76 (Preprint quant-ph/0309017)
23. Kochen S and Specker E P 1967 The problem of hidden variables in quantum mechanics J. Math. Mech. 17 59-87
24. Zimba J and Penrose R 1994 On Bell non-locality without probabilities: more curious geometry Stud. Hist. Phil. Sci. 24 697-720
25. Bub J 1996 Schütte's tautology and the Kochen-Specker theorem Found. Phys. 26 787-806
26. Peres A 1993 Quantum Theory: Concepts and Methods (Dordrecht: Kluwer)
27. Peres A 1991 Two simple proofs of the Bell-Kochen-Specker theorem J. Phys. A: Math. Gen. 24 L175-8
28. Larsson J-A 2002 A Kochen-Specker inequality Europhys. Lett. 58 799-805 (Preprint quant-ph/0006134)
29. Kernaghan M 1994 Bell-Kochen-Specker theorem for 20 vectors J. Phys. A: Math. Gen. 27 L829-30
30. Cabello A, Estebaranz J M and García-Alcaine G 1996 Bell-Kochen-Specker theorem: a proof with 18 vectors Phys. Lett. A 212 183-7 (Preprint quant-ph/9706009)
31. Pavičić M 2002 Quantum computers, discrete space, and entanglement SCI 2002/ISAS 2002 Proc. 6th World Multiconference on Systemics, Cybernetics, and Informatics (SCI in Physics, Astronomy and Chemistry, vol 17) ed N Callaos, Y He and J A Perez-Peraza (Orlando, FL: SCI) pp 65-70 (Preprint quant-ph/0207003)
32. Pavičić M 2003 Constructing quantum reality (invited talk) Proc. The Role of Mathematics in Physical Sciences, (Veli Losing, Croatia August 2003) (to appear)
33. Pavičić M 2004 Kochen-Specker algorithms for qubits Proc. Quantum Communication Measurement and Computing: The Seventh Int. Conf. on Quantum Communication, Measurement and Computing (Glasgow, July 2004) ed S M Barnett, E Andersson, J Jeffers, P Öhberg and O Hirota (New York: AIP) pp 195-8
34. Smith D 2004 Orthomodular Bell-Kochen-Specker theorem Int. J. Theor. Phys. 43 2023-7
35. Svozil K and Tkadlec J 1996 Greechie diagrams, nonexistence of measures and Kochen-Specker-type constructions J. Math. Phys. 37 5380-401
36. Tkadlec J 2000 Diagrams of Kochen-Specker constructions Int. J. Theor. Phys. 39 921-6
37. Hultgren III B O and Shimony A 1977 The lattice of verifiable propositions of the spin-1 system J. Math. Phys. 18 381-94
38. McKay B D, Megill N D and Pavičić M 2000 Algorithms for Greechie diagrams Int. J. Theor. Phys. 39 2381-406 (Preprint quant-ph/0009039)
39. McKay B D 1998 Isomorph-free exhaustive generation J. Algorithms 26 306-24
40. McKay B D 1990 nauty User's Guide (version 1.5) Computer Science Department, Australian National University Report TR-CS-90-02
41. Pavičić M, Merlet J-P, McKay B D and Megill N D 2004 Exhaustive enumeration of Kochen-Specker vector systems The French National Institute for Research in Computer Science and Control Research Reports RR-5388 Preprint http://www.inria.fr/rrrt/rr-5388.html
42. Duffin K L and Barrett W A 1994 Spiders: a new user interface for rotation and visualization of n-dimensional points sets Proc. 1994 IEEE Conf. on Scientific Visualization ed D Bergeron and A Kaufman (Los Alamitos, CA: IEEE Computer Society Press) pp 205-11
43. Ritt J F 1950 Differential Algebra Coll. Publ. 33 (New York: American Mathematical Society)
44. Greechie R J 1971 Orthomodular lattices admitting no states J. Comb. Theor. 10 119-32
45. Pták P and Pulmannová S 1991 Orthomodular Structures as Quantum Logics (Dordrecht: Kluwer)
46. Tkadlec J 2001 Representations of Orthomodular structures Ordered Algebraic Structures: Nanjing, Proc. Nanjing Conf. (Algebra, Logic and Applications Series vol 16) ed W Charles Holland (London: Taylor and Francis) pp 153-8
47. Svozil K 2000 On generalized probabilities: correlation polytopes for automaton logic and generalized urn models, extensions of quantum mechanics, and parameter cheats Preprint quant-ph/0012066
48. Megill N D and Pavičić M 2000 Equations, states, and lattices of infinite-dimensional Hubert space Int. J. Theor. Phys. 39 2337-79 (Preprint quant-ph/0009038)