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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 706259 (Why is no real title available?)
- scientific article; zbMATH DE number 1559533 (Why is no real title available?)
- scientific article; zbMATH DE number 1775468 (Why is no real title available?)
- scientific article; zbMATH DE number 1776257 (Why is no real title available?)
- scientific article; zbMATH DE number 1406140 (Why is no real title available?)
- 2-d physics and 3-d topology
- A fault-tolerant one-way quantum computer
- A modular functor which is universal for quantum computation
- Anyons in an exactly solved model and beyond
- Density of the \(\text{SO}(3)\) TQFT representation of mapping class groups
- Fault-tolerant quantum computation by anyons
- From string nets to nonabelions
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
- From subfactors to categories and topology. II: The quantum double of tensor categories and subfactors
- Invariants of 3-manifolds via link polynomials and quantum groups
- Invariants of piecewise-linear 3-manifolds
- Microscopic description of 2D topological phases, duality, and 3D state sums
- Non-abelian anyons and topological quantum computation
- Quantum field theory and the Jones polynomial
- Quantum invariants of knots and 3-manifolds
- RESHETIKHIN-TURAEV AND CRANE-KOHNO-KONTSEVICH 3-MANIFOLD INVARIANTS COINCIDE
- Reliable quantum computers
- Resilient quantum computation: error models and thresholds
- Ribbon graphs and their invariants derived from quantum groups
- Skein theory and Turaev-Viro invariants
- Space-time geometry of topological phases
- Spherical categories
- State sum invariants of 3-manifolds and quantum \(6j\)-symbols
- Topological invariants for 3-manifolds using representations of mapping class groups. I
- Topological quantum computation
- Topological quantum memory
Cited in
(31)- Quantum gravity kinematics from extended TQFTs
- Quantum algorithms for invariants of triangulated manifolds
- Unfolding the color code
- Fusion basis for lattice gauge theory and loop quantum gravity
- Towards a dual spin network basis for (3+1)d lattice gauge theories and topological phases
- Semidual Kitaev lattice model and tensor network representation
- Excitation basis for (3+1)d topological phases
- Codimension-2 defects and higher symmetries in (3+1)D topological phases
- Composing topological domain walls and anyon mobility
- Kitaev lattice models as a Hopf algebra gauge theory
- Mapping class group actions from Hopf monoids and ribbon graphs
- Cardy algebras, sewing constraints and string-nets
- Pseudo-Hermitian Levin-Wen models from non-semisimple TQFTs
- Excitations in strict 2-group higher gauge models of topological phases
- Communication protocols and QECC from the perspective of TQFT. II: QECCs as spacetimes
- Hamiltonian models for topological phases of matter in three spatial dimensions
- \(q\) deformed formulation of Hamiltonian SU(3) Yang-Mills theory
- Computational complexity and 3-manifolds and zombies
- A Hermitian TQFT from a non-semisimple category of quantum \({\mathfrak{sl}(2)}\)-modules
- Non‐semisimple Levin–Wen models and Hermitian TQFTs from quantum (super)groups
- Quantum Fourier transforms and the complexity of link invariants for quantum doubles of finite groups
- Towards a phase diagram for spin foams
- scientific article; zbMATH DE number 6001555 (Why is no real title available?)
- CFT correlators for Cardy bulk fields via string-net models
- String-net models for nonspherical pivotal fusion categories
- Anyons in geometric models of matter
- On 2-form gauge models of topological phases
- A lattice model for condensation in Levin-Wen systems
- (3+1)-dimensional topological phases and self-dual quantum geometries encoded on Heegaard surfaces
- Hopf algebra gauge theory on a ribbon graph
- Gapped boundaries and string-like excitations in (3+1)d gauge models of topological phases
This page was built for publication: Quantum computation with Turaev-Viro codes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616871)
