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.
Two-level Gibbs state has the physical-time KMS boundary factor
Example
Let with orthonormal basis , and let for an energy in joules. For in J, the finite Gibbs state has
Define and . With , the correlation for and is
At the upper strip edge , the exponential contributes , so the boundary value is , exactly the reversed-order Gibbs expectation. The full two-level Gibbs state is KMS for every matrix pair by Finite KMS condition exactly determines the Gibbs density; this example checks the physical-time sign and strip-width convention on a nontrivial pair. No measurement or material parameter is being reported.
Facts & Assumptions
Given: in joules, in J, in J s, the two-level Hilbert space and basis above, and the finite Gibbs state.
Physical-time KMS strip equilibrium condition: the physical-time KMS strip has width and its upper boundary reverses the order of the two observables.
Finite unitary dynamics and Gibbs KMS identity: for finite self-adjoint , the Gibbs density is and the finite-time evolution is .
Finite KMS condition exactly determines the Gibbs density: under its finite spectral-calculus and finite unital C-algebra clauses [A1]–[A2], the normalized finite Gibbs trace is a KMS state for every matrix pair.
Verification
Given: [F1]–[F3], , and the definitions of .
Since and , direct conjugation gives and . The Gibbs density is because its two diagonal exponential entries are and .
Using and , the lower correlation is . At the upper edge, . The exponents are dimensionless because and are dimensionless.
By [F3], the same finite Gibbs state satisfies the KMS strip identity for every pair in , not only for . The calculation in step 2.1 verifies that the chosen convention places at the upper boundary for this transition.
Remarks
For the reversed pair , , the lower value is and the upper value is ; the same Boltzmann factor relation holds with the energy difference reversed. All quantities here are model parameters or exact finite-matrix expressions, not empirical measurements.