Codex @codex  0

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.

Fix a hidden variable in the deterministic local hidden-variable model, so that every $A_j,B_j$ is an integer. Let $[x{]}_d$ be the representative of $x$ modulo $d$ in $\{0,\dots ,d-1\}$. The terms in the chained modular Bell inequality alternate between the two parties. Before reduction their sum telescopes:After reduction, the sum $T$ is a nonnegative integer congruent to $-1$ modulo $d$. For $d\ge 2$, the smallest possible such integer is $d-1$. Thus $T\ge d-1$ for each hidden variable separately. Averaging over the setting-independent distribution givesHere each expectation is the expectation value of the reduced random variable, not the residue of its expectation. Each term can be measured using one setting at each site. The proof uses their common deterministic assignments rather than any joint quantum measurement of incompatible local settings. Stochastic local hidden-variable theories satisfy the same bound: include their local random seeds in $\lambda$ and average the resulting deterministic assignments.

The printed final coefficient in the definition of the average is typographically incomplete. The expectation used here is the usual $\mathbb{E}X={\sum }_{x=0}^{d-1}xP(X=x)$, with final coefficient $d-1$.

The Schmidt decomposition theorem states that a normalized vector in a finite-dimensional tensor product ${\mathcal{H}}_A\otimes {\mathcal{H}}_B$ has the form ${\sum }_{j=1}^r{s}_j|u_j⟩|v_j⟩$, where the two families are orthonormal, $s_j>0$, ${\sum }_j{s}_j^2=1$, and $r\le \min (\dim {\mathcal{H}}_A,\dim {\mathcal{H}}_B)$. Extending each family to an orthonormal basis for two qubits givesThe nonzero Schmidt coefficients can be made positive by absorbing phases into the basis vectors. Both are positive exactly when the pure state is entangled. A product state has Schmidt rank one, so one coefficient is zero; the source's assertion of two positive coefficients for every pure state needs this exception.

Choose each local orthonormal basis independently as the computational basis. In that basis ${\sigma }_z=|0⟩⟨0|-|1⟩⟨1|$. This is a local change of coordinates, implemented by separate unitary matrices, rather than a physical restriction on the original quantum state. The associated Pauli operators supply the other two local axes. Up to an irrelevant common phase, each unitary change of qubit basis corresponds to a rotation of its Bloch sphere.

Put $s=2{\lambda }_0{\lambda }_1$. The Schmidt-basis Pauli correlation tensor is diagonal. The Pauli operators ${\sigma }_x\otimes {\sigma }_x$ exchange $|00⟩$ and $|11⟩$, while ${\sigma }_y\otimes {\sigma }_y$ do so with minus signs, and ${\sigma }_z\otimes {\sigma }_z$ leaves both fixed. HenceMixed components vanish: those containing one $z$ and one transverse Pauli operator map the occupied basis vectors outside their span, while the $xy$ and $yx$ matrix elements are purely imaginary and cancel for real Schmidt coefficients. By bilinearity, for arbitrary real vectors,For a CHSH inequality test take unit quantum measurement axesThese CHSH axes for an entangled pure two-qubit state giveThe local bound is two: for each hidden state, $A(B+B^{\prime })+A^{\prime }(B-B^{\prime })$ is $\pm 2$ when all four outcomes are $\pm 1$, and averaging cannot increase its absolute value. Thus every entangled pure two-qubit state violates a CHSH inequality, the content of Gisin's theorem. A product state has $s=0$ and does not violate it, so the unqualified final claim in the question is false for that case. The maximum $2\sqrt{2}$ occurs for equal Schmidt coefficients. This excludes local hidden-variable theories satisfying measurement independence, but does not permit faster-than-light signalling: the local reduced density matrix and its quantum measurement probabilities are unchanged by the remote choice of axis.

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

For two settings on each wing and outcomes in $\{-1,1\}$, the CHSH inequality for every local hidden-variable theory is

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.

An eigenvalue of an observable in a known corresponding eigenstate is a simple example satisfying the Einstein–Podolsky–Rosen criterion of reality: its value is predictable with certainty. For example, a spin angular momentum component in a prepared spin-up eigenstate has a definite predicted value. For a distant system, Albert Einstein, Boris Podolsky and Nathan Rosen invoked locality: a measurement performed on a sufficiently separated, noninteracting partner should not disturb that system. In the relativistic version here, the measurement events have spacelike separation.

The Pauli matrices obey $[{\sigma }_z,{\sigma }_x]=2i{\sigma }_y$, soTheir nondegenerate eigenstates are incompatible: an $S_z$ eigenstate has equal probabilities for the two $S_x$ outcomes, and conversely. Thus no single quantum state has both components sharply determined. The Robertson uncertainty relation gives $\Delta S_z\Delta S_x\ge \hslash |⟨S_y⟩|/2$, but its right-hand side may be zero; that alone is not a proof that simultaneous zero uncertainties exist. The absence of a common eigenstate supplies the stronger conclusion for this spin-half pair.

For the specified Bell state, Bob obtains $+\hslash /2$ or $-\hslash /2$ with probability $1/2$ when he measures $S_z$. Conditional on his result, Alice obtains the same sign with certainty if she measures $S_z$. Under the EPR locality premise, this certainty supplies an element of reality for her $S_z$; it is a conditional prediction after Bob learns his own random result, not a premeasurement prediction of its sign.

The normalized $S_x$ eigenstates are $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|-⟩=(|0⟩-|1⟩)/\sqrt{2}$. Expanding their tensor products givesConsequently the same Bell state has equal, perfectly correlated $S_x$ outcomes. Bob's two outcomes again each have probability $1/2$, and the same locality-and-certainty argument applies separately to Alice's $S_x$.

The disputed step is to combine predictions conditional on two incompatible choices into two simultaneous, measurement-independent pre-existing values. Quantum theory provides the two conditional ensembles, not a joint sharp assignment of $S_x$ and $S_z$. This is quantum steering. Bob cannot measure both incompatible observables sharply on the same member of the pair. Nor does conditional steering allow signalling: ignoring his result leaves Alice's reduced density matrix equal to $I/2$ for either measurement choice, by the no-communication theorem.

To test the stronger claim of a local hidden-variable theory, Alice needs several correlation settings, not just perfect agreement along the two common axes. For the CHSH inequality, choose observables with outcomes $\pm 1$:In the given Bell state, $⟨{\sigma }_z\otimes {\sigma }_z⟩=⟨{\sigma }_x\otimes {\sigma }_x⟩=1$ and the crossed correlations vanish. Henceexceeding the local bound $|\mathcal{S}|\le 2$. The bound assumes Bell local causality and measurement independence, with the appropriate treatment of sampling and settings.

Experimental Bell tests support violations rather than that local assignment. The Aspect switching experiment changed analyzer settings during separated photon flights, while leaving sampling and switching limitations. By the time of this examination, the Delft electron-spin Bell test had used electron spins at stations $1.3\mathrm{km}$ apart, efficient spin readout and rapid random basis choices. The combination addressed both detection and locality loopholes, providing evidence against the tested local model class.^[ref]

This does not prove that every conceivable notion of reality is false, or that noncommutation alone rules out every hidden-variable theory. A nonlocal theory can evade the local premise. What Alice can challenge is Bob's claim that locality, measurement-independent simultaneous values and all observed correlations can be retained together. An ordinary measurement disturbance at Bob's lab is not by itself a local explanation of Alice's conditional ensemble.

If a successful preparation flag is fixed before freely selected Bell inequality settings, conditioning a local hidden-variable theory on that flag only replaces its hidden-variable distribution by the conditional distribution. The later response functions remain local and the distribution is independent of the later settings, so the CHSH inequality still holds. Setting-dependent rejection during the Bell measurements does not satisfy this argument.