Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge 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.

Open XXZ spin-half generators and Hamiltonian convention

Definition

Fix L≥2, γ∈R, q=eiγ, and loop parameter δ=q+q−1=2cos⁡γ. Let HL=(C2)⊗L with ordered one-site basis ∣↑⟩,∣↓⟩ and two-site basis ∣↑↑⟩,∣↑↓⟩,∣↓↑⟩,∣↓↓⟩. With the standard Pauli matrices X,Y,Z, define ei=I⊗(i−1)⊗U(q)⊗I⊗(L−i−1),1≤i<L, where U(q)=(00000q−1−100−1q00000)=−12(X⊗X+Y⊗Y+cos⁡γ Z⊗Z−cos⁡γ I4+isin⁡γ (Z⊗I2−I2⊗Z)). The open-chain Temperley–Lieb Hamiltonian convention is HL=−∑i=1L−1ei. No wrap-around term couples site L to site 1. This defines local operators; the following result proves their Temperley–Lieb relations.

Remarks

The loop convention is that ei2=δei. The basis order and the sign in the off-diagonal matrix entries are fixed as displayed; changing either changes the parameter comparison.

Depends on

Used by

Dependency tree · two levels

3 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources