pith. machine review for the scientific record. sign in

arxiv: 2602.15324 · v2 · submitted 2026-02-17 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Universal Quantum Gate Set from Multiple-Braiding Sequences in SU(2)_k (k>2, kneq 4) Anyon Models

Authors on Pith no claims yet

Pith reviewed 2026-05-15 22:10 UTC · model grok-4.3

classification 🪐 quant-ph
keywords anyon modelsbraiding sequencesuniversal gate settopological quantum computationSU(2)_kmultiple braidingquantum gates
0
0 comments X

The pith

Multiple-braiding sequences implement a universal quantum gate set in SU(2)_k anyon models for most cases

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines whether products of multiple elementary braiding matrices can approximate the gates H, T and CNOT in SU(2)_k anyon models. It derives the matrices from q-deformed SU(2) representation theory and checks multiplicities one through nine for the k=3 and k=5 cases. Numerical optimization shows that all but one multiplicity produces approximations sufficient for universality, with even-order sequences offering the added benefit of using fewer anyons. A sympathetic reader would care because this points to a concrete route for achieving universal topological quantum computation without relying on single braids alone.

Core claim

The authors derive multiple elementary braiding matrices from the q-deformed representation theory of SU(2) and demonstrate numerically that finite products of these matrices for multiplicities one to nine approximate the universal gate set consisting of the Hadamard gate, the T gate, and the CNOT gate in the SU(2)_3 and SU(2)_5 models. All but one of the nine cases succeed; high-precision H and T gates are obtained via a genetic-algorithm-enhanced Solovay-Kitaev procedure, while expanding the operation count to thirty permits direct approximation of a locally equivalent CNOT. Even-order braiding sequences reduce the number of non-Abelian anyons needed.

What carries the argument

Multiple elementary braiding matrices derived from q-deformed SU(2) representation theory, which serve as generators whose finite products are optimized to approximate target gates.

If this is right

  • Universal quantum computation follows from the existence of approximating sequences in eight of the nine examined cases.
  • Even-order braiding sequences achieve the same universality while requiring fewer non-Abelian anyons.
  • High-precision single-qubit gates are reachable by combining the matrices with standard approximation algorithms.
  • Direct approximation of two-qubit gates becomes possible once the allowed sequence length is extended modestly.
  • Braiding-based topological quantum computation gains a practical implementation path in these models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same multiple-braiding construction may extend to other anyon models whose braiding matrices are known from representation theory.
  • Physical implementations could test the claim by preparing the required number of anyons and measuring the effective gate fidelity after each sequence.
  • If the numerical precision carries over to hardware, error rates in topological qubits might be lowered by the reduced anyon count of even-order braids.
  • Further search over higher multiplicities or different optimization targets could yield shorter sequences for the same gates.

Load-bearing premise

The derived q-deformed braiding matrices accurately correspond to the physical anyon braiding operations that can be performed in a laboratory.

What would settle it

An explicit calculation for one of the successful multiplicities showing that the closure of the generated group lies at a finite distance from the target universal gate set and cannot reach arbitrary precision.

Figures

Figures reproduced from arXiv: 2602.15324 by Jiangwei Long, Jianxin Zhong, Lijun Meng, Yizhi Li, Zihui Liu.

Figure 3
Figure 3. Figure 3: FIG. 3: Construction of standard [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: Approximation [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗
read the original abstract

We study the implementation of a universal quantum gate set via multiple-braiding within $SU(2)_k$ ($k > 2$, $k \neq 4$) anyon models. The multiple elementary braiding matrices (MEBMs) are derived from the $q$-deformed representation theory of $SU(2)$. Braiding multiplicities from one to nine are examined as building blocks for $\{H, T, \text{CNOT}\}$ in $SU(2)_3$ and $SU(2)_5$. Only one case fails to support universality; high-precision $H$ and $T$ gates can be achieved by a Genetic Algorithm enhanced Solovay--Kitaev Algorithm, and expanding operations to 30 enables direct approximation of a locally equivalent CNOT for the remaining eight. Notably, even-order braiding operations offer a physical advantage by reducing the number of non-Abelian anyons required in braiding-based topological quantum computing (TQC). Our numerical results provide strong evidence that most multiple-braiding sequences in $SU(2)_k$ ($k > 2$, $k \neq 4$) anyon models are capable of universal quantum computation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims that multiple elementary braiding matrices (MEBMs) derived from q-deformed SU(2) representation theory in SU(2)_k (k>2, k≠4) anyon models can implement a universal gate set {H, T, CNOT} for most examined cases. Using a genetic algorithm enhanced Solovay-Kitaev method, high-precision approximations to H and T are obtained for multiplicities 1-9 in SU(2)_3 and SU(2)_5 (only one failure), and up to 30 operations suffice for a locally equivalent CNOT in the remaining eight cases; the work also notes a physical advantage in reducing the number of non-Abelian anyons required.

Significance. If the numerical approximations meet fault-tolerance thresholds and the generated subgroups are dense, the result would be significant for braiding-based topological quantum computation by showing that multiple-braiding sequences enable universality with fewer physical resources than single-braiding approaches.

major comments (2)
  1. [Abstract and Numerical Results] Abstract and numerical results section: the claim of 'high-precision' H and T approximations via the genetic-enhanced SKA reports no operator-norm distances, diamond-norm errors, or explicit convergence criteria for the eight successful cases, leaving the support for arbitrary-precision universality heuristic rather than quantitative.
  2. [Discussion] Universality discussion: no analytic argument or explicit check is supplied that the subgroup generated by the MEBMs is dense in SU(2) or U(4), which is required for the Solovay-Kitaev theorem to guarantee that finite sequences can achieve arbitrary precision beyond the specific numerical searches performed.
minor comments (2)
  1. [Methods] Provide the explicit matrix representations of the MEBMs for at least one multiplicity to allow independent verification of the q-deformed derivation.
  2. [Results] Clarify the precise definition and target matrix used for the 'locally equivalent CNOT' in the 30-operation approximations.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful review and constructive comments on our manuscript. We address each major comment point by point below, indicating where revisions will be made.

read point-by-point responses
  1. Referee: [Abstract and Numerical Results] Abstract and numerical results section: the claim of 'high-precision' H and T approximations via the genetic-enhanced SKA reports no operator-norm distances, diamond-norm errors, or explicit convergence criteria for the eight successful cases, leaving the support for arbitrary-precision universality heuristic rather than quantitative.

    Authors: We agree that the presentation would benefit from explicit quantitative metrics. In the revised manuscript, we will add tables in the numerical results section reporting the operator-norm distances and diamond-norm errors achieved for the H and T approximations in the eight successful cases, along with the precise convergence criteria, population sizes, and precision thresholds employed in the genetic algorithm enhanced Solovay-Kitaev algorithm. This will render the claims quantitative. revision: yes

  2. Referee: [Discussion] Universality discussion: no analytic argument or explicit check is supplied that the subgroup generated by the MEBMs is dense in SU(2) or U(4), which is required for the Solovay-Kitaev theorem to guarantee that finite sequences can achieve arbitrary precision beyond the specific numerical searches performed.

    Authors: We acknowledge that a rigorous analytic demonstration of density would allow direct invocation of the Solovay-Kitaev theorem without qualification. However, establishing density analytically for the subgroups generated by these specific MEBMs requires advanced results from quantum group representation theory that lie outside the scope of this primarily numerical study. Our genetic-algorithm searches demonstrate that high-precision approximations are attainable in practice, which is consistent with (but does not prove) density. We will revise the discussion to explicitly state this limitation and clarify that universality is supported by the numerical evidence for the examined models and multiplicities. revision: partial

standing simulated objections not resolved
  • Analytic proof that the subgroups generated by the MEBMs are dense in SU(2) or U(4)

Circularity Check

0 steps flagged

No circularity: derivation from q-deformed representation theory plus independent numerical search is self-contained

full rationale

The paper derives MEBMs explicitly from standard q-deformed SU(2) representation theory (external to the paper) and then performs separate numerical optimization via a Genetic Algorithm enhanced Solovay-Kitaev procedure to locate approximating sequences for H, T, and CNOT. No equation reduces a claimed prediction to a fitted parameter by construction, no load-bearing premise rests on a self-citation chain, and no ansatz is smuggled in; the numerical results are offered as computational evidence rather than tautological outputs. The derivation chain therefore remains independent of the target universality claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard assumptions from anyon theory and numerical approximation methods; no explicit free parameters or invented entities are introduced beyond the model definitions.

axioms (1)
  • domain assumption The q-deformed representation theory of SU(2) yields the correct elementary braiding matrices for the anyon models under study.
    Invoked in the derivation of MEBMs as stated in the abstract.

pith-pipeline@v0.9.0 · 5542 in / 1316 out tokens · 21827 ms · 2026-05-15T22:10:09.452612+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entangling gates for the SU(N) anyons

    hep-th 2026-05 unverdicted novelty 3.0

    The paper outlines the generalization of cabling-based entangling gates to SU(N) anyons and identifies differences and new problems that arise.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Quantum computational supremacy, Nature 549 (2017) 203, https://doi.org/10.1038/nature23458

    Harrow A W and Montanaro A. Quantum computational supremacy, Nature 549 (2017) 203, https://doi.org/10.1038/nature23458

  2. [2]

    Non -Abelian anyons and topological quantum computation, Reviews of Modern Physics 80 (2008) 1083, https://doi.org/10.1103/RevModPhys.80.1083

    Nayak C, Simon S H, Stern A, Freedman M, and Das Sarma S. Non -Abelian anyons and topological quantum computation, Reviews of Modern Physics 80 (2008) 1083, https://doi.org/10.1103/RevModPhys.80.1083

  3. [3]

    Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003) 2, https://doi.org/10.1016/S0003-4916(02)00018-0

    Kitaev A Y . Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003) 2, https://doi.org/10.1016/S0003-4916(02)00018-0

  4. [4]

    Evidence for Majorana bound states in an iron -based superconductor, Science 362 (2018) 333, https://doi.org/10.1126/science.aao1797

    Wang D, Kong L, Fan P, Chen H, Zhu S, Liu W, Cao L, Sun Y , Du S, and Schneeloch J. Evidence for Majorana bound states in an iron -based superconductor, Science 362 (2018) 333, https://doi.org/10.1126/science.aao1797

  5. [5]

    Majorana quantization and half-integer thermal quantum Hall effect in a Kitaev spin liquid, Nature 559 (2018) 227, https://doi.org/10.1038/s41586- 018-0274-0

    Kasahara Y , Ohnishi T, Mizukami Y , Tanaka O, Ma S, Sugii K, Kurita N, Tanaka H, Nasu J, and Motome Y . Majorana quantization and half-integer thermal quantum Hall effect in a Kitaev spin liquid, Nature 559 (2018) 227, https://doi.org/10.1038/s41586- 018-0274-0

  6. [6]

    Quantum field theory and the Jones polynomial, Communications in Mathematical Physics 121 (1989) 351, https://doi.org/10.1007/BF01217730

    Witten E. Quantum field theory and the Jones polynomial, Communications in Mathematical Physics 121 (1989) 351, https://doi.org/10.1007/BF01217730

  7. [7]

    The Two -Eigenvalue Problem and Density¶of Jones Representation of Braid Groups, Communications in Mathematical Physics 228 (2002) 177, https://doi.org/10.1007/s002200200636

    Freedman M H, Larsen M J, and Wang Z. The Two -Eigenvalue Problem and Density¶of Jones Representation of Braid Groups, Communications in Mathematical Physics 228 (2002) 177, https://doi.org/10.1007/s002200200636

  8. [8]

    Long J, Li Y , Zhong J, and Meng L. The construction of a universal quantum gate set for the SU(2)k (k=5,6,7) anyon models via genetic optimized algorithm, Physics Letters A 565 (2026) 131142, https://doi.org/10.1016/j.physleta.2025.131142

  9. [9]

    Braid matrices and quantum gates for Ising anyons topological quantum computation, The European Physical Journal B 74 (2010) 419, https://doi.org/10.1140/epjb/e2010-00087-4

    Fan Z and de Garis H. Braid matrices and quantum gates for Ising anyons topological quantum computation, The European Physical Journal B 74 (2010) 419, https://doi.org/10.1140/epjb/e2010-00087-4

  10. [10]

    Universal quantum computation with metaplectic anyons, Journal of Mathematical Physics 56 (2015), https://doi.org/10.1063/1.4914941

    Cui S X and Wang Z. Universal quantum computation with metaplectic anyons, Journal of Mathematical Physics 56 (2015), https://doi.org/10.1063/1.4914941

  11. [11]

    Ancilla -free scheme of deterministic topological quantum gates for Majorana qubits, Physical 14 / 15 Review B 109 (2024) 165302, https://doi.org/10.1103/PhysRevB.109.165302

    Zhang S -Q, Hong J -S, Xue Y , Luo X-J, Yu L-W, Liu X -J, and Liu X. Ancilla -free scheme of deterministic topological quantum gates for Majorana qubits, Physical 14 / 15 Review B 109 (2024) 165302, https://doi.org/10.1103/PhysRevB.109.165302

  12. [12]

    Zhan Y-M, Mao G-D, Chen Y-G, Yu Y , and Luo X. Dissipationless topological quantum computation for Majorana objects in the sparse -dense mixed encoding process, Physical Review A 110 (2024) 022609, https://doi.org/10.1103/PhysRevA.110.022609

  13. [13]

    Ezawa M. Systematic construction of topological -nontopological hybrid universal quantum gates based on many -body Majorana fermion interactions, Physical Review B 110 (2024) 045417, https://doi.org/10.1103/PhysRevB.110.045417

  14. [14]

    Universal gates via fusion and measurement operations on SU (2) 4 anyons, Physical Review A 92 (2015) 012301, https://doi.org/10.1103/PhysRevA.92.012301

    Levaillant C, Bauer B, Freedman M, Wang Z, and Bonderson P. Universal gates via fusion and measurement operations on SU (2) 4 anyons, Physical Review A 92 (2015) 012301, https://doi.org/10.1103/PhysRevA.92.012301

  15. [15]

    Ternary logic design in topological quantum computing, Journal of Physics A: Mathematical and Theoretical 55 (2022) 305302, https://doi.org/10.1088/1751-8121/ac7b55

    Ilyas M, Cui S, and Perkowski M. Ternary logic design in topological quantum computing, Journal of Physics A: Mathematical and Theoretical 55 (2022) 305302, https://doi.org/10.1088/1751-8121/ac7b55

  16. [16]

    Topological quantum compiling, Physical Review B 75 (2007) 165310, https://doi.org/10.1103/PhysRevB.75.165310

    Hormozi L, Zikos G, Bonesteel N E, and Simon S H. Topological quantum compiling, Physical Review B 75 (2007) 165310, https://doi.org/10.1103/PhysRevB.75.165310

  17. [17]

    The Solovay-Kitaev algorithm, Quantum Information & Computation 6 (2006) 81, https://dl.acm.org/doi/abs/10.5555/2011679.2011685

    Dawson C M and Nielsen M A. The Solovay-Kitaev algorithm, Quantum Information & Computation 6 (2006) 81, https://dl.acm.org/doi/abs/10.5555/2011679.2011685

  18. [18]

    Asymptotically Optimal Topological Quantum Compiling, Physical Review Letters 112 (2014) 140504, https://doi.org/10.1103/PhysRevLett.112.140504

    Kliuchnikov V , Bocharov A, and Svore K M. Asymptotically Optimal Topological Quantum Compiling, Physical Review Letters 112 (2014) 140504, https://doi.org/10.1103/PhysRevLett.112.140504

  19. [19]

    Génetay Johansen E and Simula T J P Q. Fibonacci anyons versus Majorana fermions: A Monte Carlo approach to the compilation of braid circuits in SU (2) k anyon models, PRX Quantum 2 (2021) 010334, https://doi.org/10.1103/PRXQuantum.2.010334

  20. [20]

    Genetic algorithm enhanced Solovay-Kitaev algorithm for quantum compiling of Fibonacci anyons, Physica Scripta (2025), https://doi.org/10.1088/1402-4896/ae1d30

    Long J, Huang X, Zhong J, and Meng L. Genetic algorithm enhanced Solovay-Kitaev algorithm for quantum compiling of Fibonacci anyons, Physica Scripta (2025), https://doi.org/10.1088/1402-4896/ae1d30

  21. [21]

    Topological quantum compiling with reinforcement learning, Physical Review Letters 125 (2020) 170501, https://doi.org/10.1103/PhysRevLett.125.170501

    Zhang Y-H, Zheng P-L, Zhang Y , and Deng D-L. Topological quantum compiling with reinforcement learning, Physical Review Letters 125 (2020) 170501, https://doi.org/10.1103/PhysRevLett.125.170501

  22. [22]

    Topological quantum computation, Physics today 59 (2006) 32, https://doi.org/10.1063/1.2337825

    Das Sarma S, Freedman M, and Nayak C. Topological quantum computation, Physics today 59 (2006) 32, https://doi.org/10.1063/1.2337825

  23. [23]

    Topological quantum compilation of two -qubit gates, Physical Review A 110 (2024) 052616, https://doi.org/10.1103/PhysRevA.110.052616

    Burke P C, Aravanis C, Aspman J, Mareček J, and Vala J. Topological quantum compilation of two -qubit gates, Physical Review A 110 (2024) 052616, https://doi.org/10.1103/PhysRevA.110.052616

  24. [24]

    Entangling gates from cabling of knots, The European Physical Journal C 85 (2025) 799, https://doi.org/10.1140/epjc/s10052-025-14492-4

    Mironov S and Morozov A. Entangling gates from cabling of knots, The European Physical Journal C 85 (2025) 799, https://doi.org/10.1140/epjc/s10052-025-14492-4

  25. [25]

    Tounsi A, Belaloui N E, Louamri M M, Benslama A, and Rouabah M T. Optimized topological quantum compilation of three-qubit controlled gates in the Fibonacci anyon model: A controlled -injection approach, Physical Review A 110 (2024) 012603, https://doi.org/10.1103/PhysRevA.110.012603

  26. [26]

    Xu H and Taylor J. Unified approach to topological quantum computation with anyons: From qubit encoding to Toffoli gate, Physical Review A 84 (2011) 012332, https://doi.org/10.1103/PhysRevA.84.012332 15 / 15

  27. [27]

    Kaufmann A L and Cui S X. Universal topological quantum computing via double - braiding in SU(2) Witten–Chern–Simons theory, Quantum Information Processing 24 (2025) 14, https://doi.org/10.1007/s11128-024-04633-1

  28. [28]

    Topological Quantum Computing with Only One Mobile Quasiparticle, Physical Review Letters 96 (2006) 070503, https://doi.org/10.1103/PhysRevLett.96.070503

    Simon S H, Bonesteel N E, Freedman M H, Petrovic N, and Hormozi L. Topological Quantum Computing with Only One Mobile Quasiparticle, Physical Review Letters 96 (2006) 070503, https://doi.org/10.1103/PhysRevLett.96.070503

  29. [29]

    Affine Lie algebras and quantum groups, International Mathematics Research Notices 1991 (1991) 21, https://doi.org/10.1155/S1073792891000041

    Kazhdan D and Lusztig G. Affine Lie algebras and quantum groups, International Mathematics Research Notices 1991 (1991) 21, https://doi.org/10.1155/S1073792891000041

  30. [30]

    Topological qubit design and leakage, New Journal of Physics 13 (2011), https://doi.org/10.1088/1367-2630/13/6/065030

    Slingerland R A a J K. Topological qubit design and leakage, New Journal of Physics 13 (2011), https://doi.org/10.1088/1367-2630/13/6/065030

  31. [31]

    The search for leakage-free entangling Fibonacci braiding gates, Journal of Physics A: Mathematical and Theoretical 52 (2019) 455301, https://doi.org/10.1088/1751-8121/ab488e

    Cui S X, Tian K T, V asquez J F, Wang Z, and Wong H M. The search for leakage-free entangling Fibonacci braiding gates, Journal of Physics A: Mathematical and Theoretical 52 (2019) 455301, https://doi.org/10.1088/1751-8121/ab488e

  32. [32]

    Wang Z, Topological Quantum Computation (American Mathematical Society, 2010), V ol. 112

  33. [33]

    Topological quantum compilation of metaplectic anyons based on the genetic optimized algorithms, Physical Review A 112 (2025) 022421, https://doi.org/10.1103/js85-r2m7

    Long J, Zhong J, and Meng L. Topological quantum compilation of metaplectic anyons based on the genetic optimized algorithms, Physical Review A 112 (2025) 022421, https://doi.org/10.1103/js85-r2m7

  34. [34]

    Introduction to topological quantum computation with non - Abelian anyons, Quantum Science and Technology 3 (2018) 045004, https://doi.org/10.1088/2058-9565/aacad2

    Field B and Simula T. Introduction to topological quantum computation with non - Abelian anyons, Quantum Science and Technology 3 (2018) 045004, https://doi.org/10.1088/2058-9565/aacad2

  35. [35]

    High -threshold universal quantum computation on the surface code, Physical Review A 80 (2009) 052312, https://doi.org/10.1103/PhysRevA.80.052312

    Fowler A G, Stephens A M, and Groszkowski P. High -threshold universal quantum computation on the surface code, Physical Review A 80 (2009) 052312, https://doi.org/10.1103/PhysRevA.80.052312

  36. [36]

    Surface codes: Towards practical large -scale quantum computation, Physical Review A 86 (2012) 032324, https://doi.org/10.1103/PhysRevA.86.032324

    Fowler A G, Mariantoni M, Martinis J M, and Cleland A N. Surface codes: Towards practical large -scale quantum computation, Physical Review A 86 (2012) 032324, https://doi.org/10.1103/PhysRevA.86.032324