Generalized Entropy and Quantum-Corrected Horizons

This chapter replaces area-only horizon diagnostics with a finite generalized entropy and its shape derivatives. The central progression is from a renormalized entropy of a cut to quantum expansion, marginality, and extremality, then to conditional focusing and generalized laws. It treats these objects as semiclassical geometry while reserving fine-grained island recovery for Black-Hole Information.

Helpful background. Quantum Fields in Curved Spacetime supplies states and renormalized observables; Einstein Equations supplies the mean metric; Black-Hole Geometry and Mechanics supplies classical horizons; Semiclassical Gravity supplies backreaction and approximation control; and Quantum Information supplies reduced-state entropy and algebraic distinctions.

Units. This chapter restores $\hbar$ in entropy and quantum-expansion formulas while keeping $c=k_{\rm B}=1$. Thus $G\hbar$ has dimensions of area and the Einstein contribution to dimensionless entropy is $A/(4G\hbar)$; setting $\hbar=1$ recovers the site-wide convention.

The chapter’s durable problem

Classical expansion measures the fractional rate of area change along a null congruence. Quantum fields make area alone incomplete: exterior entropy is ultraviolet divergent, state dependent, and nonlocal, while gravitational couplings run so that their surface entropy changes with the same regulator. The finite object is

$$S_{\rm gen}=S_{\rm grav}^{\rm ren}+S_{\rm out}^{\rm ren}.$$

Varying it along a null generator defines quantum expansion,

$$\Theta_k =\frac{4G\hbar}{\sqrt\gamma} \frac{\delta S_{\rm gen}}{\delta V_k}.$$

Its zero and sign replace classical marginality and trapping within a declared state, cut, outside algebra, regulator, and semiclassical order. Varying in both normal directions gives the quantum-extremality equation. The definitions and original focusing proposal are presented in Bousso et al. 2016, §§ 3.1–3.3, PDF.

The physical distinction is simple: a light sheet can lose a little area while the entropy assigned to its chosen side grows enough to compensate. Then $\theta_k\lt0$ but $\Theta_k\ge0$. “Generalized” refers to adding both contributions before taking the derivative; it does not mean that the matter entropy can be chosen independently of the quantum state.

This chapter excludes fixed-background Hawking derivations and generic QFT foundations. It also does not infer microscopic information recovery from a geometric saddle. Once a radiation algebra, replica continuation, island branch, fine-grained Page curve, or reconstruction claim becomes central, the treatment continues in Black-Hole Information.

Six steps through the subject

The pages are ordered so that every later criterion uses a previously renormalized object:

1. Generalized Entropy of a Cut combines the area and higher-curvature surface terms with exterior quantum entropy and shows why only the sum is scheme independent.
2. Quantum Expansion takes a localized null shape derivative and recovers classical expansion in the leading gravitational limit.
3. Quantum Marginal and Trapped Surfaces classifies the two future quantum-expansion signs while exposing state, slicing, and renormalization dependence.
4. Quantum Extremal Surfaces as Semiclassical Saddles derives stationarity under both normal deformations and separates an extremum from a selected saddle.
5. Quantum Focusing and Generalized Second Laws explains the conditional implication from decreasing quantum expansion plus late-time stationarity to causal-horizon entropy increase.
6. Semiclassical Limits of Islands and Page Curves identifies the extra radiation-region, replica, and dominance data that cross into fine-grained information.

The sequence keeps three operations distinct: renormalize the functional, differentiate it, then—only in a specified problem—select among stationary branches. Reversing that order can turn a cutoff artifact into a claimed horizon or a mere stationary point into a claimed entropy formula.

Reader routes and recurring checks

For a geometric route, read pages 1–4. You will learn to classify a cut using $S_{\rm gen}$, $\Theta_k$, and the two-normal extremality equation. For a horizon-law route, read pages 1, 2, 3, and 5, paying particular attention to whether the surface is a causal horizon or a slicing-dependent marginal tube. For an information-interface route, read pages 1, 4, and 6 and then continue to Black-Hole Information.

Every route uses four recurring checks. First, state dependence must not be mislabeled as renormalization ambiguity. Second, positive rescaling of a null generator may rescale an expansion but cannot change its sign or zero. Third, the limit $G\hbar\to0$ at fixed smooth state data must recover the classical area criterion. Fourth, a quantum extremum need not be a minimum or the dominant saddle.

Quantum focusing is deliberately presented with its evidential status. The unrestricted pointwise QFC has counterexamples, while restricted variants retain controlled results in specified models; the focusing page compares them. Causal-horizon GSL proofs have their own algebraic hypotheses, developed independently in Wall 2012, §§ 2.1–2.8 and 3–5, PDF. Combining those statements without matching horizons, states, and deformations would overstate what is known.

A compact review problem

Consider a cut with classical expansions $\theta_k=0$ and $\theta_\ell=-2/L$. Its renormalized entropy variations contribute $+1/L$ to $\Theta_k$ and $+3/L$ to $\Theta_\ell$. Is the cut classically marginal, quantum marginal, quantum trapped, or quantum extremal? What additional data would be needed to call it an island?

Solution

Classically the cut is marginal because one classical expansion vanishes and the other is negative. Quantum mechanically, $\Theta_k=+1/L$ and $\Theta_\ell=+1/L$, so it is future quantum antitrapped, not marginal, trapped, or extremal. Calling a region an island would additionally require a specified radiation region and algebra, a replica construction and continuation, admissible saddle and homology data, and a controlled extremize-then-select rule for its boundary.

What completion of the chapter enables

A reader can now define a regulator-independent generalized entropy for a cut, compute and normalize its null variation, distinguish quantum marginality from two-normal extremality, and test the conditional logic behind a generalized second law. Equally importantly, the reader can recognize the point where a semiclassical geometric calculation becomes a fine-grained information claim and follow the correct neighboring treatment rather than silently changing the question.

References

• Bousso, R., Fisher, Z., Leichenauer, S., and Wall, A. C. (2016). “A Quantum Focussing Conjecture.” Physical Review D 93, 064044. 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. Open PDF.