The objective of the paper is to present a comprehensive picture of Bell-type theorems, by giving both the theorems and the proofs of them.Special care is given to specifying the assumptions of the arguments and their physical or metaphysical significance. Taking the EPR argument as a point of departure, the paper discusses four probabilitic Bell-type theorems,which are then followed by two versions on non-probailitic (GHZ) arguments.The final section provides the reader with a classification of the assumptions, which specifies which assumption is used in which proof.
The objective of the paper is to present a comprehensive picture of Bell-type theorems, by giving both the theorems and the proofs of them.Special care is given to specifying the assumptions of the arguments and their physical or metaphysical significance. Taking the EPR argument as a point of departure, the paper discusses four probabilitic Bell-type theorems,which are then followed by two versions on non-probailitic (GHZ) arguments.The final section provides the reader with a classification of the assumptions, which specifies which assumption is used in which proof.
While it is widely agreed that Bell's theorem is an important result in the foundations of quantum physics, there is much disagreement about what exactly Bell's theorem shows. It is agreed that Bell derived a contradiction with experimental facts from some list of assumptions, thus showing that at least one of the assumptions must be wrong; but there is disagreement about what the assumptions were that went into the argument. In this paper, I make a few points in order to help clarify the situation. Introduction Different authors have expressed very different views about what Bell's theorem shows about physics. The disagreement concerns particularly the question of which assumptions go into the argument. Since we have to give up one of the assumptions leading to the empirically violated Bell inequality, knowing what the assumptions were is crucial. For example, if author X believes that the argument requires only one assumption, A 1 , while author Y believes that it requires two, A 1 and A 2 , then X will conclude that A 1 ¬ must be abandoned, while Y will conclude that either A 1 or A 2 must abandoned, so A 1 may well be true in our world if A 2 is false. In this paper, I consider several assumptions that have been mentioned in connection with Bell's theorem, and I look into their roles in the proof of Bell's theorem. While I do not say anything here that has never been said before, I hope that my remarks can nevertheless be helpful to some readers. For the sake of definiteness, the version of the relevant experiment that I will consider involves two spin-1\2 particles, initially in the singlet spin state ψ = 2 −1/2 (|↑↓ ⟩ − |↓↑ ⟩). Two widely separated experimenters, Alice and Bob, have one particle transported to each of them. At spacelike separation, they each choose a direction in space, represented by the unit vectors a and b , and carry out a quantum measurement of the spin observable in this direction on their particle, ( a · σ ) ⊗ I and I ⊗ ( b · σ ), with I the 2 × 2 unit matrix and σ the triple of Paulimatrices. The possible outcomes, A and B , are±1 on each side. Bell's theorem is the statement that under the assumptions we are about to discuss, Bell's inequality holds; quantum theory predicts violations of Bell's inequality, and experiments have confirmed these predictions.
The purpose of this lecture is to give a self-contained demonstration of a version of Bell's theorem and a discussion of the significance of the theorem and the experiments which it inspired. The lecture should be comprehensible to people who have had no previous acquaintance with the literature on Bell's theorem, but I hope that explicitness about premisses and consequences will make it useful even to those who are familiar with the literature. All versions of Bell's theorem are variations, and usually generalizations, of the pioneering paper of J. S. Bell of 1964, entitled “On the Einstein–Podolsky–Rosen Paradox.” All of them consider an ensemble of pairs of particles prepared in a uniform manner, so that statistical correlations may be expected between outcomes of tests performed on the particles of each pair. If each pair in the ensemble is characterized by the same quantum state φ, then the quantum mechanical predictions for correlations of the outcomes can in principle be calculated when the tests are specified. On the other hand, if it is assumed that the statistical behavior of the pairs is governed by a theory which satisfies certain independence conditions (always similar to the Parameter and Outcome Independence conditions stated below, though the exact details vary from version to version of Bell's theorem), then it is possible to derive a restriction upon the statistical correlations of the outcomes of tests upon the two particles.
The Bell theorem [103] can be seen in several different ways, as the EPR argument. Initially, Bell invented it as a direct logical continuation of the EPR theorem: the idea is to take the existence of the EPR elements of reality seriously, and to push it further by introducing them explicitly into the mathematics with the notation λ; one then proceeds to study all possible kinds of correlations that can be obtained from the fluctuations of one or several variables λ, making the condition of locality explicit in the mathematics (locality was already useful in the EPR theorem, but not used in equations). The reasoning develops within determinism (considered as proved by the EPR reasoning) and classical probabilities; it studies in a completely general way all kinds of correlations that can be predicted from the fluctuations of some classical common cause in the past – if one prefers, from some random choice concerning the initial state of the system. This leads to the famous inequalities. But subsequent studies have shown that the scope of the Bell theorem is not limited to determinism; for instance, the λ variables may determine the probabilities of the results of future experiments, instead of the results themselves (see Appendix B), without canceling the theorem. We postpone the discussion of the various possible generalizations to §4.2.3. For the moment, we just emphasize that the essential condition for the validity of the Bell theorem is locality: all kinds of fluctuations can be assumed, but their effect must affect physics only locally.
This article is intended as a compendium and guide to the variety of Bell Inequality derivations that have appeared in the literature in recent years, classifying them into six broad categories, revealing the underlying, often hidden, assumption common to each - semifactuality. Evaluation of the attendant conditional brings to light a significant EPR loophole that has not appeared in the literature. Semantics for the inequality in the ongoing philosophic debate that led to its discovery is discussed.
In this tribute to Henry P. Stapp, I outline the historical development of the problem of non-locality in quantum mechanics starting from the EPR argument through Bell’s theorem up to Stapp’s own contributions. My focus is on Stapp’s 1997 proof of quantum non-locality that uses the logic of counterfactuals. On the basis of my own version of the proof presented in 2010, I give its informal analysis, emphasizing the role of Einstein’s criterion of reality in the derivation. I conclude that the proof achieves its objective, and I briefly point at its significance for the philosophical mind-body problem.