Density Operators and Open Quantum Systems

The state-vector postulate describes an isolated system in a definite pure state. But real systems are never perfectly isolated: they are entangled with an environment, prepared with classical uncertainty, or observed through imperfect apparatus. The density operator generalizes the state vector to cover all these cases, and the theory of open quantum systems describes how such a system evolves when its environment is traced out — the setting for realistic measurement, dissipation, and decoherence. This page extends the brief density-operator material in the preliminaries.

1. The Density Operator

A density operator $\hat{\rho }$ is Hermitian, positive semidefinite, and normalized $\mathrm{Tr}\hat{\rho }=1$. It represents:

• a pure state $\hat{\rho }=|\psi ⟩⟨\psi |$ (equivalently ${\hat{\rho }}^2=\hat{\rho }$, $\mathrm{Tr}{\hat{\rho }}^2=1$), or
• a mixed state, a classical ensemble $\hat{\rho }={\sum }_k{p}_k|{\psi }_k⟩⟨{\psi }_k|$ with probabilities $p_k$ ($\mathrm{Tr}{\hat{\rho }}^2<1$).

Expectation values and the Born rule extend uniformly: $⟨\hat{A}⟩=\mathrm{Tr}(\hat{\rho }\hat{A})$. The purity $\mathrm{Tr}{\hat{\rho }}^2$ and the von Neumann entropy $S(\hat{\rho })=-\mathrm{Tr}(\hat{\rho }\ln \hat{\rho })$ measure mixedness ($S=0$ for pure, maximal for the maximally mixed $\hat{\rho }=\hat{1}/d$). Crucially, different ensembles $\{p_k,|{\psi }_k⟩\}$ can give the same $\hat{\rho }$ and are then physically indistinguishable — the density operator, not the ensemble, is the state.

2. Reduced States and the Partial Trace

For a bipartite system in state ${\hat{\rho }}_{AB}$, the state of subsystem $A$ alone is the reduced density operator obtained by the partial trace over $B$:

$${\hat{\rho }}_A={\mathrm{Tr}}_B{\hat{\rho }}_{AB}.$$

This is the unique operator reproducing all local expectation values, $\mathrm{Tr}({\hat{\rho }}_A\hat{A})=\mathrm{Tr}({\hat{\rho }}_{AB}\hat{A}\otimes \hat{1})$. The key phenomenon: a pure entangled global state gives mixed reduced states. For the Bell singlet, ${\hat{\rho }}_A=\frac{1}{2}\hat{1}$ — maximally mixed, though the whole is pure. The entanglement entropy $S({\hat{\rho }}_A)$ quantifies the entanglement. This is the mechanism by which a subsystem acquires apparently random, classical-looking statistics without any collapse — the seed of decoherence.

3. Generalized Measurements (POVMs)

Projective measurement (Postulate 4) is the ideal case. The most general measurement allowed by quantum mechanics — e.g. one performed via an ancilla and then a projective readout — is a POVM (positive operator-valued measure): a set of positive operators $\{{\hat{E}}_m\}$ with ${\sum }_m{\hat{E}}_m=\hat{1}$, giving outcome probabilities

$$P(m)=\mathrm{Tr}(\hat{\rho }{\hat{E}}_m).$$

POVMs can have more outcomes than the dimension, need not be orthogonal, and describe realistic detectors, unsharp measurements, and optimal state discrimination. Naimark's theorem guarantees every POVM is a projective measurement on a larger space — measurement is projective once the apparatus is included.

4. Quantum Operations and Kraus Maps

The most general physical transformation of a state — unitary evolution, measurement (ignoring the outcome), or interaction with an environment — is a quantum channel: a linear, trace-preserving, completely positive map. Every such map has an operator-sum (Kraus) representation

$$\hat{\rho }⟼\sum _k{\hat{M}}_k\hat{\rho }{\hat{M}}_k^{†},\sum _k{\hat{M}}_k^{†}{\hat{M}}_k=\hat{1}.$$

Unitary evolution is the single-Kraus case $\hat{M}=\hat{U}$. Stinespring dilation shows every channel arises by coupling to an environment unitarily and tracing it out — open-system dynamics is closed-system dynamics on a bigger space. Standard examples: amplitude damping (spontaneous emission), phase damping (dephasing), depolarizing.

5. The Lindblad Master Equation

When the environment is large and memoryless (Markovian), the reduced state evolves by a continuous-time generator — the Lindblad (GKSL) master equation, the most general form preserving positivity and trace:

$$\boxed{\frac{d\hat{\rho }}{dt}=-\frac{i}{\hslash }[\hat{H},\hat{\rho }]+\sum _k({\hat{L}}_k\hat{\rho }{\hat{L}}_k^{†}-\frac{1}{2}\{{\hat{L}}_k^{†}{\hat{L}}_k,\hat{\rho }\}).}$$

The first term is ordinary unitary evolution; the jump operators ${\hat{L}}_k$ encode dissipation and decoherence. This equation governs lasers, spontaneous decay, and qubit relaxation ($T_1$/$T_2$ times), and provides the quantitative description of decoherence — the environment continuously "measuring" the system, driving $\hat{\rho }$ toward a diagonal (classical) mixture in the pointer basis.

See also

• Preliminaries — the brief density-operator definition extended here.
• Entanglement & Bell — reduced states of entangled systems.
• Decoherence — the physical consequence of environmental coupling.
• Postulates — measurement and Born rule in density-operator form.