2010/02/15 by Robert Koenig, Greg Kuperberg, Ben W. Reichardt · 129 citations
Mathematics · Physics and Astronomy · #Algebraic structures and combinatorial models #Anyon #Discrete mathematics #Mathematics #Physics #Pure mathematics #Quantum #Quantum computer #Quantum many-body systems #Quantum mechanics #Topological Materials and Phenomena #Topological quantum computer #Toric code #quant-ph
paper · pdf · doi:10.1016/j.aop.2010.08.001
published in Annals of Physics 325(12), 2707-2749 (Elsevier BV) · 53 pages, LaTeX + 199 eps figures
arxiv created 2010/02/15 · openalex publication_date 2010/08/19 · arxiv updated 2012/06/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
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 Z2 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.