Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 ϵ:Ω→R assigns a finite numerical energy to each microstate. The physical energy of x∈Ω is E(x)=ϵ(x) J, 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 x, 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 E(x) 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, U 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 ΩA×ΩB, and additivity of the microscopic energy is the explicit condition ϵAB(x,y)=ϵA(x)+ϵB(y). 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.

Depends on

Dependency tree · 2 levels

Sources