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-volume equilibrium ensemble sampling
Adopted canonical, grand-canonical, and positional microcanonical preparations of a classical pair-potential model in a stated finite region; no dynamical relaxation, ergodicity, or empirical thermalization is asserted.
Postulate
For a specified finite region and free or periodic boundary preparation, take , with the SI conventions of Stable regularly tempered classical positional preparation, and the corresponding positional energy. Write for a free region and, for a periodic cube , write ; in each case . Set . This set is measurable because the pair potential is measurable and the periodic energy is a countable sum of measurable image terms. On it is real-valued. Specialize the measurable-model canonical preparation of Canonical sampling assumption for finite and normalized statistical models to this set with reference measure restricted to it; adopt whenever . Define the Boltzmann factor to be zero on configurations with energy ; thus no value of an exponential at is needed. Separately adopt the grand-canonical law at activity to have weights on the finite-energy part of each sector and zero elsewhere, relative to the same indistinguishable positional measures. Its normalizer is when finite. Here is dimensionless relative to the reference intensity in Indistinguishable-particle positional measure, and .
For the controlled positional shell of Exact-particle-number positional energy shell, adopt the conditional measure only when its shell has positive finite reference measure. These are probability-law preparations used to define the model. They are not derived from Hamiltonian trajectories, and they do not assert that a laboratory apparatus reaches any of them. The inverse-temperature-zero hard-core continuation is governed separately by Retained hard-core continuation at zero inverse temperature.
Depends on
Dependency tree · 2 levels
Sources
- David Tong, Statistical Physics (author-hosted Cambridge lecture notes)
- Konstantin K. Likharev, Essential Graduate Physics, Part SM: Statistical Mechanics (2024 author-hosted lecture notes)
- Hans-Otto Georgii, Large deviations and the equivalence of ensembles for Gibbsian particle systems with superstable interaction, Probability Theory and Related Fields 99 (1994), 171–195