Quantum computation with Turaev-Viro codes
arXiv:1002.2816 · doi:10.1016/j.aop.2010.08.001
Abstract
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For a manifold with boundary, the tensor network has free indices that can be associated to qudits, and its contraction gives the coefficients of a quantum error-correcting code. The code has local stabilizers determined by Levin and Wen. For example, applied to the genus-one handlebody using the Z_2 category, this construction yields the well-known toric code. For other categories, such as the Fibonacci category, the construction realizes a non-abelian anyon model over a discrete lattice. By studying braid group representations acting on equivalence classes of colored ribbon graphs embedded in a punctured sphere, we identify the anyons, and give a simple recipe for mapping fusion basis states of the doubled category to ribbon graphs. We explain how suitable initial states can be prepared efficiently, how to implement braids, by successively changing the triangulation using a fixed five-qudit local unitary gate, and how to measure the topological charge. Combined with known universality results for anyonic systems, this provides a large family of schemes for quantum computation based on local deformations of stabilizer codes. These schemes may serve as a starting point for developing fault-tolerance schemes using continuous stabilizer measurements and active error-correction.
53 pages, LaTeX + 199 eps figures
References in corpus (12)
- Non-Abelian Anyons and Topological Quantum Computation
- Anyons in an exactly solved model and beyond
- Fault-tolerant quantum computation with high threshold in two dimensions
- High threshold universal quantum computation on the surface code
- A fault-tolerant one-way quantum computer
- Topological Quantum Compiling
- Exact entanglement renormalization for string-net models
- On two approaches to 3-dimensional TQFTs
- Microscopic description of 2d topological phases, duality and 3d state sums
- On classification of modular tensor categories
- Composite anyon coding and the initialization of a topological quantum computer
- Counterexamples in Levin-Wen string-net models, group categories, and Turaev unimodality
Cited by in corpus (90)
- Quantum Error Correction for Quantum Memories
- Quantum memories at finite temperature
- Topological and subsystem codes on low-degree graphs with flag qubits
- Classification of topologically protected gates for local stabilizer codes
- Poking holes and cutting corners to achieve Clifford gates with the surface code
- Fusion 2-categories and a state-sum invariant for 4-manifolds
- Topological Phase Transitions in the Golden String-Net Model
- Hamiltonian models for topological phases of matter in three spatial dimensions
- Hyperbolic and Semi-Hyperbolic Surface Codes for Quantum Storage
- Fusion basis for lattice gauge theory and loop quantum gravity
- Mapping topological to conformal field theories through strange correlators
- String-net model of Turaev-Viro invariants
- Generalized string-nets for unitary fusion categories without tetrahedral symmetry
- Towards a phase diagram for spin foams
- Methods for simulating string-net states and anyons on a digital quantum computer
- Local topological order inhibits thermal stability in 2D
- Excitation basis for (3+1)d topological phases
- Matrix product operator symmetries and intertwiners in string-nets with domain walls
- Codimension-2 defects and higher symmetries in (3+1)D topological phases
- Simulation of rare events in quantum error correction
- Quantum and classical spin network algorithms for -deformed Kogut-Susskind gauge theories
- String-net models for non-spherical pivotal fusion categories
- Topological phases from higher gauge symmetry in 3+1D
- Topological Order, Quantum Codes and Quantum Computation on Fractal Geometries
- Quantum gravity kinematics from extended TQFTs
- Bifurcating entanglement-renormalization group flows of fracton stabilizer models
- On 2-form gauge models of topological phases
- Quantum Circuits for Measuring Levin-Wen Operators
- Anyonic entanglement renormalization
- Kitaev lattice models as a Hopf algebra gauge theory
- Thermalization, Error-Correction, and Memory Lifetime for Ising Anyon Systems
- Universal logical gates with constant overhead: instantaneous Dehn twists for hyperbolic quantum codes
- Quantum Origami: Transversal Gates for Quantum Computation and Measurement of Topological Order
- Galois conjugated tensor fusion categories and non-unitary CFT
- Hopf algebra gauge theory on a ribbon graph
- Kitaev's Lattice Model and Turaev-Viro TQFTs
- (3+1)-dimensional topological phases and self-dual quantum geometries encoded on Heegard surfaces
- Gapped boundaries and string-like excitations in (3+1)d gauge models of topological phases
- Intrinsic sign problems in topological quantum field theories
- Simulating the Transverse Ising Model on a Quantum Computer: Error Correction with the Surface Code
- Composing topological domain walls and anyon mobility
- Adiabatic topological quantum computing
- Instantaneous braids and Dehn twists in topologically ordered states
- A comparative study of universal quantum computing models: towards a physical unification
- Fault-tolerant Holonomic Quantum Computation in Surface Codes
- Quasi-exact quantum computation
- BF-theory in graphene: a route toward topological quantum computing?
- Excitations in strict 2-group higher gauge models of topological phases
- Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation
- Quantum error correction with fractal topological codes
- Anyons are not energy eigenspaces of quantum double Hamiltonians
- Engineering Yang-Lee anyons via Majorana bound states
- Systematically generated two-qubit anyon braids
- Universal Logical Gates on Topologically Encoded Qubits via Constant-Depth Unitary Circuits
- Towards a dual spin network basis for (3+1)d lattice gauge theories and topological phases
- 3-Fermion topological quantum computation
- Theory of quasi-exact fault-tolerant quantum computing and valence-bond-solid codes
- Enriched string-net models and their excitations
- Designer non-Abelian fractons from topological layers
- Dual loop quantizations of 3d gravity
- The structure of fixed-point tensor network states characterizes patterns of long-range entanglement
- 2D Quantum Double Models From a 3D Perspective
- Quantum Fourier Transforms and the Complexity of Link Invariants for Quantum Doubles of Finite Groups
- Anyons in Geometric Models of Matter
- Realizing string-net condensation: Fibonacci anyon braiding for universal gates and sampling chromatic polynomials
- Efficient Preparation of Solvable Anyons with Adaptive Quantum Circuits
- Composite anyon coding and the initialization of a topological quantum computer
- CFT Correlators for Cardy Bulk Fields via String-Net Models
- Wegner-Wilson loops in string nets
- Pseudo-Hermitian Levin-Wen models from non-semisimple TQFTs
- A Universal Circuit Set Using the Quantum Double
- High-Threshold Low-Overhead Fault-Tolerant Classical Computation and the Replacement of Measurements with Unitary Quantum Gates
- Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases
- A Hermitian TQFT from a non-semisimple category of quantum sl(2)-modules
- Taming Thiemann's Hamiltonian constraint in canonical loop quantum gravity: reversibility, eigenstates and graph-change analysis
- Fibonacci Numbers and the Golden Ratio in Biology, Physics, Astrophysics, Chemistry and Technology: A Non-Exhaustive Review
- Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries
- On the Power of Reusable Magic States
- Universal quantum computation using Ising anyons from a non-semisimple Topological Quantum Field Theory
- Methodology for bus layout for topological quantum error correcting codes
- String-Membrane-Nets from Higher-Form Gauging: An Alternate Route to -String Condensation
- Non-semisimple Levin-Wen Models and Hermitian TQFTs from quantum (super)groups
- Computing the graph-changing dynamics of loop quantum gravity
- Non-Abelian Self-Correcting Quantum Memory and Transversal Non-Clifford Gate beyond the Distance Barrier
- Computational complexity and 3-manifolds and zombies
- Toric code-like models from the parameter space of lattice gauge theories
- Preparing topologically ordered states by Hamiltonian interpolation
- Simulating Topological Order on Quantum Processors
- Universal fault tolerant quantum computation in 2D without getting tied in knots
- Semidual Kitaev lattice model and tensor network representation