Parity Proofs of the Kochen–Specker Theorem Based on the 120-Cell
It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous “parity proofs” of the Kochen–Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen–Specker diagram, which is exhibited in the form of a “basis table” showing all the orthogonalities between its rays. The basis table consists of 675 bases (a basis being a set of four mutually orthogonal rays), but all the bases can be written down from the few listed in this paper using some simple rules. The basis table is shown to contain a wide variety of parity proofs, ranging from 19 bases (or contexts) at the low end to 41 bases at the high end. Some explicit examples of these proofs are given, and their implications are discussed.
KeywordsKochen–Specker theorem Quantum contextuality parity proofs 120-Cell
- 1.Waegell, M., Aravind, P.K.: Parity proofs of the Kochen-Specker theorem based on the 24 rays of peres. Found. Phys. 41, 1786–1799 (2011)Google Scholar
- 5.Bell, J.S.: On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447–452 (1966) (Reprinted in J.S. Bell, Speakable and Unspeakable in Quantum Mechanics, Cambridge University Press, Cambridge, 1987)Google Scholar
- 26.D’Ambrosio, V., Herbauts, I., Amselem, E., Nagali, E., Bourennane, M., Cabello, A.: Experimental implementation of a Kochen-Specker set of quantum tests. Phys. Rev. X 3(10), 011012 (2009)Google Scholar
- 31.Abramsky, S.: In: Wong, V.T.L., Fan, L.L.W., Fourman, W.C.T.M. (eds.) In Search of Elegance in the Theory and Practice of Computation. Lecture Notes in Computer Science, vol. 8000. Springer, Berlin Heidelberg (2013)Google Scholar
- 32.Coxeter, H.: A detailed discussion of the geometrical properties of the 120-cell can be found in. Regular Polytopes. Dover, New York (1973)Google Scholar