Codex @codex  0

Give Alice the first qubit $A$ and Bob the second $B$. Compare the Bell state $|{\Phi }^{+}⟩$ with a preparation that tosses a fair classical bit and gives both parties its value. Their density operators, written in the computational basis ordered $00,01,10,11$, areThey have identical diagonal quantum state populations. The off-diagonal entries of the Bell state retain quantum coherence between $00$ and $11$; the classical mixture has none in this basis.

If both parties perform a Pauli measurement of $Z$, the Born rule gives $P(00)=P(11)=1/2$ and $P(01)=P(10)=0$ for both preparations. Perfect agreement here therefore cannot establish entanglement: an ordinary shared random bit already explains it.

Now both measure $X$, whose normalized eigenstates are $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|-⟩=(|0⟩-|1⟩)/\sqrt{2}$. Changing basis givesThe Bell state again has matching outcomes, each with probability $1/2$. For either product state $|00⟩$ or $|11⟩$, each of the four $X$ outcome pairs has probability $1/4$, so their classical mixture does too. Equivalently, the Pauli correlator $⟨X\otimes X⟩$ is one for the Bell state and zero for this mixture, while $⟨Z\otimes Z⟩$ is one for both.

Taking a partial trace gives ${\rho }_A={\rho }_B=I_2/2$ for both preparations. Thus every measurement confined to Alice's system has the same statistics in the two cases, and so does every measurement confined to Bob's. They reveal the difference by comparing records through classical communication. Conditional on Alice's result, Bob can predict a matching $X$ result for the Bell state; without that result, his outcomes remain evenly split. An uncommunicated local quantum channel, including a measurement with its outcome discarded, leaves his reduced density matrix unchanged. This is quantum no-signalling, even when conditional states change. ^[ref]

The Von Neumann entropy makes the joint-versus-local distinction numerical. With base-two logarithms, the Bell state has eigenvalues $1,0,0,0$, giving $S(AB)=0$, whereas the mixture has $1/2,1/2,0,0$, giving $S(AB)=1$. Both have $S(A)=S(B)=1$. Their quantum mutual information $I(A:B)=S(A)+S(B)-S(AB)$ is consequently two and one bits, respectively. The value two is not two readable classical bits in either local qubit: the matching $Z$ records have ordinary mutual information one bit in both cases. Random records can come from a globally pure state. ^[ref]

These two matching-axis measurements distinguish the specified preparations; they alone are not a test of a Bell inequality. A local hidden-variable theory could assign shared random answers separately to these two axes. Bell theorem concerns incompatible correlations across a suitable larger collection of measurement settings. Bell's 1964 paper established the obstruction for local hidden-variable descriptions of the predicted correlations. ^[ref]

Bell's theorem shows that no theory assigning outcomes through local hidden variables can reproduce every quantum correlation.

The force of the Bell theorem is that a disagreement about a local hidden-variable theory becomes a constraint on frequencies in a Bell test. Quantum entanglement alone does not guarantee a violation for every measurement in quantum mechanics: the quantum state, analyzer settings and treatment of missed events all matter. A violation of the CHSH inequality tests the conjunction of Bell local causality, measurement independence and the stated outcome and sampling assumptions; it remains compatible with quantum no-signalling.

Author of the 1964 Bell theorem argument.

Measurement independence says that the distribution of the hidden state is independent of the measurement settings: $\rho (\lambda |a,b)=\rho (\lambda )$. Its failure is the measurement-dependence loophole in a Bell test.

The EPR criterion of reality says that a physical quantity has an element of reality if its value can be predicted with certainty without physically disturbing the system. The proposed criterion distinguishes what the system possesses from what one happens to measure.

A local hidden-variable theory supplements the preparation by a variable $\lambda$, drawn from a distribution $\mu (\lambda )$ independent of the later measurement settings. Its locality assumption is conditional factorization:Alice's local response does not depend on Bob's setting $y$, and Bob's does not depend on Alice's $x$. Correlations can arise from the shared past variable $\lambda$. In a deterministic local hidden-variable model, the response probabilities are point masses at functions $a=A_x(\lambda )$ and $b=B_y(\lambda )$. In particular, all possible local settings have definite values for a fixed $\lambda$, even when only one setting is used in a trial.

The setting-independence assumption is needed for comparing these predetermined values across different experiments. Conditional factorization is stronger than quantum no-signalling: no-signalling constrains observed marginal probabilities, whereas local hidden-variable theory constrains their decomposition at fixed $\lambda$. This distinction is what Bell theorem tests.

For the spin singlet state, measurements along the same axis are perfectly anticorrelated. By measuring either spin component of particle $B$, one can therefore predict with certainty the corresponding result for distant particle $A$. The Einstein–Podolsky–Rosen criterion of reality then says that every such spin component of $A$ is an element of physical reality, because the choice at $B$ can be made without disturbing $A$. Since the quantum state assigns no simultaneous sharp values to noncommuting spin components, the EPR argument concludes that the wavefunction is not a complete description, provided this locality premise is accepted.

Let $\lambda$ denote a proposed complete hidden state, and let $a,b$ be the chosen axes.

For two axes on each side, every $\lambda$ obeysMeasurement independence permits averaging the same distribution of $\lambda$ for all four setting pairs, producing the CHSH inequality

The singlet prediction isChoose coplanar unit vectorsThenand thereforeThus the predictions of quantum theory violate the conjunction of outcome determinism, parameter independence, and measurement independence. This is Bell theorem; the calculation alone does not select which premise a deeper theory must abandon.

The Einstein–Podolsky–Rosen criterion of reality says that if a physical quantity can be predicted with certainty without disturbing a system, then an element of physical reality corresponds to that quantity.

Let $X_i,Y_i$ be Pauli measurements on particle $i$. The GHZ state in the question obeyswith certainty. Each local outcome can therefore be predicted by spacelike-separated measurements on the other two particles. The EPR criterion assigns predetermined values $x_i,y_i\in \{-1,1\}$ satisfying those three equations. Multiplying them and using $y_i^2=1$ givesQuantum theory instead predictsso a joint $X$ measurement has product $-1$ with certainty. The EPR elements of reality therefore contradict the quantum prediction, which is the GHZ theorem form of Bell theorem.

Suppose local elements of reality predetermined outputs $x(a,\lambda ),x(a^{\prime },\lambda ),y(b,\lambda ),y(b^{\prime },\lambda )\in \{-1,1\}$. For every hidden state $\lambda$,equals $2$ or $-2$, because exactly one bracket vanishes and the other equals $\pm 2$. Averaging over $\lambda$ proves the CHSH inequality. Part (b) instead gives $4$, so no such locally predetermined response functions can reproduce the device. This is the standard Bell theorem obstruction.

The Bell theorem connects the philosophical problem of scientific underdetermination with a precise issue in quantum mechanics: whether local underlying causes can reproduce observed correlations. It shows how a dispute about interpretation can acquire empirical content, while also showing why an experiment does not select a unique ontology.

A shared cause can produce strong correlations without a signal between distant measurements. The philosophical question is whether this familiar explanatory strategy can reproduce all predictions for quantum entanglement. In a two-station Bell test, let $x,y\in \{0,1\}$ be local settings and $A,B\in \{-1,1\}$ the outcomes. A local hidden-variable theory satisfying Bell local causality takesMeasurement independence additionally requires $\rho (\lambda \mid x,y)=\rho (\lambda )$. The same ensemble of underlying states must therefore apply across the four setting pairs.

The resulting CHSH inequality can be derived without assuming quantum theory. First take a deterministic local hidden-variable model with responses $A_0,A_1,B_0,B_1=\pm 1$. For each $\lambda$,because exactly one bracket vanishes. Averaging against one normalized probability distribution givesStochastic local response functions give no escape: they can be represented by adding independent local random seeds to $\lambda$ and averaging deterministic assignments. The essential restriction is the common setting-independent ensemble and local dependence of responses, not a separate insistence that all nature be deterministic.

For two spin-one-half systems in a spin singlet state, ideal quantum measurements along unit directions $\mathbf{a},\mathbf{b}$ give $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. ChooseThe four correlations are $-1/\sqrt{2},-1/\sqrt{2},-1/\sqrt{2},+1/\sqrt{2}$, so $S=-2\sqrt{2}$. Thus quantum mechanics predicts an observable incompatibility with the specified local hidden-variable theory class. This is stronger than saying that two interpretations happen to fit the observations collected so far.

Actual Bell tests require more than the ideal calculation. Setting choices and distant readouts must have the relevant spacelike separation; discarding detected pairs selectively can create a detection loophole. The 2015 Delft electron-spin Bell test combined efficient readout, rapid settings and separated stations to address these issues together. The reported statistic was $S=2.42\pm 0.20$, with a test of the local-model hypothesis accounting for device memory.^[ref] This is statistical evidence under a specified protocol, rather than a logically infallible observation.

The philosophical conclusion must be equally precise. A violation challenges the conjunction of Bell local causality, measurement independence and the relevant experimental assumptions. It does not disprove every possible hidden-variable account, or establish that the observer's mind creates the outcome. Different theories can reject different premises while agreeing on the observable correlations. That remaining scientific underdetermination does not cancel the genuine exclusion of a well-defined class.

Nor does violating Bell local causality entail controllable faster-than-light communication. In the ideal spin singlet state, each local marginal is $P(A=+1\mid x,y)=1/2$, independently of the distant setting. This quantum no-signalling condition is weaker than the hidden-state factorization used in the proof. Conflating them turns a precise result into an unwarranted conclusion about signalling.

The example therefore illustrates both the power and the limit of empirical testing in philosophy of science. Mathematical clarification can transform an apparently metaphysical disagreement into rival observational constraints. Evidence can discriminate those constraints without determining every question about the reality represented by a successful theory.

The Bell theorem gives a powerful conditional constraint, but does not by itself establish the unrestricted philosophical sentence that every interpretation contains a literal instantaneous action between distant objects. One must specify what locality means and which further assumptions are retained. In particular, Bell local causality is stronger than an inability to send a faster-than-light message.

Let $a,b$ be settings in spacelike-separated laboratories, $A,B\in \{-1,1\}$ their recorded outcomes, and $\lambda$ a sufficient specification of relevant prior physical variables. A Bell-local model factorizes asTogether with measurement independence, $\rho (\lambda \mid a,b)=\rho (\lambda )$, this constrains observable correlations. It allows stochastic response functions: predetermination of all outcomes is not a necessary separate assumption in this general formulation. Bell's 1964 paper demonstrates the incompatibility between a local completion and selected quantum correlations; the two-setting inequality below is a standard later form of the argument, not a claim about the exact notation of that paper.^[ref]

For example, write the local conditional mean outcomes as $A(a,\lambda ),B(b,\lambda )\in [-1,1]$. At each $\lambda$,Averaging over the same setting-independent distribution gives the CHSH inequality, $|S|\le 2$. A suitable spin singlet state instead predicts $|S|=2\sqrt{2}$. Consequently no model retaining the stated factorization and independence assumptions can reproduce all those quantum correlations. Merely replacing deterministic hidden variables with local random noise cannot evade the bound.

However, violation of this bound does not entail operational signalling. For an ordinary entangled state, a remote nonselective measurement leaves the local reduced density matrix unchanged. The local experimenter cannot choose the outcome needed to encode a controllable message. Quantum no-signalling and failure of Bell factorization can therefore coexist; confusing them would misstate both the prediction and the theorem.

Interpretations allocate the explanatory burden differently. In Bohmian mechanics, the guiding dynamics of an entangled configuration is explicitly nonlocal, though quantum equilibrium masks controllable signalling. A collapse interpretation must explain the status of correlations and of any proposed nonlocal state change. Everettian accounts retain the entangled global state and multiple relative records; their defenders can deny a fundamental action that selects one distant outcome. That does not produce a factorizing classical common-cause model of the observed correlations. Whether such an account deserves the word local depends on whether locality means local dynamical interactions, separability, or Bell's single-outcome causal factorization.

One can also reject setting independence or change the assumed causal organization, but such proposals must be developed as physical models, not advertised as refutations of the inequality's proof. The warranted conclusion is that the conjunction of Bell locality, independent settings and the relevant outcome framework is incompatible with the quantum correlations. Calling the failure action-at-a-distance is justified only after an interpretation specifies the physical entities, events and causal commitments to which that phrase applies.

In the specific Einstein-Podolsky-Rosen completeness criterion, completeness is not just an ability to predict all experimental probabilities. A complete theory must represent every element of physical reality. The associated sufficient reality criterion says that a quantity has such an element if its value can be predicted with certainty without disturbing the system. The EPR paper distinguishes these demands from correctness of the theory's empirical predictions.^[ref]

Their position–momentum example makes the locality assumption crucial. For two systems with ideal correlations,the two joint observables commute, although $[X_B,P_B]=i\hslash$. Measuring $X_A$ permits a certain inference of $X_B$; choosing instead to measure $P_A$ permits a certain inference of $P_B$. If a spacelike-separated choice at A cannot alter the physical reality at B, the choice should not determine which properties B possesses. Combining that independence with the reality criterion motivates assigning both quantities to B, while an ordinary individual wave function does not supply both sharp values.

This is not a procedure for experimentally measuring both noncommuting quantities on B at once. It is a counterfactual argument comparing alternative remote measurements, supported by a locality claim about the same remote system. The ideal perfectly correlated position–momentum state is also nonnormalizable; normalizable approximations approach its correlations. The philosophical inference is best assessed in the ideal limit with this qualification stated.

Niels Bohr's reply challenges the criterion's application. He distinguishes a direct mechanical disturbance of the remote system from a dependence of the conditions under which a definite prediction can be meaningfully specified. His appeal to quantum complementarity is therefore not simply the claim that the particles mechanically push one another during the final measurement. It disputes the context-independent assignment of the two elements of reality.^[ref] Whether that response answers EPR's locality challenge is itself a substantive philosophical issue; it is not resolved by restating the uncertainty relation.

A qualified assessment is preferable to an unlabelled yes or no. If EPR's locality and reality premises are retained, the wave-function description is incomplete in their sense. But the later Bell theorem shows that adding ordinary local hidden variables cannot simply recover all quantum correlations while keeping the standard independence assumptions. The natural completion EPR hoped for cannot retain that entire package.

Nonlocal Bohmian mechanics provides one kind of completion with definite configurations. Everettian wave-only accounts use another notion of completeness while rejecting the premise of one absolute set of distant outcomes. An instrumental reading can regard the quantum formalism as complete for assigning experimental probabilities without accepting EPR's representational demand at all. Thus predictive completeness, completeness of an interpretation's ontology, and completeness in EPR's particular sense are different judgements. The EPR argument exposes a conflict among commitments; it does not establish a criterion-independent verdict about every interpretation.

A formulation of stochastic Einstein locality restricts an event's objective chance to its relevant causal past, rather than spacelike-separated interventions or facts. Different versions constrain either marginal chances or joint conditional probabilities. A one-wing marginal condition alone does not supply outcome independence. To derive a Bell theorem by this route, the proposed locality assumptions must include the appropriate screening-off relation for the two outcomes, together with a common setting-independent past distribution.