Problems Spectral / Scattering K-507
K-507

Finite-data inverse resonance recovery of Kerr parameters

Open Classical frontier Open in literature Mostly scoped Spectral / Scattering Mixed FV: medium
Near-Kerr (vacuum) Asymptotically flat Vacuum Inverse problemSpectral operator ExteriorLinear

Summary

Finite-data inverse resonance recovery of Kerr parameters

Why this matters

Clarifies what mathematical inverse problems can and cannot justify for “spectroscopy” claims.

Exact scope

Background / setting
Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.
Equation type
PDE level: inverse-problem, spectral-operator.
Linearity
Primarily stationary or linearized reductions unless the statement says otherwise.
Regularity
Smooth / Sobolev classes as in the problem statement; tighten when citing a specific theorem.
Parameter regime
Subextremal Kerr (or Kerr–de Sitter where tagged); spectral parameters $(l,m)$ and frequency $ω$ regimes as in cited microlocal frameworks.
Asymptotics
asymptotically-flat
Gauge / formulation
State gauge/fixing class compatible with cited stability or interior programs (e.g. generalized harmonic, double-null interior charts).

Status explanation

Entry imported without two independent bibliographic pointers in this repository; treat theorem-level claims as unverified here.

Problem statement

From a finite set of observed quasinormal frequencies (with stated error bars) associated to a subextremal Kerr background, derive stability estimates for $(M,a)$ and quantify when uniqueness fails (e.g. isospectral ambiguities).

What is already known

  • Microlocal/resolvent frameworks yield decay and mode stability for waves on exact Kerr and Kerr–de Sitter under stated spectral assumptions.
    Regime: Linear waves; fixed background.
    Standard input for QNM expansions and superradiance discussions.
  • Nonlinear Kerr stability is proved in a small-$|a|/M$ vacuum window (Klainerman–Szeftel).
    Regime: Nonlinear vacuum, restricted parameters.
    Closest nonlinear analogue for exterior stability conjectures.
  • Complete QNM expansion as a spectral representation (including branch cuts) for Kerr remains an open mathematical framework problem.
    Regime: Spectral theory on Kerr.
    Distinguishes partial mode stability from full expansion/completeness.

Progress summary: Linearized spectral uniqueness programs exist in fragments; a definitive finite-data theorem with realistic noise model is not asserted on this site. See .

What remains open

Explicit theorems with hypotheses on mode set, error, and parameter range, plus counterexamples or non-uniqueness mechanisms where they occur.

Mathematical prerequisites

Complex analysis of resonance poles; inverse spectral theory; stability of nonlinear least- squares maps; possible connections to scattering phase.

Scope / taxonomy note

Caution: Inverse results are sensitive to asymptotics, mode counting, and whether data come from linearized theory vs. physical waveforms; hypotheses must be stated precisely.

Completion criteria

Explicit theorems with hypotheses on mode set, error, and parameter range, plus counterexamples or non-uniqueness mechanisms where they occur.

Implications if solved

Grounds physics-facing inference in rigorous spectral inverse theory.

Formal verification suitability

FV: medium

Finite-dimensional parameter recovery from finitely many spectral data points is closer to classical analysis than full nonlinear stability, though uniqueness proofs may still be analytic.

See Formal verification for how this database uses these labels.

References

Depends on

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

  • K-401 — QNM completeness for Kerr ringdown expansions
  • K-405 — Inverse scattering for Kerr parameters

Related by shared tags

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

  • K-406 — Spectral stability and pseudospectrum of Kerr QNMs
  • K-407 — QNM excitation factors and universality theorems
  • K-401 — QNM completeness for Kerr ringdown expansions
  • K-403 — Scattering theory for linearized gravity on Kerr
  • K-404 — Zero-frequency structure and tail universality
  • K-624 — Prove a sharp characterization of near-extremal QNM clustering with explicit remainders.

Editorial / maintainer notes

Mixed relevance; connects to observationally adjacent topics only through stated hypotheses.


Last updated: 2026-04-06 · Last verified (editorial): 2026-04-06 (bulk-editorial-fixes) · Edit on GitHub →