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.
Finite Potts Swendsen–Wang update
Definition
Input a finite simple graph , an integer , finite activities for , and a spin configuration , using the Potts and FK conventions of the finite Potts/FK weight definition. For each edge , if set absent. If , draw an independent uniform and place in exactly when . For each connected component of , draw an independent uniform and assign its vertices the common color , with the value used when . Return the resulting spin configuration . The finite graph has finitely many edges and components, so the procedure uses finitely many draws and operations. At the edge is never activated; finite ensures the activation probability is less than one.
Definition references
Remarks
The algorithm defines one full update of a finite-state chain. Its definition asserts neither rapid mixing nor any bound uniform in graph size, temperature, or critical parameters.