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.
Finite statistical microstate model
Finite discrete statistical models whose energies are numerical values in joules in the statewise instantaneous center-of-mass rest chart selected by separately supplied compatible mechanical data; no probability law or equilibration claim is part of the definition.
Definition
A finite statistical microstate model is a pair where is a finite nonempty set and assigns a finite numerical energy to each microstate. The physical energy of is , with its zero and any retained internal offsets fixed by the declared material model. For a physical internal-energy interpretation, the declared companion mechanical model supplies, for every admitted microstate preparation , a positive total mass and a center-of-mass position map with a defined componentwise velocity at that preparation, obeying the Galilean transformation conditions of Galilean inertial charts and the center-of-mass rest frame. That velocity selects the statewise instantaneous rest chart in which is recorded; a finite set and energy map alone do not construct these mechanical data or a common rest chart for a time interval. Bulk translational kinetic energy and separately tracked external-field energy are excluded from these internal-energy values. The energy zero and any internal offsets are fixed consistently across admitted states. If the statistical model also assigns a single equilibrium macrostate to a preparation, is its internal-energy coordinate of Equilibrium state domains; the pair alone does not assert that macroscopic identification. Equal energy values at distinct elements of count as distinct microstates.
When two such models are declared independent, their joint microstate set is the Cartesian product , and additivity of the microscopic energy is the explicit condition . Independence and this energy equation are model data; they do not follow merely from the two systems being separated. The definition itself assigns no weights, temperature, probability law, or dynamics.