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.

Retained hard-core continuation at zero inverse temperature

Physical scope

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 B={x∈Rd:φ(x)=+∞}. A finite configuration is hard-admissible if every pair displacement avoids B. For z>0, define the retained-admissibility zero-inverse-temperature free-wall weight of ω to be w0(ω)=zN(ω)1{HN(ω)(ω)<∞}. Its finite-volume partition sum, when finite, is ΞΛret,0(z)=∑N≥0∫w0(ω) μΛ,N(dω), 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 0⋅(+∞). When B=∅ 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 L in dimensionless coordinates, use the exact image energy HL,per of Stable regularly tempered classical positional preparation. Its periodic retained-admissibility weight is wL,0per(ω)=zN(ω)1{HL,per(ω)<+∞}=zN(ω)1{φ(y−x)<+∞ for every x∈ω, y∈ωper, y≠x}. 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 ΞLret,0,per(z)=∑N≥0∫wL,0per dμΛL,N. 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