Skip to content

D-Brane Bound States and the Strominger–Vafa Count

The Strominger–Vafa result compares two descriptions of one fixed-charge BPS sector. At weak effective coupling, a protected coefficient of a D-brane bound-state theory grows exponentially with the charges. At a different point in moduli space, the same charges support a five-dimensional extremal black hole whose Bekenstein–Hawking entropy equals the leading logarithm of that coefficient. The comparison is a controlled large-charge entropy match—not a state-by-state map, an exact finite-charge identity, or a count of generic non-BPS black holes.

There are four separate steps: identify the compactification, charges, and observable; derive the protected large-charge coefficient; compute the horizon area in the same charge and spin ensemble; and justify transport between non-overlapping calculable regimes. Keeping those steps separate is what makes the celebrated equality precise.

Required background. D-Branes, Open-Closed Duality, and Gauge Sectors supplies brane charges and open-string degrees of freedom; BPS Indices, Absolute Degeneracies, and Wall Crossing supplies the protection, zero-mode, hair, and cancellation tests used below.

Helpful background. BPS Bounds, Shortening, and Multiplet Recombination supplies shortening; Decoupling Limits and the Original AdS/CFT Proposal supplies the weak/strong-coupling separation.

The literal 1996 calculation used type IIB string theory on K3×S1K3\times S^1. Its lattice Γ5,21\Gamma^{5,21} packages the quantized Ramond–Ramond charges into a vector QFQ_F; in this entropy sector, only its positive invariant norm QF2Q_F^2 enters. The integer QHQ_H is the circle momentum/excitation charge in the duality frame used for the count. The associated supersymmetric sigma model has target SymkK3(K3)\operatorname{Sym}^{k_{K3}}(K3), so the “copy number” kK3k_{K3} counts the K3 factors before the symmetric-product quotient:

kK3=QF22+1,cL=6kK3.k_{K3}=\frac{Q_F^2}{2}+1, \qquad c_L=6k_{K3}.

The protected K3 elliptic-genus coefficient therefore has large-QHQ_H growth

logΩK3(QF,QH)=2πQH ⁣(QF22+1)+subleading terms.\log\lvert\Omega_{K3}(Q_F,Q_H)\rvert =2\pi\sqrt{Q_H\!\left(\frac{Q_F^2}{2}+1\right)} +\text{subleading terms}.

The corresponding nonrotating, two-derivative black hole instead has

SBH(2)=2πQHQF22.S_{\mathrm{BH}}^{(2)} =2\pi\sqrt{\frac{Q_HQ_F^2}{2}}.

Let Smicro,K3(0)S_{\mathrm{micro},K3}^{(0)} denote the displayed square-root term in the microscopic asymptotics,

Smicro,K3(0)2πQH ⁣(QF22+1).S_{\mathrm{micro},K3}^{(0)} \equiv2\pi\sqrt{Q_H\!\left(\frac{Q_F^2}{2}+1\right)}.

The original statement is then leading agreement. Indeed,

Smicro,K3(0)SBH(2)=1+2QF2=1+1QF2+O(QF4),\frac{S_{\mathrm{micro},K3}^{(0)}}{S_{\mathrm{BH}}^{(2)}} =\sqrt{1+\frac{2}{Q_F^2}} =1+\frac{1}{Q_F^2}+O(Q_F^{-4}),

before other finite-charge corrections are included. The +1+1 is physical information in the microscopic theory, not an error to erase; the lowest-order area law simply does not resolve it. This is the distinction made in Strominger and Vafa 1996, §§ 1–3, especially eqs. (1.1)–(1.2) and (3.1)–(3.4).

The familiar D1–D5 notation is a useful specialization, but it brings a charge-convention trap. If N1N_1 is the number of D1-branes and Q5Q_5 is the number of D5-branes wrapped on K3, the curvature of K3 induces minus one unit of D1 charge on each D5. The physical Page charge—the conserved, quantized charge measured at infinity—is therefore

Q1=N1Q5,kK3=Q1Q5+1.Q_1=N_1-Q_5, \qquad k_{K3}=Q_1Q_5+1.

By contrast, on T4T^4 there is no analogous K3 curvature shift and the standard copy number is kT4=Q1Q5k_{T^4}=Q_1Q_5. Brane number, Page charge at infinity, and a charge parameter appearing in a corrected near-horizon solution must never be exchanged silently. The K3 shift and its singular-locus implications are discussed in Seiberg and Witten 1999, § 1.

The table records the two frames that are often compressed into the phrase “the Strominger–Vafa count.” They share a leading mechanism but not identical finite-charge data or protected traces.

Two related microscopic entropy frames
Feature Original K3 calculation Toroidal D1–D5–momentum realization
Compactification Type IIB on K3 × S1 Type IIB on T4 × S1
Fixed charges RR lattice vector QF and level QH D1 and D5 Page charges Q1, Q5, and integer KK momentum n
Copy number k = QF2/2 + 1; in the D1–D5 frame, k = Q1Q5 + 1 k = Q1Q5
Protected observable A nonzero K3 elliptic-genus coefficient A modified trace that saturates the extra fermion zero modes
Two-derivative entropy 2π√(QHQF2/2) 2π√(Q1Q5n)
Role in the argument The historical protected large-charge comparison The transparent brane, central-charge, and five-dimensional area calculation

The toroidal D1–D5–momentum bound state

Section titled “The toroidal D1–D5–momentum bound state”

For the explicit calculation, compactify type IIB on Sy1×T4S_y^1\times T^4. Let the circle have circumference 2πR2\pi R and write the four-torus volume as

V4=(2π)4α2v.V_4=(2\pi)^4\alpha'^2v.

Wrap Q1Q_1 D1-branes on Sy1S_y^1, wrap Q5Q_5 D5-branes on Sy1×T4S_y^1\times T^4, and add nn units of Kaluza–Klein momentum along Sy1S_y^1. We fix the D1 and D5 Page charges Q1,Q5Q_1,Q_5 and the integer momentum nn, choose the BPS chirality in which the right movers remain in their Ramond ground state, and define the integer angular charge 2JL3\ell\equiv2J_L^3. The comparison below uses =0\ell=0. Noncompact center-of-mass volume is removed, and the protected trace must contain the insertions that absorb the universal fermion zero modes.

Open strings stretching between the D1- and D5-branes provide the degrees of freedom that bind the two brane charges. At the simple weak-coupling locus there are 4Q1Q54Q_1Q_5 real left-moving bosons and the same number of real Majorana–Weyl fermions. Since a real boson contributes 11 and a real chiral fermion contributes 1/21/2 to the central charge,

cL=4Q1Q5+12(4Q1Q5)=6Q1Q5.c_L =4Q_1Q_5+\frac12(4Q_1Q_5) =6Q_1Q_5.

This free-field count is the shortest route to the leading central charge; the interacting symmetric-product description and its AdS3_3 interpretation belong to D1–D5 CFT and AdS₃ Microstate Data. Callan and Maldacena gave this explicit toroidal realization and the corresponding five-dimensional comparison in Callan and Maldacena 1996, §§ 2–3, especially eqs. (2.9)–(2.12) and (3.1).

The word “protected” needs one more qualification. The ordinary elliptic genus of the T4T^4 theory vanishes because unsaturated fermion zero modes make the trace zero. A suitable toroidal observable is instead a modified trace, conventionally of the form

E2(q,qˉ,y)=TrRR ⁣[(1)2J032J~03(2J~03)2×qL0cL/24qˉLˉ0cR/24y2J03].\begin{aligned} E_2(q,\bar q,y) &=\operatorname{Tr}_{RR}\!\Bigl[ (-1)^{2J_0^3-2\widetilde J_0^3} (2\widetilde J_0^3)^2\\ &\qquad\qquad\times q^{L_0-c_L/24} \bar q^{\bar L_0-c_R/24} y^{2J_0^3}\Bigr]. \end{aligned}

up to normalization conventions. We denote its fixed-(Q1,Q5,n,)(Q_1,Q_5,n,\ell) coefficient by ΩBPS\Omega_{\mathrm{BPS}}. It is a signed, helicity-weighted BPS-multiplet count, not automatically the absolute number dabsd_{\mathrm{abs}} of states. The extra argument needed to identify their leading logarithms is the absence of exponential cancellations, as explained in BPS Indices, Absolute Degeneracies, and Wall Crossing. The zero-mode problem and modified toroidal trace are developed in Maldacena, Moore, and Strominger 1999, §§ 1 and 3, especially eqs. (3.7)–(3.8).

In the chosen BPS chirality, the excitation levels are

L0cL24=n,Lˉ0cR24=0.L_0-\frac{c_L}{24}=n, \qquad \bar L_0-\frac{c_R}{24}=0.

Introduce a protected generating function at fixed Q1Q_1 and Q5Q_5,

Zprot(q,y)=n,ΩBPS(Q1,Q5,n,)qny.Z_{\mathrm{prot}}(q,y) =\sum_{n,\ell}\Omega_{\mathrm{BPS}}(Q_1,Q_5,n,\ell) q^n y^\ell.

The fugacity yy performs the angular-momentum projection. More precisely, the coefficient compared below is obtained from two contour integrals:

ΩBPS(Q1,Q5,n,=0)=dq2πiqn+1dy2πiyZprot(q,y).\Omega_{\mathrm{BPS}}(Q_1,Q_5,n,\ell=0) =\oint\frac{dq}{2\pi i\,q^{n+1}} \oint\frac{dy}{2\pi i\,y} Z_{\mathrm{prot}}(q,y).

At zero spin, the regular angular saddle leaves the leading entropy exponent below unchanged, although its Gaussian determinant can change logarithmic and other subleading terms. We therefore suppress yy only after this projection. The qq-series is a generating device, while its coefficient is the microcanonical observable being compared with the horizon entropy.

Suppose the relevant modular transform is dominated by its polar vacuum—the lowest state whose negative shifted energy controls the high-temperature transform. If the lowest conformal weight in that modular channel, after any required spectral flow, is hminh_{\min}, define

ceff=cL24hmin.c_{\mathrm{eff}}=c_L-24h_{\min}.

The vacuum channel used here has hmin=0h_{\min}=0 and hence ceff=cLc_{\mathrm{eff}}=c_L. At high temperature, q=eβq=e^{-\beta} with β0+\beta\to0^+, its leading behavior is

logZprot(eβ)π2ceff6β.\log Z_{\mathrm{prot}}(e^{-\beta}) \sim\frac{\pi^2c_{\mathrm{eff}}}{6\beta}.

The inverse-transform exponent for the coefficient of qnq^n is therefore

Φ(β)=βn+π2ceff6β.\Phi(\beta) =\beta n+\frac{\pi^2c_{\mathrm{eff}}}{6\beta}.

Its stationary point and value are

β=πceff6n,Φ(β)=2πceffn6.\beta_\star =\pi\sqrt{\frac{c_{\mathrm{eff}}}{6n}}, \qquad \Phi(\beta_\star) =2\pi\sqrt{\frac{c_{\mathrm{eff}}n}{6}}.

For the toroidal D1–D5 modified trace, the required modular and polar data make ceff=cL=6Q1Q5c_{\mathrm{eff}}=c_L=6Q_1Q_5 at this leading order, giving

logΩBPS(Q1,Q5,n,=0)2πQ1Q5n.\log\lvert\Omega_{\mathrm{BPS}}(Q_1,Q_5,n,\ell=0)\rvert \sim2\pi\sqrt{Q_1Q_5n}.

This is Cardy’s modular asymptotic argument, applied to a specified protected coefficient rather than to an unspecified degeneracy; see Cardy 1986, pp. 186–204. Its elementary high-temperature form has a clean sufficient regime

nceff.\frac{n}{c_{\mathrm{eff}}}\longrightarrow\infty.

For example, take

Q1Λ,Q5Λ,nΛ2+ϵ,ϵ>0.Q_1\sim\Lambda, \qquad Q_5\sim\Lambda, \qquad n\sim\Lambda^{2+\epsilon}, \qquad \epsilon>0.

Then n/ceffΛϵ/6n/c_{\mathrm{eff}}\sim\Lambda^\epsilon/6\to\infty and the displayed saddle is controlled. Merely saying “all charges are large” is not enough: if Q1,Q5,nΛQ_1,Q_5,n\sim\Lambda, then n/ceff1/(6Λ)0n/c_{\mathrm{eff}}\sim1/(6\Lambda)\to0. Exact protected generating functions, long-string organization, and U-duality can extend the leading entropy formula into other charge scalings, but that is additional structure—not a conclusion of this one-line saddle. The distinction is explicit in Maldacena, Moore, and Strominger 1999, § 6.

Now move to a point where the same quantized charges produce a reliable classical horizon. In five-dimensional Einstein frame, the nonrotating three-charge solution can be written

ds52=(H1H5Hp)2/3dt2+(H1H5Hp)1/3(dr2+r2dΩ32),ds_5^2 =-(H_1H_5H_p)^{-2/3}dt^2 +(H_1H_5H_p)^{1/3} \left(dr^2+r^2d\Omega_3^2\right),

with

Hi(r)=1+ri2r2.H_i(r)=1+\frac{r_i^2}{r^2}.

In the toroidal conventions introduced above,

r12=gsαQ1v,r52=gsαQ5,rp2=gs2α2nvR2,G5=πgs2α24Rv.\begin{aligned} r_1^2&=\frac{g_s\alpha'Q_1}{v}, &r_5^2&=g_s\alpha'Q_5,\\ r_p^2&=\frac{g_s^2\alpha'^2n}{vR^2}, &G_5&=\frac{\pi g_s^2\alpha'^2}{4Rv}. \end{aligned}

The last relation follows by reducing

G10=8π6gs2α4G_{10}=8\pi^6g_s^2\alpha'^4

over (2πR)V4(2\pi R)V_4. Near r=0r=0, the coefficient of dΩ32d\Omega_3^2 approaches (r1r5rp)2/3(r_1r_5r_p)^{2/3}. Hence the horizon three-sphere has area

AH=2π2r1r5rp.A_H=2\pi^2r_1r_5r_p.

The product of charge radii is

r1r5rp=gs2α2vRQ1Q5n,r_1r_5r_p =\frac{g_s^2\alpha'^2}{vR} \sqrt{Q_1Q_5n},

so every continuous compactification parameter cancels:

SBH(2)=AH4G5=2πQ1Q5n.S_{\mathrm{BH}}^{(2)} =\frac{A_H}{4G_5} =2\pi\sqrt{Q_1Q_5n}.

This normalization and compactification follow the explicit three-charge solution in Callan and Maldacena 1996, § 2, especially eqs. (2.8)–(2.12). The cancellation is the macroscopic counterpart of charge quantization. It is also a useful diagnostic: a leftover factor of gsg_s, RR, vv, or α\alpha' signals inconsistent normalizations. All three charges are essential to this regular two-derivative horizon. If any one vanishes while the others are held fixed, AHA_H collapses and the displayed macroscopic approximation no longer describes a large five-dimensional black hole.

The area formula is trustworthy only when curvature and string loops are small. Two necessary local controls are

L2αgsQ1Q5v1,e2Φhorgs2Q1vQ51,\frac{L^2}{\alpha'} \sim g_s\sqrt{\frac{Q_1Q_5}{v}} \gg1, \qquad e^{2\Phi_{\mathrm{hor}}} \sim g_s^2\frac{Q_1}{vQ_5} \ll1,

with L2r1r5L^2\sim r_1r_5. They are not exhaustive: the entropy and proper horizon scale must also be macroscopic, and the proper circle and four-torus scales must avoid uncontrolled Kaluza–Klein or winding regimes, possibly after moving to an appropriate duality frame. These gravity conditions are imposed at the macroscopic point in moduli space; they need not hold at the weakly coupled D-brane point where the protected coefficient is computed.

The microscopic calculation and the classical horizon calculation are not two approximations valid at the same coupling. That non-overlap is a feature of the argument. In the original K3 variables, loop suppression requires QHQFQ_H\gg Q_F, while small string-frame curvature requires QHQF2Q_H\ll Q_F^2. Together these supergravity estimates give the parametric window

QFQHQF2.Q_F\ll Q_H\ll Q_F^2.

Since cLQF2c_L\sim Q_F^2, this window has QHcLQ_H\ll c_L and does not overlap the elementary Cardy corner QHcLQ_H\gg c_L. Strominger and Vafa emphasized that the weak D-brane and macroscopic black-hole pictures are separated Strominger and Vafa 1996, §§ 2 and 4. Two operations must not be conflated: supersymmetric protection transports a fixed-charge trace continuously through a nonsingular region of moduli space, whereas U-duality can recast the same quantized invariant in a different calculational frame.

That transport is conditional. One must preserve:

  • the same integral Page charges, BPS chirality, and angular-momentum projection;
  • the same protected trace, including the zero-mode insertions;
  • a discrete bound-state sector along a path that avoids walls, continuum thresholds, and singular split loci;
  • a consistent separation of horizon degrees of freedom from center-of-mass modes, hair, and multicenter sectors; and
  • the same approximation order on both sides.

At special binding-modulus loci, D1-branes can separate from D5-branes and the CFT develops a continuum or small-instanton singularity. A statement that “no wall is crossed” is therefore not by itself sufficient; the bound state must remain a discrete sector along the chosen path Seiberg and Witten 1999, §§ 1–2.

Here “fixed charge” names the microcanonical coefficient extracted at each point; it does not mean that the charges remain numerically constant in an asymptotic limit. Along the declared sequence Q1Q5ΛQ_1\sim Q_5\sim\Lambda, nΛ2+ϵn\sim\Lambda^{2+\epsilon} with ϵ>0\epsilon>0, and with the gravity controls satisfied in an appropriate macroscopic frame, the licensed leading statement in the =0\ell=0 sector is

logΩBPS(Q1,Q5,n,0)=SBH(2)(Q1,Q5,n,0)+o ⁣(SBH(2))=2πQ1Q5n+o ⁣(Q1Q5n).\begin{aligned} \log\lvert\Omega_{\mathrm{BPS}}(Q_1,Q_5,n,0)\rvert &=S_{\mathrm{BH}}^{(2)}(Q_1,Q_5,n,0) +o\!\left(S_{\mathrm{BH}}^{(2)}\right)\\ &=2\pi\sqrt{Q_1Q_5n} +o\!\left(\sqrt{Q_1Q_5n}\right). \end{aligned}

The little-oo terms are subleading in the precise sense that their ratio to SBH(2)S_{\mathrm{BH}}^{(2)} vanishes along that sequence. Replacing logΩBPS\log\lvert\Omega_{\mathrm{BPS}}\rvert by logdabs\log d_{\mathrm{abs}} requires a further no-exponential-cancellation argument. Nothing here protects individual wavefunctions, generic non-BPS energies, dynamical observables, or a smooth geometry for every counted state.

The quickest way to understand the claim is to stress its assumptions. In each row, the final column states what remains true rather than treating every failure as total ignorance. The fixed-spin benchmark is the rotating BMPV sector of Breckenridge et al. 1997, §§ 3–4, especially eqs. (3.1) and (4.1). The correction classes in the final row are separated more carefully in Higher-Derivative and Quantum Entropy Corrections.

Hypothesis removal and the strongest surviving conclusion
Change First failed inference What still survives
Use the ordinary T4 elliptic genus Unsaturated fermion zero modes make that trace vanish, so it is not the counted coefficient. BPS states can exist; a correctly modified trace can still detect them.
Excite both chiralities The states can join long multiplets, so weak-coupling multiplicities need not survive the interpolation. A macroscopic non-BPS black-hole solution may exist, but this count does not explain its entropy.
Take balanced large charges For Q1, Q5, n ∼ Λ, the elementary nc Cardy saddle is not controlled. Exact modular data, long strings, or duality may still establish the leading exponent in that regime.
Fix macroscopic spin but omit its fugacity A spin-summed coefficient is being compared with a fixed-spin horizon; the leading exponent can change. A refined coefficient can be compared with the corresponding rotating BMPV entropy.
Cross a wall or singular binding locus The discrete bound-state sector cannot be transported unchanged. The index remains meaningful after specifying the chamber or the appropriate continuum prescription.
Remove one of the three charges The regular two-derivative five-dimensional area collapses. A different small-black-hole or brane problem may remain, but it requires different corrections and controls.
Ask for exact finite-charge equality The leading Cardy and area terms omit charge shifts, inverse-transform terms, higher derivatives, loops, and exterior sectors. Exact indices and corrected Wald or quantum entropy can be compared order by order.

Calling every coefficient a degeneracy. A protected index is a signed trace. Its absolute value can share the leading exponential growth of an absolute degeneracy, but only after zero modes, hair, chamber dependence, and cancellations have been controlled.

Treating K3 and T4T^4 as cosmetic variants. Their leading D1–D5 central charges look alike, but K3 has an induced D1-charge shift and a nonzero ordinary elliptic genus, whereas T4T^4 needs a modified trace.

Assuming large charges automatically imply Cardy control. The displayed saddle needs a relation among charges, not merely three large integers. Balanced large-charge scaling lies outside its elementary ncLn\gg c_L domain.

Looking for one coupling where both pictures are perturbative. The D-brane count and the classical horizon are computed at different moduli. The protected observable, rather than overlapping approximations, connects them.

Promoting the leading match to an exact or state-by-state claim. The count fixes exponential growth in a protected sector. It does not prove typicality, identify a geometry for every state, or determine finite-charge corrections.

Starting from

Smicro,K3(0)=2πQH ⁣(QF22+1),SBH(2)=2πQHQF22,S_{\mathrm{micro},K3}^{(0)} =2\pi\sqrt{Q_H\!\left(\frac{Q_F^2}{2}+1\right)}, \qquad S_{\mathrm{BH}}^{(2)} =2\pi\sqrt{\frac{Q_HQ_F^2}{2}},

find their ratio through order QF2Q_F^{-2}. Why does this not establish the complete first correction to the area law?

Solution

Dividing cancels 2πQH2\pi\sqrt{Q_H} and gives

Smicro,K3(0)SBH(2)=1+2QF2=1+1QF2+O(QF4).\frac{S_{\mathrm{micro},K3}^{(0)}}{S_{\mathrm{BH}}^{(2)}} =\sqrt{1+\frac{2}{Q_F^2}} =1+\frac{1}{Q_F^2}+O(Q_F^{-4}).

The expansion isolates the effect of the microscopic copy-number shift, but a finite-charge entropy comparison also receives higher-derivative, quantum, inverse-transform, and exterior-mode contributions. One visible correction is not automatically the complete correction at that order.

For the rotating BMPV sector, use the same integer angular charge =2JL3\ell=2J_L^3 as in the generating function:

S()=2πQ1Q5n24.S(\ell)=2\pi\sqrt{Q_1Q_5n-\frac{\ell^2}{4}}.

Set =2αQ1Q5n\ell=2\alpha\sqrt{Q_1Q_5n} with 0<α<10<\alpha<1. Compare S()S(\ell) with the =0\ell=0 entropy and explain why a spin-summed microscopic coefficient cannot be substituted without a new projection.

Solution

Substitution gives

S()=2πQ1Q5n1α2=S(=0)1α2.S(\ell) =2\pi\sqrt{Q_1Q_5n}\sqrt{1-\alpha^2} =S(\ell=0)\sqrt{1-\alpha^2}.

For fixed nonzero α\alpha, the factor 1α2\sqrt{1-\alpha^2} changes the leading entropy, not merely a logarithmic prefactor. A spin-summed or =0\ell=0 coefficient therefore answers a different question. The microscopic generating function must retain yy and extract the coefficient with the same \ell as the macroscopic solution.

Use the three charge radii and G5G_5 above to derive AH/(4G5)A_H/(4G_5). Check dimensions before substituting.

Solution

Each ri2r_i^2 has dimensions of length squared, so r1r5rpr_1r_5r_p has dimensions of length cubed, as a three-sphere area must. Multiplying the radii gives

r1r5rp=gs2α2vRQ1Q5n.r_1r_5r_p =\frac{g_s^2\alpha'^2}{vR}\sqrt{Q_1Q_5n}.

Therefore

AH4G5=2π24G5gs2α2vRQ1Q5n=2πQ1Q5n.\frac{A_H}{4G_5} =\frac{2\pi^2}{4G_5} \frac{g_s^2\alpha'^2}{vR} \sqrt{Q_1Q_5n} =2\pi\sqrt{Q_1Q_5n}.

The result is dimensionless and independent of gsg_s, RR, vv, and α\alpha'.

4. Build an exponential index cancellation

Section titled “4. Build an exponential index cancellation”

Let a>b>0a>b>0 and, for large integer Λ\Lambda, define

AΛ=eaΛ,BΛ=ebΛ.A_\Lambda=\lfloor e^{a\Lambda}\rfloor, \qquad B_\Lambda=\lfloor e^{b\Lambda}\rfloor.

Suppose a BPS sector has d+=AΛ+BΛd_{+}=A_\Lambda+B_\Lambda states with positive sign in the trace and d=AΛd_{-}=A_\Lambda states with negative sign. Compare the protected index Ω=d+d\Omega=d_{+}-d_{-} with the absolute degeneracy dabs=d++dd_{\mathrm{abs}}=d_{+}+d_{-}.

Solution

The leading common contribution cancels from the index:

Ω=BΛ,dabs=2AΛ+BΛ.\Omega=B_\Lambda, \qquad d_{\mathrm{abs}}=2A_\Lambda+B_\Lambda.

Consequently,

logΩbΛ,logdabsaΛ.\log\lvert\Omega\rvert\sim b\Lambda, \qquad \log d_{\mathrm{abs}}\sim a\Lambda.

The index and absolute degeneracy have different leading exponential growth even though both are nonzero. This construction shows why protection of an index alone does not justify replacing it by an absolute count; a sign-coherence or no-exponential-cancellation test is essential.

The logical chain is now explicit:

  1. a specified D-brane bound state supplies a protected fixed-charge coefficient;
  2. modular asymptotics determine its leading exponential growth in a declared regime;
  3. the five-dimensional solution gives the same charge-dependent horizon area; and
  4. supersymmetric protection transports the observable between calculable but non-overlapping points in moduli space.

The result is unusually strong evidence that the entropy of this supersymmetric five-dimensional sector counts quantum states. Its strength comes from matching a normalization and charge dependence that were not fitted after the fact. Its ceiling is equally important: the leading protected match does not by itself settle finite-charge corrections, generic non-BPS entropy, microstate geometry, or typicality.

Continue to D1–D5 CFT and AdS₃ Microstate Data for the symmetric-product and long-string structure, Attractor Mechanism and Charge-Only Entropy for the macroscopic moduli-flow explanation, and Higher-Derivative and Quantum Entropy Corrections for the terms hidden by the leading equality.

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.

  • Breckenridge, James C., Robert C. Myers, Amanda W. Peet, and Cumrun Vafa. “D-Branes and Spinning Black Holes.” Physics Letters B 391, 93–98 (1997). DOI. Open PDF.
  • Callan, Curtis G., Jr., and Juan M. Maldacena. “D-Brane Approach to Black Hole Quantum Mechanics.” Nuclear Physics B 472, 591–610 (1996). DOI. Open PDF.
  • Cardy, John L. “Operator Content of Two-Dimensional Conformally Invariant Theories.” Nuclear Physics B 270, 186–204 (1986). DOI.
  • Maldacena, Juan, Gregory Moore, and Andrew Strominger. “Counting BPS Blackholes in Toroidal Type II String Theory.” arXiv:hep-th/9903163 (1999). Open PDF.
  • Seiberg, Nathan, and Edward Witten. “The D1/D5 System and Singular CFT.” Journal of High Energy Physics 1999, no. 04, 017 (1999). DOI. Open PDF.
  • Strominger, Andrew, and Cumrun Vafa. “Microscopic Origin of the Bekenstein–Hawking Entropy.” Physics Letters B 379, 99–104 (1996). DOI. Open PDF.