Modular KMS Relations and Modular Correlators

Modular flow makes the reference state a KMS state with a unit-width imaginary modular-time strip. This analyticity is intrinsic to the algebra–state pair and survives even when the modular Hamiltonian is nonlocal or has no density-matrix representation. The ordering relation is exact, but its signs depend on whether the flow is written with $\Delta^{is}$ or $\Delta^{-is}$ .

Required background. Thermal density operators and the KMS condition supply equilibrium analyticity; Tomita–Takesaki flow supplies the modular automorphism group.

Helpful background. Relative modular operators and cocycles extend the same analytic machinery to state comparisons.

Fixing the strip by fixing the flow

Use throughout

\sigma_s(A)=\Delta^{is}A\Delta^{-is}, \qquad K=-\log\Delta.

For analytic $A,B\in\mathcal A$ , the modular KMS theorem in Takesaki 1970, Ch. III applies to the real-time correlator

F_{A,B}(s)=\omega(A\sigma_s(B))

is the lower boundary of a function analytic for

-1<\operatorname{Im}z<0,

continuous under the usual boundedness assumptions on the closed strip, with the opposite boundary

F_{A,B}(s-i)=\omega(\sigma_s(B)A).

If instead one defines $\alpha_s=\sigma_{-s}=\Delta^{-is}(\,\cdot\,)\Delta^{is}$ , then

G_{A,B}(z)=\omega(A\alpha_z(B))

is analytic in $0<\operatorname{Im}z<1$ and obeys

G_{A,B}(s+i)=\omega(\alpha_s(B)A).

These are the same KMS condition after reversing modular time. Stating only “the strip has width one” without giving the flow convention leaves the operator ordering ambiguous.

The structural map places Modular KMS Relations and Modular Correlators between intrinsic modular data and the additional hypotheses that permit a geometric interpretation.

A standard algebra-state pair determines the Tomita operator, modular conjugation, modular flow, and relative modular data; only additional covariance or conformal hypotheses turn the flow into wedge or ball geometry. — Tomita polar decomposition intrinsically produces $J$ and $\Delta$ . Wedge boosts and CFT ball flow are special consequences of locality, covariance, the spectrum condition, the vacuum, and—only for the ball—the conformal map. The diagram is schematic and not to scale.

Finite-dimensional verification

Let $\rho=\sum_n p_n\lvert n\rangle\langle n\rvert$ be faithful and let $\sigma_s(B)=\rho^{is}B\rho^{-is}$ . Then

F_{A,B}(z)= \sum_{m,n} p_m^{\,1-iz}p_n^{\,iz}A_{mn}B_{nm}.

At $z=s-i$ the coefficient becomes $p_n(p_n/p_m)^{is}$ , so relabeling the indices gives

F_{A,B}(s-i) =\operatorname{Tr}\!\left(\rho\,\sigma_s(B)A\right).

This two-line calculation is an effective convention check. If a proposed boundary formula fails it, the imaginary shift or the sign in $\Delta^{is}$ has been reversed.

For an actual Gibbs state $\rho=Z^{-1}e^{-\beta H}$ and physical Heisenberg evolution $\tau_t(A)=e^{itH}Ae^{-itH}$ ,

\sigma_s(A)=\tau_{-\beta s}(A).

Thus modular time agrees with rescaled physical time only for this equilibrium algebra and dynamics. For a wedge, the corresponding physical motion is a boost; for a CFT ball, it is conformal Killing flow. In a generic local region there is no such spacetime interpretation.

Modular-frequency representation

Let $P(dk)$ be the spectral measure of $K$ . For vectors on which the products are defined,

\omega(A\sigma_s(B)) =\int_{\mathbb R^2} e^{-is(k-k')}\, d\langle\Omega,A\,P(dk)B\,P(dk')\Omega\rangle.

The frequency is a difference of modular spectral values, not necessarily an energy difference. Fourier transformation of the KMS boundary relation yields detailed-balance relations between opposite modular frequencies. Their exact exponential sign follows the chosen Fourier transform and modular-time convention; it should be derived from the displayed boundary equation rather than memorized.

This spectral view is useful even when $K$ has continuous spectrum. One works with measures or smeared frequency windows instead of pretending that there is a discrete list of “entanglement energies.” The spectral-measure page develops this distinction.

Analytic elements and unbounded observables

Tomita–Takesaki theory gives KMS boundary values first for bounded algebra elements. Entire analytic elements under $\sigma_s$ form a strongly dense $*$ -subalgebra and make $\sigma_z(A)$ meaningful for complex $z$ . A common regularization is Gaussian smearing,

A_\epsilon= \frac{1}{\sqrt{\pi\epsilon}} \int_{-\infty}^{\infty}ds\; e^{-s^2/\epsilon}\sigma_s(A),

which is entire analytic and converges strongly to $A$ as $\epsilon\downarrow0$ under standard assumptions.

Local fields are operator-valued distributions and are not bounded elements of the local von Neumann algebra. Their modular correlators require spacetime smearing, a common invariant domain, and distributional boundary values. Contact terms can occur when analytic continuation changes the ordering across coincident insertions.

What the KMS relation does and does not show

The condition establishes stationarity of $\omega$ under modular flow, cyclic exchange after an imaginary shift, and positivity properties of modular spectral functions. It does not by itself establish:

a local expression for $K$ ;
a physical temperature measured by an inertial thermometer;
exponential growth, scrambling, or a chaos exponent;
boundedness of arbitrary normalized correlators in a narrower strip.

Those additional conclusions require geometric input, a specified observable class, and explicit norm bounds. In particular, modular analyticity is not automatically a chaos bound.

Common pitfalls

Moving between upper and lower strips without reversing time. The two presentations are equivalent only after replacing $\sigma_s$ by $\sigma_{-s}$ . Carry the operator ordering with the change.

Calling the unit strip an inverse temperature in seconds. Modular $s$ is dimensionless. A physical inverse temperature appears only after identifying $s$ with a dimensionful evolution parameter.

Applying complex flow to an unsmeared field. The analytic-element theorem concerns bounded algebra elements. Smear fields and account for domains and contact terms.

Before assigning geometric meaning to this modular statement, use the validity map to check standardness, spectral domains, normalization, geometric hypotheses, and approximation control independently.

A decision map separates exact modular conclusions from failures caused by missing faithfulness, uncontrolled operator domains, absent geometric theorems, or perturbative nonlocal kernels. — A modular-flow claim is only as strong as its algebra–state standardness, spectral domain, normalization, geometric hypotheses, and approximation control. Dashed branches mark conditional steps; the terminal warnings identify common out-of-domain uses. The diagram is schematic and not to scale.

References

Takesaki, Masamichi. “Tomita’s Theory of Modular Hilbert Algebras and Its Applications.” Lecture Notes in Mathematics 128. Berlin: Springer, 1970. DOI.