{"id":"1c88874d-e7f9-4486-9d6e-6586ca8f81a5","arxiv_id":"2509.08590","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In spherical symmetry the timelike convergence condition reduces to three mass-function inequalities, and the new one forces every smooth de Sitter core regular black hole to violate the TCC near the core.","lead":"This paper derives the three independent inequalities the timelike convergence condition imposes on spherically symmetric black-hole metrics. It finds that regular black holes with a de Sitter core always violate the new TCC-only inequality near the core, which is why they escape the Hawking-Penrose singularity theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (29) has a sign error in the adS-core construction; central TCC results survive but the derivation needs correction.","rationale":"The reader's stated weakest assumption was that the regular-core expansion m(r)=m3 r^3 + O(r^4) with m0=m1=m2=0 might fail for a would-be regular core. That assumption is in fact standard and necessary: nonzero m1 or m2 makes the Ricci scalar diverge as 1/r^2 or 1/r respectively, so such a spacetime is not curvature-regular at the center. Thus the reader's specific concern does not land. The central TCC decomposition in Eq. (8), the dS-core violation theorem, and the adS-core finite-region violation theorem are all supported by the algebra and by the (corrected) example calculations. However, the paper does contain a real, verifiable error in the adS-core construction subsection: Eq. (29) has an incorrect overall sign, and the text directly contradicts itself about whether the first TCC condition is satisfied or violated near the core. This is a supporting-derivation error rather than a failure of the central claim, because the explicit modified Bardeen example in Eq. (32) and the independent qualitative argument in Section III.B establish the correct adS-core behavior. The verdict should remain conditional, as the reader already judged, but the reason should be updated to include this concrete sign error and the still-unverified Hawking-Penrose auxiliary hypotheses rather than the regularity expansion.","tokens_in":10690,"tokens_out":55020,"duration_ms":747608,"concrete_test":"Independently recompute Eq. (29) using the definition in Eq. (28). Take h(r)=m3 r^3 + O(r^5) or, concretely, the modified Bardeen mass function (31), expand -m''_BHAdS(r) to leading order near r=0, and compare with Eq. (29) and Eq. (32). If the leading coefficient is +6M/l^3 r (as in Eq. 32) rather than negative, then the printed Eq. (29) has the wrong overall sign and the surrounding conclusion needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The advertised decomposition in Eq. (8) and the dS-core violation argument are sound: for a smooth regular center, regularity does force m0=m1=m2=0 and m3>0 for a dS core, so -m''<0 near r=0 and the first TCC condition is genuinely violated. The reader's weakest assumption is therefore not the real soft spot. The concrete soft spot is in Section III.B.1. Differentiating the constructed mass function m(r)=m_BHdS(r)(r^2-l^2)/(r^2+l^2) from Eq. (28) gives -m'' = [ -h''(r^4-l^4)(r^2+l^2) - 8l^2 r h'(r^2+l^2) - 4h l^2(l^2-3r^2) ] / (r^2+l^2)^3, which is the opposite of the overall sign printed in Eq. (29). For h~m3 r^3 with m3>0, the correct leading term is -m'' = +6m3 r + O(r^3), so the first TCC condition is satisfied near the core, exactly as Eq. (32) shows for the modified Bardeen example. The text around Eq. (29) first concludes -m''_BHAdS(eps)<0 and then states the TCC condition is satisfied, an internal contradiction. The general qualitative argument and the explicit example fix the sign, so the central theorem is not overturned, but the construction subsection's claimed verification is erroneous and must be corrected.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":10986,"tokens_out":29219,"duration_ms":226709,"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":[{"comment":"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":"Section III.B.1, Eq. (29)"},{"comment":"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.","section":"Section III.B.1, Eq. (30)"}],"minor_comments":[{"comment":"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":"Section III.A.1, Eq. (22)"},{"comment":"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":"Section III.A.1, Eq. (23)"},{"comment":"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.","section":"Section III.B.1, Eq. (30)"},{"comment":"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.","section":"Fig. 6 caption"},{"comment":"The caption contains a duplicated definite article in the phrase 'whereas the the first condition'; this should be corrected.","section":"Fig. 5 caption"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The centerpiece of this paper is the decomposition of the timelike convergence condition for spherically symmetric metrics into three independent inequalities on the Misner-Sharp mass function, Eq. (8). That step is correct and clean: after writing an arbitrary timelike vector as (1, -1/2(eta - f + gamma^2 r^2), gamma, 0), the independence of eta and gamma indeed forces each coefficient to be non-negative. The new result is the observation that the first condition, -m'' >= 0, is the part of the TCC that is not implied by the NCC, and that any smooth dS core requires m ~ m3 r^3 with m3>0, so -m'' < 0 near r=0. That is a genuinely nice argument, and the Bardeen example illustrates it well. The analogous claim for adS cores, that the first condition is satisfied near the core but necessarily violated at finite radius, also survives, because the generic asymptotic-flatness argument in Section III.B is sound. The soft spots are real but fixable. First, Eq. (29) in the adS construction has an overall sign error. Differentiating m(r)=m_BHdS(r)(r^2-l^2)/(r^2+l^2) gives -m'' ~ +6 m3 r near the core, not -6 m3 r. The text then says -m''(epsilon)<0 and immediately afterwards says the TCC condition is satisfied, which is self-contradictory. The correct sign agrees with the modified Bardeen example given later, so the construction's conclusion stands, but the verification as printed is wrong. Second, the Bardeen formulas (22) and (23) have typos: the denominator in (22) should be (r^2+l^2)^{7/2} without the extra l^2 factors, and the coefficient in (23) should be 15, not 14. These do not affect the root or the positivity conclusion. The reader's worry about the m0=m1=m2=0 expansion is not the real soft spot; that expansion is the standard definition of a smooth regular center, and the argument only needs the leading dS behavior. The broader claim that TCC violation alone lets dS-core black holes evade the Hawking-Penrose theorem is logically fine: violating one hypothesis is enough for the theorem not to apply. This is a useful paper for anyone working on singularity theorems or regular black holes. It deserves a serious referee; the errors are localized and correctable, and the central decomposition is a lasting contribution. I would engage with it and likely cite it once the sign issue is fixed.","headline":"A clean TCC decomposition with a real sign error in the adS-core construction; the main result survives but needs correction.","tokens_in":817,"tokens_out":1064,"would_cite":true,"duration_ms":65593,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C75"],"pacs":["04.20.-q","04.20.Dw","04.70.Bw"],"model":"deepseek-v4-flash","headline":"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.","keywords":["timelike convergence condition","null convergence condition","Misner-Sharp mass","regular black holes","de Sitter core","anti-de Sitter core","Hawking-Penrose singularity theorem","Bardeen black hole"],"falsifier":"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.","tokens_in":10482,"feed_emoji":"🕳️","tokens_out":8674,"duration_ms":72702,"temperature":0.7,"pith_summary":"The paper analyzes the timelike convergence condition (TCC) for a broad class of dynamical spherically symmetric spacetimes and claims it splits into three independent inequalities on the Misner-Sharp mass function: $-m''\\ge 0$, $2m'-r m''\\ge 0$, and $\\dot m\\ge0$. For stationary black holes only the first two survive, and only the first is genuinely new relative to the null convergence condition (NCC), since it constrains the sign of the second derivative of the mass. The paper then argues that any asymptotically flat regular black hole with a smooth de Sitter core, including the Bardeen example, must violate this TCC-only condition in a finite region around the core, even though the NCC holds globally. Because the Hawking-Penrose singularity theorem assumes the TCC, it is this violation that lets such regular black holes evade the theorem's geodesic-incompleteness conclusion. By contrast, regular black holes with an anti-de Sitter core, obtained by a sign-flipping construction, satisfy the TCC-only condition near the core but necessarily violate it in a finite region away from it.","feed_headline":"dS-core black holes always break the timelike convergence condition","feed_subtitle":"The Hawking-Penrose theorem is sidestepped because the TCC-only mass condition fails near the core.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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$."],"supporting_citations":[{"why":"Supplies the Hawking-Penrose singularity theorem whose TCC assumption is the paper's target.","marker":"[9]"},{"why":"Defines the Penrose theorem and its global-hyperbolicity assumption that motivates weakening to the TCC.","marker":"[1]"},{"why":"Provides the Bardeen dS-core regular black hole used as the concrete TCC-violating example.","marker":"[4]"},{"why":"Provides the Hayward dS-core regular black hole whose behaviour the paper states carries over qualitatively.","marker":"[6]"},{"why":"Provides the Dymnikova dS-core regular black hole likewise used to generalize the dS-core conclusion.","marker":"[5]"},{"why":"Establishes that standard dS-core regular black holes satisfy the NCC globally, isolating the TCC-only violation.","marker":"[7]"},{"why":"Supplies the modified Bardeen adS-core construction and mass function used as the counterpoint example.","marker":"[8]"},{"why":"Justifies the regularity expansion $m(r)=m_3r^3+O(r^4)$ from geodesically complete black holes.","marker":"[15]"}],"fun_headline_variants":["dS-core black holes always break the timelike convergence condition","Timelike convergence fails for dS-core regular black holes","New TCC condition violated near every de Sitter core","dS cores force TCC violation; adS cores postpone it","Hawking-Penrose evaded: dS cores violate the TCC"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["dS-core black holes always break the timelike convergence condition","Timelike convergence fails for dS-core regular black holes","New TCC condition violated near every de Sitter core","dS cores force TCC violation; adS cores postpone it","Hawking-Penrose evaded: dS cores violate the TCC"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000368,"raw_usage":{"total_tokens":2090,"prompt_tokens":1176,"completion_tokens":914,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":792,"completion_tokens_details":{"reasoning_tokens":840}},"tokens_in":792,"tokens_out":914,"duration_ms":7763,"temperature":1.0,"reasoning_tokens":840,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:01:50.448084+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Regular black holes with anti-de Sitter core 10","cited_arxiv_id":null,"evidence_quote":"Defines the Penrose theorem and its global-hyperbolicity assumption that motivates weakening to the TCC."},{"cited_title":"locally untrapped","cited_arxiv_id":null,"evidence_quote":"Provides the Bardeen dS-core regular black hole used as the concrete TCC-violating example."},{"cited_title":"The mass function is parametrized by the ADM mass parameterM >0 and a regularization length 12 parameterl>0","cited_arxiv_id":null,"evidence_quote":"Provides the Hayward dS-core regular black hole whose behaviour the paper states carries over qualitatively."},{"cited_title":"Letm BHdS(r) be its mass function andlits characteristic regularization length parameter","cited_arxiv_id":null,"evidence_quote":"Provides the Dymnikova dS-core regular black hole likewise used to generalize the dS-core conclusion."}],"review_version":2}