High-frequency Kerr quasinormal-mode laws with explicit remainder bounds

Summary

Prove semiclassical quantization laws for QNM frequencies on fixed subextremal Kerr with explicit remainder bounds in frequency and in $(M,a)$; “explicit remainder” means stated inverse-polynomial or exponential-small error terms, not formal series alone.

Why this matters

Connects rigorous spectral theory with asymptotic formulas used in ringdown interpretation.

Exact scope

Background / setting

Linearized Teukolsky/master equations on exact Kerr (first target); near-Kerr only if hypotheses are added.

Equation type

Spectral/non-selfadjoint operator theory for separated ODEs or coupled systems.

Linearity

Linearized fields on a fixed background.

Regularity

Analytic/microlocal hypotheses standard in semiclassical scattering on Kerr.

Parameter regime

**Fixed subextremal** $(M,a)$ in compact sets; near-extremal limits require separate scaling assumptions stated explicitly.

Asymptotics

Asymptotically flat Kerr.

Gauge / formulation

Teukolsky vs RW gauge recorded; frequencies are gauge-invariant where claimed.

Status explanation

Classified as a quantitative spectral problem; not a new qualitative existence conjecture for QNMs.

Problem statement

Fix a compact subextremal parameter window for $(M,a)$ and a high-frequency regime $|\omega|\to\infty$ along a chosen QNM branch. Prove an asymptotic law $\omega_n = f(n;M,a) + R_n(M,a)$ with **explicit** bounds on $R_n$ (rate in $n$, uniformity in $(M,a)$, and dependence on spin of the perturbing field). Extensions to an agreed near-Kerr class should be stated as separate theorems with modified remainders.

What is already known

• Asymptotic expansions for Schwarzschild QNM frequencies with explicit leading terms (Motl’s analytic derivation).
  Regime: Schwarzschild (non-rotating) background.
  Model for what “explicit asymptotic law” means; Kerr extension with remainders is strictly harder.

Progress summary: Physics literature and partial mathematics give asymptotic constructions; a single theorem matching the “explicit remainder” requirement here is the open packaging.

What remains open

Kerr analogues with **uniform** remainder estimates in $(M,a)$ for high-frequency branches, and extension statements to near-Kerr if desired.

Mathematical prerequisites

Semiclassical analysis; phase-integral methods; microlocal analysis near trapped sets; spectral theory of non-selfadjoint operators.

Scope / taxonomy note

Completion criteria

Bounds $| \omega_n - f(n;M,a) | \le \cdots$ with explicit rates and domains of validity.

Implications if solved

Sharpens inverse-spectral programs (cf. K-507) and scattering-phase intuition.

Formal verification suitability

FV: medium

High-frequency regimes connect to geometric optics; microlocal remainder terms remain substantial.

See Formal verification for how this database uses these labels.

References

• primary Perturbations of a rotating black hole. I. — Teukolsky, S. A. (1973)
  Foundational separated ODE formulation whose high-frequency spectral asymptotics are being targeted.
• primary An analytical computation of asymptotic Schwarzschild quasinormal frequencies — Motl, L. (2002)
  Rigorous asymptotic QNM law in the Schwarzschild case—template for the level of explicitness sought for Kerr analogues (this entry does **not** claim the Schwarzschild result implies the Kerr remainder theorem).

Depends on

Conceptual dependencies (not necessarily logical lemmas in a proof assistant).

• K-401 — QNM completeness for Kerr ringdown expansions

Related problems

Related by shared tags

Heuristic matches on family, cluster, equation level, asymptotics, and relevance.

• K-404 — Zero-frequency structure and tail universality
• K-624 — Prove a sharp characterization of near-extremal QNM clustering with explicit remainders.
• K-625 — Prove completeness/expansion of solutions in Kerr via QNMs plus branch-cut contributions (mathematical ringdown expansion).
• K-627 — Establish pseudospectrum bounds for Kerr wave operators and relate to transient growth near superradiance.
• K-636 — Prove sharp semiclassical quantization of Kerr QNMs with explicit high-frequency error bounds.
• K-661 — Determine whether QNM expansions are stable under small nonlinearities (nonlinear resonance theory).
• K-681 — Develop a mathematically rigorous definition of nonlinear QNMs as poles of a suitable nonlinear response functional.
• K-682 — Prove that Kerr QNMs are stable under small perturbations of the metric in a topology relevant to stability proofs.