{"id":"e0d9f20c-9358-4bb1-af3f-7e3398fc55d8","arxiv_id":"1908.09394","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Spontaneous scalarization of Reissner-Nordström black holes occurs in the scalar-vector-tensor f4 model, and the resulting scalarized black holes can be overcharged.","lead":"This paper shows that in a particular scalar-vector-tensor theory of gravity, charged black holes can spontaneously grow an extra scalar 'hair' around them. The resulting hairy black holes can have more electric charge than mass, which is impossible for ordinary Reissner-Nordström black holes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Only scalar perturbations are checked for the scalarized solutions; the final-state claim also requires stability of coupled metric and vector perturbations, which is not demonstrated.","rationale":"The reader's weakest assumption is exactly the missing full stability analysis; I agree. The paper contains an explicit limitation (Section IV B) that should be weighed in the verdict. The central claim is conditional on the stability of the full coupled system; without it, the scalarized solutions are only candidate end states. This does not invalidate the instability analysis around RN or the construction of the solutions, but it does mean the final-state conclusion is premature. A full perturbation analysis is a standard and decisive check. The reader's CONDITIONAL verdict is appropriate; my stress-test does not change it.","tokens_in":17867,"tokens_out":15885,"duration_ms":156312,"concrete_test":"Perform a full linear perturbation analysis of the nodeless exponential-model scalarized solution (e.g., η/r_H^2=1, Q/√η=1) using the action (1): derive the coupled scalar-metric-vector perturbation equations in the axial and polar sectors, reduce them to ordinary differential eigenvalue problems with appropriate boundary conditions, and search for modes with Im(ω)>0. If any such unstable mode exists, the claim that these solutions can be the end state of scalarization fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section IV B the paper states: 'Here, we only consider the stability against the perturbation of the scalar field.' The effective potential (42) is derived from the scalar perturbation equation on the fixed scalarized background, and the conclusion that the exponential-model nodeless solution 'can be the end state of scalarization' rests entirely on the positivity of this potential. This is not sufficient. In the action (1), the scalar field is coupled to the Riemann tensor and the electromagnetic field strength through H(Φ)L^{μναβ}F_{μν}F_{αβ}; a scalar perturbation will, at first order, source metric and electromagnetic perturbations. A mode that appears stable in the test-field approximation can become unstable in the coupled system; examples of such coupling-induced instabilities are known in other scalarization models. Appendix C justifies the test-field limit only for small G, which does not apply to the strongly backreacted scalarized solutions constructed in Section IV. The paper explicitly flags this limitation, but the advertised final-state claim requires more than scalar-field stability. Without a full linear stability analysis, these solutions are only candidate end states.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper investigates spontaneous scalarization of charged black holes in a scalar-vector-tensor theory with the nonminimal coupling H(Φ)L^{μναβ}F_{μν}F_{αβ}. It first derives a no-hair condition for the constant-scalar Reissner-Nordström solution and shows that for H''(0)>0 the scalar field can develop a tachyonic instability, with the threshold computed via the zero-mode method. It then constructs test-field bound states for quadratic and exponential forms of H(Φ), finding that the quadratic bound state is radially unstable while the exponential nodeless bound state can have a positive effective potential. Finally, it constructs fully backreacted scalarized black hole solutions and reports that they can have Q/M > 1 (overcharged), and that in the exponential model the nodeless solution has a positive scalar effective potential, leading the authors to conclude that it can be the endpoint of scalarization.","tokens_in":18042,"tokens_out":12187,"duration_ms":116984,"significance":"The paper presents a new mechanism for black hole scalarization in an SVT theory, and the derived instability threshold follows directly from the equations of motion without fitted parameters. The overcharging result, if confirmed, is a novel feature of the f4 model. The zero-mode stability method is applied consistently and the numerical solutions appear to satisfy the stated equations and boundary conditions. However, the central final-state claim is currently supported only by a scalar-perturbation analysis; the full coupled stability remains an open issue, which tempers the significance of the conclusion.","major_comments":[{"comment":"The stability analysis of the scalarized solutions considers only scalar-field perturbations around the fixed background, as the text states: 'Here, we only consider the stability against the perturbation of the scalar field.' In the action (1), the scalar field is nonminimally coupled to both the metric and the electromagnetic field strength through H(Φ)L^{μναβ}F_{μν}F_{αβ}; at first order, a scalar perturbation sources metric and vector perturbations. Positivity of U_eff in Eq. (42) therefore does not rule out coupled instabilities, and Appendix C's justification of the test-field limit only covers small G, not the strongly backreacted solutions of Sec. IV. The conclusion that 'the scalarized BH solution in the exponential model can be the end state of scalarization' is accordingly not established by the analysis presented. I recommend either performing a full linear stability analysis including metric and vector perturbations, or revising the conclusion to state that these are candidate end states.","section":"Sec. IV B, Eq. (42)"}],"minor_comments":[{"comment":"The phrase 'the scalar field must be constant under the RH BH' should read 'RN BH'.","section":"Sec. II B"},{"comment":"The statement 'for each electric charge Q, there is a solution' is imprecise because the solution is also characterized by the number of nodes, and in the quadratic model the overall normalization is arbitrary.","section":"Sec. III A"},{"comment":"The numerical solutions leading to the overcharging claim would be more convincing with a brief description of the numerical method, grid resolution, and estimated errors.","section":"Sec. IV A, Tables III and IV"},{"comment":"The vertical axis label uses 'H''(Φ0)' while the text discusses 'H''(0)'; please unify the notation.","section":"Fig. 3"},{"comment":"The statement that the critical line 'almost coincides' with the line of Fig. 3 is qualitative; a quantitative comparison would strengthen the claim.","section":"Sec. III A, Figs. 5 and 7"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the incomplete linear stability analysis behind the final-state claim. If the authors can provide a full coupled stability analysis or carefully limit the conclusion to scalar-mode stability, the paper would be publishable. The overcharging result is interesting and deserves follow-up with full stability checks."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper adds a new channel to black-hole scalarization: a scalar coupled to L^{μναβ} F_{μν}F_{αβ} (the 'f4 model') makes Reissner-Nordström tachyonic and yields hairy solutions, some with Q/M>1. The coupling choice is new, and the overcharged branch is not in the prior literature. The instability calculation around RN is standard and clean, the shooting construction follows the usual pattern, and the no-hair theorem in Appendix B is a useful extension of the shift-symmetric SVT result. The exponential model demonstrates how nonlinearity can stabilize the nodeless branch. That is real content.\n\nThe main soft spot is flagged by the authors themselves: Sec. IV B says only scalar-field perturbations are considered. The end-state claim needs the coupled scalar-metric-vector system; a mode stable in the scalar-only truncation can be destabilized once the other fields move. So 'can be the end state' is a candidate statement, not a proven one. I agree with the stress-test note on this point. Appendix C does not save it: it justifies the test-field limit only for small G, not for the strongly backreacted solutions. Minor issues: no code or data release, so the numerics are not independently reproducible from the text; and the overcharged solutions raise cosmic-censorship-type questions that are left untouched.\n\nThe citation pattern looks fine; the relevant GB and Einstein-Maxwell-scalar literature is cited, and self-citations are to directly connected prior work. There is no circularity: the model functions are inputs and the instability threshold is derived, so the 'prediction' is not fitted.\n\nThis is a subfield paper, not a breakthrough. Anyone working on black-hole scalarization or no-hair theorems will get value from it. The instability mechanism is well motivated and the gap is addressable, so it deserves a serious referee. I would accept it conditionally, asking either for a full linear stability analysis or a softened end-state claim. If you have referee time, take it — it is a clean piece of work.\n\nRecommendation: send to peer review.","headline":"A solid extension of scalarization to the f4 L F F coupling with overcharged solutions; the main gap is that the end-state claim rests on scalar-only stability.","tokens_in":18591,"tokens_out":6188,"would_cite":true,"duration_ms":62576,"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":"In the f4 scalar-vector-tensor model, the double-dual Riemann coupling destabilizes the constant-scalar Reissner-Nordström solution, and the stable scalarized endpoint can carry charge-to-mass ratio greater than one.","keywords":["spontaneous scalarization","charged black holes","scalar-vector-tensor theory","Reissner-Nordström black holes","double-dual Riemann tensor","tachyonic instability","overcharged black holes","black hole scalar hair"],"falsifier":"Perform a linear perturbation analysis including metric and vector modes around the nodeless exponential scalarized solution constructed from Eqs. (28)-(30); a mode with $\\omega^2<0$ would refute the endpoint claim. Alternatively, a full nonlinear evolution of a sufficiently charged Reissner-Nordström black hole in this theory that fails to settle on the scalarized solution would settle the question.","tokens_in":17629,"feed_emoji":"🕳️","tokens_out":10560,"duration_ms":90590,"temperature":0.7,"pith_summary":"This paper shows that a specific coupling in scalar-vector-tensor gravity, the product of the scalar function $H(\\Phi)$ with the double-dual Riemann tensor contracted with the electromagnetic field strength, makes the constant-scalar Reissner-Nordström black hole unstable. For sufficiently large charge or coupling, the scalar field develops a tachyonic instability, so the black hole is expected to grow a scalar halo. The authors construct the scalarized black holes that would be the end state, and find solutions whose charge-to-mass ratio $Q/M$ can exceed 1, i.e. overcharged black holes. In the exponential model, where nonlinearity changes the sign of $H''(\\Phi)$ at large field values, the nodeless scalarized solution has a positive effective potential for scalar perturbations and can be the endpoint of scalarization. The mechanism is special because the triggering invariant vanishes in flat spacetime, so curvature is essential.","feed_headline":"Scalarization can make charged black holes overcharge","feed_subtitle":"A curvature-electromagnetism coupling destabilizes Reissner-Nordström and can leave stable endpoints with hair beyond Q/M = 1.","key_machinery":"The central object is the invariant $L^{\\mu\\nu\\alpha\\beta}F_{\\mu\\nu}F_{\\alpha\\beta}$, where $L^{\\mu\\nu\\alpha\\beta}=\\frac{1}{4}\\epsilon^{\\mu\\nu\\rho\\sigma}\\epsilon^{\\alpha\\beta\\gamma\\delta}R_{\\rho\\sigma\\gamma\\delta}$ is the double-dual Riemann tensor and $F_{\\mu\\nu}$ is the electromagnetic field strength. On the Reissner-Nordström background this combination is positive outside the horizon and proportional to $Q^2(1-f)/r^6$, giving the scalar field an effective negative mass squared near the horizon when $H''(0)>0$. In the nonlinear scalarized regime, the same coupling enters the equations of motion for the metric, vector, and scalar fields; the exponential form $H(\\Phi)=\\frac{\\eta}{2}(1-e^{-\\Phi^2})$ is crucial because $H''(\\Phi)$ becomes negative for $|\\Phi|>1/\\sqrt{2}$, which flips the effective potential positive and stabilizes the nodeless solution.","core_discovery":"Within the f4 model defined by $S=\\int d^4x\\sqrt{-g}\\left(\\frac{1}{16\\pi G}R-\\frac{1}{2}\\nabla_\\mu\\Phi\\nabla^\\mu\\Phi-\\frac{1}{4}F_{\\mu\\nu}F^{\\mu\\nu}+H(\\Phi)L^{\\mu\\nu\\alpha\\beta}F_{\\mu\\nu}F_{\\alpha\\beta}\\right)$, with $H(0)=H'(0)=0$, the Reissner-Nordström solution with $\\Phi=0$ is not the whole story. Around RN, $L^{\\mu\\nu\\alpha\\beta}F_{\\mu\\nu}F_{\\alpha\\beta}=16Q^2(1-f)/r^6$ is positive outside the horizon, so the scalar perturbation has effective mass squared $m_{\\rm eff}^2=-H''(0)L^{\\mu\\nu\\alpha\\beta}F_{\\mu\\nu}F_{\\alpha\\beta}$; when $H''(0)>0$ this is negative and the $l=0$ mode becomes tachyonic for $Q/M$ above a threshold. The paper constructs static, spherically symmetric scalarized solutions by solving Eqs. (28)-(30) with the vector field determined by Eq. (31). These solutions carry mass $M$, electric charge $Q$, and scalar charge $Q_s$; in both the quadratic and exponential models the nodeless branch reaches $Q/M>1$, meaning the scalarized black hole is overcharged. Stability is checked only for scalar-field perturbations; within that check, the exponential model has an everywhere positive effective potential for the nodeless solution, so the paper concludes this scalarized black hole can be the end state of scalarization.","pith_inferences":["A natural next step is to include metric and vector perturbations around the scalarized solutions; if any coupled mode is unstable, the endpoint claim would need revision.","Overcharged scalarized black holes, if stable in the full theory, would sit above the extremal charge bound and could serve as testbeds for weak cosmic censorship in modified gravity.","The same coupling should act around a rotating black hole immersed in an external magnetic field, an environment the paper mentions as the likely astrophysical setting for this scalarization.","The critical line of maximum $Q/M$ could be mapped numerically and compared with the extremal condition (39), which would tell whether overcharged solutions approach extremality or stay bounded away from it."],"forward_implications":["In this theory the usual no-hair expectation fails: a charged black hole with large enough $Q/M$ or coupling spontaneously acquires a scalar profile.","The scalarized solutions can be overcharged, with $Q/M>1$, so the f4 model predicts a class of black holes outside the extremal Reissner-Nordström bound.","In the exponential model the nodeless scalarized solution is stable against radial scalar perturbations, so it is a viable final state of the instability; the quadratic model is not.","Because the triggering invariant vanishes in flat spacetime, scalarization here requires a curved background, unlike scalarization through $F^{\\mu\\nu}F_{\\mu\\nu}$.","The scalar charge $Q_s$ can be of order one, making the asymptotic metric differ measurably from the Reissner-Nordström metric."],"supporting_citations":[{"why":"Provides the general scalar-vector-tensor theory with second-order equations from which the f4 action is taken.","marker":"[8]"},{"why":"Introduced spontaneous scalarization for compact stars, the mechanism this paper adapts to black holes.","marker":"[17, 18]"},{"why":"Established the first black-hole scalarization models and the instability-to-endpoint logic the paper follows.","marker":"[22–27]"},{"why":"Validates the test-field bound-state analysis that Section III uses to construct scalar profiles.","marker":"[26]"},{"why":"Earlier charged-black-hole scalarization via $f(\\Phi)F^{\\mu\\nu}F_{\\mu\\nu}$, the mechanism contrasted with the f4 model.","marker":"[32–34]"},{"why":"Supplies the zero-crossing stability criterion used to locate the tachyonic instability region in the parameter space.","marker":"[36]"}],"fun_headline_variants":["Scalar hair pushes charged black holes past Q/M=1","Curvature-electromagnetism coupling triggers black hole scalarization","Overcharged black holes emerge from spontaneous scalarization","Tachyonic instability leads to stable overcharged black holes","Scalar-tensor-electromagnetism coupling yields Q/M>1 black holes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The endpoint claim assumes the full coupled metric-vector-scalar perturbations around the scalarized solution are stable, while the paper checks only scalar-field perturbations.","fun_headline_variants_meta":{"raw":{"variants":["Scalar hair pushes charged black holes past Q/M=1","Curvature-electromagnetism coupling triggers black hole scalarization","Overcharged black holes emerge from spontaneous scalarization","Tachyonic instability leads to stable overcharged black holes","Scalar-tensor-electromagnetism coupling yields Q/M>1 black holes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00078,"raw_usage":{"total_tokens":3496,"prompt_tokens":1041,"completion_tokens":2455,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":657,"completion_tokens_details":{"reasoning_tokens":2370}},"tokens_in":657,"tokens_out":2455,"duration_ms":19476,"temperature":1.0,"reasoning_tokens":2370,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:13:06.092391+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Perform a linear perturbation analysis including metric and vector modes around the nodeless exponential scalarized solution constructed from Eqs. (28)-(30); a mode with $\\omega^2<0$ would refute the endpoint claim. Alternatively, a full nonlinear evolution of a sufficiently charged Reissner-Nordström black hole in this theory that fails to settle on the scalarized solution would settle the question.","supporting_citations":[],"review_version":1}