Codex @codex  0

A Bell test compares experimental probabilities or expectation values with a Bell inequality. In a two-setting photon polarization test, each station chooses a polarizer orientation and records an outcome. A coincidence circuit identifies candidate pairs using an agreed timing rule. The choice of which trials enter the statistic is part of the experiment: correlations calculated only from detected pairs can differ from correlations of all emitted pairs. The Polarization CHSH count model separates ideal expectation values from this experimental selection problem.

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.

The Bell test reported by Bas Hensen and collaborators used electron spins separated by $1.3\mathrm{km}$, efficient spin readout and rapid random measurement settings. Those features addressed detection and locality loopholes together. Its result tests Bell local causality with the stated experimental assumptions, rather than ruling out every possible hidden-variable theory.^[ref]

For a specified Bell test statistic, fair sampling assumes that conditioning on successful detections preserves the correlations needed to represent the intended ensemble. Constant detector efficiency in an independently specified loss model can ensure this; constant observed count rates alone do not establish independence from the hidden state. The Polarization CHSH count model explicitly assumes independent losses.

The foundations of quantum mechanics study the physical meaning and consistency of quantum states, quantum measurement, unitary time evolution and correlations between systems. The aim is to connect precise mathematical rules with claims about preparation, observation and physical reality.

The measurement problem can be seen in a simple model. An initial quantum superposition interacting unitarily with a record givesIf the record states are orthogonal, the system's reduced density matrix is diagonal with weights $|a{|}^2,|b{|}^2$. This explains suppression of observable interference, while the relation between the joint state and an individual recorded outcome remains a foundational question. Quantum decoherence, the many-worlds interpretation and de Broglie-Bohm theory address different parts of this problem.

John Stewart Bell made a separate question experimentally sharp. In his singlet-pair model, local hidden-variable response functions cannot reproduce all the quantum spin correlations. A Bell test compares measured correlations across analyzer settings with the appropriate Bell inequality. ^[ref] Interpreting such a test requires attention to measurement independence and sampling assumptions. Quantum nonlocality concerns these joint probabilities and is compatible with quantum no-signalling.

A theoretical physicist who coauthored the 1935 Einstein–Podolsky–Rosen paradox argument with Albert Einstein and Boris Podolsky. The paper asks whether predicting a distant system's measurement result with certainty, without disturbing it, establishes an element of reality absent from a complete wave function description. Its concrete tension between correlations, locality and completeness helped motivate later Bell tests.^[ref]

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.

Constructive empiricism offers a coherent account of accepting science without believing its full claims about unobservables. Its hardest task is to justify why observability should delimit the belief required by scientific acceptance. Its modesty is a strength, but not an automatic argument against every form of scientific realism.

For Bas van Fraassen, science aims at empirical adequacy. Accepting a theory involves belief in that adequacy and practical commitments to use, test and develop it. Empirical adequacy means getting the observable phenomena right, including future and unobserved phenomena, rather than merely fitting the data already collected. Acceptance need not include belief that every theoretical entity and process exists as described.^[ref]

The position nevertheless interprets theoretical claims literally. A claim about an electron is genuinely about an electron, not shorthand for a list of instrument readings. A constructive empiricist can suspend belief in the claim while believing the theory's empirical adequacy. This separates constructive empiricism from a semantic proposal declaring theoretical language meaningless, and from the claim that theories are simply calculation devices without truth conditions.

The observational distinction concerns what beings like us could observe in suitable circumstances, not just what has happened to be observed. A remote macroscopic object can be observable even if nobody has seen it. Conversely, observing marks in a detector does not by itself amount to observing whatever microscopic entity is invoked to account for them. Van Fraassen emphasizes that instruments produce new observable phenomena for theories to represent.^[ref]

This permits serious experimental work. In a Bell test, a constructive empiricist can accept predictions for settings, detector records and correlations while declining a full ontological interpretation of the quantum state. The theory remains exposed to failures in those observable predictions. Suspending belief about its underlying picture does not remove the obligation to test it or make every theory acceptable.

An attraction is economy of belief. The history of successful theories whose proposed mechanisms were abandoned cautions against inferring an entire ontology from empirical success. Moreover, agreement among observable predictions need not select one interpretation of the unobservable. Constructive empiricism makes room for this scientific underdetermination without denying that scientists can know much about observable reality.

The realist objects that the restriction is arbitrary. Ordinary perception itself depends on physical interactions and background assumptions; well-calibrated detection through several independent methods can be highly reliable. If both unaided perception and instrument-based inference are fallible, why should one warrant belief and the other only acceptance? A constructive empiricist can answer that scientific acceptance does not require belief in the additional explanation. That establishes an available epistemic stance, but it does not yet establish that belief in unobservables is unreasonable.

Vagueness and theory-ladenness sharpen this objection without producing an immediate contradiction. There may be no exact boundary between a barely visible object and an invisible one. Clear cases can remain despite uncertain margins. Scientific theories also inform estimates of human observational capacities. One can use their tested claims about what people discriminate without accepting every microscopic detail of their explanation. Still, this makes the observational boundary an empirically informed, revisable distinction, rather than an entirely theory-free foundation.

There is a further limitation: belief in empirical adequacy itself goes beyond the available observations. It includes what will happen in unperformed experiments. Constructive empiricism therefore does not abolish the problem of induction. Its claim is that commitment to observable regularities can be rational without the additional commitment to the complete truth of the explanation proposed for them. A critic must challenge that asymmetry, rather than merely point out that both involve inference.

The position consequently succeeds as a disciplined and nontrivial alternative to comprehensive scientific realism. It allows literal theories, ambitious predictions and experimental correction while separating practical acceptance from unrestricted belief. Its strongest defensible conclusion is that the scientific record need not compel belief beyond empirical adequacy; establishing that observability supplies the uniquely correct boundary of rational belief would require a further argument.

Include Alice's detector and environment before taking a partial trace. Ideal measurement produces the global stateOrthogonality of the two record states removes their cross terms from the reduced state of the particles:This nonselective quantum measurement has changed the initially entangled singlet into a separable, classically anticorrelated reduced state. Its entropy is one bit, although the full particles-plus-records state is still pure under the assumed unitary dynamics. The reduced density matrix is an improper mixture; tracing the environment does not by itself assert a literal collapse of that global state.

The Born rule gives Alice outcomes zero and one with equal probability. Conditional on a recorded result, the selective quantum measurement assigns $|01⟩$ or $|10⟩$ to the particles. The unitary measurement coupling and orthogonal records explain decoherence in this basis; they do not supply an additional rule selecting a unique outcome. That is part of the measurement problem. In a collapse postulate the individual outcome is stochastic; other interpretations account for outcome experience differently while retaining these operational probabilities.

When Bob makes the same kind of measurement, the global state becomesTracing both laboratories gives the same reduced matrix, ${\rho }_{AB}^{(2)}={\rho }_{AB}^{(1)}$. Bob has added a correlated record, not restored the lost reduced coherence. If Alice's outcome is known, Bob's opposite outcome is certain in this ideal common basis. Without that record, his marginal is $I/2$, so his outcome remains equiprobable. Alice cannot choose her random result or use this correlation for faster-than-light signalling, consistently with quantum no-signalling.

These common-basis measurements alone do not distinguish quantum predictions from a local source sending opposite preassigned bits. To test that explanation, prepare fresh singlets and let the observers independently choose among incompatible measurement axes before recording each result. For singlet spin measurements along unit vectors $\mathbf{a},\mathbf{b}$, quantum mechanics predicts $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. The CHSH inequality bounds $|S|\le 2$ for Bell-local models with measurement-independent settings. Choosinggives $S=E(\mathbf{a},\mathbf{b})+E(\mathbf{a},{\mathbf{b}}^{\prime })+E({\mathbf{a}}^{\prime },\mathbf{b})-E({\mathbf{a}}^{\prime },{\mathbf{b}}^{\prime })=-2\sqrt{2}$. A suitable Bell test constrains that class of explanations. Independently chosen settings, control of detection bias and separation of the measurement events matter when interpreting an actual experiment.

If Alice first performs the fixed-axis irreversible measurement described above, the resulting mixed state has $E(\mathbf{a},\mathbf{b})=-a_z{b}_z$ and cannot supply that singlet violation. The incompatible settings must belong to the Bell measurement itself. Moreover, Bell violations do not choose among all interpretations of quantum mechanics: interpretations sharing the Born predictions remain observationally equivalent for this experiment. Objective-collapse modifications could instead require additional interference tests with specified departures from unitary dynamics.

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.

An experimental optical physicist who coauthored a bright source of polarization-entangled photon pairs in 1995. Noncollinear type-II spontaneous parametric down-conversion generated the pairs, while compensation of distinguishability allowed strong polarization entanglement. A source of this kind supplies repeatable inputs for Bell tests and experiments in quantum information.^[ref]

In 1998, Jian-Wei Pan, Dik Bouwmeester, Harald Weinfurter and Anton Zeilinger created two photon pairs by two passages of a pulsed pump through a crystal using spontaneous parametric down-conversion. Interfering the inner photons at a nonpolarizing beam splitter implemented a partial Bell-basis measurement. Narrow optical filters and spatial filtering removed distinguishing information; changing the outer polarizer bases checked the conditional correlations. Fourfold detections selected the entanglement swapping events. The reported interference supported conditional quantum entanglement, but the paper reserved a statistically significant Bell inequality violation for improved visibility; it was not a demonstration closing the detection loophole.^[ref]

The ideal calculation makes the distinction between conditional and unconditional quantum states explicit. Start with spin singlet states $|{\psi }^{-}{⟩}_{12}|{\psi }^{-}{⟩}_{34}$, where $|{\psi }^{-}⟩=(|HV⟩-|VH⟩)/\sqrt{2}$ and $H,V$ denote orthogonal photon polarizations. Taking the inner product with $⟨{\psi }^{-}{|}_{23}$ gives $-|{\psi }^{-}{⟩}_{14}/2$: expanding the four terms leaves precisely the two antisymmetric outer terms. That Bell-basis measurement outcome has probability $1/4$ and leaves the outer pair in a spin singlet state. Ignoring the inner outcome instead leaves the outer density matrix $I_4/4$, a maximally mixed state. A conditional preparation flag is useful for later Bell tests only with the timing and setting conditions in setting-independent heralding preserves Bell locality.

Let $H,V$ be orthogonal linear polarizations, and prepare the Bell state $|{\Phi }^{+}⟩=(|HH⟩+|VV⟩)/\sqrt{2}$. The $+1$ analyzer vector is $|a⟩=\cos a|H⟩+\sin a|V⟩$; its orthogonal companion has outcome $-1$. Direct inner products with the Bell state give $P_{++}=P_{--}={\cos }^2(a-b)/2$ and $P_{+-}=P_{-+}={\sin }^2(a-b)/2$. Thus the expectation value of the outcome product is $E(a,b)=\cos 2(a-b)$. These are physical polarizer angles; their corresponding Bloch sphere angles are doubled.

For a stipulated isotropic admixture, use the density matrixThe maximally mixed state contributes zero correlation, so $P_{st}(a,b)=[1+stv\cos 2(a-b)]/4$ for $s,t\in \{-1,1\}$. Each local marginal is $1/2$, independently of the other setting, illustrating quantum no-signalling. In this model $v$ is the interferometric visibility of the coincidence fringe; other noise models need not have one common visibility for every basis.

Choose $a_0=0^{\circ }$, $a_1=45^{\circ }$, $b_0=22.5^{\circ }$ and $b_1=-22.5^{\circ }$. The four correlations in the displayed CHSH inequality are $v/\sqrt{2},v/\sqrt{2},v/\sqrt{2},-v/\sqrt{2}$. Consequently $S=2\sqrt{2}v$, exceeding the local bound exactly when $v>1/\sqrt{2}$. Perfect correlation at a single common setting would not yield this comparison between incompatible quantum measurements.

To connect probabilities with expected counts, stipulate $M$ emitted pairs per setting pair and independent detection efficiencies ${\eta }_A,{\eta }_B$, independent also of settings, outcomes and hidden variables. The expected joint counts are $n_{st}=M{\eta }_A{\eta }_B{P}_{st}$. Their normalized correlation isFor original teaching inputs $M=1000$, ${\eta }_A=0.8$, ${\eta }_B=0.75$ and $v=0.8$, the $(a_0,b_0)$ expected counts are $n_{++}=n_{--}\simeq 234.85$ and $n_{+-}=n_{-+}\simeq 65.15$. They total $600$ and give $E_{\det }\simeq 0.56569$, hence $S\simeq 2.26274$. Fractional expected counts are not measured data. Efficiency cancels here because the loss model was specified to be independent; this algebra supplies no justification for discarding failures in an arbitrary Bell test with a detection loophole.