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.
Grand responses in beta and chemical potential
Grand preparation on a countable disjoint union with local uniform exponential-moment envelopes for energy and particle number; all derivatives are finite-model derivatives.
Statement
For the grand preparation Grand canonical particle-exchange preparation, write let and be its disjoint-union state space and reference, define on sector , and define the particle-number statistic . Write for in the sector sum, so Here and has units J per particle. Let , restrict to this measurable set, and compute energy moments there; the grand weight is zero outside it and the restricted measure is sigma-finite. Assume the local envelopes of Dominated exponential normalization and covariance hold uniformly on this restricted space for its finite-valued sufficient statistics and ; expectations written refer to . Then and, at fixed , The covariance is computed in the full number-exchanging state. No fixed- derivative or thermodynamic-limit identification is implied.
Facts & Assumptions
Given: A finite positive grand normalizer and uniform local exponential moment bounds for the joint energy and number variables.
The adopted grand density is with positive finite normalizer (Grand canonical particle-exchange preparation). In addition, assume the local common exponential-moment envelopes on stated above; these are hypotheses of this theorem, not consequences of the preparation postulate.
and is held fixed in the response (SI quantities and unit conventions).
Under common envelopes, logarithmic derivatives are means and covariances (Dominated exponential normalization and covariance).
Proof
Given: [A1]–[A2] and the grand-law and exponential-differentiation interfaces [F1].
Set and in [F1] on the restricted reference space. Its first and second derivatives give , , and . At fixed , the coordinate relation makes the derivative direction in coordinates, so .
At fixed , , so . At fixed , differentiating the first mean along direction gives . All terms are finite by [A1], proving the responses.