Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 −kBTlog⁡Z 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

Dependency tree · 2 levels

Sources