Alphabeta Math
PostulateStatement: Literature-sourcedProof: 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.

Canonical initial preparation for a finite protocol

Physical scope

The start of the specified finite-state protocol is modeled as a canonical preparation at one positive reservoir temperature; preparation success and equilibration are not derived.

Postulate

For a protocol of Finite driven protocol and path work, fix a bath temperature Tb>0 kelvin and set β=(kBTb)−1 in joules−1, using the exact constant and SI conventions of SI quantities and unit conventions. The finite-state clause of the adopted Canonical sampling assumption for finite and normalized statistical models then gives the stage-zero law π0(i)=e−βE0(i)/Z0; adopt that the initial microstate is drawn from this law, so μ0=π0. Here Ω is finite and nonempty and E0(i) is finite, so 0<Z0<∞ as required by that clause. This is a model premise about the preparation distribution. It does not follow from the finite partition-sum definition, does not assert that an arbitrary system equilibrates in finite time, and does not report a measured preparation. The countable-state and measure-integral branches of Canonical sampling assumption for finite and normalized statistical models are not used.

Depends on

Dependency tree · 2 levels

Sources