Higher-Derivative and Quantum Entropy Corrections
Subleading black-hole entropy is a sharper microscopic test than the area law because higher-derivative couplings, massless loops, zero modes, and ensemble transforms leave distinguishable terms. A valid match holds charges, boundary conditions, and correction order fixed; agreement of the leading exponential does not determine a logarithmic coefficient.
Required background. Noether-Charge Entropy and Higher-Curvature Terms supplies the macroscopic entropy functional; Attractor Mechanism and Charge-Only Entropy supplies the charge-fixed saddle.
Helpful background. One-Loop Graviton EFT supplies determinant power counting; Marginal Stability, Chambers, and Wall Crossing supplies chamber control.
Three sources of subleading terms
Section titled “Three sources of subleading terms”For charges scaled as , organize
The macroscopic terms have different origins:
- local higher-derivative operators change the classical saddle and its Noether-charge entropy;
- nonzero-mode determinants of massless fields produce one-loop logarithms and constants;
- gauge, diffeomorphism, and supersymmetry zero modes require collective-coordinate measures.
For a diffeomorphism-invariant Lagrangian, the stationary-horizon entropy contains
with additional care for noncovariant Chern–Simons terms. This formula and its hypotheses follow from Wald 1993 and Iyer and Wald 1994.
First application: match a logarithmic coefficient
Section titled “First application: match a logarithmic coefficient”Suppose a protected generating function has inverse transform
At a large-charge saddle , Gaussian integration gives
where . If in each of directions, the ensemble transform alone contributes
The macroscopic fixed-charge calculation must include the corresponding boundary and zero-mode measure before comparing with . Sen derived logarithmic corrections in extremal black-hole backgrounds and showed their dependence on the massless field content Sen 2012.
Adversarial control: omit zero modes or change ensemble
Section titled “Adversarial control: omit zero modes or change ensemble”Dropping gauge and supersymmetry zero modes changes a logarithmic coefficient even when every nonzero eigenvalue is computed correctly. Comparing a grand-canonical determinant with a microcanonical microscopic coefficient introduces the Hessian term above. Either mistake can preserve while spoiling .
The strongest comparison therefore reports the effective action, charge scaling, horizon topology, massless spectrum, zero-mode prescription, ensemble transform, and chamber. Higher-derivative agreement tests protected couplings; one-loop agreement tests substantially more data. Neither automatically establishes an all-orders finite-charge identity or a result for non-BPS black holes.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.
References
Section titled “References”- Iyer, Vivek, and Robert M. Wald. “Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy.” Physical Review D 50, 846–864 (1994). DOI. Open PDF.
- Sen, Ashoke. “Logarithmic Corrections to Schwarzschild and Other Non-Extremal Black Hole Entropy in Different Dimensions.” General Relativity and Gravitation 44, 1947–1991 (2012). DOI. Open PDF.
- Wald, Robert M. “Black Hole Entropy Is the Noether Charge.” Physical Review D 48, R3427–R3431 (1993). DOI. Open PDF.