Wedge Entanglement and Modular Flow

The Rindler wedge is the rare continuum region whose vacuum modular flow is geometric. For the pair consisting of the right-wedge algebra and the Minkowski vacuum, Tomita–Takesaki evolution is exactly Lorentz-boost evolution. A regulated two-mode squeezed state illustrates the correlations across the horizon, but the theorem itself is about a Type III algebra and a cyclic-separating vector, not a canonical right-wedge density matrix.

Required background. Special Relativity provides wedge reflections and boost flow.

Helpful background. Flat-Spacetime Quantum Field Theory provides the vacuum and stress tensor. Partial Differential Equations and Green Functions supplies localization of field solutions. Causality and Global Structure develops causal complements. Quantum Fields in Curved Spacetime provides algebraic states and representations.

The regulated squeezed-state picture

For one regulated boost-frequency pair, the Minkowski vacuum condition gives

$$|0_M\rangle_\omega =\sqrt{1-e^{-2\pi\omega/a}} \sum_{n=0}^{\infty} e^{-\pi\omega n/a} |n_\omega^R\rangle|n_\omega^L\rangle.$$

Tracing over the left oscillator produces

$$\rho^R_\omega =(1-e^{-2\pi\omega/a}) \sum_{n=0}^{\infty}e^{-2\pi\omega n/a} |n_\omega^R\rangle\langle n_\omega^R|.$$

This finite-mode illustration correctly gives the Bose occupation and shows that right–left correlations purify the thermal weights. It also exposes its own limitation: multiplying over a continuum of modes yields divergent normalization and entanglement entropy unless a regulator and algebraic cutoff are supplied.

The mode derivation and its wedge correlations are reviewed in Crispino, Higuchi, and Matsas 2008, arXiv version, §II.C, Eqs. (2.76)–(2.78), p. 9, PDF. The exact continuum statement is not obtained by pretending that the formal product is a trace-class vector in a Rindler Fock tensor product.

Standard pairs and modular objects

Let $\mathcal M_R$ be the right-wedge von Neumann algebra in the vacuum representation. The vacuum vector $\Omega$ is cyclic, so $\mathcal M_R\Omega$ is dense, and separating, so $A\Omega=0$ implies $A=0$. These hypotheses define the antilinear Tomita operator

$$S_0A\Omega=A^*\Omega, \qquad A\in\mathcal M_R.$$

Its closure has polar decomposition

$$S=J\Delta^{1/2}.$$

Tomita–Takesaki theory proves that $\sigma_t(A)=\Delta^{it}A\Delta^{-it}$ is an automorphism of $\mathcal M_R$, while $J\mathcal M_RJ=\mathcal M_R'$. The modular group and conjugation are determined jointly by the algebra and the state vector. Takesaki 1970, modular operator pp. 31–44 and modular automorphisms pp. 44–52 supplies the abstract theorem and its standard-pair assumptions.

Bisognano–Wichmann geometry

Under the Poincaré covariance, locality, vacuum spectrum, and field-domain hypotheses of the Bisognano–Wichmann theorem,

$$\Delta^{it}=U(\Lambda_R(-2\pi t)).$$

Thus modular flow preserves the wedge and moves every local observable along a boost orbit. Modular conjugation implements the corresponding wedge reflection together with the required charge-conjugation structure. The causal complement relation $\mathcal W_R'=\mathcal W_L$ is reflected algebraically in $J\mathcal M_RJ=\mathcal M_L$ under wedge duality.

On the $t=0$ half-space $x>0$, the formal vacuum modular Hamiltonian is local:

$$K_R=-\log\rho_R =2\pi\int_{x>0}d^3x\,x\,T_{00}(0,\mathbf x) +\text{constant}.$$

Here $\rho_R$ is mnemonic unless a regulator supplies a Type-I factor; the automorphism generated by the stress-tensor integral is the invariant content. The factor $x$ is the boost lapse. It vanishes at the entangling plane and grows with proper distance, reproducing the local redshift of the Unruh temperature.

The proof architecture combines Reeh–Schlieder cyclicity, locality between opposite wedges, spectrum-condition analyticity, and the uniqueness of modular data. Removing any ingredient breaks the chain. The original geometric identification is proved in Bisognano and Wichmann 1975, pp. 985–1007 and Bisognano and Wichmann 1976, pp. 303–321.

Type III locality and entropy

Continuum local algebras are generically Type III under standard QFT assumptions. They admit no canonical trace and no Hilbert-space factorization assigned sharply to the wedge boundary. Consequently, the von Neumann entropy of a sharp wedge is ultraviolet divergent and regulator dependent. The KMS and modular statements remain well defined because they use the algebra and state functional directly.

Relative entropy between two suitable wedge states can be defined algebraically and may be finite or extended-valued. A split inclusion with a small buffer can insert a Type-I factor and recover an approximate density-matrix picture, but the result depends on the buffer. These distinctions prevent a formal area-law divergence from being confused with the exact Bisognano–Wichmann theorem.

For a differentiable family of nearby regulated states, positivity of relative entropy yields the entanglement first-law relation between the first variation of entropy and the first variation of modular energy. In the sharp continuum limit, the safer formulation uses relative modular operators because the two separate entropies may diverge. This application relies on the identified modular generator but is not an additional proof that the wedge algebra factorizes.

Scope and counterexamples

Geometric modular flow is special. For a generic excited state on the same wedge, or the vacuum algebra of a generic bounded region, the modular generator is typically nonlocal and state dependent. A conformal ball provides another symmetric geometric example, but it does not make all modular flows geometric. A reflecting boundary or wedge cutoff changes both the algebra and the state and is a counterexample to applying the unmodified boost theorem.

The result also does not imply signaling across the horizon. Entanglement correlations do not allow a right-wedge operation to control spacelike left-wedge outcomes. Locality still requires the corresponding algebras to commute.

Exercise

Using the local modular Hamiltonian, determine the effective inverse temperature measured by an observer at fixed Rindler radius $\rho_0$ and explain why it diverges far from the horizon.

Solution

The boost generator weights the energy density by the distance $x=\rho_0$ on the time-symmetric slice, and modular evolution has the factor $2\pi$. Therefore the local inverse temperature is $\beta_{\mathrm{loc}}=2\pi\rho_0$, giving $T_{\mathrm{loc}}=1/(2\pi\rho_0)=a_0/(2\pi)$. Far from the horizon the proper acceleration tends to zero, so the temperature tends to zero and the inverse temperature diverges. This is a redshift statement, not a spatially varying global Gibbs density matrix.

References

• Bisognano, Joseph J., and Eyvind H. Wichmann. “On the Duality Condition for a Hermitian Scalar Field.” Journal of Mathematical Physics 16 (1975): 985–1007. DOI.
• Bisognano, Joseph J., and Eyvind H. Wichmann. “On the Duality Condition for Quantum Fields.” Journal of Mathematical Physics 17 (1976): 303–321. DOI.
• Crispino, Luís C. B., Atsushi Higuchi, and George E. A. Matsas. “The Unruh Effect and Its Applications.” Reviews of Modern Physics 80 (2008): 787–838. DOI. Open PDF.
• Takesaki, Masamichi. Tomita’s Theory of Modular Hilbert Algebras and Its Applications. Lecture Notes in Mathematics 128. Springer, 1970. DOI.