Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Adopted finite canonical and band preparation rules

Physical scope

Adopted preparation assignments for the explicitly finite, noninteracting q-level tensor model: canonical finite-temperature density and, when nonempty, a uniform exact energy-band density. These rules are conditional model inputs; they do not assert dynamical thermalization, experimental frequencies, data, or a continuum or interacting limit.

Postulate

For the finite q-level tensor model of Additive spectral Hamiltonian and normalized ensembles, adopt the following preparation rules in addition to the state and outcome assumptions P1 and P2 of State and composition postulate P1: Hilbert spaces, preparations and composite systems and Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes. The quantities in this item are model assignments; they are not inferred from the cited texts or from data.

  1. For declared temperature T>0 kelvin and Boltzmann constant kB=1.380649×10−23 J K−1, the fixed exact SI Boltzmann constant, use β=(kBT)−1>0 joules−1. In this formulation kB is the primitive SI conversion constant between temperature and energy; it is not derived from this finite-level model or fitted from its data. The real scalar levels ej in Additive spectral Hamiltonian and normalized ensembles are primitive model energy parameters in joules. The total label energy E(j1,…,jN)=∑a=1Neja and the one-site canonical mean E=∑j=1qpjej defined there are derived scalar energies in joules. Adopt the canonical finite density γN of that definition.
  2. For declared band width δN≥0 in joules, if its label set ΓN is nonempty, the uniform band preparation is the density σN=ΠN/∣ΓN∣ from that definition. If the set is empty, this normalized preparation is undefined and no band state is assigned.
  3. For a stated finite POVM (Ma) on the register, the outcome law is the adopted Born law pa=Tr⁡(ρMa) of P2. A prediction is the resulting model probability, not a reported detector frequency.

The positive-temperature interpretation uses SI units as fixed in Dimensions, SI unit conventions and quantity types of the framework. No preparation mechanism, thermalization process, sampling law, apparatus error, or observed data is asserted. A statement that a physical preparation realizes one of these densities requires a separate empirical identification and uncertainty analysis.

Depends on

Dependency tree · 2 levels

Sources