Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)
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

Physical scope

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 O. Let Nξ=−g(ξ,ξ)>0, u=ξ/Nξ, and β=u/(kBT) as there, and assume the postulated Killing condition on β. Then a positive constant TK exists such that

Nξ(x)T(x)=TKandβ=ξkBTK(x∈O).

In the same convention, ξ(Nξ)=0, the observer acceleration satisfies a=∇log⁡Nξ, the expansion and shear vanish, and

∇log⁡T=−a.

For any chosen reference event xref∈O, TK=Nξ(xref)T(xref). If the reference normalization has Nξ(xref)=1, then TK is the local temperature at that event. Rescaling ξ by a constant b>0 rescales Nξ and TK by b while leaving the local scalar T 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 T, the observer u=ξ/Nξ, and the adopted condition that β=u/(kBT) is Killing.

[A1]

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.

[F1]

Killing temperature normalization and rigidity: for the exact connected stationary carrier and smooth fields above, β is Killing if and only if NξT=TK for one positive constant TK. Under this condition, β=ξ/(kBTK), ξ(Nξ)=0, a=∇log⁡Nξ, and θ=σab=0. Its current status is draft with a current Step 1 ready record; that record is authoring readiness only, not independent proof approval.

Proof

technique · Apply the exact field-normalization lemma to the adopted stationary carrier, then evaluate its constant at the supplied reference
1.1givenA1F1

By [A1], O is connected, ξ is future timelike Killing, T is smooth and strictly positive, and β=u/(kBT) is Killing. These are the carrier and field hypotheses in [F1].

2.1F1step 1.1algebra

Apply the forward implication of [F1] to the fields from step 1.1. It gives a positive constant TK on all of O with NξT=TK and β=ξ/(kBTK), along with ξ(Nξ)=0, a=∇log⁡Nξ, and zero expansion and shear. Since T=TK/Nξ and both fields are smooth and positive, differentiating its logarithm gives ∇log⁡T=−∇log⁡Nξ=−a.

3.1step 2.1algebra∎

Evaluating the constant identity of step 2.1 at any supplied xref yields TK=Nξ(xref)T(xref). If Nξ(xref)=1, this is the reference local temperature. Under ξ↦bξ, Nξ↦bNξ and therefore TK↦bTK; the formula T=TK/Nξ leaves T 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.

Depends on

Dependency tree · 2 levels

Sources