arxiv: 2604.01407 · v3 · submitted 2026-04-01 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

High-frequency gravitational wave transients from superradiance

Henry Su , Lucas Brown , Christopher Ewasiuk , Stefano Profumo

Authors on Pith no claims yet

Pith reviewed 2026-05-13 21:32 UTC · model grok-4.3

classification 🌀 gr-qc

keywords superradianceultralight bosonsprimordial black holesgravitational waveshigh-frequency transientsLandau-Zener transitionsgravitational atoms

0 comments

The pith

Binary-driven transitions around primordial black holes produce gravitational wave transients too weak for current detectors.

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

This paper models gravitational wave emission from ultralight boson clouds around rotating black holes formed via superradiance, treating both isolated systems and those perturbed by binary companions. It derives analytic expressions for the narrow-band strain in isolated cases from level transitions and annihilation. For binaries it applies the Landau-Zener formalism to resonantly driven transitions and shows that the resulting short transients have durations compatible with detector response times. However, the characteristic strain remains well below the sensitivity of existing experiments at astrophysically plausible distances, with event rates further reduced by the requirement of unrealistically small separations.

Core claim

While binary-driven level transitions in gravitational atoms around primordial black holes generically yield signals with durations compatible with detector response times, their characteristic strain lies well below the sensitivity of current experiments at astrophysically plausible distances, and event rates further suppress detectability by requiring sources at unrealistically small separations.

What carries the argument

Landau-Zener formalism for resonantly driven level transitions between states in macroscopic ultralight-boson clouds around rotating black holes.

If this is right

Isolated systems admit closed-form time- and frequency-domain strain expressions for both transition and annihilation channels.
Binary perturbations produce short transients whose durations match detector response windows.
Current experimental sensitivity, bandwidth, and response must improve to render these signals observable.
Gravitational-atom systems around primordial black holes remain a theoretically motivated target for future high-frequency searches.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Detection of such a signal would directly constrain the mass of ultralight bosons and the abundance of primordial black holes at early-universe formation epochs.
The narrow-band character of the isolated signals offers a potential discriminant against broadband astrophysical backgrounds in high-frequency searches.
Similar resonant-driving calculations could be applied to other binary or multi-body configurations to estimate signal enhancements.

Load-bearing premise

The modeling assumes astrophysically plausible distances and separations for primordial black hole binaries that host ultralight boson clouds, without independent constraints on the boson mass or cloud formation efficiency.

What would settle it

A detection of a narrow-band transient at the predicted strain amplitude and frequency from a primordial black hole binary at a measured distance, or a non-detection in a high-frequency survey that reaches the required sensitivity down to the small separations needed for adequate event rates, would test the central claim.

read the original abstract

Ultralight bosons can form macroscopic gravitational-atom clouds around rotating black holes via superradiance, sourcing quasi-monochromatic gravitational waves through level transitions and annihilation. Primordial black holes provide a natural setting for such systems in a frequency range relevant for resonant-cavity experiments. We present a unified treatment of gravitational-wave emission from both isolated and binary-perturbed gravitational atoms in this regime. For isolated systems, we derive analytic expressions for the time- and frequency-domain strain from transition and annihilation channels, emphasizing their narrow-band structure. For binaries, we model resonantly driven level transitions using the Landau--Zener formalism and compute the resulting transient signals. We find that, while binary-driven transitions generically yield signals with durations compatible with detector response times, their characteristic strain lies well below the sensitivity of current experiments at astrophysically plausible distances, and event rates further suppress detectability by requiring sources at unrealistically small separations. We quantify the improvements in sensitivity, bandwidth, and response needed to render these signals observable, and identify gravitational-atom systems around primordial black holes as a theoretically well-motivated target for future high-frequency gravitational-wave searches.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper delivers usable analytic strain templates for high-frequency GW from superradiant clouds around PBHs, isolated and binary-perturbed, but its undetectability conclusions rest on unanchored assumptions about separations and formation rates.

read the letter

The main thing to know is that this work gives explicit analytic expressions for the time- and frequency-domain strain from level transitions and annihilations in gravitational atoms around primordial black holes, plus a Landau-Zener treatment for binary-driven transients. Those formulas are the concrete output worth noting for anyone building search templates in the resonant-cavity band. The unified treatment of isolated and perturbed cases is a straightforward extension of existing superradiance methods, and the narrow-band character is laid out clearly without unnecessary complication. The derivations stay within standard general relativity and quantum mechanics, so the core calculations do not introduce circularity. What the paper does well is supply ready-to-use expressions and quantify the sensitivity, bandwidth, and response improvements needed to make the signals observable. That part is practical for the subfield. The soft spots sit in the detectability section. The claims that characteristic strain falls below current reach at plausible distances and that event rates demand unrealistically small separations come from order-of-magnitude choices for binary separation and distance, without a cited distribution for PBH binaries at the relevant boson masses or an estimate of cloud formation efficiency in the early universe. Shifting those priors could move the conclusion by orders of magnitude, and there is no detailed error propagation or full numerical check shown. This is a minor but load-bearing gap for the final interpretation. The paper is for specialists working on high-frequency gravitational-wave searches and ultralight boson constraints. A reader who needs explicit strain formulas for such systems will get direct value from the derivations. It shows clear, honest engagement with the modeling and literature, so it deserves a serious referee even though the astrophysical assumptions will need tightening. Recommendation: send it to peer review rather than desk reject.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a unified treatment of gravitational-wave emission from ultralight boson clouds around rotating primordial black holes, deriving analytic time- and frequency-domain strain expressions for isolated systems (transition and annihilation channels) and modeling binary-perturbed resonant transitions via the Landau-Zener formalism. It concludes that binary-driven transients have durations compatible with detector response times but characteristic strains well below current experimental sensitivities at astrophysically plausible distances, with event rates further suppressed by the requirement of unrealistically small binary separations; the work identifies these systems as motivated targets for future high-frequency searches and quantifies needed improvements in sensitivity and bandwidth.

Significance. If the modeling holds, the paper supplies a rigorous analytic framework for narrow-band high-frequency GW transients from gravitational atoms, with explicit derivations that could directly inform resonant-cavity experiment design. The application of standard GR/QM plus Landau-Zener to the binary case adds technical value, and the quantification of required detector upgrades provides a concrete target. The significance is reduced by the order-of-magnitude character of the rate and distance estimates, which limits immediate implications for current instruments.

major comments (2)

[Binary case and detectability discussion] The claim that binary-driven signals require unrealistically small separations (and are thus suppressed by event rates) depends on fiducial values for PBH binary separation a and distance D drawn from 'astrophysically plausible' ranges, together with an implicit assumption on cloud formation efficiency. No derivation, distribution, or independent citation is supplied for the expected PBH binary separation distribution at the relevant ultralight boson masses, nor for the fraction of PBHs that form such clouds in the early universe; this renders the quantitative suppression statement sensitive to priors that could shift by orders of magnitude.
[Final section on observability] Detectability conclusions rest on order-of-magnitude estimates of strains h ~ (transition rate) x (cloud mass)/D without detailed error propagation, Monte Carlo sampling over the boson-mass and spin-parameter space, or full numerical validation of the Landau-Zener transition probabilities beyond the isolated analytic expressions.

minor comments (2)

Ensure consistent notation between the time-domain strain h(t) and the frequency-domain characteristic strain h_c(f) across the isolated and binary sections; a brief comparison table would improve clarity.
Add a short paragraph contrasting the derived narrow-band features with existing high-frequency GW search strategies to strengthen the motivation for future experiments.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below. We will revise the manuscript to clarify assumptions, add supporting citations, and expand the discussion of uncertainties in the detectability estimates.

read point-by-point responses

Referee: [Binary case and detectability discussion] The claim that binary-driven signals require unrealistically small separations (and are thus suppressed by event rates) depends on fiducial values for PBH binary separation a and distance D drawn from 'astrophysically plausible' ranges, together with an implicit assumption on cloud formation efficiency. No derivation, distribution, or independent citation is supplied for the expected PBH binary separation distribution at the relevant ultralight boson masses, nor for the fraction of PBHs that form such clouds in the early universe; this renders the quantitative suppression statement sensitive to priors that could shift by orders of magnitude.

Authors: We agree that the quantitative rate suppression relies on fiducial choices for binary separation and distance without a full derivation of the underlying distributions. These fiducials are drawn from standard estimates in the PBH literature for early-universe binary formation. In revision we will explicitly state the numerical values adopted, add citations to works on PBH clustering and binary separation distributions at the relevant masses, and include a short paragraph discussing how the required separations and event rates scale with plausible variations in the priors. This will make the sensitivity to assumptions transparent while leaving the core conclusion unchanged. revision: partial
Referee: [Final section on observability] Detectability conclusions rest on order-of-magnitude estimates of strains h ~ (transition rate) x (cloud mass)/D without detailed error propagation, Monte Carlo sampling over the boson-mass and spin-parameter space, or full numerical validation of the Landau-Zener transition probabilities beyond the isolated analytic expressions.

Authors: The observability estimates are intentionally order-of-magnitude because the paper's primary contribution is the analytic derivation of the strain waveforms and the application of the Landau-Zener formalism. We did not perform Monte Carlo sampling or full numerical LZ simulations. In the revised version we will expand the final section to state the uncertainties more explicitly, supply approximate error ranges on the strain expressions, and delineate the regime in which the analytic LZ approximation is expected to hold. A comprehensive numerical scan of the full parameter space lies outside the present scope but can be noted as a target for follow-up work. revision: partial

Circularity Check

0 steps flagged

No circularity: derivations from standard GR/QM and Landau-Zener are independent of their conclusions

full rationale

The paper starts from established superradiance in general relativity and quantum mechanics to derive analytic strain expressions for isolated systems and applies the standard Landau-Zener formalism for binary-driven transitions. Detectability conclusions rest on external inputs (astrophysically plausible distances and separations) rather than any fitted parameter or self-defined quantity that is then renamed as a prediction. No self-citation chains, uniqueness theorems, or ansatzes are invoked to force the central results. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of ultralight bosons capable of forming stable clouds, standard black hole superradiance physics, and the applicability of the Landau-Zener approximation to binary perturbations; no new free parameters are introduced beyond conventional astrophysical inputs such as boson mass and black hole spin.

free parameters (2)

ultralight boson mass
Input parameter that sets the gravitational wave frequency; not fitted to new data in this work.
black hole spin parameter
Standard input controlling superradiance growth rate.

axioms (2)

domain assumption Ultralight bosons exist and can form macroscopic clouds around rotating black holes via superradiance
Invoked in the opening sentence of the abstract as the physical setup.
standard math Landau-Zener formalism accurately models resonantly driven level transitions in binary systems
Used to compute transient signals without additional justification in the abstract.

pith-pipeline@v0.9.0 · 5500 in / 1481 out tokens · 23270 ms · 2026-05-13T21:32:32.330334+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We model resonantly driven level transitions using the Landau–Zener formalism and compute the resulting transient signals... h0 = 24qc GM/r (GMΩ0)²/α⁴
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The gravitational fine-structure constant α≡GM_BH μ... Regge trajectories a_crit^*(α,m)=4mα/(m²+4α²)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 1 internal anchor

[1]

Berlin, N

A. Berlin, N. Blinov, P. Schuster and N. Toro,Detecting high-frequency gravitational waves with microwave cavities,Phys. Rev. D105(2022) 116011 [2112.11465]. – 37 –

work page arXiv 2022
[2]

Aggarwal et al., Challenges and opportunities of gravitational-wave searches at MHz to GHz frequencies,Living Rev

N. Aggarwal et al.,Challenges and opportunities of gravitational-wave searches at mhz to ghz frequencies,Living Rev. Rel.24(2021) 4 [2011.12414]

work page arXiv 2021
[3]

Domcke, C

V. Domcke, C. Garcia-Cely and N.L. Rodd,A novel search for high-frequency gravitational waves with low-mass axion haloscopes,Phys. Rev. Lett.129(2022) 041101 [2202.00695]

work page arXiv 2022
[4]

Peccei and H.R

R.D. Peccei and H.R. Quinn,Cp conservation in the presence of pseudoparticles,Phys. Rev. Lett.38(1977) 1440

work page 1977
[5]

Weinberg,A new light boson?,Phys

S. Weinberg,A new light boson?,Phys. Rev. Lett.40(1978) 223

work page 1978
[6]

Wilczek,Problem of strong p and t invariance in the presence of instantons,Phys

F. Wilczek,Problem of strong p and t invariance in the presence of instantons,Phys. Rev. Lett. 40(1978) 279

work page 1978
[7]

Preskill, M.B

J. Preskill, M.B. Wise and F. Wilczek,Cosmology of the invisible axion,Phys. Lett. B120 (1983) 127

work page 1983
[8]

Abbott and P

L.F. Abbott and P. Sikivie,A cosmological bound on the invisible axion,Phys. Lett. B120 (1983) 133

work page 1983
[9]

Dine and W

M. Dine and W. Fischler,The not-so-harmless axion,Phys. Lett. B120(1983) 137

work page 1983
[10]

The QCD axion, precisely

G. di Cortona, E. Hardy, J. Pardo Vega and G. Villadoro,The qcd axion, precisely,JHEP01 (2016) 034 [1511.02867]

work page Pith review arXiv 2016
[11]

Zel’dovich,Generation of waves by a rotating body,JETP Lett.14(1971) 180

Y.B. Zel’dovich,Generation of waves by a rotating body,JETP Lett.14(1971) 180

work page 1971
[12]

Zel’dovich,Amplification of cylindrical electromagnetic waves reflected from a rotating body,Sov

Y.B. Zel’dovich,Amplification of cylindrical electromagnetic waves reflected from a rotating body,Sov. Phys. JETP35(1972) 1085

work page 1972
[13]

Press and S.A

W.H. Press and S.A. Teukolsky,Floating orbits, superradiant scattering and the black-hole bomb,Nature238(1972) 211

work page 1972
[14]

Detweiler,Klein-gordon equation and rotating black holes,Phys

S. Detweiler,Klein-gordon equation and rotating black holes,Phys. Rev. D22(1980) 2323

work page 1980
[15]

Brito, V

R. Brito, V. Cardoso and P. Pani,Superradiance: New frontiers in black hole physics,Lect. Notes Phys.906(2015) 1 [1501.06570]

work page arXiv 2015
[16]

Arvanitaki, M

A. Arvanitaki, M. Baryakhtar and X. Huang,Discovering the qcd axion with black holes and gravitational waves,Phys. Rev. D91(2015) 084011 [1411.2263]

work page arXiv 2015
[17]

Exploring the String Axiverse with Precision Black Hole Physics

A. Arvanitaki and S. Dubovsky,Exploring the string axiverse with precision black hole physics, Phys. Rev. D83(2011) 044026 [1004.3558]

work page Pith review arXiv 2011
[18]

M. Isi, L. Sun, R. Brito and A. Melatos,Directed searches for gravitational waves from ultralight bosons,Physical Review D99(2019) [1810.03812]

work page arXiv 2019
[19]

K.K.Y. Ng, O.A. Hannuksela, S. Vitale and T.G.F. Li,Searching for ultralight bosons within spin measurements of a population of binary black hole mergers,Phys. Rev. D103(2021) 063010 [1908.02312]

work page arXiv 2021
[20]

B. Carr, F. Kühnel and M. Sandstad,Primordial black holes as dark matter,Phys. Rev. D94 (2016) 083504 [1607.06077]

work page Pith review arXiv 2016
[21]

Gravitational Waves from Primordial Black Hole Mergers

M. Raidal, V. Vaskonen and H. Veermäe,Gravitational waves from primordial black hole mergers,JCAP09(2017) 037 [1707.01480]

work page Pith review arXiv 2017
[22]

Cosmic microwave background limits on accreting primordial black holes

Y. Ali-Haïmoud and M. Kamionkowski,Cosmic microwave background limits on accreting primordial black holes,Phys. Rev. D95(2017) 043534 [1612.05644]

work page Pith review arXiv 2017
[23]

Yoshino and H

H. Yoshino and H. Kodama,Gravitational radiation from an axion cloud around a black hole: Superradiant phase,Prog. Theor. Exp. Phys.(2014) 043E02 [1312.2326]

work page arXiv 2014
[24]

Yoshino and H

H. Yoshino and H. Kodama,The bosenova and axiverse,Class. Quant. Grav.32(2015) 214001 [1505.00714]. – 38 –

work page arXiv 2015
[25]

Baumann, H.S

D. Baumann, H.S. Chia, R.A. Porto and J. Stout,Gravitational collider physics,Phys. Rev. D 101(2020) 083019 [1912.04932]

work page arXiv 2020
[26]

Kyriazis and F

A. Kyriazis and F. Yang,Gravitational waves from resonant transitions of tidally perturbed gravitational atoms,JHEP11(2025) 062 [2503.18121]

work page arXiv 2025
[27]

Probing Ultralight Bosons with Binary Black Holes

D. Baumann, H.S. Chia and R.A. Porto,Probing ultralight bosons with binary black holes, Phys. Rev. D99(2019) 044001 [1804.03208]

work page Pith review arXiv 2019
[28]

Tomaselli, T.F.M

G.M. Tomaselli, T.F.M. Spieksma and G. Bertone,Resonant history of gravitational atoms in black hole binaries,Phys. Rev. D110(2024) 064048 [2403.03147]

work page arXiv 2024
[29]

Hoof, D.J.E

S. Hoof, D.J.E. Marsh, J. Sisk-Reynés, J.H. Matthews and C. Reynolds,Getting more out of black hole superradiance: a statistically rigorous approach to ultralight boson constraints from black hole spin measurements,Monthly Notices of the Royal Astronomical Society546(2025) staf1564 [2406.10337]

work page arXiv 2025
[30]

Hoofhttps://github.com/sebhoof/bhsr

S. Hoofhttps://github.com/sebhoof/bhsr

work page
[31]

Siemonsen, T

N. Siemonsen, T. May and W.E. East,Modeling the black hole superradiance gravitational waveform,Phys. Rev. D107(2023) 104003 [2211.03845]

work page arXiv 2023
[32]

May, W.E

T. May, W.E. East and N. Siemonsen,Self-gravity effects of ultralight boson clouds formed by black hole superradiance,Phys. Rev. D111(2025) 044062 [2410.21442]

work page arXiv 2025
[33]

Raidal, V

M. Raidal, V. Vaskonen and H. Veermäe,Formation of Primordial Black Hole Binaries and Their Merger Rates, inPrimordial Black Holes, C. Byrnes, G. Franciolini, T. Harada, P. Pani and M. Sasaki, eds. (2025), DOI [2404.08416]

work page arXiv 2025
[34]

Instability of the massive Klein-Gordon field on the Kerr spacetime

S.R. Dolan,Instability of the massive Klein-Gordon field on the Kerr spacetime,Phys. Rev. D 76(2007) 084001 [0705.2880]

work page internal anchor Pith review Pith/arXiv arXiv 2007
[35]

Baumann, H.S

D. Baumann, H.S. Chia, J. Stout and L.t. Haar,The spectra of gravitational atoms,Journal of Cosmology and Astroparticle Physics2019(2019) 006 [1908.10370]

work page arXiv 2019
[36]

Chiba and S

T. Chiba and S. Yokoyama,Spin distribution of primordial black holes,Progress of Theoretical and Experimental Physics2017(2017) 083E01 [1704.06573]. – 39 –

work page arXiv 2017