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 and the fixed-chirality data and . The fixed-total-charge B6 path bases are
where each path is , is the unit label, is , and adjacent labels obey the fusion rule. For , define on either path basis by Then are orthogonal projections, have ranks on and on , satisfy and commute at separation at least two. Consequently are unitary matrices satisfying the Artin relations of , with on and on .
Facts & Assumptions
Given: The fixed Fibonacci fusion rule, the unitary fusion-tree bases, and the chiral coordinates displayed in the Statement.
A fusion-tree basis retains each admissible intermediate charge and vertex multiplicity index. The current supplier body was inspected. Multiplicity-aware fusion-tree basis
Assume the Fibonacci fusion rule and the fixed-chirality data displayed in the Statement: the normalized pair-channel eigenvalues are , and the nontrivial recoupling block is the displayed matrix. The actual Fibonacci data carrier states this fusion rule and these fixed sector matrices. Fibonacci fusion data and chiral convention
Proof
Starting with , the fusion rule permits only when , and permits when . Enumerating the five remaining transitions with endpoint or gives exactly the two path sets displayed in the Statement; hence the block dimensions are and . Also and , so . For , division by gives ; since , . Thus .
In a fixed left-tree basis, is the projection onto pair channel . The -move gives the only nontrivial local block, on the two intermediate channels : Its square equals itself because , , and ; its entries are real symmetric. When the surrounding charge is the unit, the only allowed pair-channel block is . Thus each . Counting the diagonal entries of these blocks on the listed paths gives on and on , so these are the ranks.
On the nontrivial three-strand total- block, the adjacent projections are and , where is the first column of . Therefore and symmetrically . In the one-dimensional total- 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.
Put . For adjacent and , direct expansion using , , , and gives Because , ; here . Thus the adjacent braid relation holds.
Since is an orthogonal projection and , acts by on and by 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 . The rank table gives rank on the five-dimensional block and rank on the eight-dimensional block, so and , 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
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)
- Michael H. Freedman, Michael J. Larsen, and Zhenghan Wang, A Modular Functor Which Is Universal for Quantum Computation (standard reference, not scraped)