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.
Constructed independent cell Gibbs states
Statement
Let be finite. For each cell , let be a complex Hilbert space of finite dimension , let be a Hermitian proper Hamiltonian in joules, and let be a dimensionless number observable whose eigenvalues lie in . Assume . Operators on the total space mean their lifts acting on the th tensor factor and as the identity on the other factors; no intercell interaction is included.
Let be a smooth time-oriented Lorentzian four-manifold with signature , and let be a connected open set on which a smooth future-directed timelike Killing field is defined. Use length coordinates and the corresponding dimensionless components of . Define its dimensionless lapse . Let be the speed of light in , Boltzmann's constant in , and let be a global smooth real one-form with SI components in tesla-metres, with components in teslas, and a global smooth compensator in tesla-metres with . Define in volts. Let and be smooth fields in kelvins and joules per particle. Fix a common particle rest mass in kilograms and charge in coulombs, put in joules, and define , in , and dimensionlessly. On the future massive shell , where has energy-vector units and has units , let , as defined for the same charged data in Global electrochemical redshift from charged Liouville stationarity, and assume the exact whole-shell stationarity condition for every , where is the charged transport field in that supplier's formulation. This is the stationarity premise of Global electrochemical redshift from charged Liouville stationarity. Choose a cell-location map and set . Define the lapse, compensated potential, proper temperature, and chemical potential at cell by evaluation: The same theorem supplies constants and such that where is the common particle charge in coulombs. This use of the charged smooth-geometry supplier retains its explicit assumption.
Set in joules, , , and . Then the grand generator is Hermitian and The finite partition sums are positive and finite, with . The normalized Gibbs density factorizes exactly: It is a -KMS state for the grand-generator dynamics on the full finite matrix algebra. On the neutral subalgebra , grand-generator and physical dynamics coincide, so the restricted state is -KMS for the physical dynamics there. This constructs only independent finite cells; it does not claim that an interacting system's reduced cell states are Gibbs states.
Facts & Assumptions
Given: The finite cells, commuting local Hamiltonians and number operators, common charge and gauge reference, positive lapse and temperature, and the global stationarity hypotheses in the Statement.
The cell-location map is , , and , , , and . On , , , , , and . The exact stationarity premise is at every future-shell point for on with future-directed, in the charged transport formulation used by Global electrochemical redshift from charged Liouville stationarity; the global compensator is required for its constants.
The Axiom of Countable Choice () states that every countable family of nonempty sets has a choice function. It is the explicit foundational assumption of the smooth charged-geometry carrier used by Global electrochemical redshift from charged Liouville stationarity; this theorem and its consumers retain that assumption, with no stronger choice principle.
Finite matrix spectral and state calculus: every Hermitian matrix on a nonzero finite-dimensional complex inner-product space has a real spectral decomposition, independent of the basis inside each eigenspace; its finite trace is cyclic.
Finite unitary dynamics and Gibbs KMS identity: for a finite-dimensional Hermitian generator and , is stationary and is KMS for with physical-time strip width seconds.
Global electrochemical redshift from charged Liouville stationarity: under the connected-domain and smooth-field hypotheses, stationarity means on the entire future massive shell for ; with the global potential compensator it yields constants and such that and throughout . Evaluation at gives the cell relations. This supplier carries [A2]. Its current item is draft with a current ready Step 1 record; that records authoring readiness, not independent proof acceptance.
The QSM suppliers [F1] and [F2] are also current draft carriers with current ready Step 1 records; their proof status is not upgraded by this use.
Proof
Apply [F3] under the inherited smooth charged-geometry assumption [A2] and the exact whole-shell stationarity premise in [A1]. For each cell and . The geometric and thermodynamic quantities use the conventions in [A1]. Therefore , and the local grand generator satisfies . Summing this identity gives .
Each pair is simultaneously diagonalizable: diagonalize using [F1]; each eigenspace of is invariant under because ; diagonalize the Hermitian restriction of on each of the finitely many eigenspaces. The resulting orthonormal basis of diagonalizes . The tensor products of these bases form an orthonormal basis of , and in that basis has eigenvalue on the basis vector indexed by .
The finite trace in that product basis is Each factor is a finite sum of strictly positive reals, so and . Dividing each diagonal weight by this product gives , and .
Apply [F2] to the finite-dimensional Hermitian matrix and : is a state and is KMS for on .
Since , the exponentials of these two matrices commute and . For , commutes with , so . The algebra is closed under products, adjoints and linear combinations and is invariant under . Restricting the state and the same bounded strip functions from step 4.1 to proves the physical KMS condition there. No KMS claim for charged observables is made.
Remarks
All deductions are conditional on the actual interfaces in [F1]–[F3]. In particular, the charged redshift relation is used at its stated global-compensator and whole-shell hypotheses; no generic curved-spacetime quantum state is inferred.