pith. sign in

arxiv: 2606.25023 · v1 · pith:PAVA3VNYnew · submitted 2026-06-23 · 🌀 gr-qc · hep-th

Obstructions to Minimal Regular Black Hole Cosmologies

Pith reviewed 2026-06-25 21:59 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords regular black holesFRW cosmologyDarmois matchingMisner-Sharp massasymptotic flatnessgeodesic completenessANECKantowski-Sachs
0
0 comments X

The pith

Static asymptotically flat regular black holes obstruct indefinitely expanding FRW daughter cosmologies.

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

The paper derives that a static regular black hole cannot match onto an FRW cosmology that expands indefinitely without extra ingredients. The trapped region inside such black holes is Kantowski-Sachs rather than FRW, so any cosmological region must be introduced as a separate matched daughter. For closed daughters the angular matching condition forces the induced density to fall as the cube of the scale factor while the curvature term falls only as the square, bounding the expansion. Flat and open daughters are ruled out by a general completeness theorem that applies when the spacetime is curvature-regular and obeys the average null energy condition.

Core claim

The trapped region of a static asymptotically flat regular black hole is Kantowski-Sachs, requiring the FRW daughter to be a separate matched region. Asymptotic flatness together with finite ADM mass implies that the Misner-Sharp mass controls the angular Darmois condition, forcing the density on a closed daughter to decay as A^{-3} while the k=+1 term decays only as A^{-2}; the minimal closed branch is therefore bounded. Flat and open daughters are excluded by the general FRW completeness theorem for non-static curvature-regular ANEC-consistent cases. The Bardeen source supplies no natural late-time support for an unbounded closed daughter.

What carries the argument

Angular Darmois matching condition controlled by the Misner-Sharp mass, which enforces the A^{-3} density decay relative to the A^{-2} curvature term for closed daughters.

If this is right

  • Closed FRW daughters matched to such parents must be bounded rather than indefinitely expanding.
  • Flat and open FRW daughters matched to such parents cannot be geodesically complete.
  • The Bardeen source alone cannot furnish late-time support for an unbounded closed daughter.
  • A viable FRW daughter requires at least one of modified asymptotics, nonminimal matching, non-FRW evolution, or an extra stress-energy component.

Where Pith is reading between the lines

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

  • Relaxing asymptotic flatness or allowing a dynamical parent black hole might evade the density-curvature mismatch.
  • Numerical evolution of the matched geometry could reveal whether singularities or geodesic incompleteness appear exactly where the analytic argument predicts.
  • Similar obstructions may appear in other regular-black-hole-to-cosmology transition models that assume finite-mass static parents.

Load-bearing premise

The parent black hole is static, asymptotically flat with finite ADM mass, the daughter is exactly FRW, and the matching obeys standard Darmois conditions while the geometry remains curvature-regular and satisfies ANEC.

What would settle it

Explicit construction of a geodesically complete non-static curvature-regular ANEC-satisfying FRW spacetime matched via standard Darmois conditions to a static asymptotically flat regular black hole of finite ADM mass.

Figures

Figures reproduced from arXiv: 2606.25023 by Damien A. Easson.

Figure 1
Figure 1. Figure 1: FIG. 1. Closed Bardeen daughter evolution in the asymptotically flat case. The plotted quantity [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
read the original abstract

We derive an obstruction to FRW daughter cosmologies from static, asymptotically flat regular black holes. The trapped region of such a parent is Kantowski--Sachs rather than FRW, so the daughter must be introduced as a separate matched region. For closed daughters, the angular Darmois condition is controlled by the Misner--Sharp mass: asymptotic flatness and finite ADM mass force the induced density to decay as $A^{-3}$, while the $k=+1$ curvature term scales as $A^{-2}$. The minimal closed branch is therefore bounded rather than indefinitely expanding. Flat and open daughters avoid this boundedness mechanism, but the general flat/open FRW completeness theorem prevents non-static curvature-regular, ANEC-consistent flat/open daughters from being geodesically complete. For Bardeen, the parent source does not naturally supply the late-time support needed for an unbounded closed daughter. A viable FRW daughter therefore requires additional structure, such as modified asymptotics, nonminimal matching, non-FRW evolution, or an additional stress-energy component.

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 / 2 minor

Summary. The paper claims that static, asymptotically flat regular black holes cannot support minimal FRW daughter cosmologies. The trapped region is Kantowski-Sachs, requiring separate matching via Darmois conditions. For closed daughters, asymptotic flatness and finite ADM mass imply via the Misner-Sharp mass that the induced density decays as A^{-3} while the k=+1 term scales as A^{-2}, bounding the evolution. Flat and open daughters are excluded by a general FRW completeness theorem for non-static, curvature-regular, ANEC-consistent cases. The Bardeen source is shown not to supply late-time support for unbounded closed daughters, so viable models require additional structure such as modified asymptotics or extra stress-energy.

Significance. If the derivations hold, the result establishes a clear obstruction to minimal regular black hole cosmologies using only standard GR junction conditions, the Misner-Sharp mass, and known completeness theorems. This is a parameter-free no-go result grounded in asymptotic flatness and finite ADM mass, providing useful guidance for model-building in regular black holes and their cosmological extensions. The direct derivation of the A^{-3} scaling and application of the completeness theorem are strengths.

major comments (2)
  1. [Closed daughters analysis] The boundedness claim for closed daughters rests on the angular Darmois condition forcing density ~ A^{-3} from the Misner-Sharp mass approaching a constant at the matching surface (abstract). The manuscript should explicitly display the relevant junction equation or Misner-Sharp expression to confirm the mass remains constant rather than acquiring time dependence from the matching.
  2. [Flat/open daughters analysis] The exclusion of flat/open daughters invokes 'the general flat/open FRW completeness theorem' under ANEC and curvature regularity (abstract). The manuscript must state the precise theorem (including reference) and verify that the matched geometry preserves the hypotheses (ANEC across the surface, curvature regularity of the daughter) without additional assumptions.
minor comments (2)
  1. [Abstract/Introduction] The abstract refers to 'minimal closed branch' and 'daughter' without prior definition; a brief clarification of these terms in the introduction would improve readability.
  2. [Bardeen example] The Bardeen source analysis is summarized in one sentence; expanding the explicit stress-energy mismatch at late times would strengthen the claim that it 'does not naturally supply' the required support.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments identify opportunities to strengthen the presentation by making key equations and references explicit. We address each point below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [Closed daughters analysis] The boundedness claim for closed daughters rests on the angular Darmois condition forcing density ~ A^{-3} from the Misner-Sharp mass approaching a constant at the matching surface (abstract). The manuscript should explicitly display the relevant junction equation or Misner-Sharp expression to confirm the mass remains constant rather than acquiring time dependence from the matching.

    Authors: We agree that an explicit display of the junction condition will improve clarity. In the revised manuscript we will insert the angular Darmois matching equation together with the Misner-Sharp mass expression evaluated at the surface, showing that asymptotic flatness plus finite ADM mass fixes the mass to a constant value independent of the matching time coordinate, thereby confirming the A^{-3} density scaling without additional time dependence. revision: yes

  2. Referee: [Flat/open daughters analysis] The exclusion of flat/open daughters invokes 'the general flat/open FRW completeness theorem' under ANEC and curvature regularity (abstract). The manuscript must state the precise theorem (including reference) and verify that the matched geometry preserves the hypotheses (ANEC across the surface, curvature regularity of the daughter) without additional assumptions.

    Authors: We will cite the precise completeness theorem (including its reference) in the revised text. We will also add a short paragraph verifying that the Darmois matching preserves ANEC (the parent satisfies ANEC by regularity and the junction is C^1) and that the daughter remains curvature-regular by construction of the matching, thereby confirming that the hypotheses of the theorem continue to hold. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation applies standard Darmois junction conditions to a static asymptotically flat parent with finite ADM mass, yielding the A^{-3} density scaling directly from the Misner-Sharp mass approaching a constant (contrasted with the k=+1 term scaling as A^{-2}); this is ordinary closed FRW dynamics. Flat/open cases are excluded by an external general completeness theorem under ANEC and curvature regularity. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear; all load-bearing elements are independent GR results or external theorems, making the chain self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests entirely on standard general relativity assumptions without new free parameters or invented entities.

axioms (3)
  • standard math Einstein field equations hold in both regions
    Invoked for the Misner-Sharp mass and curvature terms throughout the matching analysis.
  • domain assumption Darmois junction conditions apply at the matching surface
    Used to relate the angular component to the Misner-Sharp mass and induced density.
  • domain assumption Averaged null energy condition (ANEC) holds
    Required for the general flat/open FRW completeness theorem cited in the abstract.

pith-pipeline@v0.9.1-grok · 5701 in / 1435 out tokens · 20403 ms · 2026-06-25T21:59:24.853291+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

38 extracted references · 16 canonical work pages · 7 internal anchors

  1. [1]

    Proving the Achronal Averaged Null Energy Condition from the Generalized Second Law

    A. C. Wall, “Proving the Achronal Averaged Null Energy Condition from the Generalized Second Law,” Phys. Rev. D81, 024038 (2010) doi:10.1103/PhysRevD.81.024038 [arXiv:0910.5751 [gr-qc]]. 21

  2. [2]

    The Wasserstein distances

    E. Curiel, “A Primer on Energy Conditions,” Einstein Stud.13, 43–104 (2017) doi:10.1007/978- 1-4939-3210-8_3 [arXiv:1405.0403 [physics.hist-ph]]

  3. [3]

    Open case for a closed universe

    N. L. Burwig and D. A. Easson, “Open case for a closed universe,” Phys. Rev. D113, no.8, 083530 (2026) doi:10.1103/mn3v-myzc [arXiv:2510.13971 [hep-th]]

  4. [4]

    Affine ANEC selects the closed FRW branch for geodesically complete cosmology,

    N. L. Burwig and D. A. Easson, “Affine ANEC selects the closed FRW branch for geodesically complete cosmology,” [arXiv:2605.18965 [gr-qc]]

  5. [5]

    The Universe as a Black Hole,

    R. K. Pathria, “The Universe as a Black Hole,” Nature240, 298 (1972)

  6. [6]

    Universe Generation from Black Hole Interiors

    D. A. Easson and R. H. Brandenberger, “Universe generation from black hole interiors,” JHEP 06, 024 (2001) doi:10.1088/1126-6708/2001/06/024 [arXiv:hep-th/0103019 [hep-th]]

  7. [7]

    The Dynamics of False Vacuum Bubbles,

    S. K. Blau, E. I. Guendelman and A. H. Guth, “The Dynamics of False Vacuum Bubbles,” Phys. Rev. D35, 1747 (1987) doi:10.1103/PhysRevD.35.1747

  8. [8]

    Through a black hole into a new universe?

    V. P. Frolov, M. A. Markov, and V. F. Mukhanov, “Through a black hole into a new universe?” Phys. Lett. B216, 272 (1989)

  9. [9]

    Black holes as possible sources of closed and semiclosed worlds,

    V. P. Frolov, M. A. Markov, and V. F. Mukhanov, “Black holes as possible sources of closed and semiclosed worlds,” Phys. Rev. D41, 383 (1990)

  10. [10]

    Is it possible to create a universe in the laboratory by quantum tunneling?

    E. Farhi, A. H. Guth, and J. Guven, “Is it possible to create a universe in the laboratory by quantum tunneling?” Nucl. Phys. B339, 417 (1990)

  11. [11]

    A nonsingular two dimensional black hole,

    M. Trodden, V. F. Mukhanov and R. H. Brandenberger, “A nonsingular two dimensional black hole,” Phys. Lett. B316, 483 (1993) [arXiv:hep-th/9305111]

  12. [12]

    Nonsingular Schwarzschild-de Sitter Black Hole

    D. A. Easson, “Nonsingular Schwarzschild–de Sitter black hole,” Class. Quant. Grav.35, no.23, 235005 (2018) doi:10.1088/1361-6382/aae85f [arXiv:1712.09455 [hep-th]]

  13. [13]

    Two-dimensional black holes in the limiting curvature theory of gravity,

    V. P. Frolov and A. Zelnikov, “Two-dimensional black holes in the limiting curvature theory of gravity,” JHEP08, 154 (2021) doi:10.1007/JHEP08(2021)154 [arXiv:2105.12808 [hep-th]]

  14. [14]

    Universes inside aΛblack hole,

    I. G. Dymnikova, A. Dobosz, M. L. Fil’chenkov, and A. Gromov, “Universes inside aΛblack hole,” Phys. Lett. B506, 351 (2001) [arXiv:gr-qc/0102032]

  15. [15]

    Universes Inside a Black Hole with the de Sitter Interior,

    I. Dymnikova, “Universes Inside a Black Hole with the de Sitter Interior,” Universe5, 111 (2019)

  16. [16]

    Non-singular general-relativistic gravitational collapse,

    J. M. Bardeen, “Non-singular general-relativistic gravitational collapse,” inProceedings of the International Conference GR5, Tbilisi, U.S.S.R. (1968)

  17. [17]

    The Bardeen model as a nonlinear magnetic monopole,

    E. Ayón-Beato and A. García, “The Bardeen model as a nonlinear magnetic monopole,” Phys. Lett. B493, 149 (2000) [arXiv:gr-qc/0009077]. 22

  18. [18]

    Formation and evaporation of regular black holes,

    S. A. Hayward, “Formation and evaporation of regular black holes,” Phys. Rev. Lett.96, 031103 (2006) [arXiv:gr-qc/0506126]

  19. [19]

    Spherical black holes with regular center: A review of existing models including a recent realization with Gaussian sources,

    S. Ansoldi, “Spherical black holes with regular center: A review of existing models including a recent realization with Gaussian sources,” [arXiv:0802.0330 [gr-qc]]

  20. [20]

    Regular black hole metrics and the weak energy condition,

    L. Balart and E. C. Vagenas, “Regular black hole metrics and the weak energy condition,” Phys. Lett. B730, 14 (2014) [arXiv:1401.2136 [gr-qc]]

  21. [21]

    Construction of Regular Black Holes in General Relativity

    Z.-Y. Fan and X. Wang, “Construction of regular black holes in general relativity,” Phys. Rev. D94, no.12, 124027 (2016) doi:10.1103/PhysRevD.94.124027 [arXiv:1610.02636 [gr-qc]]

  22. [22]

    Eternal inflation and the initial singularity

    A. Borde and A. Vilenkin, “Eternal inflation and the initial singularity,” Phys. Rev. Lett.72, 3305 (1994) doi:10.1103/PhysRevLett.72.3305 [arXiv:gr-qc/9312022]

  23. [23]

    Inflationary spacetimes are incomplete in past directions,

    A. Borde, A. H. Guth and A. Vilenkin, “Inflationary spacetimes are incomplete in past directions,” Phys. Rev. Lett.90, 151301 (2003) doi:10.1103/PhysRevLett.90.151301 [arXiv:gr- qc/0110012]

  24. [24]

    On the past-completeness of inflationary spacetimes,

    J. E. Lesnefsky, D. A. Easson, and P. C. W. Davies, “On the past-completeness of inflationary spacetimes,” Phys. Rev. D107, 044024 (2023) [arXiv:2207.00955 [gr-qc]]

  25. [25]

    Inflationary resolution of the initial singularity,

    D. A. Easson and J. E. Lesnefsky, “Inflationary resolution of the initial singularity,” Phys. Lett. B875, 140370 (2026) doi:10.1016/j.physletb.2026.140370 [arXiv:2402.13031 [hep-th]]

  26. [26]

    Eternal universes,

    D. A. Easson and J. E. Lesnefsky, “Eternal universes,” Phys. Rev. D112, no.6, 063545 (2025) doi:10.1103/5mhz-m8bg [arXiv:2404.03016 [hep-th]]

  27. [27]

    Geodesically Complete Curvature-Bounce Inflation,

    D. A. Easson, “Geodesically Complete Curvature-Bounce Inflation,” [arXiv:2604.27103 [astro- ph.CO]]

  28. [28]

    On Continued Gravitational Contraction,

    J. R. Oppenheimer and H. Snyder, “On Continued Gravitational Contraction,” Phys. Rev.56, 455 (1939)

  29. [29]

    Singular hypersurfaces and thin shells in general relativity,

    W. Israel, “Singular hypersurfaces and thin shells in general relativity,” Nuovo Cim. B44, 1 (1966)

  30. [30]

    Relativistic equations for adiabatic, spherically symmetric gravitational collapse,

    C. W. Misner and D. H. Sharp, “Relativistic equations for adiabatic, spherically symmetric gravitational collapse,” Phys. Rev.136, B571 (1964)

  31. [31]

    Generalized Oppenheimer-Snyder Gravitational Collapse into Regular Black holes,

    F. Shojai, A. Sadeghi, and R. Hassannejad, “Generalized Oppenheimer-Snyder Gravitational Collapse into Regular Black holes,” Class. Quantum Grav.39, 085003 (2022) [arXiv:2202.14024 [gr-qc]]

  32. [32]

    Cosmic inflation prevents singularity formation in collapse into a Hayward black 23 hole,

    M. Bobula, “Cosmic inflation prevents singularity formation in collapse into a Hayward black 23 hole,” Class. Quantum Grav.42, 065027 (2025) [arXiv:2404.12243 [gr-qc]]

  33. [33]

    Regular black holes from Oppenheimer-Snyder collapse,

    P. Bueno, P. A. Cano, R. A. Hennigar, Á. J. Murcia and A. Vicente-Cano, “Regular black holes from Oppenheimer-Snyder collapse,” Phys. Rev. D112, no.6, 064039 (2025) doi:10.1103/qrbb- mdvm [arXiv:2505.09680 [gr-qc]]

  34. [34]

    Non-singular cosmologies matching regular black holes,

    S. Li, J.-P. Wu, and X.-H. Ge, “Non-singular cosmologies matching regular black holes,” [arXiv:2512.00926 [gr-qc]]

  35. [35]

    Quantum gravitational stellar evolution beyond shell-crossing singularities

    M. Bobula and F. Fazzini, “Quantum gravitational stellar evolution beyond shell-crossing sin- gularities,” Phys. Rev. D113, no.10, 106016 (2026) doi:10.1103/165q-lwmd [arXiv:2601.18618 [gr-qc]]

  36. [36]

    Timelike convergence condition in regular black-hole spacetimes with (anti-)de Sitter core,

    J. Borissova, S. Liberati and M. Visser, “Timelike convergence condition in regular black-hole spacetimes with (anti-)de Sitter core,” Phys. Rev. D112, no.10, 104072 (2025) doi:10.1103/rrc9- g1sv [arXiv:2509.08590 [gr-qc]]

  37. [37]

    Classical double copy of nonsingular black holes,

    D. A. Easson, C. Keeler and T. Manton, “Classical double copy of nonsingular black holes,” Phys. Rev. D102, no.8, 086015 (2020) doi:10.1103/PhysRevD.102.086015 [arXiv:2007.16186 [gr-qc]]

  38. [38]

    Black Hole Interiors as a Laboratory for Time-Dependent Classical Double Copy,

    D. A. Easson and T. Manton, “Black Hole Interiors as a Laboratory for Time-Dependent Classical Double Copy,” [arXiv:2604.19920 [hep-th]]. 24