{"id":"f025c9eb-2cf1-4d72-994d-983797b04a63","arxiv_id":"2501.02053","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For very massive fields, a charged black hole with horizon potential Φ_H greater than Q/M can support the stationary scalar cloud that triggers superradiant instability.","lead":"This paper derives a compact inequality that predicts when a charged black hole can develop superradiant instabilities from a charged massive scalar field. The criterion explains why Reissner-Nordström black holes remain stable while Ayón-Beato-García black holes can become unstable.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof never verifies that the WKB solution satisfies the normalizability condition ω=qΦ_H<μ; at the F=0 crossing the required charge-to-mass ratio is at least M/(QΦ_H)>1/Φ_H² when Φ_H>Q/M, so the alleged cloud may be a non-normalizable mode.","rationale":"The paper's central claim is that, for Mμ≫1, Φ_H>Q/M is sufficient for the existence of stationary charged scalar clouds with ω=qΦ_H, and hence for superradiant instability. The reader's weakest-assumption analysis correctly identifies the place where the proof is least secure: the paper establishes a sign change of the auxiliary function F(r) and concludes that the WKB equation (32) has a normalizable bound-state solution, but it never verifies the necessary bound-state condition ω=qΦ_H<μ. I agree with that identification, and the concern is load-bearing because the normalizability condition is not a minor technicality. For a WKB root near F=0, the charge-to-mass ratio is fixed by the extremum condition (27) to λ=f'/(2ΔΦ|Φ'|). The paper's own asymptotic relation (39)-(40), Φ_H>Q/M, is equivalent to λ∞=M/(QΦ_H)>1/Φ_H², so the sign change that is meant to guarantee a cloud points toward the regime in which the frequency is above the mass threshold. The paper does not show that λ(r) dips below 1/Φ_H² at the actual WKB radius, and the ABG check in Sec. IV (G(Q)>1) only verifies the sign condition, not the normalizability condition. The independent numerical evidence for ABG instability cited by the paper suggests the final phenomenon may be real, but the proof as written does not establish the claimed sufficient condition. Since the reader assigned a conditional verdict and this stress test confirms the same gap without discovering a new fatal flaw, the verdict should remain unchanged: CONDITIONAL.","tokens_in":9838,"tokens_out":26262,"duration_ms":272380,"concrete_test":"Use the ABG metric (42)-(43) with, say, Q/rH=0.5. Compute the auxiliary function F(r) in Eq. (33), locate the zero r0 where F crosses from positive to negative, and evaluate λ(r0)=f'(r0)/(2ΔΦ(r0)|Φ'(r0)|). If λ(r0)Φ_H^2≥1, the WKB minimum is in the non-normalizable regime and the sufficient condition is not established. To settle it completely, also integrate Eq. (10) numerically for μrH≫1 with ω=qΦ_H and q/μ=√λ(r0), imposing boundary conditions (14)-(16); a normalizable eigenmode should appear if the paper's central claim is correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section III's central step is the inference from the sign change of F(r) between Eqs. (36) and (40) to the existence of a WKB bound-state cloud. The inference is missing the normalizability check. Boundary conditions (14)-(15) require ω=qΦ_H<μ, i.e. λ(rmin)=q²/μ²<Φ_H^{-2}. But λ is not a free parameter at the extremum: Eq. (27) fixes λ(r)=-f'(r)/(2ΔΦ(r)Φ'(r))=f'(r)/(2ΔΦ(r)|Φ'(r)|). The paper never shows λ(rmin)<Φ_H^{-2}. In fact, F(r→∞)<0 (Eq. (40)) is equivalent to M/(QΦ_H)>Φ_H^{-2}; in the asymptotic region the same combination that sets the extremal λ tends to λ∞=M/(QΦ_H). Thus the sign change used to locate the WKB root selects, at least asymptotically, the regime in which the mode is above the mass threshold. Nothing in Eqs. (32)-(41) rules out λ(rmin)≥Φ_H^{-2}. Without that, the solution of Eq. (32) may be a non-normalizable scattering state rather than the stationary cloud claimed in Eq. (50). The ABG application in Sec. IV inherits this gap, because the verification G(Q)>1 does not establish the charge-to-mass inequality needed for normalizability.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a spherically symmetric charged black hole coupled to a charged massive scalar field and works in the eikonal large-mass regime Mμ ≫ 1. It derives a WKB condition, Eq. (32), for the existence of stationary scalar clouds with critical frequency ω = qΦ_H, and argues from the sign change of the function F(r) between the horizon and infinity that the inequality Φ_H > Q/M is a sufficient condition for such clouds. It then applies this criterion to ABG black holes, proving G(Q) = MΦ_H/Q > 1 for all charged ABG solutions, and notes that Reissner-Nordström black holes do not satisfy the condition.","tokens_in":10160,"tokens_out":18351,"duration_ms":193706,"significance":"If the main claim were established, it would provide a compact, parameter-free sufficient criterion for superradiant instabilities of charged scalar fields around charged black holes, and it would cleanly separate Reissner-Nordström from ABG behavior. The derivation is self-contained and the ABG algebra is explicit and checkable, with no fitted parameters. The weakness is that the central WKB existence argument never verifies that the mode selected by Eq. (32) is normalizable, i.e. that ω = qΦ_H < μ; without this check, the solution may be an above-threshold scattering state rather than the bound-state cloud that marks the onset of the instability.","major_comments":[{"comment":"The central inference from the sign change of F(r) to a normalizable cloud is missing the normalizability check. At the WKB extremum rmin, Eq. (27) fixes the field's charge-to-mass ratio: q²/μ² = -f'(rmin)/[2(Φ_H-Φ(rmin))Φ'(rmin)]. In the large-μ limit where Eq. (32) holds with its right-hand side tending to zero, this gives q²/μ² ≈ f(rmin)/[Φ_H-Φ(rmin)]². The bound-state boundary condition (14) is valid only when Eq. (15) holds, i.e. q²/μ² < Φ_H^{-2}, or equivalently f(rmin)Φ_H² < [Φ_H-Φ(rmin)]². The paper never proves this inequality. The sign-change argument between Eqs. (36) and (40) only locates a point where F ≈ 0; it does not control the value of q²/μ² at that point. In fact, roots of Eq. (32) in the asymptotic region would have q²/μ² ≈ M/(QΦ_H) > Φ_H^{-2} precisely when MΦ_H/Q > 1, so the sign change is not biased toward the bound-state side of the threshold. Consequently the sufficient condition (50) is not established by the presented argument.","section":"Sec. III, Eqs. (27), (32), and (14)-(15)"},{"comment":"The ABG application inherits the same gap. The verification G(Q) > 1 establishes only the sign condition F(∞) < 0 of Eq. (40); it does not verify the normalizability inequality qΦ_H < μ for the mode whose charge-to-mass ratio is fixed by Eq. (27). The minimum value min{G} = 23/16 in Eq. (49) is therefore insufficient to support the claim that all charged ABG black holes admit the stationary bound-state clouds described in Sec. V. The author should either prove that the WKB roots satisfying Eq. (32) always give q²/μ² < Φ_H^{-2}, or explicitly restrict the conclusion to the case in which that inequality is checked.","section":"Sec. IV, Eqs. (47)-(49)"}],"minor_comments":[{"comment":"The text 'governs the the dynamics' contains a duplicated article; it should read 'governs the dynamics'.","section":"Sec. II"},{"comment":"The radial mode function Rlm should carry the frequency label as well, since the decomposition integrates over ω; the notation R_{lmω} would avoid ambiguity.","section":"Around Eq. (11)"},{"comment":"Reference [3] is a duplicate of the Vilenkin paper already cited as part of reference [1]; the two entries should be consolidated.","section":"References"},{"comment":"Equation (46) is written in a form that is singular at Q̄ = 0, although the limit Q̄ → 0 is used in Eq. (49); the expression should be stated as understood by continuity.","section":"Eq. (46)"},{"comment":"The wording 'prove/proved' is stronger than what a WKB eikonal calculation supports; 'show in the eikonal large-mass regime' would be more precise.","section":"Abstract and Sec. V"}],"recommendation":"major_revision","confidential_remarks":"The missing normalizability check is the only substantive obstacle I see to the main claim. If the author can supply a proof that the WKB roots of Eq. (32) satisfy qΦ_H < μ, or can identify the additional condition under which they do, I would support publication; the ABG algebra and the clean separation from the Reissner-Nordström no-cloud result make the paper potentially useful. I would not reject the paper purely because the criterion is derived in an eikonal WKB framework, since the numerical and analytical studies of ABG instabilities provide external support for the phenomenon."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper gives a clean, compact criterion — Φ_H > Q/M in the eikonal large-mass regime — and proves every ABG black hole satisfies it. The algebra in the ABG section checks out, and the result is consistent with the earlier numerics. But the central WKB step has a real gap: the sign change in F(r) shows that the potential has an extremum, not that the corresponding mode is a normalizable bound state.\n\nWhat's new: previous work established no-cloud for RN and instability for ABG separately. This paper packages a sufficient condition in one inequality and presents a proof that any spacetime with Φ_H > Q/M must have a root of F(r), which via the WKB quantization condition would give a stationary cloud at the superradiant threshold. That's a useful organizing result for the field.\n\nThe soft spot: the proof moves from F(r) crossing zero to the existence of a bound state without verifying ω = qΦ_H < μ, which is the asymptotic boundary condition (14)-(15). At the extremum, the charge-to-mass ratio of the mode is fixed by the background: λ(rmin) = f'(rmin)/(2(Φ_H-Φ(rmin))|Φ'(rmin)|). The paper never shows λ(rmin) < 1/Φ_H². The stress-test's asymptotic estimate λ∞ = M/(QΦ_H) shows that in the region where F∞ < 0, the required λ tends to exceed the normalizability bound. That asymptotic argument alone doesn't disprove the theorem — rmin could sit where λ is smaller — but it makes clear the missing check is not a formality. Without it, the WKB solution might be a non-normalizable scattering state rather than the cloud claimed in Eq. (50). The ABG application inherits this gap: G(Q)>1 is a statement about the black hole, not about the mode's charge-to-mass ratio.\n\nThis is a fixable gap, not a nonsense paper. The author needs to show that for spacetimes satisfying Φ_H > Q/M, some root of F=0 satisfies λ < 1/Φ_H², or else state normalizability as an additional assumption. As written, the sufficiency claim is not fully proven.\n\nWho this is for: black-hole theorists working on superradiance and scalar clouds. It deserves a serious referee and likely a revision. I would not desk-reject it; I'd send it out and ask for the normalizability check.","headline":"A compact new sufficient condition for charged superradiant instabilities, but the WKB proof skips the normalizability check and that gap is load-bearing.","tokens_in":10661,"tokens_out":5344,"would_cite":false,"duration_ms":53846,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for charged black holes, in the eikonal large-mass regime, the inequality $\\Phi_{\\text{H}} > Q/M$ guarantees stationary scalar clouds at the resonance $\\omega=q\\Phi_{\\text{H}}$, and that all charged Ayón-Beato-García…","keywords":["superradiant instability","charged black holes","charged massive scalar fields","scalar clouds","Ayón-Beato-García black holes","eikonal WKB regime","horizon electrostatic potential","Reissner-Nordström stability"],"falsifier":"Numerically integrate the stationary radial equation (10) on a charged ABG background with $M\\mu\\gg 1$ and $\\omega=q\\Phi_{\\text{H}}$, imposing ingoing behavior at the horizon and decay at infinity; the claim is refuted if for some charge parameter $\\bar Q$ (and some allowed $q$ with $q\\Phi_{\\text{H}}<\\mu$) no normalizable bound state exists, since the paper asserts that the sign change of $F$ always supplies one.","tokens_in":9640,"feed_emoji":"⚡","tokens_out":13218,"duration_ms":116486,"temperature":0.7,"pith_summary":"The paper sets out to answer when a charged black hole develops a superradiant instability against perturbations by a charged massive scalar field. It proves that in the eikonal large-mass regime, $M\\mu\\gg 1$, the single background inequality $\\Phi_{\\text{H}} > Q/M$ is sufficient: black holes satisfying it support stationary scalar clouds with the resonant frequency $\\omega=q\\Phi_{\\text{H}}$, and these clouds are the onset of superradiant instability. The condition is compact and background-only, so it can be checked from the black hole's mass, charge, and horizon potential alone. As an application, the paper shows that every charged Ayón-Beato-García black hole obeys the inequality, and therefore belongs to the superradiantly unstable family, whereas charged Reissner-Nordström black holes do not.","feed_headline":"A horizon voltage above Q/M makes charged black holes superradiant","feed_subtitle":"In the large-mass regime this ratio guarantees the scalar clouds behind instability for every Ayón-Beato-García black hole.","key_machinery":"The load-bearing object is the background function $F(r) = 1 + \\frac{f'(r)\\,[\\Phi_{\\text{H}} - \\Phi(r)]}{2 f(r)\\, \\Phi'(r)}$, built from the metric function $f(r)$ and the electrostatic potential $\\Phi(r)$. Near the horizon $F \\to 1/2$, while at infinity $F \\to 1 - M\\Phi_{\\text{H}}/Q$, so the inequality $\\Phi_{\\text{H}}>Q/M$ makes $F$ change sign. That sign change forces a zero of $F$, and in the WKB treatment a zero of $F$ is exactly the radius $r_{\\min}$ at which the effective radial potential has its minimum and the bound-state conditions (27) and (31) are satisfied. The WKB quantization condition then produces a normalizable cloud centered at $r_{\\min}$, with radial width shrinking like $(M\\mu)^{-1/2}$.","core_discovery":"The central claim is that $\\Phi_{\\text{H}} > Q/M$ is a sufficient condition for the existence of stationary charged scalar bound states in the eikonal large-mass regime. The proof reduces the radial Klein-Gordon equation to a WKB potential-well problem and shows the well exists exactly when an auxiliary background function $F(r)$ changes sign between the horizon, where it is positive, and infinity, where it is negative. The resulting cloud sits at the critical frequency $\\omega=q\\Phi_{\\text{H}}$, the boundary of the charged superradiant interval, so its existence marks the transition to instability. Reissner-Nordström black holes fail the inequality, matching their known stability, while all charged ABG black holes pass it, with the ratio $M\\Phi_{\\text{H}}/Q$ never dropping below $23/16$.","pith_inferences":["The paper establishes sufficiency, not necessity: black holes with $\\Phi_{\\text{H}} \\le Q/M$ (such as Reissner-Nordström) may still be superradiantly unstable through mechanisms or parameter ranges outside the eikonal proof, so the inequality is best read as a one-way test.","Because the proof uses only spherical symmetry and WKB, a natural extension is to rotating charged black holes, where both the horizon angular velocity and the electrostatic potential set the resonance; the simple ratio condition would likely become a combined inequality involving $\\Omega_{\\text{H}}$ and $\\Phi_{\\text{H}}$.","The same one-line check could be run over other regular black hole models in nonlinear electrodynamics; any model whose charge distribution raises the horizon potential relative to $Q/M$ is a candidate superradiant system worth testing numerically.","A numerical scan of ABG black holes at finite $M\\mu \\sim 1$ would show how far the eikonal sufficient condition extends into the regime where the proof no longer applies."],"forward_implications":["Every charged Ayón-Beato-García black hole, for any nonzero charge parameter, satisfies $\\Phi_{\\text{H}}>Q/M$ with $M\\Phi_{\\text{H}}/Q\\ge 23/16$, so the entire family is predicted to admit charged scalar clouds and superradiant instability in the eikonal regime.","The test can be applied to any other spherically symmetric charged black hole from the mass, charge, and horizon potential alone, without solving the coupled field equations.","Charged Reissner-Nordström black holes do not satisfy the inequality, which is consistent with the earlier proof that they cannot support charged scalar clouds.","At the onset the clouds are stationary, with resonance $\\omega=q\\Phi_{\\text{H}}$, so the marginal configuration separates the stable and unstable sectors of the spacetime.","In the large-mass limit the supported clouds are thin, with width scaling as $(M\\mu)^{-1/2}$, making them sharply localized around the potential minimum."],"supporting_citations":[{"why":"Establishes the charged superradiant interval $0<\\omega Q/M ignites black-hole instability","All ABG black holes satisfy the superradiant condition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's load-bearing premise is that a sign change in the auxiliary function $F(r)$ between horizon and infinity always yields a normalizable scalar bound state at $\\omega=q\\Phi_{\\text{H}}$; this requires the field's charge-to-mass ratio to satisfy $q\\Phi_{\\text{H}}<\\mu$, a condition that is assumed rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["Horizon potential above Q/M proves superradiant instability","Charged black holes turn unstable when horizon voltage beats Q/M","Sufficient trigger: horizon voltage > Q/M ignites black-hole instability","All ABG black holes satisfy the superradiant condition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001042,"raw_usage":{"total_tokens":4354,"prompt_tokens":887,"completion_tokens":3467,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":503,"completion_tokens_details":{"reasoning_tokens":3395}},"tokens_in":503,"tokens_out":3467,"duration_ms":20825,"temperature":1.0,"reasoning_tokens":3395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:17:15.372587+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically integrate the stationary radial equation (10) on a charged ABG background with $M\\mu\\gg 1$ and $\\omega=q\\Phi_{\\text{H}}$, imposing ingoing behavior at the horizon and decay at infinity; the claim is refuted if for some charge parameter $\\bar Q$ (and some allowed $q$ with $q\\Phi_{\\text{H}}<\\mu$) no normalizable bound state exists, since the paper asserts that the sign change of $F$ always supplies one.","supporting_citations":[{"cited_title":"Ay´ on-Beato and A","cited_arxiv_id":null,"evidence_quote":"Supplies the ABG metric function and electric potential used in Eqs. (42)-(43) to verify the inequality for all ABG black holes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the WKB quantization condition, Eq. (22), used to convert the potential-well problem into the bound-state condition."}],"review_version":1}