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.
Boulware, Unruh and Hartle-Hawking states are distinct
Source-backed distinction among exterior ground, collapse and equilibrium states for the specified free-field Schwarzschild settings. No state-existence claim for Kerr, no measured radiation, and no equivalence of the collapse and equilibrium models is asserted.
Remark
Use and the SI constants of the preceding postulate. Define the two-sided eternal Schwarzschild spacetime by where are dimensionless, has its unit round metric , and is the unique solution of . Uniqueness follows because the left side increases strictly from to as increases from zero. Give this manifold the metric and time orientation Its right exterior is , with ; there . The adjacent future and past horizons are respectively and (times ), and the black-hole interior is (times ). A positive Schwarzschild-frequency mode is one with time dependence for , where is the stationary time of the Schwarzschild exterior. Here Hadamard means that the two-point distribution has the wavefront-set condition defined in the preceding postulate. The Boulware state on is the ground state for these exterior modes: for every normalized exterior positive-frequency packet , its number expectation is . Its two-point function is Hadamard within , but it does not extend as a Hadamard state across either horizon branch.
The Unruh state is a different state on the connected open domain of . Define and ; then , and every point of the right future horizon has an open neighborhood in this domain. Its incoming positive-frequency modes from are in their ground state, while the outgoing sector associated with modes emerging from the past horizon has occupation for angular frequency , before exterior transmission filtering. Its two-point function satisfies the Hadamard condition across the future horizon but has no Hadamard extension across the past horizon. In contrast, the Hartle–Hawking state on is invariant under Schwarzschild time translations and satisfies the Hadamard condition there; its restriction to has both incoming and outgoing mode occupations , with , and satisfies the Hadamard condition across both horizon branches. These are distinct mode conditions and domains.
The collapse in-state adopted on the preceding page belongs to a dynamical collapse spacetime, not to . Its incoming-ground and late-time packet assumptions do not identify it with the eternal Unruh state. No rotating black-hole state is asserted here.