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.
Van Hove regions and uniformly tempered exterior preparations
Classical positional pair-potential models in dimension d at least two, with free walls, periodic walls, or the explicitly bounded deterministic exterior class defined here.
Definition
Use the dimensionless coordinates, simple configurations, and pair potential of Stable regularly tempered classical positional preparation, with as stated in this physical scope. The boundary is the topological boundary in the Euclidean topology of , and . For a bounded measurable region , define its two-sided layer of width by A sequence of bounded measurable regions is van Hove if , , and, for every fixed , This is the two-sided Euclidean boundary-layer condition used by the mathematical shape suppliers; it controls points on both sides of . Increasing volume alone does not imply it. A free wall permits particles only in and includes no exterior particles. A periodic wall uses the specified periodic cell and its image convention.
For the deterministic exterior class, let and , with dimensionless volume . A configuration is locally finite if for every bounded set . For such , write . The parameter is dimensionless. Given , define For an interior finite configuration and , its exterior interaction is This sum is well-defined in . Indeed, Cauchy--Schwarz and the defining bound for give . Since is finite and bounded, for each fixed and all sufficiently large dyadic shells , one has for some . The absolute interaction on that shell is at most a constant times . These bounds are summable: monotonicity gives for a constant , and the tail integral is finite. Only finitely many near exterior points remain; if one contributes , set , and otherwise the near sum and absolutely convergent tail define . A positive infinite value has zero Boltzmann weight. The class is a fixed uniform bound on exterior cell counts, not permission for an arbitrary volume-filling external potential. The van Hove and uniformly tempered exterior conditions are separate boundary regimes.
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
- David Ruelle, Superstable Interactions in Classical Statistical Mechanics, Communications in Mathematical Physics 18 (1970), 127–159