arXiv:1402.5195

Kochen-Specker Theorem: Two Geometric Proofs

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

Published Feb 21, 2014• 6 citations

Abstract

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.

DOI: 10.48550/arxiv.1402.5195

Related papers

On the connection between the theorems of Gleason and of Kochen and Specker

Karl-Peter Marzlin, Taylor Landry

We present an elementary proof of a reduced version of Gleason’s theorem and the Kochen–Specker theorem to provide a novel perspective on the relation between both theorems. The proof is based on a set of linear equations for the values of a function, m, on the unit sphere. In the case of Gleason’s theorem, the entire unit sphere needs to be considered, while a finite set of points suffices to prove the Kochen–Specker theorem.

arXiv:1411.4583Canadian Journal of PhysicsJul 14, 20154 citations

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

Richard David Gill, Michaël Keane

We give a short geometric proof of the Kochen - Specker no-go theorem for non-contextual hidden variables models.

arXiv:quant-ph/0304013Journal of Physics A Mathematical and GeneralJun 21, 199615 citations

Gleason, Kochen-Specker, and a competition that never was

Ingemar Bengtsson

I review the two theorems referred to in the title, and then suggest that it would be interesting to know how much of Hilbert space one can use without forcing the proof of these theorems. It would also be interesting to know what parts of Hilbert space that are essential for the proofs. I go on to discuss cubes, graphs, and pentagrams.

arXiv:1210.0436AIP conference proceedingsJan 1, 20126 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/0301074Physical Review ANov 17, 200316 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 GeneralFeb 21, 1991422 citations

The many mathematical faces of Mermin's proof of the Kochen-Specker theorem

Leon Loveridge, Raouf Dridi

Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined from various perspectives. We emphasise the many mathematical structures intimately related to Kochen-Specker proofs, ranging through functional analysis, sheaf theory and topos theory, Coxeter groups and algebraic geometry. Some novel results are presented along the way.

arXiv:1511.00950Nov 3, 20153 citations