The Unruh KMS State

The sharpest statement of the Unruh effect is algebraic: the Minkowski vacuum restricted to the observables of a Rindler wedge is a KMS state for Lorentz-boost evolution. The inverse temperature is fixed by the boost normalization, and an accelerated observer converts it to $2\pi/a_0$ in proper time. The theorem does not require a global thermal density matrix, nor does it say that the Minkowski vacuum is thermally mixed on the global algebra.

Required background. Special Relativity provides Lorentz boosts and wedge geometry.

Helpful background. Flat-Spacetime Quantum Field Theory provides the Poincaré-invariant vacuum and spectrum condition. Partial Differential Equations and Green Functions supplies analytic propagation. Causality and Global Structure develops causal complements. Quantum Fields in Curved Spacetime provides algebraic states and KMS definitions.

The wedge KMS statement

Let $\mathcal M(\mathcal W_R)$ be the von Neumann algebra of observables localized in the right wedge, represented in the Minkowski vacuum vector $\Omega$. Assume the standard Wightman or algebraic hypotheses used by the Bisognano–Wichmann theorem: Poincaré covariance, locality, the vacuum spectrum condition, and the relevant domain and completeness properties. Then $\Omega$ is cyclic and separating for the wedge algebra, and its modular group is geometric.

Write $\Lambda_R(s)$ for a boost of rapidity $s$ and normalize Rindler time by $s=a\eta$. Physical boost evolution is

$$\alpha_\eta(A) =U(\Lambda_R(a\eta))A\,U(\Lambda_R(a\eta))^{-1}.$$

With the modular convention $\sigma_t(A)=\Delta^{it}A\Delta^{-it}$, the theorem identifies

$$\Delta^{it}=U(\Lambda_R(-2\pi t)), \qquad \sigma_t=\alpha_{-2\pi t/a}.$$

Equivalently, the restricted vacuum is KMS for $\alpha_\eta$ at

$$\beta_{\mathrm{boost}}=\frac{2\pi}{a}.$$

The original theorem and its interacting-field hypotheses are established in Bisognano and Wichmann 1975, pp. 985–1007 and the sequel Bisognano and Wichmann 1976, pp. 303–321. It is not an assumption that every wedge state is thermal.

KMS analyticity and detailed balance

For suitable $A,B$ in the wedge algebra, the function

$$F(\eta)=\omega_0\!\left(A\,\alpha_\eta(B)\right)$$

extends analytically to the strip $0<\operatorname{Im}\eta<\beta_{\mathrm{boost}}$ and obeys the boundary relation

$$F(\eta+i\beta_{\mathrm{boost}}) =\omega_0\!\left(\alpha_\eta(B)A\right).$$

This is the KMS condition. Fourier transformation gives detailed balance: negative- and positive-boost-frequency spectral weights differ by $e^{-\beta_{\mathrm{boost}}\omega}$. The same exponential appeared in the analytic continuation of Minkowski and Rindler modes, but the KMS statement does not depend on a free-field mode basis.

Along a constant-$\rho_0$ orbit, $d\tau=a\rho_0\,d\eta$. The proper-time inverse temperature is therefore

$$\beta_{\mathrm{proper}} =a\rho_0\,\beta_{\mathrm{boost}} =2\pi\rho_0=\frac{2\pi}{a_0}.$$

The arbitrary normalization $a$ cancels. This redshift check distinguishes a physical observer’s temperature from a coordinate parameter.

Proof architecture

The argument has four essential steps. First, the spectrum condition supplies analyticity of vacuum correlation functions under complexified boosts. Second, locality relates the right wedge to its causal complement, the left wedge. Third, cyclicity and separation allow the Tomita operator

$$S\,A\Omega=A^*\Omega$$

to be closed and decomposed as $S=J\Delta^{1/2}$. Fourth, the Bisognano–Wichmann identification matches the abstract modular objects to the wedge reflection and Lorentz boosts. The field-theoretic argument is developed in Crispino, Higuchi, and Matsas 2008, arXiv v1, §II.I, Eqs. (2.163)–(2.177), pp. 16–17, PDF. General modular theory then supplies the KMS boundary condition; Takesaki 1970, modular/KMS relation, pp. 63–72 gives the abstract step.

Every hypothesis matters. Without a cyclic and separating vector, the stated modular operator is unavailable. Without the spectrum condition, the required analytic continuation can fail. Without locality, the geometric relation between opposite wedges is lost. A reflecting wall at fixed Rindler radius can preserve boost invariance, yet it changes the theory, vacuum, and localization region and breaks full Poincaré invariance. Boost symmetry alone therefore does not establish the unmodified Minkowski-wedge theorem.

Why global purity is compatible with wedge thermality

The vacuum vector is pure on the global observable algebra. Restricting a state to a proper subalgebra can remove access to correlations with its causal complement, so purity need not survive the restriction. In a regulated two-oscillator illustration, tracing over left-wedge modes produces Boltzmann weights for the right oscillator.

The continuum theorem is subtler. A local wedge algebra is generally Type III and has no canonical trace-class density matrix or Hilbert-space factorization into “right times left.” Calling the restricted state thermal means that its correlation functions satisfy the KMS condition for the boost automorphism. Entanglement language is useful when this algebraic qualification is retained; it is misleading when the formal squeezed-mode product is treated as a literal continuum density matrix.

Scope and limiting cases

The theorem concerns the Minkowski vacuum, a complete Rindler wedge, and the boost automorphism under the stated AQFT hypotheses. It does not automatically extend to a finite diamond, an arbitrary excited state, a spacetime with a boundary, or a generic curved Killing horizon. Related KMS results may hold in those settings, but they require their own state and modular analysis.

KMS thermality also does not by itself specify what a finite detector records. Switching, smearing, energy gap, and duration enter detector response. Nor does a KMS restriction prove emission of radiation to inertial infinity. Those questions are separated on the detector and interpretation pages.

An additional consistency check is stationarity: the restricted vacuum correlation functions are invariant under the full boost group before the KMS strip is invoked. If a proposed wedge state changes explicitly with boost time, exact equilibrium KMS thermality is already excluded, although a long-time detector may still approach an approximate detailed-balance regime.

Exercise

An author rescales boost time to $\widetilde\eta=c\eta$ while leaving the geometric orbit fixed. Determine the new coordinate inverse temperature and show that the proper-time temperature is unchanged.

Solution

Because $\alpha_{\widetilde\eta}$ advances the original boost parameter by $\eta=\widetilde\eta/c$, the KMS strip rescales to $\widetilde\beta=c\beta$. Meanwhile $d\tau/d\widetilde\eta=(d\tau/d\eta)/c$. Their product is unchanged: $\beta_{\mathrm{proper}}=(d\tau/d\widetilde\eta)\widetilde\beta=(d\tau/d\eta)\beta$. Thus the coordinate temperature changes inversely with the time label, but the accelerated observer still measures $T=a_0/(2\pi)$.

This calculation also explains why quoting only a numerical boost temperature is incomplete. The generator and its parameter must be stated together. The invariant answer belongs to the proper-time automorphism of the selected orbit, not to an arbitrary coordinate label placed on the same Lorentz boosts.

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.