Alphabeta Math
Pipeline-generated
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.

Free collapse Hawking approximation and its proof obligations — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

RemarkRemark: AI-adaptedProof: Not applicableverified 2026-10-22 (gpt-6.1-sol)Open item page →

Boulware, Unruh and Hartle-Hawking states are distinct

Physical scope

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 rs=2GM/c2 and the SI constants of the preceding postulate. Define the two-sided eternal Schwarzschild spacetime by Sext:={(T,X)∈R2:X2−T2>−1}×S2, where T,X are dimensionless, S2 has its unit round metric dΩ2, and r>0 is the unique solution of (r/rs−1)er/rs=X2−T2. Uniqueness follows because the left side increases strictly from −1 to +∞ as r increases from zero. Give this manifold the metric and time orientation ds2=4rs3re−r/rs(−dT2+dX2)+r2dΩ2,∂T future-directed. Its right exterior is ER:={X>∣T∣}×S2, with r>rs; there t=(rs/c)log⁡((X+T)/(X−T)). The adjacent future and past horizons are respectively T=X>0 and T=−X<0 (times S2), and the black-hole interior is T>∣X∣ (times S2). A positive Schwarzschild-frequency mode is one with time dependence e−iωt for ω>0, where t is the stationary time of the Schwarzschild exterior. Here Hadamard means that the two-point distribution has the wavefront-set condition WF⁡(W2)=Cg+ defined in the preceding postulate. The Boulware state on ER is the ground state for these exterior modes: for every normalized exterior positive-frequency packet h, its number expectation is ϖ(a(h)∗a(h))=0. Its two-point function is Hadamard within ER, 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 DU:={(T,X)∈R2:X2−T2>−1, T+X>0}×S2 of Sext. Define HR+:={T=X>0}×S2 and B:={(T,X)∈R2:T>∣X∣, X2−T2>−1}×S2; then DU=ER∪HR+∪B, and every point of the right future horizon has an open neighborhood in this domain. Its incoming positive-frequency modes from I− are in their ground state, while the outgoing sector associated with modes emerging from the past horizon has occupation nH(ω):=(eℏω/(kBTH)−1)−1 for angular frequency ω>0, 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 Sext is invariant under Schwarzschild time translations and satisfies the Hadamard condition there; its restriction to ER has both incoming and outgoing mode occupations nH(ω), with TH:=ℏc3/(8πGMkB), 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 Sext. 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.

Sources