Entanglement in Foundations

Entanglement sits at the center of many foundational debates because it separates the state of a composite system from any simple list of independent local properties. The same formal facts behind partial traces, Bell states, conditional states, and EPR-like correlations become the input to arguments about locality, completeness, hidden variables, steering, no-signaling, and measurement.

This page is a bridge. It owns the state-theoretic map: which entangled states are being used, which reduced states and conditional states appear, and which algebraic facts underlie no-signaling. No-Cloning and No-Signaling owns the operational theorem and communication consequences. This page does not own the full EPR argument, Bell-inequality derivations, loophole analysis, interpretations of quantum mechanics, or decoherence machinery. Those topics belong in foundations, measurement, and open-systems treatments.

The guiding distinction is:

$$\text{entangled state} \quad\neq\quad \text{Bell theorem} \quad\neq\quad \text{interpretation of measurement}.$$

The first is a structural fact about a vector or density operator. The second is a theorem about correlations under explicit locality and hidden-variable assumptions. The third concerns what, if anything, should be added to the quantum state-update formalism.

What This Page Owns

This page owns:

• Bell states and EPR-like states as examples of entangled states;
• reduced-state and conditional-state algebra behind no-signaling;
• the distinction between entanglement, steering, Bell nonlocality, and measurement update;
• the measurement-premeasurement model as entanglement with an apparatus;
• careful boundaries for later foundations pages.

It does not own:

• the full historical EPR argument;
• derivations of CHSH or other Bell inequalities;
• experimental loophole analysis;
• hidden-variable model taxonomy;
• the measurement problem as an interpretive problem;
• decoherence calculations or environment-induced superselection.

This boundary matters because the same formulas are often used in more than one debate.

EPR Pairs as State Examples

In discrete variables, a standard EPR-pair example is the Bell state

$$\lvert\Phi^+\rangle = \frac{1}{\sqrt2} \left( \lvert00\rangle+\lvert11\rangle \right).$$

Its one-qubit reduced states are

$$\rho_A = \rho_B = \frac12 I.$$

Locally, neither subsystem has a definite computational-basis value. Jointly, the state has perfect same-outcome correlations in the computational basis and in the $x$ basis. The coherence between $\lvert00\rangle$ and $\lvert11\rangle$ is what distinguishes the Bell state from the classically correlated mixture

$$\rho_{\mathrm{cc}} = \frac12 \lvert00\rangle\langle00\rvert + \frac12 \lvert11\rangle\langle11\rvert.$$

In continuous variables, the ideal EPR pattern uses collective observables such as

$$X_1-X_2, \qquad P_1+P_2.$$

These two commute, so an idealized generalized state can have sharp values of both. The foundational tension comes from combining the corresponding remote predictability with the noncommutation of local observables such as $X_1$ and $P_1$. The normalizability and finite-energy cautions belong to the EPR State Preview.

The EPR Argument Preview

The historical EPR argument is not merely the statement “there is an entangled state.” It uses additional premises. In compressed form, it involves:

• perfect or arbitrarily strong correlations;
• a locality assumption about what operations here can affect there;
• a criterion connecting certain prediction with an element of reality;
• a claim that the quantum state description is incomplete if it lacks those elements.

Bohr’s reply and later foundations work scrutinize exactly those premises and the meaning of experimental context. This page does not adjudicate the interpretation. Its role is to make the state and reduced-state facts explicit so the later argument has clean input.

The safe habit is to use “EPR state” for a state or correlation pattern, and “EPR argument” for the locality-and-completeness reasoning built on it.

Bell Theorem Preview

Bell’s theorem is sharper than the EPR argument because it produces experimentally testable inequalities. A standard CHSH expression is built from correlations

$$E(a,b) = \langle A_a B_b\rangle,$$

where $A_a$ and $B_b$ are outcomes with values $\pm1$ for two possible measurement settings on each side. Local hidden-variable models obey

$$\left| E(a,b) + E(a,b') + E(a',b) - E(a',b') \right| \le 2.$$

Quantum theory can violate this bound. For a singlet state, the spin correlation has the form

$$E(\mathbf a,\mathbf b) = -\mathbf a\cdot\mathbf b,$$

and suitable choices of directions reach

$$2\sqrt2.$$

This is a preview, not a derivation. The foundational content lies in the assumptions behind the inequality and in the experimental conditions used to test it. Bell states are examples used in the discussion; Bell’s theorem is not the definition of entanglement.

Entanglement, Steering, and Bell Nonlocality

Several nonclassical notions form a hierarchy in many common settings:

$$\text{Bell nonlocality} \quad\Longrightarrow\quad \text{steering} \quad\Longrightarrow\quad \text{entanglement}.$$

The converses do not hold in full generality. Some entangled mixed states do not violate a chosen Bell inequality. Some entangled states are not steerable for a specified measurement class. The hierarchy depends on state class, measurements, trust assumptions, and whether one is discussing a single test or all possible tests.

Steering language is especially close to the conditional-state formalism. If a measurement on $B$ produces outcome $b$, the state assigned to $A$ can change to

$$\rho_{A\vert b} = \frac{\sigma_{A\vert b}}{p(b)}.$$

The collection of possible conditional ensembles for $A$ is what steering studies. But until the outcome $b$ is communicated, the unconditioned local state remains $\rho_A$.

No-Signaling from Reduced States

Entanglement does not allow controllable faster-than-light signaling. The algebraic reason is that local measurement statistics for $A$ are computed from the reduced state

$$\rho_A = \operatorname{Tr}_B\rho_{AB}.$$

For a local measurement on $A$ with effect $E_a$, the probability is

$$p(a) = \operatorname{Tr}_A(\rho_A E_a).$$

If a remote party measures $B$ but the outcome is not known to $A$, the local statistics on $A$ are still those of $\rho_A$. In instrument language, averaging over all remote outcomes gives the same unconditioned reduced state for $A$ under an ordinary trace-preserving local operation on $B$:

$$\rho_A' = \operatorname{Tr}_B \left[ (I_A\otimes\mathcal E_B)(\rho_{AB}) \right] = \rho_A.$$

This does not make the remote measurement irrelevant. After the outcome is communicated, the data can be sorted into conditional subensembles with different states. The distinction between unconditioned local marginals and conditioned subensembles is the core of no-signaling in the elementary formalism.

Measurement Entanglement

Measurement models naturally create entanglement between a system and an apparatus. If a two-state system begins in

$$\alpha\lvert0\rangle + \beta\lvert1\rangle$$

and an ideal premeasurement correlates system states with pointer states, the joint state becomes

$$\alpha\lvert0\rangle\lvert R_0\rangle + \beta\lvert1\rangle\lvert R_1\rangle.$$

If the pointer states are orthogonal, tracing out the apparatus gives

$$\rho_S = \lvert\alpha\rvert^2 \lvert0\rangle\langle0\rvert + \lvert\beta\rvert^2 \lvert1\rangle\langle1\rvert.$$

The off-diagonal terms have disappeared from the system’s reduced state because the phase information is now stored in joint correlations with the apparatus. Adding an environment makes this suppression robust in realistic macroscopic settings.

This is the beginning of the decoherence story, not the end of the measurement problem. Decoherence explains why interference between pointer alternatives becomes inaccessible in local macroscopic observables. It does not, by itself, say which interpretation of individual outcomes is correct.

What Entanglement Does Not Settle

Entanglement is not an interpretation of quantum mechanics. It is a mathematically precise feature of composite states. It supplies unavoidable input to foundational debates, but it does not by itself decide:

• whether the quantum state is complete;
• whether hidden variables are possible under relaxed assumptions;
• what counts as a physical “element of reality”;
• how to understand a single measurement outcome;
• whether collapse is physical, epistemic, effective, or absent;
• which interpretation of quantum mechanics is preferred.

Good foundational work states the extra assumptions. This volume’s job is to make the shared state formalism clean enough that those assumptions are visible.

Common Mistakes

• Treating “EPR state” and “EPR argument” as the same thing.
• Saying Bell’s theorem is merely the statement that entanglement exists.
• Assuming every entangled state violates a simple Bell inequality.
• Thinking a remote measurement outcome can be used as a controllable signal before classical communication.
• Confusing conditional state update with a change in unconditioned local statistics.
• Saying decoherence alone solves every aspect of the measurement problem.
• Treating no-signaling as saying entanglement has no observable consequences.
• Using “nonlocality” without specifying whether it means entanglement, steering, Bell violation, or relativistic signaling.

Cross-Links

• Entangled States
• Bell States
• Classical Correlation versus Entanglement
• Singlet and Triplet States
• EPR State Preview
• Local Measurement Statistics
• Conditional States
• Reduced Density Operators
• Entanglement Entropy
• Entanglement in Quantum Information
• Projective Measurement
• State Update Rule
• Born Rule
• Formula Sheet

References

• A. Einstein, B. Podolsky, and N. Rosen, “Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?”, Physical Review 47, 777-780, 1935, doi:10.1103/PhysRev.47.777.
• N. Bohr, “Can Quantum-Mechanical Description of Physical Reality be Considered Complete?”, Physical Review 48, 696-702, 1935, doi:10.1103/PhysRev.48.696.
• E. Schrodinger, “Discussion of Probability Relations between Separated Systems”, Mathematical Proceedings of the Cambridge Philosophical Society 31, 555-563, 1935.
• J. S. Bell, “On the Einstein Podolsky Rosen Paradox”, Physics 1, 195-200, 1964.
• J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, “Proposed Experiment to Test Local Hidden-Variable Theories”, Physical Review Letters 23, 880-884, 1969, doi:10.1103/PhysRevLett.23.880.
• A. Aspect, P. Grangier, and G. Roger, “Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment: A New Violation of Bell’s Inequalities”, Physical Review Letters 49, 91-94, 1982, doi:10.1103/PhysRevLett.49.91.
• H. M. Wiseman, S. J. Jones, and A. C. Doherty, “Steering, Entanglement, Nonlocality, and the Einstein-Podolsky-Rosen Paradox”, Physical Review Letters 98, 140402, 2007, doi:10.1103/PhysRevLett.98.140402.
• W. H. Zurek, “Decoherence, einselection, and the quantum origins of the classical”, Reviews of Modern Physics 75, 715-775, 2003, doi:10.1103/RevModPhys.75.715.
• A. Peres, Quantum Theory: Concepts and Methods, Kluwer, 1995.
• M. Schlosshauer, Decoherence and the Quantum-to-Classical Transition, Springer, 2007.

Exercises

1. Bell pair local state. Show that the reduced state of either qubit of $\lvert\Phi^+\rangle$ is $I/2$.

Solution

For

$$\lvert\Phi^+\rangle = \frac{\lvert00\rangle+\lvert11\rangle}{\sqrt2},$$

the density operator has diagonal terms $\lvert00\rangle\langle00\rvert$ and $\lvert11\rangle\langle11\rvert$ plus cross terms. Tracing over the second qubit kills the cross terms because $\langle0\vert1\rangle=0$. Therefore

$$\rho_A = \frac12 \lvert0\rangle\langle0\rvert + \frac12 \lvert1\rangle\langle1\rvert = \frac12 I.$$

2. Conditional but not signaling. If $B$ measures the second qubit of $\lvert\Phi^+\rangle$ in the computational basis, what conditional states can be assigned to $A$, and what is their average?

Solution

Outcome $0$ on $B$ occurs with probability $1/2$ and assigns $\lvert0\rangle$ to $A$. Outcome $1$ occurs with probability $1/2$ and assigns $\lvert1\rangle$ to $A$. Averaging over outcomes gives

$$\frac12 \lvert0\rangle\langle0\rvert + \frac12 \lvert1\rangle\langle1\rvert = \frac12 I.$$

Thus conditioning changes the subensemble after the outcome is known, but the unconditioned local state is unchanged.

3. Bell violation is not the definition. Why is Bell-inequality violation not the definition of entanglement?

Solution

Entanglement is defined by nonseparability of a state relative to a subsystem split. Bell-inequality violation is a stronger operational property involving measurement settings and locality assumptions. Some entangled mixed states do not violate a given Bell inequality, so Bell violation cannot be the definition of entanglement.

4. Premeasurement reduced state. Suppose

$$\lvert\Psi\rangle = \alpha\lvert0\rangle\lvert R_0\rangle + \beta\lvert1\rangle\lvert R_1\rangle,$$

with $\langle R_0\vert R_1\rangle=0$. Trace out the apparatus and find $\rho_S$.

Solution

The diagonal terms survive. The off-diagonal terms contain $\langle R_1\vert R_0\rangle$ or $\langle R_0\vert R_1\rangle$, which vanish. Therefore

$$\rho_S = \lvert\alpha\rvert^2 \lvert0\rangle\langle0\rvert + \lvert\beta\rvert^2 \lvert1\rangle\langle1\rvert.$$

5. No-signaling phrase check. In one sentence, explain why no-signaling does not mean entanglement has no observable consequences.

Solution

No-signaling says local marginal statistics cannot be controllably changed by a remote choice, while entanglement still changes joint statistics and conditional subensembles once classical information is compared.