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
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 , an interval , and a hard-core exclusion distance with . Both and are dimensionless; the physical interval length and exclusion distance are and in metres. Set for and otherwise. Under the retained-admissibility zero-inverse-temperature preparation at , the two-particle weight is zero on and equals on . 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
Retained hard-core continuation at zero inverse temperature: at the adopted weight is .
Indistinguishable-particle positional measure: the two-particle reference measure is .
The hard-core potential forbids exactly the pairs with .
Verification
Given: , the finite interval, and the retained-admissibility convention.
By [F1] and [A1], every pair in the open band has zero retained weight, while every admissible pair has weight .
The band has positive dimensionless Lebesgue area ; its collision diagonal has area zero. The unrestricted grand normalizer is , so its probability of this two-particle band is . The retained grand normalizer is between (the vacuum contribution) and , so its law is defined and gives that band probability zero. Therefore the two probability laws differ.