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 energy and fluctuation responses
Finite canonical model with fixed Hamiltonian, reference measure, particle number and controls on an open temperature interval satisfying local exponential-moment envelopes; no thermodynamic-limit claim.
Statement
For the canonical preparation Canonical thermal preparation, write for its measurable Hamiltonian and for its reference. With these data fixed independently of , let be finite and positive on an open interval of . If may equal , put , restrict to this measurable set, and evaluate energy moments on ; the canonical weight is zero outside it, and the restricted measure remains sigma-finite. In this statement and are the expectation and variance of . Assume the local envelope hypotheses of Dominated exponential normalization and covariance hold for the finite-valued statistic and on the restricted measure space. Under the canonical preparation Canonical thermal preparation, the mean energy obeys where and is the model heat capacity at the fixed controls. This is a finite-model response identity, not an empirical claim.
Facts & Assumptions
Given: The canonical preparation, fixed model/reference data, positive temperature, finite partition function and the local exponential-moment envelopes.
is positive and finite on the interval, with the envelope hypotheses of the cited exponential theorem for the finite restriction and its square.
, and all non-temperature controls are independent of , and with (SI quantities and unit conventions).
The state is the normalized canonical exponential density (Canonical thermal preparation).
Under the local envelope, the logarithmic partition derivatives are the mean and covariance of the sufficient statistic (Dominated exponential normalization and covariance).
Proof
Given: [A1]–[A2] and the canonical-density and differentiation facts [F1]–[F2].
On the restricted reference space of the Statement, apply [F2] with scalar statistic and parameter . Since the Gibbs density vanishes off , these expectations are the stated canonical energy moments. Thus and . Differentiating the first identity gives .
Since , the chain rule yields . A variance is an integral of a square, so it is nonnegative.