Topological code[1] 

Description

A code whose codewords form the ground-state or low-energy subspace of a (typically geometrically local) code Hamiltonian realizing a topological phase. A topological phase may be bosonic or fermionic, i.e., constructed out of underlying subsystems whose operators commute or anti-commute with each other, respectively. Unless otherwise noted, the phases discussed are bosonic.

2D topological codes

The physical Hilbert space of 2D topological codes consists of \(n\) subsystems which lie on edges, vertices, or faces of a tesselation of a 2D surface \(\Sigma^2\). 2D topological order requires weight-four Hamiltonian terms, i.e., it cannot be stabilized via weight-two or weight-three terms on nearly Euclidean geometries of qubits or qutrits [24].

For subsystems with finite local dimension, topological phases are defined by their anyons [58], which are local bulk excitations of the code Hamiltonian defined on a lattice; see Refs. [911] for more rigorous formulations.

Anyons are created in pairs by local operators, and two anyons lie in the same superselection sector if a local operator can convert one anyon into the other. Each superselection sector is assumed to be labeled by one anyon type, and local operators cannot change superselection sectors.

Anyons can braid with themselves, with their exchange statistics (a.k.a. topological spin) defined by phases \(\theta(a)\in U(1)\) obtained by exchanging two anyons of each type \(a\). They can also braid with each other, a process defined by braiding relations \(B(a,b)\) for an anyon pair \(a,b\). An anyon theory is called non-modular or pre-modular if there exists an anyon \(a\) that braids trivially with all anyons.

Anyons \(a\) and \(b\) can also fuse with each other, meaning that one considers both anyons as one anyon \(ab\) and decomposes \(ab\) into the anyons representing each superselection sector according to the anyons' fusion rules. For example, two anyons \(a,b\) may fuse to the trivial (i.e., vacuum) anyon \(1\), \(ab=1\), meaning that the composite excitation \(ab\) is indistinguishable from the case of no excitation.

The exchange statistics and fusion rules of anyons cannot be arbitrary and have to satisfy certain consistency relations. Admissible exchange and fusion data are characterized by a unitary braided fusion category.

Each anyon \(a\) has a quantum dimension \(d_a\) associated with it. The quantum dimensions add up to the total quantum dimension \(D\), \begin{align} \sum_{a}d_{a}^{2}=D^{2}~. \tag*{(1)}\end{align} These "dimensions" do not correspond to dimensions of vector spaces and may not be integer-valued.

An anyon theory that does not admit gapped boundaries (when put on a manifold with boundaries) is called chiral; otherwise, it is non-chiral or gapped. Chiral topological phases admit a nonzero value of the chiral central charge \(c_{-}\). A generalization [1] of the Gauss-Milgram sum rule for an anyon theory \(A\) admitting \(|A|\) anyon types, \begin{align} \frac{1}{\sqrt{|A|}}\sum_{a\in A}d_{a}^{2}\theta_{a}=De^{i\frac{2\pi}{8}c_{-}}~, \tag*{(2)}\end{align} relates the chiral central charge (modulo 8) to the exchange statistics and quantum dimensions.

There exist functions of code states that extract the total quantum dimension \(D\) [12,13], the topological \(S\)-matrix [14,15], and the chiral central charge \(c_-\) [16].

Protection

Geometrically local commuting-projector code Hamiltonians on Euclidean manifolds form a large class of topological phases. They satisfy the topological order (TO) conditions [1721].

Rate

The logical dimension \(K\) of 2D topological codes described by unitary modular fusion categories depends on the type of manifold \(\Sigma^2\) that is tesselated to form the many-body system. For closed orientable manifolds [22,23], \begin{align} K=\sum_{a\in A}\left(d_{a}/D\right)^{\chi(\Sigma^{2})}~, \tag*{(3)}\end{align} and a generalization of the formula to the non-orientable case can be found in Ref. [24].

Encoding

The unitary circuit depth required to initialize in a general topologically ordered state using geometrically local gates on an \(L\times L\) lattice is \(\Omega(L)\) [25,26], irrespective of whether the ground state admits Abelian or non-Abelian anyonic excitations. However, only a finite-depth circuit and one round of measurements is required for non-Abelian topological orders with a Lagrangian subgroup [27].

Gates

Ising anyon braiding and fusion were studied in a phenomenological model that was the first to study error correction with non-Abelian anyons [28].

Notes

Ref. [3032][29; Appx. F] for introductions to topological phases.See AnyonWiki for lists of categories relevant to anyons.There is no 2D bosonic topological order at nonzero temperature [33].

Parent

  • Block quantum code — Topological codes are block codes because an infinite family of tensor-product Hilbert spaces is required to formally define a phase of matter.

Children

Cousins

  • Hamiltonian-based code — Codespace of a topological code is typically the ground-state or low-energy subspace of a geometrically local Hamiltonian admitting a topological phase. Logical qubits can also be created via lattice defects or by appropriately scheduling measurements of gauge generators (see Floquet codes).
  • Monitored random-circuit code — Topological order can be generated in 2D monitored random circuits [34].
  • Commuting-projector code — Geometrically local commuting-projector code Hamiltonians on Euclidean manifolds are stable with respect to small perturbations when they satisfy the TO conditions, meaning that a notion of a phase can be defined [1721].
  • Quantum low-density parity-check (QLDPC) code — Topological codes are not generally defined using Pauli strings. However, for appropriate tesselations, the codespace is the ground-state subspace of a geometrically local Hamiltonian. In this sense, topological codes are QLDPC codes. On the other hand, chain complexes describing some QLDPC codes can be 'lifted' into higher-dimensional manifolds admitting some notion of geometric locality [35]. Constant-rate QLDPC codes have no thermodynamic phase transitions [36].
  • Local Haar-random circuit qubit code — Local Haar-random codewords, like topological codewords, are locally indistinguishable [37].
  • Eigenstate thermalization hypothesis (ETH) code — ETH codewords, like topological codewords, are locally indistinguishable.
  • Fusion-based quantum computing (FBQC) code — Arbitrary topological codes can be created using FBQC, as can topological features such as defects and boundaries, by modifying fusion measurements or adding single qubit measurements.
  • Fracton stabilizer code — Unlike topological phases, whose excitations can move in any direction, fracton phases are characterized by excitations whose movement is restricted. Fracton phases can be understood as topological defect networks, meaning that they can be described in the language of topological quantum field theory with defects [38,39].

References

[1]
A. Yu. Kitaev, “Fault-tolerant quantum computation by anyons”, Annals of Physics 303, 2 (2003) arXiv:quant-ph/9707021 DOI
[2]
S. Bravyi and M. Vyalyi, “Commutative version of the k-local Hamiltonian problem and common eigenspace problem”, (2004) arXiv:quant-ph/0308021
[3]
D. Aharonov and L. Eldar, “On the complexity of Commuting Local Hamiltonians, and tight conditions for Topological Order in such systems”, (2011) arXiv:1102.0770
[4]
D. Aharonov, O. Kenneth, and I. Vigdorovich, “On the Complexity of Two Dimensional Commuting Local Hamiltonians”, (2018) arXiv:1803.02213 DOI
[5]
J. M. Leinaas and J. Myrheim, “On the theory of identical particles”, Il Nuovo Cimento B Series 11 37, 1 (1977) DOI
[6]
G. A. Goldin, R. Menikoff, and D. H. Sharp, “Particle statistics from induced representations of a local current group”, Journal of Mathematical Physics 21, 650 (1980) DOI
[7]
F. Wilczek, “Quantum Mechanics of Fractional-Spin Particles”, Physical Review Letters 49, 957 (1982) DOI
[8]
L. Biedenharn et al., “The Ancestry of the ‘Anyon’”, Physics Today 43, 90 (1990) DOI
[9]
S. Doplicher, R. Haag, and J. E. Roberts, “Local observables and particle statistics I”, Communications in Mathematical Physics 23, 199 (1971) DOI
[10]
S. Doplicher, R. Haag, and J. E. Roberts, “Local observables and particle statistics II”, Communications in Mathematical Physics 35, 49 (1974) DOI
[11]
M. Cha, P. Naaijkens, and B. Nachtergaele, “On the Stability of Charges in Infinite Quantum Spin Systems”, Communications in Mathematical Physics 373, 219 (2019) arXiv:1804.03203 DOI
[12]
A. Kitaev and J. Preskill, “Topological Entanglement Entropy”, Physical Review Letters 96, (2006) arXiv:hep-th/0510092 DOI
[13]
M. Levin and X.-G. Wen, “Detecting Topological Order in a Ground State Wave Function”, Physical Review Letters 96, (2006) arXiv:cond-mat/0510613 DOI
[14]
Y. Zhang et al., “Quasiparticle statistics and braiding from ground-state entanglement”, Physical Review B 85, (2012) arXiv:1111.2342 DOI
[15]
J. Haah, “An Invariant of Topologically Ordered States Under Local Unitary Transformations”, Communications in Mathematical Physics 342, 771 (2016) arXiv:1407.2926 DOI
[16]
I. H. Kim et al., “Chiral Central Charge from a Single Bulk Wave Function”, Physical Review Letters 128, (2022) arXiv:2110.06932 DOI
[17]
S. Bravyi and M. B. Hastings, “A Short Proof of Stability of Topological Order under Local Perturbations”, Communications in Mathematical Physics 307, 609 (2011) arXiv:1001.4363 DOI
[18]
S. Bravyi, M. B. Hastings, and S. Michalakis, “Topological quantum order: Stability under local perturbations”, Journal of Mathematical Physics 51, (2010) arXiv:1001.0344 DOI
[19]
S. Michalakis and J. P. Zwolak, “Stability of Frustration-Free Hamiltonians”, Communications in Mathematical Physics 322, 277 (2013) arXiv:1109.1588 DOI
[20]
B. Nachtergaele, R. Sims, and A. Young, “Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms”, Journal of Mathematical Physics 60, (2019) arXiv:1810.02428 DOI
[21]
B. Nachtergaele, R. Sims, and A. Young, “Quasi-Locality Bounds for Quantum Lattice Systems. Part II. Perturbations of Frustration-Free Spin Models with Gapped Ground States”, Annales Henri Poincaré 23, 393 (2021) arXiv:2010.15337 DOI
[22]
E. Witten, “Quantum field theory and the Jones polynomial”, Communications in Mathematical Physics 121, 351 (1989) DOI
[23]
G. Moore and N. Seiberg, “Classical and quantum conformal field theory”, Communications in Mathematical Physics 123, 177 (1989) DOI
[24]
M. Barkeshli et al., “Reflection and Time Reversal Symmetry Enriched Topological Phases of Matter: Path Integrals, Non-orientable Manifolds, and Anomalies”, Communications in Mathematical Physics 374, 1021 (2019) arXiv:1612.07792 DOI
[25]
S. Bravyi, M. B. Hastings, and F. Verstraete, “Lieb-Robinson Bounds and the Generation of Correlations and Topological Quantum Order”, Physical Review Letters 97, (2006) arXiv:quant-ph/0603121 DOI
[26]
J. Eisert and T. J. Osborne, “General Entanglement Scaling Laws from Time Evolution”, Physical Review Letters 97, (2006) arXiv:quant-ph/0603114 DOI
[27]
N. Tantivasadakarn, R. Verresen, and A. Vishwanath, “Shortest Route to Non-Abelian Topological Order on a Quantum Processor”, Physical Review Letters 131, (2023) arXiv:2209.03964 DOI
[28]
C. G. Brell et al., “Thermalization, Error Correction, and Memory Lifetime for Ising Anyon Systems”, Physical Review X 4, (2014) arXiv:1311.0019 DOI
[29]
A. Kitaev, “Anyons in an exactly solved model and beyond”, Annals of Physics 321, 2 (2006) arXiv:cond-mat/0506438 DOI
[30]
P. H. Bonderson, Non-Abelian Anyons and Interferometry, California Institute of Technology, 2007 DOI
[31]
C. Nayak et al., “Non-Abelian anyons and topological quantum computation”, Reviews of Modern Physics 80, 1083 (2008) arXiv:0707.1889 DOI
[32]
S. Sachdev, Quantum Phases of Matter (Cambridge University Press, 2023) DOI
[33]
M. B. Hastings, “Topological Order at Nonzero Temperature”, Physical Review Letters 107, (2011) arXiv:1106.6026 DOI
[34]
A. Lavasani, Y. Alavirad, and M. Barkeshli, “Topological Order and Criticality in (2+1)D Monitored Random Quantum Circuits”, Physical Review Letters 127, (2021) arXiv:2011.06595 DOI
[35]
M. Freedman and M. B. Hastings, “Building manifolds from quantum codes”, (2021) arXiv:2012.02249
[36]
Y. Hong, J. Guo, and A. Lucas, “Quantum memory at nonzero temperature in a thermodynamically trivial system”, (2024) arXiv:2403.10599
[37]
F. G. S. L. Brandão, A. W. Harrow, and M. Horodecki, “Local Random Quantum Circuits are Approximate Polynomial-Designs”, Communications in Mathematical Physics 346, 397 (2016) DOI
[38]
D. Aasen et al., “Topological defect networks for fractons of all types”, Physical Review Research 2, (2020) arXiv:2002.05166 DOI
[39]
Z. Song et al., “Topological Defect Network Representations of Fracton Stabilizer Codes”, PRX Quantum 4, (2023) arXiv:2112.14717 DOI
Page edit log

Your contribution is welcome!

on github.com (edit & pull request)— see instructions

edit on this site

Zoo Code ID: topological

Cite as:
“Topological code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/topological
BibTeX:
@incollection{eczoo_topological, title={Topological code}, booktitle={The Error Correction Zoo}, year={2022}, editor={Albert, Victor V. and Faist, Philippe}, url={https://errorcorrectionzoo.org/c/topological} }
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/topological

Cite as:

“Topological code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/topological

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/quantum/properties/block/topological/topological.yml.