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.
The two-site bond model: exact canonical weights, mean energy, entropy and free energy of one particle on two sites
A finite exact computation in the declared one-particle two-site (bond) model of the finite-mode many-body realization: the hopping Hamiltonian on two sites, its two exact one-particle levels, the canonical preparation at assigned temperature, and the exact mean energy, entropy and free energy. The example is a model computation in a declared two-dimensional idealization; it asserts no physical molecule, no measured energy, no transition and no thermodynamic limit.
Example
Adopt P1, P2, P4 and P7 in the readings of Assigned sharp observables and the outcome law of the framework and Entropy, the Boltzmann constant and the free-energy functional of the declared finite-sector model, and work in the finite-mode realization of the declared fixed- model of The declared fixed-N many-body model: species sector, one-particle data, interaction and the sector energy observable with: one-particle space , declared sites an orthonormal basis of , particle number , single site-occupation sector, and the declared one-particle operator (the bond Hamiltonian) Adopt the canonical equilibrium postulate The canonical equilibrium-ensemble assumption: the Gibbs preparation of a declared model at assigned temperature at assigned temperature and inverse temperature , and read as the tunnelling splitting. Then:
(a) has the orthonormal eigenbasis so its eigenvalues are and ; equivalently is the two-level Hamiltonian of Closed formulas for the two-level canonical weights, mean energy, entropy and free energy with levels and and eigenvectors ;
(b) the canonical preparation of and hence of is with shifted partition sum and physical partition trace ;
(c) the exact means, entropy and free energy are and for every one has and ;
(d) scope: the computation is an exact statement about the declared two-dimensional bond model at the assigned temperature; it identifies no physical double-well or molecular system, asserts no measured splitting and no transition, and the temperature assignment is the tested identification of P7.
Verification
[L1] The supplied two-level formulas. For a two-dimensional space with orthonormal basis and , , : , is the corresponding mixture, with values in , and , with (Closed formulas for the two-level canonical weights, mean energy, entropy and free energy clauses (a)-(c)).
[L2] The declared model. The finite-mode realization of The declared fixed-N many-body model: species sector, one-particle data, interaction and the sector energy observable with , , one-particle operator and is a declared non-interacting model; its sector is itself and the canonical preparation is the Gibbs operator of the adopted ensemble postulate; the free-energy functional is by Entropy, the Boltzmann constant and the free-energy functional of the declared finite-sector model clause (e).
Proof technique: direct; diagonalise the two-by-two real symmetric matrix and substitute the supplied two-level formulas with after the shift by .
Given: the declared bond model with coupling , temperature , , the vectors , and [L1], [L2].
[Diagonalisation] In the basis the operator has the matrix ; the vectors , are orthogonal unit vectors and by direct evaluation, so is an orthonormal eigenbasis with eigenvalues and by Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely. Hence has the eigenvalues on and on , and it satisfies the hypothesis of [L1] with , , . This proves (a).
[Canonical data] Applying [L1] with gives and for ; since and both operators are functions of the same eigenbasis, the Gibbs operator of is the same , because the normalized Gibbs weights are unchanged by the shift: , so its partition trace is and division gives the same density. The mean of is , so , which lies in because for ; the entropy formula is that of [L1] at and satisfies by [L1], and is the free energy of by [L2] and [L1]. This proves (b) and (c) apart from the scope clause.
[Scope] The computation used only the declared two-dimensional model, its exact diagonalisation and the supplied two-level formulas; no physical double well, measured splitting, transition or thermodynamic limit entered, which is (d).
Remarks
- The shift by . Adding a constant to the Hamiltonian multiplies by an exponential and leaves the canonical preparation and the entropy unchanged while shifting the free energy by the same constant; the example uses this to instantiate the supplied two-level formulas, whose levels are and .
- Low- and high-temperature values. The formulas give and as the exponential factor is suppressed, and , as it approaches one; the example states the exact formulas and the bounds, not a limit theorem.
Depends on
The declared fixed-N many-body model: species sector, one-particle data, interaction and the sector energy observable
Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely
Entropy, the Boltzmann constant and the free-energy functional of the declared finite-sector model
The canonical equilibrium-ensemble assumption: the Gibbs preparation of a declared model at assigned temperature
Closed formulas for the two-level canonical weights, mean energy, entropy and free energy
Assigned sharp observables and the outcome law of the framework
Mean, second moment and variance of an assigned observable in a preparation
Dimensions, SI unit conventions and quantity types of the framework
State and composition postulate P1: Hilbert spaces, preparations and composite systems
Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions
Hilbert space
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 5.2 printed pages 79-81 (PDF pages 87-89): the double square well, the even and odd parity combinations and their splitting, with the two-level thermal reading following Section 6.4 printed pages 129-131
- I. Burmistrov and A. Lunkin, Lecture Notes on Statistical Mechanics (HSE, January 10, 2023), Section 1.1.2 printed page 13 and Section 1.1.5 printed page 15: the canonical partition function and free energy of a finite-level system