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
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 , a prescribed temperature control in kelvins, as in SI quantities and unit conventions, and external pressure in J m, a fixed dimensionless shape that is Lebesgue measurable, meaning , and has Lebesgue measure (Lebesgue measurable sets, the family , and the restricted set function ), and a positive volume reference in m. Write , take to be product Lebesgue measure on , take to be Lebesgue measure on , and take to be Lebesgue measure on . Identify the position domain at volume by . The Jacobian is , which is the full position-volume factor because . Adopt the joint reference where is the action reference in J s. The factors and are dimensionless. Let be a product-measurable energy-valued Hamiltonian (in joules) for this reference, with marking forbidden states. Require for -almost every and every within-species permutation , acting by simultaneous permutation of the position and momentum particle coordinates. For the displayed single-species factor this group is ; for several species it is 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 . The product reference is sigma-finite: has finite measure, while and have countable finite-measure exhaustions; the factor is finite on each set where is bounded. Assume Adopt the probability density relative to . The displayed is the single-species convention; for several indistinguishable species with fixed counts , replace it by as in Classical particle counting and physical observables. The factor 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.