Entanglement in QFT Preview

Quantum field theory uses the same reduced-state ideas as ordinary composite quantum mechanics, but the meaning of “subsystem” becomes more delicate. The relevant split may be a set of modes, a spatial region, a local algebra of observables, or a regulated lattice approximation to a continuum field.

This page is a preview. It does not derive field-theory entanglement entropy, prove replica formulas, treat gauge-theory edge modes, or develop holographic duality. Its job is to show how the composite-systems machinery points toward those topics and where finite-dimensional intuition must be handled with care.

What This Page Owns

This bridge owns the vocabulary needed before entering a full QFT treatment:

• mode entanglement versus spatial-region entanglement;
• why the vacuum of a field can be entangled across regions;
• why continuum entanglement entropy is usually regulator-dependent;
• what an area-law divergence means;
• how modular Hamiltonians and relative entropy package reduced-state information;
• why holographic entanglement is a powerful but theory-dependent extension.

The canonical definitions of entanglement entropy, Renyi entropies, mutual information, mode decompositions, and the second-quantization bridge live elsewhere in this volume.

From Finite Factors to Fields

In a finite bipartite system one starts with

$$\mathcal H = \mathcal H_A\otimes\mathcal H_B, \qquad \rho_A = \operatorname{Tr}_B\rho_{AB}.$$

This is the clean algebraic model behind most introductory entanglement theory. A lattice field theory with finitely many degrees of freedom per site can often be treated in essentially the same way: choose a set of lattice sites $A$, trace over the complement $\bar A$, and compute

$$S(A) = -\operatorname{Tr} \bigl( \rho_A\log\rho_A \bigr).$$

The continuum limit changes the situation. Local field operators are distributions, spatial regions have infinitely many short-distance degrees of freedom near their boundaries, and the Hilbert space associated with a continuum region need not factorize as a simple tensor product in the same way as a finite spin system. The safer field-theory language is often local algebras of observables rather than literal finite-dimensional factors.

For this volume, the useful rule is:

$$\text{finite systems teach the reduced-state pattern;} \qquad \text{QFT adds locality, regulators, and algebras.}$$

Mode Entanglement

Mode entanglement is entanglement across a chosen mode decomposition. A free field in a finite box can be expanded schematically as a collection of oscillator modes:

$$H = \sum_{\mathbf k} \hbar\omega_{\mathbf k} \left( a_{\mathbf k}^\dagger a_{\mathbf k} +\frac12 \right),$$

with a Fock space organized by occupations

$$\lvert n_{\mathbf k_1},n_{\mathbf k_2},\ldots\rangle.$$

Once modes are named, one can ask whether a state factorizes across a split such as mode set $M$ versus mode set $\bar M$. This is the same logical structure as the two-mode entanglement story in quantum optics.

Mode entanglement is basis-sensitive. The same state may be product in one mode basis and entangled in another. This is not a paradox: the subsystem question has changed. It is especially important in fields because different mode bases can be natural for different observers, backgrounds, boundary conditions, or detectors.

Spatial-Region Entanglement

Spatial-region entanglement asks how a state is correlated between a region $A$ and its spatial complement $\bar A$. On a lattice, this is conceptually straightforward:

$$\mathcal H_{\mathrm{lattice}} \cong \mathcal H_A\otimes\mathcal H_{\bar A}.$$

One computes

$$\rho_A = \operatorname{Tr}_{\bar A} \lvert\Psi\rangle\langle\Psi\rvert, \qquad S_A = -\operatorname{Tr} \bigl( \rho_A\log\rho_A \bigr).$$

In a continuum QFT, this formula is best read as a regulated starting point. One may discretize space, impose a cutoff, or define smeared operators and local algebras. The resulting entropy often depends on the regulator, but that does not make the question meaningless. The dependence itself reflects the accumulation of short-distance correlations across the boundary of $A$.

This is the field-theory version of the theme developed in Entanglement Depends on a Decomposition: the word “entanglement” becomes precise only after the relevant regions, modes, or observable algebras are specified.

Vacuum Entanglement

The QFT vacuum is not an empty tensor product over spatial regions. Even when it is the lowest-energy state and has no particles in a particular Fock description, it generally has nonzero correlations between local observables in separated regions.

For a regulated vacuum state $\lvert0\rangle$ and a spatial region $A$,

$$\rho_A = \operatorname{Tr}_{\bar A} \lvert0\rangle\langle0\rvert$$

is typically mixed. That mixedness is not ordinary ignorance about particles hiding in $A$. It reflects entanglement between degrees of freedom associated with $A$ and degrees of freedom associated with $\bar A$.

This distinction is easy to miss because the same word “vacuum” appears in ordinary Fock space. The vacuum state page explains the no-particle vector in nonrelativistic Fock space. In QFT, the vacuum also carries local correlation structure, symmetry constraints, and sometimes observer-dependent particle interpretations.

Area-Law Divergences

For a continuum QFT in $d$ spatial dimensions, the leading entanglement entropy of a smooth spatial region often has the schematic cutoff dependence

$$S_A \sim \alpha\, \frac{\operatorname{Area}(\partial A)}{\epsilon^{d-1}} + \cdots, \qquad d>1,$$

where $\epsilon$ is a short-distance cutoff. The coefficient $\alpha$ is generally not universal. It depends on the regulator and microscopic details. The boundary scaling is the important structural feature: most of the leading contribution comes from short-distance correlations straddling $\partial A$.

In one spatial dimension, the boundary of an interval is zero-dimensional, and conformal field theory gives a logarithmic form for the vacuum entropy of an interval of length $\ell$ on an infinite line:

$$S_A = \frac{c}{3} \log\frac{\ell}{\epsilon} + \mathrm{const}.$$

Here $c$ is the central charge. This formula is one of the cleanest places where entanglement detects universal field-theory data, but it still contains a cutoff-dependent additive constant.

The many-body bridge gives the lattice and tensor-network version of area-law thinking. The QFT lesson is sharper: spatial entanglement is often dominated by ultraviolet boundary correlations, so one must ask which pieces are universal, finite, or regulator-dependent.

Mutual Information as a Safer Quantity

The entropy $S(A)$ of one continuum region is often divergent. For two separated regions $A$ and $B$, the mutual information

$$I(A:B) = S(A)+S(B)-S(A\cup B)$$

can cancel many local boundary divergences when the regions are separated by a nonzero distance. It is not an entanglement measure for arbitrary mixed states, but it is a useful finite diagnostic of total correlation in many QFT settings.

This is the same finite-dimensional formula developed on the Mutual Information page. In QFT the value depends on geometry, state, separation, regulator assumptions, and operator-algebra choices.

Modular Hamiltonians

Given a reduced density operator $\rho_A$, its modular Hamiltonian is defined by

$$K_A = -\log\rho_A, \qquad \rho_A = e^{-K_A}.$$

If one instead writes $\rho_A=e^{-K_A}/Z_A$, then $K_A$ is shifted by an additive constant. Such constants do not change modular flow or relative-entropy differences.

For a generic region and interacting theory, $K_A$ is highly nonlocal and hard to compute. A major exception is the vacuum of a Lorentz-invariant QFT restricted to a half-space. In units with $\hbar=c=k_B=1$, the Bisognano–Wichmann result gives a local expression proportional to the boost generator:

$$K_R = 2\pi \int_{x^1>0} d^{d-1}x\, x^1 T_{00}(0,\mathbf x),$$

for the right Rindler wedge $R$ at time $t=0$, up to the conventional normalization of $\rho_R$. This formula is not a generic formula for every region. It is important precisely because generic modular Hamiltonians are much less local.

Relative Entropy Preview

For two density operators on the same algebra or regulated Hilbert-space factor, the quantum relative entropy is

$$D(\rho\Vert\sigma) = \operatorname{Tr} \bigl[ \rho(\log\rho-\log\sigma) \bigr].$$

If $K_\sigma=-\log\sigma$, then

$$D(\rho\Vert\sigma) = \Delta\langle K_\sigma\rangle - \Delta S,$$

where

$$\Delta\langle K_\sigma\rangle = \operatorname{Tr}(\rho K_\sigma) - \operatorname{Tr}(\sigma K_\sigma), \qquad \Delta S = S(\rho)-S(\sigma).$$

The inequality

$$D(\rho\Vert\sigma)\ge0$$

is one reason relative entropy is so useful in QFT. It compares two states on the same region, and many ultraviolet divergences cancel between the two terms when the comparison is well posed. This makes relative entropy a more robust object than either entanglement entropy alone in many continuum arguments.

This page only records the pattern. Full proofs of monotonicity, algebraic relative entropy, modular theory, and applications to energy inequalities belong to mathematical quantum theory and QFT.

Holography Preview

In gauge/gravity duality, some strongly coupled quantum field theories admit a gravitational description in a higher-dimensional spacetime. In that setting, the Ryu–Takayanagi formula relates the entanglement entropy of a boundary region $A$ to the area of a bulk extremal surface $\gamma_A$:

$$S_A = \frac{\operatorname{Area}(\gamma_A)}{4G_N},$$

in the simplest static classical limit. More general versions use extremal rather than minimal surfaces and include bulk quantum corrections.

This is a profound bridge between entanglement and geometry, but it should not be overgeneralized. It is not a generic formula for arbitrary quantum systems, and it does not replace ordinary reduced density operators. It is a statement within particular holographic dualities, with controlled assumptions about the field theory, state, spacetime, and gravitational limit.

For this volume, the takeaway is modest:

$$\text{entanglement entropy} \quad\text{can become geometric in special QFTs with gravity duals.}$$

The detailed story belongs to holography, black-hole information, and quantum information in QFT.

Gauge-Theory and Algebra Caveats

Gauge theories add a further subtlety: the physical Hilbert space may not factorize cleanly across a spatial boundary because gauge constraints relate the two sides. Depending on the formulation, one may introduce extended Hilbert spaces, edge modes, centers of observable algebras, or algebraic definitions of entropy.

These choices are not cosmetic. They determine which observable algebra is assigned to the region and which boundary or charge-sector data are counted. This is why QFT entanglement claims should state the theory, state, region, regulator, and algebraic convention.

The warning is not that QFT entanglement is unusable. The warning is that the finite-dimensional formula

$$\rho_A = \operatorname{Tr}_{\bar A}\rho$$

must be interpreted through the physical and mathematical structure of the field theory.

Continue in This Volume

The best preparation inside this volume is:

• Entanglement in Many-Body Physics for lattice cuts, area laws, tensor networks, and critical logarithms.
• Mode Decompositions and Two-Mode Entanglement for mode-based subsystems.
• Vacuum State for the no-particle vector before QFT enriches the vacuum concept.
• Field Operators and Second Quantization: Bridge to QFT for the operator language.
• Mutual Information for relative-entropy structure and total-correlation diagnostics.
• Renyi Entropies for the replica-method doorway.

Common Mistakes

• Treating the QFT vacuum as a product of empty spatial regions.
• Using finite-dimensional partial-trace formulas without saying what regulator, region, or algebra is being used.
• Confusing mode entanglement with spatial-region entanglement.
• Interpreting the leading area-law divergence as a universal number.
• Assuming that every QFT entropy is finite after writing a formal reduced density operator.
• Treating mutual information as an entanglement measure for arbitrary mixed regional states.
• Assuming modular Hamiltonians are usually local because the half-space vacuum example is local.
• Presenting holographic entropy as a generic fact about all quantum systems rather than a result inside special dualities.
• Ignoring gauge constraints and boundary-center choices in gauge theories.

Cross-Links

• Entanglement in Many-Body Physics
• Mutual Information in Many-Body Systems — separated-region finiteness, adjacent-region ultraviolet cautions, and local-algebra qualifications.
• Second Quantization: Bridge to QFT
• Entanglement Depends on a Decomposition
• Mode Decompositions
• Two-Mode Entanglement
• Vacuum State
• Field Operators
• Mode Expansions
• Entanglement Entropy
• Renyi Entropies
• Mutual Information
• Partial Trace
• Subsystem Entropy
• Formula Sheet
• Reference Bridge: Second Quantization
• Harmonic Oscillator to Fields
• Bridge to QFT Roadmap

References

• L. Bombelli, R. K. Koul, J. Lee, and R. D. Sorkin, “Quantum source of entropy for black holes,” Physical Review D 34, 373-383, 1986, doi:10.1103/PhysRevD.34.373.
• M. Srednicki, “Entropy and Area,” Physical Review Letters 71, 666-669, 1993, doi:10.1103/PhysRevLett.71.666.
• C. G. Callan and F. Wilczek, “On geometric entropy,” Physics Letters B 333, 55-61, 1994, doi:10.1016/0370-2693(94)91007-3.
• C. Holzhey, F. Larsen, and F. Wilczek, “Geometric and renormalized entropy in conformal field theory,” Nuclear Physics B 424, 443-467, 1994, doi:10.1016/0550-3213(94)90402-2.
• P. Calabrese and J. Cardy, “Entanglement Entropy and Quantum Field Theory,” Journal of Statistical Mechanics P06002, 2004, doi:10.1088/1742-5468/2004/06/P06002.
• H. Casini and M. Huerta, “Entanglement entropy in free quantum field theory,” Journal of Physics A 42, 504007, 2009, doi:10.1088/1751-8113/42/50/504007.
• J. Eisert, M. Cramer, and M. B. Plenio, “Area laws for the entanglement entropy,” Reviews of Modern Physics 82, 277-306, 2010, doi:10.1103/RevModPhys.82.277.
• J. J. Bisognano and E. H. Wichmann, “On the duality condition for a Hermitian scalar field,” Journal of Mathematical Physics 16, 985-1007, 1975, doi:10.1063/1.522605.
• H. Casini, “Relative entropy and the Bekenstein bound,” Classical and Quantum Gravity 25, 205021, 2008, doi:10.1088/0264-9381/25/20/205021.
• S. Ryu and T. Takayanagi, “Holographic derivation of entanglement entropy from AdS/CFT,” Physical Review Letters 96, 181602, 2006, doi:10.1103/PhysRevLett.96.181602.
• T. Nishioka, S. Ryu, and T. Takayanagi, “Holographic Entanglement Entropy: An Overview,” Journal of Physics A 42, 504008, 2009, doi:10.1088/1751-8113/42/50/504008.
• E. Witten, “Notes on Some Entanglement Properties of Quantum Field Theory,” Reviews of Modern Physics 90, 045003, 2018, doi:10.1103/RevModPhys.90.045003.

Exercises

1. Mode split versus spatial split. Explain why the statement “the vacuum is a product state” can be true in one mode description but misleading for spatial regions.

Solution

For a free field in a chosen normal-mode basis, the Fock vacuum is annihilated by every $a_{\mathbf k}$ and can be described as the product of oscillator ground states for those modes. That is a statement about the chosen mode decomposition.

Spatial regions define a different split. Local field correlations across the boundary of a region usually make the reduced state

$$\rho_A = \operatorname{Tr}_{\bar A} \lvert0\rangle\langle0\rvert$$

mixed. Thus productness in one mode basis does not imply productness across spatial regions.

2. Area-law scaling. In a regulated QFT with three spatial dimensions, a ball of radius $R$ has boundary area proportional to $R^2$. What is the leading cutoff scaling expected for its entanglement entropy?

Solution

For $d=3$, the schematic area-law divergence is

$$S_A \sim \alpha\, \frac{\operatorname{Area}(\partial A)}{\epsilon^2}.$$

Since $\operatorname{Area}(\partial A)\propto R^2$, the leading scaling is

$$S_A \propto \frac{R^2}{\epsilon^2},$$

up to a nonuniversal coefficient and subleading terms.

3. Relative entropy identity. Let $K_\sigma=-\log\sigma$. Show that

$$D(\rho\Vert\sigma) = \Delta\langle K_\sigma\rangle - \Delta S.$$

Solution

Start from

$$D(\rho\Vert\sigma) = \operatorname{Tr}(\rho\log\rho) - \operatorname{Tr}(\rho\log\sigma).$$

Since $S(\rho)=-\operatorname{Tr}(\rho\log\rho)$ and $K_\sigma=-\log\sigma$,

$$D(\rho\Vert\sigma) = -S(\rho) + \operatorname{Tr}(\rho K_\sigma).$$

For $\sigma$ itself,

$$0 = D(\sigma\Vert\sigma) = -S(\sigma) + \operatorname{Tr}(\sigma K_\sigma).$$

Subtracting this zero gives

$$D(\rho\Vert\sigma) = \operatorname{Tr}(\rho K_\sigma) - \operatorname{Tr}(\sigma K_\sigma) - \bigl( S(\rho)-S(\sigma) \bigr),$$

which is

$$D(\rho\Vert\sigma) = \Delta\langle K_\sigma\rangle - \Delta S.$$

4. Holography caution. What assumption is missing from the claim “entanglement entropy equals area divided by $4G_N$”?

Solution

The claim needs a holographic duality and the appropriate gravitational limit. The Ryu–Takayanagi formula applies in special field theories with gravitational dual descriptions, and even there one must specify the state, boundary region, bulk surface, and whether quantum corrections are being included. It is not a generic formula for arbitrary quantum systems.