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.
Classical Gibbs quantities and SI reference conventions
SI units and reference conventions for the specified classical lattice and continuum Gibbs models; no empirical calibration or material-fit claim.
Definition
Use SI units. Let be Boltzmann's constant in joules per kelvin, let be absolute temperature in kelvin, and define in joules. For a finite-alphabet lattice model in dimension , the lattice spacing is in metres; a spin is a dimensionless label. In the nearest-neighbor Ising convention the coupling and field parameter are energies in joules, so and are dimensionless. Here is an energy bias per spin, not by itself a magnetic-field strength.
For a finite nonempty region , set from Finite-range lattice interaction and conditional energy, with each physical interaction value and total energy measured in joules. Thus the partition below uses free boundary conditions: only interaction supports contained in contribute. Exterior-conditioned energies and their partitions carry a separate exterior label and are not denoted by this or . Let and define dimensionless pressure per site . When exists for cubes , define physical pressure in J m (pascals when ). For a stationary state on a finite alphabet (a probability invariant under every translation ), let with ; when the limit exists, its Shannon entropy density is in nats per site. The mean energy per site is in joules per site. Define reference spin entropy density and free-energy density ; both are per physical volume. Thus and have units J m, while has units J K m; for these are the usual per-cubic-metre units.
For a continuum model in dimension , let be position and momentum, let be particle mass in kilograms, and use kinetic energy . Assume Countable Choice for the Lebesgue change-of-variables interface The Axiom of Countable Choice (). Tonelli's theorem Tonelli's theorem for nonnegative measurable functions on a sigma-finite product and the one-dimensional Gaussian integral The Gaussian integral give . Set and apply the nonnegative change-of-variables theorem A C^1 diffeomorphism satisfies the change-of-variables formula for nonnegative Lebesgue measurable functions to the diffeomorphism of and . Since its Jacobian determinant is , Under the phase-space reference measure , with reference action in joule-seconds, the integrated momentum factor is For chemical potential in joules, define the classical activity , with units . Thus is a length and is inverse volume. This momentum integration explains the one-particle thermal factor; it does not derive particle indistinguishability or a factorial convention. The choice of is a reference convention, not a consequence of the classical equations of motion. For continuum interactions, the potential hypotheses and energy meaning are as in Stability, superstability and regular tails.
The parameter status in these formulas is model-relative. , , , and are inputs for the chosen lattice model; and are inputs for the chosen continuum model. Here is an energy bias per dimensionless spin, not a magnetic-field strength. The reference action is a primitive normalization convention, not a derived quantity or an assertion that it equals Planck's constant. In the current SI, has the exact defining value ; it is a fixed SI conversion constant, not a measured fit parameter in this model. The inverse temperature , thermal wavelength , activity , pressure and entropy densities, energy density , entropy density , and free-energy density are defined or derived from those inputs and the state as specified above; their formulas do not calibrate the inputs to a material or assert empirical accuracy.
Depends on
Finite-range lattice interaction and conditional energy
Stability, superstability and regular tails
The Gaussian integral
Tonelli's theorem for nonnegative measurable functions on a sigma-finite product
A C^1 diffeomorphism satisfies the change-of-variables formula for nonnegative Lebesgue measurable functions
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- Sascha Friedli and Yvan Velenik, Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction (complete author PDF, revised 2017)
- David Ruelle, Superstable Interactions in Classical Statistical Mechanics, Communications in Mathematical Physics 18 (1970), 127–159
- BIPM, SI base unit: kelvin