Journey to the Center of a Black Hole

Vyshnav Mohan

REVIEW

Journey to the Center of a Black Hole

Vyshnav Mohan

High Energy Physics - Theory · Submitted 28 Sep 2026

Pith's verdict: A clean, honest BTZ calculation whose main new mechanism—the interior Hagedorn wall—is a direct consequence of the assumed exponential density of states rather than a derived prediction; still worth a serious referee.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2609.35705 (version 2)

Pith IDKYIQ6WIS, Pith's permanent record of this paper and its review

CitationVyshnav Mohan. "Journey to the Center of a Black Hole." arXiv:2609.35705 (2026). https://pith.science/paper/KYIQ6WIS

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Read it. I think this is a careful, honest paper that deserves a real referee. The genuinely clean part is the image-sum divergence of the infalling BTZ correlator: each image term tends to the same constant at the singularity, the divergence comes from the sum, and assigning it to double-twist exchanges rather than the vacuum block is a sensible d=2 counterpart of the Čeplak–Liu–Parnachev–Valach result. The new pieces are the interior Hagedorn transition, the closed-form wall location (3.13), the ordering r_H ≫ r_1 for large black holes, and the finite-c crossover estimate. Those are real results, and the author is transparent that the tower is put in by hand rather than derived from a string completion.

The main soft spot is exactly where the stress-test puts it: the central mechanism is conditional on the Hagedorn density. With ρ(m)=e^{β_H m}, the integral (3.9) diverges for ℓ<β_H by a one-line Laplace transform, so ℓ_H=β_H is a restatement of the growth rate, not a derived scale. With polynomial growth no finite wall exists. The author says “let us choose” Hagedorn growth and credits string plausibility, which is fair, but the abstract's “we show” overstates it. The complementarity conclusion should be read as: if a Hagedorn tower is present, then in a large BTZ black hole the corrections that resolve the singularity stay exponentially suppressed at the horizon. That is still an interesting conditional mechanism—the ordering and parametric separation are exact given the assumption—but it is not an unconditional derivation.

Two smaller soft spots, both worth naming. First, the one-loop estimate (3.7)–(3.9) is schematic: the in-in causal analysis in Appendix A is useful and correctly rules out the white-hole singularity, but the claim that the dominant loop is attached at x(τ) is a plausible leading-order estimate, not a computed integral. Second, the crossover (3.33) depends on the cutoff and power-law prefactors; it gives a sensible parametric story but not a precise location. Neither is fatal. The tree-level analysis, the image-singularity resolution via high-frequency truncation, and the Horowitz–Polchinski bound are all in good shape, and the citation pattern is solid—the OPE attribution to [26] is a cited published result, not a gap.

Who should read this: people working on firewalls, interior reconstruction, and holographic signatures of the singularity. It would make a good reading-group paper because the conditional character of the main claim is the interesting point to argue about. I would send it to a good hep-th referee. The referee should ask for the conditional framing to be explicit and perhaps for a sharper one-loop argument, but this is not a desk reject; after revision it should be publishable.

Referee report

Significance

The tree-level analysis is clean and largely checkable: the image-sum divergence at the singularity, the location of the image singularities, and their accumulation near r=0 are explicit and provide a useful sharp example in AdS3/CFT2. The boundary interpretation via double-twist operators is also well motivated and connects the calculation to the existing literature on singularities in holographic correlators. The paper is transparent about its main assumption: the Hagedorn form of the density of states is chosen rather than derived, and the author acknowledges that the transition depends on this choice. If the conditional result is accepted, it is a valuable concrete illustration of how singularity-resolving effects can be parametrically separated from the horizon. However, because the central mechanism is a direct consequence of the assumed exponential density, and because the one-loop amplitude itself is presented as a schematic estimate, the paper's stronger claim to be a 'controlled' example is not yet fully supported. With appropriate reframing and a more detailed derivation of the loop correction, the work would be a useful contribution.

Major objections (4)

[Section 3, Eqs. (3.9)-(3.11)] The central Hagedorn transition is a direct restatement of the assumed density of states. With ρ(m)=e^{β_H m}, the integral in (3.9) diverges for ℓ(τ)<β_H precisely because the total weight of an exponential density diverges; the critical length ℓ_H=β_H in (3.11) is just the growth rate of the assumed spectrum. The author explicitly says 'let us choose the density of states to have Hagedorn growth' (sentence b37/b156), so this is acknowledged, but it remains load-bearing: the complementarity conclusion of Section 4 is conditional on this single input. For a polynomial density ρ(m)~m^a, the same integral remains finite for every ℓ(τ)>0 and no finite Hagedorn wall exists. I recommend either deriving the Hagedorn spectrum in a concrete string-theoretic completion, or explicitly presenting the result as a conditional model and softening the claim of a 'controlled example'.
[Section 3, Eqs. (3.7)-(3.9) and Appendix A] The one-loop correction is a schematic estimate rather than a derived in-in amplitude. The paper states δG_i(τ)~g G_tree(τ)e^{-m_iℓ(τ)} after arguing that the dominant configuration has a loop attached at the future insertion point, but the integral over the intermediate point y in (3.2) is not evaluated, the normalization and phase of the retarded/in-in propagators are not given, and possible divergences from the coincidence limit are only handled by a mass renormalization comment for the n=0 image. Since the divergence in (3.9) is the basis for the claimed Hagedorn transition, the argument needs a more explicit derivation of the loop amplitude, including the domain of integration and the role of the in-in contour described in Appendix A.
[Section 3.1, Eq. (3.33)] The finite-c version of the transition is only sketched. Equation (3.33) gives δG/G_tree with a cutoff at m_max~c/(12L), but the crossover condition (3.34) involves both the coupling g and the cutoff, while the Hagedorn wall radius quoted in (3.13) is derived from the infinite-tower divergence. The paper does not explain how the position of the effective wall is shifted at finite c, nor how the claim that corrections 'do not propagate out to the horizon' is quantitatively affected by this shift. This is relevant because the final complementarity statement depends on the exponential separation r_H/r_h.
[Section 3.2, Eq. (3.39)] The ordering of the Hagedorn wall and the first image singularity uses r_0/r_h explicitly and assumes 'sufficiently large β_H'. For a large black hole the exponential e^{π r_h/L} indeed dominates, but the statement 'for a large black hole and sufficiently large β_H, all the image singularities lie behind the Hagedorn wall' should be made more precise: the ratio r_H/r_1 in (3.39) depends on r_0, and the allowed range of β_H is constrained by the HKS bound (3.31). A reader cannot currently tell whether there are admissible parameters for which this ordering fails.

Minor objections (5)

[General] Figures 2 and 3 are referenced in the text but do not appear in the manuscript. Please include them or remove the references.
[Section 2, Eq. (2.18)] The threshold for spacelike image terms is written as an inequality with '≳', which is appropriate for an estimate, but the text could clarify which terms are being counted and whether the estimate is uniform in τ.
[Section 3.1, Eq. (3.23)] The integration measures d^2 x̃ d^2 ỹ in (3.23) and the subsequent notation in (3.26) would be clearer if the boundary domains of integration (right and left boundaries) were specified explicitly.
[Section 4] The discussion of the Horowitz-Polchinski instability is interesting but slightly compressed; the sentence 'the shock arrives when it has wound n times' could be expanded to explain why the causality bound (4.5) follows from prior image singularities.
[Throughout] There are several small typographical inconsistencies, such as writing G_tree in some equations and Gtree in others, and the use of 'HH' in (2.10) is not explicitly defined at first use. These should be cleaned up.

How Pith checks papers → · Full audit of this paper → · Review history (2 revisions) →

The paper

The paper claims

In a large BTZ black hole, loop corrections from a tower of particles with Hagedorn growth render the tree-level singularity divergence untrustworthy while staying suppressed at the horizon — a controlled instance of black hole…

The reading

This paper asks what an observer feels falling into a BTZ black hole once quantum corrections are included. The starting point is an infalling two-point function of a scalar field, which diverges at the singularity; in the boundary CFT this divergence comes entirely from exchange of double-twist operators, not from the multi-stress-tensor sector that encodes curvature singularities in higher dimensions. The paper shows that coupling the probe to a tower of particles whose density of states grows exponentially (Hagedorn growth) produces one-loop corrections that diverge as the infaller approaches the singularity — an interior Hagedorn transition that makes the tree-level divergence untrustworthy. For a large black hole these corrections stay exponentially suppressed at the horizon and only turn on at a Hagedorn wall exponentially close to the singularity. The claimed upshot is a controlled example in which the corrections that must resolve the singularity do not propagate out to the horizon, in the spirit of black hole complementarity.

What carries the argument

The central objects are (i) the method-of-images representation of the BTZ propagator as a sum over AdS$_3$ images, in which every image term tends to the same constant at the singularity so the sum diverges; (ii) the identification, via the HKLL kernel, of that divergence with the exchange of double-twist operators $[OO]_{n,j}$ in the boundary thermal correlator rather than the multi-stress-tensor (vacuum-block) sector; and (iii) a tower of massive scalar fields coupled to the probe, whose one-loop correction integrated over the past light cone scales as $g\int dm\, \rho(m)\, e^{-m\ell(\tau)}$ with $\ell(\tau)$ the geodesic length of the loop attached to the infalling point. With Hagedorn growth $\rho(m)=e^{\beta_H m}$ this integral diverges as soon as $\ell(\tau)<\beta_H$, defining the Hagedorn wall at radius $r_H$; the Hartman–Keller–Stoica bound caps the growth at the black-hole threshold, turning the divergence into a sharp crossover at finite central charge.

Extended reading notes

Core claim

In a large BTZ black hole, the one-loop correction to the infalling two-point function coming from a tower of massive fields with Hagedorn density of states $\rho(m)=e^{\beta_H m}$ diverges exactly where the tree-level correlator runs into trouble: as the infalling insertion point approaches the singularity, the geodesic length of the dominant loop attached at that point shrinks to zero, and the loop integral diverges once that length falls below $\beta_H$. This is a Hagedorn transition taking place in the Lorentzian interior. Because it happens at radius $r_H = 2 r_h \sinh(\beta_H/2L)\, e^{-\pi r_h/L}$, which is exponentially close to the singularity for a large black hole, an infalling observer crosses a smooth horizon, and both the singularity divergence and the accumulating image singularities lie behind the Hagedorn wall where the semiclassical description has already broken down. The paper concludes that an approximate notion of the horizon and of part of the interior survives at finite central charge.

Load-bearing premise

The load-bearing premise is the chosen Hagedorn density of states $\rho(m)=e^{\beta_H m}$ for the tower of particles (Eq. 3.10), which the paper assumes rather than derives; if the spectrum instead grew only polynomially, the loop integral would stay finite as the loop length shrinks to zero, and there would be no interior Hagedorn transition and no complementarity conclusion.

Editorial extensions

If this is right

In a large BTZ black hole the Hagedorn wall lies exponentially close to the singularity, so an infalling observer reaches it only after crossing a smooth horizon, leaving an approximate notion of the horizon and part of the interior intact at finite $c$.
For a small black hole the wall can lie at or outside the horizon for allowed values of $\beta_H/L$, raising the possibility of firewalls for infalling observers in small AdS black holes.
The boundary tower of primaries leads to a breakdown of the generalized free field description of the probe in the black hole state once $r(\tau)<r_H$, even though the boundary theory itself has no Hagedorn transition.
The finite-$c$ truncation of the tower at the HKS threshold converts the Hagedorn divergence into a crossover, and the same confinement of the image singularities behind the wall makes their precise resolution moot.
A single boundary number, the gap to the tower of primaries, fixes the bulk location of the Hagedorn wall.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The entire mechanism is conditional on the exponential density of states: if a concrete string or CFT construction yields only polynomial degeneracy for the coupled tower, the interior Hagedorn transition and the complementarity conclusion drawn from it would not follow, and the author's own closed-string estimate shows the condition reduces to a gap bound that is checkable in principle.
The same tower that produces the interior wall also underlies the stretched-horizon Hagedorn phase from the Euclidean cigar, suggesting a possible organizing principle in which one boundary datum controls both the horizon picture and the interior resolution — the 'Hagedorn complementarity' the author leaves for future work.
The argument generalizes: any bulk probe whose dominant loop length shrinks to zero as it approaches a singularity will trigger a Hagedorn transition if it couples to an exponentially growing spectrum, so interior Hagedorn transitions may be a generic feature of holographic singularities rather than specific to BTZ.
Whether the Hagedorn wall marks an actual tachyon condensation that replaces the region $r<r_H$ depends on the string completion, which the paper leaves open; a testable extension would be to construct the explicit winding mode along the spatial circle and check for the tachyonic instability in the BTZ quotient.

Original abstract

An infalling two-point function of a scalar field in a three-dimensional BTZ black hole, with one operator inserted in the exterior and the other inserted along a timelike geodesic, diverges when the infalling insertion point reaches the black hole singularity. In the boundary description, this divergence is tied to the exchange of double-twist operators rather than to the multi-stress-tensor sector that encodes curvature singularities in higher dimensions. We show that the inclusion of a tower of massive particles with Hagedorn growth gives rise to loop corrections that become important near the singularity, where they trigger a Hagedorn transition that renders the tree-level divergence untrustworthy. In the boundary theory, the corresponding tower of primary operators leads to a breakdown of the generalized free field description of the probe operator in the black hole state. In a large black hole, these corrections become important only near the singularity and remain exponentially suppressed at the horizon. The region where these corrections dominate is therefore parametrically separated from the horizon, as anticipated by the principle of black hole complementarity.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-29: 1 request, 5,071 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.69 · human participants 0.01 · controlled comparison 0.05 · randomized assignment 0.01 · states quantitative result 0.09 · compares with prior results 0.47 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

An infalling two-point function of a scalar field in a three-dimensional BTZ black hole, with one operator inserted in the exterior and the other inserted along a timelike geodesic, diverges when the infalling insertion point reaches the black hole singularity. In the boundary description, this divergence comes entirely from the exchange of double-twist operators, rather than from the multi-stress-tensor sector that encodes the curvature singularities in higher dimensions. We show that the inclusion of a tower of massive particles with Hagedorn growth gives rise to loop corrections that become important near the singularity, where they trigger a Hagedorn transition that renders the tree-level divergence untrustworthy. In the boundary theory, the corresponding tower of primary operators leads to a breakdown of the generalized free field description of the probe operator in the black hole state. In a large black hole, these corrections become important only near the singularity and remain exponentially suppressed at the horizon. The region where these corrections dominate is therefore parametrically separated from the horizon, as anticipated by the principle of black hole complementarity.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	An infalling two-point function of a scalar field in a three-dimensional BTZ black hole, with one operator inserted in the exterior and the other inserted along a timelike geodesic, diverges when the infalling insertion point reaches the black hole singularity.	result 0.87	0.68	0.15	asserted 1.00
s1	In the boundary description, this divergence comes entirely from the exchange of double-twist operators, rather than from the multi-stress-tensor sector that encodes the curvature singularities in higher dimensions.	result 0.76	0.74	0.16	asserted 1.00
s2	We show that the inclusion of a tower of massive particles with Hagedorn growth gives rise to loop corrections that become important near the singularity, where they trigger a Hagedorn transition that renders the tree-level divergence untrustworthy.	result 0.87	0.89	0.47	asserted 1.00
s3	In the boundary theory, the corresponding tower of primary operators leads to a breakdown of the generalized free field description of the probe operator in the black hole state.	result 0.62	0.77	0.15	asserted 1.00
s4	In a large black hole, these corrections become important only near the singularity and remain exponentially suppressed at the horizon.	result 0.96	0.81	0.12	asserted 0.99
s5	The region where these corrections dominate is therefore parametrically separated from the horizon, as anticipated by the principle of black hole complementarity.	interpretation 0.98	0.51	0.16	asserted 0.97

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** An infalling observer in a BTZ black hole. We have denoted the AdS length scale by L. The inverse temperature of the black hole is given by β = 2πL2 rh . (2.2) The BTZ black hole can be obtained from three-dimensional Anti-de Sitter space by taking the quotient of the spacetime under a discrete group of isometries generated by a boost. The AdS3 spacetime can, in turn, be obtained by restricting four-dimensional flat spacetime R 2,2 , with metric ds 2 = −dX 2 0 + dX 2 1 + dX 2 2 − dX 2 3 , (2.3) to the hyperboloid −X 2 0 + X 2 1 + X 2 2 − X 2 3 = −L 2 . (2.4)

**Figure 2.** A field Ψi from the tower produces a one-loop correction to the Φ propagator in which a loop winding the ϕ circle is attached along the trajectory. The dominant contribution comes from a loop attached at x(τ ), whose geodesic length ℓ(τ ) shrinks to zero as τ → πL/2. The loop propagator of the field Ψi can once again be computed using the method of images: ⟨Ψ 2 i (y)⟩ren = X n̸=0 GAdS3,Ψi (y, γn y) . (3.3) Note the n = 0 term is not included in the sum because it diverges and is absorbed by the renormalization of the mass of the field Φ. For miL ≫ 1, the n = ±1 terms dominate, a

**Figure 3.** The location of the Hagedorn wall and the image singularities in a large BTZ black hole and sufficiently large βH. The Hagedorn transition occurs before any of the image singularities show up. 3.2 Resolving the image singularities Let us now return to the image singularities of Section 2. The coincident-point lightcone singularity of the n = 0 term is fixed by the operator product expansion and is present in the exact theory at any c. The image singularities are different. These singularities show up only when we integrate the c = ∞ generalized free field correlator over the bulk…

Figures reproduced from arXiv:2609.35705 by the authors.

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.