2000 character limit reached
The many mathematical faces of Mermin's proof of the Kochen-Specker theorem (1511.00950v1)
Published 3 Nov 2015 in quant-ph, math-ph, and math.MP
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.