Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-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.

KMS orbit clock rescaling

Statement

Let A be a unital complex C∗-algebra and let t↦αt be a strongly continuous one-parameter group of ∗-automorphisms of A. Let ω be a βK-KMS state for α in the physical-time convention of Physical-time KMS strip equilibrium condition, where βK>0 has units J−1 and ℏ>0 has units J s. For a constant dimensionless λ>0, define ατλ:=ατ/λ, where t and τ are real time parameters in seconds. Then ω is a λβK-KMS state for αλ, with strip width λβKℏ seconds. Conversely, if ω is a β^-KMS state for αλ, then it is a (β^/λ)-KMS state for α.

For the geometric interpretation, let O be a connected open subset of a smooth time-oriented Lorentzian four-manifold (M,g) of signature (−,+,+,+), and let ξ be a smooth future-directed timelike Killing field on O with dimensionless components in length coordinates x0=ct, where c>0 is the speed of light in m s−1. Define Nξ(x):=−gx(ξx,ξx)>0 and u:=ξ/Nξ. For a selected point x0∈O, let IK⊆R be an interval in seconds containing 0, and let γx0:IK→O be the C1 integral curve of cξ with γx0(0)=x0, so γx0′(tK)=c ξγx0(tK); this is the Killing orbit through x0 with Killing-time parameter tK. For a cell assigned to xi, take x0=xi and denote this curve by γi. Define its proper-time parameter from the metric by τ(tK):=1c∫0tK−gγx0(s)(γx0′(s),γx0′(s)) ds,τ(0)=0. By Killing temperature normalization and rigidity, ξ(Nξ)=0, so N:=Nξ(x0)>0 is constant along this orbit. The metric definition then gives dτ=N dtK and, with the chosen origins, τ=NtK; equivalently dγx0/dτ=cu for u=ξ/Nξ. For kB>0 in J K−1 and reference temperature TK>0 in kelvins, the inverse temperature βK=(kBTK)−1 rescales orbitwise to βloc:=NβK; defining Tloc:=(kBβloc)−1 gives Tloc=TK/N. No spatially varying lapse is treated as one global time-rescaled automorphism group.

Facts & Assumptions

Given: A unital complex C∗-algebra, a strongly continuous ∗-automorphism group, a βK-KMS state in physical time, and a constant λ>0.

[A1]

For a selected point x0∈O, IK is an interval in seconds containing 0, γx0:IK→O is C1 with γx0(0)=x0 and γx0′=cξ∘γx0, and τ(tK)=c−1∫0tK−gγx0(s)(γx0′(s),γx0′(s)) ds is its proper time in seconds. For a cell at xi, x0=xi and this curve is denoted γi. The positive lapse Nξ=−g(ξ,ξ) is constant along the orbit by [F2]; N=Nξ(x0) is the constant used in the rescaling.

[A2]

The Axiom of Countable Choice (ACω) is the explicit ACω assumption on the smooth stationary geometry carrier used by [F2]; no stronger choice principle is used.

[F1]

Physical-time KMS strip equilibrium condition: a β-KMS state for a strongly continuous automorphism group has, for every A,B, a bounded function continuous on 0≤Im⁡z≤βℏ, holomorphic inside, and with boundary values ω(Aαt(B)) and ω(αt(B)A).

[F2]

Killing temperature normalization and rigidity: under [A2] and its selected stationary-carrier hypotheses, its proof derives ξ(Nξ)=0 from the Killing equation and metric compatibility; when the inverse-temperature vector β is also Killing, the lemma gives NξT=TK for a positive constant and β=ξ/(kBTK). Its current item is draft and has a current ready Step 1 record, which is authoring readiness only.

Proof

1.1givenA1F1constructalgebra

For A,B∈A, let FA,B be the strip function supplied by [F1]. Define F~A,B(z):=FA,B(z/λ). If 0≤Im⁡z≤λβKℏ, then 0≤Im⁡(z/λ)≤βKℏ; hence F~ is bounded and continuous on the rescaled closed strip and holomorphic inside. For real τ, F~A,B(τ)=ω(Aατ/λ(B))=ω(Aατλ(B)), and at the upper edge F~A,B(τ+iλβKℏ)=ω(ατλ(B)A). Thus it is the required λβK-KMS function.

1.2givenA1F1algebra

Conversely, if F~A,B witnesses the β^-KMS property for αλ, define GA,B(z):=F~A,B(λz). Positive λ maps the strip of width (β^/λ)ℏ to the strip of width β^ℏ, so boundedness, boundary continuity and interior holomorphy are preserved. The lower edge is ω(Aαλtλ(B))=ω(Aαt(B)), and the upper edge is ω(αt(B)A). This proves the converse.

2.1givenA1A2F2step 1.1algebra∎

Along γx0, [F2] gives ξ(Nξ)=0, hence ddtKNξ(γx0(tK))=c ξ(Nξ)(γx0(tK))=0 and Nξ(γx0(tK))=N. By [A1] and γx0′=cξ, the proper-time definition yields dτdtK=c−1−g(γx0′,γx0′)=c−1−g(cξ,cξ)=N; integrating from 0 gives τ=NtK. Step 1.1 with λ=N gives βloc=NβK; by the stated definition, Tloc=(kBβloc)−1=TK/N. The result applies separately on each orbit; it constructs no global automorphism with position-dependent rescaling.

Depends on

Dependency tree · 2 levels

Sources