Horizon-data rigidity and effective reconstruction of Kerr parameters
Summary
Horizon-data rigidity and effective reconstruction of Kerr parameters
Why this matters
Connects horizon observables (as idealized in mathematical relativity) to uniqueness parameters without requiring full spacetime knowledge.
Exact scope
- Background / setting
- Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.
- Equation type
- PDE level: stationary-reduction, inverse-problem.
- 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 moduli $|a|<M$ (or stated KN/KdS extension); smallness measured in the stability topology on Cauchy data.
- 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 minimal package of intrinsic data on a cross-section of a stationary event horizon (e.g. induced metric, expansion/shear class, or spin coefficients restricted to the horizon), derive stability estimates that determine mass and angular momentum parameters of the ambient Kerr solution within explicit error bounds.
What is already known
- Analytic stationary uniqueness theorems identify Kerr in the asymptotically flat vacuum class (Carter–Robinson–Mazur line).Regime: Real-analytic stationary vacuum.Classical baseline; smooth non-analytic uniqueness remains the sharp open gap for many formulations.
- Near-Kerr perturbative rigidity and Carter-type structures are studied in separability and hidden-symmetry programs.Regime: Perturbations of Kerr; operator commutators.Context for approximate operators and photon-region stability questions.
- Ernst reduction and harmonic-map formulations package stationary axisymmetric vacuum equations; sharp global uniqueness domains are formulation-dependent.Regime: 2D elliptic reductions.Explains why Ernst-domain questions must pin boundary data and function classes.
Progress summary: Partial progress exists in isolated-horizon and geometric characterization literature; a single quantitative “effective reconstruction” theorem with explicit stability is not catalogued here. See .
What remains open
A precise theorem: horizon data in stated function classes implies closeness to Kerr horizon data and recovers $(M,a)$ modulo gauge with quantitative bounds.
Mathematical prerequisites
Isolated horizons; Newman–Penrose spin coefficients; geometric analysis on 2-spheres; inverse problems for spectral or curvature invariants on compact surfaces.
Completion criteria
A precise theorem: horizon data in stated function classes implies closeness to Kerr horizon data and recovers $(M,a)$ modulo gauge with quantitative bounds.
Implications if solved
Feeds both uniqueness theory and idealized “black hole spectroscopy from horizons” mathematics.
Formal verification suitability
FV: high
Isolated-horizon data are finite-dimensional at leading order; reconstruction inequalities can be stated as algebraic and ODE constraints.
See Formal verification for how this database uses these labels.
References
- primary Hamilton–Jacobi and Schrödinger separability and integrability of the Kerr metric — Carter (1968) Fourth constant / separability structure on exact Kerr; operator-algebra backdrop for rigidity questions.
- survey Black Uniqueness Theorems — Mazur (2001) Survey of stationary uniqueness and reduction routes (including Ernst-type formulations).
Depends on
- K-305 — Kerr characterization from horizon intrinsic data
Related problems
Related by shared tags
Editorial / maintainer notes
Math-leaning formal verification track problem.