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.
Conditional Tolman–Ehrenfest relation
Conditional redshift law for the local proper temperature of one selected connected stationary bath; no claim that arbitrary stationary flows or geometries are in equilibrium.
Statement
Use the connected stationary thermal carrier of Selected stationary thermal equilibrium on . Let , , and as there, and assume the postulated Killing condition on . Then a positive constant exists such that
In the same convention, , the observer acceleration satisfies , the expansion and shear vanish, and
For any chosen reference event , . If the reference normalization has , then is the local temperature at that event. Rescaling by a constant rescales and by while leaving the local scalar unchanged. The result is a conditional deduction from the selected physical postulate and the stated mathematical supplier; it is not a thermometer law for arbitrary observers or a KMS-existence theorem.
Facts & Assumptions
Given: A connected open Lorentzian domain, a smooth future timelike Killing field , a smooth positive proper-temperature scalar , the observer , and the adopted condition that is Killing.
Selected stationary thermal equilibrium adopts the selected comoving bath and the Killing condition on its inverse-temperature vector . It does not assert that every geometry or material has such a bath.
Killing temperature normalization and rigidity: for the exact connected stationary carrier and smooth fields above, is Killing if and only if for one positive constant . Under this condition, , , , and . Its current status is draft with a current Step 1 ready record; that record is authoring readiness only, not independent proof approval.
Proof
By [A1], is connected, is future timelike Killing, is smooth and strictly positive, and is Killing. These are the carrier and field hypotheses in [F1].
Apply the forward implication of [F1] to the fields from step 1.1. It gives a positive constant on all of with and , along with , , and zero expansion and shear. Since and both fields are smooth and positive, differentiating its logarithm gives .
Evaluating the constant identity of step 2.1 at any supplied yields . If , this is the reference local temperature. Under , and therefore ; the formula leaves unchanged.
Remarks
The mathematical supplier is a conditional local field argument. The cited treatments provide independent context; none supplies an empirical observation or proves that a selected bath describes every material.