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 be a unital complex -algebra and let be a strongly continuous one-parameter group of -automorphisms of . Let be a -KMS state for in the physical-time convention of Physical-time KMS strip equilibrium condition, where has units and has units . For a constant dimensionless , define where and are real time parameters in seconds. Then is a -KMS state for , with strip width seconds. Conversely, if is a -KMS state for , then it is a -KMS state for .
For the geometric interpretation, let be a connected open subset of a smooth time-oriented Lorentzian four-manifold of signature , and let be a smooth future-directed timelike Killing field on with dimensionless components in length coordinates , where is the speed of light in . Define and . For a selected point , let be an interval in seconds containing , and let be the integral curve of with , so ; this is the Killing orbit through with Killing-time parameter . For a cell assigned to , take and denote this curve by . Define its proper-time parameter from the metric by By Killing temperature normalization and rigidity, , so is constant along this orbit. The metric definition then gives and, with the chosen origins, ; equivalently for . For in and reference temperature in kelvins, the inverse temperature rescales orbitwise to ; defining gives . No spatially varying lapse is treated as one global time-rescaled automorphism group.
Facts & Assumptions
Given: A unital complex -algebra, a strongly continuous -automorphism group, a -KMS state in physical time, and a constant .
For a selected point , is an interval in seconds containing , is with and , and is its proper time in seconds. For a cell at , and this curve is denoted . The positive lapse is constant along the orbit by [F2]; is the constant used in the rescaling.
The Axiom of Countable Choice () is the explicit assumption on the smooth stationary geometry carrier used by [F2]; no stronger choice principle is used.
Physical-time KMS strip equilibrium condition: a -KMS state for a strongly continuous automorphism group has, for every , a bounded function continuous on , holomorphic inside, and with boundary values and .
Killing temperature normalization and rigidity: under [A2] and its selected stationary-carrier hypotheses, its proof derives from the Killing equation and metric compatibility; when the inverse-temperature vector is also Killing, the lemma gives for a positive constant and . Its current item is draft and has a current ready Step 1 record, which is authoring readiness only.
Proof
For , let be the strip function supplied by [F1]. Define . If , then ; hence is bounded and continuous on the rescaled closed strip and holomorphic inside. For real , , and at the upper edge . Thus it is the required -KMS function.
Conversely, if witnesses the -KMS property for , define . Positive maps the strip of width to the strip of width , so boundedness, boundary continuity and interior holomorphy are preserved. The lower edge is , and the upper edge is . This proves the converse.
Along , [F2] gives , hence and . By [A1] and , the proper-time definition yields ; integrating from gives . Step 1.1 with gives ; by the stated definition, . The result applies separately on each orbit; it constructs no global automorphism with position-dependent rescaling.