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.
Topological Braid Gates, Encodings, and Universality
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Adiabatic Computation and Circuit Equivalence
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Approximate Universality and Solovay–Kitaev
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Braided and Symmetric Monoidal Categories
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chains, Antichains, Sperner and Dilworth
- Character Groups and Elementary LCA Duals
- Circuit Syntax, Denotational Semantics, and Measurement
- Clifford+T Exact and Approximate Synthesis
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Continuous-Gate Universality and Exact Synthesis
- Controlled Gates, Phase, and Entanglement
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Cyclic Groups and Direct Products
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Duality and Rigidity in Monoidal Categories
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Filters and Ultrafilters
- Finite Averaging and Character-Theory Prerequisites
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite-Dimensional Complex Inner-Product Spaces and Matrix Interfaces
- Formal Languages, Encodings, and Decision Problems
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Lie Groups, Invariant Fields, and the Exponential Map
- Lie Subgroups, Actions, and Homogeneous Spaces
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Recurrences and Rational Generating Functions
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measurements, POVMs, and Instruments
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monoidal Categories and Monoidal Functors
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- Pauli and Clifford Groups, Binary Symplectic Tableaux
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Pure and Mixed States, Ensembles, and Schmidt Decomposition
- Qubits, Bloch Sphere, Pauli Algebra, and One-Qubit Gates
- Rank Theorems and Embedded Submanifolds
- Reflective Subcategories and the Adjoint Functor Theorems
- Registers, Tensor Products, and Partial Trace
- Relations, Functions, and Quotients
- Resource Bounds and Machine Invariance
- Reversible Computation, Ancillas, and Coherent Oracles
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Splitting Fields
- Strictification and Mac Lanes Coherence Theorem
- Strongly Continuous Semigroups and Hille Yosida
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor and Fusion Categories
- Tensor Products of Modules
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Group of the Circle
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Group Algebra and Representations of Finite Groups
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Trace Distance, Fidelity, and Information Limits
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Turing Machines, Configurations, and Computation
- Uniform Circuit Families, Promise Problems, and Complexity
- Uniform Spaces: the Three Definitions
- Unitary Fusion Spaces, F/R Symbols, and Anyon Models
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yang–Baxter Operators and Quantum Braid Representations
2 · Summary
This page develops unitary braid actions on fixed-total-charge fusion spaces, then separates projective phase, logical block error, and leakage. It verifies the three-anyon Ising matrices directly and proves the multi-anyon Majorana Clifford restriction under an explicit channel-identification interface. For the fixed Fibonacci F/R convention, it verifies the three-anyon matrices and exact joint SU(5) × SU(8) density of the two six-strand path-matrix blocks using finite algebraic certificates. Triple-anyon encodings extend these conditional gates to arbitrary finite registers with explicit operator-norm, logical-error, and leakage bounds. The physical interface is conditional on a realized fusion space and its specified exchange action. No exact leakage-free entangler or useful joint braid-length bound is asserted; common braid phases must be tracked under coherent control. The QC25 Fibonacci data carrier supplies the coherent fixed-chirality model through an explicit exact verification of all simple-input pentagon and hexagon sectors; pair-charge and triple codes are compared inside that category without identifying their projectors. The Ising data carrier supplies only the three-anyon sector; the all-m Majorana channel identification is an explicit interface hypothesis, not a consequence claimed from that carrier.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Physical braid implementation interface
Definition
Let be a nonzero finite-dimensional complex inner-product space and let be a fixed mathematical braid representation. A physical implementation record for a braid consists of all of the following data and hypotheses:
- a finite-dimensional physical Hilbert space ;
- a path of Hermitian endomorphisms, , and a norm-continuous constant-rank orthogonal spectral projection of rank that is a coherently followed band in the sense of Finite adiabatic path model, including its local-contour continuation, and is separated from its complement by a uniform positive full gap. The initial low-energy sector is ;
- a unitary identification , an explicit preparation isometry with image exactly , its declared preparation cost, and a stated slow-time schedule ;
- a unitary final-band identification and a separate identification of the band's transported action along the chosen exchange path, using and , with up to a stated scalar phase.
The first three clauses form an instance of the finite adiabatic path model Finite adiabatic path model on . Under those hypotheses, Finite JRS adiabatic projector bound bounds the deviation from ideal adiabatic band following. That estimate does not establish that a material realizes the fusion category, that the exchange path has the prescribed holonomy, or that the initial state can be prepared at no cost. Locality, temperature, quasiparticle separation, stray excitations, and tunnelling require their own physical error model.
Special unitary groups are connected
Statement
For every integer , the matrix group is path connected.
Facts & Assumptions
Given: An integer and a matrix .
A normal complex matrix has an orthonormal eigenbasis. Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely
For real , , and exactly when . , , and , and exactly when
The complex exponential is entire, hence continuous. The complex exponential is entire and its complex derivative is itself
Proof
The matrix is unitary and therefore normal. By [F1], choose a unitary matrix and real phases such that . Since , [F2] gives for some integer . Replace by ; the eigenvalue is unchanged and the sum of phases is now zero. This uses only finitely many eigenvalues.
Define for . Each is unitary by [F2], and , so . The path is continuous by [F3], , and . Thus every element is joined to the identity, proving path connectedness.
Fixed-charge encoding and code projector
Definition
Fix a unitary fusion category and the representative set of Multiplicity-aware fusion-tree basis. For an ordered list , , a total charge , and a parenthesized input tensor , let , equipped with that definition's orthonormal fusion-tree inner product. The identical-input case retains the notation . Let with its ordered orthonormal computational basis, where . A fixed-charge encoding is an isometry , so . Its code subspace is , and its code projector is An encoding records a chosen subspace of a fusion space; it does not identify that subspace with an object of the fusion category.
Facts & Assumptions
Given: The finite-dimensional fusion space , the computational space , and an isometry .
The adjoint satisfies and . The adjoint is characterised by
Proof
By [F2], . Also by [F1]. Hence is an orthogonal projection.
For every , by [F1], so . Conversely lies in for every , so . Therefore .
Logical block error and leakage amplitude
Definition
Let be a fixed-charge encoding, its code projector, a logical target, and an ambient unitary. Its zero-on-the-complement target extension is . Define the logical block error and leakage amplitude by Both are finite operator norms. The first measures the compressed block against the target; the second measures transfer from the code into its orthogonal complement. They diagnose different errors.
Facts & Assumptions
Given: A finite-dimensional encoding , its projector , a logical unitary , and an ambient unitary .
is the orthogonal projection onto . Fixed-charge encoding and code projector
The operator norm is finite for every linear map between finite-dimensional inner-product spaces. The operator norm is zero on the zero domain and otherwise is max_{||v||=1} ||Tv||
Proof
The maps and are endomorphisms of . Because is finite dimensional, [F2] assigns a finite operator norm to each map; the two quantities are therefore well defined.
For a zero-leakage but logically incorrect boundary case, take , , , and . Then and . This proves the two quantities are not interchangeable.
Braid action on a fixed-charge fusion space
Definition
Fix a unitary braided fusion category and the simple-object representative set used in Multiplicity-aware fusion-tree basis. Let , let , and suppose . Use the left-associated fusion-tree basis. For the Artin generator that exchanges the th and st strands, let be the specified sequence of -moves that changes from the fixed tree basis to a basis where those two charges fuse first, and let apply the corresponding -symbol on each pair-charge channel. Define This defines the generator assignment. The next theorem proves that the assignment descends from words to a well-defined group homomorphism. Word products use matrix multiplication acting right-to-left on column vectors. The abstract group in this definition is the Artin group The braid group by Artin presentation; the positive crossing is the generator convention used for the displayed -symbols. If a motion is described chronologically, its matrix product is written in reverse temporal order.
Positive crossing convention
The diagram depicts the positive adjacent generator on two identical charges. Time runs from top to bottom; the continuous left-input strand passes over the broken right-input strand. The crossing represents , while its pullback on a fusion space uses the inverse in the formula above. This fixes the -matrix orientation; the proof of the Artin relations is categorical.
Remarks
The geometric configuration convention in Geometric braid classes and the unordered configuration fundamental group uses first-loop-then-second multiplication, while raw slicing reverses stacking. This definition fixes the algebraic Artin action directly and makes no extra assertion that the library's geometric group is identified with the Artin presentation under a stronger axiom branch.
Exact logical-block correctness forces zero leakage
Statement
Let be an isometric encoding with , let be unitary on , and let be unitary on . If the logical block error is zero, then the leakage amplitude is zero.
Facts & Assumptions
Given: Finite-dimensional inner-product spaces , an isometry , a unitary on , a unitary on , and zero logical block error.
The logical block error is and the leakage amplitude is ; is the orthogonal projection onto . Logical block error and leakage amplitude
Isometries preserve inner-product norm, and orthogonal projection splits a vector into orthogonal code and complement components. Linear isometries, and orthogonal or unitary operators on finite-dimensional inner product spaces The norm induced by a real or complex inner product
Proof
Zero block error means as operators on . For every , gives . By [F2], and .
The decomposition is orthogonal by [F1]. Its Pythagorean identity and step 1.1 give for every . Hence , and since , ; its operator norm is zero.
Block-target approximation bounds logical error and leakage
Statement
Let be an orthogonal decomposition of a finite-dimensional Hilbert space, let and be unitary operators on the two summands, and let . If an ambient unitary satisfies , then the logical block error of relative to and its leakage amplitude both are at most .
Facts & Assumptions
Given: The orthogonal projection , the block-unitary target , the ambient unitary , and .
Logical block error and leakage are and after identifying with its zero-on-the-complement extension. Logical block error and leakage amplitude
The operator norm is zero when its domain is zero; otherwise it is the maximum of over unit vectors . In particular, for every , by scaling nonzero to a unit vector and treating separately. The operator norm is zero on the zero domain and otherwise is max_{||v||=1} ||Tv||
Proof
If , both error maps have norm zero by [F2], so both bounds hold. Otherwise, since preserves both summands, on and . Thus . For any , the orthogonal decomposition gives and by the Pythagorean identity. Hence for every unit vector , . Taking the maximum in [F2] proves the logical block error bound.
In the remaining case , because . By the contractions in step 1.1, for every unit , . Taking the maximum gives the leakage bound.
Ising–Majorana exchange interface
Definition
Let and let . A Majorana system of length is a family of operators satisfying Its parity operator is . For each adjacent pair, put
A Majorana–Ising exchange interface on a fixed parity sector consists of such a system, a choice and the sector , together with the following explicit model-identification hypotheses for every : the Ising pair-charge projections are identified with , and the exchange is with the same relative phase . The last identity is required for all adjacent pairs as part of the interface; the three-anyon supplier below establishes it only in its stated sector and does not prove this all- identification.
Facts & Assumptions
Given: A Majorana system, a fixed parity sector, and the interface hypotheses in the Definition.
In the three-, total- Ising sector, the supplier gives and , hence . Ising fusion data and chiral convention
Proof
Let . The Majorana relations give and . Therefore and are self-adjoint idempotents, , and . They are the orthogonal complementary pair-channel projections stipulated by the interface.
Since , expansion of the exponential gives . Its restrictions to and are respectively and . Using the phase ratio in [F1] as imposed for every generator by the interface, the channel exchange equals Thus it differs from by one common scalar.
Projective braid gate and operator metric
Definition
Let be a finite-dimensional complex inner-product space and let be its unitary group. Two unitaries are projectively equivalent when for some with ; write for the equivalence class. Define This is the distance after quotienting by one common scalar phase. The phase is minimized over the unit circle; it is not chosen independently in different charge blocks.
For the fixed-charge braid representation in Braid action on a fixed-charge fusion space, the projective braid gate of a braid is .
Facts & Assumptions
Given: The finite-dimensional unitary group and the operator norm.
The operator norm is the maximum of over unit vectors. The operator norm is zero on the zero domain and otherwise is max_{||v||=1} ||Tv||
The inner-product norm satisfies the triangle inequality and . The inner-product norm is definite, homogeneous, and satisfies the triangle inequality Inner products separate vectors, and the induced norm is homogeneous:
The multiplicative unit circle is compact and metrizable. The multiplicative unit circle is a compact metrizable topological abelian group
A continuous real-valued function on a nonempty compact metric space attains its minimum. A continuous real-valued function on a nonempty compact metric space is bounded and attains a greatest and a least value
Under the hypotheses of the braid-action definition, its generator assignment extends to a well-defined unitary homomorphism . Unitary Artin braid representation on fixed-charge fusion spaces
Proof
The operator norm satisfies the triangle inequality: for every unit vector , , so taking the maximum gives . Scalar homogeneity follows from [F2] and the same maximum definition. Thus by applying the triangle inequality twice.
The formula is independent of representatives. If and with , then ; as runs over the unit circle, so does .
The map is continuous: step 1.1 bounds . By [F3] and [F4] it attains its minimum on the unit circle, so the infimum in the definition is a minimum. Nonnegativity and symmetry follow from the norm axioms and the substitution .
For classes , choose minimizing phases for the pairs and by [F3]–[F4]. The triangle inequality gives , so taking the minimum over phases for proves the triangle inequality. If , a minimizing phase satisfies , so . Conversely equal classes have distance zero. Therefore is a metric on .
By [F5], two words representing the same braid give the same unitary . Its projective class is therefore well defined, and step 3.1 supplies the metric on these classes.
Six-anyon triple-encoded subspace and leakage complement
Definition
Assume the Fibonacci fusion rules and , with each listed summand of multiplicity one. For six ordered charges, let be the fixed-input, fixed-total fusion space of total charge in the tree that first fuses leaves and separately, then fuses those triple outputs. Let be the same fixed-charge space in the left-associated tree.
To identify these spaces, write . Use the object associator composite from the triple-grouped input tree to the left-associated tree. On a fusion morphism into , define ; this is a unitary change of fusion-tree coordinates.
For one triple of total charge , its two orthonormal path vectors are indexed by the charge after the first two anyons: both channels have multiplicity one. Write these vectors as . For and , let be the grouped-tree vector with first triple path , first triple total , second triple path , second triple total , and final vertex channel . The last channel has multiplicity one. Define In the ordered basis , the inclusion is an isometry; its code projector is . The same ordered local triple paths are used for and ; only the final pair-charge coordinate differs. The orthogonal complements are called leakage spaces.
Facts & Assumptions
Given: The stated Fibonacci fusion rules, the multiplicity-aware fusion-tree basis, the unitary associator, and the fixed-charge encoding convention.
Assume the Fibonacci fusion rules stated in the Definition. The actual Fibonacci data carrier states and with multiplicity one in each channel. Fibonacci fusion data and chiral convention
The fusion-tree definition constructs each path vector by composing its vertex multiplicity-basis maps. Multiplicity-aware fusion-tree basis
The fusion-tree lemma proves that these path vectors form a complete orthonormal basis and counts them by the products of the vertex multiplicities. Fusion-tree basis and dimension recursion
An isometric inclusion has code projector onto its image. Fixed-charge encoding and code projector
Each associator is unitary, so the stated finite associator composite induces a unitary map between the two fusion-tree Hom spaces. Unitary fusion category F-symbol unitarity
Proof
The fusion rule gives and therefore , . Applying the fusion-tree count [F2] to the grouped tree, total charge receives one basis vector from the triple-output pair and four from , so . Total charge receives two vectors from , two from , and four from , so . The map in [F4] is unitary, hence and .
Each selected triple-total- factor has its two paths and , and the final vertex has multiplicity one. Thus the four grouped-tree vectors are admissible tree vectors by [F1] and form an orthonormal family by [F2]. Applying the unitary preserves orthonormality, so they define an isometric inclusion ; [F3] gives the projector and .
The orthogonal decompositions then give and by step 1.1. These code copies share the same ordered local triple paths, while their final output charge differs. This supplies the dimensions and path identification used in the two B6 blocks.
Three-Fibonacci-anyon qubit matrices
Example
For three anyons of total charge , the fusion space is two-dimensional. Fix the chiral convention After removing the common scalar , the adjacent generators are
The verification checks these matrices directly as a unitary representation. It uses the listed sector data as input and does not infer global category coherence from this calculation.
Facts & Assumptions
Given: and the displayed fixed-convention Fibonacci and data.
The Fibonacci supplier states the fusion rule, the displayed block, and the pullback phases and , so . Fibonacci fusion data and chiral convention
Verification
Put and . Since , and . Matrix multiplication then gives . Both diagonal entries of have modulus one, so is unitary; is unitary because it is real and . The data in [F1] give . Also and , so division of by gives . With , division by gives ; since , it follows that and . Hence is unitary.
Write , where , , and . Then The relations and give ; expanding the remaining diagonal entries and using , , and gives and . Thus both matrices reduce to The Artin relation follows entry by entry.
The off-diagonal entry of is , because and . Thus the generators do not commute. They are not two copies of a single diagonal phase gate in the same fusion basis.
Three-Ising-anyon braid matrices are Clifford
Example
In the three-, total- Ising sector, use , , and . After removing the common phase , the two projective braid generators are
Facts & Assumptions
Given: The displayed fixed Ising fusion sector, its ordered channel basis, and the Pauli matrices .
The Pauli matrices are , , . The Pauli matrices
A unitary is Clifford when it normalizes the phase-aware Pauli group. Clifford normalizer
In the three-, total- sector, the Ising supplier gives , , and ; hence . It explicitly limits this to sector data. Ising fusion data and chiral convention
Verification
By [F3], . Removing gives , and recoupling by gives . Both are unitary because and are unitary. Put and , so . Direct multiplication, using , , and , gives Thus these matrices define a unitary representation of the two-generator Artin presentation of , independently of any all-label Ising coherence claim.
Direct multiplication gives , , and ; also , , and . Thus each generator conjugates every Pauli matrix to a signed Pauli matrix.
Products and inverses of Pauli normalizers again normalize the Pauli group: for normalizers , , and the inverse property follows by conjugating the equality by . The scalar phase removed in step 1.1 has trivial conjugation action, so the physical braids are projectively Clifford in this sector.
Remarks
This is a projective statement for an isolated fixed-charge sector. The scalar phase cannot be discarded when the braid is coherently controlled. The supplier gives sector data only; this item makes no all-label Ising category claim.
The braid phase is a common scalar character
Statement
Fix the Fibonacci convention with common exchange scalar . Let be exponent sum, sending each Artin generator to . If is the generator-normalized representation , then for every braid and every total-charge block, The scalar is the same on every total-charge block and every spectator multiplicity. It is a global phase for an uncontrolled fixed-sector computation; under coherent control it is a relative phase and must be tracked.
Facts & Assumptions
Given: The fixed-chirality Fibonacci data and the Artin presentation.
Assume every generator has the same scalar on all fusion channels; its relative channel phases define the normalized generator. The actual Fibonacci data carrier fixes and in its stated gauge. Fibonacci fusion data and chiral convention
Standalone unit-modulus phases leave pure-state measurement probabilities unchanged. Standalone Global Phase Leaves Pure-State POVM Probabilities Unchanged
A separately controlled scalar phase can change measurement probabilities by becoming relative to the control branch. A Controlled Global Phase Becomes a Relative Control Phase
Proof
Exponent sum is well defined on the Artin group: both sides of every adjacent braid relation have sum , both sides of every distant commutation relation have sum , and inverse cancellation changes the sum by . Thus is a homomorphism.
For a word , each positive generator contributes and each inverse contributes to the scalar, by [A1]. The scalar product is therefore , while the remaining normalized matrices multiply to . Since every relation preserves exponent sum, this factorization is independent of the word representative.
The same scalar multiplies every charge block, so [F2] applies to an uncontrolled isolated sector. Under coherent control the scalar multiplies only the active branch, and [F3] shows it becomes a relative phase; it cannot be discarded without recording or correcting it.
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.
Fibonacci coefficient ring and its exact mod-31 specialization
Statement
Let , , and . Then where . The assignment defines a ring homomorphism to . The elements and map to nonzero units, and conjugation of coefficients is handled by before reduction.
Facts & Assumptions
Given: The fixed Fibonacci root , the golden ratio , and the positive square root .
Assume the fixed-chirality root from the actual Fibonacci data carrier; the positive square root is fixed in the Statement. The carrier states the phases and . Fibonacci fusion data and chiral convention
Proof
The number is a primitive tenth root of unity, so its minimal polynomial is and . Its maximal real subfield is , and the nontrivial conjugate of is ; hence the field norm of from to is . Therefore is not a square in that real subfield, since the norm of a square would be a nonnegative rational square.
If satisfied , complex conjugation would give , hence or . In the first case , contradicting step 1.1. In the second case is purely imaginary in the chosen embedding, so is nonpositive real, contrary to . Thus is irreducible over and . The displayed monic relations therefore give the full degree-eight presentation; no additional relation is being assumed.
In , , , , and . Thus the assignments satisfy both defining relations and extend to the stated ring homomorphism. The images and are nonzero, so and their powers are units; all denominators in the path projectors and normalized braid matrices are therefore invertible after specialization.
In the number field, complex conjugation fixes and sends to . Therefore a coefficient involving conjugation is first rewritten with and only then reduced by . No conjugation operation on is required.
Logical error and leakage add under code-preserving gate approximation
Statement
Let be a code projection on a finite-dimensional Hilbert space . Let be ideal unitaries preserving , and let be physical unitaries with . If and , then, with empty products equal to and empty sums equal to , Consequently the logical block error and leakage amplitude relative to the code action of are each at most .
Facts & Assumptions
Given: The code projection, the two finite lists of unitaries, and the individual bounds .
If preserves the code, the logical block error and leakage amplitude are the compression and off-diagonal block norms. Logical block error and leakage amplitude
A full-space operator approximation of size bounds both compressed logical error and leakage by . Block-target approximation bounds logical error and leakage
Proof
If , both products are the empty product and the sum of errors is , so the full-space error is ; [F2] then gives zero logical block error and zero leakage.
For , insert and subtract the mixed products to obtain the exact telescoping identity It follows by expanding the sum: consecutive terms cancel, leaving only . Every outer product is unitary, so its operator norm is one and each summand has norm at most . The triangle inequality proves the displayed sum bound.
The product preserves the code because each factor does. Apply [F2] with ; step 1.1 bounds this by using step 1.2 when and step 1.1 when . This gives the claimed logical error and leakage bounds, including on arbitrary ambient states before projection.
Unitary Artin braid representation on fixed-charge fusion spaces
Statement
For a unitary braided fusion category , simple representatives as in Multiplicity-aware fusion-tree basis, , and a nonzero fixed-total fusion space, the operators in Braid action on a fixed-charge fusion space define a unitary group homomorphism In particular, the adjacent Artin relations and distant commutation relations hold in each fixed-charge block.
Facts & Assumptions
Given: A unitary fusion category with a specified unitary braiding, the simple representatives , the nonzero fixed-charge fusion space , and the generator matrices .
In a braided monoidal category, the local braidings on give a canonical homomorphism from the Artin group; the associator transports the action to a fixed parenthesization. An object of a braided category carries canonical braid actions
The current QC25 bodies define finite semisimple orthogonal fusion-tree spaces, unitary associators and braidings, and unitary F/R coordinates; their pentagon and hexagon coordinate identities match the categorical coherence maps. The fusion-tree dimension lemma supplies complete bases. Unitary fusion category Multiplicity-aware fusion-tree basis Fusion-tree basis and dimension recursion Braiding F-symbol unitarity R-symbol unitarity Pentagon in fusion-tree coordinates Hexagon in F/R coordinates
Proof
By [F2], each generator matrix is a product of unitary operators: and are unitary changes of orthonormal fusion-tree basis, and is unitary on every orthogonal pair-charge summand. Therefore and every generator, as well as its inverse, is unitary.
By [F1], let be the local categorical braidings on the fixed parenthesized tensor power; they satisfy the Artin relations. On the multiplicity space define . For object automorphisms , . Thus inverse precomposition transports the object-level relations to the . In the fusion-tree coordinates of [F2], reassociating to the pair-first tree, applying the pullback R-symbol, and reassociating back gives exactly from Braid action on a fixed-charge fusion space. Hence this generator assignment satisfies the Artin presentation and defines a group homomorphism, unitary by step 1.1.
A controlled braid phase is observable
Statement refuted
A scalar phase that is irrelevant for an uncontrolled fixed-sector braid remains irrelevant when that braid is coherently controlled.
Facts & Assumptions
Given: A control qubit with basis , the target space , and a control-first controlled-unitary convention.
The phase-insensitive projective class identifies and on the one-dimensional target. Projective braid gate and operator metric
A controlled global phase becomes a relative control phase and is observable by a two-outcome measurement. A Controlled Global Phase Becomes a Relative Control Phase
Counterexample
Given: The target starts in the unit vector , the control starts in , and the measurement is in the basis.
Uncontrolled on , the gates and differ by the scalar , so they have the same projective class by [F1].
The controlled is the identity, so it leaves the control in and the outcome has probability . The controlled is on the control; it maps to , so the same outcome has probability . Thus the controlled outcome laws differ, refuting the statement.
Exact, projective, and encoded braid universality
Definition
Let be a subgroup acting on a nonzero finite-dimensional Hilbert space . It is exactly universal on when , projectively exactly universal when its image in is all of , and projectively dense when that image is dense in the metric of Projective braid gate and operator metric.
For an encoding with code projector , the action is approximate logical-and-leakage universal if for every and every there is and a phase such that This last notion includes a leakage bound as a separate requirement; projective density on one fusion block alone does not supply it.
The projective one-qubit group is SO(3)
Statement
Assume . Give the quotient metric from Projective braid gate and operator metric. The map is a two-sheeted covering with kernel . It induces a topological group isomorphism .
Facts & Assumptions
Given: The projective unitary group with its quotient metric, the matrix group , and .
The projective distance is a metric and . Projective braid gate and operator metric
Closed bounded subsets of finite-dimensional Euclidean space are compact. Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line
Every unit complex number has the form for some real . is a bijection from onto the real unit circle
Quaternionic conjugation gives a surjective two-sheeted covering with kernel . SU(2) to SO(3) as a covering homomorphism
Assume , the exact choice principle used by [F5]. The Axiom of Countable Choice ()
Proof
The determinant of a unitary has modulus one, since . Write by [F4] and put . Then and , so and . Thus is onto.
If and , then for some . The determinant condition gives , hence . Conversely and have the same projective class. Therefore , and two matrices have the same -image exactly when they differ by this kernel.
The map is continuous: by [F1], . Identify with . The equations and define a closed subset, and each matrix entry is bounded in modulus by because each column has norm . Thus is compact by [F2]. The metric space is Hausdorff by [F1]. If is closed, then it is compact and is compact, hence closed by [F3]. It is a quotient map: if is open, then is closed; surjectivity and closedness of make its image closed, so is open.
By [F5] and step 2.1, and have exactly the same fibers. There is therefore a unique bijective group homomorphism with . It is continuous because is a quotient map and is continuous. The space is compact, while is Hausdorff as a subspace of the real matrix space. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism: images of closed sets are compact and therefore closed by [F3]. Hence is a topological group isomorphism. Since is a quotient map and its fibers are exactly the cosets of by step 2.1, the induced map is also a homeomorphism. The covering sheets for are carried from those of by this homeomorphism, so is a two-sheeted covering.
Exact five-dimensional Fibonacci B6 density
Statement
Assume . In the normalized Fibonacci B6 representation on , the closure of the braid image in contains .
Facts & Assumptions
Given: The fixed Fibonacci convention, the normalized generators , the total-charge- fusion-path basis, and .
The path projectors are orthogonal, satisfy the adjacent and distant relations, and the normalized matrices are a unitary B6 representation. Fibonacci B6 path projectors satisfy the braid relations
The coefficient field has the stated degree-eight presentation and admits the exact specialization. Fibonacci coefficient ring and its exact mod-31 specialization
Integer powers of a circle rotation with irrational angle are dense. Powers of an Irrational Rotation Are Dense on the Circle
Under , a closed subgroup of a finite-dimensional real Lie group is a Lie subgroup, and its Lie algebra is bracket closed. Cartan closed subgroup theorem The Lie algebra of a Lie subgroup is a Lie subalgebra
consists of the trace-zero skew-Hermitian matrices. A real basis is given by for and, for each , and . Thus its real dimension is , which is for . Unitary and special unitary Lie groups
is path connected. Special unitary groups are connected
A smooth map between manifolds whose differential is an isomorphism at a point is a diffeomorphism between neighborhoods of that point. The smooth inverse function theorem on manifolds
Fusion-tree dimensions are counted by summing products of the vertex multiplicities over all admissible internal charges. Fusion-tree basis and dimension recursion
The current Fibonacci data carrier states and fixes and the displayed unitary block in the stated gauge. Fibonacci fusion data and chiral convention
is countable choice, the exact axiom in [F4]. The Axiom of Countable Choice ()
Assume the Fibonacci fusion rule and the fixed-chirality data stated in Fibonacci B6 path projectors satisfy the braid relations.
Proof
Write and by [F8]. The fusion-tree recurrence [F7] gives , , , and . The five paths in therefore decompose by the charge of the first three strands as one dimension from charge , and dimensions from charge : the latter are two copies of the same two-dimensional three-strand block. On the first summand is . On each two-dimensional summand, and with , so direct multiplication gives and ; the last equality uses , since . Consequently the full spectrum is , with the last two eigenvalues each repeated twice and .
The algebraic number has minimal polynomial , whose other root is . If were a root of unity, then and every algebraic conjugate of that sum would be sums of two roots of unity and therefore have absolute value at most . The conjugate contradicts this. Thus is irrational.
Let be the closure of the normalized B6 image in . The powers of contain a dense subgroup of the circle , by [F3] and step 2.1. Therefore the nonzero tangent belongs to .
Define and, with , define the remaining words in order by Conjugation by an element of preserves , and [F4] makes that Lie algebra bracket closed, so every lies in it. Each is traceless and skew-Hermitian: this holds for because is unitary with spectrum invariant under inversion, and is preserved by unitary conjugation and commutators.
By [F2], every coefficient of the matrices lies in with all denominators units. Reduce coefficients modulo using , , , ; for conjugated coefficients first replace by in the number field. The exact integer-arithmetic certificate research/scaffold-audit-2026-10-16/topological-quantum-computing/b6-lie-rank-certificate.py forms the matrix whose rows are the first row-major coordinates of and returns determinant in . Since the reduction is a ring homomorphism, a zero algebraic determinant would reduce to zero; the determinant is therefore nonzero over . Tracelessness lets the omitted coordinate be recovered from the other , so the are linearly independent.
The determinant of each is by [F1], so is finite. Since is connected, its determinant is , and hence . A connected coordinate neighborhood of the identity in the Lie group lies in ; translating it shows that is open in , so . Step 4.1 and [F5] give . Thus the inclusion has an isomorphism as its differential at the identity, and [F9] makes it a local diffeomorphism. Its image is an open subgroup of . By [F6], is connected, so this subgroup is all of . Therefore the closure contains .
Remark
The proof constructs exactly from the shared initial tangent by conjugations and Lie brackets. The listed minor has exact determinant modulo , so these 24 Lie words are independent; each generator has determinant . These are the precise projection data used by the joint-closure argument; they are not a separate acceptance result.
Exact eight-dimensional Fibonacci B6 density
Statement
Assume . In the normalized Fibonacci B6 representation on , the closure of the braid image in contains .
Facts & Assumptions
Given: The fixed Fibonacci convention, the normalized generators , the total-charge- fusion-path basis, and .
The path projectors are orthogonal, satisfy the adjacent and distant relations, and the normalized matrices are a unitary B6 representation. Fibonacci B6 path projectors satisfy the braid relations
The coefficient field has the stated degree-eight presentation and admits the exact specialization. Fibonacci coefficient ring and its exact mod-31 specialization
Integer powers of a circle rotation with irrational angle are dense. Powers of an Irrational Rotation Are Dense on the Circle
Under , closed subgroups of finite-dimensional Lie groups are Lie subgroups and their Lie algebras are bracket closed. Cartan closed subgroup theorem The Lie algebra of a Lie subgroup is a Lie subalgebra
consists of the trace-zero skew-Hermitian matrices. A real basis is given by for and, for each , and . Thus its real dimension is , which is for . Unitary and special unitary Lie groups
is path connected. Special unitary groups are connected
A smooth map between manifolds whose differential is an isomorphism at a point is a diffeomorphism between neighborhoods of that point. The smooth inverse function theorem on manifolds
Fusion-tree dimensions are counted by summing products of the vertex multiplicities over all admissible internal charges. Fusion-tree basis and dimension recursion
The current Fibonacci data carrier states and fixes and the displayed unitary block in the stated gauge. Fibonacci fusion data and chiral convention
is countable choice, the exact axiom in [F4]. The Axiom of Countable Choice ()
Assume the Fibonacci fusion rule and the fixed-chirality data stated in Fibonacci B6 path projectors satisfy the braid relations.
Proof
The fusion rule and convention in [F8], together with recurrence [F7], give , , and . The eight paths in thus decompose by the first-three-charge label: charge contributes dimensions, and charge contributes of dimension . The operator is identity on the first summand. On the two-dimensional first-three charge- factor it has determinant and trace , so the full spectrum of is with multiplicity and each with multiplicity , where .
The minimal polynomial of is , whose other root is . If were a root of unity, every algebraic conjugate of its trace would be a sum of two roots of unity and have absolute value at most , contradicting the conjugate . Thus is irrational.
By [F3], powers of are dense in the circle after choosing an eigenbasis. Let be the closure of the normalized B6 image in . Then , so the nonzero tangent lies in .
Starting with , construct a list as follows, all over for the independence tests: repeatedly scan in current-list order and generator order , appending a word exactly when its specialized row is independent of previous rows. Using the resulting list as a snapshot, scan commutators in lexicographic order , again appending exactly the independent rows. Repeat full rounds until none is appended. Each accepted word is an adjoint or bracket applied to earlier Lie algebra elements, so it lifts to . Unitary conjugation and commutators preserve traceless skew-Hermitian matrices.
[F2] makes reduction of every coefficient and denominator in these words well defined. The exact integer-arithmetic certificate research/scaffold-audit-2026-10-16/topological-quantum-computing/b6-su8-lie-rank-certificate.py selects 63 words by the procedure of step 4.1 (the script labels them ; this proof renames them ) and returns determinant for the minor formed from the first row-major coordinates of these matrices. A zero algebraic determinant would map to zero in ; since , the exact determinant is nonzero. The omitted coordinate is the final diagonal entry, determined by trace zero. Thus the selected traceless skew-Hermitian matrices are linearly independent over .
Each has determinant by [F1], hence is finite. Since is connected, its determinant is , so . A connected coordinate neighborhood of the identity in the Lie group lies in ; translating it shows that is open in , so . By [F5], has real dimension . Step 5.1 supplies independent elements of , so . Thus the inclusion has an isomorphism as its differential at the identity, and [F9] makes it a local diffeomorphism. Its image contains an open neighborhood of the identity and is an open subgroup of . By [F6], is connected, so this subgroup equals . Hence the B6 closure contains .
Remark
The deterministic scan in step 4.1 constructs exactly 63 Lie words from the same initial tangent by conjugations and Lie brackets; the script prints their names as , which this proof calls . The exact minor has determinant modulo , so these Lie words are independent; each generator has determinant . These are the projection data used by the joint-closure argument; they do not assert an efficient braid compiler.
Even-Majorana Ising exchanges normalize logical Paulis
Statement
Assume a Majorana–Ising exchange interface as defined in Ising–Majorana exchange interface. Let be Majorana operators on the -dimensional fermionic Fock space, with , , and for . On either fixed eigenspace of the total parity the adjacent Ising exchanges, up to their common physical scalar, are For they normalize the logical Pauli group on the encoded qubits. Their braid-only projective image is finite and is not dense in .
Facts & Assumptions
Given: The Majorana relations, a fixed-parity sector, and the Pauli matrices.
The phase-aware Pauli group is finite and is generated by the single qubit matrices and scalar phases; the Clifford normalizer consists of unitaries conjugating that group to itself. The Pauli matrices Phase aware n qubit pauli group Clifford normalizer
is a Hausdorff metric quotient of by scalar unitaries. Projective braid gate and operator metric
The interface identifies the adjacent-pair channels with and , and the exchange with for every adjacent pair. Ising–Majorana exchange interface
Proof
Reordering the Majorana factors gives and . Therefore and . Also for each , so bijects the and eigenspaces; each has dimension . Since each product commutes with , every , being a function of that product, preserves both parity sectors.
Put . Then and , so and are orthogonal complementary projections. The operator has eigenvalues on and on , whose ratio is . By [F3], the channel exchange is therefore ; its common scalar has no effect on conjugation.
Let and , so and . Multiplication using , , , and gives and . Every other commutes with , so .
For and , the Majorana relations give and . Expanding with these identities gives If , then the two products and commute because moving their four distinct factors past each other contributes sign ; hence . Thus the satisfy the Artin braid relations. The common scalar in step 1.2 preserves these relations, since both sides of each relation have the same number of generators.
For define the even Majorana monomials and . Each bilinear is a Hermitian involution; the bilinears in a fixed have disjoint supports and commute, so every is also a Hermitian involution. All these even monomials commute with and preserve . Their supports show that the commute with one another, the commute with one another, and anticommutes with exactly when (their support intersection has odd size exactly in that case). The commuting involutions have joint sign projections whose sum is identity, so at least one joint eigenspace is nonzero. Applying products of the flips each sign independently; hence all joint sign eigenspaces are nonzero and orthogonal. Their number equals from step 1.1, so each is one-dimensional. In this basis the are the standard logical Pauli generators. To see they exhaust the restrictions of all even Majorana monomials, label by the th standard vector of . Even monomial labels form the dimensional even-sum subspace, and the all-ones parity label lies in it. The labels of the operators are independent modulo the parity label: no combination uses coordinate , while the successive coordinates force in turn the coefficients of to vanish. They therefore form a basis of the quotient of even labels by the parity label. Reordering and cancelling Majorana factors shows that monomials with the same label differ only by a scalar; on the parity monomial is scalar. Thus every even Majorana monomial restricts to an element of the logical phase-aware Pauli group generated by the . By step 2.1 each braid sends every Majorana to a signed Majorana, so it maps this finite Pauli group into itself; invertibility and finiteness make the image equal to the group. Hence each exchange normalizes the logical Pauli group.
Conjugation gives a homomorphism from the projective Clifford group to the automorphism group of the phase-aware Pauli group. That Pauli group is finite, so its automorphism group is finite. The kernel consists of unitaries commuting with every logical Pauli; commuting with all logical makes a unitary diagonal in the computational basis, and commuting with each logical forces every diagonal entry to agree. Thus the kernel is scalar and the projective Clifford group is finite. For , is an infinite Hausdorff metric space by [F2]: the classes of are distinct as varies modulo . A finite subgroup is closed in a metric space, so this braid subgroup is not dense.
Joint SU(5)×SU(8) closure from B6 path blocks
Statement
Assume . For the normalized simultaneous six- Fibonacci B6 representation on , the closure in contains .
Facts & Assumptions
Given: The simultaneous normalized matrices , their common braid word , and . Let be the closure of the simultaneous braid image and write , which is defined by [F2].
The separate braid-image closures contain and , respectively. Exact five-dimensional Fibonacci B6 density Exact eight-dimensional Fibonacci B6 density
Closed subgroups are Lie subgroups under , and their Lie algebras are bracket closed. Cartan closed subgroup theorem The Lie algebra of a Lie subgroup is a Lie subalgebra
consists of the trace-zero skew-Hermitian matrices. A real basis is given by for and, for each , and . Thus its real dimension is , giving dimensions and for . Unitary and special unitary Lie groups
Both and are connected. Special unitary groups are connected
Integer powers of a circle rotation with irrational angle are dense in the circle. Powers of an Irrational Rotation Are Dense on the Circle
A normal complex endomorphism has an orthonormal eigenbasis. Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely
A smooth map between manifolds whose differential is an isomorphism at a point is a diffeomorphism between neighborhoods of that point. The smooth inverse function theorem on manifolds
Assume . The Axiom of Countable Choice ()
Assume the fixed Fibonacci path convention and data stated in Fibonacci B6 path projectors satisfy the braid relations.
Proof
Group the paths in [A2] by the charge of their first three strands. The total- first-three sector contributes identity blocks of dimensions and in the five- and eight-dimensional spaces. The total- sector gives respectively two and three copies of the same two-dimensional block. On each copy, is , with and from [A2]. Direct multiplication gives and . By unitarity and [F6], choose eigenbases in which and , where and .
For , the complex Lie algebra is simple. Let be a nonzero ideal. If some has an off-diagonal entry , choose a traceless diagonal matrix whose ordered differences () are nonzero and pairwise distinct. Such a exists because each forbidden equality is a proper linear hyperplane in the trace-zero diagonal subspace, and finitely many proper hyperplanes do not cover a vector space over the infinite field . The map has eigenvectors with these eigenvalues and is zero on diagonal matrices. Lagrange interpolation therefore supplies a polynomial in that sends to ; since is an ideal, . If instead a nonzero is diagonal, it is nonscalar because it is traceless. Choose with ; then , again giving a matrix unit. From , bracketing with gives , and bracketing that diagonal matrix with gives . For each , and , so these units lie in . The additional unit follows explicitly from , since are distinct. We now have and for every ; for , . Thus every off-diagonal matrix unit lies in , and their brackets give all trace-zero diagonal matrices. Hence is the whole algebra. If , there is no ; the already obtained and span , so this case is complete as well. The complexification of is : every traceless complex matrix is uniquely a sum of traceless skew-Hermitian matrices. A nonzero real ideal of would complexify to a nonzero ideal of , hence to all of it; equality of dimensions then makes the real ideal all of . Therefore and are simple. Their dimensions and from [F3] show they are not isomorphic.
The algebraic number has minimal polynomial , whose other root is . If were a root of unity, every algebraic conjugate of would be a sum of two roots of unity and have absolute value at most . The conjugate contradicts this, so is irrational.
In the eigenbases of step 1.1, put . The simultaneous braid word is , so its integer powers are . By step 2.1 and [F5], their closure is the whole circle , which therefore lies in . Differentiating at zero shows that belongs to ; both coordinates are nonzero.
By [A2], each generator has determinant pair , and , so the determinant image of is finite. A connected coordinate neighborhood of the identity lies in , making open in and . Connectedness forces its determinant pair to be ; hence . For , let be the coordinate projection of . Conjugation by simultaneous braids preserves , so is invariant under conjugation by their -dimensional images. As a finite-dimensional vector subspace, is closed; continuity and [F1] extend this invariance to . For and , differentiate along a smooth curve in with and . This gives , so is an ideal. It is nonzero by step 3.1, and simplicity from step 1.2 gives . Thus both projections are surjective.
Define the kernel ideals and . They are ideals because projects onto both factors and is closed under brackets. Simplicity says each kernel is either zero or the whole factor. If either is the whole factor, surjectivity of the other projection implies . If both are zero, each projection restricts to an isomorphism from to its factor, yielding an isomorphism , contrary to their different dimensions. Thus .
By [F2], the inclusion has injective differential. Step 5.1 and [F3] show that its Lie algebra has the full dimension of , so the differential is an isomorphism. By [F7], the inclusion is a local diffeomorphism; its image therefore contains an open neighborhood of the identity and is an open subgroup. The product is connected by [F4], hence . Therefore the joint closure contains . The only choice assumption is [A1].
Fibonacci single-qubit projective density
Statement
Assume . Let be the projective Fibonacci generators on the two-dimensional three-, total- fusion space from Three-Fibonacci-anyon qubit matrices. The subgroup they generate is dense in .
Facts & Assumptions
Given: , , , , , and .
The matrix formulas, unitarity, Artin relation, and noncommutation are verified directly in Three-Fibonacci-anyon qubit matrices.
A complex normal endomorphism of a finite-dimensional inner-product space has an orthonormal eigenbasis. Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely
If is irrational, the powers of the circle rotation are dense in the unit circle. Powers of an Irrational Rotation Are Dense on the Circle
A closed subgroup of a finite-dimensional real Lie group is an embedded Lie subgroup under ACω; its tangent space is bracket closed. Cartan closed subgroup theorem The Lie algebra of a Lie subgroup is a Lie subalgebra
The quotient map is a two-sheeted covering, and is topologically isomorphic as a group to . The projective one-qubit group is SO(3)
Quaternionic conjugation is a smooth local diffeomorphism, as shown by its explicit coordinate formula and differential. SU(2) to SO(3) as a covering homomorphism
A smooth map between manifolds whose differential is an isomorphism at a point is a diffeomorphism between neighborhoods of that point. The smooth inverse function theorem on manifolds
Assume , exactly the hypothesis of [F3] and [F4]. The Axiom of Countable Choice ()
Proof
Put . Using , , and , direct multiplication gives and ; the last equality uses , since . Thus the eigenvalues of the unitary are and , with .
The number has minimal polynomial , whose other root is . If were a root of unity, then would have all algebraic conjugates of absolute value at most , since every such conjugate is a sum of two roots of unity. The conjugate contradicts this. Hence is irrational.
Let be the topological group isomorphism supplied by [F4], and transport the standard smooth Lie-group structure of to along . This transported structure has exactly the quotient-metric topology. The covering map from [F6] satisfies and is a smooth local diffeomorphism; hence is a smooth local diffeomorphism too, so is an isomorphism on tangent spaces. Since is irrational by step 2.1, [F2] shows that the projective powers of are dense in the smooth circle after choosing an eigenbasis; under this is the ordinary rotation circle about an axis. Thus , the closure of the projective braid image, and is closed in the transported Lie group. By [A1] and [F3], is an embedded Lie subgroup. In the eigenbasis, is a nonzero tangent vector to the corresponding circle in , so is a nonzero tangent to and lies in .
Write . Conjugation by sends to a circle with tangent . If these circles had the same axis, the rotation in induced by would either preserve or reverse that axis. A reversing rotation is a half-turn, but this projective generator has angle . If it preserved the oriented axis, it would commute projectively with . Choose a determinant-one lift of to , using [F4]. Its conjugate of would then be either or , because the kernel of is . The second case contradicts invariance of trace and , so would commute with , and hence with , contrary to [F1]. Therefore the two axes are nonparallel. The real Lie algebra is the three-dimensional space of skew-symmetric matrices. Under its standard identification with , the Lie bracket is the cross product up to a nonzero scalar; the bracket of two nonparallel axes is nonzero and independent of both. Thus by [F3].
A connected coordinate neighborhood of the identity in the embedded Lie group lies in ; translating it shows that is open in , so . By step 4.1, the inclusion has an isomorphism as its differential at the identity. The inverse-function theorem [F7] makes this inclusion a local diffeomorphism, so contains an open neighborhood of the identity and is an open subgroup of . Since is connected, and . By [F4], the projective braid image is dense in . The only choice assumption is [A1], and the conclusion is projective; no efficient braid-length bound follows.
Dense projective SU(2) image has dense determinant-one lifts
Statement
Assume . Let be the quotient by , and let be dense. Then the full inverse image is dense in . Thus projective density gives determinant-one lifts arbitrarily close to any target, while the choice of a lift can differ by the central sign.
Facts & Assumptions
Given: The two-sheeted covering homomorphism and a dense subgroup .
is a two-sheeted covering with kernel . The projective one-qubit group is SO(3)
By the given density hypothesis, meets every nonempty open subset of .
is the axiom assumed by the covering supplier. The Axiom of Countable Choice ()
Proof
Let be any nonempty open subset of and choose . By [F1], there is an evenly covered neighborhood of and a sheet containing such that is a homeomorphism. Set and . Since is open in , is open in ; the restriction remains a homeomorphism.
The open set meets by [F2]; choose . Its unique lift lies in and satisfies , hence . Thus every nonempty open meets , which is exactly density in . The only stated axiom is [A1].
Fibonacci B6 approximates one logical two-qubit gate in both charge blocks
Statement
Assume . Let and . There is one normalized six-strand Fibonacci braid word such that its actions and on the total-charge- and total-charge- blocks are simultaneously within of For the triple-triple computational subspace in either block, the logical block error and leakage amplitude are each at most . The corresponding physical categorical braid differs from the normalized word by the common scalar phase specified by The braid phase is a common scalar character.
Facts & Assumptions
Given: The four-dimensional code in each six-anyon block, the same ordered path basis in both blocks, , , and .
The normalized simultaneous braid closure contains under . Joint SU(5)×SU(8) closure from B6 path blocks
The two code blocks have dimensions , and their leakage complements have dimensions and . Six-anyon triple-encoded subspace and leakage complement
If a unitary is within of a code-preserving block target, its logical block error and leakage are at most . Block-target approximation bounds logical error and leakage
The original categorical word has one common scalar phase across both charge blocks. The braid phase is a common scalar character
is countable choice. The Axiom of Countable Choice ()
Proof
Put . Since , . Therefore and ; both targets are unitary by their orthogonal direct-sum definitions. Hence and .
The open product of operator-norm -balls around meets the normalized braid image because its closure contains by [A1] and [F1]. Thus one word satisfies both block bounds at once. This is simultaneous density; separate choices of words in the two blocks are not used.
In each block, acts as on the four-dimensional code and as a unitary on its orthogonal complement. Apply [F3] to and , then to and . The logical block error and leakage amplitude are at most in both blocks.
By [F4], the physical categorical braid is the same scalar multiple of both normalized blocks; multiplying by a unit scalar leaves leakage unchanged and is recorded as a projective phase for uncontrolled computation. It must be tracked under coherent control.
Six-anyon braid target extends uniformly to fusion spectators
Statement
Assume , , and a total-charge label with . The code in anyons factors as . For any adjacent pair of encoded triples, any , and any , one normalized six-strand braid induces an ambient operator within of the code-preserving ideal extension of on the entire fixed-charge space . Consequently, on code inputs, its logical block error and leakage amplitude are each at most , uniformly over all spectator fusion paths. The full-space approximation bound also holds on arbitrary ambient inputs, including states that already have a component outside the code.
Facts & Assumptions
Given: The triple code, the full fusion space, an adjacent pair of triples, , , and .
The normalized six-strand image has closure containing , and for each there are determinant-one extensions and . Joint SU(5)×SU(8) closure from B6 path blocks Six-anyon triple-encoded subspace and leakage complement
A full-space norm bound by bounds logical block error and leakage by . Block-target approximation bounds logical error and leakage
A local braid on a tensor factor acts as its braid operator tensored with the identity on spectator factors; unitary fusion-tree reassociation changes basis by a unitary. The physical braid phase is common to all charge and spectator blocks; write for the normalized action obtained by removing it, which preserves the same local tensor-factor action. Gauge covariance of fusion-space braid actions The braid phase is a common scalar character
Every finite-dimensional spectator multiplicity space has an orthonormal basis. Every finite-dimensional real or complex inner product space has an orthonormal basis
is countable choice. The Axiom of Countable Choice ()
Proof
Each triple has fusion factor . Associating the triple charges first gives the code factorization ; the second factor records all spectator fusion paths. This is an orthogonal fusion-tree decomposition by [F1, F3].
Let the chosen adjacent pair of triples occupy strands , and put and . Reassociate the ordered input only, retaining the prefix of strands, the selected six-strand block, and the suffix of strands in that order; no permutation of strands is used. The fusion-tree basis gives the orthogonal decomposition where the sums run over simple charges and zero-dimensional summands are omitted (with ). Every factor other than records a prefix, suffix, or fusion-multiplicity spectator. By [F3], a normalized braid word supported on the selected six consecutive strands acts on each summand as the identity on all other factors and on .
For each local total charge , let be the target extension in [F1]. On the decomposition in step 1.2 define on each summand by the identity on every factor other than and by on that block. This is a unitary direct sum; it preserves the triple code and acts there as on the selected adjacent pair and identity on all other logical and spectator factors. Joint density [F1] gives one normalized six-strand braid word with for both .
In a summand of step 1.2, group the factors before as and those after it as . Choose orthonormal bases and of by [F4] and write . Then , with equality on a maximizing vector in the middle factor tensored with basis vectors; hence the operator norm on each tensor summand equals . For an orthogonal direct sum of blocks, squared norms add, so its operator norm is the maximum block norm (equality follows by testing a maximizing vector in a maximizing block). The decomposition in step 1.2 and the bounds in step 2.1 therefore give on the whole ambient space.
Apply [F2] to and . Their compression to the code differs from the target by at most , and , so the leakage amplitude is also at most . The norm estimate is on the whole ambient space, so it remains valid for inputs with prior leakage. The physical categorical word has the common phase of The braid phase is a common scalar character, which is harmless only after phase matching or when reported projectively.
Arbitrary-size triple-encoded braid universality
Statement
Assume . For every , every total-charge label with , every unitary on logical qubits, and every , the triple- code admits a finite normalized braid word such that Here is the spectator space, is the isometric triple-code inclusion, and the logical target is lifted as . The bounds are uniform over spectator fusion states. No efficient braid word-length, search-time, or finite-precision bound is asserted.
Facts & Assumptions
Given: The finite logical target, the triple code and spectator space, , and .
The Fibonacci braid image on the three-, total- space is projectively dense in . Fibonacci single-qubit projective density
Any adjacent two-logical-qubit target has a spectator-safe extension with logical error and leakage at most the requested tolerance. Six-anyon braid target extends uniformly to fusion spectators
Every finite-dimensional unitary has a finite exact QSD decomposition into one-qubit gates and CNOTs; the theorem makes only its stated gate-count claim. Exact QSD CNOT Upper Bound
Per-gate full-space errors add, and code-preserving ideal targets give the same total bounds on logical block error and leakage. Logical error and leakage add under code-preserving gate approximation
Braid words carry a common scalar phase; it must be tracked under coherent control. The braid phase is a common scalar character
The Fibonacci data and fusion-tree count give and . In an ordered fusion-tree decomposition, a braid supported on a contiguous local block acts on that block's fixed-charge factor and as the identity on the prefix, suffix, and their fusion multiplicities; its fixed-charge action is unitary. Dividing the physical action by its common phase retains these properties; write for the resulting normalized action. Unitary Artin braid representation on fixed-charge fusion spaces Gauge covariance of fusion-space braid actions Fusion-tree basis and dimension recursion Fibonacci fusion data and chiral convention The braid phase is a common scalar character
Every finite-dimensional spectator fusion space has an orthonormal basis. Every finite-dimensional real or complex inner product space has an orthonormal basis
is countable choice. The Axiom of Countable Choice ()
Proof
Reassociation of the fusion trees gives the code factor , with the second factor retaining every spectator fusion path. The code inclusion is on this full logical-and-spectator tensor product, and the target on it is . For , only occurs and the single triple supplies the one-qubit code.
By [F3], has a finite exact decomposition into one-qubit gates and CNOT gates. Replace each nonadjacent two-qubit gate by the exact standard sequence of adjacent SWAP targets, the gate on neighboring wires, and the inverse SWAP targets. These are abstract targets, not assumed to be exact leakage-free braids. The result is a finite list of one-qubit or adjacent two-qubit targets whose product is .
If , then and the empty braid proves the statement. Otherwise put for . For a one-qubit target at logical position , let and . Reassociate the ordered strands into prefix, this triple, and suffix, without changing their order. The fusion-tree basis gives the orthogonal decomposition with zero-dimensional summands omitted and . By [F6], a braid word on this triple acts on each summand by the normalized block on and identity on all other factors. The code lies in the local total- summands, where is the logical qubit; total- summands lie in the orthogonal complement. Projective density [F1] supplies and with . Define a code-preserving ideal unitary on each local total- summand as tensored with identity on the ordered prefix, suffix, and fusion multiplicities; on each local total- summand define it to equal the normalized . It is unitary, and its difference from the normalized braid is at most on every summand (at most on total and zero on total ). In a fixed fusion summand, group the factors before the local triple as and those after it as . Expanding in orthonormal bases of supplied by [F7] gives for each local block error . Thus tensoring with the spectator identities does not increase the block error. For the orthogonal direct sum, squared norms add, so its norm is at most the maximum block norm (attained by a maximizing vector in a maximizing block); hence the full ambient error is at most .
For each adjacent two-qubit target, [F2] supplies a six-strand braid and a code-preserving ideal extension with full-space error at most , including all spectator fusion sectors. The ideal one- and two-qubit extensions therefore give a finite code-preserving target sequence whose action on the code is .
Apply [F4] to the physical/ideal pairs. Their product differs in operator norm by at most . Compression to the code gives the logical block bound, while projection to its orthogonal complement gives leakage at most . The product scalar , together with the common braid phases in [F5], is the single phase removed by the projective infimum; it is not free under coherent control. The proof gives existence only, because [F1] and [F2] supply no useful joint B6 word-length bound.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation
- Sabine Jansen, Mary-Beth Ruskai, and Ruedi Seiler, Bounds for the adiabatic approximation with applications to quantum computation
- Michael H. Freedman, Michael J. Larsen, and Zhenghan Wang, A Modular Functor Which Is Universal for Quantum Computation
- John Preskill, Lecture Notes for Physics 219: Quantum Computation, Chapter 9: Topological Quantum Computation
- Ronald de Wolf, Quantum Computing: Lecture Notes