Entropy from Conical Defects

Entropy can be extracted from how the Euclidean action responds when the opening angle around a horizon is varied away from its smooth value. The off-shell cone carries curvature localized at its tip; in Einstein gravity that localized term yields $A/(4G)$. Matter loops and higher-curvature terms must be varied in the same regulated action, producing renormalized exterior entropy and the corresponding Wald-like geometric entropy rather than an isolated bare area term.

Required background. Gravitational Actions and Boundary Terms supplies the complete Euclidean action; Variational and Symplectic Geometry supplies the Noether-charge entropy of local gravitational Lagrangians.

Helpful background. Quantum Fields in Curved Spacetime supplies replica traces and ultraviolet regularization; Einstein Equations supplies the smooth saddle; and Black-Hole Geometry and Mechanics supplies the bifurcation surface and its normal plane.

Replica angle and the entropy derivative

For a thermal density operator, the unnormalized replica trace is represented by a Euclidean geometry whose time circle is $\alpha$ times the physical period. Writing $Z(\alpha)=e^{-I_E(\alpha)}$, the entropy is

$$S =-\left.\partial_\alpha \log\frac{Z(\alpha)}{Z(1)^\alpha}\right|_{\alpha=1} =\left.(\alpha\partial_\alpha-1)I_E(\alpha)\right|_{\alpha=1}.$$

The family is smooth at $\alpha=1$. For $\alpha\neq1$, either the opening angle is $2\pi\alpha$ and the geometry has a conical defect, or one works with the corresponding replica cover and quotient. The spatial boundary metric and chemical potentials are held fixed according to the chosen ensemble; the thermal period changes from $\beta$ to $\alpha\beta$. Holding that period fixed as well would not implement $\operatorname{tr}\rho^\alpha$. Solodukhin develops the replica and conical-space constructions in Solodukhin 2011, §§2.6–2.9, PDF.

The normalization by $Z(1)^\alpha$ matters. Without it, differentiating the replica partition function would retain the ordinary on-shell action $I_1$ and would not compute the entropy of a normalized density operator. The operator $\alpha\partial_\alpha-1$ removes the extensive contribution from $\alpha$ identical smooth copies and isolates the response localized where the copies join.

Curvature localizes at the tip

Near a smooth codimension-two surface $\Sigma$, the transverse metric is $d\rho^2+\rho^2d\theta^2$. Giving $\theta$ period $2\pi\alpha$ produces the distributional curvature relation

$$\int_{\mathcal M_\alpha}\sqrt g\,R =\alpha\int_{\mathcal M_1\setminus\Sigma}\sqrt g\,R +4\pi(1-\alpha)A(\Sigma)+O\!\left((1-\alpha)^2\right).$$

For the Euclidean Einstein–Hilbert action,

$$I_E=-\frac{1}{16\pi G}\int\sqrt g\,R+\cdots,$$

the tip contribution is

$$I_{\mathrm{tip}}(\alpha) =\frac{\alpha-1}{4G}A(\Sigma).$$

Substitution in the replica derivative gives

$$S_{\mathrm{grav}}=\frac{A(\Sigma)}{4G}.$$

This calculation is local: the term that survives $(\alpha\partial_\alpha-1)$ is concentrated on $\Sigma$. It also provides a sign check. A positive deficit $2\pi(1-\alpha)$ with $\alpha\lt1$ adds positive integrated curvature, and the minus sign in $I_E$ makes $I_{\mathrm{tip}}$ negative; differentiating restores positive entropy. Solodukhin gives the black-hole cone and entropy calculation in Solodukhin 2011, §§3.1–3.7, PDF.

Higher curvature and quantum fields

For a local diffeomorphism-invariant Lagrangian $L(g,R,\nabla R,\ldots)$, differentiating its conical response produces the stationary Noether-charge entropy. When $L$ depends algebraically on the Riemann tensor, the leading stationary expression is schematically

$$S_{\mathrm{Wald}} =-2\pi\int_\Sigma\sqrt h\, \frac{\partial L}{\partial R_{\mu\nu\rho\sigma}} \epsilon_{\mu\nu}\epsilon_{\rho\sigma}.$$

The binormal satisfies $\epsilon_{\mu\nu}\epsilon^{\mu\nu}=-2$ in the inherited Lorentzian convention before continuation. Iyer and Wald derive the covariant Noether-charge construction and its stationary first-law role in Iyer and Wald 1994, §§3–6, PDF. For nonstationary surfaces and general higher-derivative actions, extrinsic- curvature corrections and ambiguity terms require a more general entropy functional; the stationary Wald formula must not be applied automatically.

Matter contributes through its Euclidean effective action. For minimally coupled scalar fields its conical derivative gives exterior entanglement entropy, including ultraviolet area and curvature divergences. Nonminimal curvature couplings add local horizon-charge terms, and gauge fields require a specified algebra and treatment of edge contributions; their full conical entropy cannot automatically be identified with a naive bulk factorization. The same divergences renormalize $G$ and the higher-curvature couplings. Therefore the physical result is

$$S_{\mathrm{gen}} =S_{\mathrm{grav}}^{\mathrm{ren}} +S_{\mathrm{out}}^{\mathrm{ren}},$$

not a separately meaningful bare geometric or matter entropy. Solodukhin 2011, §§3.11–3.12, PDF shows this matching explicitly at one loop.

Assumptions and failure cases

The basic derivation assumes a stationary nonextremal saddle, a smooth bifurcation surface, a replica family differentiable at $\alpha=1$, and a covariant regulator applied to the full effective action. The curvature radius and smoothing scale must be well above the ultraviolet cutoff. The first omitted terms are higher-loop corrections and higher-dimension local operators.

An exact extremal Euclidean throat has no finite-distance cone tip, so this local derivation cannot simply be repeated there. A singular entangling surface adds corner terms. A complex saddle requires an integration contour before its replica derivative can be interpreted. Finally, finding a formal cone derivative does not establish that the underlying saddle dominates the ensemble.

An independent regulator check is to replace the tip by a smooth cap, extract the term linear in $1-\alpha$ at $\alpha=1$, and then take the cap radius to zero in the regulated curvature identity. The cap’s detailed profile drops out while its integrated curvature approaches $4\pi(1-\alpha)$. Dependence on the smoothing profile would signal that omitted local counterterms or a nonsmooth surface has invalidated the universal tip calculation. The order matters: a fixed finite deficit in an arbitrarily small cap has large curvature and is not itself a controlled smooth saddle of a low-energy gravitational theory.

Exercise

Suppose the regulated replica action near $\alpha=1$ is

$$I_E(\alpha) =\alpha I_1+(\alpha-1)\frac{A}{4G} +c(\alpha-1)^2.$$

Compute the entropy and explain why the coefficient $c$ does not contribute. Then determine how the answer changes if a matter term $(\alpha-1)S_{\mathrm{out}}^{\mathrm{ren}}$ is included.

Solution

Differentiate:

$$\left.\partial_\alpha I_E\right|_{\alpha=1} =I_1+\frac{A}{4G}.$$

Since $I_E(1)=I_1$,

$$S =\left.(\alpha\partial_\alpha-1)I_E\right|_{\alpha=1} =\frac{A}{4G}.$$

The quadratic term and its first derivative vanish at $\alpha=1$, so $c$ affects higher replica response but not the von Neumann entropy. Adding the linear matter term adds $S_{\mathrm{out}}^{\mathrm{ren}}$, giving $S=S_{\mathrm{grav}}^{\mathrm{ren}}+S_{\mathrm{out}}^{\mathrm{ren}}$ when the couplings and entropy are renormalized consistently.

References

• Iyer, V., and R. M. Wald (1994), “Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy,” Physical Review D 50, 846–864. DOI. Open PDF.
• Solodukhin, S. N. (2011), “Entanglement Entropy of Black Holes,” Living Reviews in Relativity 14, 8. DOI. Open PDF.