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:1511.00950

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

Leon Loveridge, Raouf Dridi

Published Nov 3, 2015• 3 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.1511.00950

Related papers

Mermin's pentagram and Bell's theorem

P. K. Aravind

It is shown how a proof of the Bell-Kochen-Specker (BKS) theorem given by Kernaghan and Peres can be experimentally realized using a scheme of measurements derived from a related proof of the same theorem by Mermin. It is also pointed out that if this BKS experiment is carried out independently by two distant observers who repeatedly make measurements on a specially correlated state of six qubits, it provides an inequality-free demonstration of Bell's theorem as well.

arXiv:quant-ph/0104138•Apr 30, 2001•2 citations

Quadratic Refinement and the Parity of Mermin Pentagrams: The $\beta$-Formula, Geometric Decomposition, and the Kochen–Specker Obstruction from Equiangular Geometry

Zhou-Li Chen

•Jun 1, 2026•0 citations

Quadratic Refinement and the Parity of Mermin Pentagrams: The $\beta$-Formula, Geometric Decomposition, and the Kochen–Specker Obstruction from Equiangular Geometry

Zhou-Li Chen

•Jun 1, 2026•0 citations

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.4583•Canadian Journal of Physics•Jul 14, 2015•4 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.0436•AIP conference proceedings•Jan 1, 2012•6 citations

A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues

Jeremy Butterfield, C. J. Isham

International Journal of Theoretical Physics•Mar 1, 1999•127 citations
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.
Quadratic Refinement and the Parity of Mermin Pentagrams: The β\betaβ-Formula, Geometric Decomposition, and the Kochen–Specker Obstruction from Equiangular Geometry
Quadratic Refinement and the Parity of Mermin Pentagrams: The β\betaβ-Formula, Geometric Decomposition, and the Kochen–Specker Obstruction from Equiangular Geometry