Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 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.

Vacuum projectors obey the reverse adjacent Temperley–Lieb relation

Statement

Let C be a unitary spherical fusion category over C. Let a,b,c be simple objects, with a self-dual, Naa1=1, and supply the normalized vacuum-channel self-duality datum with sign κa∈{+1,−1} and positive spherical dimension da. For n≥3, take the fixed-boundary repeated-a path space Ha,n;b,c=Hom⁡C(c,Tn) with T0=b and Tj+1=Tj⊗a, as in Fixed-boundary anyonic fusion-path space. Let Pi=Pi,1 be the orthogonal local vacuum-channel projectors and put Ui=δaPi, where δa=κada. Then, for every 1≤i≤n−2,

Ui+1UiUi+1=Ui+1.

This supplies the reverse adjacent relation for the repeated-charge Temperley–Lieb family.

Facts & Assumptions

Given: The unitary spherical fusion category, self-dual charge a, normalized vacuum-channel cup/cap datum, fixed-boundary path space, and indices 1≤i≤n−2.

[F1]

Fixed-boundary anyonic fusion-path space: Ha,n;b,c=Hom⁡(c,b⊗a⊗n) has split-tree bases indexed by intermediate simple charges and every vertex multiplicity coordinate.

[F2]

Local anyonic channel projector: Pi,s=Fi−1ΠsFi, where Fi is the typed F-move coordinate matrix and Πs retains all multiplicity coordinates of pair output s.

[F3]

F-symbol as a recoupling matrix: for the three-site associator, the coefficient Ff,e is the target right-tree coordinate of the left-tree basis map after applying the inverse associator; the tree bases are orthonormal.

[F4]

Local channel projections are orthogonal idempotents: in a unitary fusion category with orthonormal split-tree bases, each local channel projector is an orthogonal projection.

[F5]

Frobenius–Schur sign in a normalized anyonic vacuum channel: da>0, κa∈{+1,−1}, and the normalized duality maps are coev⁡=da v and ev⁡=κada v†.

[F6]

The vacuum F-coefficient records the Frobenius–Schur sign: in the stated orthonormal vacuum gauge, (Faaaa)1,1=κa/da and δa=κada.

[F7]

Canonical F-move paths give the same channel operator: canonical F-move paths between the same fixed parenthesizations give the same local channel operator.

[F8]

Unitary fusion paths form an orthonormal Hilbert basis: the split Hom inner product on the path space is linear in its first variable and satisfies g†f=⟨f,g⟩id⁡c.

Proof

Given: The category and path data in the Statement, with the split-tree inner products and normalized vacuum gauge from [F2]–[F6].

1.1F1F2F4givenconstruct

Choose a parenthesization grouping the three sites ai,ai+1,ai+2 and decompose the split-tree basis by their simple total charge y and the spectator labels. If the first pair fuses to 1, then its fusion with the third a has total charge y=1⊗a≅a; the same is true if the last pair fuses to 1. On the y=a block each vacuum-channel subspace has dimension Naa1N1aa=1, since Naa1=1 and the tensor unit acts as the identity. On every y≇a block both projectors vanish. Each fixed spectator label and multiplicity coordinate gives a copy of this local block, where Pi and Pi+1 act as rank-one orthogonal projections onto unit vectors e and f, by [F4].

2.1F3F5F6step 1.1algebra

By the F-symbol coordinate convention in [F3], the vacuum-to-vacuum entry of the three-site F-move is the coordinate of one unit basis vector in the other tree basis. Therefore ∣⟨e,f⟩∣=∣(Faaaa)1,1∣=∣κa/da∣=1/da by [F5] and [F6], so ∣⟨e,f⟩∣2=da−2.

3.1F4F7F8step 1.1step 2.1algebra

For unit vectors e,f, the linear-first convention in [F8] gives the rank-one projections Pex=⟨x,e⟩e and Pfx=⟨x,f⟩f. Hence PfPePfx=⟨x,f⟩⟨f,e⟩⟨e,f⟩f=∣⟨e,f⟩∣2Pfx. Therefore Pi+1PiPi+1=da−2Pi+1 on each y=a spectator copy; on every other block both sides are zero. Tensoring with the spectator identities and transporting to the fixed path parenthesization preserves the relation by [F7].

4.1F5F6step 3.1algebra∎

Since δa=κada and κa2=1, δa2=da2. Thus Ui+1UiUi+1=δa3Pi+1PiPi+1=δa3da−2Pi+1=δaPi+1=Ui+1. The sign is retained in the final equality.

Remarks

The published anyonic projector proposition supplies the square relation, the left-oriented adjacent relation, and distant commutation, but its Statement does not list this reverse adjacent relation. The rank-one calculation above proves that missing direction from the same normalized F-coefficient, so the Hecke braid theorem can be applied to the actual anyonic family without assuming the omitted relation.

Depends on

Dependency tree · 2 levels

Sources