Quantum-double code[1]
Description
Group-GKP stabilizer code whose codewords realize 2D modular gapped topological order defined by a finite group \(G\). The code's generators are few-body operators associated to the stars and plaquettes, respectively, of a tessellation of a two-dimensional surface (with a qudit of dimension \( |G| \) located at each edge of the tesselation).
The physical Hilbert space has dimension \( |G|^E \), where \( E \) is the number of edges in the tessellation. The dimension of the code space is the number of orbits of the conjugation action of \( G \) on \( \text{Hom}(\pi_1(\Sigma),G) \), the set of group homomorphisms from the fundamental group of the surface \( \Sigma \) into the finite group \( G \) [2]. When \( G \) is Abelian, the formula for the dimension simplifies to \( |G|^{2g} \), where \( g \) is the genus of the surface \( \Sigma \).
The codespace is the ground-state subspace of the quantum double model Hamiltonian, while local excitations are characterized by anyons. Different types of anyons are labeled by irreducible representations of the group's quantum double algebra, \(D(G)\) (a.k.a. Drinfield center) [3]. Not all isomorphic non-Abelian groups give rise to different quantum doubles [4].
For non-Abelian groups, alternative constructions are possible, encoding information in the fusion space of the low-energy anyonic quasiparticle excitations of the model [5–7]. The fusion space of such non-Abelian anyons has dimension greater than one, allowing for topological quantum computation of logical information stored in the fusion outcomes.
Gapped boundaries of the models are classified by a subgroup \(K \subseteq G\) and a two-cocycle [3,8–10].
Protection
Error-correcting properties established in Ref. [2]. The code distance is the number of edges in the shortest non contractible cycle in the tesselation or dual tesselation [11].
Encoding
A depth-\(L^2\) circuit that grows the code out of a small patch on an \(L\times L\) square lattice using CMULT gates (i.e., "local moves") [12,13].For an \(L\times L\) lattice, deterministic state preparation can be done with a geometrically local unitary \(O(L)\)-depth circuit [13,14] or an \(O(\log{L})\)-depth unitary circuit with non-local two-qubit gates [12,15].For any group \(G\) of nilpotency class two, states can be initialized with a single round of adaptive measurements [16].For any solvable group \(G\), ground-state preparation and anyon-pair creation can be done with an adaptive constant-depth circuit with geometrically local gates and measurements throughout [17,18] (see Ref. [19] for specific dihedral groups). Anyon-pair creation requires an adaptive circuit for any non-Abelian \(G\) [18].For non-solvable groups, states may not be preparable with an adaptive constant-depth circuit with geometrically local gates and measurements throughout [16].
Gates
Decoding
For any solvable group \(G\), topological charge measurements can be done with an adaptive constant-depth circuit with geometrically local gates and measurements throughout [18].
Notes
See Ref. [20] for a review of gauge theory, which admits quantum-double topological phases.
Parents
- Group GKP code — Quantum-double Hamiltonians can be expressed in terms of \(X\)- and \(Z\)-type operators of group-GKP codes; see [21; Sec. 3.3].
- Twisted quantum double (TQD) code — The anyon theory corresponding to a quantum-double code is a TQD with trivial cocycle. These models realize local topological order (LTO) [22].
- Hopf-algebra quantum-double code — Hopf-algebra quantum-double codes reduce to quantum-double codes when the Hopf algebra is a group algebra. Quantum-double codes for non-Abelian groups \(G\) are dual to Hopf-algebra quantum-double codes for Hopf algebras based on \(\text{Rep}(G)\) under the Tannaka-Krein duality [23][24; Fig. 1].
Children
- \([[4,2,2]]_{G}\) four group-qudit code — The four group-qudit code is the smallest quantum double code.
- Dihedral \(G=D_m\) quantum-double code
- Abelian quantum-double stabilizer code — The anyon theory corresponding to (Abelian) quantum double codes is defined by an (Abelian) group.
Cousins
- Hamiltonian-based code — Quantum double code Hamiltonians can be simulated, with the help of perturbation theory, by two-dimensional two-body Hamiltonians with non-commuting terms [25].
- Subsystem QECC — Subsystem versions of quantum-double codes have been formulated [26].
- Two-gauge theory code — Restricting 2-gauge theory constructions to a 2D manifold and replacing the 2-group with a group reproduces the phase of the Kitaev quantum double model [27].
- Generalized 2D color code — Generalized color code for group \(G\) on the 4.8.8 lattice is equivalent to a \(G\) quantum double model and another \(G/[G,G]\) quantum double model defined using the Abelianization of \(G\).
- Kitaev surface code — A quantum-double model with \(G=\mathbb{Z}_2\) is the surface code. Non-stabilizer surface-code states can be prepared by augmenting the surface code with a quantum double model [28].
References
- [1]
- A. Yu. Kitaev, “Fault-tolerant quantum computation by anyons”, Annals of Physics 303, 2 (2003) arXiv:quant-ph/9707021 DOI
- [2]
- S. X. Cui et al., “Kitaev’s quantum double model as an error correcting code”, Quantum 4, 331 (2020) arXiv:1908.02829 DOI
- [3]
- S. Beigi, P. W. Shor, and D. Whalen, “The Quantum Double Model with Boundary: Condensations and Symmetries”, Communications in Mathematical Physics 306, 663 (2011) arXiv:1006.5479 DOI
- [4]
- D. Naidu, “Categorical Morita equivalence for group-theoretical categories”, (2006) arXiv:math/0605530
- [5]
- R. Walter Ogburn and J. Preskill, “Topological Quantum Computation”, Quantum Computing and Quantum Communications 341 (1999) DOI
- [6]
- C. Mochon, “Anyon computers with smaller groups”, Physical Review A 69, (2004) arXiv:quant-ph/0306063 DOI
- [7]
- J. K. Pachos, Introduction to Topological Quantum Computation (Cambridge University Press, 2012) DOI
- [8]
- H. Bombin and M. A. Martin-Delgado, “Family of non-Abelian Kitaev models on a lattice: Topological condensation and confinement”, Physical Review B 78, (2008) arXiv:0712.0190 DOI
- [9]
- A. Bullivant, Y. Hu, and Y. Wan, “Twisted quantum double model of topological order with boundaries”, Physical Review B 96, (2017) arXiv:1706.03611 DOI
- [10]
- J. Huxford and S. H. Simon, “Excitations in the higher-lattice gauge theory model for topological phases. II. The (2+1) -dimensional case”, Physical Review B 108, (2023) arXiv:2204.05341 DOI
- [11]
- E. Dennis et al., “Topological quantum memory”, Journal of Mathematical Physics 43, 4452 (2002) arXiv:quant-ph/0110143 DOI
- [12]
- M. Aguado and G. Vidal, “Entanglement Renormalization and Topological Order”, Physical Review Letters 100, (2008) arXiv:0712.0348 DOI
- [13]
- M. Aguado, “From entanglement renormalisation to the disentanglement of quantum double models”, Annals of Physics 326, 2444 (2011) arXiv:1101.0527 DOI
- [14]
- G. K. Brennen, M. Aguado, and J. I. Cirac, “Simulations of quantum double models”, New Journal of Physics 11, 053009 (2009) arXiv:0901.1345 DOI
- [15]
- R. König, B. W. Reichardt, and G. Vidal, “Exact entanglement renormalization for string-net models”, Physical Review B 79, (2009) arXiv:0806.4583 DOI
- [16]
- N. Tantivasadakarn, A. Vishwanath, and R. Verresen, “Hierarchy of Topological Order From Finite-Depth Unitaries, Measurement, and Feedforward”, PRX Quantum 4, (2023) arXiv:2209.06202 DOI
- [17]
- N. Tantivasadakarn et al., “Long-Range Entanglement from Measuring Symmetry-Protected Topological Phases”, Physical Review X 14, (2024) arXiv:2112.01519 DOI
- [18]
- S. Bravyi et al., “Adaptive constant-depth circuits for manipulating non-abelian anyons”, (2022) arXiv:2205.01933
- [19]
- R. Verresen, N. Tantivasadakarn, and A. Vishwanath, “Efficiently preparing Schrödinger’s cat, fractons and non-Abelian topological order in quantum devices”, (2022) arXiv:2112.03061
- [20]
- J. B. Kogut, “An introduction to lattice gauge theory and spin systems”, Reviews of Modern Physics 51, 659 (1979) DOI
- [21]
- V. V. Albert et al., “Spin chains, defects, and quantum wires for the quantum-double edge”, (2021) arXiv:2111.12096
- [22]
- M. Tomba et al., “Boundary algebras of the Kitaev Quantum Double model”, (2023) arXiv:2309.13440
- [23]
- O. Buerschaper and M. Aguado, “Mapping Kitaev’s quantum double lattice models to Levin and Wen’s string-net models”, Physical Review B 80, (2009) arXiv:0907.2670 DOI
- [24]
- O. Buerschaper et al., “Electric–magnetic duality of lattice systems with topological order”, Nuclear Physics B 876, 619 (2013) arXiv:1006.5823 DOI
- [25]
- C. G. Brell et al., “Toric codes and quantum doubles from two-body Hamiltonians”, New Journal of Physics 13, 053039 (2011) arXiv:1011.1942 DOI
- [26]
- P. Kumar, “A Class of Quantum Double Subsystem Codes”, (2011) DOI
- [27]
- A. Bullivant et al., “Topological phases from higher gauge symmetry in3+1dimensions”, Physical Review B 95, (2017) arXiv:1606.06639 DOI
- [28]
- K. Laubscher, D. Loss, and J. R. Wootton, “Universal quantum computation in the surface code using non-Abelian islands”, Physical Review A 100, (2019) arXiv:1811.06738 DOI
Page edit log
- Victor V. Albert (2022-06-05) — most recent
- Victor V. Albert (2022-01-03)
- Ian Teixeira (2021-12-19)
Cite as:
“Quantum-double code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/quantum_double