Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-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.

Canonical energy and fluctuation responses

Physical scope

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 H:=HN,λ:ΓN→R∪{+∞} for its measurable Hamiltonian and m:=mNphys for its reference. With these data fixed independently of T, let Z(β)=∫e−βHdm be finite and positive on an open interval of β>0. If H may equal +∞, put SH:={x:H(x)<∞}, restrict m to this measurable set, and evaluate energy moments on SH; the canonical weight is zero outside it, and the restricted measure remains sigma-finite. In this statement U and Var⁡(H) are the expectation and variance of H∣SH. Assume the local envelope hypotheses of Dominated exponential normalization and covariance hold for the finite-valued statistic X=H∣SH and θ=−β on the restricted measure space. Under the canonical preparation Canonical thermal preparation, the mean energy U=⟨H⟩ obeys ∂βlog⁡Z=−U,∂βU=−Var⁡(H),CV:=∂TU=Var⁡(H)kBT2≥0, where β=(kBT)−1 and CV 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.

[A1]

Z(β) is positive and finite on the interval, with the envelope hypotheses of the cited exponential theorem for the finite restriction H∣SH and its square.

[A2]

H, m and all non-temperature controls are independent of T, and β=(kBT)−1 with kB>0 (SI quantities and unit conventions).

[F1]

The state is the normalized canonical exponential density (Canonical thermal preparation).

[F2]

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].

1.1A1F1F2algebra

On the restricted reference space of the Statement, apply [F2] with scalar statistic X=H∣SH and parameter θ=−β. Since the Gibbs density vanishes off SH, these expectations are the stated canonical energy moments. Thus ∂βlog⁡Z=−⟨H⟩=−U and ∂β2log⁡Z=Var⁡(H). Differentiating the first identity gives ∂βU=−Var⁡(H).

2.1A2step 1.1algebra∎

Since dβ/dT=−1/(kBT2), the chain rule yields ∂TU=(−Var⁡(H))(−1/(kBT2))=Var⁡(H)/(kBT2). A variance is an integral of a square, so it is nonnegative.

Depends on

Dependency tree · 2 levels

Sources