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.
A triple braid acts identically on fusion spectators
Statement
Let , , and consider the fixed fusion space with its grouped tree of consecutive triples and outer triple-charge tree. Its orthogonal decomposition is indexed by local triple outputs and has factors with zero-dimensional summands omitted. A braid word supported on the internal three strands of the th triple acts on this summand as on and the identity on every other local triple factor and on the outer spectator factor. Reassociating to the fixed left-associated -leaf tree conjugates this operator by a unitary; its operator norm and the stated local-factor action are preserved.
Facts & Assumptions
Given: The multiplicity-aware fusion-tree basis, the fixed grouped tree, and a braid word acting only on the strands internal to one triple.
A fusion-tree basis composes orthonormal local vertex morphisms and is complete; its basis labels include every internal charge and multiplicity index. Multiplicity-aware fusion-tree basis
A fixed-charge braid acts by precomposition with the inverse object braid on the corresponding fusion morphism, and defines a unitary representation. Braid action on a fixed-charge fusion space Unitary Artin braid representation on fixed-charge fusion spaces
Rebracketing and its F-matrix are unitary. F-symbol unitarity
Proof
In the grouped tree, choose an admissible local fusion-tree basis vector for each triple and a basis vector for the outer fusion. The composites obtained by inserting into are exactly the grouped fusion-tree vectors. By completeness and orthonormality [F1], their orthogonal direct sum over is the full grouped fusion space, which gives the displayed tensor/direct-sum decomposition.
A braid word supported inside triple changes only the local morphism , by under [F2]; every with and the outer morphism are unchanged. Thus on the grouped basis its matrix is tensored with identities. Rebracketing to the fixed tree conjugates this matrix by the unitary in [F3], proving the same operator statement in that convention. Tensoring an operator with an identity does not increase its norm: expand a vector in an orthonormal basis of the spectator factor and sum . The norm of a finite orthogonal direct sum is at most the maximum of its block norms by the same squared-norm decomposition. These finite identities justify uniform spectator bounds.
Depends on
Used by
Dependency tree · two levels
19 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 et al., Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)
- John Preskill, Lecture Notes for Physics 219: Quantum Computation, Chapter 9: Topological Quantum Computation (standard reference, not scraped)