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.
Exact-particle-number positional energy shell
Finite periodic boxes of the classical pair-potential positional model; shells constrain pair configuration energy only and exclude kinetic momentum energy.
Definition
Use , its side length and dimensionless volume , the periodic positional energy of Stable regularly tempered classical positional preparation, and the exact- measure of Indistinguishable-particle positional measure. Given , a reduced configuration-energy center joules per dimensionless reference volume, and a width in the same units, define When , the uniform positional shell law is A shrinking energy-density shell uses some specified sequence . Its total energy width is , which is but need not be microscopic or bounded. Existence of a normalizing shell and the existence of a suitable shrinking sequence are separate theorem obligations. This is not a surface measure on an exact-energy hypersurface and not a phase-space shell for .