Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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.

Physical expectation of late-time stationarity

PDF p. 1: §1.1, physical motivation

Postulate

As physical motivation, expect an isolated dynamical black hole to approach a stationary state at late times through persistent emission of gravitational radiation. If such a limiting state is a regular, four-dimensional, asymptotically flat stationary vacuum black hole and the black-hole uniqueness conjecture holds for that state, its domain of outer communications is isometric to a Kerr exterior. In that conditional sense the conjecture would characterize possible asymptotic states of general vacuum evolution.

Here a stationary state has a smooth Lorentzian metric g and a Killing field T, meaning LTg=0, which is future timelike near the designated distant end. Vacuum means Ric⁡(g)=0. For a designated end U, the domain of outer communications is I+(U)∩I−(U): the points that can both be reached from and send a future-directed timelike signal to U. An isometry is a diffeomorphism that pulls one metric back to the other. Kerr exteriors here are those of the supplied Kerr metric with M>0, ∣a∣≤M and r>r+=M+M2−a2, including the extremal case ∣a∣=M; for example, the supplied subextremal family has M>0, ∣a∣<M and exterior coordinate range r>M+M2−a2. The expectation itself is not restricted to that subfamily.

For a precise instance of the regularity qualification in the conditional claim, take a specified asymptotically flat spacelike end Sext: in its end chart, the induced metric γ and second fundamental form k satisfy γij−δij=Om(r−α) and kij=Om−1(r−1−α) for some α>0 and integer m≥2, with the derivative-decay convention of the supplied end interface. Require T to be complete and future timelike on a sufficiently distant tail, and let U=⋃t∈RΦt(Sext) be the flow saturation of that tail. All chronological sets are computed in the ambient spacetime M. The black-hole region relative to this end is B=M∖IM−(U), required to be nonempty; its event horizon is ∂MB. In this precise instance, regularity means the supplied Chruściel–Costa I+-regularity predicate: completeness of T, global hyperbolicity of the domain of outer communications, and the specified acausal spacelike section with finite ends and a boundary meeting each future exterior-boundary generator once. This is a particular mathematical formulation of regularity, not an identification with every use of the word regular in the article's qualitative motivation.

The conditional uniqueness assumption for this formulation is explicit: every smooth four-dimensional stationary vacuum spacetime with the preceding end, nonempty black-hole region and I+-regularity has its domain of outer communications isometric to a Kerr exterior with M>0 and ∣a∣≤M. This implication is assumed here, not established. Its application to a limiting state requires that state to satisfy all these hypotheses. The general late-time expectation itself is not restricted to this particular regularity formulation.

For an end admitting the separately hypothesized smooth vacuum Bondi expansion, u is retarded time, CAB is the Bondi shear and NAB=∂uCAB is the Bondi news, a standard asymptotic radiation datum. The expectation does not assert that every evolution has such an expansion or specify a condition on NAB.

Scope and attribution

The source gives a qualitative expectation and a conditional motivation, not a precise class of initial data, a convergence topology, a decay rate, or a proof that radiation produces stationarity. The phrase persistent emission is retained as the source's physical motivation; no quantitative flux law or assertion of nonzero radiation at every finite time is imposed here. The uniqueness conjecture and the applicability of its regularity hypotheses to a proposed limit are separate conditions. No measurement or empirical confirmation is claimed.

External input

The black-hole-region and event-horizon convention above is the definition immediately after equation (2.9) in Chruściel–Costa section 2.2, PDF page 7. It supplies terminology only; the uniqueness implication remains an explicit assumption and the late-time expectation remains a postulate.

Depends on

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

External dependencies

P. T. Chruściel and J. L. Costa, On uniqueness of stationary vacuum black holes · Section 2.2, PDF/printed p. 7, equation (2.9) and the black-hole-region definition immediately following it.

For the flow-saturated asymptotic region M_ext, the black hole region is B = M \ I^-(M_ext), and its event horizon is the ambient boundary of B.

Hypotheses: A time-oriented spacetime with a complete stationary Killing field timelike on the selected asymptotically flat spacelike end; chronological past is computed in the ambient spacetime.

Reading limits: Read the PDF text of section 2.2 through these definitions. This imports only the end-relative black-hole-region convention, without a uniqueness or convergence theorem.

Sources