Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: 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.

Three-Fibonacci-anyon qubit matrices

Example

For three τ anyons of total charge τ, the fusion space is two-dimensional. Fix the chiral convention F=(ϕ−1ϕ−1/2ϕ−1/2−ϕ−1),r=Rτ/R1=e−3πi/5. After removing the common scalar R1, the adjacent generators are B1=diag⁡(1,r),B2=FB1F.

The verification checks these matrices directly as a unitary B3 representation. It uses the listed sector data as input and does not infer global category coherence from this calculation.

Facts & Assumptions

Given: τ⊗τ=1⊕τ and the displayed fixed-convention Fibonacci F and R data.

[F1]

The Fibonacci supplier states the fusion rule, the displayed F block, and the pullback phases R1=e−4πi/5 and Rτ=e3πi/5, so Rτ/R1=e−3πi/5. Fibonacci fusion data and chiral convention

Verification

1.1givenF1algebra

Put u=ϕ−1 and v=ϕ−1/2. Since ϕ2=ϕ+1, u2+u=1 and v2=u. Matrix multiplication then gives F2=(u2+v2uv−uvuv−uvu2+v2)=I. Both diagonal entries of B1 have modulus one, so B1 is unitary; F is unitary because it is real and F∗F=F2=I. The data in [F1] give r=Rτ/R1=e−3πi/5. Also r5=−1 and r≠−1, so division of r5+1=0 by r+1 gives r4−r3+r2−r+1=0. With y=r+r−1, division by r2 gives y2−y−1=0; since y=2cos⁡(3π/5)<0, it follows that y=−u and r2+ur+1=0. Hence B2=FB1F is unitary.

1.2givenF1algebra

Write B2=(pqqt), where p=u2+ur, q=uv(1−r), and t=u+u2r. Then B1B2B1=(pqrqrr2t),B2B1B2=(p2+q2rq(p+rt)q(p+rt)q2+t2r). The relations r2=−ur−1 and u3=2u−1 give p+rt=r; expanding the remaining diagonal entries and using u2+u=1, v2=u, and r2+ur+1=0 gives p2+q2r=p and q2+t2r=−p. Thus both matrices reduce to (u2+uruvr(1−r)uvr(1−r)−(u2+ur)). The Artin relation follows entry by entry.

2.1givenstep 1.2algebra∎

The off-diagonal entry of B1B2−B2B1 is q(1−r)=uv(1−r)2≠0, because u,v≠0 and r≠1. Thus the generators do not commute. They are not two copies of a single diagonal phase gate in the same fusion basis.

Depends on

Used by

Dependency tree · two levels

11 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