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.
A finite SU(2) Wilson lattice and its gauge-invariant transfer sector
One bounded Wilson-loop observable and the group-invariant slice sector of the adopted pure SU(2) Euclidean regulator at fixed finite spatial and temporal sizes.
Example
Take , , and in the adopted pure SU(2) Euclidean Wilson regulator. Let be the finite set of its positively oriented spatial and temporal links, and let be the full link-configuration space with its finite-product topology and product Borel sigma-algebra. For , let be its positive spatial links at . Let be the elementary spatial plaquette at the origin in the -plane at , with positive boundary orientation, and let be the ordered product of its four links, using inverse matrices for reversed traversals. Define by . For a vertex function , let denote the link configuration with on each positively oriented edge ; the gauge-invariance claim is . Under the model's unit convention is dimensionless. At the configuration with every link matrix equal to , the Wilson action is zero and . Thus is a continuous, hence Borel-measurable, bounded gauge-invariant multiplication observable. Its normalized expectation exists; the one-step transfer operator is bounded and maps the group-invariant Gauss sector into itself, which contains the nonzero constant wavefunction; and cyclic iteration of its kernel reproduces the finite periodic Euclidean integral. These are exact finite-regulator statements; they assert no continuum area law or Lorentzian energy spectrum.
Example references
Facts & Assumptions
Given: The exact finite SU(2) lattice, Haar product measure, action, spatial gauge action, physical slice sector, and transfer kernel of Compact Non-Abelian Finite-Lattice Regulator, with , , , and natural units .
The regulator is adopted in Compact Non-Abelian Finite-Lattice Regulator; all deductions below are conditional on that Euclidean finite-volume model.
Finite SU(2) Wilson integrals and transfer-sector well-definedness: conditionally on its finite-lattice data input, bounded Wilson-loop expectations exist, the transfer operator is a contraction mapping into the closed group-invariant sector, the constant state is nonzero, and cyclic transfer kernels reconstruct the finite Euclidean integral.
The Axiom of Choice: every family of nonempty sets has a choice function; full AC is used for normalized Haar probability and the transfer-operator framework.
Normalized Haar probability on a compact group: under full AC, a compact Hausdorff group has a unique normalized left Haar probability that is right invariant.
Compact non-Abelian Lie-group structure of SU(2): every SU(2) element has matrix form with , so .
Proof
When every link is , every plaquette product is . Each action term is , so ; the ordered product around is , hence . This evaluates the observable on one configuration only, not its probability or expectation.
The coordinate projection is continuous for the finite-product topology, and matrix multiplication, inversion, and trace are continuous; hence is continuous and Borel-measurable for the stated product Borel sigma-algebra. For a closed path with , each oriented factor transforms by the gauge matrix at its start and the inverse gauge matrix at its end. Adjacent factors cancel, leaving ; cyclicity of trace proves gauge invariance. By [F3], for one has . Thus is bounded by one in absolute value.
The choices , , and satisfy the finite-lattice hypotheses of [F1]. Applying [F1] gives a finite positive partition function, a defined normalized expectation for this bounded , a bounded transfer operator preserving the Gauss sector, and a nonzero constant vector in that sector.
The same application of [F1] gives that the cyclic product of the one-step kernels integrates to the full periodic Euclidean Wilson weight, and that inserting on the chosen slice yields its stated finite-volume expectation. This is a fixed-lattice calculation; it contains no continuum or Lorentzian spectral assertion.