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.
Arbitrary-n triple-anyon fixed-charge code
Definition
Let and with , using the left-associated tree for both fixed-charge spaces. In the ordered list of Fibonacci charges, group consecutive leaves into triples; within each triple fuse its first two charges and then its third, and fuse the triple outputs by the left-associated -leaf tree to total . Restrict each triple output to ; its two local paths are indexed by the charge after the first two leaves. Fix a rebracketing sequence of associators from this grouped tree to the fixed left-associated -leaf tree, and let be the induced composite unitary. For each tensor basis vector , where are the local triple paths and is a basis vector of , map it to its grouped fusion-tree basis vector, then apply . Extend linearly and call the resulting map . Its image is the code and it is an isometry; set for the code projector. The factor retains all spectator fusion paths and is not a physical preparation at zero cost.
Facts & Assumptions
Given: The Fibonacci fusion rule with multiplicity one, the orthonormal fusion-tree basis and dimension recurrence, and unitary associator moves.
The Fibonacci rule has the only nontrivial fusion channels , each of multiplicity one. Fibonacci fusion data and chiral convention
Fusion-tree vectors form an orthonormal basis, with dimension computed by the finite multiplicity recurrence. Fusion-tree basis and dimension recursion
The fixed-charge code projector associated with an isometry is . Fixed-charge encoding and code projector
The associator and its induced F-matrices are unitary, so rebracketing preserves the fusion-space inner product. F-symbol unitarity
Proof
Write . The Fibonacci rule [F1] and the fusion-tree recurrence [F2] give from the two channels of . Applying the same recurrence once more gives and . Thus the local total- triple has exactly the two orthogonal paths labelled used as one logical basis.
Choose the fusion-tree basis of the finite spectator space . Tensoring its basis with the local two-path bases from step 1.1 gives an orthonormal basis of the domain. By [F2], its grouped-tree images are precisely an orthonormal family in . The specified associator rebracketing is unitary by [F4], so their images in the fixed tree remain orthonormal; the linear map sending the tensor basis to these vectors is therefore an isometry. Applying [F3] gives the orthogonal projector . All choices are from fixed finite bases, and no choice axiom is used.
Depends on
Used by
Dependency tree · two levels
18 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 et al., Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)