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.
Fixed SU(2) Fibonacci braid gate alphabet
Definition
Use the fixed chirality and fusion-tree basis of the three-, total- Fibonacci space from Three-Fibonacci-anyon qubit matrices. There , , and . Put and The determinants are one because and ; the matrices are unitary by the cited matrix verification. The resulting package is inverse-closed, and its generated subgroup is dense under the inherited assumption by The generated normalized Fibonacci lifts are dense in SU(2). Its exact entries are algebraic numbers. For the finite bit implementation, the real and imaginary coordinates are supplied by minimal polynomials over and rational isolating intervals with opposite endpoint signs and exactly one real root, as required by the finite-precision SK theorem. For the SK recursion one additionally supplies a fixed finite base-net certificate with , as defined in Inverse-Closed Dense SU(2) Gate Set. The certificate is input data: the compactness result Compactness Gives a Finite SU(2) Base Net proves existence but computes neither the list nor .
The diagram uses the positive Artin crossing convention: time runs downward, and the continuous left-input strand passes over the broken right-input strand. Its word matrix is the representation convention in Braid action on a fixed-charge fusion space; no proof depends on the drawing.
Depends on
Used by
Dependency tree · two levels
22 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
- John Preskill, Lecture Notes for Physics 219: Quantum Computation, Chapter 9: Topological Quantum Computation (standard reference, not scraped)
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)
- Christopher M. Dawson and Michael A. Nielsen, The Solovay–Kitaev Algorithm (standard reference, not scraped)