Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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.

Fibonacci B6 path projectors satisfy the braid relations

Statement

Use the Fibonacci fusion rule τ⊗τ=1⊕τ and the fixed-chirality data Fττττ=(ϕ−1ϕ−1/2ϕ−1/2−ϕ−1) and r=Rτ/R1=e−3πi/5. The fixed-total-charge B6 path bases are

P1={0101010,0101110,0110110,0111010,0111110},

Pτ={0101011,0101101,0101111,0110101,0110111,0111011,0111101,0111111},

where each path is (x0,…,x6), x0=0 is the unit label, x1=1 is τ, and adjacent labels obey the fusion rule. For d0=1,d1=ϕ, define Ei on either path basis by (Ei)x,y={dxidyi/dxi−1,xj=yj (j≠i), xi−1=xi+1=yi−1=yi+1,0,otherwise,Pi:=ϕ−1Ei. Then Pi are orthogonal projections, have ranks 2 on P1 and 3 on Pτ, satisfy PiPi+1Pi=ϕ−2Pi and commute at separation at least two. Consequently Bi=rI+(1−r)Pi are unitary matrices satisfying the Artin relations of B6, with det⁡Bi=r3 on V(τ6→1) and det⁡Bi=r5 on V(τ6→τ).

Facts & Assumptions

Given: The fixed Fibonacci fusion rule, the unitary fusion-tree bases, and the chiral F/R coordinates displayed in the Statement.

[F2]

A fusion-tree basis retains each admissible intermediate charge and vertex multiplicity index. The current supplier body was inspected. Multiplicity-aware fusion-tree basis

[A1]

Assume the Fibonacci fusion rule and the fixed-chirality data displayed in the Statement: the normalized pair-channel eigenvalues are 1,r, and the nontrivial recoupling block is the displayed F matrix. The actual Fibonacci data carrier states this fusion rule and these fixed sector matrices. Fibonacci fusion data and chiral convention

Proof

1.1givenA1F2constructalgebra

Starting with (x0,x1)=(0,1), the fusion rule permits only xj+1=1 when xj=0, and permits xj+1∈{0,1} when xj=1. Enumerating the five remaining transitions with endpoint x6=0 or 1 gives exactly the two path sets displayed in the Statement; hence the block dimensions are 5 and 8. Also r5=−1 and r≠−1, so r4−r3+r2−r+1=0. For y=r+r−1, division by r2 gives y2−y−1=0; since y=2cos⁡(3π/5)<0, y=−ϕ−1. Thus r2+ϕ−1r+1=0.

1.2givenA1F2algebra

In a fixed left-tree basis, Pi is the projection onto pair channel 1. The F-move gives the only nontrivial local block, on the two intermediate channels (1,τ): (ϕ−2ϕ−3/2ϕ−3/2ϕ−1). Its square equals itself because ϕ−4+ϕ−3=ϕ−2, ϕ−3/2(ϕ−2+ϕ−1)=ϕ−3/2, and ϕ−3+ϕ−2=ϕ−1; its entries are real symmetric. When the surrounding charge is the unit, the only allowed pair-channel block is [1]. Thus each Pi=Pi∗=Pi2. Counting the diagonal entries of these blocks on the listed paths gives tr⁡Pi=2 on P1 and 3 on Pτ, so these are the ranks.

1.3A1algebra

On the nontrivial three-strand total-τ block, the adjacent projections are P=∣e1⟩⟨e1∣ and Q=∣f1⟩⟨f1∣, where f1=(ϕ−1,ϕ−1/2) is the first column of F. Therefore PQP=∣⟨e1,f1⟩∣2P=ϕ−2P and symmetrically QPQ=ϕ−2Q. In the one-dimensional total-1 block both adjacent projections are zero, so the same identities hold. Tensoring with spectator path factors leaves these identities unchanged. Operators on disjoint pairs commute by the interchange law for tensor products.

2.1A1step 1.3algebra

Put q0=ϕ−2. For adjacent P=Pi,Q=Pi+1 and s=1−r, direct expansion using P2=P, Q2=Q, PQP=q0P, and QPQ=q0Q gives [rI+sP][rI+sQ][rI+sP]−[rI+sQ][rI+sP][rI+sQ]=s(r+q0s2)(P−Q). Because r+r−1=−ϕ−1, (r+q0(1−r)2)/r=1+ϕ−2(r+r−1−2)=1−ϕ−2(ϕ−1+2)=0; here ϕ−1+2=ϕ2. Thus the adjacent braid relation holds.

3.1givenstep 1.2step 1.3step 2.1algebra∎

Since Pi is an orthogonal projection and ∣r∣=1, Bi acts by 1 on ran⁡Pi and by r on its orthogonal complement, so it is unitary. The distant commutation and adjacent relation from steps 1.3 and 2.1 are the defining Artin relations, hence the matrices represent B6. The rank table gives rank 2 on the five-dimensional block and rank 3 on the eight-dimensional block, so det⁡Bi=r5−2=r3 and det⁡Bi=r8−3=r5, respectively.

Depends on

Used by

Dependency tree · two levels

14 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