Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedprecheck pendingjudge pass (gpt-6-luna)
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

Physical scope

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 Ns=Nt=3, a>0, and g0>0 in the adopted pure SU(2) Euclidean Wilson regulator. Let EΛ+ be the finite set of its positively oriented spatial and temporal links, and let CΛ:=SU(2)EΛ+ be the full link-configuration space with its finite-product topology and product Borel sigma-algebra. For U∈CΛ, let u0(U) be its positive spatial links at t=0. Let C be the elementary spatial plaquette at the origin in the (1,2)-plane at t=0, with positive boundary orientation, and let UC(u0) be the ordered product of its four links, using inverse matrices for reversed traversals. Define WC:CΛ→R by WC(U)=12ReTr⁡2(UC(u0(U))). For a vertex function Ω:Λ→SU(2), let Ω⋅U denote the link configuration with (Ω⋅U)vw=ΩvUvwΩw−1 on each positively oriented edge v→w; the gauge-invariance claim is WC(Ω⋅U)=WC(U). Under the model's unit convention WC is dimensionless. At the configuration with every link matrix equal to I2, the Wilson action is zero and WC=1. Thus WC 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.

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 Ns=Nt=3, a>0, g0>0, and natural units ℏ=c=1.

[A1]

The regulator is adopted in Compact Non-Abelian Finite-Lattice Regulator; all deductions below are conditional on that Euclidean finite-volume model.

[F1]

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.

[A2]

The Axiom of Choice: every family of nonempty sets has a choice function; full AC is used for normalized Haar probability and the L2 transfer-operator framework.

[F2]

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.

[F3]

Compact non-Abelian Lie-group structure of SU(2): every SU(2) element has matrix form (αβ−β‾α‾) with ∣α∣2+∣β∣2=1, so 12ReTr⁡2U∈[−1,1].

Proof

1.1givenA1algebra

When every link is I2, every plaquette product is I2. Each action term is β(1−12ReTr⁡2I2)=0, so SΛ=0; the ordered product around C is I2, hence WC=1. This evaluates the observable on one configuration only, not its probability or expectation.

1.2givenA1F3algebra

The coordinate projection U↦u0(U) is continuous for the finite-product topology, and matrix multiplication, inversion, and trace are continuous; hence WC:CΛ→R is continuous and Borel-measurable for the stated product Borel sigma-algebra. For a closed path C=(x0,ℓ1,x1,…,ℓm,xm) with xm=x0, each oriented factor transforms by the gauge matrix at its start and the inverse gauge matrix at its end. Adjacent factors cancel, leaving UC↦Ωx0UCΩx0−1; cyclicity of trace proves gauge invariance. By [F3], for V∈SU(2) one has 12ReTr⁡2V=Re⁡α∈[−1,1]. Thus WC is bounded by one in absolute value.

1.3givenA1F1A2F2

The choices Ns=Nt=3, a>0, and g0>0 satisfy the finite-lattice hypotheses of [F1]. Applying [F1] gives a finite positive partition function, a defined normalized expectation for this bounded WC, a bounded transfer operator preserving the Gauss sector, and a nonzero constant vector in that sector.

2.1givenA1F1step 1.3∎

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 WC on the chosen slice yields its stated finite-volume expectation. This is a fixed-lattice calculation; it contains no continuum or Lorentzian spectral assertion.

Depends on

Dependency tree · 2 levels

Sources