Codex @codex  0

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 Einstein–Podolsky–Rosen paradox begins with correlations enabling certain predictions about one system from alternative measurements on a separated partner. Its EPR criterion of reality promotes certainty without disturbance to a sufficient condition for an element of reality. Together with a locality premise, the alternative position and momentum predictions motivate simultaneously real quantities not represented by one standard quantum state. The intended conclusion is incompleteness, not a mathematical inconsistency of the predictions.^[ref]

Niels Bohr challenges the inference from absence of mechanical disturbance to a context-independent assignment of reality. He accepts that there is no mechanical disturbance of the distant system at the relevant stage. His response invokes the experimental conditions defining the possible predictions: arrangements establishing a spatial reference and arrangements enabling a momentum balance are complementary. On this view, changing the local measurement changes the whole phenomenon to which a definite property attribution belongs. It does not remotely kick the other particle. His diaphragm discussion illustrates why specifying the apparatus and its reference frame is part of the physical claim.^[ref]

A spin singlet state gives a clean reconstruction. Its state isHere $|0_x⟩=|+⟩$ and $|1_x⟩=|-⟩$; the minus sign is an irrelevant overall quantum phase. Measuring the first spin along either axis predicts the other's same-axis outcome with certainty. But the two alternative local quantum measurements define different conditional ensembles. Averaging over the unread outcome leaves the distant reduced density matrix $I/2$ in both cases. The contrast between conditional prediction and the unchanged distant marginal is quantum steering together with quantum no-signalling.

This explains how consistent quantum predictions can coexist with the absence of an operational remote disturbance. It also identifies what a Bohrian rejection of the EPR inference amounts to: certainty in alternative contexts does not license combining the corresponding property attributions into one context-independent account. Merely invoking the Heisenberg uncertainty principle would not suffice, since EPR specifically argued that locality permits the attribution before any incompatible distant measurements are jointly attempted.

The reply is satisfactory as an articulation of quantum complementarity, but not a demonstration that the EPR locality premise and completeness are jointly sustainable. The critic can distinguish a change in our permissible predictions from a change in the distant physical condition. If the latter really is unchanged, why must the alternative predictions not reveal pre-existing properties? Bohr's contextual standard rejects that demand rather than deriving its impossibility from neutral premises. Later Bell inequalities sharpen the issue: quantum no-signalling does not imply Bell local causality. A satisfactory contemporary account should acknowledge this difference, rather than crediting Bohr with a proof of Bell-local completeness or interpreting his reply as faster-than-light mechanical influence.

Quantum mechanics is compatible with quantum no-signalling, but its full correlations are incompatible with Bell local causality under the usual additional assumptions. The answer depends on which locality condition is meant. A local operational prohibition on controllable faster-than-light communication is weaker than a causal explanation of correlations by a complete shared past.

Let $a,b\in \{-1,1\}$ be outcomes, $x,y$ local settings and $\lambda$ a complete relevant past specification. Bell factorization and measurement independence demandNeither assumes deterministic response. Put $A_x(\lambda )={\sum }_{a}ap(a|x,\lambda )$ and similarly $B_y$, so $|A_x|,|B_y|\le 1$. Pointwise,Averaging with the same $\rho$ for all settings gives the CHSH inequality $|E_{00}+E_{01}+E_{10}-E_{11}|\le 2$. For a spin singlet state, $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. Choose ${\mathbf{a}}_0=\hat{z}$, ${\mathbf{a}}_1=\hat{x}$, ${\mathbf{b}}_0=(\hat{z}+\hat{x})/\sqrt{2}$, ${\mathbf{b}}_1=(\hat{z}-\hat{x})/\sqrt{2}$; the magnitude becomes $2\sqrt{2}$. Thus the assumptions cannot all be maintained.^[ref]

There is nevertheless no signalling contradiction. If a local unread measurement has Kraus operators $M_a$ with ${\sum }_a{M}_a^{†}{M}_a=I$, thenThe equality follows by testing both sides against any distant observable and using cyclicity of the trace. Distant conditional states can differ after selecting $a$, but communicating that selection needs an ordinary message. The microcausality condition in quantum field theory similarly ensures commutation of spacelike-separated local observables; it does not make the vacuum or other entangled quantum states Bell-factorizable.

One can preserve different notions of locality by changing premises. Bohmian mechanics retains unique outcomes but its guidance equation is nonlocal for entangled systems; quantum equilibrium equivariance preserves the equilibrium distribution which masks that dependence from signalling. The many-worlds interpretation can combine local interaction equations with no unique global outcome, but a claim of locality must explain its branch-relative correlations; it has not thereby constructed the above Bell-local single-outcome model. The measurement-independence loophole, including suitable retrocausal or correlated-setting models, drops the shared setting-independent $\rho$ premise. Such models are logical possibilities, not demonstrations that the ordinary locality assumptions survive unchanged.

The justified answer is therefore conditional rather than an unqualified yes or no. Operational locality is retained by the quantum formalism. A theory reproducing all its correlations cannot retain Bell factorization, independent settings and the ordinary joint-outcome framework together. Neither denial of hidden variables nor an appeal to relativity alone removes the probabilistic contradiction.

angular momentum generates rotations. Its components obey $[J_i,J_j]=i\hslash {ϵ}_{ijk}{J}_k$, and $J^2$ commutes with each component. A compatible basis has $J^2={\hslash }^{2}j(j+1)$ and $J_z=m\hslash$, where $m=-j,-j+1,\dots ,j$. ladder operators change $m$ by one, terminate at $\pm j$, and give $2j+1$ magnetic substates. Different Cartesian components generally cannot all be sharp simultaneously.

orbital angular momentum is $\mathbf{L}=\mathbf{r}\times \mathbf{p}=-i\hslash \mathbf{r}\times \nabla$. Its angular eigenfunctions are spherical harmonics, with integer $\ell$ arising from their spatial rotation properties and single-valuedness. spin is intrinsic angular momentum, not literal rotation of a finite charged sphere. It may be half-integer; spin $1/2$ is represented by $\mathbf{S}=\hslash \mathbf{\sigma }/2$. For several contributions, $\mathbf{J}=\mathbf{L}+\mathbf{S}$ obeys the same algebra. Coupling angular momenta $j_1,j_2$ permits $J=|j_1-j_2|,\dots ,j_1+j_2$, with Clebsch-Gordan coefficients relating product and coupled bases. spin-orbit coupling can distinguish these total-angular-momentum sectors.

The Stern-Gerlach apparatus sends a collimated neutral atomic beam through an inhomogeneous magnetic field and records its deflection. A magnetic moment experiences $F_z\simeq {\mu }_z\partial B_z/\partial z$; field uniformity would produce precession but no analogous net separating force. A classically continuous distribution of moment orientations would broaden the beam continuously. Gerlach and Stern instead observed separated silver-beam components. Reversing or removing the field and comparing the undeflected profile controls the magnetic origin; collimation, velocity spread and finite resolution affect the spots. The original experiment demonstrated space quantization; its modern silver interpretation uses the unpaired electron spin with nearly zero orbital angular momentum, rather than a direct measurement of a free electron's trajectory.^[ref]

For two spin-$1/2$ particles, the triplet state sector has $S=1$ and symmetric spin statesThe spin singlet state has $S=0$ and antisymmetric spin stateTheir total $S^2$ values are $2{\hslash }^2$ and zero, while ${\mathbf{S}}_1\cdot {\mathbf{S}}_2$ has values ${\hslash }^2/4$ and $-3{\hslash }^2/4$. The singlet is rotationally invariant and gives anticorrelated spin measurements along a common axis. For identical fermions the complete state is antisymmetric: a symmetric spatial state pairs with a singlet spin state, whereas an antisymmetric spatial state pairs with triplet spin. Orbital, spin and coupled angular momenta share an algebra, but their physical origins and allowed representations differ.

identical particles have the same intrinsic properties, including mass, charge and spin. Their labels are bookkeeping devices rather than measurable identities. When wave functions overlap, quantum mechanics supplies no observable trajectory that permanently identifies “particle 1” independently of “particle 2”. A many-particle description must therefore treat exchange consistently. The Hamiltonian and physical observables are invariant under relabelling identical particles.

For two particles, the exchange operator obeys ${\hat{P}}_{12}^2=\hat{I}$. The usual three-dimensional symmetrization postulate selects states symmetric under exchange for bosons and antisymmetric for fermions. In relativistic quantum theory, the Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions under its locality and positivity assumptions; the connection is not derived merely from ${\hat{P}}_{12}^2=\hat{I}$ in elementary nonrelativistic mechanics. For orthonormal one-particle states $u$ and $v$, the two-particle spatial combinations areThe sign concerns the complete state, including spin and other internal variables, not necessarily the spatial factor alone.

The antisymmetric state vanishes if both fermions occupy the same one-particle state: this is the Pauli exclusion principle. For $N$ fermions in orthonormal spin orbitals ${\chi }_j$, the normalized Slater determinant $\Psi =(N!{)}^{-1/2}\det [{\chi }_j(i)]$ supplies the required exchange sign. Bosonic occupation has no corresponding upper limit, and symmetrized products describe many bosons. Fermionic occupation is zero or one per complete one-particle state; two electrons can still occupy the same spatial atomic orbital with opposite spin.

Spin and spatial symmetry are linked. A two-electron spin singlet state is antisymmetric, so its spatial factor must be symmetric. A symmetric triplet state instead requires an antisymmetric spatial factor. Exchange then changes pair correlations and the energies available when interactions depend on particle separation, even without introducing a new classical “exchange force”. It contributes to atomic shell structure, bonding and magnetic behaviour.

In an occupation-number description, bosonic creation and annihilation operators satisfy $[{\hat{a}}_i,{\hat{a}}_j^{†}]={\delta }_{ij}$, whereas fermionic operators satisfy $\{{\hat{c}}_i,{\hat{c}}_j^{†}\}={\delta }_{ij}$ and anticommute among themselves. The latter imply $({\hat{c}}_i^{†}{)}^2=0$. This formalism implements the same exchange constraints without assigning permanent particle labels.

For noninteracting particles in thermal equilibrium, the mean occupation of a state of energy $ϵ$ isFermi-Dirac statistics produces a filled Fermi sea at zero temperature and degeneracy pressure; Bose-Einstein statistics permits macroscopic Ground state occupation when the density of available states and thermodynamic conditions allow condensation. The different statistics therefore have measurable collective consequences, not just different notation.^[ref]

When phase-space occupation is dilute, both distributions reduce to the Maxwell–Boltzmann statistics limit. Likewise, well-separated localized wave packets have negligible overlap and small exchange corrections, so effectively labelled classical trajectories can become a useful approximation. In two spatial dimensions more general exchange statistics are possible; the standard boson/fermion account here concerns ordinary three-dimensional particles and their total states.

For an infinite cubic potential well of side $L$, the one-particle energy eigenvalues are $E_{n_x{n}_y{n}_z}=E_0(n_x^2+n_y^2+n_z^2)$, where $E_0={\pi }^2{\hslash }^2/(2m{L}^2)$ and each quantum number is a positive integer. The lowest spatial orbital is $(1,1,1)$, with energy $3E_0$ and orbital degeneracy one. The next energy is $6E_0$, with three orbitals given by permutations of $(2,1,1)$.

Spin-zero identical particles are bosons. Both can occupy the lowest orbital, so the two-boson ground state is nondegenerate. The first excited total energy is $9E_0$: one particle occupies the lowest orbital and one an excited orbital. Symmetrizing the two-particle wavefunction gives one state for each of the three excited orbitals, so the first-excited degeneracy is three.

Spin-half identical particles are fermions, so the total state must be antisymmetric. Two particles in the same lowest orbital have a symmetric spatial wavefunction and must form the unique spin singlet state. Thus the fermion ground state is also nondegenerate. At the first excited energy, each choice of excited spatial orbital permits a symmetric spatial state with a singlet state, or an antisymmetric spatial state with a three-dimensional triplet state. ThereforeThe spin multiplicity is essential: counting only the three orbital choices would omit allowed triplet states. The result assumes ordinary spin-statistics, an unsplit spin degeneracy and the hard-wall cube model.

The spin singlet state has zero local means and outcomes $X,Y\in \{+1,-1\}$, so both variances are one. Its Pearson correlation coefficient is therefore $C=\mathbb{E}[XY]$. Summing over the four joint outcomes givesThe equal-sign products contribute $+1$ and the opposite-sign products contribute $-1$. In a finite sample the corresponding relative frequencies estimate these probabilities; the formula is not an assertion that a finite random sample has exactly zero empirical means.

A spin measurement along unit vector $\mathbf{a}$ has outcome projector ${\Pi }_s(\mathbf{a})=(I+s\mathbf{a}\cdot \mathbf{\sigma })/2$, with $s=\pm 1$. The spin singlet state obeys $⟨{\sigma }_i\otimes I⟩=⟨I\otimes {\sigma }_i⟩=0$ and $⟨{\sigma }_i\otimes {\sigma }_j⟩=-{\delta }_{ij}$. Applying the Born rule,Thus $P_{++}=P_{--}=(1-\mathbf{a}\cdot \mathbf{b})/4$ and $P_{+-}=P_{-+}=(1+\mathbf{a}\cdot \mathbf{b})/4$. Substitution into part (a) givesEqual axes give perfect anticorrelation, while orthogonal axes give zero correlation. Each local marginal remains uniform.

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.

For local dichotomic outcomes define $A(a,\lambda ),B(b,\lambda )=\pm 1$ and a setting-independent normalized distribution $\rho (\lambda )$. At each $\lambda$,because exactly one bracket vanishes and the other is $\pm 2$. Integrating and using the triangle inequality yieldsFor stochastic local response functions the same bound follows by replacing outcomes with conditional means in $[-1,1]$, or by including local randomness in $\lambda$. The important locality condition is factorization of joint conditional outcome probabilities, together with independence of the setting distribution and $\lambda$.

The spin singlet instead predicts $E(a,b)=-a\cdot b$. Two orthogonal directions at one wing and directions halfway between them at the other give $|S|=2\sqrt{2}$. Therefore reproducing the quantum predictions requires giving up at least one of the stated premises. In the perfect-anticorrelation version, $B(a,\lambda )=-A(a,\lambda )$ gives Bell's three-setting form $|E(a,b)-E(a,c)|\le 1+E(b,c)$ by the same algebra.

This does not establish that all deterministic or hidden-variable theories are impossible: nonlocal guidance is a counterexample to that reading. Nor does it equate Bell locality with no-signalling; averaging quantum outcomes can preserve setting-independent local marginals despite nonfactorizing correlations. The theorem is significant because it turns a local-completeness dispute into incompatible quantitative correlation bounds, not because it refutes every possible meaning of physical reality.^[ref]

Bell's theorem makes precise an obstruction to reproducing quantum correlations with a local causal completion. Let measurement settings be $a,b$, outcomes $A,B=\pm 1$ and a more complete state $\lambda$. Bell locality factorizes $P(A,B|a,b,\lambda )=P(A|a,\lambda )P(B|b,\lambda )$; setting independence takes the distribution of $\lambda$ to be independent of the freely chosen settings. These assumptions imply a Bell inequality. For example deterministic assignments satisfy $|A(B+B^{\prime })+A^{\prime }(B-B^{\prime })|\le 2$, and averaging gives the CHSH bound $|S|\le 2$. The stochastic version follows by averaging local response probabilities too.

An entangled spin singlet predicts $E(a,b)=-a\cdot b$ and suitable four directions give $|S|=2\sqrt{2}$. Thus the quantum predictions are incompatible with the stated local model, not merely with an unnecessarily specific mechanical hidden-variable proposal. Perfect anticorrelation in the EPR argument had motivated inferring pre-existing properties from remote predictions under locality and a completeness criterion. Bell shows that retaining such a local completion cannot recover the broader quantum correlation pattern.

It would overstate the result to say that it proves the impossibility of every hidden-variable theory. Bohmian mechanics supplies a nonlocal example, and rejecting setting independence or changing the causal model changes the theorem's premises. It would also be wrong to equate Bell locality with operational no-signalling. Quantum outcome probabilities at either wing can remain independent of the distant setting after averaging, even though the joint correlations have no local factorized explanation.

The theorem therefore sharpens the EPR dilemma: one cannot preserve all of the local causal assumptions and the quantum predictions. Empirical Bell violations bear on that conjunction. They do not alone choose one interpretation, make controllable superluminal communication available, or settle every philosophical sense of “realism.”^[ref][ref]

The superconducting order is a coherent pair amplitude, schematically $\Delta \propto ⟨c_{\downarrow }{c}_{\uparrow }⟩=|\Delta |e^{i\varphi }$. Under a global fermion phase change $c\mapsto e^{i\alpha }c$, it acquires phase $2\alpha$. A symmetry-broken thermodynamic description selects a pair phase. This must be distinguished from electromagnetic gauge freedom: a local gauge transformation changes the phase and potentials together and is a redundancy of the description, not an observable symmetry that the material literally violates.

A conventional centrosymmetric s-wave superconductor usually has an even-parity orbital pair state and a spin singlet state, consistent with the antisymmetry of two fermions. Its ordinary zero-field equilibrium state preserves time reversal. The electromagnetic coupling makes phase dynamics and screening part of the Anderson-Higgs mechanism in a superconductor; the Meissner effect is a measurable consequence. The condensate phase description does not imply that electric charge is no longer conserved.

In an unconventional superconductor, the gap can transform nontrivially under the crystal point group or have other nonstandard pairing structure. A common example is d-wave superconductivity, with sign changes and possible nodes in the gap. This does not automatically imply an additional observable fourfold-rotation breaking: a rotation that reverses the gap's sign can be accompanied by a gauge phase change. A nematic superconducting state instead breaks an actual crystal rotation symmetry in its gauge-invariant responses.

A chiral combination such as $p_x+i{p}_y$ can break time reversal, while a spin-triplet order parameter can also distinguish spin directions when the applicable spin-rotation and spin-orbit constraints permit it. Helium-3 superfluidity illustrates paired-fermion order with richer spin and orbital structure. These possibilities must be tested rather than equated: unconventional pairing does not by itself mean spin-triplet pairing, time-reversal breaking, or nematicity. Gap angular dependence, phase-sensitive interference, spin response and spontaneous magnetic signatures probe different symmetry questions. The phase-sensitive test of d-wave pairing is more specific than inferring a gap sign merely from its magnitude.

The literal printed difference is zero, because the same spin-index product appears twice, and zero is invariant under every transformation. The intended SU(2)-invariant antisymmetric spinor contraction uses opposite indices in the second term. With $\epsilon =\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, define $I={\varphi }^T\epsilon \chi$. For any two-by-two matrix,Thus for $U\in SU(2)$,Expanding the determinant identity proves the result without complex conjugating either spinor. This is the invariant alternating tensor behind the spin singlet state. If the two spinors are identical, the contraction vanishes. An antisymmetric internal two-boson state also needs an antisymmetric additional degree of freedom for overall bosonic symmetry; it does not lie in the fully symmetric fixed-two-mode sector discussed above.

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.

Quantum magnetism studies collective magnetic behavior in which quantum spin states, noncommuting observables and quantum fluctuations matter. A lattice of local spins can be modeled by a Heisenberg model, whose exchange interaction favors particular relations between neighbours. Its states need not resemble a set of classical arrows pointing in definite directions.

A two-spin spin singlet state illustrates the difference: it has zero total spin while retaining nontrivial spin correlations, rather than two independently known opposite arrows. Large ordered magnets can support spin waves, whereas strong quantum fluctuations can invalidate an expansion around a chosen ordered state. Measurements of magnetic susceptibility, heat capacity and excitation spectra probe different aspects of the same interacting system. The subject is therefore about both collective order and correlated states that resist a simple ordered reference picture.

Spin-triplet p-wave pairing has pair spin $S=1$ and orbital angular momentum $L=1$, allowing multiple order parameters beyond conventional BCS theory with zero orbital angular momentum. ^[ref]

Specifying this symmetry does not determine its microscopic attraction mechanism. A short exchange-symmetry check explains why these quantum numbers fit fermions. The spin-one-half triplet states $|\uparrow \uparrow ⟩$, $(|\uparrow \downarrow ⟩+|\downarrow \uparrow ⟩)/\sqrt{2}$ and $|\downarrow \downarrow ⟩$ are symmetric under exchange. A stipulated orbital factor proportional to relative momentum $k_x$ changes sign under $\mathbf{k}\mapsto -\mathbf{k}$. Multiplying any symmetric spin function by that odd orbital factor gives an antisymmetric pair wave function, as required by Fermi-Dirac statistics. By comparison, an even s-wave orbital factor needs the antisymmetric spin singlet state. This checks compatibility with exchange statistics; it neither selects a stable phase nor derives its transition temperature.

For $\epsilon =\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, every two-by-two matrix satisfies $U^T\epsilon U=(\det U)\epsilon$. Thus ${\varphi }^T\epsilon \chi$ is exactly invariant under a common SU(2) group transformation. This is a bilinear contraction without complex conjugation. It vanishes for equal commuting spinors and is the alternating tensor defining the spin singlet state. Overall bosonic exchange symmetry must still be enforced if the spinors label identical particles.

This collective-unitary-invariant two-qubit state has singlet weight $p$ and equal weights on the three triplet Bell states. With $P_s$ the spin singlet state projector, its partial transpose has eigenvalues $(1-2p)/2$ once and $(1+2p)/6$ three times. It is entangled exactly when $p>1/2$. At $p=1/2$, it is the equally weighted mixture of six antiparallel product states along the three Pauli axes. In the interval $1/4\le p\le 1/2$, convex mixing of this boundary state with $I/4$ explicitly proves separability. The weight $p$ here is the singlet probability, not the alternative coefficient multiplying a pure singlet in a white-noise mixture.