How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Kerr horizon mode and shifted horizon frequency
A local mathematical definition of a scalar mode trace on a regular subextremal Kerr future horizon; it asserts no global wave solution, scattering state, or amplification.
Definition
Assume . Let , , and use the length coordinates of the subextremal Kerr datum. Use the smooth ingoing extension with its proved compatible time orientation from Kerr horizon angular velocity and the ergoregion. Set and let be a smooth open patch in the hypersurface topology. Let and be the stationary and axial Killing fields restricted to , and let with be the future null generator there; the supplier proves on . A smooth complex scalar is an horizon mode when , , and
Its shifted horizon frequency is . By linearity of , every such mode satisfies . The parameter has units reciprocal to the Kerr time coordinate, is dimensionless, and has the same units as . This is a local definition of mode data only; it does not assert that a nonzero mode extends to a global solution of the wave equation.