arxiv: 2604.24584 · v2 · submitted 2026-04-27 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

Pair-Dependent Drift of Kerr Neighboring-Overtone Gap Minima

Yuye Wu , Hong-Bo Jin

Authors on Pith no claims yet

Pith reviewed 2026-05-13 06:57 UTC · model grok-4.3

classification 🌀 gr-qc

keywords Kerr black holesquasinormal modesovertonesfrequency separationspin dependencecomplex frequenciesLeaver method

0 comments

The pith

Kerr quasinormal overtone gaps exhibit minima whose spin locations shift with each neighboring pair even inside one angular sector.

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

The paper scans the black-hole spin while holding the overtone index difference fixed and tracks the modulus of the complex-frequency separation between adjacent modes. A smooth diagnostic formed from the spin derivative of the squared separation locates the interior minima without differentiating the modulus directly. These minima are found to move to different spin values for different pairs within the same (s, ℓ, m) sector, and their positions coincide with the dominant zeros of the diagnostic and with radial turning points of the separation vector in the complex plane. The result is supported by checks in additional sectors and in smooth cases that lack any triggering feature. A sympathetic reader would care because the finding shows that the spacing structure of the quasinormal spectrum is pair-specific rather than uniform across overtones for a given multipole.

Core claim

Under a fixed-overtone-label spin scan the modulus of the complex-frequency separation between neighboring Kerr quasinormal modes displays clear interior minima whose locations in spin depend on the particular neighboring pair examined. Even within a single (s, ℓ, m) sector the minima for consecutive pairs do not coincide. These minima align with the dominant zeros of the spin derivative of the squared separation and with the points where the separation vector in the complex-frequency plane reverses its radial motion. The drift of each minimum is therefore read as the drift of its associated dominant zero, without invoking exceptional-point coalescence or any universal rule across the full Q

What carries the argument

The modulus of the complex-frequency separation between adjacent overtones, located through the zeros of the spin derivative of its square and through the radial turning of the separation vector.

If this is right

The drift of each minimum can be reinterpreted as the movement of its dominant diagnostic zero with spin.
The pattern is selective: extra sectors and smooth no-trigger cases show the same pair dependence.
The description links the minima to complex-spectral pole proximity without claiming coalescence or universality.
The separation vector's radial turning supplies an independent geometric marker for each minimum location.

Where Pith is reading between the lines

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

If the minima mark regions of closer pole spacing, the excitation or damping rates of neighboring overtones may vary systematically with spin.
Ringdown templates that assume uniform overtone spacing could mis-estimate signal content when the actual minima drift is present.
Scanning to still higher overtones might reveal whether the drift saturates or continues to increase with overtone index.

Load-bearing premise

The Leaver-type solver on a uniform grid yields complex frequencies accurate enough that the observed minima and their pair-dependent drift are not grid artifacts or numerical noise.

What would settle it

A computation with substantially finer grid spacing, an independent solver, or a different numerical method that places all minima at the same spin value independent of pair would falsify the reported drift.

Figures

Figures reproduced from arXiv: 2604.24584 by Hong-Bo Jin, Yuye Wu.

**Figure 1.** Figure 1: FIG. 1. Local Cartesian balance near the sampled minima for the mainline Kerr case ( view at source ↗

**Figure 2.** Figure 2: FIG. 2. Complex-plane reformulation near the sampled minima for the mainline Kerr case ( view at source ↗

**Figure 3.** Figure 3: FIG. 3. Global consistency of the complex-plane formulation for the mainline Kerr case ( view at source ↗

read the original abstract

We study adjacent Kerr quasinormal-mode overtones under a spin scan with overtone labels held fixed, using a public Leaver-type solver on a uniform grid. The observable is the modulus of the complex-frequency separation between neighbors; its minima are analyzed through the spin derivative of the squared separation, which supplies a smooth real diagnostic without differentiating the modulus itself. Clear interior minima appear, but their spin locations shift between neighboring pairs even within one \((s,\ell,m)\) sector and align with dominant zeros of the diagnostic and with radial turning of the separation vector in the complex-frequency plane. Representative extra sectors and smooth no-trigger cases support selectivity. Minimum drift is naturally read as drift of that dominant zero; the language connects to complex-spectral pole proximity for Kerr flows without identifying each minimum with an exceptional-point coalescence or claiming a universal rule over the full spectrum.

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 identifies a pair-dependent drift in the spin locations of minima in neighboring Kerr overtone separations, found via a smooth diagnostic on Leaver frequencies, though the numerical robustness remains to be confirmed.

read the letter

The main observation is that minima in the separation between neighboring Kerr overtones shift with spin, and the shift depends on which pair you pick even inside one (s, ℓ, m) sector. The authors run a public Leaver continued-fraction solver on a uniform grid, compute the complex frequencies, and track the modulus of the difference between adjacent overtones. To locate the minima they differentiate the squared separation with respect to spin instead of the modulus itself; that produces a smooth real diagnostic whose zeros line up with the reported minima and with radial turning points of the separation vector in the complex plane. They also check a few extra sectors and some no-trigger cases to show the feature is selective rather than universal. The presentation stays measured and connects the drift to pole proximity without forcing exceptional-point language or claiming a global rule. That diagnostic choice and the selectivity checks are the parts that work cleanly. The soft spot is the numerical base. The separations between higher overtones are small, so modest phase or truncation errors on a fixed uniform grid can move the apparent minima or create extras. The stress-test note flags exactly this issue, and the abstract gives no convergence plots, error bars, or resolution study. If those minima survive a proper grid-refinement check they could matter for ringdown modeling; if they do not, the drift is likely an artifact. This is narrow but targeted work for people who already care about precise Kerr overtone spacings. A reader building ringdown templates or studying spectral properties would find the concrete feature useful once the frequencies are shown to be reliable. It deserves a serious referee who can demand the convergence data and verify the solver output directly.

Referee Report

2 major / 2 minor

Summary. The manuscript studies the spin dependence of separations between neighboring overtones in the Kerr quasinormal-mode spectrum, holding overtone labels fixed. Using a public Leaver-type continued-fraction solver on a uniform grid, it computes the modulus of the complex-frequency difference |ω_{n+1} − ω_n| and locates its interior minima via the spin derivative of the squared separation (a smooth real diagnostic that avoids direct differentiation of the modulus). The authors report that these minima drift in spin location between neighboring pairs even within a single (s, ℓ, m) sector, align with dominant zeros of the diagnostic, and coincide with radial turning points of the separation vector in the complex plane; additional sectors illustrate selectivity without a universal rule.

Significance. If the numerical results hold, the work identifies a selective, pair-dependent structure in the Kerr spectrum that connects gap minima to complex-plane geometry without invoking exceptional-point coalescence for every minimum. Credit is due for the public solver, the parameter-free diagnostic, and the direct extraction of turning points from the separation vector. The observation could inform studies of QNM pole distributions, but its significance is limited by the absence of demonstrated robustness against discretization effects.

major comments (2)

[Numerical method / solver description] The central claim that minima locations drift between pairs (abstract and results sections) rests on the accuracy of frequencies from the uniform-grid Leaver solver. No grid-convergence tests, truncation-order studies, or error estimates on the separation modulus are reported for overtones where |ω_{n+1} − ω_n| is small; small phase errors can shift the zeros of the spin-derivative diagnostic, making it unclear whether the observed drifts are physical or numerical artifacts.
[Results on minimum drift and diagnostic] The alignment of minima with dominant zeros of the diagnostic and with radial turning points (results and discussion) is presented as supporting evidence, yet the paper does not show that these alignments survive under increased grid resolution or alternative truncation. This is load-bearing because the diagnostic is constructed directly from the computed separations.

minor comments (2)

Figure captions could more explicitly label the (s, ℓ, m, n) values and grid parameters used for each panel to aid reproducibility.
[Abstract and introduction] The phrase 'smooth no-trigger cases' in the abstract is not defined in the main text; a brief clarification of what constitutes a 'trigger' would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the recognition of the public solver and parameter-free diagnostic, and the constructive feedback on numerical robustness. We address each major comment below and will revise the manuscript to incorporate additional validation.

read point-by-point responses

Referee: [Numerical method / solver description] The central claim that minima locations drift between pairs (abstract and results sections) rests on the accuracy of frequencies from the uniform-grid Leaver solver. No grid-convergence tests, truncation-order studies, or error estimates on the separation modulus are reported for overtones where |ω_{n+1} − ω_n| is small; small phase errors can shift the zeros of the spin-derivative diagnostic, making it unclear whether the observed drifts are physical or numerical artifacts.

Authors: We agree that dedicated convergence tests are important for claims involving small separations. The Leaver-type solver is run with truncation orders chosen to reach relative frequency accuracy better than 10^{-8} in the regimes of interest (standard for continued-fraction implementations), and the public code permits independent checks. However, explicit grid-convergence and truncation studies focused on the separation modulus and diagnostic were omitted from the original manuscript. In the revision we will add an appendix presenting such tests for representative sectors, including cases near the reported interior minima, to confirm that the spin locations of the diagnostic zeros (and thus the minima) are stable under refinement. revision: yes
Referee: [Results on minimum drift and diagnostic] The alignment of minima with dominant zeros of the diagnostic and with radial turning points (results and discussion) is presented as supporting evidence, yet the paper does not show that these alignments survive under increased grid resolution or alternative truncation. This is load-bearing because the diagnostic is constructed directly from the computed separations.

Authors: The alignments are derived from the same frequency data, so demonstrating invariance under refinement is a valid strengthening. We will include in the revised manuscript additional comparisons (either as figures or tabulated values) of the diagnostic zeros and complex-plane turning points computed at higher grid densities and truncation orders for the key (s, ℓ, m) sectors. These will show that the reported pair-dependent drift locations remain consistent within the numerical tolerance of the original runs. revision: yes

Circularity Check

1 steps flagged

Alignment of gap minima with diagnostic zeros is definitional

specific steps

self definitional [Abstract]
"Clear interior minima appear, but their spin locations shift between neighboring pairs even within one (s,ℓ,m) sector and align with dominant zeros of the diagnostic and with radial turning of the separation vector in the complex-frequency plane. ... Minimum drift is naturally read as drift of that dominant zero"

The diagnostic is the spin derivative of the squared separation. Its zeros are exactly the locations of extrema of the modulus by elementary calculus (d/da |Δω|^2 = 2|Δω| d/da |Δω|), so the reported alignment and the reading of drift as zero-drift are true by construction once the separation vector is defined.

full rationale

The paper computes Kerr QNM frequencies via a public Leaver solver on a uniform grid and forms the complex separation between fixed-label neighboring overtones. It then defines a diagnostic as the spin derivative of the squared separation modulus and reports that the observed interior minima align with the dominant zeros of this diagnostic (and with radial turning points). Because the zeros of d/da |Δω|^2 are mathematically identical to the extrema of |Δω| (by the chain rule, for |Δω| ≠ 0), the alignment statement reduces to a tautology rather than an independent spectral property. No self-citations, fitted parameters, or ansatz smuggling appear in the load-bearing steps; the numerical robustness of the underlying frequencies is a separate correctness issue. This produces partial circularity confined to the interpretive claim.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are introduced in the abstract; the work relies on the standard Kerr metric and existing Leaver-method infrastructure.

pith-pipeline@v0.9.0 · 5441 in / 985 out tokens · 43234 ms · 2026-05-13T06:57:29.179617+00:00 · methodology

Review history (2 revisions) →

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.

The central local diagnostic in this work is F(a)≡ℜ(Z(a)Z′(a)). ... a local minimum is characterized by the near-vanishing condition F(a∗)≈0.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

The minimum is a local radial turning event of the separation vector in the complex-frequency plane.

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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Finite-Window Centered Organization of Neighboring Poles
gr-qc 2026-04 unverdicted novelty 7.0

Near-degenerate poles on finite windows organize into a centered carrier-plus-jet structure with κ and η² controlling the two-scale error hierarchy, verified via toy numerics and Kerr quasinormal modes.
Finite-Window Centered Organization of Neighboring Poles
gr-qc 2026-04 unverdicted novelty 5.0

A centered first-jet basis for neighboring quasinormal modes in finite time windows replaces the ill-conditioned sum of two resolved damped exponentials with a carrier plus t exp(-i omega_c t) term when the dimensionl...

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

We describe them only at a coarse level: clear interior minimum, weak or edge-distorted minimum, or smooth no-trigger behavior

Overview of the broader scan The appendix includes cases beyond the representative set analyzed in the main text. We describe them only at a coarse level: clear interior minimum, weak or edge-distorted minimum, or smooth no-trigger behavior. The goal is to show the wider numerical landscape around the main-text triggered cases. For readability, the pair-g...

work page
[2]

Chandrasekhar and S

S. Chandrasekhar and S. Detweiler, The quasi-normal modes of the Schwarzschild black hole, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences344, 441 (1975)

work page 1975
[3]

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

work page 1985
[4]

Berti, V

E. Berti, V . Cardoso, and A. O. Starinets, Quasinormal modes of black holes and black branes, Classical and Quantum Gravity26, 163001 (2009)

work page 2009
[5]

Berti, A

E. Berti, A. Sesana, E. Barausse, V . Cardoso, and K. Belczynski, Spectroscopy of Kerr Black Holes with Earth- and Space-Based Interferometers, Physical Review Letters117, 101102 (2016)

work page 2016
[6]

Black hole spectroscopy: from theory to experiment

E. Berti, V . Cardoso, G. Carullo, J. Abedi, N. Afshordi, S. Albanesi, V . Baibhav, S. Bhagwat, J. L. Blázquez-Salcedo, B. Bonga, B. Buc- ciotti, G. C. Santoro, P. A. Cano, C. Capano, M. H.-Y . Cheung, C. Chirenti, G. B. Cook, A. K.-W. Chung, M. De Amicis, K. Destounis, O. J. C. Dias, W. Del Pozzo, F. Duque, W. M. Farr, E. Finch, N. Franchini, K. Fransen,...

work page internal anchor Pith review Pith/arXiv arXiv 2025
[7]

H. Yang, F. Zhang, A. Zimmerman, D. A. Nichols, E. Berti, and Y . Chen, Branching of quasinormal modes for nearly extremal Kerr black holes, Physical Review D87, 041502 (2013)

work page 2013
[8]

H. Yang, A. Zimmerman, A. Zengino ˘glu, F. Zhang, E. Berti, and Y . Chen, Quasinormal modes of nearly extremal Kerr spacetimes: Spectrum bifurcation and power-law ringdown, Physical Review D88, 044047 (2013)

work page 2013
[9]

Cardoso, Note on the resonant frequencies of rapidly rotating black holes, Physical Review D70, 127502 (2004)

V . Cardoso, Note on the resonant frequencies of rapidly rotating black holes, Physical Review D70, 127502 (2004)

work page 2004
[10]

Hod, Quasinormal resonances of a massive scalar field in a near-extremal Kerr black hole spacetime, Physical Review D84, 044046 (2011)

S. Hod, Quasinormal resonances of a massive scalar field in a near-extremal Kerr black hole spacetime, Physical Review D84, 044046 (2011)

work page 2011
[11]

Motohashi, Resonant Excitation of Quasinormal Modes of Black Holes, Physical Review Letters134, 141401 (2025)

H. Motohashi, Resonant Excitation of Quasinormal Modes of Black Holes, Physical Review Letters134, 141401 (2025)

work page 2025
[12]

Y . Yang, E. Berti, and N. Franchini, Black Hole Quasinormal Mode Resonances, Physical Review Letters135, 201401 (2025)

work page 2025
[13]

R. K. L. Lo, L. Sabani, and V . Cardoso, Quasinormal modes and excitation factors of Kerr black holes, Physical Review D111, 124002 (2025)

work page 2025
[14]

Ó. J. C. Dias, M. Godazgar, J. E. Santos, G. Carullo, W. Del Pozzo, and D. Laghi, Eigenvalue repulsions in the quasinormal spectra of the Kerr-Newman black hole, Physical Review D105, 084044 (2022)

work page 2022
[15]

J. P. Cavalcante, M. Richartz, and B. C. da Cunha, Exceptional Point and Hysteresis in Perturbations of Kerr Black Holes, Physical Review Letters133, 261401 (2024)

work page 2024
[16]

J. P. Cavalcante, M. Richartz, and B. C. da Cunha, Massive scalar perturbations in Kerr black holes: Near extremal analysis, Physical Review D110, 124064 (2024)

work page 2024
[17]

J. S. Santos, V . Cardoso, A. Lupsasca, J. Natário, and M. van de Meent, Resonances in binary extreme-mass-ratio inspirals, Physical Review D113, 064025 (2026)

work page 2026
[18]

W. D. Heiss, The physics of exceptional points, Journal of Physics A: Mathematical and Theoretical45, 444016 (2012)

work page 2012
[19]

London, D

L. London, D. Shoemaker, and J. Healy, Modeling ringdown: Beyond the fundamental quasinormal modes, Physical Review D90, 124032 (2014)

work page 2014
[20]

Bhagwat, M

S. Bhagwat, M. Okounkova, S. W. Ballmer, D. A. Brown, M. Giesler, M. A. Scheel, and S. A. Teukolsky, On choosing the start time of binary black hole ringdowns, Physical Review D97, 104065 (2018)

work page 2018
[21]

Giesler, M

M. Giesler, M. Isi, M. A. Scheel, and S. A. Teukolsky, Black Hole Ringdown: The Importance of Overtones, Physical Review X9, 041060 (2019)

work page 2019
[22]

Bhagwat, X

S. Bhagwat, X. J. Forteza, P. Pani, and V . Ferrari, Ringdown overtones, black hole spectroscopy, and no-hair theorem tests, Physical Review D101, 044033 (2020)

work page 2020
[23]

Berti and V

E. Berti and V . Cardoso, Quasinormal ringing of Kerr black holes: The excitation factors, Physical Review D74, 104020 (2006)

work page 2006
[24]

E. N. Dorband, E. Berti, P. Diener, E. Schnetter, and M. Tiglio, Numerical study of the quasinormal mode excitation of Kerr black holes, Physical Review D74, 084028 (2006)

work page 2006
[25]

Zhang, E

Z. Zhang, E. Berti, and V . Cardoso, Quasinormal ringing of Kerr black holes. II. Excitation by particles falling radially with arbitrary energy, Physical Review D88, 044018 (2013)

work page 2013
[26]

Oshita, Ease of excitation of black hole ringing: Quantifying the importance of overtones by the excitation factors, Physical Review D104, 124032 (2021)

N. Oshita, Ease of excitation of black hole ringing: Quantifying the importance of overtones by the excitation factors, Physical Review D104, 124032 (2021)

work page 2021
[27]

N.˜Oshita and V .˜Cardoso, Reconstruction of ringdown with excitation factors, arXiv:2407.02563 [gr-qc]

work page arXiv
[28]

J. L. Jaramillo, R. P. Macedo, and L. A. Sheikh, Pseudospectrum and Black Hole Quasinormal Mode Instability, Physical Review X11, 031003 (2021)

work page 2021
[29]

L. Stein, qnm: A Python package for calculating Kerr quasinormal modes, separation constants, and spherical-spheroidal mixing coeffi- cients, Journal of Open Source Software4, 1683 (2019)

work page 2019
[30]

E. W. Leaver, An analytic representation for the quasi-normal modes of Kerr black holes, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences402, 285 (1985)

work page 1985
[31]

G. B. Cook and M. Zalutskiy, Gravitational perturbations of the Kerr geometry: High-accuracy study, Physical Review D90, 124021 (2014)

work page 2014