{"id":"36ef308d-be5d-4c56-b9e0-1d29d7168752","arxiv_id":"2607.08228","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Analytic nondegenerate shift-symmetric Horndeski theories admit no static spherical regular black holes with a time-independent scalar; the unique marginal nonanalytic completion is sGB, whose hairy solutions remain centrally singular.","lead":"Static regular black holes with a time-independent scalar are ruled out in broad classes of Horndeski gravity: analytic shift-symmetric theories force Schwarzschild (centrally singular), and the only marginal nonanalytic escape is scalar-Gauss-Bonnet, which still has singular centers. This tightens where classical regular black holes can live in scalar-tensor gravity.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s strongest claim is a carefully scoped analytic no-go plus a uniqueness result for the only remaining marginal nonanalytic completion. Every step is local and algebraic or uses standard ODE uniqueness on nondegenerate regular patches; the exclusions (degenerate Xs\neq0, large-coupling disconnected branches, beyond-Horndeski, time-dependent scalars) are stated explicitly. The reader correctly identified nondegeneracy as the weakest assumption, but that assumption is the theorem’s hypothesis, not an unexamined loophole. Because the derivation is parameter-free, self-contained, and free of circular fitting or formal gaps under its hypotheses, the ACCEPT verdict with high confidence stands. The concrete test above is a useful independent verification of the most technical appendix step, not a repair of a flaw.","tokens_in":15821,"tokens_out":571,"duration_ms":5422,"concrete_test":"Independently re-derive the cancellation conditions (A12) that produce the logarithmic chain (A13) from the non-regular remainder (A11), without presupposing the sGB form; confirm that any relative-coefficient change or isolated marginal term outside the chain leaves at least one uncancelled logarithmic or inverse-X structure in the covariant equations.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central no-go is internally consistent under its stated scope. Horizon stability (Sec. II) generically kills Xs\neq0 via divergent speeds or FKB2<0 unless the three simultaneous degeneracies (11) hold; the paper correctly treats those as special and outside the main argument. On X(rs)=0, analyticity reduces the scalar equation to finite Taylor jets (21)–(22). For nondegenerate shift-symmetric theories, current conservation plus Jr\to0 at both the regular horizon and the regular center forces C=0, the local factorization (25) with Aq finite and \neq0 (secured by \neq0 vacuum kinetic coefficient \neq0) gives \neq0 near the endpoints, and regular-ODE uniqueness extends \neq0 through each connected patch, yielding Schwarzschild and Kretschmann \neq0 for M\neq0. The non-shift-symmetric positive-power exclusion is correctly limited to the perturbative branch continuously connected to Schwarzschild. Covariant regularity uniquely fixes the marginal nonanalytic completion to the sGB chain (A13); Appendix B then shows that any nondegenerate analytic completion of that chain remains locally Minkowski at a regular center. The reader’s weakest assumption (nondegeneracy of the X=0 branch and non-vanishing of the current bracket) is the natural boundary of the theorem rather than a hidden gap; the paper flags the excluded degenerate and nonanalytic cases. No load-bearing inconsistency appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies static, spherically symmetric, asymptotically flat black holes with a time-independent scalar in four-dimensional Horndeski theories, requiring both horizon stability and a regular center. On the near-horizon branch with finite nonzero X(rs), leading odd- and even-parity stability conditions generically produce divergent radial speeds or a negative no-ghost product FKB2 unless three simultaneous algebraic degeneracies hold (Eq. 11); those special cases are set aside. On the regular branch X(rs)=0, analyticity at the X=0 endpoints (infinity, horizon, center) reduces the leading scalar equation to finite Taylor jets. For nondegenerate shift-symmetric theories the conserved radial current vanishes at both the regular horizon and the regular center, the local factorization Jr=hϕ′[Aq+O(hϕ′)] with Aq finite forces ϕ′=0 near the endpoints, and regular-ODE uniqueness extends this through each connected patch, yielding the Schwarzschild metric and a central singularity for nonzero ADM mass. For non-shift-symmetric positive-power couplings the same exclusion holds on the small-coupling branch continuously connected to Schwarzschild. Marginal nonanalytic terms are classified by covariant regularity; the unique completion is the scalar–Gauss–Bonnet chain (Appendix A), whose known hairy solutions remain centrally singular (Appendix B).","tokens_in":16114,"tokens_out":889,"duration_ms":9018,"significance":"If the stated assumptions hold, the result supplies a clean, nonperturbative no-go for static regular black holes in a large and well-studied sector of Horndeski theory. The horizon obstruction is derived from explicit near-horizon expansions of the known odd/even speeds and no-ghost products; the analytic current argument combines standard conservation with local factorization and ODE uniqueness under nondegeneracy; and Appendix A derives the sGB chain by cancelling independent nonregular structures without presupposing the sGB form. These steps close a gap left by earlier no-hair and stability analyses that either allowed central singularities or treated only the small-coupling branch. The paper also correctly flags the excluded degenerate and nonanalytic cases (simultaneous horizon degeneracies, 4DEGB-type branches, strongly coupled Lovelock towers), so the scope is transparent. The work therefore provides a sharp benchmark for future constructions that relax staticity, analyticity, or the Horndeski restriction.","major_comments":[],"minor_comments":[{"comment":"In Sec. II the three simultaneous degeneracies (11) are correctly set aside, but a short clarifying sentence that an all-order cancellation would constitute a highly degenerate structural identity (rather than a local tuning) would help readers who might otherwise wonder whether higher-order terms could systematically cancel.","section":null},{"comment":"Around Eqs. (25)–(26) the nondegeneracy assumption that the bracket Aq remains finite and nonzero away from the endpoints is stated, yet a one-line reminder that vanishing of Aq would itself signal a degeneracy of the kinetic sector would make the boundary of the theorem even more explicit.","section":null},{"comment":"Appendix A, after Eq. (A11): the kinematic independence of the structures R, P2, [ϕ] and the pure scalar term is used to force each coefficient to vanish separately; a brief parenthetical that this holds for generic field configurations (as already implied) would forestall any pedantic objection.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “ANAL YTIC”, “SCHW ARZSCHILD”, “NONANAL YTIC” in section headings; occasional missing spaces after commas in the arXiv metadata block). These are purely cosmetic.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, carefully scoped theoretical no-go that builds cleanly on the authors’ prior stability and no-hair papers. I see no load-bearing technical flaw and no reason to delay publication. The self-citation density is high but legitimate: the earlier works supply the speed formulas and current expression that are used as tools, while the regular-center and nonanalytic-uniqueness arguments are new. Fit for a standard gr-qc journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper closes a concrete gap. Under static spherical symmetry and a time-independent scalar, regular black holes in four-dimensional Horndeski are ruled out on the analytic branches once you demand both a stable horizon and a regular center.\n\nWhat is new is the simultaneous imposition of those two conditions. Section II shows that the Xs \neq 0 horizon branch generically produces divergent radial speeds or FKB2 < 0 unless three algebraic degeneracies hold at once; those are correctly set aside as special. On the regular branch X(rs) = 0, analyticity reduces the leading scalar equation at infinity, horizon, and center to finite Taylor jets. For nondegenerate shift-symmetric theories the conserved current then forces φ′ = 0 throughout both patches, so the metric is Schwarzschild and nonzero ADM mass produces the usual Kretschmann singularity. The positive-power non-shift-symmetric case is excluded only on the perturbative branch continuously connected to Schwarzschild—an honest limitation. Appendix A is the cleanest part: starting from a marginal quintic logarithm and requiring cancellation of independent log and inverse-X structures, they uniquely recover the sGB chain without assuming it. Appendix B then shows that any nondegenerate analytic completion of that chain remains locally Minkowski at a regular center.\n\nThe soft spots are scope, not hidden errors. Nondegeneracy (η \neq 0, Z∗ \neq 0, and the current bracket remaining finite and nonzero away from the endpoints) is the natural boundary of the theorem; the paper flags the excluded degenerate and nonanalytic cases. Time-dependent shift-symmetric profiles, DHOST, and hedgehog hair are left open, as they should be. Citations are appropriate; the self-citations supply the speed and current formulas used as tools.\n\nThis is for people working on no-hair theorems, regular black holes, and Horndeski model-building. The math is standard near-horizon expansions plus current conservation and ODE uniqueness; it holds under the stated assumptions. I would send it to referees without hesitation and would cite the no-go and the uniqueness derivation of the sGB chain.","headline":"Clean static-scalar no-go in Horndeski: analytic X(rs)=0 forces Schwarzschild (hence singular centers), and covariant regularity uniquely pins the only marginal nonanalytic escape to sGB, which still fails regular centers.","tokens_in":16719,"tokens_out":543,"would_cite":true,"duration_ms":5245,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.50.Kd","04.70.Bw","04.20.Jb"],"model":"grok-4.5","headline":"Static regular black holes with a time-independent scalar are ruled out in analytic Horndeski theories and in their unique marginal nonanalytic completion.","keywords":["Horndeski theories","regular black holes","no-hair theorem","scalar-Gauss-Bonnet","horizon stability","current conservation","analyticity"],"falsifier":"An explicit static, spherically symmetric, asymptotically flat solution of a nondegenerate analytic Horndeski theory (or of the sGB completion) that has X(rs)=0, a regular center with finite curvature invariants, and a stable non-extremal horizon would directly falsify the claim.","tokens_in":16671,"feed_emoji":"⚫","tokens_out":751,"duration_ms":7563,"temperature":0.7,"pith_summary":"The paper asks whether four-dimensional Horndeski theories can support static, spherically symmetric, asymptotically flat black holes that are regular at the center and stable at the horizon when the scalar is time-independent. Near a non-extremal horizon the branch with nonzero scalar kinetic term X is generically obstructed by divergent speeds or ghost/gradient instabilities. On the remaining regular branch X vanishes at the horizon; analyticity at the three X=0 endpoints (infinity, horizon, center) reduces the leading scalar equation to a finite Taylor jet. For nondegenerate shift-symmetric theories a conserved current then forces the scalar to be constant, so the metric is Schwarzschild and any nonzero mass produces a central singularity. Positive-power non-shift-symmetric couplings are likewise excluded on the perturbative branch connected to Schwarzschild. The only covariantly regular marginal nonanalytic completion is the scalar-Gauss-Bonnet chain; its known hairy black holes still terminate at a curvature singularity rather than a regular center. The result therefore excludes a large class of candidate regular black holes and isolates precisely which assumptions must be relaxed for any future construction.","feed_headline":"Static regular black holes fail in analytic Horndeski theories","feed_subtitle":"A current no-hair theorem forces Schwarzschild, hence a central singularity, for nonzero mass.","key_machinery":"Local current factorization Jr = h ϕ′ [Aq + O(h ϕ′)] at each X=0 endpoint, combined with analytic finite-jet reduction of the scalar equation and (for shift-symmetric theories) conservation of the radial current charge; uniqueness of regular ODEs then extends ϕ′=0 throughout each connected patch.","core_discovery":"On the regular branch X(rs)=0, nondegenerate shift-symmetric analytic Horndeski theories obey a nonperturbative current no-hair theorem: the scalar is constant and the metric is Schwarzschild, hence centrally singular for nonzero ADM mass. Non-shift-symmetric positive-power couplings are excluded on the perturbative branch continuously connected to Schwarzschild. Covariant regularity singles out the scalar-Gauss-Bonnet chain as the unique marginal nonanalytic completion; hairy black holes in that completion remain centrally singular.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Analytic Horndeski blocks static regular black holes via no-hair","Shift-symmetric Horndeski forces Schwarzschild singularity for mass","Regular branch X=0 yields nonperturbative current no-hair theorem","Covariant regularity isolates scalar-Gauss-Bonnet as sole marginal path","Hairy completions of Horndeski remain centrally singular for nonzero mass"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The vacuum scalar kinetic coefficient is nonzero and the leading current factor never vanishes or becomes singular away from the endpoints, so a constant-scalar solution extends uniquely through the whole exterior and interior.","fun_headline_variants_meta":{"raw":{"variants":["Analytic Horndeski blocks static regular black holes via no-hair","Shift-symmetric Horndeski forces Schwarzschild singularity for mass","Regular branch X=0 yields nonperturbative current no-hair theorem","Covariant regularity isolates scalar-Gauss-Bonnet as sole marginal path","Hairy completions of Horndeski remain centrally singular for nonzero mass"]},"model":"grok-4.5","effort":"low","cost_usd":0.004816,"raw_usage":{"total_tokens":1348,"prompt_tokens":770,"num_sources_used":0,"completion_tokens":95,"cost_in_usd_ticks":48160000,"prompt_tokens_details":{"text_tokens":770,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":483,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":770,"tokens_out":95,"duration_ms":3809,"temperature":1.0,"reasoning_tokens":483,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T15:36:45.997455+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit static, spherically symmetric, asymptotically flat solution of a nondegenerate analytic Horndeski theory (or of the sGB completion) that has X(rs)=0, a regular center with finite curvature invariants, and a stable non-extremal horizon would directly falsify the claim.","supporting_citations":[],"review_version":2}