{"id":"4de141f8-544e-4e67-8a3c-4b4a1ac12d64","arxiv_id":"2504.15326","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A spherical black hole immersed in perfect-fluid dark matter becomes unstable to scalar hair for negative Gauss-Bonnet coupling when its dark matter parameter b/M is above 1.86287.","lead":"This paper finds that a black hole surrounded by a simple model of dark matter can develop a new scalar field around it, even when the usual trigger, black hole spin, is absent. The result extends when scalar hair can form in modified gravity and identifies a precise dark matter density threshold.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper establishes linear tachyonic instability but never demonstrates actual scalarization; the abstract's 'DM-induced spontaneous scalarization' goes beyond the paper's own Sec. V caveat.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: negative effective mass and linear instability are necessary but not sufficient for spontaneous scalarization, and the paper itself concedes this in Sec. V. My read confirms that the algebraic derivation of Eq. (29) is internally consistent and that the numerical results support linear instability, but the abstract and title claim 'spontaneous scalarization' without constructing scalarized solutions or solving the nonlinear system. Since the reader's verdict is already CONDITIONAL on this overclaim, my stress-test does not change the verdict; it reinforces it. The concrete test would move the paper toward full acceptance if stable scalarized branches exist, or toward rejection of the central claim if they do not.","tokens_in":11534,"tokens_out":4028,"duration_ms":41358,"concrete_test":"Construct static, spherically symmetric scalarized solutions of the full PFDM-ESTGB field equations (3) for λ < 0 and b/M in [(b/M)_crit, 2] by shooting from the horizon to asymptotic infinity, and compute their radial perturbation spectrum. Existence of a stable scalarized branch would confirm the claim; absence or instability of such solutions would reduce the paper's result to linear tachyonic instability on a fixed background. Alternatively, perform a fully nonlinear time evolution of the coupled scalar-GB-PFDM system from Gaussian initial data and check whether a scalarized endpoint actually forms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that PFDM induces spontaneous scalarization in the GB^- regime for b/M > 1.86287. What is actually computed is linear scalar-field perturbation theory on a fixed PFDM-Schwarzschild background: Eq. (11) with a fixed μ_eff^2, the effective potential (16), and the numerical evolution in Sec. IV solves only the linear test-field equation (15)/(31), not the coupled nonlinear system (3). A negative effective mass outside the horizon is a necessary condition for tachyonic instability, but the paper's own Sec. V states: 'the tachyonic instability is merely a necessary condition for the formation of scalarized black holes and does not guarantee the existence of stable branches of scalarized solutions.' No scalarized black hole solution is constructed, and no nonlinear time evolution is performed. Thus the load-bearing assertion 'DM-induced spontaneous scalarization' is not established by the evidence presented; the rigorously supported result is a linear-instability onset condition. The analytic threshold (29) is derived from min μ_eff^2 < 0, which is even weaker than a proof of linear instability; it is only the asymptotic boundary of the unstable region as -λ/M^2 -> infinity, consistent with Fig. 5. Therefore the foundational step from 'tachyonic instability of perturbations' to 'spontaneous scalarization of the black hole' is missing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a real scalar field nonminimally coupled to the Gauss-Bonnet invariant in extended scalar-tensor-Gauss-Bonnet (ESTGB) theory, on a spherically symmetric PFDM-Schwarzschild background. For negative coupling constant λ, the authors derive an analytic threshold (b/M)_crit ≈ 1.86287 from the condition that the effective mass squared of the linearized scalar field becomes negative outside the horizon, and they support this with numerical time evolutions of the linear Klein-Gordon equation obtained by two independent methods. The paper claims that this constitutes dark-matter-induced spontaneous scalarization of black holes in the GB^- regime.","tokens_in":11704,"tokens_out":12012,"duration_ms":106042,"significance":"The analytic derivation of Eq. (29) is clean and internally consistent, the extremal limit b=2M is handled correctly, and the numerical check in Figs. 3–5 is a useful independent confirmation of the parameter region in which scalar perturbations grow. The paper is the first, to my knowledge, to point out that PFDM can change the sign of the Gauss-Bonnet invariant sufficiently to permit a tachyonic instability in the spherically symmetric GB^- regime, which is an interesting observation. If the result were supplemented by actual scalarized black hole solutions, it would be a valuable contribution to the scalarization literature. At present, however, the advertised central claim exceeds what is demonstrated: the paper establishes a linear-instability onset, not the existence of scalarized black hole hair.","major_comments":[{"comment":"The concluding paragraph of Sec. V explicitly states that the tachyonic instability is merely a necessary condition for the formation of scalarized black holes and does not guarantee the existence of stable branches of scalarized solutions. Despite this, the title, the abstract, and the discussions in Secs. III–IV repeatedly assert that PFDM induces spontaneous scalarization. The numerical evolution in Sec. IV solves only the linear test-field equation, Eq. (15)/(31), on a fixed PFDM-Schwarzschild background; no coupled nonlinear solution is constructed and no nonlinear time evolution is performed. The evidence therefore supports a condition for linear tachyonic instability, not the existence of scalar hair. The authors should either construct (or directly cite) actual scalarized solutions in this model, or consistently reframe the title, abstract, and conclusions as a linear tachyonic-instability analysis rather than spontaneous scalarization.","section":"Sec. V, final paragraph; Secs. III–IV"},{"comment":"Eq. (29) is presented as the critical value for the onset of scalarization, but the derivation uses only the condition min μ_eff^2 < 0 outside the horizon, which is a necessary but not sufficient condition for tachyonic instability at a finite coupling constant. The actual boundary of the unstable region is the numerical blue curve in Fig. 5, and Eq. (29) is at best the asymptotic lower boundary of that region as -λ/M^2 → ∞. The text should clearly distinguish the exact numerical onset curve from the analytic necessary-condition bound, and should not describe Eq. (29) as 'the critical condition for spontaneous scalarization at a given coupling constant.'","section":"Sec. III, Eqs. (20)–(29); Fig. 5"},{"comment":"The scalar field equation is written as ∇^a∇_a φ = -(λ/4) F'(φ) G. With the stated coupling function F(φ) = 1 + 2λφ^2, this gives □φ = -λ^2 φ G, which would make the effective mass squared positive and would forbid the tachyonic instability analyzed in the rest of the paper. The standard ESTGB equation is □φ = -(1/4) F'(φ) G, which leads to μ_eff^2 = -λG as used in Eq. (12). Please correct Eq. (3) so that the field equations are consistent with the perturbation analysis that follows.","section":"Eq. (3) and Eq. (12)"}],"minor_comments":[{"comment":"The sentence 'for b/M > (b/M)_crit ≃ 1.86287M' contains a spurious factor M; b/M is dimensionless and should simply read 'b/M > 1.86287.'","section":"Sec. IV.B"},{"comment":"The blue shaded region is described as the area where perturbations 'become unstable, resulting in spontaneous scalarization'; since the calculation is linear and on a fixed background, the caption should say 'tachyonic instability of the scalar perturbation' rather than asserting spontaneous scalarization.","section":"Fig. 5 caption; Sec. IV.B"},{"comment":"Refs. [48] and [50] are the same Hod paper (Phys. Rev. D 102, 084060); one duplicate should be removed.","section":"References"},{"comment":"There are several minor typographical errors: 'by by' appears after Eq. (7), 'tenor' should be 'tensor' in the sentence after Eq. (9), and the method acronym is written as 'FR' in Sec. IV.B but 'RF' elsewhere.","section":"Sec. II"},{"comment":"The Gaussian initial data in Eq. (36) depends on the parameters r_*^c and the width, but the numerical values of r_*^c and the grid resolution used in Figs. 3–5 are not reported; providing these values would improve reproducibility.","section":"Sec. IV.A"}],"recommendation":"major_revision","confidential_remarks":"The main risk is overclaiming: the underlying calculation is sound enough that I would not reject outright, but the title and abstract currently claim more than the paper proves. If the authors cannot provide nonlinear scalarized solutions, the paper may still be publishable as a linear-instability analysis, but the framing must be changed accordingly. No concerns about citation practice or scope beyond the duplicate reference noted in the report."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the thing you should know: this paper gives a clean, new threshold for the onset of tachyonic instability of scalar perturbations on a PFDM-Schwarzschild background in ESTGB with negative coupling. The exact value (b/M)_crit ≈ 1.86287 is derived algebraically from the condition that μ_eff^2 becomes negative outside the horizon, and the time-domain evolution (two independent numerical schemes) maps an unstable region consistent with that threshold as the large-coupling envelope. No fitted parameters, no self-citations, the derivation checks out. That is a real addition to the scalarization literature, which previously had no route to GB^- scalarization for non-rotating holes.\n\nWhat it does well: the algebra is transparent and the extremal b=2M limit is handled correctly; the monotonicity step leading to Eq. (29) is valid; and the authors are careful in Sec. V to state that tachyonic instability is only a necessary condition. The numerical cross-check between RF and FF methods is good practice.\n\nSoft spots, in proportion. The main one is the framing: the title and abstract repeatedly say 'spontaneous scalarization,' but what is actually shown is linear instability of a test scalar field on a fixed background. No scalarized solution is constructed, and the nonlinear dynamics are not evolved. The stress-test note is right about this. It is not a fatal flaw because the paper's own final paragraph contains the caveat, but a reader skimming the abstract will come away with a stronger claim than the evidence supports. The introduction and conclusion repeat the strong phrasing, so it's a systematic framing issue, not a one-off.\n\nTwo smaller things. The numerical section omits grid size, boundary conditions, and convergence tests, and no code or data is posted; that limits reproducibility, though the two-method agreement mitigates it. And the analytic threshold is an envelope condition (min μ_eff^2 < 0), not the finite-coupling onset curve; the authors actually say this correctly, but the abstract's 'critical value' could be misread as the onset for all couplings rather than the asymptotic lower boundary.\n\nWho it's for: people working on scalarization in ESTGB, PFDM black hole spacetimes, and no-hair evasions. It deserves a serious referee. My recommendation: send it out, with a request that the authors either soften the 'spontaneous scalarization' language to 'linear onset / tachyonic instability' or add a sentence in the abstract making the necessary-condition status explicit. That is a revision, not a rejection.","headline":"A correct, well-scoped linear-instability analysis for DM-triggered onset of scalarization in ESTGB; just don't take 'spontaneous scalarization' in the abstract literally.","tokens_in":12311,"tokens_out":2871,"would_cite":true,"duration_ms":26512,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.50.Kd","04.70.-s","95.35.+d"],"model":"deepseek-v4-flash","headline":"Dark matter can make a spherical black hole spontaneously grow scalar hair.","keywords":["spontaneous scalarization","scalar-tensor-Gauss-Bonnet theory","perfect fluid dark matter","tachyonic instability","black hole scalar hair","PFDM-Schwarzschild black hole","GB^- regime","no-hair theorem"],"falsifier":"Construct the full nonlinear static black hole solutions in PFDM-ESTGB theory with $\\lambda<0$ and $b/M>1.86287$; if no scalarized branch exists, or if the endpoint of the linear instability is not a scalarized black hole, the central claim fails even though the linear instability is real.","tokens_in":11252,"feed_emoji":"🕳️","tokens_out":8070,"duration_ms":71558,"temperature":0.7,"pith_summary":"Spontaneous scalarization is a route by which a black hole grows a new field, or hair, through an instability rather than by being born with it. In extended scalar-tensor-Gauss-Bonnet theory with a negative coupling, spherical black holes are usually immune: only rotating holes are known to scalarize. This paper argues that enshrouding the hole in perfect fluid dark matter removes that immunity. Once the dark matter parameter exceeds about $b/M \\simeq 1.86287$, the scalar perturbation sees a negative effective mass outside the horizon, the perturbation grows in time, and the black hole enters a linearly scalarized state. If the claim holds, the local dark matter environment, not just spin, can decide whether the no-hair theorem is violated.","feed_headline":"Dark matter can make a spherical black hole grow scalar hair","feed_subtitle":"A dark-matter halo may trigger scalarization where black-hole spin was previously required.","key_machinery":"The load-bearing object is the effective mass of the scalar perturbation, $\\mu_{\\rm eff}^2=-\\lambda G$, where $G$ is the Gauss-Bonnet invariant and $\\lambda$ is the coupling constant. Evaluated on the PFDM-Schwarzschild background with $f(r)=1-2M/r-(b/r)\\ln(r/|b|)$, it reduces to an explicit rational-logarithmic expression whose sign outside the event horizon is governed by a dimensionless function $F(r;M,b)$. The analysis (i) demands $\\min_{r>r_+}\\mu_{\\rm eff}^2<0$, (ii) turns this into a bound on $\\ln(r/b)$, (iii) eliminates the horizon radius using $f(r_+)=0$, and (iv) arrives at the closed-form threshold $(b/M)_{\\rm crit}\\simeq 1.86287$. Numerical time-domain evolution, using Runge-Kutta in time with finite differences in the tortoise coordinate and a fully finite-difference cross-check, then maps out the unstable region of the $(-\\lambda/M^2, b/M)$ parameter plane.","core_discovery":"The central claim is that in the extended scalar-tensor-Gauss-Bonnet (ESTGB) theory with $\\lambda<0$, the PFDM-Schwarzschild black hole surrounded by perfect fluid dark matter has a tachyonic instability and undergoes linear spontaneous scalarization once $b/M > (b/M)_{\\rm crit} = 12/[5+\\sqrt{13}-6\\ln((5+\\sqrt{13})/6)] \\simeq 1.86287$. In the vacuum Schwarzschild limit the effective mass $\\mu_{\\rm eff}^2=-\\lambda G$ is strictly positive outside the horizon, which is why no scalarization occurs; the dark matter terms in the metric flip its sign in a region outside the horizon. The critical ratio is derived analytically from the requirement that a negative effective mass exist, and it is the lower boundary of the unstable region in the limit where the coupling strength $-\\lambda/M^2$ diverges. Numerical time evolutions of the $l=0$ scalar mode confirm the unstable region, with the onset occurring near the extremal limit $b/M\\to 2$ for small $|\\lambda|$ and expanding as $|\\lambda|$ grows.","pith_inferences":["The same sign-flip mechanism should operate in other dressed black hole spacetimes, such as charged, accreting, or anisotropic-fluid backgrounds, where the Gauss-Bonnet invariant outside the horizon differs enough from vacuum; the critical ratio would shift but the qualitative criterion would not.","A direct nonlinear evolution with PFDM initial data could settle whether the endpoint of the instability is a scalarized black hole, giving a concrete numerical test of the central scenario.","If such scalarized black holes exist, their ringdown and shadow would differ from Kerr scalarized holes, potentially offering gravitational-wave or electromagnetic signatures that distinguish dark-matter-induced hair from spin-induced hair."],"forward_implications":["Spherical black holes in the $\\lambda<0$ regime are not automatically hairless: a dark matter halo dense enough to push $b/M$ above about 1.86287 switches on the scalar instability.","The threshold is a sharp lower bound: below $(b/M)_{\\rm crit}$ no coupling strength produces instability, while above it the unstable window opens once $-\\lambda/M^2$ is large enough.","Scalarization requires the dark matter parameter and the black hole mass to be of the same order of magnitude, so the effect is most relevant for low-mass or heavily dark-matter-contaminated black holes.","The confirmed linear instability marks the onset of scalarization; constructing the nonlinear scalarized solutions is the stated next step needed to complete the picture."],"supporting_citations":[{"why":"Introduces spontaneous scalarization through the same tachyonic instability mechanism that this paper applies to Gauss-Bonnet black holes.","marker":"[11]"},{"why":"Establishes GB+ spontaneous scalarization in ESTGB theory for positive coupling and supplies the perturbation equation framework.","marker":"[12–15]"},{"why":"Shows that for negative coupling only rotating holes scalarize, the baseline result this paper overturns for the spherical case.","marker":"[16]"},{"why":"Provide the PFDM-Schwarzschild solution and the dark matter stress-energy tensor on which the whole analysis is built.","marker":"[45, 46]"},{"why":"Give the necessary condition for tachyonic instability phrased as a negative effective mass or potential well outside the horizon.","marker":"[15, 19, 49, 50]"}],"fun_headline_variants":["Dark matter triggers scalar hair on static black holes","Dark matter halo can scalarize a black hole without spin","Dark matter exceeds critical level to grow black hole hair","Spherical black holes can now scalarize with dark matter","Dark matter induces scalarization in non-spinning black holes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a negative effective mass outside the horizon, which produces linear tachyonic instability, is enough to conclude that spontaneous scalarization occurs; the paper itself warns that this does not guarantee a stable scalarized black hole actually forms.","fun_headline_variants_meta":{"raw":{"variants":["Dark matter triggers scalar hair on static black holes","Dark matter halo can scalarize a black hole without spin","Dark matter exceeds critical level to grow black hole hair","Spherical black holes can now scalarize with dark matter","Dark matter induces scalarization in non-spinning black holes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000313,"raw_usage":{"total_tokens":1802,"prompt_tokens":995,"completion_tokens":807,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":729}},"tokens_in":611,"tokens_out":807,"duration_ms":7782,"temperature":1.0,"reasoning_tokens":729,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:35:06.937675+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct the full nonlinear static black hole solutions in PFDM-ESTGB theory with $\\lambda<0$ and $b/M>1.86287$; if no scalarized branch exists, or if the endpoint of the linear instability is not a scalarized black hole, the central claim fails even though the linear instability is real.","supporting_citations":[{"cited_title":"Nonperturbative strong field effects in tensor - scalar theories of gravi- tation,","cited_arxiv_id":null,"evidence_quote":"Introduces spontaneous scalarization through the same tachyonic instability mechanism that this paper applies to Gauss-Bonnet black holes."},{"cited_title":"Spin-induced black hole spontaneous scalarization,","cited_arxiv_id":null,"evidence_quote":"Shows that for negative coupling only rotating holes scalarize, the baseline result this paper overturns for the spherical case."}],"review_version":1}