Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Proofs of the Kochen-Specker Theorem in 3 Dimensions

Elizabeth Gould

Published May 15, 2009• 0 citations
OpenAlex

Abstract

This project examines two sets of rays in three dimensions that prove the Bell-Kochen-Specker theorem, the 33 rays of Peres and the 33 rays of Penrose. It is shown that these rays possess identical orthogonality tables and thus lead to identical proofs of the theorem. It is also shown that these sets of rays are particular members of a three parameter family of 33 rays that prove the theorem.

Related papers

How orthogonalities set Kochen-Specker sets

Kate Blanchfield

We look at generalisations of sets of vectors proving the Kochen-Specker theorem in 3 and 4 dimensions. It has been shown that two such sets, although unitarily inequivalent, are part of a larger 3-parameter family of vectors that share the same orthogonality graph. We find that these sets are unusual, in that the vectors in all other Kochen-Specker sets investigated here are fully determined by orthog-onality conditions and thus admit no free parameters. The Kochen-Specker (KS) theorem [1] is a statement about the fundamen-tal nature of quantum mechanics: no non-contextual hidden variable theory can reliably reproduce quantum mechanical predictions. The KS theorem states that in a Hilbert space with dimension n ≥ 3 it is impossible to assign definite values v ∈ {0, 1} to m projection operators Pm so that for every commuting set of projection operators satisfying Pm = I, the correspond-ing definite values obey v (Pm) = 1. The KS theorem is often visualised by means of a set of "uncolourable" vectors, where projection operators are represented by their constituent rays in Hilbert space and rays can be simplified to vectors as only directions are relevant here. The vectors are coloured according to their pre-assigned val-ues and the summation conditions above translate into colouring rules. This allows us to construct orthogonality graphs that, when uncolourable, pro-vide a contradiction within non-contextual hidden variable models and thus a proof of the KS theorem. Sets of vectors exemplifying the KS theorem have been discovered by nu-merous authors, with an aim to reduce the number of vectors required to reach a contradiction. Most notably, in a 3-dimensional Hilbert space, the original KS proof of 117 vectors has been replicated with sets using between 31 and 33 vectors [2, 3, 4, 5] and in a 4-dimensional Hilbert space, sets of between 24 and the lower limit of 18 vectors have been realised [2, 6, 7]. Additionally, an extensive computer search has recently revealed over one thousand of such KS sets in R4 [8]. In a publication by E. Gould and P. K. Aravind [10], two of these sets in 3 dimensions have been shown to share the same orthogonality graph. Specifically, the sets of 33 vectors found by Penrose [3] and Peres [2] have

•Aug 14, 2016•1 citation

How orthogonalities set Kochen-Specker sets

Kate Blanchfield

We look at generalisations of sets of vectors proving the Kochen-Specker theorem in 3 and 4 dimensions. It has been shown that two such sets, although unitarily inequivalent, are part of a larger 3-parameter family of vectors that share the same orthogonality graph. We find that these sets are unusual, in that the vectors in all other Kochen-Specker sets investigated here are fully determined by orthogonality conditions and thus admit no free parameters.

arXiv:1008.4453•AIP conference proceedings•Jan 1, 2011•0 citations

Generalized Kochen-Specker theorem

P. K. Aravind

A proof of the generalized Kochen-Specker theorem in two dimensions due to Cabello and Nakamura [A. Cabello, Phys. Rev. Lett. 90, 190401 (2003)] is extended to all higher dimensions. A set of 18 states in four dimensions is used to give closely related proofs of the generalized Kochen-Specker, Kochen-Specker, and Bell theorems that shed some light on the relationship between these three theorems.

arXiv:quant-ph/0301074•Physical Review A•Nov 17, 2003•16 citations

How orthogonalities set Kochen-Specker sets

Kate Blanchfield, Andrei Yu. Khrennikov, Gregg S. Jaeger +2 more

We look at generalisations of sets of vectors proving the Kochen‐Specker theorem in 3 and 4 dimensions. It has been shown that two such sets, although not unitarily equivalent, are part of a larger 3‐parameter family of vectors that share the same orthogonality graph. We find that these sets are unusual, in that the vectors in all other Kochen‐Specker sets investigated here are fully determined by orthogonality conditions and thus admit no free parameters.

AIP conference proceedings•Jan 1, 2011•1 citation

Two noncolourable configurations in four dimensions illustrating the Kochen-Specker theorem

P. K. Aravind, Forest Lee-Elkin

It is demonstrated that the 60 rays corresponding to antipodal pairs of vertices of the 600-cell, and the 300 rays corresponding to antipodal pairs of vertices of the 120-cell, can both be used to give noncolouring proofs of the Bell-Kochen-Specker theorem in four dimensions.

Journal of Physics A Mathematical and General•Dec 11, 1998•23 citations

Two simple proofs of the Kochen-Specker theorem

Asher Peres

A new proof of the Kochen-Specker theorem uses 33 rays, instead of 117 in the original proof. If the number of dimensions is increased from 3 to 4, only 24 rays are needed.

Journal of Physics A Mathematical and General•Feb 21, 1991•422 citations
This project examines two sets of rays in three dimensions that prove the Bell-Kochen-Specker theorem, the 33 rays of Peres and the 33 rays of Penrose. It is shown that these rays possess identical orthogonality tables and thus lead to identical proofs of the theorem. It is also shown that these sets of rays are particular members of a three parameter family of 33 rays that prove the theorem.
We look at generalisations of sets of vectors proving the Kochen-Specker theorem in 3 and 4 dimensions. It has been shown that two such sets, although unitarily inequivalent, are part of a larger 3-parameter family of vectors that share the same orthogonality graph. We find that these sets are unusual, in that the vectors in all other Kochen-Specker sets investigated here are fully determined by orthog-onality conditions and thus admit no free parameters. The Kochen-Specker (KS) theorem [1] is a statement about the fundamen-tal nature of quantum mechanics: no non-contextual hidden variable theory can reliably reproduce quantum mechanical predictions. The KS theorem states that in a Hilbert space with dimension n ≥ 3 it is impossible to assign definite values v ∈ {0, 1} to m projection operators Pm so that for every commuting set of projection operators satisfying Pm = I, the correspond-ing definite values obey v (Pm) = 1. The KS theorem is often visualised by means of a set of "uncolourable" vectors, where projection operators are represented by their constituent rays in Hilbert space and rays can be simplified to vectors as only directions are relevant here. The vectors are coloured according to their pre-assigned val-ues and the summation conditions above translate into colouring rules. This allows us to construct orthogonality graphs that, when uncolourable, pro-vide a contradiction within non-contextual hidden variable models and thus a proof of the KS theorem. Sets of vectors exemplifying the KS theorem have been discovered by nu-merous authors, with an aim to reduce the number of vectors required to reach a contradiction. Most notably, in a 3-dimensional Hilbert space, the original KS proof of 117 vectors has been replicated with sets using between 31 and 33 vectors [2, 3, 4, 5] and in a 4-dimensional Hilbert space, sets of between 24 and the lower limit of 18 vectors have been realised [2, 6, 7]. Additionally, an extensive computer search has recently revealed over one thousand of such KS sets in R4 [8]. In a publication by E. Gould and P. K. Aravind [10], two of these sets in 3 dimensions have been shown to share the same orthogonality graph. Specifically, the sets of 33 vectors found by Penrose [3] and Peres [2] have