Recognition: 3 theorem links
· Lean TheoremFamilies of regular spacetimes and energy conditions
Pith reviewed 2026-05-12 04:23 UTC · model grok-4.3
The pith
A systematic method constructs static spherically symmetric regular spacetimes in general relativity that satisfy the weak energy condition from assumptions on energy density and bounded Kretschmann scalar.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By classifying admissible density profiles according to their complexity, the authors recover the Bardeen, Hayward, and Dymnikova models as special cases within a unified framework and derive new closed-form regular geometries involving hypergeometric or incomplete Gamma functions, many of which simplify to algebraic, logarithmic, arctangent, or exponential expressions, all while satisfying the weak energy condition.
What carries the argument
Classification of admissible matter energy density profiles together with the requirement of a bounded Kretschmann scalar, which ensures finiteness of all curvature invariants and completeness of causal geodesics.
Load-bearing premise
Physically reasonable assumptions on the matter energy density together with boundedness of the Kretschmann scalar are sufficient to guarantee regularity and geodesic completeness for the spacetimes considered.
What would settle it
A static spherically symmetric spacetime with bounded Kretschmann scalar that contains a curvature singularity, has incomplete causal geodesics, or violates the weak energy condition despite satisfying the density assumptions.
read the original abstract
We present a systematic method for constructing static, spherically symmetric regular spacetimes in general relativity satisfying the weak energy condition. Our approach relies on physically reasonable assumptions on the matter energy density, together with the boundedness of the Kretschmann scalar. The latter property ensures the finiteness of all curvature invariants and, for the configurations considered, is equivalent to the completeness of causal geodesics. By classifying admissible density profiles according to their complexity, we recover well-known regular black hole solutions such as the Bardeen, Hayward, and Dymnikova models, which are thus naturally embedded in a unified and broader framework. Within this setting, we also derive closed-form expressions for several new families of regular geometries involving hypergeometric or incomplete Gamma functions, which in many cases reduce to elementary functions including algebraic, logarithmic, arctangent, and exponential forms. The emergence of horizons and photon spheres, as well as matching conditions to a Schwarzschild exterior, are also investigated.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents a systematic method for constructing static, spherically symmetric regular spacetimes in general relativity that satisfy the weak energy condition. It classifies admissible matter energy density profiles under assumptions of physical reasonableness together with boundedness of the Kretschmann scalar (asserted to guarantee finiteness of all curvature invariants and, for these configurations, completeness of causal geodesics). The classification recovers the Bardeen, Hayward, and Dymnikova solutions as special cases and generates new closed-form families expressed via hypergeometric or incomplete Gamma functions (many reducing to elementary algebraic, logarithmic, arctangent, or exponential forms). The work also examines the emergence of horizons and photon spheres as well as matching conditions to an exterior Schwarzschild geometry.
Significance. If the density-profile classification indeed yields metrics satisfying the weak energy condition everywhere while maintaining bounded curvature, the manuscript supplies a unified, physically motivated framework that embeds known regular black-hole models and produces explicit new examples. This could facilitate systematic exploration of non-singular geometries and their observable features such as photon spheres.
minor comments (3)
- [Abstract and §2] Abstract and §2: the asserted equivalence between bounded Kretschmann scalar and geodesic completeness is stated without a self-contained sketch or reference; a brief derivation or citation in the main text would clarify the scope of the claim for the static spherical case.
- [§4] §4 (new families): while reductions to elementary functions are noted, explicit mapping of which density-profile parameters produce algebraic versus hypergeometric forms would improve readability and allow readers to reproduce the simpler cases without re-deriving the integrals.
- [Figures and Table 1] Figure captions and Table 1: several plots of curvature invariants and energy-condition functions lack axis labels or parameter values; adding these would make the numerical checks of the weak energy condition easier to verify.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation of our manuscript and the recommendation for minor revision. No specific major comments were listed in the report, so there are no individual points requiring a point-by-point response.
Circularity Check
No significant circularity detected
full rationale
The paper constructs families of regular static spherically symmetric spacetimes by starting from external assumptions on admissible matter energy-density profiles (physically reasonable, satisfying WEC) together with the boundedness of the Kretschmann scalar. It then classifies these profiles by complexity, recovers the Bardeen/Hayward/Dymnikova solutions as special cases, and obtains new closed-form families involving hypergeometric or incomplete Gamma functions. The bounded-Kretschmann condition is asserted to guarantee finiteness of all curvature invariants and (for the metrics considered) geodesic completeness; this is presented as a property of the chosen class rather than a derived prediction. No load-bearing self-citations, fitted parameters renamed as predictions, self-definitional steps, or ansatzes smuggled via prior work appear in the derivation chain. The output geometries are generated from the input assumptions without reducing back to them by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Physically reasonable assumptions on the matter energy density ensure the weak energy condition holds
- domain assumption Boundedness of the Kretschmann scalar ensures finiteness of all curvature invariants and completeness of causal geodesics
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our approach relies on physically reasonable assumptions on the matter energy density, together with the boundedness of the Kretschmann scalar... By classifying admissible density profiles according to their complexity, we recover well-known regular black hole solutions such as the Bardeen, Hayward, and Dymnikova models
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
K = 4(X² + 4Y² + Z²)... the Kretschmann scalar alone is sufficient to fully determine the curvature regularity
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery / embed_strictMono unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
ρ(r) = ρ₀ [1 + (r/rd)^n]^(−ℓ) ... C = 5
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
-
[1]
E. Lifshitz and I. Khalatnikov,Investigations in relativistic cosmology,Advances in Physics 12(1963) 185
work page 1963
-
[2]
S.W. Hawking and G.F.R. Ellis,The Large Scale Structure of Space-Time, Cambridge Monographs on Mathematical Physics, Cambridge University Press (2, 2023), 10.1017/9781009253161
-
[3]
S.W. Hawking,THE PATH INTEGRAL APPROACH TO QUANTUM GRAVITY, in General Relativity: An Einstein Centenary Survey, pp. 746–789 (1980)
work page 1980
-
[4]
Wald,General Relativity, Chicago Univ
R.M. Wald,General Relativity, Chicago Univ. Pr., Chicago, USA (1984), 10.7208/chicago/9780226870373.001.0001
-
[5]
Penrose,Gravitational collapse and space-time singularities,Phys
R. Penrose,Gravitational collapse and space-time singularities,Phys. Rev. Lett.14(1965) 57
work page 1965
-
[6]
S.W. Hawking and R. Penrose,The Singularities of gravitational collapse and cosmology, Proc. Roy. Soc. Lond. A314(1970) 529
work page 1970
-
[7]
Senovilla,Singularity Theorems and Their Consequences,Gen
J.M.M. Senovilla,Singularity Theorems and Their Consequences,Gen. Rel. Grav.30(1998) 701 [1801.04912]
-
[8]
H.K. Mohajan,Singularities in global hyperbolic space-time manifold,Apex Journal of Advanced Sciences & Engineering5(2016) 41
work page 2016
-
[9]
E. Curiel,A Primer on Energy Conditions,Einstein Stud.13(2017) 43 [1405.0403]
-
[10]
P. Martin-Moruno and M. Visser,Classical and semi-classical energy conditions,Fundam. Theor. Phys.189(2017) 193 [1702.05915]
-
[11]
M.S. Morris and K.S. Thorne,Wormholes in space-time and their use for interstellar travel: A tool for teaching general relativity,Am. J. Phys.56(1988) 395
work page 1988
-
[12]
M. Visser,Lorentzian Wormholes. From Einstein to Hawking, Springer, New York, USA (1995)
work page 1995
-
[13]
Bambi, ed.,Regular Black Holes
C. Bambi, ed.,Regular Black Holes. Towards a New Paradigm of Gravitational Collapse, Springer Series in Astrophysics and Cosmology, Springer (2023), 10.1007/978-981-99-1596-5, [2307.13249]
- [14]
-
[15]
M. Myszkowski, M. Damia Paciarini, F. Sannino and V. Vellucci,Regular spacetimes in the effective metric description,Eur. Phys. J. C86(2026) 346 [2506.12620]
-
[16]
R. Carballo-Rubio et al.,Towards a non-singular paradigm of black hole physics,JCAP05 (2025) 003 [2501.05505]
-
[17]
Bardeen,Non-singular general-relativistic gravitational collapse, inProc
J.M. Bardeen,Non-singular general-relativistic gravitational collapse, inProc. Int. Conf. GR5, Tbilisi, vol. 174, p. 174, sn, 1968
work page 1968
-
[18]
Dymnikova,Vacuum nonsingular black hole,Gen
I. Dymnikova,Vacuum nonsingular black hole,Gen. Rel. Grav.24(1992) 235
work page 1992
-
[19]
Formation and evaporation of non-singular black holes
S.A. Hayward,Formation and evaporation of regular black holes,Phys. Rev. Lett.96(2006) 031103 [gr-qc/0506126]
work page Pith review arXiv 2006
-
[20]
V.P. Frolov and A. Zelnikov,Quantum radiation from an evaporating nonsingular black hole, Phys. Rev. D95(2017) 124028 [1704.03043]
- [21]
-
[22]
B. Singh, B.K. Singh and D.V. Singh,Thermodynamics, phase structure of Bardeen massive black hole in Gauss-Bonnet gravity,Int. J. Geom. Meth. Mod. Phys.20(2023) 2350125. – 33 –
work page 2023
-
[23]
H. Zeng and Y. Meng,Images from disk and spherical accretions of Bardeen black hole surrounded by perfect fluid dark matter,Phys. Lett. B876(2026) 140434 [2512.05147]
-
[24]
V. Vertogradov and A. Rincon,Energy extraction and evolution of regular black holes: The case of Bardeen spacetime,Phys. Dark Univ.50(2025) 102066 [2508.14489]
-
[25]
R.A. Konoplya and A. Zhidenko,Dymnikova black hole from an infinite tower of higher-curvature corrections,Phys. Lett. B856(2024) 138945 [2404.09063]
-
[26]
M. Alshammari, S. Alshammari, S. Khan and M.M. Al-sawalha,Einasto-core generalization of the Dymnikova regular black hole metric,Eur. Phys. J. C85(2025) 1402
work page 2025
-
[27]
V. Vertogradov,Gravitational collapse and formation of regular black holes: Dymnikova, Hayward, and beyond,Eur. Phys. J. C85(2025) 839 [2504.19292]
- [28]
- [29]
- [30]
- [31]
- [32]
- [33]
-
[34]
Interior Dynamics of Regular Schwarzschild Black Holes
J. Ovalle,Interior Dynamics of Regular Schwarzschild Black Holes,2509.00816
work page internal anchor Pith review Pith/arXiv arXiv
-
[35]
OnSchwarzschildblackholesingularityformation,
J. Ovalle, R. Casadio and A. Kamenshchik,Schwarzschild black hole singularity formation, Phys. Rev. D113(2026) 064042 [2603.06451]
-
[36]
New Regular Black Hole Solution from Nonlinear Electrodynamics
E. Ayon-Beato and A. Garcia,New regular black hole solution from nonlinear electrodynamics, Phys. Lett. B464(1999) 25 [hep-th/9911174]
work page Pith review arXiv 1999
-
[37]
The Bardeen Model as a Nonlinear Magnetic Monopole
E. Ayon-Beato and A. Garcia,The Bardeen model as a nonlinear magnetic monopole,Phys. Lett. B493(2000) 149 [gr-qc/0009077]
work page Pith review arXiv 2000
-
[38]
Regular electrically charged structures in Nonlinear Electrodynamics coupled to General Relativity
I. Dymnikova,Regular electrically charged structures in nonlinear electrodynamics coupled to general relativity,Class. Quant. Grav.21(2004) 4417 [gr-qc/0407072]
work page Pith review arXiv 2004
-
[39]
Regular black holes with a nonlinear electrodynamics source
L. Balart and E.C. Vagenas,Regular black holes with a nonlinear electrodynamics source, Phys. Rev. D90(2014) 124045 [1408.0306]
work page Pith review arXiv 2014
-
[40]
Culetu,On a regular charged black hole with a nonlinear electric source,Int
H. Culetu,On a regular charged black hole with a nonlinear electric source,Int. J. Theor. Phys.54(2015) 2855 [1408.3334]
-
[41]
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(2016) 124027 [1610.02636]
work page Pith review arXiv 2016
-
[42]
D.V. Singh, S.G. Ghosh and S.D. Maharaj,Exact nonsingular black holes and thermodynamics,Nucl. Phys. B981(2022) 115854
work page 2022
-
[43]
Bronnikov,Regular black holes sourced by nonlinear electrodynamics,2211.00743
K.A. Bronnikov,Regular black holes sourced by nonlinear electrodynamics,2211.00743. – 34 –
-
[44]
Regular Black Holes in General Relativity from Nonlinear Electrodynamics with de Sitter Cores
A.A. Araújo Filho, E.L.B. Junior, J.T.S.S. Junior, F.S.N. Lobo, J.A.A. Ramos, M.E. Rodrigues et al.,Regular Black Holes in General Relativity from Nonlinear Electrodynamics with de Sitter Cores,2604.20066
work page internal anchor Pith review Pith/arXiv arXiv
- [45]
- [46]
-
[47]
G.S. M and S. Das,EHT-Constrained Analysis of Shadow Deformation in Quantum-Improved Rotating Non-Singular Magnetic Monopole,2604.04695
work page internal anchor Pith review Pith/arXiv arXiv
-
[48]
J. Borissova and R. Carballo-Rubio,Effective geometrodynamics for renormalization-group improved black-hole spacetimes in spherical symmetry,2601.17115
work page internal anchor Pith review Pith/arXiv arXiv
-
[49]
V. Vertogradov and A. Övgün,Exact regular black hole solutions with de Sitter cores and Hagedorn fluid,Class. Quant. Grav.42(2025) 025024 [2408.02699]
-
[50]
Signatures of a de Sitter-core black hole in ringing, transmission and optical appearance
N. Heidari, A.A. Araújo Filho, V. Vertogradov and A. Övgün,Black hole with a de Sitter core: classical and quantum features,2412.05072
work page internal anchor Pith review Pith/arXiv arXiv
-
[51]
A. Simpson and M. Visser,Regular black holes with asymptotically Minkowski cores,Universe 6(2019) 8 [1911.01020]
-
[52]
A. Simpson and M. Visser,The eye of the storm: a regular Kerr black hole,JCAP03(2022) 011 [2111.12329]
-
[53]
A. Simpson and M. Visser,Black-bounce to traversable wormhole,JCAP02(2019) 042 [1812.07114]
- [55]
- [56]
-
[57]
M. Estrada and R. Aros,Pure Lovelock gravity regular black holes,JCAP01(2025) 032 [2409.09559]
- [58]
-
[59]
S. Capozziello, S. De Bianchi and E. Battista,Avoiding singularities in Lorentzian-Euclidean black holes: The role of atemporality,Phys. Rev. D109(2024) 104060 [2404.17267]
-
[60]
Zhang,Black holes as portals to an Euclidean realm,2603.25313
F. Zhang,Black holes as portals to an Euclidean realm,2603.25313
-
[61]
J. Borissova, S. Liberati and M. Visser,Timelike convergence condition in regular black-hole spacetimes with (anti–)de Sitter core,Phys. Rev. D112(2025) 104072 [2509.08590]
-
[62]
Jacobson,When is g(tt) g(rr) = -1?,Class
T. Jacobson,When is g(tt) g(rr) = -1?,Class. Quant. Grav.24(2007) 5717 [0707.3222]
-
[63]
Ovalle,Black holes without Cauchy horizons and integrable singularities,Phys
J. Ovalle,Black holes without Cauchy horizons and integrable singularities,Phys. Rev. D107 (2023) 104005 [2305.00030]
-
[64]
R. Casadio, A. Kamenshchik and J. Ovalle,From black hole mimickers to black holes,Phys. Rev. D109(2024) 024042 [2401.03980]
-
[65]
Geroch,What is a singularity in general relativity?,Annals Phys.48(1968) 526
R.P. Geroch,What is a singularity in general relativity?,Annals Phys.48(1968) 526. – 35 –
work page 1968
- [66]
- [67]
-
[68]
C. Cherubini, D. Bini, S. Capozziello and R. Ruffini,Second order scalar invariants of the Riemann tensor: Applications to black hole space-times,Int. J. Mod. Phys. D11(2002) 827 [gr-qc/0302095]
-
[69]
Y.N. Obukhov and F.W. Hehl,On the relation between quadratic and linear curvature Lagrangians in Poincare gauge gravity,Acta Phys. Polon. B27(1996) 2685 [gr-qc/9602014]
-
[70]
A. Steane,Relativity Made Relatively Easy Volume 2: General Relativity and Cosmology, Oxford University Press, Oxford (2021)
work page 2021
-
[71]
R. Jackiw and S.Y. Pi,Chern-Simons modification of general relativity,Phys. Rev. D68 (2003) 104012 [gr-qc/0308071]
-
[72]
J. Carminati and R.G. McLenaghan,Algebraic invariants of the Riemann tensor in a four-dimensional Lorentzian space,J. Math. Phys.32(1991) 3135
work page 1991
-
[73]
E. Zakhary and C.B.G. Mcintosh,A Complete Set of Riemann Invariants,Gen. Rel. Grav.29 (1997) 539
work page 1997
-
[74]
K. Santosuosso, D. Pollney, N. Pelavas, P. Musgrave and K. Lake,Invariants of the Riemann tensor for class B warped product space-times,Comput. Phys. Commun.115(1998) 381 [gr-qc/9809012]
-
[75]
J. Borissova and R. Carballo-Rubio,Regular black holes from pure gravity in four dimensions, 2602.16773
-
[76]
C.W. Misner, K.S. Thorne and J.A. Wheeler,Gravitation, W. H. Freeman, San Francisco (1973)
work page 1973
-
[77]
Nakahara,Geometry, topology and physics(2003)
M. Nakahara,Geometry, topology and physics(2003)
work page 2003
-
[78]
E. Poisson,A Relativist’s Toolkit: The Mathematics of Black-Hole Mechanics, Cambridge University Press (12, 2009), 10.1017/CBO9780511606601
-
[79]
L. Rezzolla and O. Zanotti,Relativistic Hydrodynamics, Oxford University Press (9, 2013), 10.1093/acprof:oso/9780198528906.001.0001
work page doi:10.1093/acprof:oso/9780198528906.001.0001 2013
-
[80]
Maeda,Hawking-Ellis type of matter on Killing horizons in symmetric spacetimes,Phys
H. Maeda,Hawking-Ellis type of matter on Killing horizons in symmetric spacetimes,Phys. Rev. D104(2021) 084088 [2107.01455]
-
[81]
Klinkhamer, A new type of nonsingular black-hole solution in general relativity , Mod
F.R. Klinkhamer,A new type of nonsingular black-hole solution in general relativity,Mod. Phys. Lett. A29(2014) 1430018 [1309.7011]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.