Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-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.

What the companion examples and the thought experiment establish

Physical scope

The recorded scope of the companion examples and thought experiment of the many-body and equilibrium pair: exact finite-mode or countable-mode model computations of canonical weights, occupations and readouts; the limits of their interpretation with respect to physical systems, empirical data and thermodynamic limits.

Recorded scope

The companion items contain three conditional examples and one hypothetical scenario in declared finite-mode or countable-mode models:

What they do not establish

None of these items contains measured data, a measured uncertainty, a calibration, a sampling model or a detector model; all numbers are exact model values in the declared finite-mode or countable-mode idealizations, and the assignment of a physical system to any of these models is a tested identification under P7 (Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions). In particular:

  • the bond model is not any particular molecule, and its splitting 2t is an assigned parameter, not a measured spectroscopic value;
  • the finite-mode examples are not ideal or interacting gases; they make no statement about a thermodynamic limit, pressure, condensation or a continuum of modes;
  • the comparison of readout means with canonical values in the thought experiment is a statement about the declared preparation and the exact unitary flow; it is not evidence for or against thermalisation in nature, and the canonical ensemble remains the adopted assumption of The canonical equilibrium-ensemble assumption: the Gibbs preparation of a declared model at assigned temperature;
  • the thought experiment uses the no-unitary-production conclusion (c) of Unitary evolution preserves entropy and cannot produce the canonical preparation from a different one. The separate entropy-conservation conclusion (a) of that theorem concerns the same finite closed-system class but is not a premise of the readout calculation; neither conclusion forbids or asserts open-system or environment-induced behaviour.

Source limits

The cited treatments supply the model formulas used here at the recorded locators; they do not supply measured values for these particular finite-mode or countable-mode models, and no source is used as an empirical premise on this page. Where a comparison with data would be attempted, the preparation, isolation, detection and sampling models plus the uncertainty of every assigned parameter would have to be declared and carried through, as P7 requires.

Depends on

Dependency tree · 2 levels

Sources