Recent discussions of experimental tests of the Sum Rule have been carried out in the context of the special circumstances attending the Cross-Ramsey experiment. A more general analysis of possible tests is presented. A technical mistake of Fine and Glymour concerned with a misunderstanding of the physics of the Cross-Ramsey experiment is explained and a detailed analysis of a thought experiment based on the Einstein-Podolsky-Rosen wave function is given. It is concluded, in agreement with Fine, that scattering experiments do not (...) test the Sum Rule as a principle which supplements standard quantum mechanics. (shrink)

Kochen and Specker’s theorem can be seen as a consequence of Gleason’s theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason’s theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. r 2003 Elsevier Ltd. All rights reserved.

A generalized Kochen-Specker theorem is proved. It is shown that there exist sets of n projection operators, representing n yes-no questions about a quantum system, such that none of the 2″ possible answers is compatible with sum rules imposed by quantum mechanics. Namely, if a subset of commuting projection operators sums up to a matrix having only even or only odd eigenvalues, the number of “yes” answers ought to he even or odd, respectively. This requirement may lead to contradictions. An (...) example is provided, involving nine projection operators in a 4-dimensional space. (shrink)

The Bell 1964 theorem states that nonlocality is a necessary feature of hidden variable theories that reproduce the statistical predictions of quantum mechanics. In view of the no-go theorems for non-contextual hidden variable theories already existing up to 1964, and due to Gleason and Bell, one is forced to acknowledge the contextual character of the hidden variable theory which the Bell 1964 theorem refers to. Both the mathematical and the physical justifications of this contextualism are reconsidered. Consequently, the role of (...) contextualism in recent no-hidden-variables proofs and the import of these proofs are investigated. With reference to the physical intuition underlying contextualism, the possibility is considered whether a context-dependence of individual measurement results is compatible with context-independence of the statistics of measurement results. (shrink)

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.

A new proof of the impossibility of reconciling realism and locality in quantum mechanics is given. Unlike proofs based on Bell's inequality, the present work makes minimal and transparent use of probability theory and proceeds by demonstrating a Kochen-Specker type of paradox based on the value assignments to the spin components of two spatially separated spin-1 systems in the singlet state of their total spin. An essential part of the argument is to distinguish carefully two commonly confused types of contextuality; (...) we call them ontological and environmental contextuality. These in turn are associated with two quite distinct senses of nonlocality. We indicate the relevance of our treatment to other related discussions in recent literature on the philosophy of quantum mechanics. (shrink)

We define a physical magnitude as an equivalence class of measurement procedures and formulate sufficient restrictions on the equivalence relation to guarantee meaningful algebraic operations between magnitudes. These restrictions are not sufficient to let the Kochen and Specker argument go through. They are, however, stronger than mere statistical equivalence of measurement procedures and thus are relevant to the problem of the completeness of quantum mechanics. In fact, they give rise to a strong argument for the incompleteness of quantum mechanics.

We further develop a recent new proof (by Greenberger, Horne, and Zeilinger—GHZ) that local deterministic hidden-variable theories are inconsistent with certain strict correlations predicted by quantum mechanics. First, we generalize GHZ's proof so that it applies to factorable stochastic theories, theories in which apparatus hidden variables are causally relevant to measurement results, and theories in which the hidden variables evolve indeterministically prior to the particle-apparatus interactions. Then we adopt a more general measure-theoretic approach which requires that GHZ's argument be modified (...) in order to produce a valid proof. Finally, we motivate our more general proof's assumptions in a somewhat different way from previous authors in order to strengthen the implications of our proof as much as possible. After developing GHZ's proof along these lines, we then consider the analogue, for our proof, of Bohr's reply to the EPR argument, and conclude (pace GHZ) that in at least one respect (viz. that of most concern to Bohr) the proof is no more powerful than Bell's. Nevertheless, we point out some new advantages of our proof over Bell's, and over other algebraic proofs of nonlocality. And we conclude by giving a modified version of our proof that, like Bell's, does not rely on experimentally unrealizable strict correlations, but still leads to a testable “quasi-algebraic” locality inequality.“... to admit things not visible to the gross creatures that we are is, in my opinion, to show a decent humility, and not just a lamentable addiction to metaphysics.”J. S. Bell. (shrink)

The strange story of the von Neumann impossibility proof is recalled, and the even stranger story of later impossibility proofs, and how the impossible was done by de Broglie and Bohm. Morals are drawn.