REVIEW 2 major objections 4 minor 1 cited by
Firewalls From General Covariance
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read State-dependent horizon normalcy cannot be covariant: it requires a preferred global time slice far from the black hole or a dependence on the infinite future.
desk verdict A sharp new time-ambiguity objection to state-dependent horizon normalcy, but the central causal premise looks false for typical infallers and needs a proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is what the paper calls the 'time ambiguity.' A Cauchy slice—a complete spacelike surface that captures all of spacetime's data at one time—can be chosen to pass through the same neighborhood N of the horizon-crossing event E while meeting the distant Hawking radiation at different times, so the radiation state on the slice can be the encoded state or the decoded state. Because decoding and re-encoding operations can be performed at events that are all spacelike to E, no covariant rule says which slice's radiation state should determine whether the horizon is normal. The only apparently covariant rule, using the boundary of the past of E, is shown to fail: a decoding performed within a scrambling time of that boundary can still be sent into the black hole and received by the infalling observer before the singularity, recreating the firewall contradiction. This time ambiguity is the mechanism that forces the choice between a preferred global time slicing and an infinite-future dependence.
What would settle it
A concrete falsifier would be an explicit state-dependent construction in which normalcy at the crossing event is fixed by the boundary of the past of that event, together with a causal calculation showing that a purifier decoded after that time cannot reach any observer who crosses the horizon before meeting the singularity.
Extended reading notes
Core claim
The central claim is a no-go: any proposal in which horizon normalcy holds only for a restricted class of radiation states, such as ER=EPR or non-isometric maps, must either break general covariance far from the black hole or let normalcy at a given crossing event depend on the arbitrarily distant future. The reason is a 'time ambiguity': for one horizon-crossing event, there are many Cauchy slices through the same neighborhood of that event that carry different radiation states, such as encoded versus decoded. Since the decoding operation can be done or undone at times spacelike to the crossing event, no covariant criterion selects which state determines normalcy. The apparent covariant choice, the boundary of the past of the event, fails: if the radiation is encoded at that time, decoding it within a scrambling time still permits Alice to receive the purification before she hits the singularity, reproducing the firewall contradiction. Therefore state-dependent normalcy cannot be covariant; the paper argues that this applies independently of the underlying mechanism and of how the normalcy-guaranteeing class of states is defined.
Load-bearing premise
The whole argument rests on the causal premise that a decoding performed within a scrambling time after the covariant slice can still be sent into the black hole and reach the infalling observer before the singularity; if that signal cannot arrive in time, the covariant choice of slice would survive.
Editorial extensions
If this is right
- ER=EPR and non-isometric maps, as currently formulated, cannot deliver state-dependent horizon normalcy without a preferred time slicing far from the black hole or an infinite-future dependence.
- The covariant choice of the boundary of the past of the crossing event is ruled out, because decoding within a scrambling time after that slice can still be sent into the black hole and seen by the infalling observer.
- Timefolds of the AdS/CFT type do not restore normalcy, because normalcy requires the unambiguous predictions of Semiclassical Gravity and Effective Field Theory, which timefolds would violate.
- The no-go is independent of the mechanism and of the class of radiation states, so it constrains any future state-dependent proposal.
- The firewall remains the less radical option: its nonlocality is limited to the black-hole scale, while state-dependent normalcy would require a breakdown of general covariance in weakly gravitating regions or infinite nonlocality.
Reading between the lines
- A natural extension is that complexity-based definitions of 'simple' radiation states inherit the time-slice ambiguity: since decoding or re-encoding can be scheduled on spacelike-related slices, any state-dependent criterion defined by operations on the radiation must pick a preferred time.
- The entanglement-wedge picture reinforces this: because the island and the decodability of the interior mode are tied to a boundary time choice, holographic reconstructions will face the same ambiguity unless a covariant rule for the wedge is found.
- One concrete open test is to model the scrambling-time decoding-and-reinjection protocol in an explicit non-isometric code with causal structure and compute whether the purifier can reach the infalling observer before the singularity; a negative result would undercut the no-go.
- If the no-go holds, the information-paradox resolution must be observable at the horizon, making a covariant effective description of firewalls—not of their absence—the central open problem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper argues that state-dependent horizon normalcy, as invoked by proposals such as ER=EPR and non-isometric maps, is incompatible with general covariance unless one accepts either a preferred global time slicing far from the black hole or a dependence of horizon normalcy on the infinite future. The argument starts from the AMPS firewall reasoning for a fixed horizon-crossing event E and considers two Cauchy slices that agree on a neighborhood N of E but disagree on the state of the early radiation (encoded vs. decoded). The paper claims that the only covariant choice of slice—the boundary of the past of E—fails because a decoding performed within a scrambling time after v0 could be sent into the black hole and be received by Alice, recreating the AMPS contradiction. It then discusses an analogy with entanglement wedge conflict in AdS/CFT and argues that timefolds do not resolve the issue. The conclusion is that state-dependent horizon normalcy either violates general covariance in a weakly gravitating region or depends on the infinite future.
Significance. If the central causal claim were established, this would be a strong and mechanism-independent no-go result for a broad class of firewall resolutions, and it would sharpen the firewall argument itself. The paper is clearly written, relies only on standard AMPS logic plus strong subadditivity, and does not depend on the author's prior results in a circular way. It also offers a useful concrete framing of the role of Cauchy slices in state-dependent proposals. However, the main conclusion rests on a loaded causal premise that is not demonstrated and appears to conflict with elementary causal structure, so the significance is conditional on a rigorous repair of that step.
major comments (2)
- [Time Ambiguity] The central step of the argument is the assertion that 'if eb is decoded within a scrambling time T_H^{-1} log S_BH after v0, it can be sent into the black hole and received by Alice.' This premise is load-bearing because it is the only reason given for rejecting the covariant boundary-of-the-past choice. It is, however, not demonstrated, and a standard causal-structure estimate contradicts it. For a Schwarzschild black hole, the advanced-time interval between horizon crossing at r = r_S and the singularity for a radially infalling timelike geodesic is of order r_S (for a geodesic with energy E ~ 1, Δv is a few times M), whereas the scrambling time is r_S log S_BH, which is much larger for large S. A message emitted at v0 + r_S log S_BH therefore cannot intersect Alice's worldline before she reaches the singularity. Moreover, even if a message could reach a later interior event E', the mode b is defined in the near-horizon zone at v0 and has propagated outward; Alice would not have local access to b, b̃, and eb simultaneously. The paper needs to provide a precise geodesic computation of Alice's trajectory, the location of the decoding event, and the null propagation of the message in order to justify this causal claim. Without it, the covariant boundary-of-the-past choice remains viable and the dichotomy in the conclusion does not follow.
- [Entanglement Wedge Conflict and Timefolds] The later conclusion that 'no decoding operation will ever be performed on the radiation' is required, leading to dependence on the infinite future, inherits the same unproven causal premise. If a decoding after v0 is indeed spacelike to E and cannot affect Alice's experience at E, then the reduced state on N is independent of whether such a decoding occurs, and state-dependent horizon normalcy can be defined covariantly by the state on the boundary of the past of E. The timefolds discussion therefore does not provide an independent argument against the covariant choice; it merely re-expresses the same causal assumption. The author should either prove the scrambling-time causal claim or acknowledge that the no-go result is not established for the covariant choice.
minor comments (4)
- [Introduction] The phrase 'a form of nonlocality arguably to extreme to contemplate' contains a typo: 'to extreme' should be 'too extreme'.
- [Figure 1] Figure 1 is not rendered clearly in the text; in particular, the labels for the slices Σ and Σ′ and the event E are hard to distinguish. A higher-quality figure with explicit labels would help the reader follow the argument.
- [References] Reference [36] is cited as 'to appear' without further information; if the manuscript is revised, this should be updated or removed.
- [State-Dependent Horizon Normalcy] The paper defines ρenc_rad and ρdec_rad as different states on a Cauchy slice, but it does not explicitly address how these states are related to the actual physical state in a generally covariant theory. A brief comment on the algebraic formulation (where the local state in N is defined without reference to a slice) would clarify the logical status of the time ambiguity.
Circularity Check
No significant circularity: the derivation is self-contained and attacks external proposals; the main vulnerability is an unproved causal premise, not a circular reduction.
full rationale
The paper's derivation chain is self-contained. It defines horizon normalcy, invokes the AMPS strong-subadditivity contradiction, and then argues that state-dependent normalcy faces a time ambiguity between Cauchy slices that agree on the neighborhood of the horizon-crossing event. The key rejection of the covariant choice (the boundary of the past of E) cites Ref. [2] for the claim that a decoding within a scrambling time after v0 can be sent into the black hole and received by Alice. This is an external, non-self citation and is a causal-structure assertion, not an equation or definition that presupposes the conclusion. No parameter is fitted and then renamed as a prediction; no uniqueness theorem from the author's prior work is imported; no known empirical pattern is merely renamed in new coordinates. The self-citations ([8], [22], [24], [29], [30], [35], [36]) provide background, side remarks, or forthcoming-work references and are not load-bearing for the central dichotomy. The main weakness is that the scrambling-time causal window is asserted rather than demonstrated, and a standard geodesic estimate may contradict it; that is a correctness/evidence gap, not a circularity. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math Strong subadditivity of quantum entropy
- domain assumption Unitarity of black hole evaporation (assumption I)
- domain assumption Effective field theory evolution of Hawking modes (assumption II)
- domain assumption Horizon normalcy as defined (approximate SGEFT validity)
- domain assumption Decoding within a scrambling time after v0 can be sent into the black hole and reach Alice
Cite this review
Pith. "Pith review of Firewalls From General Covariance." pith.science (2026). https://pith.science/paper/BPJJI4ZH
@misc{pith2026250208724,
author = {Pith},
title = {Pith review of: Firewalls From General Covariance},
year = {2026},
howpublished = {\url{https://pith.science/paper/BPJJI4ZH}},
note = {Machine review of arXiv:2502.08724}
}
read the original abstract
I define "horizon normalcy" as the approximate validity of Semiclassical Gravity and Effective Field Theory (SGEFT), for the description of observers that approach or cross a black hole horizon. If black holes return information, then horizon normalcy must fail substantially, at least in some global states. Proposals such as ER=EPR and nonisometric maps assert that horizon normalcy persists, so long as the Hawking radiation remains in a computationally simple state. Here I argue that state-dependent horizon normalcy - independently of the underlying mechanism, and independently of the class of radiation states asserted to guarantee normalcy - requires a breakdown of general covariance far from the black hole, or else horizon normalcy will depend on the infinite future of the exterior. This is because the radiation can be in different states at different events, all spacelike to the horizon crossing event whose normalcy is at stake. I discuss a related effect in AdS/CFT, and I argue that its resolution by timefolds is of no help here.
Figures
Forward citations
Cited by 1 Pith paper
-
Observer complementarity for black holes and holography
The authors show that the observer rule of Harlow, Usatyuk, and Zhao yields a self-consistent black hole complementarity for both partially and fully evaporated black holes.
Reference graph
Works this paper leans on
-
[1]
A. Almheiri, D. Marolf, J. Polchinski and J. Sully, Black Holes: Complementarity or Firewalls? , JHEP 02 (2013) 062 [1207.3123]
arXiv 2013
-
[2]
A. Almheiri, D. Marolf, J. Polchinski, D. Stanford and J. Sully, An Apologia for Firewalls , JHEP 09 (2013) 018 [1304.6483]
arXiv 2013
-
[3]
J. M. Maldacena, The Large N limit of superconformal field theories and supergravity , Adv. Theor. Math. Phys. 2 (1998) 231 [ hep-th/9711200]
arXiv 1998
-
[4]
G. Penington, Entanglement Wedge Reconstruction and the Information Paradox , JHEP 09 (2020) 002 [1905.08255]
arXiv 2020
-
[5]
A. Almheiri, N. Engelhardt, D. Marolf and H. Maxfield, The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole , JHEP 12 (2019) 063 [ 1905.08762]
arXiv 2019
-
[6]
S. W. Hawking, Breakdown of Predictability in Gravitational Collapse , Phys. Rev. D 14 (1976) 2460
work page 1976
-
[7]
W. G. Unruh, Notes on black hole evaporation , Phys. Rev. D 14 (1976) 870
work page 1976
-
[8]
Bousso, Firewalls from double purity , Phys
R. Bousso, Firewalls from double purity , Phys. Rev. D 88 (2013) 084035 [ 1308.2665]
arXiv 2013
Show all 36 references
-
[9]
C. H. Bennett, P. W. Shor, J. A. Smolin and A. V. Thapliyal, Entanglement-assisted classical capacity of noisy quantum channels , Phys. Rev. Lett. 83 (1999) 3081 [quant-ph/9904023]
1999 arXiv
-
[10]
Hayden and J
P. Hayden and J. Preskill, Black holes as mirrors: Quantum information in random subsystems , JHEP 09 (2007) 120 [ 0708.4025]
2007 arXiv
-
[11]
Maldacena and L
J. Maldacena and L. Susskind, Cool horizons for entangled black holes , Fortsch. Phys. 61 (2013) 781 [1306.0533]
2013 arXiv
-
[12]
Akers, N
C. Akers, N. Engelhardt, D. Harlow, G. Penington and S. Vardhan, The black hole interior from non-isometric codes and complexity, 2207.06536
-
[13]
Susskind, L
L. Susskind, L. Thorlacius and J. Uglum, The Stretched horizon and black hole complementarity , Phys. Rev. D 48 (1993) 3743 [ hep-th/9306069]
1993 arXiv
-
[14]
J. R. Oppenheimer and H. Snyder, On continued gravitational contraction, Phys. Rev. 56 (1939) 455
1939
-
[15]
S. W. Hawking, Particle Creation by Black Holes , Commun. Math. Phys. 43 (1975) 199
1975
-
[16]
E. H. Lieb and M. B. Ruskai, Proof of the strong subadditivity of quantum-mechanical entropy , J. Math. Phys. 14 (1973) 1938
1973
-
[17]
S. D. Mathur, The Information paradox: A Pedagogical introduction, Class. Quant. Grav. 26 (2009) 224001 [0909.1038]
2009 arXiv
-
[18]
S. D. Mathur and D. Turton, Comments on black holes I: The possibility of complementarity , JHEP 01 (2014) 034 [1208.2005]
2014 arXiv
-
[19]
Harlow and P
D. Harlow and P. Hayden, Quantum Computation vs. Firewalls, JHEP 06 (2013) 085 [ 1301.4504]
2013 arXiv
-
[20]
S. B. Giddings, Nonviolent nonlocality, Phys. Rev. D 88 (2013) 064023 [ 1211.7070]
2013 arXiv
-
[21]
S. B. Giddings, The unitarity crisis, nonviolent unitarization, and implications for quantum spacetime , 2412.18650
-
[22]
Bousso, Complementarity Is Not Enough , Phys
R. Bousso, Complementarity Is Not Enough , Phys. Rev. D 87 (2013) 124023 [ 1207.5192]. 6
2013 arXiv
- [23]
-
[24]
Bousso, Violations of the Equivalence Principle by a Nonlocally Reconstructed Vacuum at the Black Hole Horizon, Phys
R. Bousso, Violations of the Equivalence Principle by a Nonlocally Reconstructed Vacuum at the Black Hole Horizon, Phys. Rev. Lett. 112 (2014) 041102 [1308.3697]
2014 arXiv
-
[25]
Marolf and J
D. Marolf and J. Polchinski, Gauge/Gravity Duality and the Black Hole Interior , Phys. Rev. Lett. 111 (2013) 171301 [1307.4706]
2013 arXiv
-
[26]
Harlow, Aspects of the Papadodimas-Raju Proposal for the Black Hole Interior , JHEP 11 (2014) 055 [1405.1995]
D. Harlow, Aspects of the Papadodimas-Raju Proposal for the Black Hole Interior , JHEP 11 (2014) 055 [1405.1995]
2014 arXiv
-
[27]
Marolf and J
D. Marolf and J. Polchinski, Violations of the Born rule in cool state-dependent horizons , JHEP 01 (2016) 008 [1506.01337]
2016 arXiv
-
[28]
Marolf and A
D. Marolf and A. C. Wall, Eternal Black Holes and Superselection in AdS/CFT, Class. Quant. Grav. 30 (2013) 025001 [ 1210.3590]
2013 arXiv
-
[29]
Bousso, S
R. Bousso, S. Leichenauer and V. Rosenhaus, Light-sheets and AdS/CFT , Phys. Rev. D 86 (2012) 046009 [1203.6619]
2012 arXiv
- [30]
-
[31]
Hamilton, D
A. Hamilton, D. N. Kabat, G. Lifschytz and D. A. Lowe, Holographic representation of local bulk operators , Phys. Rev. D 74 (2006) 066009 [ hep-th/0606141]
2006 arXiv
-
[32]
Heemskerk, D
I. Heemskerk, D. Marolf, J. Polchinski and J. Sully, Bulk and Transhorizon Measurements in AdS/CFT , JHEP 10 (2012) 165 [ 1201.3664]
2012 arXiv
-
[33]
Penington, S
G. Penington, S. H. Shenker, D. Stanford and Z. Yang, Replica wormholes and the black hole interior , JHEP 03 (2022) 205 [ 1911.11977]
2022 arXiv
-
[34]
Almheiri, T
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian and A. Tajdini, Replica Wormholes and the Entropy of Hawking Radiation, JHEP 05 (2020) 013 [ 1911.12333]
2020 arXiv
-
[35]
Bousso and G
R. Bousso and G. Penington, Islands far outside the horizon, JHEP 11 (2024) 164 [ 2312.03078]
2024 arXiv
-
[36]
to appear
R. Bousso, “to appear.”
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.