Density Matrices

Density matrices enter quantum mechanics as the language of mixed states, subsystems, statistical ensembles, and open systems. In field theory, the same formalism appears in thermal states, reduced density matrices for spatial regions, entanglement entropy, nonequilibrium dynamics, and open effective descriptions.

Quantum Mechanics Starting Point

A density operator satisfies

$$\rho\ge 0, \qquad \operatorname{Tr}\rho=1.$$

Expectation values are

$$\langle A\rangle = \operatorname{Tr}(\rho A).$$

For a bipartite system $AB$, the reduced density operator on $A$ is

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

The von Neumann entropy is

$$S(\rho) = -\operatorname{Tr}(\rho\log\rho).$$

Field-Theory Continuation

Thermal quantum field theory uses density operators such as

$$\rho_\beta = \frac{e^{-\beta H}}{Z}, \qquad Z=\operatorname{Tr}e^{-\beta H}.$$

Entanglement in QFT often studies a reduced density matrix for a spatial region. Formally, one traces over degrees of freedom outside the region. This is subtle because local algebras, regulators, and continuum limits matter.

Nonequilibrium QFT and open-system methods use density matrices together with real-time contour techniques, including Schwinger–Keldysh language. The quantum-mechanical density-operator formalism is the finite-dimensional and nonrelativistic starting point.

What Carries Over

• Positivity and trace normalization.
• Reduced states by tracing out inaccessible degrees of freedom.
• Entropy as a state functional.
• Purification and auxiliary systems.
• Open-system evolution as effective dynamics.
• Thermal states as density operators.

What Changes

In field theory, Hilbert-space factorization can be subtle. Spatial regions in continuum QFT do not always behave like finite tensor factors without regulators or algebraic care. Entanglement entropy can be ultraviolet divergent. Thermal and vacuum states can be represented differently depending on formalism.

Common Mistakes

• Treating continuum spatial entanglement exactly like two finite qubits.
• Ignoring regulators when discussing QFT entanglement entropy.
• Confusing ensemble entropy with entanglement entropy.
• Assuming a reduced density matrix is always easy to define for a local field algebra.
• Using open-system language without specifying what degrees of freedom were traced out.

Canonical Links

• Density Operators
• Trace Rule and Expectation Values
• Reduced Density Matrices
• Entropy Overview
• Partial Trace
• Von Neumann Entropy
• Density Matrix Convention Translator

References

• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
• H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002.
• A. Altland and B. D. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press, 2010.
• M. Srednicki, “Entropy and area,” Physical Review Letters 71, 666-669 (1993), DOI: 10.1103/PhysRevLett.71.666.

Exercises

1. Why can entanglement entropy in continuum field theory require a regulator?

Solution

Continuum field theories contain arbitrarily short-distance degrees of freedom. When a spatial region is separated from its complement, correlations across the boundary receive contributions from modes at very short wavelengths. Without a cutoff or algebraic qualification, the entropy can diverge even when finite-dimensional analogues are well defined.