Skip to content

Ball Regions and Conformal Modular Hamiltonians

For the vacuum of a conformal field theory, the modular flow of a spatial ball is exactly geometric and its modular Hamiltonian is a local stress-tensor integral. The result follows by conformally mapping the ball’s causal diamond to a Rindler wedge. Conformal covariance and the vacuum are essential: the same local formula is not exact for a massive theory, a generic region, or a generic excited state.

Required background. Conformal geometry and maps supplies the diamond–wedge transformation, the conformal stress tensor supplies the charge, and the Bisognano–Wichmann theorem supplies the wedge modular flow.

Helpful background. The cylinder map and CFT interval, sphere, and cylinder examples relate this flow to thermal descriptions.

Let B={x:r<R}B=\{\mathbf x:r<R\} be the ball at t=0t=0, centered at the origin. Its domain of dependence is the causal diamond t+r<R\lvert t\rvert+r<R. The conformal Killing vector that preserves the diamond is

ζB=πR[(R2t2r2)t2txii].\zeta_B= \frac{\pi}{R} \left[(R^2-t^2-r^2)\,\partial_t -2t x^i\partial_i\right].

It is future-directed inside the diamond and vanishes on the diamond’s null boundary. At t=0t=0,

ζB0=πR(R2r2).\zeta_B^0=\frac{\pi}{R}(R^2-r^2).

The vacuum modular Hamiltonian is therefore

KB=2πr<Rdd1x  R2r22RT00(0,x)+c.K_B= 2\pi\int_{r<R}d^{d-1}x\; \frac{R^2-r^2}{2R}\,T_{00}(0,\mathbf x)+c.

The normalization agrees with the wedge formula near any smooth point of the entangling surface: writing the inward proper distance as =Rr\ell=R-r, the weight obeys (R2r2)/(2R)=+O(2/R)(R^2-r^2)/(2R)=\ell+O(\ell^2/R). The additive cc fixes TreKB=1\operatorname{Tr}e^{-K_B}=1 only in a regulated type-I description and does not affect the flow.

The structural map places Ball Regions and Conformal Modular Hamiltonians 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 JJ 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.

A special conformal transformation maps the right Rindler wedge to the causal diamond of BB. In a CFT, this map is unitarily implemented on the vacuum representation, up to the standard Weyl transformation of local fields. Conjugating the Bisognano–Wichmann modular group by that unitary gives the ball modular group, as derived in Casini, Huerta, and Myers 2011, §2.

For a scalar primary O\mathcal O of scaling dimension ΔO\Delta_{\mathcal O}, the active flow has the form

σs(O(x))=Ωs(x)ΔOO(xs),\sigma_s(\mathcal O(x)) =\Omega_s(x)^{\Delta_{\mathcal O}}\, \mathcal O(x_s),

where xsx_s follows the integral curves of ζB\zeta_B with the modular convention fixed above, and Ωs\Omega_s is the conformal scale factor. Spin indices receive the corresponding local Lorentz transformation. The explicit coordinate fractions depend on the chosen modular-time sign; the invariant content is that the flow preserves the diamond and fixes its tips and entangling sphere.

This construction explains locality. A generic logarithm of a reduced state need not be an integral of T00T_{00}. Here the logarithm is the conserved charge associated with a conformal Killing field because the algebra–state pair is unitarily related to the wedge pair.

The causal diamond is also conformal to the hyperbolic cylinder Rτ×Hd1\mathbb R_\tau\times H^{d-1} with curvature radius RR. Under this map, the reduced vacuum state becomes a thermal state for translations in τ\tau at

Thyp=12πR.T_{\rm hyp}=\frac{1}{2\pi R}.

This thermal description is especially useful for Rényi entropies and spherical entanglement. It is not a statement that the original Minkowski ball has a uniform local temperature. The redshifted inverse temperature with respect to Minkowski time varies as the inverse of the weight:

βloc(r)=2πR2r22R.\beta_{\rm loc}(r)=2\pi\,\frac{R^2-r^2}{2R}.

It tends to zero at the entangling surface, reproducing the universal Rindler behavior, and reaches πR\pi R at the center in this coordinate normalization.

For a 1+11+1-dimensional CFT interval (R,R)(-R,R), the formula reduces to

K(R,R)=2πRRdx  R2x22RT00(x)+c.K_{(-R,R)} =2\pi\int_{-R}^{R}dx\; \frac{R^2-x^2}{2R}\,T_{00}(x)+c.

For a general interval (u,v)(u,v) on the line, translation and rescaling give

K(u,v)=2πuvdx  (xu)(vx)vuT00(x)+c.K_{(u,v)} =2\pi\int_u^v dx\; \frac{(x-u)(v-x)}{v-u}\,T_{00}(x)+c.

The weight is positive inside, vanishes linearly at both endpoints, and has length dimension one. These three checks catch most sign and normalization mistakes.

The exact formula uses the CFT vacuum and a round ball. A relevant deformation introduces a scale and destroys the unitary conformal equivalence to the wedge. An excited state changes the modular operator even if the algebra is unchanged. A deformed entangling surface changes the causal domain and generates response terms, including stress-tensor integrals on null boundaries and contact contributions. Those corrections are addressed through shape perturbation, not by substituting a new radius into the ball kernel.

The formula also does not determine the spectrum of KBK_B as a discrete list. In continuum QFT the local algebra is type III; the hyperbolic thermal picture organizes correlators but does not manufacture a trace-class reduced density matrix.

Using conformal symmetry without the conformal vacuum. A CFT Hamiltonian does not make every state conformally related to the wedge vacuum. The state is part of the modular data.

Calling βloc(r)\beta_{\rm loc}(r) a global temperature. It is a position-dependent conversion between modular flow and Minkowski time. The uniform temperature belongs to the hyperbolic frame.

Forgetting the complement. The displayed integral is one-sided. The full standard-form modular generator acts with the complementary contribution of opposite orientation.

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.

  • Casini, Horacio, Marina Huerta, and Robert C. Myers. “Towards a Derivation of Holographic Entanglement Entropy.” Journal of High Energy Physics 2011, no. 5 (2011): 036. DOI; arXiv.
  • Hislop, Peter D., and Roberto Longo. “Modular Structure of the Local Algebras Associated with the Free Massless Scalar Field Theory.” Communications in Mathematical Physics 84 (1982): 71–85. Project Euclid.