Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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.

Spin-half exchange realizes Temperley-Lieb at loop two

Statement

Let N≥1 and let HN=(C2)⊗N have the standard tensor-product Hermitian inner product, linear in its first argument, with ∣0⟩,∣1⟩ orthonormal on each factor. For 1≤i<N, let si be the swap of tensor factors i,i+1, let ∣ω⟩=(∣01⟩−∣10⟩)/2, and let Pi=I⊗(i−1)⊗∣ω⟩⟨ω∣⊗I⊗(N−i−1) be the projection onto this singlet on those two factors. Put ei:=I−si. Then these are the loop-weight-two Temperley-Lieb generators. In the Hecke normalization gi(q):=qI−ei, at q=1 one has gi(1)=si. For arbitrary real coefficients Ji, the finite exchange sum XN(J):=∑i=1N−1Jisi satisfies XN(J)=(∑i=1N−1Ji)I−∑i=1N−1Jiei. The equality gi(1)=si is internal to this spin-half representation; it does not identify its state space with the distinct Q=4 Potts representation.

Facts & Assumptions

Given: N≥1, HN=(C2)⊗N, adjacent swaps si, and real coefficients Ji.

[A1]

The chain length and real-coupling hypotheses are exactly those in the Statement.

[F1]

Spin-half swaps realize the Temperley–Lieb algebra at loop weight two: ei=I−si=2Pi and the ei satisfy the Temperley-Lieb relations with loop parameter 2.

[F2]

Potts local algebra and braid quotient: the Hecke-normalized generator is gi(q)=qI−ei; at q=1 it is I−ei.

Proof

1.1F1F2algebra

By [F1], ei=I−si and ei is the loop-weight-two Temperley-Lieb generator on this spin-half chain. Substituting q=1 in [F2] gives gi(1)=I−ei=I−(I−si)=si for every bond. This is an equality of operators on HN, with no identification of this space with the Q=4 Potts space.

2.1A1F1algebra∎

For each i, [F1] gives si=I−ei. Therefore XN(J)=∑i=1N−1Ji(I−ei)=(∑i=1N−1Ji)I−∑i=1N−1Jiei. When N=1, all sums are empty and both sides are the zero operator.

Remarks

No nonzero-q deformation is identified with this Hermitian swap representation. For the Potts Q=2,3 values, q is non-real and the relation gi=qI−ei alone supplies no star-preserving or unitary representation.

Depends on

Dependency tree · 2 levels

Sources