Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generated
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 full-phase interacting ensemble preparations

Physical scope

Adopted single-species classical massive-particle preparations for the specified superstable regular pair model and its explicitly matched phase reference; no assertion of dynamical equilibration, measured accuracy, or finite-volume grand convergence.

Postulate

Fix the model, physical reference conventions, mass, potential and energy window specified by Interacting marked phase-space and reference measures and Total-energy concentration and controlled canonical windows. This is a single-species model on the flat torus of side ℓ0L, represented by ΛL=[0,L)d. Identify the action reference a0 of Classical particle counting and physical observables with href=ℓ0p∗ from the marked model, and take the controls λ=(L,bc) in Canonical thermal preparation. Its physical Hamiltonian is HN,λ=HL,bcphys=E0HL,bc from Interacting marked phase-space and reference measures, so βphysHN,λ=bHL,bc. In the corresponding canonical coordinates, the exact-N reference RL,N of that mathematical model is e−VLmˉNphys, where mˉNphys is the one-species quotient reference of Classical particle counting and physical observables. The factor e−VL is independent of N and cancels when normalizing a fixed-N canonical law, a fixed-N band restriction, or the full grand-sector law. Adopt the following alternative preparations whenever their normalizations are finite and positive:

  1. At fixed exact particle number N, controls and T>0, use the canonical density proportional to e−βH relative to the declared phase reference, as in Canonical thermal preparation.
  2. For a sequence satisfying all hypotheses of Total-energy concentration and controlled canonical windows—including AC, the ultrafilter extension principle, DC, HB, an interior attainable density, the periodic exact-particle log-rate hypothesis near b, and differentiability at b—at fixed exact Nn use the uniform full-phase reference law restricted to its constructed band An. “Uniform” means normalized restriction of that finite reference measure; it is an energy-window preparation, not a zero-width surface measure. This postulate makes no existence claim for that specific band when those theorem hypotheses fail.
  3. For particle exchange, use the countable-sector grand preparation of Grand canonical particle-exchange preparation. Its full dimensionless activity is the fugacity zph:=eβphysμ>0, where βphys=1/(kBT) in J−1 and the chemical potential μ is in J per particle. When matching positional activity z=eα at inverse temperature b, choose zph=z/κb, as in Interacting marked phase-space and reference measures.

These laws are adopted statistical preparations. They do not follow from Hamiltonian energy conservation, do not assert that any isolated dynamics reaches these distributions, and do not encode an experimental observation. The band sequence is the particular controlled shrinking window constructed conditionally by Total-energy concentration and controlled canonical windows.

Depends on

Dependency tree · 2 levels

Sources