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.
Scope limits for finite ensembles, shells, pressure and dephasing
A scope and hypothesis ledger for the preceding finite, countable, measurable, lattice, regular-shell and discrete-quantum branches; it supplies no additional ensemble-equivalence, ergodicity, thermalization, or empirical claim.
Remarks
The finite canonical, maximum-entropy, independent-factorization and finite-bath claims concern the exact finite state spaces and shell-weight assumptions stated in their items. Countable and measurable derivative identities require their local summable or integrable moment envelopes; a lower energy bound alone does not normalize the partition function. The lattice bulk-pressure and concentration claims apply only to the bounded finite-range lattice model and, for concentration, a differentiability point of the limiting log-partition density. The page-level continuum-pressure prerequisite is a distinct interaction model; no stable-tempered continuum limit is inferred from the lattice theorem.
Regular-shell preparation requires a nonempty compact regular level, the normalized coarea measure, and AC; it does not require a globally defined flow. The separate invariant-shell theorem adds a smooth invertible Hamiltonian flow on the full band, with time in seconds, and proves measure invariance only. Neither result implies ergodicity or equality of long-time averages with the shell law. The quantum Gibbs and finite-mode trace identities explicitly assume AC and Countable Choice, a semibounded self-adjoint generator, a positive finite Gibbs trace and the stated moment envelope. In the general quantum branch, the mean, variance and von Neumann entropy are defined by the supplied Gibbs eigenfamily sums, so no unbounded operator-trace product is being asserted. Discrete dephasing is a trace-norm Cesaro limit with degenerate eigenspaces retained, not pointwise relaxation or a Gibbs limit.
Boltzmann microstate entropy, finite Gibbs entropy, von Neumann entropy and the macroscopic entropy function are distinct objects until a model supplies an explicit identification. The statistical value is not silently identified with a macroscopic Helmholtz or grand potential. Canonical and microcanonical sampling are adopted preparation assumptions. None of the finite probability identities, continuum or lattice pressure limits, shell-invariance results or quantum trace calculations reports an experiment or establishes that nature follows the model.
Depends on
The Axiom of Choice
The Axiom of Countable Choice ()
Finite statistical microstate model
Regular Hamiltonian shell preparation data
Countable canonical identities under a local moment envelope
Energy-density concentration at differentiable lattice pressure
Finite-bath canonical error under a smooth shell-entropy model
Finite canonical partition, energy, variance, entropy and free-energy identities
Canonical weights uniquely maximize finite-state entropy at their mean energy
Finite bosonic and fermionic mode partition and occupation formulas
Finite-sector quantum Gibbs preparation minimizes the declared free-energy functional
General quantum Gibbs normalization and canonical identities
Partition, Gibbs-entropy and free-energy factorization for independent finite systems
Invariance of a regular-shell microcanonical preparation
Bulk log-partition pressure for a bounded finite-range lattice model
Measurable canonical identities for a dimensionless reference measure
Cesaro dephasing for a discrete trace-class quantum model
Canonical sampling assumption for finite and normalized statistical models
Microcanonical sampling assumption