Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 d≥2 as stated in this physical scope. The boundary ∂Λ is the topological boundary in the Euclidean topology of Rd, and dist⁡(x,∂Λ)=inf⁡y∈∂Λ∣x−y∣2. For a bounded measurable region Λ, define its two-sided layer of width s>0 by ∂sΛ={x∈Rd:dist⁡(x,∂Λ)≤s}. A sequence (Λk)k≥1 of bounded measurable regions is van Hove if 0<∣Λk∣<∞, ∣Λk∣→∞, and, for every fixed s>0, ∣∂sΛk∣∣Λk∣⟶0. This is the two-sided Euclidean boundary-layer condition used by the mathematical shape suppliers; it controls points on both sides of ∂Λk. Increasing volume alone does not imply it. A free wall permits particles only in Λk and includes no exterior particles. A periodic wall uses the specified periodic cell and its image convention.

For the deterministic exterior class, let C=[−1/2,1/2)d and Λn=[−n−1/2,n+1/2)d, with dimensionless volume Vn=∣Λn∣. A configuration ζ⊂Rd is locally finite if ∣ζ∩K∣<∞ for every bounded set K⊂Rd. For such ζ, write NC+i(ζ)=∣ζ∩(C+i)∣. The parameter t is dimensionless. Given 0≤t<∞, define Ω(t)={ζ:∑i∈Λn∩ZdNC+i(ζ)2≤tVn for every integer n≥0}. For an interior finite configuration ω⊂Λn and ζ∈Ω(t), its exterior interaction is Wn(ω,ζ)=∑x∈ω∑y∈ζ∖Λnφ(x−y). This sum is well-defined in R∪{+∞}. Indeed, Cauchy--Schwarz and the defining bound for Ω(t) give ∣ζ∩Λm∣≤t Vm=Ot(md). Since ω is finite and bounded, for each fixed x∈ω and all sufficiently large dyadic shells 2k≤∣y∣2<2k+1, one has ∣x−y∣2≥c2k for some c>0. The absolute interaction on that shell is at most a constant times 2kdψ(c2k). These bounds are summable: monotonicity gives ∫c2k−1c2krd−1ψ(r) dr≥Cd2kdψ(c2k) for a constant Cd>0, and the tail integral is finite. Only finitely many near exterior points remain; if one contributes +∞, set Wn=+∞, and otherwise the near sum and absolutely convergent tail define Wn. A positive infinite value has zero Boltzmann weight. The class Ω(t) 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