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

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.

References in corpus (4)

• A simple test for hidden variables in spin-1 system
• Logical Bell Inequalities
• (Non-)Contextuality of Physical Theories as an Axiom
• Contextuality, Cohomology and Paradox

Cited by in corpus (2)

• Geometric and Information-Theoretic Properties of the Hoggar Lines
• A representation of the wave function on the three-dimensional space