Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0306063 · Physical Review A

Anyon computers with smaller groups

Carlos Mochon

Published Mar 11, 2004• 136 citations
arXivHTMLPDF

Abstract

Anyons obtained from a finite gauge theory have a computational power that depends on the symmetry group. The relationship between group structure and computational power is discussed in this paper. In particular, it is shown that anyons based on finite groups that are solvable but not nilpotent are capable of universal quantum computation. This extends previously published results to groups that are smaller and therefore more practical. Additionally, a new universal gate set is built out of an operation called a probabilistic projection, and a quasiuniversal leakage correction scheme is discussed.

DOI
10.1103/physreva.69.032306

Related papers

On topological quantum computing with mapping class group representations

Wade Bloomquist, Zhenghan Wang

Abstract We propose an encoding for topological quantum computation utilizing quantum representations of mapping class groups. Leakage into a non-computational subspace seems to be unavoidable for universality. We are interested in the possible gate sets which can emerge in this setting. As a first step, we prove that for abelian anyons, all gates from these mapping class group representations are normalizer gates. Results of Van den Nest then allow us to conclude that for abelian anyons this quantum computing scheme can be simulated efficiently on a classical computer. With an eye toward more general anyon models we additionally show that for Fibonnaci anyons, quantum representations of mapping class groups give rise to gates which are not generalized Clifford gates.

arXiv:1805.04622•Journal of Physics A Mathematical and Theoretical•Nov 6, 2018•5 citations

Topological Quantum Computation : An Analysis of an Anyon Model Based on Quantum Double Symmetries

Ville Lahtinen

There exists various suggestions for building a functional and a fault-tolerant large-scale quantum computer. Topological quantum computation is a more exotic suggestion, which makes use of the properties of quasiparticles manifest only in certain two-dimensional systems. These so called anyons exhibit topological degrees of freedom, which, in principle, can be used to execute quantum computation with intrinsic fault-tolerance. This feature is the main incentive to study topological quantum computation. The objective of this thesis is to provide an accessible introduction to the theory. In this thesis one has considered the theory of anyons arising in two-dimensional quantum mechanical systems, which are described by gauge theories based on so called quantum double symmetries. The quasiparticles are shown to exhibit interactions and carry quantum numbers, which are both of topological nature. Particularly, it is found that the addition of the quantum numbers is not unique, but that the fusion of the quasiparticles is described by a non-trivial fusion algebra. It is discussed how this property can be used to encode quantum information in a manner which is intrinsically protected from decoherence and how one could, in principle, perform quantum computation by braiding the quasiparticles. As an example of the presented general discussion, the particle spectrum and the fusion algebra of an anyon model based on the gauge group S_3 are explicitly derived. The fusion algebra is found to branch into multiple proper subalgebras and the simplest one of them is chosen as a model for an illustrative demonstration. The different steps of a topological quantum computation are outlined and the computational power of the model is assessed. It turns out that the chosen model is not universal for quantum computation. However, because the objective was a demonstration of the theory with explicit calculations, none of the other more complicated fusion subalgebras were considered. Studying their applicability for quantum computation could be a topic of further research.

Työväentutkimus Vuosikirja•May 8, 2006•3 citations

Universal quantum computation with metaplectic anyons

Shawn Xingshan Cui, Zhenghan Wang

We show that braidings of the metaplectic anyons Xϵ in SO(3)2 = SU(2)4 with their total charge equal to the metaplectic mode Y supplemented with projective measurements of the total charge of two metaplectic anyons are universal for quantum computation. We conjecture that similar universal anyonic computing models can be constructed for all metaplectic anyon systems SO(p)2 for any odd prime p ≥ 5. In order to prove universality, we find new conceptually appealing universal gate sets for qutrits and qupits.

arXiv:1405.7778•Journal of Mathematical Physics•Mar 1, 2015•121 citations

Computing with Anyons

Steven H. Simon

Abstract We introduce some basic ideas of quantum computing including the idea of a quantum circuit model and the idea of a universal quantum computer — implementing arbitrary gates arbitrarily accurately. We discuss how braiding of certain anyons can be used as a universal quantum computer, and we illustrate this using Fibonacci anyons as an example. We then turn to the task of designing braids to perform particular computations, which is known as Topological Quantum compiling.

•Sep 29, 2023•0 citations

Universal quantum computation with group surface codes

Naren Manjunath, Vieri Mattei, Apoorv Tiwari +1 more

We introduce group surface codes, which are a natural generalization of the $\mathbb{Z}_2$ surface code, and equivalent to quantum double models of finite groups with specific boundary conditions. We show that group surface codes can be leveraged to perform non-Clifford gates in $\mathbb{Z}_2$ surface codes, thus enabling universal computation along with established means of performing logical Clifford gates. Moreover, for suitably chosen groups, we demonstrate that arbitrary reversible classical gates can be implemented transversally in the group surface code. We present the logical operations in terms of a set of elementary logical operations, which include transversal logical gates, a means of transferring encoded information into and out of group surface codes, and preparation and readout. By composing these elementary operations, we implement a wide variety of logical gates and provide a unified perspective on recent constructions in the literature for sliding group surface codes and preparing magic states. We furthermore use tensor networks inspired by ZX-calculus to construct spacetime implementations of the elementary operations. This spacetime perspective also allows us to establish explicit correspondences with topological gauge theories. Our work extends recent efforts in performing universal quantum computation in topological orders without the braiding of anyons, and shows how certain group surface codes allow us to bypass the restrictions set by the Bravyi-König theorem, which limits the computational power of topological Pauli stabilizer models.

quant-pharXiv:2603.05502•Mar 6, 2026•0 citations

Anyons from nonsolvable finite groups are sufficient for universal quantum computation

Carlos Mochon

We present a constructive proof that anyonic magnetic charges with fluxes in a nonsolvable finite group can perform universal quantum computations. The gates are built out of the elementary operations of braiding, fusion, and vacuum pair creation, supplemented by a reservoir of ancillas of known flux. Procedures for building the ancilla reservoir and for correcting leakage are also described. Finally, a universal qudit gate set, which is ideally suited for anyons, is presented. The gate set consists of classical computation supplemented by measurements of the X operator.

arXiv:quant-ph/0206128•Physical Review A•Feb 28, 2003•115 citations
Anyons obtained from a finite gauge theory have a computational power that depends on the symmetry group. The relationship between group structure and computational power is discussed in this paper. In particular, it is shown that anyons based on finite groups that are solvable but not nilpotent are capable of universal quantum computation. This extends previously published results to groups that are smaller and therefore more practical. Additionally, a new universal gate set is built out of an operation called a probabilistic projection, and a quasiuniversal leakage correction scheme is discussed.
Abstract We propose an encoding for topological quantum computation utilizing quantum representations of mapping class groups. Leakage into a non-computational subspace seems to be unavoidable for universality. We are interested in the possible gate sets which can emerge in this setting. As a first step, we prove that for abelian anyons, all gates from these mapping class group representations are normalizer gates. Results of Van den Nest then allow us to conclude that for abelian anyons this quantum computing scheme can be simulated efficiently on a classical computer. With an eye toward more general anyon models we additionally show that for Fibonnaci anyons, quantum representations of mapping class groups give rise to gates which are not generalized Clifford gates.
There exists various suggestions for building a functional and a fault-tolerant large-scale quantum computer. Topological quantum computation is a more exotic suggestion, which makes use of the properties of quasiparticles manifest only in certain two-dimensional systems. These so called anyons exhibit topological degrees of freedom, which, in principle, can be used to execute quantum computation with intrinsic fault-tolerance. This feature is the main incentive to study topological quantum computation. The objective of this thesis is to provide an accessible introduction to the theory. In this thesis one has considered the theory of anyons arising in two-dimensional quantum mechanical systems, which are described by gauge theories based on so called quantum double symmetries. The quasiparticles are shown to exhibit interactions and carry quantum numbers, which are both of topological nature. Particularly, it is found that the addition of the quantum numbers is not unique, but that the fusion of the quasiparticles is described by a non-trivial fusion algebra. It is discussed how this property can be used to encode quantum information in a manner which is intrinsically protected from decoherence and how one could, in principle, perform quantum computation by braiding the quasiparticles. As an example of the presented general discussion, the particle spectrum and the fusion algebra of an anyon model based on the gauge group S_3 are explicitly derived. The fusion algebra is found to branch into multiple proper subalgebras and the simplest one of them is chosen as a model for an illustrative demonstration. The different steps of a topological quantum computation are outlined and the computational power of the model is assessed. It turns out that the chosen model is not universal for quantum computation. However, because the objective was a demonstration of the theory with explicit calculations, none of the other more complicated fusion subalgebras were considered. Studying their applicability for quantum computation could be a topic of further research.
We show that braidings of the metaplectic anyons Xϵ in SO(3)2 = SU(2)4 with their total charge equal to the metaplectic mode Y supplemented with projective measurements of the total charge of two metaplectic anyons are universal for quantum computation. We conjecture that similar universal anyonic computing models can be constructed for all metaplectic anyon systems SO(p)2 for any odd prime p ≥ 5. In order to prove universality, we find new conceptually appealing universal gate sets for qutrits and qupits.
We introduce group surface codes, which are a natural generalization of the Z2\mathbb{Z}_2Z2​ surface code, and equivalent to quantum double models of finite groups with specific boundary conditions. We show that group surface codes can be leveraged to perform non-Clifford gates in Z2\mathbb{Z}_2Z2​ surface codes, thus enabling universal computation along with established means of performing logical Clifford gates. Moreover, for suitably chosen groups, we demonstrate that arbitrary reversible classical gates can be implemented transversally in the group surface code. We present the logical operations in terms of a set of elementary logical operations, which include transversal logical gates, a means of transferring encoded information into and out of group surface codes, and preparation and readout. By composing these elementary operations, we implement a wide variety of logical gates and provide a unified perspective on recent constructions in the literature for sliding group surface codes and preparing magic states. We furthermore use tensor networks inspired by ZX-calculus to construct spacetime implementations of the elementary operations. This spacetime perspective also allows us to establish explicit correspondences with topological gauge theories. Our work extends recent efforts in performing universal quantum computation in topological orders without the braiding of anyons, and shows how certain group surface codes allow us to bypass the restrictions set by the Bravyi-König theorem, which limits the computational power of topological Pauli stabilizer models.
We present a constructive proof that anyonic magnetic charges with fluxes in a nonsolvable finite group can perform universal quantum computations. The gates are built out of the elementary operations of braiding, fusion, and vacuum pair creation, supplemented by a reservoir of ancillas of known flux. Procedures for building the ancilla reservoir and for correcting leakage are also described. Finally, a universal qudit gate set, which is ideally suited for anyons, is presented. The gate set consists of classical computation supplemented by measurements of the X operator.