Anyons from non-solvable finite groups are sufficient for universal quantum computation

Abstract

We present a constructive proof that anyonic magnetic charges with fluxes in a non-solvable 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.

17 pages, REVTeX 4 (minor changes in v2, added motivation for leakage correction)

References in corpus (1)

• Both Toffoli and Controlled-NOT need little help to do universal quantum computation

Cited by in corpus (43)

• Non-Abelian Anyons and Topological Quantum Computation
• A fault-tolerant one-way quantum computer
• Braid Topologies for Quantum Computation
• Protected Qubits and Chern Simons theories in Josephson Junction Arrays
• Anyon computers with smaller groups
• Introduction to topological quantum computation with non-Abelian anyons
• Interferometry of non-Abelian Anyons
• Discrete non-Abelian gauge theories in two-dimensional lattices and their realizations in Josephson-junction arrays
• Topological Quantum Computing with Only One Mobile Quasiparticle
• Universal quantum computation with weakly integral anyons
• Phase Structure of the Random-Plaquette Z_2 Gauge Model: Accuracy Threshold for a Toric Quantum Memory
• Bulk-edge correspondence of one-dimensional quantum walks
• Metaplectic Anyons, Majorana Zero Modes, and their Computational Power
• Haag duality for Kitaev's quantum double model for abelian groups
• Universal Gates via Fusion and Measurement Operations on SU$(2{)}_4$ Anyons
• Generalized Cluster States Based on Finite Groups
• Braiding and fusion of non-Abelian vortex anyons
• Representations of the quantum doubles of finite group algebras and solutions of the Yang--Baxter equation
• Symmetry-enriched topological order from partially gauging symmetry-protected topologically ordered states assisted by measurements
• Kitaev's quantum double model from a local quantum physics point of view
• Relaxation dynamics of the toric code in contact with a thermal reservoir: Finite-size scaling in a low temperature regime
• Quantum walks: Schur functions meet symmetry protected topological phases
• Towards Large-Scale Quantum Computation
• Error-Resistant Distributed Quantum Computation in Trapped Ion Chain
• Non-Abelian Chern-Simons models with discrete gauge groups on a lattice
• Finite temperature quantum simulation of stabilizer Hamiltonians
• Generalized Color Codes Supporting Non-Abelian Anyons
• Braid Matrices and Quantum Gates for Ising Anyons Topological Quantum Computation
• Stability and Loop Models from Decohering Non-Abelian Topological Order
• Z_N Gauge Theories on a Lattice and Quantum Memory
• Quantum Fourier Transforms and the Complexity of Link Invariants for Quantum Doubles of Finite Groups
• Topological Quantum Gates in Homotopy Type Theory
• Measuring Topological Order
• Group geometrical axioms for magic states of quantum computing
• Solutions of the Yang-Baxter equation: descendants of the six-vertex model from the Drinfeld doubles of dihedral group algebras
• Dihedral twist liquid models from emergent Majorana fermions
• Computing with Coloured Tangles
• Towards Topological Quantum Computation? - Knotting and Fusing Flux Tubes
• Simplifying quantum double Hamiltonians using perturbative gadgets
• Computational complexity and 3-manifolds and zombies
• Implementation of Single-qubit and CNOT Gates by Anyonic Excitations of Two-body Topological Color Code
• Universal Gates from Braiding and Fusing Anyons on Quantum Hardware
• Exotic Particles and $w_{\infty }$-Algebras in Two- and High-Dimensional Spaces