Here is a list of codes defined on \(n\) identical subsystems (e.g., qubits, modular qudits, or Galois qudits) that detect or correct an error on at most one subsystem.
| Code | Description |
|---|---|
| Braunstein five-mode code | A \([[5,1,3]]_{\mathbb{R}}\) analog stabilizer version of the five-qubit perfect code. |
| Bring's code | A \([[30,8,3]]\) hyperbolic surface code on a quotient of the \(\{5,5\}\) hyperbolic tiling called Bring's curve. Its qubits and stabilizer generators lie on the vertices of the small stellated dodecahedron. Admits a set of weight-five stabilizer generators. |
| Five-qubit perfect code | Five-qubit stabilizer code that is the smallest qubit stabilizer code to correct a single-qubit error. Its generators that are symmetric under cyclic permutation of qubits, \begin{align} \begin{split} S_1 &= IXZZX \\ S_2 &= XZZXI \\ S_3 &= ZZXIX \\ S_4 &= ZXIXZ~. \end{split} \tag*{(1)}\end{align} |
| Five-rotor code | Extension of the five-qubit stabilizer code to the integer alphabet, i.e., the angular momentum states of a planar rotor. The code is \(U(1)\)-covariant and ideal codewords are not normalizable. |
| Four group-qudit code | \([[4,2,2]]_{G}\) group quantum code that is an extension of the four-qubit code to group-valued qudits. Ideal codewords are, for \(g_1 ,g_2 \in G\), \begin{align} |\overline{g_{1},g_{2}}\rangle=\frac{1}{\sqrt{|G|}}\sum_{g\in G}|g,gg_{1},gg_{2},gg_{1}g_{2}\rangle~. \tag*{(2)}\end{align} |
| Four-rotor code | \([[4,2,2]]_{\mathbb Z}\) CSS rotor code that is an extension of the four-qubit code to the integer alphabet, i.e., the angular momentum states of a planar rotor. The code is \(U(1)\)-covariant and its ideal logical-rotor codewords, \begin{align} |\overline{x,y}\rangle = \sum_{j,k,l\in\mathbb{Z}} \delta_{a,j+k}\delta_{b,l} \left| j,k,j+l,k+l \right\rangle~, \tag*{(3)}\end{align} where \(a,b\in\mathbb{Z}\), are not normalizable. |
| Kitaev chain code | An \([[n,1,1]]_{f}\) Majorana stabilizer code forming the ground-state of the Kitaev Majorana chain (a.k.a. Kitaev Majorana wire) in its fermionic topological phase, which is equivalent to the 1D quantum Ising model in the symmetry-breaking phase via the Jordan-Wigner transformation. The code is usually defined using the algebra of two anti-commuting Majorana operators called Majorana zero modes (MZMs) or Majorana edge modes (MEMs). |
| Kitaev current-mirror qubit code | Member of the family of \([[2n,(0,2),(2,n)]]_{\mathbb{Z}}\) homological rotor codes storing a logical qubit on a thin Möbius strip. The ideal code can be obtained from a Josephson-junction [1] system [2]. |
| Lloyd-Slotine nine-mode code | A \([[9,1,3]]_{\mathbb{R}}\) analog CSS version of Shor's nine-qubit code. The nullifiers for this code are \begin{align} \begin{split} &\hat{x}_1 - \hat{x}_2~, \hat{x}_2 - \hat{x}_3~, \hat{x}_4 - \hat{x}_5~ , \hat{x}_5 - \hat{x}_6~ , \hat{x}_7 - \hat{x}_8, \hat{x}_8 - \hat{x}_9~,\\ &(\hat{p}_1 + \hat{p}_2 + \hat{p}_3) - (\hat{p}_4 + \hat{p}_5 + \hat{p}_6)~,\\ &(\hat{p}_4 + \hat{p}_5 + \hat{p}_6) - (\hat{p}_7 +\hat{p}_8 + \hat{p}_9)~. \end{split} \tag*{(4)}\end{align} Logical mode operators are generated by \begin{align} \begin{split} \bar q &=& \hat{q}_1 + \hat{q}_4 + \hat{q}_7~, \\ \bar p &=& \hat{p}_1 + \hat{p}_2 + \hat{p}_3~. \end{split} \tag*{(5)}\end{align} |
| Rhombic dodecahedron surface code | A \([[14,3,3]]\) non-CSS surface code whose qubits lie on the vertices of a rhombic dodecahedron. Its non-CSS nature is due to twist defects [3] stemming from the geometry of the polytope. |
| Small-distance block quantum code | A block code on \(n\) subsystems that either detects or corrects errors on only a single subsystem. These two cases correspond to distance \(d=2\) or \(d=3\) block quantum codes, respectively. |
| Surface-17 code | A \([[9,1,3]]\) rotated surface code named for the sum of its 9 data qubits and 8 syndrome qubits. It uses the smallest number of qubits to perform error correction on a surface code with parallel syndrome extraction. |
| Tetron Majorana code | Also called a Majorana box qubit or Majorana qubit. An \([[n,2,2]]_{f}\) Majorana stabilizer code forming the even-fermion-parity ground-state subspace of two parallel Kitaev Majorana chains in their fermionic topological phase. An extension using three Kitaev chains and housing two logical qubits of the same parity is called the hexon Majorana code. |
| Three-qutrit code | A \([[3,1,2]]_3\) prime-qudit CSS code that is the smallest qutrit stabilizer code to detect a single-qutrit error. with stabilizer generators \(ZZZ\) and \(XXX\). The code defines a quantum secret-sharing scheme and serves as a minimal model for the AdS/CFT holographic duality. It is also the smallest non-trivial instance of a quantum maximum distance separable code (QMDS), saturating the quantum Singleton bound. The codewords are \begin{align} \begin{split} | \overline{0} \rangle &= \frac{1}{\sqrt{3}} (| 000 \rangle + | 111 \rangle + | 222 \rangle) \\ | \overline{1} \rangle &= \frac{1}{\sqrt{3}} (| 012 \rangle + | 120 \rangle + | 201 \rangle) \\ | \overline{2} \rangle &= \frac{1}{\sqrt{3}} (| 021 \rangle + | 102 \rangle + | 210 \rangle)~. \end{split} \tag*{(6)}\end{align} The elements in the superposition of each logical codeword are related to each other via cyclic permutations. |
| Three-rotor code | \([[3,1,2]]_{\mathbb Z}\) rotor code that is an extension of the \([[3,1,2]]_3\) qutrit CSS code to the integer alphabet, i.e., the angular momentum states of a planar rotor. The code is \(U(1)\)-covariant and its ideal codewords, \begin{align} |\overline{x}\rangle = \sum_{y\in\mathbb{Z}} \left| -3y,y-x,2(y+x) \right\rangle~, \tag*{(7)}\end{align} where \(x\in\mathbb{Z}\), are not normalizable. |
| Transverse-field Ising model (TFIM) code | A 1D translationally invariant stabilizer code whose encoding is a constant-depth circuit of nearest-neighbor gates on alternating even and odd bonds that consist of transverse-field Ising Hamiltonian interactions. The code allows for perfect state transfer of arbitrary distance using local operations and classical communications (LOCC). |
| Zero-pi qubit code | A \([[2,(0,2),(2,1)]]_{\mathbb{Z}}\) homological rotor code on the smallest tiling of the projective plane \(\mathbb{R}P^2\). The ideal code can be obtained from a four-rotor Josephson-junction [1] system after a choice of grounding [2]. |
| \(((5,6,2))\) qubit code | Six-qubit cyclic CWS code detecting a single-qubit error. Smallest nontrivial member of the \(((5+2r,3\times 2^{2r+1},2))\) qubit code family [4]. Qubit member of the \(((n, 1+n(q-1),2))_q\) Galois-qudit code family [5]. |
| \(((7,2,3))\) permutation-invariant code | Seven-qubit code designed to realize gates from the binary icosahedral group transversally. Can also be interpreted as a spin-\(7/2\) single-spin code. The codespace projection is a projection onto an irrep of the binary icosahedral group \(2I\). |
| \([[15, 7, 3]]\) Hamming-based CSS code | Self-dual Hamming-based CSS code that admits permutation-based CZ logical gates. |
| \([[15,1,3]]\) quantum Reed-Muller code | \([[15,1,3]]\) CSS code that is most easily thought of as a tetrahedral 3D color code. This code contains 15 qubits, represented by four vertices, four face centers, six edge centers, and one body center. The tetrahedron is cellulated into four identical polyhedron cells by connecting the body center to all four face centers, where each face center is then connected by three adjacent edge centers. Each colored cell corresponds to a weight-8 \(X\)-check, and each face corresponds to a weight-4 \(Z\)-check. A logical \(Z\) is any weight-3 \(Z\)-string along an edge of the entire tetrahedron. The logical \(X\) is any weight-7 \(X\)-face of the entire tetrahedron. |
| \([[2^r, 2^r-r-2, 3]]\) quantum Hamming code | A family of stabilizer codes of distance \(3\) that saturate the asymptotic quantum Hamming bound. Can be obtained from the CSS construction using a first-order \([2^r,r+1,2^{r-1}]\) RM code and a \([2^r,2^r-1,2]\) even-weight code [6]. |
| \([[2^r-1, 1, 3]]\) quantum Reed-Muller code | Member of CSS code family constructed with a first-order punctured RM\((1,r)\) \([2^r-1,r+1,2^{r-1}-1]\) code and its even subcode for \(r \geq 3\). Each code transversally implements a member of an infinite family of diagonal gates from the Clifford hierarchy [7]. |
| \([[2^r-1, 2^r-2r-1, 3]]\) Hamming-based CSS code | CCS code constructed with a classical Hamming code \([2^r-1,2^r-1-r,3]=C_X=C_Z\) a.k.a. a first-order punctured Reed-Muller code RM\((r-2,r)\). |
| \([[2^r-1, 2^r-2r-1, 3]]_p\) prime-qudit CSS code | A family of CSS codes extending Hamming-based CSS codes to prime qudits of dimension \(p\) by expressing the qubit code stabilizers in local-dimension-invariant (LDI) form [8]. |
| \([[2m,2m-2,2]]\) error-detecting code | CSS stabilizer code for \(m\geq 2\) with generators \(\{XX\cdots X, ZZ\cdots Z\} \) acting on all \(2m\) physical qubits. Admits a basis such that each codeword is a superposition of a computational basis state labeled by a bitstring \(b\) and a state labeled by the negation of \(b\). Such states generalize the two-qubit Bell states and three-qubit GHz states and are often called (qubit) cat states or poor-man's GHz states. |
| \([[4,2,2]]\) CSS code | Four-qubit CSS stabilizer code is the smallest qubit stabilizer code to detect a single-qubit error. Admits generators \(\{XXXX, ZZZZ\} \) and codewords \begin{align} \begin{split} |\overline{00}\rangle = (|0000\rangle + |1111\rangle)/\sqrt{2}~{\phantom{.}}\\ |\overline{01}\rangle = (|0011\rangle + |1100\rangle)/\sqrt{2}~{\phantom{.}}\\ |\overline{10}\rangle = (|0101\rangle + |1010\rangle)/\sqrt{2}~{\phantom{.}}\\ |\overline{11}\rangle = (|0110\rangle + |1001\rangle)/\sqrt{2}~. \end{split} \tag*{(8)}\end{align} This code is the smallest instance of the toric code, and its various single-qubit subcodes are small planar surface codes. |
| \([[5,1,3]]_q\) Galois-qudit code | True stabilizer code that generalizes the five-qubit perfect code to Galois qudits of prime-power dimension \(q=p^m\). It has \(4(m-1)\) stabilizer generators expressed as \(X_{\gamma} Z_{\gamma} Z_{-\gamma} X_{-\gamma} I\) and its cyclic permutations, with \(\gamma\) iterating over basis elements of \(GF(q)\) over \(GF(p)\). |
| \([[5,1,3]]_{\mathbb{Z}_q}\) modular-qudit code | Modular-qudit stabilizer code that generalizes the five-qubit perfect code using properties of the multiplicative group \(\mathbb{Z}_q\) [9]; see also [10; Thm. 13]. It has four stabilizer generators consisting of \(X Z Z^\dagger X^\dagger I\) and its cyclic permutations. A concise expression for a set of codewords can be found in [11; Sec. VI.B]. |
| \([[7,1,3]]\) Steane code | A \([[7,1,3]]\) CSS code that is the smallest qubit CSS code to correct a single-qubit error. The code is constructed using the classical binary \([7,4,3]\) Hamming code for protecting against both \(X\) and \(Z\) errors. |
| \([[8,3,2]]\) code | Smallest 3D color code whose physical qubits lie on vertices of a cube and which admits a transversal CCZ gate. Similar constructions exist on \(d\)-dimensional hypercubes and are called hyperoctahedron \([[2^d,d,2]]\) codes [12]. |
| \([[9,1,3]]\) Shor code | Nine-qubit CSS code that is the first quantum error-correcting code. |
| \([[9,1,3]]_{\mathbb{Z}_q}\) modular-qudit code | Modular-qudit CSS code that generalizes the \([[9,1,3]]\) Shor code using properties of the multiplicative group \(\mathbb{Z}_q\). |
| \([[k+4,k,2]]\) H code | Family of \([[k+4,k,2]]\) CSS codes with transversal Hadamard gates; relevant to magic state distillation. The four stablizer generators are \(X_1X_2X_3X_4\), \(Z_1Z_2Z_3Z_4\), \(X_1X_2X_5X_6...X_{k+4}\), and \(Z_1Z_2Z_5Z_6...Z_{k+4}\).' |
References
- [1]
- S. M. Girvin, “Circuit QED: superconducting qubits coupled to microwave photons”, Quantum Machines: Measurement and Control of Engineered Quantum Systems 113 (2014) DOI
- [2]
- C. Vuillot, A. Ciani, and B. M. Terhal, “Homological Quantum Rotor Codes: Logical Qubits from Torsion”, (2023) arXiv:2303.13723
- [3]
- H. Bombin, “Topological Order with a Twist: Ising Anyons from an Abelian Model”, Physical Review Letters 105, (2010) arXiv:1004.1838 DOI
- [4]
- E. M. Rains, “Quantum codes of minimum distance two”, (1997) arXiv:quant-ph/9704043
- [5]
- V. Arvind, P. P. Kurur, and K. R. Parthasarathy, “Nonstabilizer Quantum Codes from Abelian Subgroups of the Error Group”, (2002) arXiv:quant-ph/0210097
- [6]
- A. M. Steane, “Simple quantum error-correcting codes”, Physical Review A 54, 4741 (1996) arXiv:quant-ph/9605021 DOI
- [7]
- S. X. Cui, D. Gottesman, and A. Krishna, “Diagonal gates in the Clifford hierarchy”, Physical Review A 95, (2017) arXiv:1608.06596 DOI
- [8]
- A. J. Moorthy and L. G. Gunderman, “Local-dimension-invariant Calderbank-Shor-Steane Codes with an Improved Distance Promise”, (2021) arXiv:2110.11510
- [9]
- H. F. Chau, “Five quantum register error correction code for higher spin systems”, Physical Review A 56, R1 (1997) arXiv:quant-ph/9702033 DOI
- [10]
- E. M. Rains, “Nonbinary quantum codes”, (1997) arXiv:quant-ph/9703048
- [11]
- P. Faist et al., “Continuous Symmetries and Approximate Quantum Error Correction”, Physical Review X 10, (2020) arXiv:1902.07714 DOI
- [12]
- M. Vasmer and A. Kubica, “Morphing Quantum Codes”, PRX Quantum 3, (2022) arXiv:2112.01446 DOI