Bell inequalities, counterfactual definiteness and falsifiability

We formally prove the existence of an enduring incongruence pervading a widespread interpretation of the Bell inequality and explain how to rationally avoid it with a natural assumption justified by explicit reference to a mathematical property of Bell’s probabilistic model. Although the amendment does not alter the relevance of the theorem regarding local realism, it brings back Bell theorem from the realm of philosophical discussions about counterfactual conditionals to the concrete experimental arena.

EPR and Bell Theorem

The first round of the Einstein–Bohr debates took place when Einstein challenged Bohr’s principle of complementarity at the Solvay conference in 1927 and Bohr successfully defended it. The most serious challenge, however, came in 1935 when a paper by Einstein, Podolsky, and Rosen (EPR) argued that quantum mechanics was incomplete through a gedanken experiment motivating an approach based on hidden variables. In this chapter, EPR’s arguments about the incompleteness of quantum mechanics and Bohr’s reply to them are presented. The ultimate answer came almost 30 years later, almost ten years after Einstein’s death, and was nothing that Einstein would have expected. Bell’s inequality and the subsequent Bell-CHSH inequality, that are satisfied by all theories based on the “self-evident truths” of reality and locality are discussed. The startling results that quantum mechanics violates Bell’s inequality and the experimental results are in agreement with the prediction of quantum mechanics are presented.

Bell’s theorem

Bell’s theorem is concerned with the outcomes of a special type of ‘correlation experiment’ in quantum mechanics. It shows that under certain conditions these outcomes would be restricted by a system of inequalities (the ‘Bell inequalities’) that contradict the predictions of quantum mechanics. Various experimental tests confirm the quantum predictions to a high degree and hence violate the Bell inequalities. Although these tests contain loopholes due to experimental inefficiencies, they do suggest that the assumptions behind the Bell inequalities are incompatible not only with quantum theory but also with nature. A central assumption used to derive the Bell inequalities is a species of no-action-at-a-distance, called ‘locality’: roughly, that the outcomes in one wing of the experiment cannot immediately be affected by measurements performed in another wing (spatially distant from the first). For this reason the Bell theorem is sometimes cited as showing that locality is incompatible with the quantum theory, and the experimental tests as demonstrating that nature is nonlocal. These claims have been contested.