{"id":"30573a7f-db99-447e-b851-83d60fb61c9d","arxiv_id":"2608.02481","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Spherically symmetric gravity theories can carry generic matter through a regular center only if their defining functions have GR-like parity (α even, β odd in r), equivalent at the metric level to f(−r,−M)=f(r,M); Hayward and Dymnikova pass, Bardeen fails.","lead":"What looks like a smooth, singularity-free black hole interior is not enough: this paper shows the underlying gravity theory must also pass a parity test to move ordinary matter through the center. The popular Bardeen model fails the test, while Hayward and Dymnikova pass, implying curvature regularity alone does not guarantee dynamical consistency.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The necessity proof hinges on the genericity of regular matter data: from β_even ∂_t f=0 it infers β_even=0 only if regular solutions sweep an open set with ∂_t f≠0 and free ψ_2. A Bardeen-level order-by-order check would test whether wrong-parity theories are truly inconsistent for generic data.","rationale":"The reader identified the genericity of regular matter data as the weakest assumption; I agree that this is the most load-bearing point. The derivation from parity splitting to β_even=0 and the pole-exclusion both depend on the solution space being open and on ψ_2 being free. These are not proven properties of the full PDE system; they are imposed as part of the definition of 'generic regular matter.' The paper is careful to scope its claim as a necessary condition for generic data, and the reader's CONDITIONAL verdict reflects this residual risk. I do not see an internal inconsistency or a clear counterexample, so the verdict should not change. The proposed Bardeen order-by-order check is a direct, feasible computation that would test whether the genericity assumption does real work in a concrete wrong-parity theory. If the contradiction appears, the central claim is supported for the canonical case; if not, the rule would need revision. This matches the reader's assessment that the theorem is plausible but not fully demonstrated.","tokens_in":16642,"tokens_out":21779,"duration_ms":182451,"concrete_test":"For the Bardeen theory (Eq. 35), insert the regular center expansions f=1-ψ_c(t)r^2-ψ_2(t)r^4-..., n=n_c(t)(1+n_2(t)r^2+...), φ=φ_c(t)+φ_2(t)r^2+... into the field equations (8)–(10) and expand to order r^4. Compute the even projection of the flux equation (9): with β_b≈-2ℓ^3/r^2+O(1), the leading even part should be proportional to ℓ^3 ∂_t ψ_c. Check whether this forces ∂_t ψ_c=0, while the odd part (or the scalar wave equation) requires ∂_t ψ_c ∝ φ_c φ_2 for generic data. If the two conflict for φ_c φ_2≠0, the genericity assumption is validated and the parity rule is necessary for Bardeen; if a consistent solution with ∂_t ψ_c≠0 exists, the necessity proof fails at its core assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a necessary condition: any theory in the class that can evolve generic regular matter must satisfy the parity rule. The load-bearing step is the inference after Eq. (22): from β_even(r,ψ) ∂_t f/(2f)=0 pointwise on every regular solution, the authors conclude β_even=0 on the open set of physical solutions. This inference requires that regular solutions with ∂_t f≠0 sample an open set of (r,ψ) values, and that the leading flux coefficient (and, in the pole-exclusion argument, ψ_2) are freely specifiable matter data. These are plausibility assumptions about the PDE solution space, not derived consequences. If a wrong-parity theory had the property that all its regular solutions satisfy β_even(r,ψ(r,t))=0 identically because the constraints force ψ(r,t) onto the zero set of β_even, then ∂_t f could be nonzero and the parity rule would not be necessary. Similarly, if the constraints force ψ_2=0 for all regular solutions, the deep-pole exclusion collapses. The paper's own reliance on 'generic' data (Sec. III.B) and the strict ordinary-point definition (Eq. 18) make this the hinge of the theorem. The analyticity restriction (footnote 5) is a further scoping limitation, but the genericity step is the more immediate gap: the necessity may not cover degenerate but regular solution spaces. A concrete check on the canonical counterexample (Bardeen) would determine whether the asserted inconsistency actually occurs for generic scalar data.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives a necessary local consistency condition for spherically symmetric effective gravitational theories (the 2D-Horndeski master system of Refs. [16–18]) to be able to evolve generic regular matter through a regular centre. The main result is a parity selection rule: at fixed ψ=(1−χ)/r², the theory functions must satisfy α(−r,ψ)=α(r,ψ) and β(−r,ψ)=−β(r,ψ), together with centre conditions α→0, ω=∂_χ α−∂_r β→0, and nondegenerate flux coefficient b₁≠0. For integrable theories reverse-constructed from static vacuum families, this is shown to be equivalent to the metric covariance f(−r,−M)=f(r,M). The paper analyzes GR, Hayward, Dymnikova, and Bardeen, concluding that Hayward and Dymnikova obey the rule while Bardeen violates it, so curvature regularity of a static solution is insufficient for dynamical centre consistency. It also constructs an infinite family of admissible Hayward-like theories and identifies Hayward as the unique Möbius/rational member.","tokens_in":16908,"tokens_out":5513,"duration_ms":51713,"significance":"If the main theorem holds, this is a valuable and novel diagnostic for regular black hole model building: it separates kinematical regularity of a metric from dynamical consistency of the underlying theory, and it provides a simple metric-level test (Eq. 33) for reverse-constructed theories. The paper is careful to state what the rule does not deliver (well-posedness, formation, endpoint). The explicit expansions in Appendix A, the equivalence proof for integrable theories, and the classification of the one-function family (38) are concrete, checkable results. The identification of Hayward as the unique rational member of the admissible family is an elegant structural observation. The honest discussion of limitations (no assessment of hyperbolicity or collapse endpoint) strengthens the paper's credibility.","major_comments":[{"comment":"The parity rule is derived under the assumption that α and β are analytic in r at fixed ψ, explicitly excluding flat non-analytic terms such as e^{−1/r²}. The abstract and introduction, however, describe the result as applying to 'the most general class of action-based, identically conserved, second-order gravitational field equations in spherical symmetry.' This overstates the scope unless the analyticity hypothesis is explicitly incorporated into the theorem statement. The paper should either relax this restriction (the open-neighbourhood argument in footnote 5 is only sketched) or uniformly qualify the claim in the abstract, introduction, and conclusion.","section":"§III.B, footnote 5 and abstract"}],"minor_comments":[{"comment":"The conclusion that the Bardeen theory 'cannot support generic evolving matter at a regular centre' is inferred from the wrong parities and the divergence of α_b, β_b at the centre. This is plausible given the proof, but it is not a direct demonstration of an inconsistency in the coupled scalar+geometry system. Consider adding a brief explicit expansion or reference to a future check.","section":"§IV.B, Bardeen paragraph"},{"comment":"The p=2 solution is presented without derivation. For reproducibility, show at least the profile h_p(ψ)=ψ(1−ℓ²ψ)^{−p} and the inversion leading to Eq. (42).","section":"§V, Eq. (42)"},{"comment":"The 'orientation-reversal analogy' is somewhat speculative and could be shortened or clearly separated from the mathematical result. The paper itself notes it is secondary; consider compressing it.","section":"§VI.A"},{"comment":"The subscripts '_b' for Bardeen theory functions (α_b, β_b) are easily confused with the expansion coefficients a_k, b_k in Eq. (27). Consider using different labels, e.g., α_B, β_B.","section":"Notation"},{"comment":"The abstract mentions 'generic minimally coupled matter' but the derivation uses a massless scalar field. While the paper argues (Sec. III.B) that only parity and leading-order behavior matter, make this explicit in the abstract to avoid a naive reading.","section":"Abstract/Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper is solid and interesting, but the necessity theorem's hinge is the genericity/openness assumption about the solution space. This is not a fatal flaw—it may be fixable by an explicit check on Bardeen or a local existence argument—but it is load-bearing and should be addressed before publication. The analyticity scope issue is secondary but should be corrected in the abstract."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: within the most general action-based, identically conserved, second-order spherical gravity, it shows that hosting generic regular matter at a regular centre forces the theory functions α and β to have GR-like parities (α even, β odd), plus centre conditions and a nondegenerate flux law. That translates into a clean metric-level test, f(−r,−M)=f(r,M), and gives a surprising classification: Hayward and Dymnikova pass, Bardeen fails, despite Bardeen's metric being smoother in the kinematic sense. There's also an infinite admissible family and a new p=2 Hayward-like solution. The authors are careful to scope the claim: necessary, not sufficient, no well-posedness. That honesty is earned, because the derivation checks out order-by-order for the examples they treat. The novelty and significance are real, and the paper will likely shape how people think about RBH dynamics versus kinematics.\n\nThe soft spot is exactly where the stress test points. The step after Eq. (22) — from β_even ∂_t f/(2f)=0 on every regular solution to β_even=0 — requires that regular solutions with ∂_t f≠0 sweep an open set of (r,ψ) and that coefficients like ψ_2 be free matter data. That is a plausible PDE-solution-space assumption, but it is not proven. If a wrong-parity theory forced all its regular solutions onto the zero set of β_even, the necessity claim would shrink. Same for the pole-exclusion argument depending on ψ_2 being free. The analyticity assumption (footnote 5) is a further scoping limit, though a minor one. None of this kills the paper; it means the central theorem is conditional on a genericity hypothesis that the paper does not fully demonstrate. A worked order-by-order check on Bardeen — showing where the expansion actually fails for generic scalar data — would settle it. I'd want that before publishing, but not before sending to referees.\n\nThis is a paper for people working on regular black holes, Horndeski-type gravity, and effective dynamical descriptions. It deserves a serious referee: the derivation is careful, the examples are concrete, and the claim is falsifiable in a useful way. My own verdict would be conditionally positive, pending the genericity issue being addressed.","headline":"A genuinely new dynamical selection rule for regular black hole theories, with a solid core; the necessity proof leans on genericity assumptions that deserve a concrete stress test.","tokens_in":17592,"tokens_out":1123,"would_cite":true,"duration_ms":272865,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper derives a necessary local condition for spherical gravitational theories to evolve generic regular matter through a regular center: the two theory functions must have opposite parities under radial reversal, a rule that Hayward a","keywords":["regular black holes","parity selection rule","spherical symmetry","generalized spherical gravity","regular center","quasi-local mass","mass inversion symmetry","de Sitter cores"],"falsifier":"A concrete refutation would be to exhibit a solution of the Bardeen-reconstructed theory with generic massless scalar initial data that passes smoothly through r=0 with finite curvature, no constraint violation, and nonzero flux at the center; alternatively, show that a parity-violating pair with b1≠0 admits a smooth perturbative solution with ∂_t f≠0 near r=0.","tokens_in":16310,"feed_emoji":"🕳️","tokens_out":9019,"duration_ms":79847,"temperature":0.7,"pith_summary":"Within the most general class of action-based, identically conserved, second-order field equations for spherical gravity, a theory can carry generic regular matter through a regular center only if its defining functions α and β have opposite parities under reversal of the signed radial coordinate at fixed ψ=(1−χ)/r²—α even, β odd—together with center conditions α→0, ω=∂χ α−∂r β→0, and a nondegenerate central flux coefficient. For theories reconstructed from a static vacuum family, this condition becomes invariance of the metric function under simultaneous reversal of radius and mass, f(−r,−M)=f(r,M). The Hayward and Dymnikova theories pass the rule; the Bardeen theory fails it, so curvature regularity of a static metric is insufficient for dynamical consistency with generic matter. A reader should care because this is a necessary consistency filter for any theory intended to describe regular collapse: without it, posing regular initial data at the center requires fine-tuning.","feed_headline":"Bardeen black holes fail the new center-parity rule","feed_subtitle":"Hayward and Dymnikova pass; curvature regularity alone is not enough for dynamical consistency.","key_machinery":"The central object is the master field-equation pair for spherical gravity, parameterized by two free functions α(r,χ) and β(r,χ); the proof organizes all fields in even/odd radial parity at fixed ψ=(1−χ)/r² and expands around r=0. The machinery includes the potential-function formulation in the integrable sector, whose on-shell value defines the quasi-local mass, and the central flux law b1(ψ_c) ∂_t ψ_c = −16π [T_tr/r]_{r=0}, which requires b1≠0. The equivalent mass-inversion form f(−r,−M)=f(r,M) lets the rule be read directly from a metric function.","core_discovery":"Within the most general action-based, identically conserved, second-order field equations for spherically symmetric gravity, the theory is fixed by two functions α(r,χ) and β(r,χ) of the areal radius and its gradient squared. The paper proves that if such a theory is to host generic, evolving, regular matter at a regular center, the equations near r=0 force α to be even and β to be odd in the signed radial coordinate at fixed ψ=(1−χ)/r², and require α→0, ω=∂χ α−∂r β→0, and a nondegenerate central flux coefficient b1. In the integrable sector this is equivalent to the quasi-local mass being odd across the center, vanishing as r³, and carrying no point mass. For theories reconstructed from a s","pith_inferences":["As a model-building filter, the mass-inversion test f(−r,−M)=f(r,M) is cheap to apply to any proposed regular black hole metric; mirror-symmetric metrics (even in r at fixed mass) are generically excluded, so the search for admissible theories should start from odd-in-r potentials.","The same local center conditions constrain ordinary relativistic stars, not only black holes: any theory that cannot transport generic matter through r=0 will also fail to describe regular stellar interiors.","The central flux law suggests a numerical diagnostic: in codes that include the origin, the coefficient b1 entering ∂_t ψ_c can be extracted, and its vanishing would signal a theory that cannot evolve generic matter rather than a coordinate artifact.","The paper leaves open whether charged regular black holes respect the rule; since charge can break regularity in RBH models, testing the parity rule on charged extensions could reveal whether the mass-inversion symmetry is preserved."],"forward_implications":["The Bardeen theory cannot support generic evolving matter at a regular center, so its curvature-regular static core is not a dynamical consistency guarantee.","The Hayward and Dymnikova theories pass, meaning their center expansions close order by order and the central compactness is fixed by the central density just as in general relativity.","The parity rule is a necessary condition only: general relativity satisfies it yet collapses to singularities, so passing the rule does not predict a nonsingular endpoint.","The admissible theory space is infinite; one-family profiles h(ψ) with a pole generate Hayward-like black holes with mass-independent de Sitter limiting densities, and Hayward is the unique member with a rational metric function.","The companion center conditions (α→0 and ω→0) exclude theories that pass the parity test but carry deep poles at the center, so the full rule is stronger than parity alone."],"fun_headline_variants":["Parity rule rules out Bardeen black holes","Center parity test: Bardeen fails, Hayward passes","Curvature regular not enough, parity rule decides","New parity condition for regular black hole theories","Bardeen black holes excluded by center parity"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The necessity proof assumes that generic regular matter at the center can vary its energy density and leading flux coefficient independently, and that a regular center means a strict ordinary point; if either fails, theories that violate the rule might pass.","fun_headline_variants_meta":{"raw":{"variants":["Parity rule rules out Bardeen black holes","Center parity test: Bardeen fails, Hayward passes","Curvature regular not enough, parity rule decides","New parity condition for regular black hole theories","Bardeen black holes excluded by center parity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000214,"raw_usage":{"total_tokens":1284,"prompt_tokens":785,"completion_tokens":499,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":529,"completion_tokens_details":{"reasoning_tokens":426}},"tokens_in":529,"tokens_out":499,"duration_ms":4601,"temperature":1.0,"reasoning_tokens":426,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T06:28:18.854757+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete refutation would be to exhibit a solution of the Bardeen-reconstructed theory with generic massless scalar initial data that passes smoothly through r=0 with finite curvature, no constraint violation, and nonzero flux at the center; alternatively, show that a parity-violating pair with b1≠0 admits a smooth perturbative solution with ∂_t f≠0 near r=0.","supporting_citations":[],"review_version":1}