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.
Relative-shell canonical comparison preparation
Effective Newtonian relative two-body Hamiltonian on the fixed hard radial shell r0≤|q|≤R with canonical β>0 preparation; the center-of-mass mode is absent and the unbounded canonical momentum tail has no uniform slow-speed guarantee.
Postulate
Use positive masses in , reduced mass , in , relative position in metres, relative momentum in , and action reference in . Fix and . Adopt the relative phase region and Hamiltonian of Regulated relative Kepler phase volume and shell law: There are no center-of-mass variables and no identical-particle factor in this relative phase convention. Adopt a canonical preparation at inverse energy with and density relative to on all of . Its finite positive normalizer and normalized density follow from Exact relative-shell canonical normalization and response. Since is finite throughout this domain, the density is positive for arbitrarily large momentum magnitudes. This is a fixed relative-shell effective Newtonian model, distinct from the microcanonical preparation and Gibbs-volume entropy convention in Confined relative Kepler shell and volume entropy preparation.
Here and are fixed inputs; the reduced mass , coupling product , and Hamiltonian are the specified derived constructions. The partition function, density, temperature parameter and response are derived within this selected preparation.
Because canonical momenta are unbounded, this preparation does not have the whole-ensemble slow-motion bound imposed on the separate bounded-energy microcanonical branch. The postulate makes no claim that either distribution is dynamically reached or empirically observed.