Pith. Sign in

REVIEW

The flaw in the firewall argument

High Energy Physics - Theory · Submitted 23 Jun 2013 · 38 references

Pith's verdict: A sharp, honest defense of fuzzball complementarity that correctly shows AMPS never addressed the E>>T regime, but the load-bearing expansion of the stretched horizon is still asserted rather than derived.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 10, 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.

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

How Pith checks papers →

· 3 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1306.5488 (version 3)
Pith IDFM6KS5EO, Pith's permanent record of this paper and its review
CitationDavid Turton, Samir D. Mathur. "The flaw in the firewall argument." arXiv:1306.5488 (2013). https://pith.science/paper/FM6KS5EO
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The firewall argument fails, the authors argue, because it ignores how the black hole's horizon must grow to accept a falling quantum before Hawking radiation can scramble it.

The reading

The paper asks why the firewall argument against black hole complementarity should be trusted, and answers that it silently assumes a complementary description for Hawking quanta whose energy is of order the temperature $T$ — exactly the quanta that in string theory carry the detailed information of the hole's microstate. Working in the fuzzball picture, where black hole microstates end in a horizonless structure rather than a smooth vacuum horizon, the authors argue that only hard-impact processes with $E$ much greater than $T$ can have a horizon-free complementary description. For such processes they compare two distances from the horizon: $s_alpha$, where an infalling quantum is hard-scattered by outgoing Hawking radiation, and $s_{bubble}$, the distance the stretched horizon must expand to hold the new degrees of freedom the quantum brings. They find $s_alpha$ much smaller than $s_{bubble}$, so the new, unentangled degrees of freedom are reached first, and the firewall conclusion does not follow. If this is right, the argument is a statement about traditional complementarity rather than a no-go for smooth infall.

What carries the argument

Three ingredients carry the argument. First, the strong-subadditivity inequality of the authors' earlier review: if physics at the horizon stays close to the local vacuum, the entanglement entropy of the radiation must keep rising by at least $ln 2 - 2epsilon$ per emitted quantum, so any resolution requires order-unity structure at the horizon, not small corrections. Second, the stretched-horizon counting argument: a surface of area $A$ already encodes $exp[S_{bek}]$ states, so a new quantum of energy $E$ cannot be placed on it without first enlarging it by an area $Delta A sim (E/m_p) ell_p^{D-2}$, giving a hemispherical bubble of radius $s_{bubble}$. Third, a gravitational-scattering estimate in the near-horizon frame, where the infalling quantum's local energy is $E r_0/s$ and the Hawking quantum's is $1/s$; the cross section $sigma sim G^2 (omega omega')^{(D-2)/2}$ gives unit interaction probability at $s_alpha$, and the black-hole-formation channel gives the same scaling. The AdS/CFT analogy — a graviton smashing on D-branes versus falling smoothly into AdS — supplies the interpretive frame for why collective fuzzball excitations could reproduce free infall.

Extended reading notes

Core claim

The central claim is that the Almheiri–Marolf–Polchinski–Sully argument does not touch the version of complementarity that a fuzzball description actually supports. The authors separate the two pictures: in traditional complementarity the Hawking modes outside the horizon are assumed identical in both descriptions ($b = b'$), whereas with fuzzballs the $E sim T$ modes are the tail end of the fuzzball structure itself and must differ ($b neq b'$), since they carry the microstate's information. What can be complementary is a hard impact by $E gg T$ quanta, which creates a large number of new, unentangled states — the count grows by a factor $e^{E/T}$. The quantitative core is a comparison of two length scales: hard scattering with Hawking radiation becomes likely only within $s_alpha sim (E/T)^{1/[2(D-2)]} ell_p$, while the stretched horizon must expand by $s_{bubble} sim (E/T)^{1/(D-2)} ell_p$ before it can absorb the new bits. Because $s_{bubble} gg s_alpha$, the infalling quantum excites the new fuzzball degrees of freedom before it is randomly scattered, so the collective excitations can still admit a smooth-infall complementary description.

Load-bearing premise

That the fuzzball surface physically expands outward to $s_{bubble} sim (E/T)^{1/(D-2)} ell_p$ before the infalling quantum arrives — an assumption the authors assert on the strength of their tunneling picture rather than derive, and which they concede leaves the complementarity map unavailable in explicit form.

Editorial extensions

If this is right

  • The firewall argument is demoted from a no-go theorem to a statement about traditional complementarity, leaving fuzzball complementarity as a live option.
  • Complementarity becomes an approximate, energy-graded statement: it holds for hard-impact processes with $E gg T$ and explicitly fails for the $E sim T$ Hawking quanta that carry microstate information.
  • The stretched horizon is not a passive surface; it responds to an approaching quantum by expanding, so any argument that treats it as fixed until impact is mischaracterising the physics.
  • Scattering off Hawking radiation does not destroy an infalling object's quantum state before it reaches the fuzzball: the transverse deflection is bounded by $ell_p (E/T)^{-1/4}$, smaller than the object's own wavelength.
  • The same reasoning is proposed to apply to the Rindler decomposition of Minkowski space, where a suitable choice of Rindler frame can make the impact energy arbitrarily large and the encoding arbitrarily accurate.

Reading between the lines

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

  • If the expansion of the stretched horizon is what saves complementarity, then the relevant physics is the dynamics of the horizon itself rather than the vacuum state near it — which suggests the debate should shift to computing that response, for example in explicit fuzzball microstates where the surface is known.
  • The energy-graded character of the proposal implies a testable pattern: complementarity should improve as the ratio $E/T$ grows and as $M/m_p$ grows, so a hypothetical small black hole should show larger deviations from smooth infall than a large one.
  • The D-dependence is asymmetric between the two scales — $s_{bubble}$ grows faster with $E/T$ than $s_alpha$ — so the argument gets stronger, not weaker, in higher dimensions and for heavier infalling probes; a failure would most likely appear in the opposite regime of low $E/T$ or low mass.
  • If the D-brane analogy is taken seriously as more than analogy, one would expect the fuzzball's collective response to be governed by a lower-dimensional effective theory on the surface, which is a concrete target for a follow-up calculation.
Original abstract

A lot of confusion surrounds the issue of black hole complementarity, because the question has been considered without discussing the mechanism which guarantees unitarity. Considering such a mechanism leads to the following: (1) The Hawking quanta with energy E of order the black hole temperature T carry information, and so only appropriate processes involving E>>T quanta can have any possible complementary description with an information-free horizon; (2) The stretched horizon describes all possible black hole states with a given mass M, and it must expand out to a distance s_{bubble} before it can accept additional infalling bits; (3) The Hawking radiation has a specific low temperature T, and infalling quanta interact significantly with it only within a distance s_{alpha} of the horizon. One finds s_{alpha} << s_{bubble} for E>>T, and this removes the argument against complementarity recently made by Almheiri et al. In particular, the condition E>>T leads to the notion of 'fuzzball complementarity', where the modes around the horizon are indeed correctly entangled in the complementary picture to give the vacuum.

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-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,215 input tokens, $0.0001 reported.

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

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

A lot of confusion surrounds the issue of black hole complementarity, because the question has been considered without discussing the mechanism which guarantees unitarity. Considering such a mechanism leads to the following: (1) The Hawking quanta with energy E of order the black hole temperature T carry information, and so only appropriate processes involving E>>T quanta can have any possible complementary description with an information-free horizon; (2) The stretched horizon describes all possible black hole states with a given mass M, and it must expand out to a distance s_{bubble} before it can accept additional infalling bits; (3) The Hawking radiation has a specific low temperature T, and infalling quanta interact significantly with it only within a distance s_{alpha} of the horizon. One finds s_{alpha} << s_{bubble} for E>>T, and this removes the argument against complementarity recently made by Almheiri et al. In particular, the condition E>>T leads to the notion of 'fuzzball complementarity', where the modes around the horizon are indeed correctly entangled in the complementary picture to give the vacuum.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A lot of confusion surrounds the issue of black hole complementarity, because the question has been considered without discussing the mechanism which guarantees unitarity. gap 0.60 0.07 0.04 asserted 1.00
s1 Considering such a mechanism leads to the following: (1) The Hawking quanta with energy E of order the black hole temperature T carry information, and so only appropriate processes involving E>>T quanta can have any possible complementary description with an information-free horizon; (2) The stretched horizon describes all possible black hole states with a given mass M, and it must expand out to a distance s_{bubble} before it can accept additional infalling bits; (3) The Hawking radiation has a specific low temperature T, and infalling quanta interact significantly with it only within a distance s_{alpha} of the horizon. result 0.91 0.78 0.19 asserted 0.99
s2 One finds s_{alpha} << s_{bubble} for E>>T, and this removes the argument against complementarity recently made by Almheiri et al. In particular, the condition E>>T leads to the notion of 'fuzzball complementarity', where the modes around the horizon are indeed correctly entangled in the complementary picture to give the vacuum. result 0.68 0.88 0.83 asserted 1.00

What kind of paper the classifier reports this is: position or commentary 0.72 · evidence from argument 0.84.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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. (a) Probing the fuzzball with hard-impact,
Figure 2. (a) A graviton incident on a stack of D-branes (b) The gra
Figure 3. The instability of ‘outgoing geodesics’ at the horizon. The h
Figure 4. (a) Traditionally, it was assumed that in the black hole geome
Figure 5. Hawking radiation is just the tail end of the fuzzball struc
Figure 6. (a) At the surface or a normal body, new quanta can be a
Figure 7. (a) Minkowski space and its Rindler quadrants (Right, Left
Figure 8. (a) Computing a 1-point function in a generic fuzzball geom
Figure 9. (a) Traditional complementarity: we imagine that infalling ma
Figure 10. (a) A quantum is incident on a stack of D-branes; (b) The
Figure 11. (a) A 2-point function in the CFT: there are some low ener
Figure 12. (a) A body made of three atoms (solid dots) falls towards
Figure 13. The infalling particle impacting the fuzzball surface.

Figures reproduced from arXiv:1306.5488 by the authors.

References
How the literature uses it

48 arXiv papers cite this in 80 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 56 sentences without a confident label

Uses its data or values 1 paper
Compares with it 2 papers
  • [This picture has some affinity with the “fuzzball complementarity” scenario of [ref] in that the physics of localized jets experiencing small transverse momentum interactions applies in a regime where the jet has momentum much larger than the string tension and is thus localized inside a narrow cone, while the evolution of probes of low momentum is strongly affected by parton interactions.] To the extent that this spreading can be ignored, the center-of-mass trajectories of massless probes in localized wavepackets would reflect the causal structure of the effective geometry.

    Little Strings, Long Strings, and Fuzzballs · Speculations on the black hole phase · 0.91

  • Our proposal also shares some spiritual similarities with fuzzball complementarity [ref] , in which undisturbed freefall through the horizon is recovered in the limit where the incident energy of the observer is much larger than the temperature of the black hole, in the sense that local properties of the infalling observer are important to consider in both cases.

    Rescuing Complementarity With Little Drama · Relation to prior works · 0.98

Cites it as support 5 papers
  • In [ref] it was argued that the stretched horizon must indeed move out in advance of the particle reaching it; otherwise we violate the Bekenstein limit which says that the maximum entropy in a region is given by $S=A/4$, with $A$ the area of the stretched horizon.

    A model with no firewall · The loophole in the AMPS argument · 0.98

  • This corresponds to the shell transitioning into fuzzballs, and we then evade the information paradox and the associated causality problem [ref] .

    Spacetime has a `thickness' · #1 · 0.97

  • In [ref] it was shown that the answer to the modified firewall question is negative for standard gravitational interactions.

    Can we observe fuzzballs or firewalls? · Firewall behavior · 0.96

Cites it as background 16 papers

What it cites · 58 sentences without a confident label

Contests 1 paper
  • For example in [ref] , it was argued that one can make $S_ent$ decrease by making small corrections to the density matrix.

    An Infalling Observer in AdS/CFT · Small corrections and strong subadditivity · contest 0.85

Uses the method or tool of 1 paper
Uses data or values from 1 paper
Compares with 1 paper
  • This computation should be contrasted with the picture depicted in Section 5 of [ref] , where the spacelike slice is held fixed at small $r$ but evolved to later times at large $r$.]

    Black Holes and Beyond · Time available for tunneling · 0.89

Cites as support 6 papers
  • These state $|E_i⟩$ are fuzzball states which have a small `tail' in the region $r>2M$ corresponding to the radiation from the fuzzball [ref] .

    Instability of non-supersymmetric smooth geometries · Resolution of the information paradox · 0.96

  • These state $|E_i⟩$ are fuzzball states which have a small `tail' in the region $r>2M$ corresponding to the radiation from the fuzzball [ref] .

    Radiation from the non-extremal fuzzball · Resolution of the information paradox · 0.96

  • But there are a very large number of states $N∼Exp[S_bek]$ to tunnel to, and one finds that these small and large numbers are such that they may cancel [ref] .

    How fast can a black hole release its information? · Resolution of the information paradox · 0.97

Cites as background 9 papers
  • There has been a lot of interest, as well as quite some confusion, generated by a recent paper by Almheiri, Marolf, Polchinski and Sully (AMPS) [ref] on whether it is possible to smoothly fall into black holes.[ For related earlier work see [ref] , and for a more complete list of references see [ref] .]

    Black Holes: Complementarity or Firewalls? · Introduction · 0.85

  • There has been a lot of interest, as well as quite some confusion, generated by a recent paper by Almheiri, Marolf, Polchinski and Sully (AMPS) [ref] on whether it is possible to smoothly fall into black holes.[ For related earlier work see [ref] , and for a more complete list of references see [ref] .]

    Better Late than Never: Information Retrieval from Black Holes · Introduction · 0.85

  • There has been a lot of interest, as well as quite some confusion, generated by a recent paper by Almheiri, Marolf, Polchinski and Sully (AMPS) [ref] on whether it is possible to smoothly fall into black holes.[ For related earlier work see [ref] , and for a more complete list of references see [ref] .]

    An Apologia for Firewalls · Introduction · 0.85

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.