Web build of
main.tex, 8 Aug 2026
The Cost of Ignoring Mode Correlations in Black-Hole
Quasinormal-Mode Resolvability Forecasts
Abstract
Forecasts in black-hole spectroscopy decide whether two quasinormal modes are distinguishable using a Rayleigh-type criterion: the modes are declared resolvable when their frequency and damping-time separations exceed the statistical uncertainties of the corresponding estimates. Those uncertainties can be drawn from the joint two-mode Fisher matrix that keeps the correlations between the mode templates, as the forecast literature does, or from a single-mode analysis that treats each mode as if alone, a natural shortcut when correlations are presumed small. This paper quantifies what the shortcut costs. The ratio between the two resulting signal-to-noise thresholds is computed for damped-sinusoid fits over a finite analysis window, across the full astrophysical spin range and a wide family of window choices, under white noise. For the contested fundamental-overtone pair the correlation-aware threshold exceeds the single-mode one by a factor of about four to eight everywhere on the map (median over relative phase): at remnant spin 0.69 the thresholds are 71 against 310. For a well-separated control pair the factor stays near or below two. The penalty is set almost entirely by the threefold difference in damping times, not by the two-percent frequency splitting, and the template overlap behind it has a simple closed form. Two properties are exact: the ratio is independent of the mode amplitude ratio, and the overlap is invariant under translation of the analysis window, which also removes any remnant-mass dependence under white noise. Individual-phase thresholds spread by tens of percent about the reported medians, and the noise model is white throughout; both limitations are stated where they enter. The full pipeline reproduces every figure with one command.
Index Terms:
black-hole spectroscopy, quasinormal modes, ringdown, Fisher information, non-normal operators, condition numberI Introduction
After two black holes merge, the remnant settles down by emitting gravitational waves at a discrete set of complex frequencies, the quasinormal modes (QNMs) of the final Kerr black hole. Because general relativity fixes every QNM frequency by the remnant’s mass and spin alone, detecting two or more modes in the ringdown and checking their consistency is a direct test of the no-hair theorem, the statement that an isolated black hole carries no structure beyond those two numbers [1, 2]. Whether current detectors have already achieved this with the first overtone of GW150914 (a shorter-lived mode sharing the fundamental’s angular harmonic at nearly the same frequency) remains actively disputed [2, 3].
Forecasts of when such tests become possible rest on a resolvability criterion. The standard choice is Rayleigh-like [1, 4, 5]: two modes are declared distinguishable at a given signal-to-noise ratio (SNR) if their frequency separation exceeds the statistical uncertainty of the frequency estimates, and likewise for the damping times. Its users are not naive about it: Ota and Chirenti found it overly restrictive relative to a Bayes-factor threshold and argued for the latter [4]. The criterion nonetheless continues to anchor quantitative statements throughout the forecast literature [5, 6].
In parallel, the pseudospectrum programme (which maps an operator’s approximate eigenvalues to ask how far its spectrum moves under small perturbations) has put a structural fact on firm footing: the operator governing black-hole ringdown is non-self-adjoint, meaning it differs from its adjoint and so need not admit an orthogonal eigenbasis; its spectrum can be unstable under small perturbations; and its eigenfunctions, the QNMs, are not orthogonal in physically motivated inner products [7, 8, 9]. Estimation theory is unambiguous about what non-orthogonality does to a joint fit: the covariance of the estimated parameters is governed by the correlations of the template set, so the achievable precision is controlled by the conditioning of the template Gram matrix, not by frequency separation alone.
The forecast literature is not naive about these correlations. Berti, Cardoso, and Will, who introduced the criterion in the form used here, already computed its thresholds from a joint two-mode Fisher matrix, naming the “cross-terms” in the inner products as the reason the same-harmonic overtone case resists closed-form treatment [Sec. VII of [1]]; Ota and Chirenti evaluate an eight-parameter joint matrix [Eq. (9) of [4]], and Shi, Zhang, and Mei a twenty-six parameter one [5]. What none of these works isolates is how much of the resulting threshold is the correlation penalty itself: the factor separating the joint-Fisher threshold from a single-mode baseline in which each mode is analyzed as if alone. That baseline is a diagnostic, not a position held in the literature: the two constructions coincide exactly for orthogonal templates, so their ratio directly measures what mode overlap costs the criterion, and to the authors’ knowledge that ratio has not been mapped for the astrophysically contested pairs. This paper computes the map. The working hypothesis (H1) was that the ratio exceeds two somewhere in parameter space, largest for the fundamental–overtone pair, the same pair contested in GW150914 [2, 3]. The computation returns the strong form of H1: the factor is between 4.25 and 8.1 everywhere on the map (median over relative phase), and near or below 2 for a control pair.
The contributions are:
-
•
both threshold constructions stated in one Fisher framework, pinned to the anchor forecasts’ equations (Section III);
-
•
a map of the correlation penalty over remnant spin and analysis-window start, per mode pair (Section V);
-
•
a closed form for the template overlap that sets the penalty’s scale, showing it is governed by the damping-time ratio rather than the frequency splitting, plus exact invariances with one-line proofs (Sections III-B and VI);
-
•
a reproducible pipeline (laptop-scale; the full map runs in about six minutes; Section IV).
Scope is deliberately narrow. This paper analyzes no detector data, performs no Bayesian inference, and takes no position on whether GW150914’s overtone was real; it audits a criterion, not an event. The inner product is white-noise throughout; detector-shaped weighting and exact reproduction of the anchors’ published horizon numbers are the next milestones and are not claimed here.
II Signal Model and Estimation Framework
II-A Ringdown model
The observed ringdown is modeled over a finite analysis window as a sum of damped sinusoids referenced to the waveform peak at ,
| (1) |
where runs over the mode pair under test and is the amplitude ratio at the peak. The frequencies and damping times are those of the Kerr QNMs,
| (2) |
with the dimensionless Kerr QNM frequency at spin , obtained by table lookup from the qnm package [10]; no QNM frequencies are computed in this work. Here label the angular harmonic of the perturbation and is the overtone index, which orders the modes of a given by decreasing damping time: is the fundamental and its first overtone, the shorter-lived mode at nearly the same frequency. The dimensionless spin is for remnant angular momentum , and the map axes run over it. Time dependence is throughout, so and ; the code takes and in units of . At the pair of interest has , and , : a frequency splitting of only against damping times differing by a factor of three.
II-B Inner product, SNR, and Fisher matrix
For white noise of one-sided power spectral density , the noise-weighted inner product over the window is
| (3) |
and the total SNR is . With time measured in units of , every quantity entering the analysis is dimensionless, so the results below are exactly independent of the remnant mass; the map axes are spin and window start in units of .
For parameters , the Fisher matrix and the Cramér–Rao bound on any unbiased estimator are
| (4) |
All statistical uncertainties below are Fisher-level; this matches the anchor forecasts and is the regime where the Rayleigh criterion is stated.
III Two Constructions of One Criterion
III-A The Rayleigh criterion
Following Berti, Cardoso, and Will [Eqs. (57)–(59) of [1]], as adopted by Ota and Chirenti [Eqs. (6a)–(6b) of [4]], the pair is resolvable at SNR when both separations clear the larger of the corresponding uncertainties,
| (5) |
Every scales as at fixed signal shape, so Eq. 5 defines a critical SNR: the smallest at which both conditions hold. The two constructions differ only in the Fisher matrix that supplies the ’s:
-
•
single-mode baseline, critical SNR : each mode’s errors from its own Fisher matrix, the other mode absent: the correlation-free reference point, not a procedure attributed to any cited forecast;
- •
The quantity mapped here is the ratio
| (6) |
the factor by which mode correlations raise the SNR the criterion requires over the orthogonal-template reference. Both thresholds are referred to the same total two-mode SNR of Eq. 3, so isolates the effect of the off-diagonal Fisher content at fixed signal strength.
III-B Why the readings must differ: conditioning
Write Eq. 1 in quadrature form: each mode contributes and , so a -mode fit is linear in amplitudes with Gram matrix of the normalized basis. The joint covariance is proportional to ; the variance of amplitude inflates over the orthogonal case by , bounded by the condition number , with and the largest and smallest eigenvalues of . The cross-mode content is captured by the overlap of the normalized complex templates on the window, , for which the case is fully analytic:
| (7) |
giving an SNR penalty of at least for amplitude estimation alone. For orthogonal modes , the penalty disappears, and the two constructions of Eq. 5 coincide; Eq. 7 is also the pipeline’s unit test.
For a window long compared to the damping times the overlap itself has a closed form,
| (8) |
whose equal-frequency limit is the ratio of the geometric to the arithmetic mean of the two damping times. The overlap that drives the penalty is therefore governed by the damping-time ratio; the frequency splitting enters only through the second term in the modulus, which is small for this pair.
IV Numerical Setup
The grid covers in 100 points and window starts in steps of , with fiducial window length and amplitude ratio ; robustness variations use , , and 24 relative phases spanning (with ; has period in the relative phase), with the median over phase reported. Individual-phase values spread by tens of percent about the median (Section VI). An earlier freeze (results v1) sampled only four phases, which this symmetry collapses to two distinct values; its medians agree with the current 24-phase freeze (results v2) at the tabulated point to five digits, and v1 is archived alongside the pipeline. The mode pairs are the contested pair and a – control. Integrals use a step; Fisher inversions are correlation-scaled, with a conditioning ceiling of that is never reached on this grid (the largest correlation-scaled condition number encountered is ). In the analytic orthogonal limit (narrow linewidths, well-separated tones) the pipeline returns and , matching Eq. 7. As an external order-of-magnitude anchor: at the amplitude ratio of the anchor forecast’s overtone figures (), the joint threshold here is a few times over most of the spin range at (median ; at ), consistent with that forecast’s statement that resolving both frequencies and damping times of this pair “typically requires a SNR greater than about ” [Figs. 3–4 of [1]]. Their detector noise and infinite window differ from the white-noise finite window used here, so this is a consistency check rather than a reproduction; exact reproduction of the anchors’ published horizon numbers is the next milestone and is not claimed here.
The full analysis is a two-script pipeline shipped with the paper’s source: make figures regenerates every figure from the frozen map, and make map regenerates the map itself in about six minutes on a laptop.
V Results
| Window start | (clean) | (joint) | ||
|---|---|---|---|---|
| 71 | 310 | 4.29 | 13.7 | |
| 519 | 2204 | 4.30 | 13.7 | |
| 2217 | 9635 | 4.29 | 13.7 |
Figure 1 maps for the fundamental–overtone pair. Ignoring the correlations understates the required SNR by a factor of to over the entire physical range: there is no corner of spin or window choice where the shortcut is safe for this pair. At the GW150914-like point the single-mode baseline declares the pair resolvable at , while the correlation-aware construction requires (Table I). Both absolute thresholds grow steeply as the window start moves away from the peak and the overtone decays, but their ratio stays near ; the penalty is a property of the pair, not of the window. Across the sampled grid the frequency condition of Eq. 5 always sets the threshold (the damping-time condition never binds for either construction), so the thresholds reported here are frequency-resolution limited.
The structural driver is the overlap, and Eq. 8 shows what sets its size. At the closed form gives , matching the pipeline to four digits (); its equal-frequency limit is , so the frequency splitting shifts the overlap by well under . So , and with it the penalty, is set by the threefold damping-time difference almost alone, not by the frequency proximity the criterion is named for. At , (). The analytic amplitude-only penalty of Eq. 7, , accounts for about half of the measured ; the rest comes from cross-parameter degeneracies that only the full analysis sees, and a per-parameter attribution of it has not been computed here. The – control pair confirms pair-specificity: its splitting is large, is small, and the phase-median stays between and (median ; individual phases reach at most ), approaching unity at high spin (Fig. 2a).
Two consequences follow. First, the single-mode shortcut is tempting for the same reason the joint calculation is hard: the cross-terms [1]. Wherever it is used, it overstates the prospects of fundamental–overtone spectroscopy by a factor of about four in required SNR; forecasts built on the joint Fisher matrix, including the anchors here [1, 4, 5], are on the correct side of this gap. Second, both constructions place both-parameter resolvability of the pair at SNRs well beyond those of the events analyzed in the overtone dispute, consistent with that dispute remaining open [2, 3]; this work takes no position on that event.
VI Robustness
Three invariances are exact, not approximate. First, is independent of the amplitude ratio : rescaling one mode’s amplitude rescales the corresponding rows and columns of both Fisher matrices, leaving every correlation coefficient unchanged, so the -scaled ’s shift identically in numerator and denominator of Eq. 6. The computed maps at , , and agree to better than ten significant digits everywhere on the grid. Second, the normalized template overlap , and hence , is exactly invariant under window translation: shifting multiplies each template by a constant factor that cancels in the normalization. This is why Table I shows the same at every , and why the phase-median is nearly flat in : its variation over the full window-start range is below at every spin. Third, with the white-noise product and windows scaled by , the entire analysis is dimensionless and carries no mass dependence at all.
The relative phase is the one handle whose effect is not small pointwise, and it deserves stating as a limitation: individual-phase values of spread by about at the tabulated point and by up to at low spin about the reported medians. What is robust is the median itself: at the tabulated point the superseded four-sample grid (results v1) and the current 24-phase grid agree to five digits. Every threshold quoted here should therefore be read as a phase-median carrying a tens-of-percent phase spread, a property of the damped-sinusoid criterion itself rather than of this implementation. The window length behaves smoothly (Fig. 2): shortening to , which curtails the evolution that separates the two damping times, raises the penalty to , while lengthening to shifts by under . The one weighting not yet swept is a detector-shaped power spectral density, which breaks the mass invariance by introducing a physical frequency scale; whether itself moves qualitatively under a detector-shaped weighting is not answered here. That arm, and the anchor-exact horizon reproduction, are the declared next steps.
VII Conclusions
-
1.
For the contested pair, ignoring the mode correlations in the Rayleigh resolvability criterion understates the required SNR by a factor of 4.25 to 8.1 (median over relative phase) across the entire astrophysical spin range and all analysis windows studied; at the GW150914-like point the thresholds are 71 versus 310. A well-separated control pair stays near or below a factor of 2.
-
2.
The penalty is structural, not tuned: it is exactly independent of the mode amplitude ratio, exactly translation-invariant in its Gram diagnostic, and mass-invariant under white noise. Its scale is set by the template overlap, to , which the closed form of Eq. 8 ties to the damping-time ratio almost alone (the frequency splitting the criterion is named for contributes under one part in a thousand of the overlap), with cross-parameter degeneracies roughly doubling the analytic amplitude-only penalty of . The medians are stable under phase-grid refinement, but individual-phase thresholds spread by tens of percent about them, and the white-noise inner product remains the analysis’s main untested assumption.
-
3.
Practical recommendation: resolvability forecasts for overtone spectroscopy must draw their uncertainties from the joint Fisher matrix, as the anchor forecasts [1, 4, 5] do; assembling the same criterion from single-mode error formulas is unsafe for this pair by half an order of magnitude. The pipeline evaluates the correction in milliseconds per grid point; detector-PSD weighting and anchor-exact threshold reproduction are its next milestones.
References
- [1] E. Berti, V. Cardoso, and C. M. Will, “On gravitational-wave spectroscopy of massive black holes with the space interferometer LISA,” Phys. Rev. D, vol. 73, art. no. 064030, 2006, doi:10.1103/PhysRevD.73.064030. arXiv:gr-qc/0512160.
- [2] M. Isi, M. Giesler, W. M. Farr, M. A. Scheel, and S. A. Teukolsky, “Testing the no-hair theorem with GW150914,” Phys. Rev. Lett., vol. 123, art. no. 111102, 2019, doi:10.1103/PhysRevLett.123.111102. arXiv:1905.00869.
- [3] R. Cotesta, G. Carullo, E. Berti, and V. Cardoso, “Analysis of ringdown overtones in GW150914,” Phys. Rev. Lett., vol. 129, art. no. 111102, 2022, doi:10.1103/PhysRevLett.129.111102. arXiv:2201.00822.
- [4] I. Ota and C. Chirenti, “Black hole spectroscopy horizons for current and future gravitational wave detectors,” Phys. Rev. D, vol. 105, art. no. 044015, 2022, doi:10.1103/PhysRevD.105.044015. arXiv:2108.01774.
- [5] C. Shi, Q. Zhang, and J. Mei, “On the detectability and resolvability of quasi-normal modes with space-based gravitational wave detectors,” arXiv:2407.13110 [gr-qc], Jul. 2024.
- [6] E. Berti et al., “Black hole spectroscopy: from theory to experiment,” arXiv:2505.23895 [gr-qc], May 2025, submitted for publication.
- [7] J. L. Jaramillo, R. Panosso Macedo, and L. Al Sheikh, “Pseudospectrum and black hole quasi-normal mode (in)stability,” Phys. Rev. X, vol. 11, art. no. 031003, 2021, doi:10.1103/PhysRevX.11.031003. arXiv:2004.06434.
- [8] K. Destounis, R. Panosso Macedo, E. Berti, V. Cardoso, and J. L. Jaramillo, “Pseudospectrum of Reissner–Nordström black holes: Quasinormal mode instability and universality,” Phys. Rev. D, vol. 104, art. no. 084091, 2021, doi:10.1103/PhysRevD.104.084091. arXiv:2107.09673.
- [9] E. Gasperín and J. L. Jaramillo, “Energy scales and black hole pseudospectra: the structural role of the scalar product,” Class. Quantum Grav., vol. 39, no. 11, art. no. 115010, 2022, doi:10.1088/1361-6382/ac5054. arXiv:2107.12865.
- [10] L. C. Stein, “qnm: A Python package for calculating Kerr quasinormal modes, separation constants, and spherical-spheroidal mixing coefficients,” J. Open Source Softw., vol. 4, no. 42, art. no. 1683, 2019, doi:10.21105/joss.01683. arXiv:1908.10377.
papers/physics/urtc26/main.tex with LaTeXML
0.8.8. The typeset main.pdf is canonical. Every number
regenerates with scripts/compute_map.py.