Description
A geometrically local modular-qudit or Galois-qudit stabilizer code with qudits organized on a lattice modeled by the additive group \(\mathbb{Z}^D\) for spatial dimension \(D\). On an infinite lattice, its stabilizer group is generated by few-site Pauli operators and their translations, in which case the code is called translationally invariant stabilizer code. Boundary conditions have to be imposed on the lattice in order to obtain finite-dimensional versions. Lattice defects and boundaries between different codes can also be introduced.
Translationally-invariant prime-qudit (\(q=p\)) stabilizer codes with \(m\) qudits per unit cell have been classified in dimensions \(D\in\{1,2\}\) in the thermodynamic limit, up to equivalence under local constant-depth Clifford circuits. Any 1D (2D) code can be converted to several copies of the 1D repetition code (prime-qudit 2D surface code) along with some trivial codes [4] ([5]). See 3D lattice stabilizer code entry for the 3D classification.
Pauli-to-polynomial mapping: A single-qudit Pauli operator can be specified by the lattice coordinate of the site and the symplectic vector representation of the Pauli operator within the site. In an extension of the sympletic representation, each lattice coordinate can be represented by a Laurent monomial of \(D\) formal variables. For example, when \(D=2\) and \(m=1\), the product of an \(X\) acting on the qubit at lattice coordinate \((-1,2)\) and a \(Z\) acting on the qubit at \((1,0)\) can be represented by the vector \( (x^{-1} y^2 | x) \). The multiplicative group of finitely supported Pauli operators modulo phase factors on the lattice of dimension \(D\) with \(m\) prime-dimensional qubits per site is isomorphic to the additive group of Laurent polynomial column vectors of length \(2m\) in \(D\) formal variables (see Ref. [4] and Sec. IV of Ref. [6]).
For periodic boundary conditions, this mapping can be thought of as a quantum extension of the cyclic-to-polynomial correspondence. For open boundary conditions, this mapping extends the mapping used in quantum convolutional codes to multiple spatial dimensions.
Rate
BPT bound: Lattice qubit codes are limited by the Bravyi-Poulin-Terhal (BPT) bound [7] (see also [8–10]), which states that \(d \leq O(n^{1-1/D})\) and \(k d^{2/D-1} = O(n)\) for \(D\)-dimensional lattice geometries. The Bravyi-Terhal (BT) bound states that \(d = O(L^{D-1})\) [8]. Codes on a \(D\)-dimensional homogeneous Riemannian manifold with diameter \(L\) satisfy \(k = O(L^{D-2})\) [11]. Some non-locality is necessary to circumvent these bounds [12].
Gates
Bravyi-Koenig bound: Logical gates implemented via constant-depth quantum circuits on a \(D\)-dimensional lattice stabilizer code whose distance increases at least logarithmically with \(n\) lie in the \(D\)th level of the Clifford hierarchy [13]. A refinement can be made that expresses the bound in terms of higher-group symmetries of the topological phases underlying the codes [14; Sec. 5.4.2]. Conversely, the distance of a code on an \(L^{D}\) lattice is upper bounded by order \(O(L^{D+1-\nu})\) if the code implements an \(\nu\)th-level Clifford hierarchy gate [15]. The code capacity threshold of such a code family is upper bounded by \(1/\nu\) [15].
Decoding
Parent
- Quasi-cyclic QLDPC code — Lattice stabilizer codes are QLDPC codes that are invariant under translations by a lattice unit cell.
Children
- 2D lattice stabilizer code
- Crystalline-circuit qubit code
- Transverse-field Ising model (TFIM) code
- Quantum convolutional code — Quantum convolutional codes are lattice stabilizer codes on an semi-infinite or infinite lattice in one dimension [20]. Some notions may be extendable to non-stabilizer codes [21; Sec. 4]. Any prime-qudit code can be converted using a constant-depth Clifford circuit to several copies of the 1D repetition code along with some trivial codes [4].
- Quantum spatially coupled (SC-QLDPC) code — Stabilizer generator matrices of SC-QLDPC codes on infinite-length chains or grids define a class of lattice stabilizer codes.
- \((1,3)\) 4D toric code
- Loop toric code
- 3D lattice stabilizer code
- Modular-qudit color code — Modular-qudit color codes are defined analogous to qubit color codes on suitable lattices of any spatial dimension, but a directionality is required in order to make the modular-qudit stabilizers commute [22; Sec. III].
Cousins
- Symmetry-protected topological (SPT) code — Lattice CSS codes in \(D\) dimensions can be converted in SPT Hamiltonians in one less dimension [23].
- Quantum LDPC (QLDPC) code — Chain complexes describing some QLDPC codes can be 'lifted' into higher-dimensional manifolds admitting some notion of geometric locality [24]. In addition, chain complexes describing QLDPC codes can be converted to 2D lattice stabilizer codes [25].
- Good QLDPC code — Chain complexes describing some good QLDPC codes can be 'lifted' into higher-dimensional manifolds admitting some notion of geometric locality [24,26]. Applying this procedure to good QLDPC codes yiels \([[n,n^{1-2/D},n^{1-1/D}]]\) lattice stabilizer codes in \(D\) spatial dimensions that saturate the BPT bound, up to corrections poly-logarithmic in \(n\) [27].
- Lattice subsystem code — Lattice subsystem codes reduce to lattice stabilizer codes when there are no gauge qudits. The former (latter) is required to admit few-site gauge-group (stabilizer-group) generators on a lattice with boundary conditions.
- Modular-qudit DA code — DA codes are typically defined on 2D and 3D lattices, but they are not conventional stabilizer codes in that they use code switching for error correction and gates.
References
- [1]
- J. Haah, “Local stabilizer codes in three dimensions without string logical operators”, Physical Review A 83, (2011) arXiv:1101.1962 DOI
- [2]
- J. Haah, “Commuting Pauli Hamiltonians as Maps between Free Modules”, Communications in Mathematical Physics 324, 351 (2013) arXiv:1204.1063 DOI
- [3]
- J. Haah, Lattice Quantum Codes and Exotic Topological Phases of Matter, California Institute of Technology, 2013 DOI
- [4]
- J. Haah, “Algebraic Methods for Quantum Codes on Lattices”, Revista Colombiana de Matemáticas 50, 299 (2017) arXiv:1607.01387 DOI
- [5]
- J. Haah, “Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices”, Journal of Mathematical Physics 62, (2021) arXiv:1812.11193 DOI
- [6]
- J. Haah, L. Fidkowski, and M. B. Hastings, “Nontrivial Quantum Cellular Automata in Higher Dimensions”, Communications in Mathematical Physics 398, 469 (2022) arXiv:1812.01625 DOI
- [7]
- S. Bravyi, D. Poulin, and B. Terhal, “Tradeoffs for Reliable Quantum Information Storage in 2D Systems”, Physical Review Letters 104, (2010) arXiv:0909.5200 DOI
- [8]
- S. Bravyi and B. Terhal, “A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes”, New Journal of Physics 11, 043029 (2009) arXiv:0810.1983 DOI
- [9]
- S. Bravyi, “Subsystem codes with spatially local generators”, Physical Review A 83, (2011) arXiv:1008.1029 DOI
- [10]
- S. T. Flammia et al., “Limits on the storage of quantum information in a volume of space”, Quantum 1, 4 (2017) arXiv:1610.06169 DOI
- [11]
- J. Haah, “A degeneracy bound for homogeneous topological order”, SciPost Physics 10, (2021) arXiv:2009.13551 DOI
- [12]
- S. Dai and R. Li, “Locality vs Quantum Codes”, (2024) arXiv:2409.15203
- [13]
- S. Bravyi and R. König, “Classification of Topologically Protected Gates for Local Stabilizer Codes”, Physical Review Letters 110, (2013) arXiv:1206.1609 DOI
- [14]
- M. Barkeshli et al., “Higher-group symmetry in finite gauge theory and stabilizer codes”, SciPost Physics 16, (2024) arXiv:2211.11764 DOI
- [15]
- F. Pastawski and B. Yoshida, “Fault-tolerant logical gates in quantum error-correcting codes”, Physical Review A 91, (2015) arXiv:1408.1720 DOI
- [16]
- J. W. Harrington, Analysis of Quantum Error-Correcting Codes: Symplectic Lattice Codes and Toric Codes, California Institute of Technology, 2004 DOI
- [17]
- S. Bravyi and J. Haah, “Quantum Self-Correction in the 3D Cubic Code Model”, Physical Review Letters 111, (2013) arXiv:1112.3252 DOI
- [18]
- W. Zhong, O. Shtanko, and R. Movassagh, “Advantage of Quantum Neural Networks as Quantum Information Decoders”, (2024) arXiv:2401.06300
- [19]
- Q. Eggerickx et al., “Almost Linear Decoder for Optimal Geometrically Local Quantum Codes”, (2024) arXiv:2411.02928
- [20]
- J. Haah, “Lattice quantum codes and exotic topological phases of matter”, (2013) arXiv:1305.6973
- [21]
- H. Ollivier and J.-P. Tillich, “Quantum convolutional codes: fundamentals”, (2004) arXiv:quant-ph/0401134
- [22]
- F. H. E. Watson et al., “Qudit color codes and gauge color codes in all spatial dimensions”, Physical Review A 92, (2015) arXiv:1503.08800 DOI
- [23]
- A. Kubica and B. Yoshida, “Ungauging quantum error-correcting codes”, (2018) arXiv:1805.01836
- [24]
- M. Freedman and M. B. Hastings, “Building manifolds from quantum codes”, (2021) arXiv:2012.02249
- [25]
- X. Li, T.-C. Lin, and M.-H. Hsieh, “Transform Arbitrary Good Quantum LDPC Codes into Good Geometrically Local Codes in Any Dimension”, (2024) arXiv:2408.01769
- [26]
- T.-C. Lin, A. Wills, and M.-H. Hsieh, “Geometrically Local Quantum and Classical Codes from Subdivision”, (2024) arXiv:2309.16104
- [27]
- E. Portnoy, “Local Quantum Codes from Subdivided Manifolds”, (2023) arXiv:2303.06755
Page edit log
- Victor V. Albert (2022-05-15) — most recent
- Tony Lau (2022-04-02)
Cite as:
“Lattice stabilizer code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/translationally_invariant_stabilizer