Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8

Abstract

The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real 8-dimensional Hilbert space that contains a large number of parity proofs of the Kochen-Specker theorem. After introducing the rays in a triacontagonal representation due to Coxeter, we present their Kochen-Specker diagram in the form of a "basis table" showing all 2025 bases (i.e., sets of eight mutually orthogonal rays) formed by the rays. Only a few of the bases are actually listed, but simple rules are given, based on the symmetries of E8, for obtaining all the other bases from the ones shown. The basis table is an object of great interest because all the parity proofs of E8 can be exhibited as subsets of it. We show how the triacontagonal representation of E8 facilitates the identification of substructures that are more easily searched for their parity proofs. We have found hundreds of different types of parity proofs, ranging from 9 bases (or contexts) at the low end to 35 bases at the high end, and involving projectors of various ranks and multiplicities. After giving an overview of the proofs we found, we present a few concrete examples of the proofs that illustrate both their generic features as well as some of their more unusual properties. In particular, we present a proof involving 34 rays and 9 bases that appears to be the most compact parity proof found to date in 8 dimensions.

2 paragraphs have been added to the conclusion and 2 new refs have been added

References in corpus (12)

• Contextuality supplies the magic for quantum computation
• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• State-independent experimental test of quantum contextuality
• Experimental test of quantum contextuality in neutron interferometry
• State-independent quantum contextuality with single photons
• Universality of state-independent violation of correlation inequalities for noncontextual theories
• Experimental implementation of a Kochen-Specker set of quantum tests
• Graphical Nonbinary Quantum Error-Correcting Codes
• Applying the simplest Kochen-Specker set for quantum information processing
• The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
• Exceptional Lie Algebras, SU(3) and Jordan Pairs Part 2: Zorn-type Representations

Cited by in corpus (16)

• Kochen-Specker Contextuality
• Quantum Contextuality
• Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
• Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets
• The Penrose dodecahedron and the Witting polytope are identical in CP(3)
• Automated generation of Kochen-Specker sets
• The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension
• Hypergraph Contextuality
• Kochen-Specker sets and Hadamard matrices
• Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces
• The Golay codes and Quantum Contextuality
• Vector Generation of Contextual Sets
• Statistical signatures of quantum contextuality
• Generation of Kochen-Specker contextual sets in higher dimensions by dimensional upscaling whose complexity does not scale with dimension and their applications
• Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions
• Orthogonal roots, Macdonald representations, and quasiparabolic sets