REVIEW 2 major objections 5 minor 2 cited by
Timelike convergence condition in regular black-hole spacetimes with (anti-)de Sitter core
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The timelike convergence condition in spherically symmetric spacetimes splits into three independent inequalities on the Misner-Sharp mass function, and the new one is exactly what regular de Sitter-core black holes violate.
desk verdict A clean TCC decomposition with a real sign error in the adS-core construction; the main result survives but needs correction. 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 central object is the Misner-Sharp quasi-local mass $m(r,v)$ in spherically symmetric metrics of the form (1); the load-bearing identity is the contraction $R_{\mu\nu}v^\mu v^\nu=\frac{1}{2r}[\eta(2f'+rf'')+\gamma^2(-2fr+f''r^3+2r)-2\dot f]$ evaluated on the general timelike vector $v^\mu=(1,-\frac12(\eta-f+\gamma^2r^2),\gamma,0)$. Because $\eta\ge0$ and $\gamma$ are arbitrary, each bracketed term must be non-negative by itself, which yields the three independent inequalities in equation (8). The first inequality, $-m''\ge0$, is the piece that disappears in the null limit and therefore carries the TCC's additional focusing power beyond the NCC.
What would settle it
Evaluate $-m''(r)$ for any proposed regular black hole with a smooth de Sitter core: if a mass function with $m_0=m_1=m_2=0$ and $m_3>0$ were found for which $-m''\ge0$ in a neighbourhood of $r=0$, the claimed generic violation near the core would be refuted.
Extended reading notes
Core claim
Within the metric class $ds^2=-f(r,v)dv^2+2dvdr+r^2d\Omega^2$ with $f=1-2m(r,v)/r$, the paper establishes that the TCC, $R_{\mu\nu}v^\mu v^\nu\ge0$ for all timelike vectors, is equivalent to three independent conditions on the Misner-Sharp mass: $-m''\ge0$, $2m'-r m''\ge0$, and $\dot m\ge0$. The separation follows because a general timelike vector can be varied through independent parameters, forcing each bracketed term in the Ricci contraction to be non-negative separately. The first condition is the only one that does not survive the null limit, so it is the genuine extra content of the TCC beyond the NCC. For stationary regular black holes with a de Sitter core, regularity forces $m(r)=m_3r^3+O(r^4)$ with $m_3>0$, so $-m''\approx-6m_3r<0$ near $r=0$: the new condition is violated locally, and an asymptotic-flatness argument shows it must be violated in some finite region. For anti-de Sitter cores, $m_3<0$, so the new condition holds near the core but fails later, since $m'$ must change sign between the core and infinity. The paper's central contrast is that dS-core regular black holes violate the TCC-only condition near the core while satisfying the NCC globally, whereas adS-core regular black holes violate the NCC near the core and additionally violate the TCC-only condition in a finite shell away from it.
Load-bearing premise
The expansion $m(r)=m_3 r^3+O(r^4)$ with $m_0=m_1=m_2=0$ is the load-bearing regularity assumption; if a would-be smooth core instead has a nonzero $m_1$ or $m_2$ term, the local TCC sign analysis near the center does not apply.
Editorial extensions
If this is right
- In the metric class (1), the full TCC is equivalent to the three independent inequalities in equation (8); no additional timelike contraction can impose further conditions.
- For stationary black holes the dynamical condition $\dot m\ge0$ drops out, leaving two inequalities, one inherited from the NCC and one genuinely timelike.
- Every asymptotically flat regular black hole with a smooth dS core of the assumed expansion violates $-m''\ge0$ in a finite region around $r=0$, so the Hawking-Penrose theorem is not applicable to such spacetimes.
- Every asymptotically flat regular black hole with a smooth adS core satisfies $-m''\ge0$ near the core but must violate it in a finite shell away from the core.
- For the Bardeen dS-core example the TCC-violating boundary lies at $r_{TCC}=\sqrt{2/3}\,l$; for the modified Bardeen adS-core example the violation region is bounded by $r_{TCC\pm}=\sqrt{(43\pm\sqrt{1345})/42}\,l$.
Reading between the lines
- A practical corollary the paper leaves implicit: any search for singularity theorems valid inside inner horizons should relax exactly the $-m''\ge0$ inequality rather than the NCC, since it is the one that regular dS cores violate.
- The decomposition suggests a classification of regular black holes by the sign of $m_3$, which plays the role of an effective cosmological constant at the core; the dS/adS dichotomy in TCC behaviour is then controlled entirely by this sign.
- Testable extension: horizonless ultra-compact objects that are regular and have dS cores should also violate the TCC-only condition, so they too would evade Hawking-Penrose incompleteness without relying on a Cauchy horizon.
- The geometrically defined radius $r_{TCC}$ where $m''$ changes sign could be probed through the location of trapping transitions or the behaviour of perturbations, since it is a computable function of the mass profile.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes the timelike convergence condition (TCC) for spherically symmetric metrics written in ingoing Eddington-Finkelstein form with f(r,v)=1-2m(r,v)/r. It shows that the TCC decomposes into three independent inequalities on the Misner-Sharp mass function, -m'' >= 0, 2m'-r m'' >= 0, and \dot m >= 0, and identifies the first as the condition that goes beyond the null convergence condition (NCC). For stationary regular black holes with a de Sitter core, it argues that the first condition is violated in a finite neighborhood of the core under the standard smoothness assumption m(r)=m3 r^3+O(r^4) with m3>0. For anti-de Sitter cores (m3<0), it argues that the first condition holds near the core but is necessarily violated at finite radius, and it proposes a concrete construction by multiplying a dS-core mass function by (r^2-l^2)/(r^2+l^2), illustrated with a modified Bardeen metric.
Significance. If correct, the paper provides a clean and useful decomposition of the TCC in spherical symmetry and a sharp explanation of how regular black holes with de Sitter cores evade the Hawking-Penrose theorem despite satisfying the NCC globally. The contrast with anti-de Sitter cores, where the TCC-specific condition fails at finite radius rather than at the core, is a valuable result. The derivation of Eq. (8) is self-contained and the explicit Bardeen and modified-Bardeen examples make the claims easy to verify; these are strengths. The required fixes below affect the adS-core verification, not the qualitative conclusions.
major comments (2)
- [Section III.B.1, Eq. (29)] Direct differentiation of the product m_BHAdS = m_BHdS(r)(r^2-l^2)/(r^2+l^2) gives -m''_BHAdS = -[4 m_BHdS (l^4 - 3 l^2 r^2) + (r^2+l^2)(8 l^2 r m'_BHdS + (r^4-l^4) m''_BHdS)]/(r^2+l^2)^3, whose small-r behaviour is -4 m_BHdS/l^2 + m''_BHdS + O(r) ~ 6 m3 r + O(r^3) > 0 for a dS core with m3 > 0. The first line of Eq. (29) has the opposite overall sign, and the ensuing statement that m''_BHdS(epsilon) < 0 is also wrong, since m'' ~ 6 m3 r > 0 near a dS core. The paragraph concludes -m''_BHAdS < 0 while asserting that the TCC condition is satisfied; as printed it is internally contradictory. The explicit modified-Bardeen expression in Eq. (32) has the correct positive sign, so the central claim survives, but the derivation must be corrected.
- [Section III.B.1, Eq. (30)] The second equality in Eq. (30), written as -m'_BHdS(epsilon) + O(r), is not the correct small-r expansion. For m_BHdS = m3 r^3 + m5 r^5 + ..., one obtains m_BHAdS = -m3 r^3 + (2 m3/l^2 - m5) r^5 + ... and hence 2 m'_BHAdS - r m''_BHAdS = -10 (2 m3/l^2 - m5) r^4 + O(r^6), not -3 m3 r^2 + ... . The stated conclusion that the NCC is violated locally therefore does not follow from m'_BHdS(epsilon) > 0 alone: its sign depends on the subleading coefficient 2 m3/l^2 - m5. The modified-Bardeen example satisfies the inequality, but the general construction claim needs either a corrected expansion with an explicit condition on the subleading coefficient or a restriction to the class for which that coefficient is positive.
minor comments (5)
- [Section III.A.1, Eq. (22)] The denominator (l^2 r^2 + l^4)^{7/2} in Eq. (22) makes the expression dimensionally inconsistent; the correct denominator is (r^2 + l^2)^{7/2}, as follows by differentiating Eq. (21).
- [Section III.A.1, Eq. (23)] The coefficient in Eq. (23) should be 15 rather than 14; direct substitution of Eq. (21) gives 2 m'_BdS - r m''_BdS = 15 M l^2 r^4/(r^2 + l^2)^{7/2}.
- [Section III.B.1, Eq. (30)] In the last term inside the second parentheses, 'r(r^4 - l^2)' should presumably read 'r(r^4 - l^4)' to match the derivation of 2m' - r m'' for the product mass function.
- [Fig. 6 caption] The caption states that r_TCC+ coincides with the inner horizon when l/M is approximately 0.465, which conflicts with the body text giving l/M approximately 0.239; please align the caption with the body text.
- [Fig. 5 caption] The caption contains a duplicated definite article in the phrase 'whereas the the first condition'; this should be corrected.
Circularity Check
No significant circularity: the TCC decomposition and the dS/adS core conclusions follow from explicit analytic computation, with no fitted parameter renamed as a prediction.
full rationale
The paper's central derivation is self-contained: Eq. (8) is obtained by contracting the Ricci tensor with the general spherically symmetric timelike vector (3) and requiring each independent term to be non-negative; the resulting conditions on m(r,v) are then used directly in the later analysis. The dS-core conclusion is an analytic consequence of combining the series expansion (14)-(18) with the definition of a dS core as m3>0: since -m''(r) is approximately -6m3 r near the origin, the first TCC condition -m''>=0 is violated locally. This is a valid implication from definitions plus a prior calculation, not a fitted input called a prediction and not a conclusion assumed in the premises. The adS-core construction in Sec. III.B.1 is re-derived from the explicit product (28) rather than imported from the in-preparation reference [8]; the modified Bardeen example is written out in closed form in Eqs. (31)-(33). The citations to [7] for the global NCC of Dymnikova/Hayward and to [15] for regularity conditions are self-citations, but they are not load-bearing for the TCC results, since the Bardeen example is checked explicitly and the regularity condition m0=m1=m2=0 is a standard Taylor-expansion input. No circular step is exhibited. A separate correctness concern, unrelated to circularity, is that Eq. (29) appears to have a sign error in the m'' term of the quotient expansion; this should be corrected but does not affect the assessment that the derivation chain is not circular.
Assumptions & free parameters
assumptions (5)
- domain assumption The metric ansatz (1) with f = 1 - 2m(r,v)/r covers the relevant class of dynamical spherically symmetric spacetimes.
- domain assumption Regularity at the core requires m0 = m1 = m2 = 0 in the expansion (14), with m3 nonzero.
- domain assumption Asymptotic flatness with positive ADM mass: m(r) tends to M > 0 and m'(r) tends to 0 as r tends to infinity.
- domain assumption The Bardeen, Dymnikova and Hayward spacetimes satisfy the NCC globally, and the Hawking-Penrose conditions of chronology and genericity hold for the circumvention conclusion.
- standard math Standard GR background: Ricci tensor, causal vectors, and the Penrose and Hawking-Penrose singularity theorems are taken as known.
Cite this review
Pith. "Pith review of Timelike convergence condition in regular black-hole spacetimes with (anti-)de Sitter core." pith.science (2026). https://pith.science/paper/7XFWV43Q
@misc{pith2026250908590,
author = {Pith},
title = {Pith review of: Timelike convergence condition in regular black-hole spacetimes with (anti-)de Sitter core},
year = {2026},
howpublished = {\url{https://pith.science/paper/7XFWV43Q}},
note = {Machine review of arXiv:2509.08590}
}
read the original abstract
The Hawking-Penrose (1970) singularity theorem weakens the causality assumption of global hyperbolicity used in the Penrose (1965) singularity theorem, at the expense of invoking the stronger timelike (instead of null) convergence condition (TCC). We analyze the TCC for a large class of dynamical spherically symmetric spacetimes, and show that it decomposes into three independent conditions on the Misner-Sharp mass function. For stationary black holes only two of these are non-trivial. One of these conditions is already implied by the null convergence condition (NCC), whereas the other one depends explicitly on the TCC and constrains the sign of the second derivative of the mass function. We show that generic asymptotically flat regular black holes with a smooth de Sitter core locally violate this new TCC-induced condition near the core, even if they globally satisfy the other condition imposed by the NCC. Therefore, it is the violation of the TCC which ensures that regular de Sitter core black holes circumvent the Hawking-Penrose theorem. By contrast, we show that asymptotically flat regular black holes with an anti-de Sitter core locally satisfy the new TCC-induced condition near the core, but necessarily violate it at some finite distance away from it. As concrete examples for both types of spacetimes, we consider TCC violations in the Bardeen black-hole spacetime with a de Sitter core, and in a modified Bardeen black-hole spacetime with an anti-de Sitter core.
Figures
Figures from the paper (3 more)
Forward citations
Cited by 2 Pith papers
-
Obstructions to Minimal Regular Black Hole Cosmologies
Obstructions from matching conditions and completeness theorems prevent minimal regular black hole models from hosting unbounded FRW daughter cosmologies.
-
Regular black holes from pure gravity in four dimensions
A construction of four-dimensional pure-gravity actions whose vacuum solutions include the Hayward and Dymnikova regular black holes, via a lift from two-dimensional Horndeski theory.
Reference graph
Works this paper leans on
-
[1]
Regular black holes with anti-de Sitter core 10
Example: Bardeen black hole with de Sitter core 8 B. Regular black holes with anti-de Sitter core 10
-
[2]
Construction of regular black holes with anti-de Sitter core 10
-
[3]
Discussion 14 Acknowledgments14 References 14 I
Example: Modified Bardeen black hole with anti-de Sitter core 11 IV. Discussion 14 Acknowledgments14 References 14 I. INTRODUCTION The classical stationary black holes of general relativity exhibit spacetime singularities. The presence of the singularity in the Schwarzschild black-hole spacetime can be deduced from the Penrose (1965) theorem [1], see also...
work page 1965
-
[4]
Example: Bardeen black hole with de Sitter core As a concrete example, we consider the regular Bardeen black hole with a dS core [4] with mass function parametrized by the ADM mass parameterM >0 and a regularization length parameter l>0. For the Bardeen spacetime, mBdS(r) = Mr 3 (r2 +l 2)3/2 = +M l3r3− 3M 2l5r5 +O r7 ,(21) −m′′ BdS(r) = 3Ml 2r (l2r2 +l 4)...
-
[5]
Letm BHdS(r) be its mass function andlits characteristic regularization length parameter
Construction of regular black holes with anti-de Sitter core As a concrete construction algorithm for asymptotically flat regular black holes with an adS core we consider a proposal [8] starting from an asymptotically flat regular black hole with a dS core. Letm BHdS(r) be its mass function andlits characteristic regularization length parameter. We assume...
-
[6]
Example: Modified Bardeen black hole with anti-de Sitter core As a concrete example, we consider a modified Bardeen black hole with a smooth adS core [8]. The mass function is parametrized by the ADM mass parameterM >0 and a regularization length 12 parameterl>0. For this modified Bardeen spacetime, mBAdS(r) =M r√ r2 +l 2 3 r2−l 2 r2 +l 2 =− M l3r3 + 7M 2...
work page 1970
-
[7]
Penrose,Gravitational collapse and space-time singularities,Phys
R. Penrose,Gravitational collapse and space-time singularities,Phys. Rev. Lett.14(1965) 57–59
1965
-
[8]
J. M. M. Senovilla and D. Garfinkle,The 1965 Penrose singularity theorem,Class. Quant. Grav.32 (2015), no. 12 124008, [arXiv:1410.5226]. 15
arXiv 2015
Show all 23 references
-
[9]
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
2023
-
[10]
Bardeen,Non-singular general-relativistic gravitational collapse,Abstracts of GR5 — the 5th international conference on gravitation and the theory of relativity, eds
J. Bardeen,Non-singular general-relativistic gravitational collapse,Abstracts of GR5 — the 5th international conference on gravitation and the theory of relativity, eds. V. A. Fock et al. (Tbilisi University Press, Tbilisi, Georgia, former USSR)(1968) 174–175
1968
-
[11]
Dymnikova,Vacuum nonsingular black hole,Gen
I. Dymnikova,Vacuum nonsingular black hole,Gen. Rel. Grav.24(1992) 235–242
1992
-
[12]
S. A. Hayward,Formation and evaporation of regular black holes,Phys. Rev. Lett.96(2006) 031103, [gr-qc/0506126]
2006 arXiv
-
[13]
Borissova, S
J. Borissova, S. Liberati, and M. Visser,Violations of the null convergence condition in kinematical transitions between singular and regular black holes, horizonless compact objects, and bounces,Phys. Rev. D111(5, 2025) 104054, [arXiv:2502.00548]
2025 arXiv
-
[14]
Arrechea, S
J. Arrechea, S. Liberati, H. Neshat, and V. Vellucci,(in preparation),arXiv:25xy.nnnnn
-
[15]
S. W. Hawking and R. Penrose,The Singularities of gravitational collapse and cosmology,Proc. Roy. Soc. Lond. A314(1970) 529–548
1970
-
[16]
Carballo-Rubio et al.,Towards a non-singular paradigm of black hole physics,JCAP05(2025) 003, [arXiv:2501.05505]
R. Carballo-Rubio et al.,Towards a non-singular paradigm of black hole physics,JCAP05(2025) 003, [arXiv:2501.05505]
2025 arXiv
-
[17]
Afshordi et al.,Black Holes Inside and Out 2024: visions for the future of black hole physics, 10, 2024.arXiv:2410.14414
N. Afshordi et al.,Black Holes Inside and Out 2024: visions for the future of black hole physics, 10, 2024.arXiv:2410.14414
2024 arXiv
-
[18]
V. N. Lukash and V. N. Strokov,Geometries with integrable singularity - black/white holes and astrogenic universes,arXiv:1109.2796
-
[19]
Arrechea, S
J. Arrechea, S. Liberati, H. Neshat, and V. Vellucci,Physical and Theoretical Challenges to Integrable Singularities,arXiv:2504.17863
-
[20]
Casadio, A
R. Casadio, A. Giusti, and J. Ovalle,Quantum rotating black holes,JHEP05(2023) 118, [arXiv:2303.02713]
2023 arXiv
-
[21]
Carballo-Rubio, F
R. Carballo-Rubio, F. Di Filippo, S. Liberati, and M. Visser,Geodesically complete black holes,Phys. Rev. D101(2020) 084047, [arXiv:1911.11200]
2020 arXiv
-
[22]
S. A. Hayward,Gravitational energy in spherical symmetry,Phys. Rev. D53(1996) 1938–1949, [gr-qc/9408002]
1996 arXiv
-
[23]
Borissova, S
J. Borissova, S. Liberati, and M. Visser,(in preparation),arXiv:25xy.nnnnn
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.