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 and let have the standard tensor-product Hermitian inner product, linear in its first argument, with orthonormal on each factor. For , let be the swap of tensor factors , let , and let be the projection onto this singlet on those two factors. Put . Then these are the loop-weight-two Temperley-Lieb generators. In the Hecke normalization , at one has . For arbitrary real coefficients , the finite exchange sum satisfies The equality is internal to this spin-half representation; it does not identify its state space with the distinct Potts representation.
Statement references
Facts & Assumptions
Given: , , adjacent swaps , and real coefficients .
The chain length and real-coupling hypotheses are exactly those in the Statement.
Spin-half swaps realize the Temperley–Lieb algebra at loop weight two: and the satisfy the Temperley-Lieb relations with loop parameter .
Potts local algebra and braid quotient: the Hecke-normalized generator is ; at it is .
Proof
By [F1], and is the loop-weight-two Temperley-Lieb generator on this spin-half chain. Substituting in [F2] gives for every bond. This is an equality of operators on , with no identification of this space with the Potts space.
For each , [F1] gives . Therefore When , all sums are empty and both sides are the zero operator.
Remarks
No nonzero- deformation is identified with this Hermitian swap representation. For the Potts values, is non-real and the relation alone supplies no star-preserving or unitary representation.