Scope of String Black-Hole Microstate Counting

String theory gives quantitative microscopic entropy matches for selected black holes, with the strongest control in supersymmetric, extremal, and large-charge sectors. At the 2026-08-20 evidence cutoff, these matches are established and often extend beyond the leading area law. They are not a count of every state of a generic Schwarzschild black hole. The microscopic quantity may be a protected index rather than an unsigned degeneracy, and the macroscopic comparison may require higher-derivative Wald entropy rather than area alone.

Helpful background. Supersymmetric Black Holes, Attractors, and Entropy develops BPS sectors, charge ensembles, attractors, and protected indices.

The D1–D5–momentum benchmark

For a specified five-dimensional BPS system with D1 charge $Q_1$, D5 charge $Q_5$, and momentum quantum number $n$, the large-charge state count gives

$$S_{\mathrm{micro}}=2\pi\sqrt{Q_1Q_5n},$$

matching the Bekenstein–Hawking entropy of the corresponding extremal black hole. Strominger and Vafa derived this result by moving to a weakly coupled description where the protected count is tractable Strominger and Vafa 1996, pp. 99–104. Supersymmetry protects the relevant quantity as the coupling is varied.

Assessment at 2026-08-20	Meaning
Question status	Partially resolved
Evidence status	Established in selected protected sectors; unsupported as a universal generic count
Confidence	High
Domain	Fixed compactification, charges, chamber, ensemble, protection, and large-charge order
What could change the conclusion	A precision generic non-BPS count or finite-charge counterexample

The finite proposition is sector specific: which quantized charges and compactification are held fixed, what microscopic trace is computed, and which macroscopic entropy functional is compared? Leaving any of these implicit makes an apparent match ambiguous.

A starting project: match one count in the source’s charge variables

Choose this topic if you can use a two-dimensional CFT partition function, distinguish a protected trace from an unsigned count, and calculate black-hole entropy. Start with the linked BPS background. Then read Strominger and Vafa 1996, §§2–3, Eqs. (2.11) and (3.4), open PDF. The original paper uses a particular compactification and charge notation; extract those definitions before translating its answer into the schematic D1–D5–momentum expression above.

Reproduce the central-charge and excitation-level input to the asymptotic count, then compare its leading term with the macroscopic area in exactly the same charge variables. Keep the finite shift in the microscopic expression visible and explain why agreement is claimed at leading large charge. Check which limits justify the statistical approximation and the geometric calculation separately. A numerical agreement obtained after fitting the charge conversion is not an independent match.

The deliverable is a short derivation with a charge dictionary, approximation table, and coefficient comparison. It requires analytic work and perhaps symbolic algebra, not a large computation. Guidance in string compactification and supersymmetric indices is essential before extending the count; basic Cardy-formula familiarity is insufficient for wall crossing or localization.

A candidate extension is to reproduce one specified subleading term in a protected sector using the appropriate macroscopic entropy functional. Choose the sector and locate existing coefficient calculations before deciding that a mismatch or new term is research. Pivot if the microscopic quantity changes from index to degeneracy without justification, if the ensemble differs, or if omitted corrections are of the same order as the target. The successful baseline teaches how a controlled microscopic comparison is made; it does not count generic Schwarzschild states.

Index, degeneracy, and chamber

A supersymmetric index weights states with signs, schematically $\operatorname{Tr}(-1)^F e^{-\beta H}$, and can remain invariant under changes of coupling. An absolute degeneracy counts all states positively and need not be protected. Equality between them requires control of sign cancellations, continuum contributions, fermion zero modes, and wall crossing. A large index can establish exponentially many states under suitable conditions; it is not automatically the exact unsigned count in every chamber.

Attractor behavior gives the macroscopic comparison unusual stability. For regular BPS solutions, horizon moduli are fixed by charges within an attractor basin Ferrara, Kallosh, and Strominger 1995, §§2–4. Small black holes, flat directions, multi-center configurations, and walls of marginal stability require separate treatment.

Results and open questions at 2026-08-20

Evidence	Microscopic object	Macroscopic object	Scope boundary
D1–D5–momentum count	Protected BPS count at weak coupling	Leading five-dimensional extremal area entropy	Not a generic nonextremal count
Attractor mechanism	Charge-fixed horizon data	Regular BPS near-horizon solution	Basin, flat-direction, and small-hole qualifications
Wald/entropy-function comparison	Index or partition function with corrections	Higher-derivative Noether-charge entropy	Requires the same effective action and ensemble
$\mathcal N=8$ localization	Protected index/path-integral quantity	Precision near-extremal gravitational result	Strongly protected sector
Twisted-index AdS$_4$ example	Large-$N$ topologically twisted index	Magnetically charged BPS AdS$_4$ entropy	Saddle and chemical-potential extremization required

Benini, Hristov, and Zaffaroni provide an independent AdS$_4$ realization in which a topologically twisted index reproduces BPS black-hole entropy at large $N$ Benini, Hristov, and Zaffaroni 2016, §§2–5. Diversity across flat and AdS examples strengthens the protected-sector conclusion without making it universal.

Beyond the two-derivative area law

Once higher-curvature terms contribute, the correct gravitational observable is the Noether-charge entropy Wald 1993, pp. R3427–R3431, often implemented for extremal holes through the entropy function Sen 2005, §§2–3. Matching a corrected microscopic expansion to the uncorrected area would compare different approximations.

Precision terms can include local higher derivatives, one-loop determinants, zero modes, measure factors, and nonperturbative saddles. Iliesiu, Murthy, and Turiaci use supersymmetric localization in selected $\mathcal N=8$ sectors to connect a gravitational path integral, protected index, and near-extremal state count including nonperturbative geometries Iliesiu, Murthy, and Turiaci 2022, §§2–7. This is a high-precision result precisely because its sector and protection are unusually strong.

Counterexamples, null results, and failed routes

The adversarial substitution is to replace a signed index with the absolute number of states. Without a sign theorem or a controlled asymptotic argument, the replacement is invalid. Similarly, matching only the leading exponential does not establish equality of logarithmic or finite-charge corrections.

Other failed routes include comparing different charge ensembles, ignoring hair outside the horizon, moving across a wall of marginal stability, and extrapolating BPS protection to generic non-BPS states. The claim “string theory has never matched more than area” is also false: precision protected examples include subleading structure. The accurate conclusion lies between these extremes.

What would change the assessment

A controlled finite-charge or generic non-BPS count with a microscopic trace, stability analysis, and the same macroscopic ensemble would broaden the resolved domain. A demonstrable failure of index-to-degeneracy conversion or a corrected coefficient mismatch in a previously accepted sector would narrow it.

For a Schwarzschild-like black hole, a decisive advance would need a state count without relying on supersymmetric protection, together with dynamical evidence that the counted states belong to the relevant thermal sector. Merely reproducing a Cardy-like leading exponential in another protected corner is not that result.

Research checklist

• Fix compactification, quantized charges, angular momenta, and thermodynamic ensemble.
• State whether the microscopic object is an index, degeneracy, partition function, or helicity supertrace.
• Identify chamber, continuum terms, hair, signs, and zero modes.
• Use area entropy only at two derivatives; otherwise compute the Wald functional.
• Match large-charge orders and quote the neglected correction scale.
• Separate single-center states from multi-center or exterior contributions.
• Do not transfer BPS protection to an unprotected non-BPS sector.

Source and data map

The D1–D5 count supplies the foundational match; the attractor mechanism fixes its macroscopic charge dependence; Wald and Sen provide the corrected entropy observable; the AdS$_4$ twisted index supplies an independent example; and $\mathcal N=8$ localization supplies the precision frontier. No localization computation was rerun for this assessment. Reproduction requires charges, chamber, ensemble, index convention, continuum and zero-mode treatment, effective action, measure, and coefficient-by-coefficient comparison.

References

• Benini, F., K. Hristov, and A. Zaffaroni. “Black Hole Microstates in AdS4 from Supersymmetric Localization.” Journal of High Energy Physics 05 (2016) 054. doi:10.1007/JHEP05(2016)054.
• Ferrara, S., R. Kallosh, and A. Strominger. “$\mathcal N=2$ Extremal Black Holes.” Physical Review D 52, R5412–R5416 (1995). doi:10.1103/PhysRevD.52.R5412.
• Iliesiu, L. V., S. Murthy, and G. J. Turiaci. “Black Hole Microstate Counting from the Gravitational Path Integral.” arXiv:2209.13602v1 (2022). arXiv.
• Sen, A. “Black Hole Entropy Function.” Journal of High Energy Physics 09 (2005) 038. doi:10.1088/1126-6708/2005/09/038.
• Strominger, A., and C. Vafa. “Microscopic Origin of the Bekenstein–Hawking Entropy.” Physics Letters B 379, 99–104 (1996). doi:10.1016/0370-2693(96)00345-0.
• Wald, R. M. “Black Hole Entropy Is the Noether Charge.” Physical Review D 48, R3427–R3431 (1993). doi:10.1103/PhysRevD.48.R3427.