Precision Entropy Matching

Precision entropy matching asks more than whether two quantities share the leading area-law growth. It compares a specified microscopic index or degeneracy with a specified macroscopic quantum-gravity observable at fixed charges, including power-law, logarithmic, and exponentially suppressed terms. As of the evidence cutoff 2026-08-20, striking controlled matches exist for highly supersymmetric extremal sectors, but no theorem makes term-by-term equality automatic for generic black holes.

Required background. Gauge Theory and String-Theory Preparation supplies D-brane charges, supersymmetric sectors, and effective expansions. Gravitational Actions and Boundary Terms supplies the macroscopic variational and ensemble definitions.

Helpful background. Quantum Gravity frames the gravitational path integral, Quantum Information distinguishes index, degeneracy, and von Neumann entropy, and Black-Hole Geometry and Mechanics supplies the horizon entropy and charge ensembles.

What must be matched

Let $\Lambda$ scale an integral charge vector, $\Gamma=\Lambda\Gamma_0$. A typical microscopic asymptotic expansion is

$$\log |\Omega(\Lambda\Gamma_0;\mathcal C)| =\Lambda^\alpha S_0+a_{\rm micro}\log\Lambda +c_{\rm micro}+O(\Lambda^{-\delta}) +O\!\left(e^{-\Lambda^\gamma}\right).$$

Here $\Omega$ may be a helicity supertrace rather than an absolute degeneracy, and $\mathcal C$ is a chamber. The macroscopic side must use the same charge lattice and ensemble:

$$S_{\rm macro} =S_{\rm Wald}+S_{\rm 1-loop}+S_{\rm nonpert}+\cdots .$$

The leading term tests the classical charge geometry. The logarithmic coefficient probes the spectrum of massless fluctuations, zero modes, boundary conditions, and ensemble conversion. Exponentially smaller terms can probe additional saddles, orbifolds, multicenter sectors, or contour residues. A constant term is especially sensitive to measure normalization.

State of the evidence through 2026-08-20

Evidence and source	Result or position	Scope, limitation, or adverse evidence
Strominger and Vafa 1996, §§2–3, pp. 2–7, Eqs. (2.1)–(3.9)	A protected weak-coupling large-charge BPS count reproduces the five-dimensional Bekenstein–Hawking entropy, including its numerical coefficient, after transport across coupling.	The count and weakly curved black hole occupy different collective-coupling regimes. Supersymmetric protection supplies the bridge; string-loop and alpha-prime corrections must then be controlled separately on the gravity side. It is not a generic nonextremal count.
Sen 2014, §§1–2, pp. 1–4, Eqs. (1.1)–(2.10)	Exact Fourier coefficients and their saddle expansions reproduce leading and logarithmic terms in several theories with 16 or 32 supercharges.	The microscopic observable is usually an index. Hair removal, charge arithmetic, contour, and ensemble must match; cancellations are an adverse alternative to reading it as an absolute degeneracy.
Sen 2007, §§3 and 5, pp. 15–24 and 31–33	Wall-crossing contributions are exponentially subleading to the dominant single-center growth at large charge.	The terms are still chamber dependent. Their existence defeats any claim that a charge-only area formula captures the exact microscopic answer in every sector.
Sen 2005, §§2–3, pp. 4–10	The entropy function gives a controlled classical higher-derivative contribution at an extremal throat.	Wald terms do not include all quantum loops or nonperturbative saddles; truncating the action without a hierarchy can produce false precision.

The established position is therefore layered: leading and selected subleading agreements in protected examples are controlled results. A broader claim that a single gravitational saddle equals an exact absolute state count is conjectural. Competing positions differ on how much of the exact answer is captured by the near-horizon path integral: one emphasizes localization and protected saddle sums, while another stresses contour, hair, ensemble, and nonperturbative-completion ambiguities.

Matching protocol

First fix the microscopic object: charge lattice, angular momentum, chamber, fermion-zero-mode insertion, and whether exterior degrees of freedom have been divided out. If the generating function is grand canonical,

$$Z(\phi)=\sum_\Gamma \Omega(\Gamma)e^{-\phi\cdot\Gamma},$$

the inverse transform contour is part of the definition. A saddle-point Legendre transform alone can miss the Gaussian determinant that supplies a logarithm.

Next fix the macroscopic object. For an extremal throat, the quantum entropy function is schematically

$$d_{\rm hor}(\Gamma) =\left\langle \exp\!\left[-i q_i\oint_{\partial\mathrm{AdS}_2}A^i\right] \right\rangle_{\mathrm{AdS}_2}^{\rm finite}.$$

One must state the infrared subtraction, boundary conditions, zero-mode measure, and saddle family. Exterior hair then combines with $d_{\rm hor}$ before comparison with a full-space index. The microscopic and macroscopic charge must be the same Page or gauge charge, including higher-derivative shifts.

Finally expand both sides in the same scaling. Agreement at $O(\Lambda^\alpha)$ does not test $a\log\Lambda$. Agreement of $a$ does not fix $c$. Exponentially suppressed sectors should be compared only after specifying which saddles and chambers are included.

Adverse evidence and unresolved questions

Three facts limit the inference. First, an index can be exponentially smaller than a degeneracy through boson–fermion cancellations. Supersymmetric black-hole arguments often control the sign in selected sectors, but no universal positivity theorem is known. Second, multicenter states jump across walls even when the leading single-center area does not. Third, the gravitational path integral requires a contour and a nonperturbative definition; formal saddle expansions need not uniquely determine either.

An unresolved question is how to formulate a nonperturbative, single-system macroscopic observable whose exact integer value, chamber dependence, hair factors, and ensemble agree with a microscopic count beyond the best protected compactifications. Extending comparable control to less supersymmetric or nonextremal black holes remains open.

What could change these conclusions

The conclusions could change if a new localization theorem or no-go proof fixes the complete $\mathrm{AdS}_2$ contour and measure; if an independent microscopic calculation produces a conflicting logarithmic coefficient; if a counterexample demonstrates large index cancellations in a sector previously treated as a degeneracy; or if new boundary-condition, charge, or regulator data changes the hair/saddle factorization. A verified nonperturbative simulation or exact algebraic construction for a less supersymmetric black hole would also materially change the boundary between controlled matching and extrapolation.

Exercises

Suppose $\Omega(\Lambda)\sim C\Lambda^{-b}e^{A\Lambda^2}$ and the macroscopic calculation gives $S_{\rm macro}=A\Lambda^2-b\log\Lambda+\log C+O(\Lambda^{-1})$. Diagnose what has and has not been tested if only the ratio $\log\Omega/(A\Lambda^2)\to1$ is verified.

Solution

Taking the logarithm gives $\log\Omega=A\Lambda^2-b\log\Lambda+\log C+o(1)$. The ratio test divides the discrepancy by $\Lambda^2$, so both the logarithm and constant vanish in that comparison. It verifies only the leading exponential coefficient $A$. It does not test $b$, the measure-dependent constant $C$, the ensemble conversion, or exponentially suppressed saddles. A precision test must subtract $A\Lambda^2$, fit the residual against $\log\Lambda$, and check stability under larger charges before comparing the constant.

References

• Sen, Ashoke. “Black Hole Entropy Function and the Attractor Mechanism in Higher Derivative Gravity.” Journal of High Energy Physics 09 (2005): 038. DOI. Open manuscript.
• Sen, Ashoke. “Microscopic and Macroscopic Entropy of Extremal Black Holes in String Theory.” General Relativity and Gravitation 46 (2014): 1711. DOI. Open manuscript.
• Sen, Ashoke. “Walls of Marginal Stability and Dyon Spectrum in N=4 Supersymmetric String Theories.” Journal of High Energy Physics 05 (2007): 039. DOI. Open manuscript.
• Strominger, Andrew, and Cumrun Vafa. “Microscopic Origin of the Bekenstein–Hawking Entropy.” Physics Letters B 379 (1996): 99–104. DOI. Open manuscript.