A mathematical rigorous definition of EPR states has been introduced by Arens and Varadarajan for finite dimensional systems, and extended by Werner to general systems. In the present paper we follow a definition of EPR states due to Werner. Then we show that an EPR state for incommensurable pairs is Bell correlated, and that the set of EPR states for incommensurable pairs is norm dense between two strictly space-like separated regions in algebraic quantum field theory.

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the ‘no (...) signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories. (shrink)

Although skeptical of the prohibitive power of no-hidden-variables theorems, John Bell was himself responsible for the two most important ones. I describe some recent versions of the lesser known of the two (familiar to experts as the "Kochen-Specker theorem") which have transparently simple proofs. One of the new versions can be converted without additional analysis into a powerful form of the very much better known "Bell's Theorem," thereby clarifying the conceptual link between these two results of Bell.