Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-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.

Hard-core exclusion retained at zero inverse temperature

Physical scope

A finite-volume positional hard-core model under the explicitly defined retained-admissibility beta-zero continuation; no universal infinite-temperature claim is made.

Example

In the dimensionless coordinates of Stable regularly tempered classical positional preparation, take d=1, an interval Λ=[0,L], and a hard-core exclusion distance a with 0<a<L. Both L and a are dimensionless; the physical interval length and exclusion distance are ℓ0L and ℓ0a in metres. Set φ(r)=+∞ for ∣r∣<a and 0 otherwise. Under the retained-admissibility zero-inverse-temperature preparation at z>0, the two-particle weight is zero on ∣x1−x2∣<a and equals z2 on ∣x1−x2∣≥a. Hence the retained grand law is not the unrestricted Poisson activity law, which assigns positive mass to the forbidden two-particle band. The conclusion concerns the finite positional continuation defined on the A page.

Facts & Assumptions

[F1]

Retained hard-core continuation at zero inverse temperature: at β=0 the adopted weight is zN1{HN<∞}.

[F2]

Indistinguishable-particle positional measure: the two-particle reference measure is 12dx1dx2.

[A1]

The hard-core potential forbids exactly the pairs with ∣x1−x2∣<a.

Verification

Given: 0<a<L, the finite interval, and the retained-admissibility convention.

1.1givenF1A1

By [F1] and [A1], every pair in the open band ∣x1−x2∣<a has zero retained weight, while every admissible pair has weight z2.

2.1givenF1F2step 1.1algebra∎

The band has positive dimensionless Lebesgue area L2−(L−a)2=2aL−a2>0; its collision diagonal has area zero. The unrestricted grand normalizer is ∑N≥0(zL)N/N!=ezL, so its probability of this two-particle band is e−zLz2(2aL−a2)/2>0. The retained grand normalizer is between 1 (the vacuum contribution) and ezL, so its law is defined and gives that band probability zero. Therefore the two probability laws differ.

Depends on

Dependency tree · 2 levels