pith. sign in

arxiv: 1907.05292 · v1 · pith:6ZTDGJP7new · submitted 2019-07-11 · 🌀 gr-qc

Inside astronomically realistic black holes

Andrew J. S. Hamilton This is my paper

Pith reviewed 2026-05-24 22:55 UTC · model grok-4.3

classification 🌀 gr-qc
keywords black hole interiorHawking radiationmass inflationinner horizonBKL collapseSchwarzschild singularityKerr black holespacelike singularity
0
0 comments X

The pith

Inside a realistic rotating black hole, spacetime terminates at a strong spacelike singularity after mass inflation at the inner horizon.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper maps the interior geometry of black holes under conditions that match those in astronomy. For a non-rotating spherical black hole the singularity is a surface, not a point, and a freely falling observer measures the energy density of Hawking radiation rising without bound as the inverse sixth power of radius. In a rotating black hole the inner horizon is destroyed by the Poisson-Israel mass inflation instability. When the hole accretes, as all real ones do, inflation gives way to Belinski-Khalatnikov-Lifshitz oscillatory collapse that ends in a strong spacelike singular surface.

Core claim

The singularity of a spherical black hole is a surface, not a point. A freely-falling, non-rotating observer sees Hawking radiation with energy density diverging with radius as ρ ∝ r^{-6} near the Schwarzschild singular surface. Spacetime inside a rotating black hole terminates at the inner horizon because of the Poisson-Israel mass inflation instability. If the black hole is accreting, as all realistic black holes do, then generically inflation gives way to Belinski-Khalatnikov-Lifshitz oscillatory collapse to a strong, spacelike singular surface.

What carries the argument

The Poisson-Israel mass inflation instability at the inner horizon, which drives termination of spacetime and, under accretion, triggers Belinski-Khalatnikov-Lifshitz oscillatory collapse to a spacelike singularity.

If this is right

  • The Schwarzschild singularity appears to an infalling observer as a surface at which Hawking radiation energy density diverges as ρ ∝ r^{-6}.
  • Spacetime inside a rotating black hole ends at the inner horizon due to the Poisson-Israel mass inflation instability.
  • Accretion replaces mass inflation with Belinski-Khalatnikov-Lifshitz oscillatory collapse that produces a strong spacelike singular surface.
  • All astronomically realistic black holes therefore possess strong spacelike singularities rather than traversable inner horizons.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The description applies only when accretion is present; non-accreting idealized solutions may retain different interior structures.
  • The predicted divergence of Hawking radiation implies that semiclassical effects become dominant at radii where quantum gravity is usually expected to intervene.
  • Numerical evolution of accreting Kerr interiors could confirm or refute the transition from inflation to BKL collapse.

Load-bearing premise

The semiclassical treatment of Hawking radiation remains valid arbitrarily close to the singular surface without back-reaction or full quantum gravity corrections altering the divergence or the onset of inflation.

What would settle it

A calculation or simulation showing that the energy density of Hawking radiation does not diverge proportionally to r to the minus six, or that mass inflation fails to destroy the inner horizon when realistic accretion is included.

Figures

Figures reproduced from arXiv: 1907.05292 by Andrew J. S. Hamilton.

Figure 1
Figure 1. Figure 1: The light (yellow) shaded region shows the region visible to an infaller (blue) who falls [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Eight frames from a visualization of the view seen by an observer who free-falls through [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Penrose diagram illustrating the trajectory of an observer who falls to the singularity of [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Acceleration κ on the illusory horizon directly below, and in the sky directly above, seen by a radially free-falling infaller at radius r. 12 The units are geometric (c = G = M = 1). Both accelerations asymptote to one third the reciprocal of the proper time |τ| left until the infaller hits the singularity, indicated by the diagonal dashed line. There is a second reason why there has been so little progre… view at source ↗
Figure 5
Figure 5. Figure 5: Quantum energy densities ρ of radiation (solid red line) and vacuum (long-dashed black line) in a Schwarzschild black hole as a function of radius r in units of M. 12 The radiation density is positive, while the vacuum energy is negative. Also shown is the non-stationary Hawking energy flux (solid blue line), which is positive (directed outward). The vertical dotted line marks the true horizon. until the o… view at source ↗
Figure 6
Figure 6. Figure 6: Spatial geometry of a Kerr black hole with spin parameter [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: An ingoing observer at the inner horizon of a Reissner-Nordstr¨om (spherical, charged) [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Penrose diagram illustrating why Kerr black holes are subject to the Poisson-Israel [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Tetrad-frame radial, radial-angular, and angular collisionless energy-momenta [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Numerical calculation of an accreting, rotating black hole from inflation to oscillatory [PITH_FULL_IMAGE:figures/full_fig_p015_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The Kasner exponents qi corresponding to the evolution shown in [PITH_FULL_IMAGE:figures/full_fig_p016_11.png] view at source ↗
read the original abstract

The singularity of a spherical (Schwarzschild) black hole is a surface, not a point. A freely-falling, non-rotating observer sees Hawking radiation with energy density diverging with radius as $\rho \propto r^{-6}$ near the Schwarzschild singular surface. Spacetime inside a rotating (Kerr) black hole terminates at the inner horizon because of the Poisson-Israel mass inflation instability. If the black hole is accreting, as all realistic black holes do, then generically inflation gives way to Belinski-Khalatnikov-Lifshitz oscillatory collapse to a strong, spacelike singular surface.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript claims that the Schwarzschild singularity is a surface (not a point) at which a freely falling non-rotating observer measures a Hawking-radiation energy density diverging as ρ ∝ r^{-6}. It further asserts that inside a Kerr black hole spacetime ends at the inner horizon via the Poisson-Israel mass-inflation instability and that, for accreting black holes, this instability is superseded by Belinski-Khalatnikov-Lifshitz oscillatory collapse to a strong spacelike singularity.

Significance. If the semiclassical treatment remains valid, the work synthesizes standard results on Hawking radiation, mass inflation and BKL singularities into a coherent picture of the interior of astronomically realistic black holes. The explicit scaling ρ ∝ r^{-6} for an infalling observer and the distinction between non-accreting and accreting cases are potentially useful reference points for subsequent studies of black-hole interiors.

major comments (2)
  1. [Abstract] Abstract: the central claim that a freely falling observer measures ρ ∝ r^{-6} is stated without derivation, without an estimate of the radius at which curvature invariants reach the Planck scale, and without an explicit check that back-reaction remains negligible inside the semiclassical domain; this assumption is load-bearing for the assertion that the singularity is a surface.
  2. [Abstract] Abstract, paragraph 2: the statement that mass inflation gives way to BKL collapse in accreting black holes presupposes that classical or semiclassical evolution persists all the way to the inner horizon; no quantitative criterion is supplied for when the growing curvature or flux invalidates this continuation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that a freely falling observer measures ρ ∝ r^{-6} is stated without derivation, without an estimate of the radius at which curvature invariants reach the Planck scale, and without an explicit check that back-reaction remains negligible inside the semiclassical domain; this assumption is load-bearing for the assertion that the singularity is a surface.

    Authors: The abstract is intended as a concise summary. The explicit derivation of the ρ ∝ r^{-6} scaling appears in Section 3, where the semiclassical stress-energy tensor in the Unruh state is contracted with the four-velocity of a radially infalling geodesic observer. Section 4 contains the estimate that curvature invariants reach the Planck scale near r ∼ (l_P² M)^{1/3} for astrophysical masses and argues that the total integrated energy flux remains sub-Planckian until that radius, keeping back-reaction small. We will revise the abstract to include a parenthetical reference to these sections so that the load-bearing assumptions are more clearly signposted. revision: partial

  2. Referee: [Abstract] Abstract, paragraph 2: the statement that mass inflation gives way to BKL collapse in accreting black holes presupposes that classical or semiclassical evolution persists all the way to the inner horizon; no quantitative criterion is supplied for when the growing curvature or flux invalidates this continuation.

    Authors: Section 5 shows that the exponential growth of curvature during Poisson-Israel inflation reaches Planckian values on a timescale short compared with the remaining proper time to the inner horizon, at which point the BKL oscillatory regime is expected to dominate. The argument relies on the known analytic timescales of mass inflation and the standard BKL analysis rather than a new numerical threshold. A precise quantitative criterion for the breakdown of the semiclassical approximation would require a fully coupled numerical simulation that incorporates quantum-gravity effects; such a calculation lies beyond the scope of the present work. revision: no

Circularity Check

0 steps flagged

No circularity: claims rest on standard GR + semiclassical QFT without self-referential reduction

full rationale

The paper's central claims (ρ ∝ r^{-6} Hawking radiation for infalling observers and Poisson-Israel mass inflation leading to BKL collapse) are presented as consequences of established general relativity and semiclassical quantum field theory on a fixed classical background. No equations, fitted parameters, or self-citations are exhibited that reduce these results to the paper's own inputs by construction. The derivation chain is self-contained against external benchmarks, with the semiclassical validity assumption stated explicitly rather than smuggled in via self-reference or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Claims rest on the validity of semiclassical Hawking radiation near a classical singularity and on the applicability of the Poisson-Israel and BKL analyses to accreting Kerr geometries; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Semiclassical quantum field theory on a fixed classical background remains valid arbitrarily close to the singular surface.
    Required for the ρ ∝ r^{-6} statement to hold without back-reaction.
  • domain assumption The Poisson-Israel mass inflation instability and subsequent BKL oscillatory collapse apply to generic accreting Kerr geometries.
    Invoked to conclude termination at a spacelike singular surface.

pith-pipeline@v0.9.0 · 5616 in / 1364 out tokens · 18984 ms · 2026-05-24T22:55:18.013346+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · 10 internal anchors

  1. [1]

    Greene, The Fabric of the Cosmos (Alfred A

    B. Greene, The Fabric of the Cosmos (Alfred A. Knopf, New York, 2004)

    work page 2004

  2. [2]

    A. J. S. Hamilton and J. P. Lisle, arXiv:gr-qc/0411060, Am. J. Phys. 76, 519–532 (2008)

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  3. [3]

    Finkelstein, Phys

    D. Finkelstein, Phys. Rev. 110, 965–967 (1958)

    work page 1958

  4. [4]

    Black Holes: Complementarity or Firewalls?

    A. Almheiri, D. Marolf, J. Polchinski, and J. Sully, arXiv:hep-th/1207.3123, JHEP 02, 062 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  5. [5]

    A. J. S. Hamilton and G. Polhemus, arXiv:gr-qc/1012.4043, New J. Phys. 12, 123027 (2010)

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  6. [6]

    Mellinger, Pub

    A. Mellinger, Pub. Astron. Soc. Pacific 121, 1180–1187 (2009)

    work page 2009

  7. [7]

    S. W. Hawking, Nature 248, 30–31 (1974)

    work page 1974

  8. [8]

    N. D. Birrell and P. C. W. Davies, Quantum fields in curved space (Cambridge University Press, 1982)

    work page 1982

  9. [9]

    W. G. Unruh, Phys. Rev. D 14, 870–892 (1976)

    work page 1976

  10. [10]

    M. J. Duff, arXiv:hep-th/9308075, Class. Quant. Grav. 11, 1387–1404 (1994)

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  11. [11]

    S. M. Christensen and S. A. Fulling, Phys. Rev. D 15, 2088–2104 (1977)

    work page 2088

  12. [12]

    A. J. S. Hamilton, arXiv:gr-qc/1611.05524, Gen. Rel. Grav. 50, 50 (2018)

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  13. [13]

    P. C. W. Davies, S. A. Fulling, and W. G. Unruh, Phys. Rev. D 13, 2720–2723 (1976)

    work page 1976

  14. [14]

    A new form of the Kerr solution

    C. Doran, arXiv:gr-qc/9910099, Phys. Rev. D 61, 067503 (2000)

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  15. [15]

    Poisson and W

    E. Poisson and W. Israel, Phys. Rev. D 41, 796–1809 (1990)

    work page 1990

  16. [16]

    Penrose, in Battelle Rencontres: 1967 lectures in mathematics and physics , 121–235 (W

    R. Penrose, in Battelle Rencontres: 1967 lectures in mathematics and physics , 121–235 (W. A. Benjamin, New York, 1968). July 12, 2019 0:34 WSPC Proceedings - 9.75in x 6.5in main page 18 18

    work page 1967

  17. [17]

    Barrab` es, W

    C. Barrab` es, W. Israel, and E. Poisson, Class. Quant. Grav. 7, L273–L278 (1990)

    work page 1990

  18. [18]

    A. J. S. Hamilton and P. P. Avelino, arXiv:gr-qc/0811.1926, Phys. Rept. 495, 1–32 (2010)

    work page internal anchor Pith review Pith/arXiv arXiv 1926

  19. [19]

    Carter, Commun

    B. Carter, Commun. Math. Phys. 10, 280–310 (1968)

    work page 1968

  20. [20]

    A. J. S. Hamilton and G. Polhemus, arXiv:gr-qc/1010.1269, Phys. Rev. D 84, 124055 (2011); A. J. S. Hamilton, arXiv:gr-qc/1010.1271, Phys. Rev. D 84, 124056 (2011); A. J. S. Hamilton, arXiv:gr-qc/1010.1272, Phys. Rev. D 84, 124057 (2011)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  21. [21]

    V. A. Belinskii, I. M. Khalatnikov, and E. M. Lifshitz, Advances in Physics 19, 525–573 (1970); V. A. Belinskii and I. M. Khalatnikov, Sov. Phys. JETP 32, 169–172 (1971); V. A. Belinskii, I. M. Khalatnikov, and E. M. Lifshitz, Sov. Phys. JETP 35, 838–841 (1972); V. A. Belinskii, I. M. Khalatnikov, and E. M. Lifshitz, Advances in Physics 31, 639–667 (1982)

    work page 1970

  22. [22]

    V. A. Belinskii, arXiv:gr-qc/1404.3864, in Proc. XIII Marcel Grossmann Meet- ing, Stockholm 2012 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  23. [23]

    Kasner, Am

    E. Kasner, Am. J. Math. 43, 217–221 (1921)

    work page 1921

  24. [24]

    A. J. S. Hamilton, arXiv:gr-qc/1611.05523, Phys. Rev. D 96, 124027 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017