Parity proofs of the Kochen–Specker theorem based on the Lie algebra E8
Parity proofs of the Kochen–Specker theorem based on the Lie algebra E8
The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real eight-dimensional Hilbert space that contains a large number of parity proofs of the Kochen–Specker (KS) theorem. After introducing the rays in a triacontagonal representation due to Coxeter, we present their KS …