Pith. sign in

REVIEW 2 major objections 5 minor 46 references

A sufficient condition for the development of superradiant instabilities in charged black-hole spacetimes

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read 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…

desk verdict A compact new sufficient condition for charged superradiant instabilities, but the WKB proof skips the normalizability check and that gap is load-bearing. read the letter →

arxiv 2501.02053 v1 pith:GVPHYGIP submitted 2025-01-03 gr-qc astro-ph.HEhep-th

classification gr-qcastro-ph.HEhep-th MSC 83C57
keywords superradiantinstabilitychargedblackholesmassivescalarfieldscloudsAyón-Beato-GarcíaeikonalWKBregimehorizonelectrostaticpotentialReissner-Nordströmstability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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}$.

What would settle it

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.

Watch

Extended reading notes

Core claim

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$.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

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.

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 (2)
  1. [Sec. III, Eqs. (27), (32), and (14)-(15)] 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.
  2. [Sec. IV, Eqs. (47)-(49)] 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.
minor comments (5)
  1. [Sec. II] The text 'governs the the dynamics' contains a duplicated article; it should read 'governs the dynamics'.
  2. [Around Eq. (11)] The radial mode function Rlm should carry the frequency label as well, since the decomposition integrates over ω; the notation R_{lmω} would avoid ambiguity.
  3. [References] Reference [3] is a duplicate of the Vilenkin paper already cited as part of reference [1]; the two entries should be consolidated.
  4. [Eq. (46)] 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.
  5. [Abstract and Sec. V] The wording 'prove/proved' is stronger than what a WKB eikonal calculation supports; 'show in the eikonal large-mass regime' would be more precise.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the claimed sufficient condition is derived from a self-contained sign-change argument, with self-citations used only as context and consistency checks.

full rationale

The paper's central claim is an analytically derived sufficient condition, and the derivation chain does not reduce to its inputs. The key step is the definition of F(r) in Eq. (33) and the observation that F(r -> rH) > 0 (Eq. (36)) while F(r -> infinity) < 0 when Phi_H > Q/M (Eqs. (39)-(40)); a continuous sign change then guarantees a radial point where the WKB extremum condition (32) holds. This is an intermediate-value argument, not a fitted parameter or a self-consistent definition. The WKB quantization condition (22) is a standard external technique, and the eikonal expansion (21) is an approximation with stated assumptions. Prior results cited in the paper (RN stability [11], ABG instability [17-19]) are used as motivation and consistency checks; the proof that ABG spacetimes satisfy the condition is an explicit algebraic computation from the ABG metric and potential (Eqs. (42)-(49)) and does not assume the conclusion. There is no fitted input later renamed as a prediction and no uniqueness claim imported from the author's prior work. A possible mathematical gap, namely that the normalizability condition omega = q*Phi_H < mu is assumed via Eq. (15) but never shown to hold for the WKB solution, is a correctness/completeness concern rather than a circular reduction and does not affect the circularity score under the stated rules.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted; the only undetermined constant C in Eq (32) is O(1) and cancels in the argument. The derivation relies on standard WKB quantization, the eikonal truncation of the potential, the assumption that stationary clouds mark the onset of superradiant instability, and the normalizability condition ω<μ. No new entities are introduced.

assumptions (5)
  • standard math WKB quantization condition (Eq. 22) applies to the radial equation in the eikonal regime.
    Invoked in Sec III to convert the existence of a potential well into the algebraic relation (30).
  • domain assumption The eikonal potential (Eq. 21) retains only f μ^2 and q^2(Φ_H-Φ)^2, dropping angular and f' terms.
    Needed for μr_H≫1; the dropped terms are O((μr_H)^-2) relative to the leading terms.
  • domain assumption A stationary cloud with ω=qΦ_H marks the onset of superradiant instability.
    Taken from prior literature (Refs 5-9); the paper uses it to translate bound-state existence into instability.
  • domain assumption Normalizable modes require ω^2<μ^2 (Eqs 14-15).
    The paper states this boundary condition but does not prove the WKB solution satisfies it; this is the main gap.
  • domain assumption The spacetime is spherically symmetric and asymptotically flat, and the scalar field is a minimally coupled test field.
    Assumed in the line element (5) and Klein-Gordon equation (8).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A sufficient condition for the development of superradiant instabilities in charged black-hole spacetimes." pith.science (2026). https://pith.science/paper/GVPHYGIP

@misc{pith2026250102053,
  author       = {Pith},
  title        = {Pith review of: A sufficient condition for the development of superradiant instabilities in charged black-hole spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GVPHYGIP}},
  note         = {Machine review of arXiv:2501.02053}
}
abstract

The physical and mathematical properties of charged black holes that are linearly coupled to charged massive scalar fields are studied analytically. In particular, we prove that, in the eikonal large-mass regime $M\mu\gg1$, the compact dimensionless inequality $\Phi_{\text{H}}>Q/M$ provides a sufficient condition for the development of superradiant instabilities in the curved black-hole spacetime [here $\{M,Q,\Phi_{\text{H}}\}$ are respectively the mass, the electric charge, and the horizon electrostatic potential of the central black hole and $\mu$ is the proper mass of the field]. The familiar charged Reissner-Nordstr\"om black hole does not satisfy this inequality. On the other hand, we explicitly prove that all charged Ay\'on-Beato-Garc\'ia (ABG) black-hole spacetimes satisfy this analytically derived sufficient condition and may therefore become superradiantly unstable to perturbations of charged massive scalar fields.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 30 canonical work pages

  1. [1]

    Ya. B. Zel‘dovich, Pis‘ma Zh. Eksp. Teor. Fiz. 14, 270 (1971) [JETP Lett. 14, 180 (1971)]; Zh. Eksp. Teor. Fiz. 62, 2076 (1972) [Sov. Phys. JETP 35, 1085 (1972)]; A. V. Vilenkin, Phys. Lett. B 78, 301 (1978)

  2. [2]

    W. H. Press and S. A. Teukolsky, Nature 238, 211 (1972); W. H. Press and S. A. Teukolsky, Astrophys. J. 185, 649 (1973)

  3. [3]

    A. V. Vilenkin, Phys. Lett. B 78, 301 (1978)

  4. [4]

    We use natural units in which G = c = ¯h = 1

  5. [5]

    Hod, Phys

    S. Hod, Phys. Rev. D 86, 104026 (2012) [arXiv:1211.3202]

  6. [6]

    Hod, The Euro

    S. Hod, The Euro. Phys. Journal C 73, 2378 (2013) [arXiv:1311.5298]; S. Hod, Phys. Rev. D 90, 024051 (2014) [arXiv:1406.1179]; S. Hod, Phys. Lett. B 708, 320 (2012) [arXiv:1205.1872]; S. Hod, Phys. Lett. B 739, 196 (2014) [arXiv:1411.2609]; S. Hod, Class. and Quant. Grav. 32, 134002 (2015) [arXiv:1607.00003]; S. Hod, Phys. Lett. B 751, 177 (2015); S. Hod,...

  7. [7]

    C. A. R. Herdeiro and E. Radu, Phys. Rev. Lett. 112, 221101 (2014); C. L. Benone, L. C. B. Crispino, C. Herdeiro, and E. Radu, Phys. Rev. D 90, 104024 (2014); C. A. R. Herdeiro and E. Radu, Phys. Rev. D 89, 124018 (2014); C. A. R. Herdeiro and E. Radu, Int. J. Mod. Phys. D 23, 1442014 (2014)

  8. [8]

    Brihaye, C

    Y. Brihaye, C. Herdeiro, and E. Radu, Phys. Lett. B 739, 1 (2014); J. C. Degollado and C. A. R. Herdeiro, Phys. Rev. D 90, 065019 (2014); C. Herdeiro, E. Radu, and H. R´ unarsson, Phy s. Lett. B 739, 302 (2014); C. Herdeiro and E. Radu, Class. Quantum Grav. 32 144001 (2015); C. A. R. Herdeiro and E. Radu, Int. J. Mod. Phys . D 24, 1542014 (2015); C. A. R....

Show all 46 references
  1. [9]

    Garc ´ ıa and M

    G. Garc ´ ıa and M. Salgado, Phys. Rev. D 99, 044036 (2019); G. Garc ´ ıa and M. Salgado, Phys. Rev. D 101, 044040 (2020); G. Garc ´ ıa and M. Salgado, Phys. Rev. D 104, 064054 (2021); G. Garc ´ ıa and M. Salgado, arXiv:2307.15888

  2. [10]

    J. D. Bekenstein, Phys. Rev. D 7, 949 (1973)

  3. [11]

    Hod, Phys

    S. Hod, Phys. Lett. B 713, 505 (2012); S. Hod, Phys. Lett. B 718, 1489 (2013) [arXiv:1304.6474]; S. Hod, Phys. Rev. D 91, 044047 (2015) [arXiv:1504.00009]

  4. [12]

    It is worth noting that a charged Reissner-Nordstr¨ om b lack hole may become superradiantly unstable to perturbati ons of charged bosonic fields if it is surrounded by a mirror (a reflec ting surface) that prevents the amplified bosonic field, whic h is characterized by the super...

  5. [13]

    J. C. Degollado, C. A. R. Herdeiro, and H. F. R´ unarsson, Phys. Rev. D 88, 063003 (2013)

  6. [14]

    Sanchis-Gual, J

    N. Sanchis-Gual, J. C. Degollado, P. J. Montero, J. A. Fo nt, and C. Herdeiro, Phys. Rev. Lett. 116, 141101 (2016)

  7. [15]

    Hod, Phys

    S. Hod, Phys. Rev. D 88, 064055 (2013) [arXiv:1310.6101]

  8. [16]

    Li and J

    R. Li and J. Zhao, The Euro. Phys. Jour. C 74, 3051 (2014); R. Li, Z. Kun, and Y. Zhang, Commun. Theor. Phys . 63, 569 (2015); R. Li and J. Zhao, Phys. Lett. B 740, 317 (2015); S. R. Dolan, S. Ponglertsakul, and E. Winstanle y, Phys. Rev. D 92, 124047 (2015); Ran Li, J. Zhao, ...

  9. [17]

    M. A. A. de Paula, L. C. S. Leite, S. R. Dolan, and L. C. B. Cr ispino, Phys. Rev. D 109, 064053 (2024) [arXiv:2401.01767]

  10. [18]

    S. R. Dolan, M. A. A. de Paula, L. C. S. Leite, and L. C. B. Cr ispino, arXiv:2401.14967

  11. [19]

    Hod, Phys

    S. Hod, Phys. Rev. D 109, 064074 (2024) [arXiv:2401.07907]

  12. [20]

    Ay´ on-Beato and A

    E. Ay´ on-Beato and A. Garc ´ ıa, Phys. Rev. Lett.80, 5056 (1998)

  13. [21]

    Hence, these field parameters have the dimensions of length − 1

    Note that the parameters µ and q stand respectively for µ/ ¯h and q/ ¯h. Hence, these field parameters have the dimensions of length − 1

  14. [22]

    One may assume, without loss of generality, the relatio ns Q > 0 and q > 0 for the electric charges of the black hole and the massive scalar field

  15. [23]

    Chandrasekhar, The Mathematical Theory of Black Holes , (Oxford University Press, New York, 1983)

    S. Chandrasekhar, The Mathematical Theory of Black Holes , (Oxford University Press, New York, 1983)

  16. [24]

    Here {t, r, θ, ϕ } are the familiar Schwarzschild coordinates

  17. [25]

    Note that if the electromagnetic part of the Lagrangian L = L(F ) is a function of the electromagnetic invariant F = Fµν F µν then the energy momentum tensor of the physical system is cha racterized by the functional relation T t t = T r r [or equivalently pr = −ρ, where {ρ, p...

  18. [26]

    Dymnikova, Class

    I. Dymnikova, Class. Quant. Grav. 21, 4417 (2004)

  19. [27]

    Hod and T

    S. Hod and T. Piran, Phys. Rev. D 58, 024017 (1998) [arXiv:gr-qc/9712041]; S. Hod and T. Piran, Phys. Rev. D 58, 024018 (1998) [arXiv:gr-qc/9801001]; S. Hod and T. Piran, P hys. Rev. D 58, 024019 (1998) [arXiv:gr-qc/9801060]

  20. [28]

    Hartman, W

    T. Hartman, W. Song, and A. Strominger, JHEP 1003:118 (2 010)

  21. [29]

    Hod, Class

    S. Hod, Class. Quant. Grav. 23, L23 (2006) [arXiv:gr-qc/0511047]

  22. [30]

    Note that the radial coordinate r ∈ [rH, ∞] is mapped by the differential relation (9) to the radial coor dinate y ∈ [−∞, ∞]

  23. [31]

    Note that the integers l and m are respectively the spherical harmonic index and the azimu thal harmonic index (with l ≥ |m|) of the field mode

  24. [32]

    For brevity, we shall henceforth omit the harmonic indi ces l and m of the scalar field mode

  25. [33]

    (13)] with ℑω = 0, mark the boundary between stable (exponentially decaying) and unstable (exponentially growing) resonant modes of the massive bosonic fields [5–9]

    Note that stationary field modes, which are characteriz ed by the critical frequency ω = qΦ H [see Eq. (13)] with ℑω = 0, mark the boundary between stable (exponentially decaying) and unstable (exponentially growing) resonant modes of the massive bosonic fields [5–9]

  26. [34]

    We shall henceforth use the notation rH for the radius of the outer horizon of the central charged bla ck hole

  27. [35]

    See [36–40] and references therein for a physically int eresting situation in which non-minimally coupled static s calar fields are supported by central black holes with spatially regular horizons

  28. [36]

    P. V. P. Cunha, C. A. R. Herdeiro, and E. Radu, Phys. Rev. L ett. 123, 011101 (2019)

  29. [37]

    Hod, Phys

    S. Hod, Phys. Rev. D 102, 084060 (2020) [arXiv:2006.09399]

  30. [38]

    C. A. R. Herdeiro, A. M. Pombo, and E. Radu, Universe 7, 483 (2021) [arXiv:2111.06442]

  31. [39]

    Hod, Jour

    S. Hod, Jour. of High Energy Phys. 02, 039 (2022) [arXiv:2201.03503]

  32. [40]

    Hod, Jour

    S. Hod, Jour. of High Energy Phys. 09, 140 (2023) [arXiv:2308.12990]

  33. [41]

    L. D. Landau and E. M. Liftshitz, Quantum Mechanics , 3rd ed. (Pergamon, New York, 1977), Chap. VII. 9

  34. [42]

    Heading, An Introduction to Phase Integral Methods (Wiley, New York, 1962)

    J. Heading, An Introduction to Phase Integral Methods (Wiley, New York, 1962)

  35. [43]

    C. M. Bender and S. A. Orszag, Advanced Mathematical Methods for Scientists and Engineer s (McGraw-Hill, New York, 1978)

  36. [44]

    Here we have used the simple relation ∫ 1 − 1 dz √ 1 − z2 = π/ 2

  37. [45]

    Note that f (rmin) · √ (d2V /dr 2)r=rmin = √ (d2V /dy 2)y=ymin

  38. [46]

    From Eqs. (21), (25), and (31) one finds that, in the dimen sionless large-mass regime M µ ≫ 1, the effective radial widths ∆ r ≡ rt+ − rt− of the stationary massive scalar clouds scale as ∆ r/r H ∝ 1/ √M µ, where {rt+ , r t− } are the radial zeros (radial turning points) of the...

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.