Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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

Physical scope

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 T>0, β=(kBT)−1 with the SI conventions of Stable regularly tempered classical positional preparation, and the corresponding positional energy. Write HΛ,Nfree=HN for a free region and, for a periodic cube ΛL, write HΛL,Nper=HL,per; in each case N=N(ω). Set CΛ,Nfin={ω∈CΛ,N:HΛ,Nbc(ω)<+∞}. This set is measurable because the pair potential is measurable and the periodic energy is a countable sum of measurable image terms. On it HΛ,Nbc 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 μΛ,N restricted to it; adopt ZΛ,Nbc=∫CΛ,Nfine−βHΛ,Nbc(ω) μΛ,N(dω),PΛ,Ncan(dω)=1CΛ,Nfin(ω)e−βHΛ,Nbc(ω)ZΛ,Nbc μΛ,N(dω), whenever 0<ZΛ,Nbc<∞. 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 z>0 to have weights zNe−βHΛ,Nbc on the finite-energy part of each sector and zero elsewhere, relative to the same indistinguishable positional measures. Its normalizer is ΞΛ(z,β)=∑N≥0zNZΛ,Nbc when finite. Here z is dimensionless relative to the reference intensity in Indistinguishable-particle positional measure, and α=log⁡z.

For the controlled positional shell of Exact-particle-number positional energy shell, adopt the conditional measure Mn 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