Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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.

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 B1=diag⁡(1,r), B2=FB1F, and r=e−3πi/5. Put z=e3πi/10 and GFib={zB1,zB2,(zB1)−1,(zB2)−1}⊂SU(2). The determinants are one because det⁡Bj=r and z2r=1; the matrices are unitary by the cited matrix verification. The resulting package is inverse-closed, and its generated subgroup is dense under the inherited ACω 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 Q 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 (N0,η0,L0) with 0<η0<64−2, 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 L0.

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.

¿¿¿¿¾i

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