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.
Retained hard-core continuation at zero inverse temperature
Finite-volume positional models with forbidden pair separations; this is a declared beta-zero hard-admissibility continuation, not a claim about all infinite-temperature physical preparations.
Definition
For the pair potential of Stable regularly tempered classical positional preparation, let . A finite configuration is hard-admissible if every pair displacement avoids . For , define the retained-admissibility zero-inverse-temperature free-wall weight of to be Its finite-volume partition sum, when finite, is , using Indistinguishable-particle positional measure. This definition sets the weight of a forbidden configuration to zero; it does not assign a value to the undefined product . When the measure is the unrestricted Poisson activity model; for a nonempty hard core it is generally not Poisson. The convention is explicit model data and carries no statement about an arbitrary zero-width energy shell.
For a periodic cell of side in dimensionless coordinates, use the exact image energy of Stable regularly tempered classical positional preparation. Its periodic retained-admissibility weight is Thus every forbidden pair between distinct particles and every forbidden periodic-image pair, including a particle with one of its own nontrivial images, receives zero weight. When finite, the corresponding partition sum is . This is the periodic retained-admissibility convention; it is not an unrestricted zero-beta limit of a shell law.
Depends on
Dependency tree · 2 levels
Sources
- Hans-Otto Georgii, Large deviations and the equivalence of ensembles for Gibbsian particle systems with superstable interaction, Probability Theory and Related Fields 99 (1994), 171–195
- Konstantin K. Likharev, Essential Graduate Physics, Part SM: Statistical Mechanics (2024 author-hosted lecture notes)