Bekenstein–Hawking Entropy and the Generalized Second Law

Black-hole entropy is simultaneously geometric, thermodynamic, and state-dependent—but only after those roles are separated carefully. This chapter develops the quarter-area entropy from mechanics and temperature, builds the renormalized generalized entropy by adding exterior quantum entropy, and explains why relative-entropy monotonicity yields a conditional generalized second law. It ends at a deliberate boundary: thermodynamic monotonicity is not yet a proof of fine-grained information recovery.

Helpful background. Quantum Fields in Curved Spacetime supplies Hadamard states and horizon thermality; Einstein Equations supplies gravitational response; Black-Hole Geometry and Mechanics supplies horizon cuts and the first law; and Semiclassical Gravity supplies the effective expansion and renormalization framework.

The entropy hierarchy

Three layers organize the chapter. For stationary Einstein gravity,

$$S_{\mathrm{BH}}=\frac{A}{4G_{\mathrm{ren}}}$$

is the leading thermodynamic entropy. In a general local gravitational effective action, it is replaced by the appropriate renormalized Noether-charge entropy $S_{\mathrm{grav}}^{\mathrm{ren}}$ on a stationary bifurcation surface. General cuts can require additional extrinsic-curvature terms. A cut $\Sigma$ of a horizon then carries generalized entropy

$$S_{\mathrm{gen}}[\Sigma] =S_{\mathrm{grav}}^{\mathrm{ren}}[\Sigma] +S_{\mathrm{out}}^{\mathrm{ren}}[\Sigma].$$

The two summands are not separately scheme independent. Short-distance entanglement divergences in $S_{\mathrm{out}}$ are absorbed into Newton’s constant and higher-curvature couplings. It is the combined renormalized quantity that can enter a physical law.

For ordered cuts of a causal horizon, under the required semiclassical, algebraic, state, and renormalization hypotheses, the generalized second law states

$$S_{\mathrm{gen}}[\Sigma_2]\geq S_{\mathrm{gen}}[\Sigma_1].$$

Wald reviews the mechanical, thermal, and generalized laws Wald 2001, §§2–6, PDF. Wall gives the relative-entropy proof for rapidly changing fields and arbitrary causal- horizon cuts in Wall 2012, §§2.1–2.8, printed pp. 6–21, PDF.

Work through the chapter in order

1. The Bekenstein Bound and Generalized Entropy derives the lowering argument in a controlled weak-backreaction regime. It shows how an entropy bound prevents an object lowered toward a horizon from decreasing the generalized entropy, while keeping the bound’s hypotheses visible.
2. Area Entropy and the First Law matches the mechanically normalized horizon first law with $T_{\mathrm H}=\kappa/(2\pi)$. Their common horizon-generator normalization fixes the coefficient $1/(4G)$ without assigning a microscopic interpretation.
3. Renormalization of Generalized Entropy follows the ultraviolet area and curvature terms into the gravitational effective action. It explains why bare area entropy and bare exterior entropy are regulator dependent although their renormalized sum is finite.
4. Proof Strategies for the Generalized Second Law states the causal-horizon theorem with its exact hypotheses. It then traces data processing through modular energy and the semiclassical constraint to generalized-entropy increase, and contrasts quasistationary, hydrodynamic, and classical-focusing arguments.
5. Species, Cutoffs, and Universality resolves the leading $N$-species puzzle by renormalizing gravity and matter together. Induced gravity gives a transparent example, while gauge, nonminimal-coupling, and cutoff caveats limit the microscopic conclusion.
6. Thermodynamic Entropy versus Fine-Grained Recovery identifies the state, region, and algebra behind each entropy. It explains why a GSL result cannot be relabeled a Page-curve or unitarity result.

This order is logical rather than merely historical: motivation from the lowering experiment leads to normalization, normalization to renormalization, renormalization to a meaningful theorem, and the theorem to its interpretive boundary.

A calculation template for entropy claims

Before trusting any proposed black-hole entropy statement, record five pieces of data:

1. Theory and order: Einstein gravity or a higher-curvature action, and the loop or semiclassical order retained.
2. State and algebra: which quantum state is restricted to which exterior, radiation, or horizon algebra.
3. Cut and evolution: whether the surface is a causal-horizon cut, a trapping surface, or an extremal surface, and how two cuts are ordered.
4. Renormalization: which regulator and local counterterms define the geometric and matter contributions.
5. Claim type: a first law, a monotonicity theorem, a coarse-grained statement, or a fine-grained recovery diagnostic.

This template prevents three common substitutions. A regulated $S_{\mathrm{out}}$ cannot replace renormalized $S_{\mathrm{gen}}$; an event- horizon theorem cannot be transferred automatically to a foliation-dependent trapping horizon; and the monotonic entropy of one nested algebra cannot be identified with the potentially nonmonotonic entropy of a growing radiation region.

Central checks and limitations

The quarter-area coefficient passes a normalization check because rescaling a stationary horizon generator rescales its energy, surface gravity, and Hawking temperature together. Generalized entropy passes a cutoff check because every local entropy divergence has a matching gravitational counterterm. The GSL passes a sign check because restriction to a smaller algebra cannot increase relative entropy.

Each check also has a failure boundary. The first-law derivation does not fix additive constants or disconnected saddle branches. The renormalization argument assumes a smooth cut and a local low-energy effective action. The relative-entropy proof requires a causal horizon and an admissible null-surface algebra; it is not unconditional for arbitrary dynamical horizons or nonminimal theories. Solodukhin details the ultraviolet structure and coupling renormalization Solodukhin 2011, §§3.11–3.12, PDF.

Fine-grained Page curves, island rules, and reconstruction require additional input and belong to Black-Hole Information. The present chapter provides the entropy functional and thermodynamic constraints that those analyses must respect.

Review the chapter

A system of entropy $S_{\mathrm m}$ and energy $E$ is lowered to proper distance $\ell$ outside a large, approximately stationary horizon with surface gravity $\kappa$. Its Killing energy delivered to the hole is $\delta M=E\kappa\ell$. Assuming the physical size requires $\ell\geq R$, derive the condition that guarantees nondecrease of generalized entropy. State one assumption that prevents this calculation from being a general proof of the GSL.

Solution

Using $T_{\mathrm H}=\kappa/(2\pi)$ and the first law,

$$\delta S_{\mathrm{grav}} =\frac{\delta M}{T_{\mathrm H}} =\frac{E\kappa\ell}{\kappa/(2\pi)} =2\pi E\ell \geq2\pi ER.$$

Treating the box as initially uncorrelated with the remaining exterior and neglecting its thermal atmosphere, dropping it removes approximately $S_{\mathrm m}$ from the exterior. Thus, at this idealized order,

$$\Delta S_{\mathrm{gen}} \geq2\pi ER-S_{\mathrm m}.$$

Therefore the Bekenstein condition $S_{\mathrm m}\leq2\pi ER$ is sufficient for $\Delta S_{\mathrm{gen}}\geq0$ in this setup. The argument assumes, among other things, a large near-stationary horizon, weak backreaction, a body that fits outside the horizon, and a controlled identification of its exterior entropy. It is a valuable limiting check, not the arbitrary-cut proof supplied by relative-entropy monotonicity.

References

• Solodukhin, S. N. (2011), “Entanglement Entropy of Black Holes,” Living Reviews in Relativity 14, 8. Open PDF.
• Wald, R. M. (2001), “The Thermodynamics of Black Holes,” Living Reviews in Relativity 4, 6. Open PDF.
• Wall, A. C. (2012), “A Proof of the Generalized Second Law for Rapidly Changing Fields and Arbitrary Horizon Slices,” Physical Review D 85, 104049; revised 2018. Open PDF.