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.

Isothermal-isobaric joint preparation

Physical scope

Fixed finite particle number with a classical shape-scaled domain and a declared uniform dV/V0 volume prior; alternative piston measures define different preparations.

Postulate

Fix integers N,d≥1, a prescribed temperature control T>0 in kelvins, β=(kBT)−1 as in SI quantities and unit conventions, and external pressure Pext>0 in J m−d, a fixed dimensionless shape Q1⊆Rd that is Lebesgue measurable, meaning Q1∈L(Rd), and has Lebesgue measure ∣Q1∣d:=λd(Q1)=1 (Lebesgue measurable sets, the family L(Rn), and the restricted set function λn), and a positive volume reference V0 in md. Write y=(y1,…,yN)∈Q1N, take dy to be product Lebesgue measure on Q1N, take dp to be Lebesgue measure on RdN, and take dV to be Lebesgue measure on (0,∞). Identify the position domain at volume V>0 by qi=V1/dyi. The Jacobian is VN, which is the full position-volume factor because ∣Q1∣d=1. Adopt the joint reference dνN=dVV0 VN dy dpN!a0dN, where a0>0 is the action reference in J s. The factors dV/V0 and VNdy dp/a0dN are dimensionless. Let HN:(0,∞)×Q1N×RdN→R∪{+∞} be a product-measurable energy-valued Hamiltonian (in joules) for this reference, with +∞ marking forbidden states. Require HN(V,g⋅(y,p))=HN(V,y,p) for νN-almost every (V,y,p) and every within-species permutation g, acting by simultaneous permutation of the position and momentum particle coordinates. For the displayed single-species factor this group is SN; for several species it is ∏aSNa as in Classical particle counting and physical observables. The volume coordinate is unchanged by this action, so the Gibbs density admits an invariant representative on the labelled lift. Set e−β(+∞+PextV):=0. The product reference νN is sigma-finite: Q1N has finite measure, while (0,∞) and RdN have countable finite-measure exhaustions; the factor VN is finite on each set where V is bounded. Assume 0<ΔN:=∫(0,∞)×Q1N×RdNe−β(HN(V,y,p)+PextV) dνN<∞. Adopt the probability density ρN(V,y,p):=ΔN−1e−β(HN(V,y,p)+PextV) relative to νN. The displayed N! is the single-species convention; for several indistinguishable species with fixed counts Na, replace it by ∏aNa! as in Classical particle counting and physical observables. The factor dV/V0 is an explicit volume-reference convention; a different piston state measure gives a different preparation. This postulate includes no piston kinetic energy unless it is explicitly included in the Hamiltonian, and does not claim a smooth wall dynamics.

Depends on

Dependency tree · 2 levels

Sources