A Simplified Basis for Bell-Kochen-Specker Theorems

Phys Lett A. 2014 Jul 11;378(35):2611-2613. doi: 10.1016/j.physleta.2014.07.022.

Abstract

We show that a reduced form of the structural requirements for deterministic hidden variables used in Bell-Kochen-Specker theorems is already sufficient for the no-go results. Those requirements are captured by the following principle: an observable takes a spectral value x if and only if the spectral projector associated with x takes the value 1. We show that the "only if" part of this condition suffices. The proof identifies an important structural feature behind the no-go results; namely, if at least one projector is assigned the value 1 in any resolution of the identity, then at most one is.

Keywords: Bell-Kochen-Specker theorem; Hidden variables; No-go.