Overview and Orientation

This chapter is the preflight desk for Composite Systems and Entanglement. Use it to understand why composition changes quantum mechanics, fix subsystem notation before calculating, and choose a route through tensor products, reduced states, entanglement, identical particles, Fock space, or second quantization.

The volume landing page owns the full scope and downstream connections. This page owns the orientation sequence that prepares a reader to enter that scope without confusing subsystem labels, particle identity, tensor factors, or entanglement criteria.

The recommended sequence is

\begin{gathered} \text{motivation} \\ \downarrow \\ \text{subsystem and basis conventions} \\ \downarrow \\ \text{concept map} \\ \downarrow \\ \text{first canonical chapter}. \end{gathered}

Three Orientation Pages

Page	Question it answers	Use it before…
Why Composite Systems Matter	Why does the tensor-product rule generate qualitatively new physics?	deciding which branch of the volume matters for a problem
Notation and Subsystem Labels	Which factor, basis, ordering, and trace convention is being used?	writing matrices, local operators, reduced states, or mode occupations
Concept Map	How do tensor products lead to entanglement, exchange sectors, and Fock space?	choosing the next canonical page

These pages orient. They do not replace derivations. Follow their links to the page that owns the needed theorem, operation, or example.

Structural Starting Point

For distinguishable subsystems $A$ and $B$ , the joint state space is

\mathcal H_{AB} = \mathcal H_A\otimes\mathcal H_B.

This equation specifies the space of possible joint states. It does not say that every joint state is a product state.

A product vector has the special form

\lvert\Psi\rangle_{AB} = \lvert\psi\rangle_A \otimes \lvert\phi\rangle_B.

Generic vectors in $\mathcal H_A\otimes\mathcal H_B$ cannot be factored this way. Those vectors are entangled relative to the stated $A|B$ decomposition.

Local operators are embedded with identity factors:

O_A \longmapsto O_A\otimes I_B, \qquad O_B \longmapsto I_A\otimes O_B.

Interactions are terms that do not reduce to a sum of operators acting independently on the two factors. They can create correlations and entanglement, though whether they do so depends on the initial state and evolution time.

The Main Branches

Tensor-product structure

Start with Tensor Products of Hilbert Spaces when the problem asks how joint bases, operators, Hamiltonians, or dimensions are built. This branch owns the algebra of composition for distinguishable subsystems.

For finite-dimensional spaces, dimensions provide a quick distinction between a direct sum and a tensor product:

\dim(\mathcal H_A\oplus\mathcal H_B) = \dim\mathcal H_A+\dim\mathcal H_B,

whereas

\dim(\mathcal H_A\otimes\mathcal H_B) = (\dim\mathcal H_A)(\dim\mathcal H_B).

Two qubits therefore have joint dimension $2\times2=4$ . The direct sum and tensor product happen to give the same number for two two-dimensional spaces, so the operation must be identified from the physical composition, not from that numerical coincidence.

Product, separable, and entangled states

Start with Product States for pure-state factorization and Separable Mixed States for convex mixtures of product states. A mixed state can be classically correlated without being entangled.

For a bipartite density operator, separability means that a decomposition exists of the form

\begin{aligned} \rho_{AB} &= \sum_k p_k\, \rho_A^{(k)}\otimes\rho_B^{(k)}, \\ p_k &\geq0, \\ \sum_k p_k &=1. \end{aligned}

The existence of one such decomposition matters; a visually complicated matrix is not evidence of entanglement by itself.

Reduced states

Start with Reduced Density Operators and Partial Trace when only local measurement statistics are accessible.

The reduced state of $A$ is

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

It is the unique operator on $\mathcal H_A$ reproducing all expectation values of observables local to $A$ . A mixed $\rho_A$ does not imply that the global state $\rho_{AB}$ is mixed; a pure entangled state can have mixed marginals.

Bipartite and multipartite entanglement

Use Schmidt Decomposition for pure bipartite states. Use Multipartite Entanglement when three or more factors introduce inequivalent partitions and entanglement classes.

For a pure bipartite state, Schmidt rank one means product; Schmidt rank greater than one means entangled. That complete criterion does not transfer unchanged to mixed or multipartite states.

Identical particles

Start with Identical Particles and Exchange Symmetry before assigning subsystem labels to identical particles. Bosonic and fermionic states occupy symmetric and antisymmetric sectors; fictitious particle labels are not automatically physical subsystems.

The physically meaningful split may instead be by modes, spatial regions, spin-orbitals, algebras of observables, or detector access. Identical-Particle Entanglement Cautions owns this boundary.

Fock space and second quantization

Start with Fock Space and Occupation Number when particle number may vary or mode occupation is the natural language. Use Creation, Annihilation, and Second Quantization for the complete operator construction, or go directly to Creation and Annihilation Operators when the immediate task is to add or remove quanta from modes.

For one-particle Hilbert space $\mathcal h$ , bosonic or fermionic Fock space is organized schematically as

\mathcal F_{\pm}(\mathcal h) = \bigoplus_{N=0}^{\infty} \mathcal S_{\pm} \mathcal h^{\otimes N},

where $\mathcal S_+$ symmetrizes and $\mathcal S_-$ antisymmetrizes. The direct sum is over particle-number sectors; the tensor product builds each fixed- $N$ sector.

Continuous variables and modes

Use Continuous Variables and Modes when the subsystem Hilbert spaces are infinite-dimensional, the natural factors are oscillator or field modes, or normalizability and covariance-matrix conventions matter. The guide connects position-space wavefunctions, Fock-space modes, Gaussian states, squeezing, and finite EPR-like correlations without treating an ideal delta-correlated state as physical.

Essential Distinctions

Do not identify…	Correct distinction
composite state and entangled state	every state lives in the composite space; only nonseparable states are entangled
tensor product and ordinary multiplication	tensor products combine vector spaces and preserve factor structure
tensor product and direct sum	tensor products describe simultaneous subsystems; direct sums describe alternatives or sector decompositions
subsystem label and hidden particle identity	labels name chosen factors or modes, not unobservable identities carried by identical particles
mixed reduced state and mixed global state	a pure entangled global state can have mixed local reductions
correlation and entanglement	separable mixed states can have classical correlations
exchange antisymmetry and operational entanglement	antisymmetry is a state-space constraint; entanglement requires a specified physical partition or observable algebra
occupation number and distinguishable-particle label	occupation numbers count quanta in modes without assigning identities to particles
creation operator and literal classical creation event	the operator changes an occupation sector in a stated mode basis

These distinctions should be resolved before an entanglement measure or second-quantized formula is applied.

Preflight Checklist

Before calculating, identify:

Subsystems or modes: What operationally defines $A$ , $B$ , or the mode labels?
Hilbert spaces: What are $\mathcal H_A$ , $\mathcal H_B$ , and the physical joint space?
Ordering: In what order are tensor factors and basis states written?
State type: Is the global state a vector, density operator, ensemble, or fixed-particle-number sector?
Particle status: Are constituents distinguishable, identical bosons, or identical fermions?
Observable access: Which operators are local, global, or experimentally accessible?
Reduction: Which subsystem or modes are traced out, conditioned on, or ignored?
Task: Is the goal factorization, local statistics, entanglement diagnosis, exchange symmetry, or occupation-number dynamics?

If one of these answers is ambiguous, use Notation and Subsystem Labels before manipulating matrices.

Reading Routes

First course route

Identical-particle and many-body route

Quantum-information route

QFT bridge route

Reference and practice route

Canonical Boundaries

This volume owns the quantum-mechanical structure of composition, entanglement, exchange symmetry, Fock space, and second quantization. It does not own:

the general definition of Hilbert spaces and tensor products, which lives in the Mathematical Toolkit;
the minimal composition postulate, which is introduced in Core Formalism;
experimental Bell-test history, which belongs in Experiments and Historical Development;
open-system dynamics and decoherence, which belong in Measurement and Open Quantum Systems;
full many-body methods, phases, and statistical mechanics, which belong in the planned many-body volume;
relativistic field quantization, which belongs in the QFT bridge and QFT-facing material.

Cross-link to those homes rather than duplicating their derivations.

Common Mistakes

Suppressing subsystem labels before the factor ordering is clear.
Assuming every state in a tensor-product space is entangled.
Testing a mixed state for entanglement by pure-state factorization alone.
Interpreting a mixed reduced state as proof that the global state is mixed.
Treating identical particles as distinguishable particles with hidden labels.
Confusing a direct sum over number sectors with a tensor product of subsystems.
Applying a bipartite entanglement measure without specifying the partition.
Calling every exchange correlation an operational entanglement resource.
Moving to creation and annihilation operators before fixing the mode basis and statistics.

References

J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press, 2010.
J. Preskill, Lecture Notes for Physics 229: Quantum Information and Computation, California Institute of Technology.
A. Peres, Quantum Theory: Concepts and Methods, Kluwer, 1995.
A. J. Coleman, “Structure of Fermion Density Matrices,” Reviews of Modern Physics 35, 668–686, 1963.

Exercises

Exercise 1: Composite but not entangled

Give a two-qubit state that is composite but not entangled, and state its reduced density operators.

Solution

Take

\lvert\Psi\rangle = \lvert0\rangle_A\otimes\lvert1\rangle_B.

The global density operator is the product

\rho_{AB} = \lvert0\rangle\langle0\rvert_A \otimes \lvert1\rangle\langle1\rvert_B.

Therefore

\rho_A = \lvert0\rangle\langle0\rvert, \qquad \rho_B = \lvert1\rangle\langle1\rvert.

Both reduced states are pure, as expected for a pure product state.

Exercise 2: Pure globally, mixed locally

For the Bell state

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

what are the global and local purities?

Solution

The global state is pure, so

\operatorname{Tr}(\rho_{AB}^2)=1.

Tracing out either qubit gives

\rho_A = \rho_B = \frac{I}{2}.

Hence each local purity is

\operatorname{Tr}(\rho_A^2) = \operatorname{Tr}(\rho_B^2) = \frac12.

Local mixedness records entanglement with the other subsystem, not global statistical mixing.

Exercise 3: Tensor product or direct sum?

Which operation describes two qubits present simultaneously, and which operation organizes zero-, one-, and two-particle sectors?

Solution

Two simultaneously present distinguishable qubits use a tensor product, $\mathcal H_A\otimes\mathcal H_B$ . Different particle-number sectors are alternatives and are organized by a direct sum, as in $\mathcal F=\bigoplus_N\mathcal H_N$ . Within each fixed- $N$ sector, tensor powers and the appropriate symmetry projection build the many-particle states.

Exercise 4: Meaningful subsystem labels

Two identical electrons occupy spin-orbitals. Why can the symbols “electron 1” and “electron 2” not automatically define the entanglement partition?

Solution

Identical electrons have no observable persistent labels that distinguish “1” from “2.” Their physical state lies in an antisymmetric sector. An operational entanglement partition must be tied to distinguishable modes, spatial regions, spin-orbitals, detectors, or accessible operator algebras. Merely attaching particle labels before antisymmetrization does not create physical subsystems.