Massless black holes and black rings as effective geometries of the D1-D5 system

The thing to take away: this paper does one calculation properly and one by hand-waving, and it is fairly clear about which is which. The proper one is the J=0 story. Take a typical Ramond ground state, compute the two-point function of a non-twist probe at the free orbifold point, and for t << sqrt(N) the sum over constituent twists factors out and collapses to exactly the M=0 BTZ propagator. Eq. (4.14) is an exact free-field result, the reduction to (4.16) uses the Virasoro constraint exactly, and the t << n approximation is applied only where the distribution actually lives, at n ~ sqrt(N). The match to (2.14) is not a fit; it is an identity. The breakdown time t_c ~ sqrt(N) and the recurrence estimate (4.18) are consistent, and Fig. 1 shows the crossover. That is a real, controlled demonstration that a horizon geometry emerges as a coarse-grained description and fails at a computable time, in the simplest system where you can actually do the arithmetic. Worth citing for that alone. The nonzero-R-charge section is a different animal. The statistical mechanics is fine: the state splits into a BE condensate plus an uncharged remainder, and the entropy (3.7) follows. But the correlator (4.28) is a linear weighted sum of a global-AdS_3 term and an M=0 BTZ term, and the paper then asserts the effective geometry is a single singular black ring (4.39). A single classical geometry does not generically produce a weighted sum of two other geometries' correlators. The authors know this and say so: they state that proving it requires computing the bulk-boundary propagator in (4.39) and matching (4.28). So the black-ring identification is a plausibility argument built from the Lunin-Mathur profile, not a derivation. That is the load-bearing soft spot, and it sits under the abstract's headline interpretive claim (s9) while leaving the J=0 core untouched. Two smaller things. The free-orbifold caveat is real but acknowledged in Sec. 2.1, so I would not hold it against them. The late-time mean scaling as 1/sqrt(N) rather than e^−cS is a genuine loose end, and they flag it as likely an artifact of non-twist probes in the free limit. One note on the record: the classifier reports no stated limitations, which is wrong; Sec. 2.1 and Sec. 4.4 both state them plainly. Who should read it: anyone working on fuzzballs, typical states, or emergent geometry from CFT correlators. Send it out.

The J=0 claim (Eq. 4.16 matching the M=0 BTZ propagator 2.14) is a clean free-field derivation: the sum over n of n*N_n/N equals one by the Virasoro constraint, and the t<<n image sum reproduces (2.14). The reader's weakest_assumption (orbifold point vs. strong coupling) is real but is acknowledged in Sec. 2.1 and is a generic caveat of orbifold-point computations, not a specific defect. The sharper, less-acknowledged concern is in Sec. 4.4. The CFT correlator (4.28) is a *linear weighted sum* of a global-AdS_3 (BEC) term and an M=0 BTZ term, with weights |J|/N and 1-|J|/N. The paper then asserts the effective geometry is a *single* singular black ring (4.39). A single classical geometry's boundary correlator is not, in general, a weighted sum of two distinct geometries' correlators; the authors concede this gap: 'In order to prove the above statement, one should compute the bulk-boundary propagator in the singular black ring geometry (4.39) and show that it leads to the boundary CFT correlation function (4.28), (4.30).' They also leave open how the CFT superposition maps onto one ring. So the black-ring identification (abstract:s8) rests on a plausibility argument from the Lunin-Mathur profile (4.31)-(4.39), not a derivation. This is the load-bearing concern because the abstract's headline interpretive claim (s9) and the black-ring result (s8) both depend on it, while the J=0 core (s5) does not.

The reader's verdict (CONDITIONAL, HIGH confidence) and its strongest_claim are correct: the J=0 derivation (4.14)->(4.16) is exact free-field orbifold work, the Virasoro constraint is used exactly, and the match to (2.14) is genuine. I agree the J=0 core is well supported within its stated approximation. Where I differ is emphasis: the reader's weakest_assumption centers on the orbifold-point-vs-strong-coupling caveat, which the authors explicitly acknowledge in Sec. 2.1 ('exact agreement with computations in supergravity is not expected in all cases') and Sec. 4.3. That is a generic, disclosed limitation, not the sharpest soft spot. The sharper concern is the Sec. 4.4 step from the weighted-average correlator (4.28) to a single singular black ring (4.39), which the authors themselves flag as requiring a bulk-boundary propagator computation they did not perform. This is a specific, locatable gap rather than a generic caveat, and it bears on abstract:s8 and the interpretive claim s9. Because the authors disclose this gap and the J=0 core (s5) is independently solid, the concern does not move the verdict below CONDITIONAL; it sharpens *why* CONDITIONAL is right. Hence UNCHANGED and partial agreement with the reader.

The J=0 result is a clean, essentially exact computation within the free orbifold, and the sum-rule argument makes the universality of the response transparent: the sum over constituent twists factors out and equals one by the Virasoro constraint, so the leading correlator is independent of the microstate distribution. This gives a concrete realization, in the simplest black-hole-like D-brane system, of the picture in which a black hole geometry is the coarse-grained description of typical microstates, and it makes the breakdown at t ~ t_c explicit. The paper is careful to distinguish derived results from plausibility arguments, and the comparison with the conical-defect and BTZ propagators is well organized. The black-ring discussion is a useful, if conjectural, extension.

The paper asks how a smooth-looking black hole geometry can emerge from a quantum state that is really one of an enormous number of distinct microstates. Working in the D1-D5 conformal field theory at its free orbifold point, the authors compute two-point functions of simple probe operators in 'typical' Ramond ground states, meaning states whose distribution of twist operators sits at the statistical average. They find that for time separations much shorter than a critical time of order $t_c = O(1/|J|)$ in the number of effective branes, the answer is exactly the bulk two-point function of a massless BTZ black hole, independent of which typical state was chosen. Beyond that time the effective geometry stops working and the correlator reverts to a state-dependent, quasi-periodic signal, which the authors read as evidence that a black hole geometry is a coarse-grained description rather than a fundamental object.

What carries the argument. The load-bearing device is the decomposition of the D1-D5 Ramond ground state into constituent twist operators $N$ and the resulting factorization of any non-twist probe correlator into a sum of independent contributions, one per constituent twist, Eq. (4.5). Each contribution is a covering-space two-point function on a cylinder of effective circumference $N$, Eq. (A.33), so the twist length $N$ controls both the weight $nN_n/N$ and the period of the image sum. Because the typical distribution $N_n = 8/|J|$ is peaked at $n$ of order $N$, the image sum can be extended to infinity for early times, and the sum over $N$ then collapses by the constraint $N = 1$. That collapse is what turns a state-dependent sum into a single universal propagator, the massless BTZ correlator.

Core claim. For a typical Ramond ground state with vanishing R-charge, the two-point function of a non-twist probe reduces to a sum over constituent twists $n$ weighted by $nN_n/N$; the Virasoro constraint $N = 1$ makes the weights sum to one, and for $t$ much less than the typical twist $n$ the image sum over the twist's $n$ copies extends to an infinite sum over images. The result, Eq. (4.16), is precisely the boundary correlator of a massless scalar in the $M=0$ BTZ geometry, Eq. (2.14), so the effective geometry is universal across typical states and independent of the microscopic distribution. The approximation holds only while $t$ is much less than $t_c = O(1/|J|)$; at late times the correlator becomes quasi-periodic with a state-dependent mean, and exact periodicity is restored on a Poincaré recurrence time of order $e^{cS}$ with $S = 2|J|$. For nonzero R-charge the typical state splits into a Bose-Einstein condensate of $N$ unit-length strings plus a chargeless typical state of level $N-|J|$, so the correlator is a weighted sum of a global AdS$_3$ response (with a Wilson line) and the massless BTZ response; coarse-graining the Lunin-Mathur geometry of a circular profile plus random small fluctuations yields a singular zero-horizon black ring.

The premise it rests on. The entire computation is done at the free orbifold point of the D1-D5 CFT, so identifying the resulting correlators with a semiclassical bulk geometry assumes the free-theory answer survives the deformation to strong coupling, a caveat the authors state explicitly in Section 2.1.

The decay of correlators at late times is not evidence of information loss; it is the signature of coarse-graining, with quasi-periodicity returning at a recurrence time of order $e^{cS}$.

Summing over the SL(2,Z) images of BTZ cannot restore quasi-periodicity, because the effective geometry is only an average over microstates and the images are part of that same average.

The massless BTZ geometry, although not dual to any single microstate (it would require $N$ larger than $N$), is the correct effective description of almost all $J=0$ ground states at early times.

For $J$ nonzero, the effective geometry is a singular zero-horizon black ring rather than a superposition of two classical geometries, even though the CFT correlator takes the form of a weighted sum.

The stretched-horizon picture is supported quantitatively: a typical conical defect has $N$ of order $N$, and the matching BTZ horizon has entropy of order $N$, which is the correct ground-state entropy of the D1-D5 system.

The method suggests a general recipe for other holographic systems: take a family of known microstate geometries, average over the random fluctuations that a typical state carries in the large-$N$ limit, and read off the resulting effective metric. The same recipe could be applied where a genuine horizon is present rather than a zero-horizon limit.

The critical time scaling as the square root of the central charge hints that the breakdown of an effective geometry at $t_c$ is generic to large-$N$ holographic CFTs, not a peculiarity of the D1-D5 orbifold.

Repeating the computation with twist-operator probes would likely reveal deviations from the massless BTZ response at times shorter than $t_c$, which would sharpen what counts as a 'typical' measurement.

The power-law rather than exponential late-time mean is attributed by the authors to the free orbifold point and to using only non-twist probes; an interacting or twist-probe computation would test whether that attribution is correct.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review