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

arXiv:quant-ph/0304013 · Journal of Physics A Mathematical and General

A geometric proof of the Kochen - Specker no-go theorem

Richard David Gill, Michaël Keane

Published Jun 21, 1996• 15 citations
arXivHTMLPDF

Abstract

We give a short geometric proof of the Kochen - Specker no-go theorem for non-contextual hidden variables models.
DOI
10.1088/0305-4470/29/12/001

Related papers

A simple proof of the Kochen-Specker theorem

Adán Cabello

The author presents a simple proof of a theorem which places constraints on hidden-variables theories alternative to quantum mechanics.

European Journal of Physics•Jul 1, 1994•23 citations

A hidden-variables versus quantum mechanics experiment

Adán Cabello, Guillermo García Alcaine

In the light of the Bell-Kochen-Specker theorem, we examine a feasible experimental test in order to discriminate between non-contextual hidden-variables and some probabilistic predictions of quantum mechanics.

Journal of Physics A Mathematical and General•Jul 7, 1995•12 citations

Kochen-Specker Theorem: Two Geometric Proofs

Cristian S. Calude, Peter H. Hertling, Karl Svozil

We present two geometric proofs of the Kochen-Specker theorem. A quite similar argument has been used by Cooke, Keane, and Moran, as well as by Kalmbach in her book to derive the Gleason theorem.

arXiv:1402.5195•Feb 21, 2014•6 citations

Simple unified form for the major no-hidden-variables theorems

N. David Mermin

Two examples are given that substantially simplify the no-hidden-variables theorem of Kochen and Specker, greatly reducing the number of observables considered and requiring no intricate geometric argument. While one of the examples also obeys a more powerful version of Bell's theorem, the other does not. The examples provide a new perspective on both of these fundamental theorems and on the relation between them.

Physical Review Letters•Dec 31, 1990•752 citations

Minimal Kochen-Specker theorem in finite dimensions

Sixia Yu, C. H. Oh

In [1] we proved a strengthened Kochen-Specker theorem in 3 dimensions: non-contextual hidden variable (NCHV) models cannot reproduce all the quantum correlations of two compatible observables, which is a minimal requirement imposed on the NCHV models. Here we shall exclude the NCHV models with this minimal requirement in $d\ge 4$ dimensions by state-independent and experimentally testable inequalities satisfied by all NCHV models that are required to reproduce only the quantum correlations of at most two compatible observables. Furthermore our proofs use the smallest number of rays known so far, e.g., 25 (instead of 31) rays in $5$ dimensions and $5d-2\lfloor d/3\rfloor$ rays in $d\ge 6$ dimensions.

arXiv:1112.5513•Dec 23, 2011•2 citations

Kochen-Specker Theorem and Games

Laura Mančinska

One of the statements one would hear pretty early in any quantum mechanics course is that for quantum particles there are properties which do not have definite values. For example, if we measure |+〉 in standard basis, the best we can do to describe the outcome is to say, that with probability 1/2 we will get 0 and with probability 1/2 we will get 1. Yet one could wonder, is this really the way things are or is it just because our description of this quantum particle is incomplete, but in fact there are some hidden variables inside every quantum system that contain enough information to tell the outcome of measurement (see Fig. 1). However, many people disdain the idea of hidden variables, so there has been rather long history of theorems that forbid theories involving hidden variables. Usually if one wants to prove some no hidden variables theorem he has to assume something about the hidden variables theories he is going to forbid. One of such assumptions is non-contextuality, which means that the outcome we get after measuring with an observable is the same regardless of what other observables we choose to measure at the same time. The first theorem forbidding hidden variables theories is due to von Neumann in 1932. Then for a third of a century everyone cited von Neumann’s work carelessly, till Bell in 1966 indicated that there was an unreasonable assumption in von Neumann’s proof and urged for further examination of the problem (see [6] and [1] for more historical details). Bell also constructed a hidden variables model for one qubit that could assign the outcome of any observable in a way consistent with quantum mechanics. He also proved two theorems that forbid non-contextual hidden variables theories using counterexamples with larger quantum systems. Yet surprisingly he himself thought that hidden variables do exists and considered these theorems only as characterizations of the hidden variables theory we should look for. In this essay we will discuss several versions of one of the two Bell’s theorems. The theorem we will consider was also independently proven by Kochen and Specker in 1967 (see [5]), hence it is called Bell-Kochen-Specker theorem. For shortness and in order not to mix this theorem with another Bell’s theorem from now on we will refer to it as Kochen-Specker theorem. We will be interested in proving several versions of this theorem and the following lemma will turn out to be of great use:

•Jan 1, 2007•0 citations
In [1] we proved a strengthened Kochen-Specker theorem in 3 dimensions: non-contextual hidden variable (NCHV) models cannot reproduce all the quantum correlations of two compatible observables, which is a minimal requirement imposed on the NCHV models. Here we shall exclude the NCHV models with this minimal requirement in d≥4d\ge 4d≥4 dimensions by state-independent and experimentally testable inequalities satisfied by all NCHV models that are required to reproduce only the quantum correlations of at most two compatible observables. Furthermore our proofs use the smallest number of rays known so far, e.g., 25 (instead of 31) rays in 555 dimensions and 5d−2⌊d/3⌋5d-2\lfloor d/3\rfloor5d−2⌊d/3⌋ rays in d≥6d\ge 6d≥6 dimensions.
One of the statements one would hear pretty early in any quantum mechanics course is that for quantum particles there are properties which do not have definite values. For example, if we measure |+〉 in standard basis, the best we can do to describe the outcome is to say, that with probability 1/2 we will get 0 and with probability 1/2 we will get 1. Yet one could wonder, is this really the way things are or is it just because our description of this quantum particle is incomplete, but in fact there are some hidden variables inside every quantum system that contain enough information to tell the outcome of measurement (see Fig. 1). However, many people disdain the idea of hidden variables, so there has been rather long history of theorems that forbid theories involving hidden variables. Usually if one wants to prove some no hidden variables theorem he has to assume something about the hidden variables theories he is going to forbid. One of such assumptions is non-contextuality, which means that the outcome we get after measuring with an observable is the same regardless of what other observables we choose to measure at the same time. The first theorem forbidding hidden variables theories is due to von Neumann in 1932. Then for a third of a century everyone cited von Neumann’s work carelessly, till Bell in 1966 indicated that there was an unreasonable assumption in von Neumann’s proof and urged for further examination of the problem (see [6] and [1] for more historical details). Bell also constructed a hidden variables model for one qubit that could assign the outcome of any observable in a way consistent with quantum mechanics. He also proved two theorems that forbid non-contextual hidden variables theories using counterexamples with larger quantum systems. Yet surprisingly he himself thought that hidden variables do exists and considered these theorems only as characterizations of the hidden variables theory we should look for. In this essay we will discuss several versions of one of the two Bell’s theorems. The theorem we will consider was also independently proven by Kochen and Specker in 1967 (see [5]), hence it is called Bell-Kochen-Specker theorem. For shortness and in order not to mix this theorem with another Bell’s theorem from now on we will refer to it as Kochen-Specker theorem. We will be interested in proving several versions of this theorem and the following lemma will turn out to be of great use: