[Jump to code hierarchy]

Modular-qudit surface code [1–4]

Alternative Names: \(\mathbb{Z}_q\) surface code.

Description

Extension of the surface code to prime-dimensional [1,3] and more general modular qudits. Stabilizer generators are few-body \(X\)-type and \(Z\)-type Pauli strings associated to the stars and plaquettes, respectively, of a tessellation of a two-dimensional surface. Since qudits have more than one \(X\)- and \(Z\)-type operator, various sets of stabilizer generators can be defined.

Ground-state degeneracy and the associated phase depend on the qudit dimension and the stabilizer generators. In particular, the torus ground-state degeneracy can depend on the lattice periods, and the model can realize either topological order or symmetry-protected topological order [4,5].

More generally, the \(\mathbb{Z}_q\) toric-code Hamiltonian admits rotor limits related to compact \(U(1)\) lattice gauge theory and a continuum coupled-oscillator limit whose ground states coincide with those of the CV surface code [6].

Protection

The code distance is the minimum weight of a non-trivial homology or cohomology class, i.e., the length of the shortest non-contractible cycle in the cellulation or in its dual [2]. Planar discs with holes yield local modular-qudit surface-code families whose logical operators are described by relative homology classes [2].

Gates

A magic-state preparation routine for the \(\mathbb{Z}_4\) surface code traverses through the \(D_4\) quantum double model [7].Gates can be implemented through topological operations corresponding to elements of the mapping class group, which is generated by Dehn-twists along non-contractible cycles [8].

Decoding

Renormalization group decoder [9–11].

Code Capacity Threshold

Generalized bit-flip noise: \(13\%\) for \(\mathbb{Z}_3\) under the renormalization group decoder, with thresholds increasing with qudit dimension for dimensions up to six [9].

Realizations

State preparation, anyon creation, anyon fusion, and transfer of entanglement between anyons and defects in a 24-qutrit trapped-ion device by Quantinuum [12].

Notes

The simplest Decodoku game is based on the qudit surface code with \( q=10\). See related Qiskit tutorial.

Cousins

  • Dihedral \(G=D_m\) quantum-double code— The \(D_3\) quantum double model can be obtained by gauging [13–22] the charge conjugation symmetry of the \(\mathbb{Z}_3\) surface code [23]. A magic-state preparation routine for the \(\mathbb{Z}_4\) surface code traverses through the \(D_4\) quantum double model [7].
  • Hopf-algebra quantum-double code— The modular-qudit surface code can be generalized to a Hopf-algebra quantum-double code whose ground states remain the same but whose excitations are based on quasitriangular semisimple Hopf algebras of \(\mathbb{Z}_q\) [24].
  • Compactified \(\mathbb{R}\) gauge theory code— The compactified \(\mathbb{R}\) gauge theory code can be thought of as a realization of the \(q\to\infty\) \(U(1)\) rotor limit [6] of the qudit surface code as a bosonic stabilizer code.
  • Analog surface code— The analog surface code can be thought of as a realization of the \(q\to\infty\) \(\mathbb{R}\) oscillator limit [6] of the qudit surface code as a bosonic stabilizer code.
  • Tiger surface code— The tiger surface code can be thought of as a realization of the \(q\to\infty\) \(U(1)\) rotor limit [6] of the qudit surface code as a tiger code.
  • Twist-defect surface code— Twist-defect surface codes have been extended to prime-dimensional qudits [25].
  • Qudit X-cube model code— The qudit X-cube model code is obtained from three orthogonal stacks of modular-qudit surface codes with two qudits per edge, one from each layer containing it [26]. A strong \(X\)-type coupling of each pair condenses composite flux loops and yields the X-cube stabilizers [26]. A field-theoretic description of the qudit X-cube model can be obtained by coupling layers of 2D \(\mathbb{Z}_q\) gauge theory [27].
  • Double-semion stabilizer code— The exchange statistics of the anyons in the double-semion code coincide with those of a subset of the anyons in the \(\mathbb{Z}_4\) surface code, but the fusion rules are different. The double-semion code can be obtained from the \(\mathbb{Z}_4\) surface code by condensing the anyon \(e^2 m^2\) [28] or by gauging [13–22] the one-form symmetry associated with said anyon [28; Footnote 20].
  • Six-semion stabilizer code— The six-semion code is obtained from two copies of the \(\mathbb{Z}_4\) surface code by condensing the bosons \(e_1^2 m_1^2\) and \(e_1^2 e_2^2 m_2^2\) [29,30].
  • \(\mathbb{Z}_q^{(1)}\) subsystem code— The \(\mathbb{Z}_q^{(1)}\) subsystem code can be obtained from the \(\mathbb{Z}_q\) square-lattice surface code by gauging out the anyon \(e^{-1} m\) and applying transversal Clifford gates [28; Sec. 7.3]. During this process, the square lattice is effectively expanded to a honeycomb tiling [28; Fig. 12].

References

  1. [1]

    A. Yu. Kitaev, “Fault-tolerant quantum computation by anyons”, Annals of Physics 303, 2 (2003) arXiv:quant-ph/9707021 DOI

  2. [2]

    H. Bombin and M. A. Martin-Delgado, “Homological error correction: Classical and quantum codes”, Journal of Mathematical Physics 48, (2007) arXiv:quant-ph/0605094 DOI

  3. [3]

    S. S. Bullock and G. K. Brennen, “Qudit surface codes and gauge theory with finite cyclic groups”, Journal of Physics A: Mathematical and Theoretical 40, 3481 (2007) arXiv:quant-ph/0609070 DOI

  4. [4]

    H. Watanabe, M. Cheng, and Y. Fuji, “Ground state degeneracy on torus in a family of ZN toric code”, Journal of Mathematical Physics 64, (2023) arXiv:2211.00299 DOI

  5. [5]

    R. Schäfer, C. Chamon, and C. R. Laumann, “Hall-on-Toric State: Descendant Laughlin State in the Chiral <mml:math xmlns:mml=”http://www.w3.org/1998/Math/MathML” display=”inline”> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant=”double-struck”>Z</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>p</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> Toric Code”, Physical Review Letters 136, (2026) arXiv:2507.02035 DOI

  6. [6]

    V. V. Albert, S. Pascazio, and M. H. Devoret, “General phase spaces: from discrete variables to rotor and continuum limits”, Journal of Physics A: Mathematical and Theoretical 50, 504002 (2017) arXiv:1709.04460 DOI

  7. [7]

    S.-J. Huang and Y. Chen, “Generating logical magic states with the aid of non-Abelian topological order”, (2025) arXiv:2502.00998

  8. [8]

    G. Zhu, A. Lavasani, and M. Barkeshli, “Instantaneous braids and Dehn twists in topologically ordered states”, Physical Review B 102, (2020) arXiv:1806.06078 DOI

  9. [9]

    G. Duclos-Cianci and D. Poulin, “Kitaev’sZd-code threshold estimates”, Physical Review A 87, (2013) arXiv:1302.3638 DOI

  10. [10]

    H. Anwar, B. J. Brown, E. T. Campbell, and D. E. Browne, “Fast decoders for qudit topological codes”, New Journal of Physics 16, 063038 (2014) arXiv:1311.4895 DOI

  11. [11]

    F. H. E. Watson, H. Anwar, and D. E. Browne, “Fast fault-tolerant decoder for qubit and qudit surface codes”, Physical Review A 92, (2015) arXiv:1411.3028 DOI

  12. [12]

    M. Iqbal et al., “Qutrit toric code and parafermions in trapped ions”, Nature Communications 16, (2025) arXiv:2411.04185 DOI

  13. [13]

    M. Levin and Z.-C. Gu, “Braiding statistics approach to symmetry-protected topological phases”, Physical Review B 86, (2012) arXiv:1202.3120 DOI

  14. [14]

    J. Haegeman, K. Van Acoleyen, N. Schuch, J. I. Cirac, and F. Verstraete, “Gauging Quantum States: From Global to Local Symmetries in Many-Body Systems”, Physical Review X 5, (2015) arXiv:1407.1025 DOI

  15. [15]

    S. Vijay, J. Haah, and L. Fu, “Fracton topological order, generalized lattice gauge theory, and duality”, Physical Review B 94, (2016) arXiv:1603.04442 DOI

  16. [16]

    D. J. Williamson, “Fractal symmetries: Ungauging the cubic code”, Physical Review B 94, (2016) arXiv:1603.05182 DOI

  17. [17]

    L. Bhardwaj, D. Gaiotto, and A. Kapustin, “State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter”, Journal of High Energy Physics 2017, (2017) arXiv:1605.01640 DOI

  18. [18]

    A. Kubica and B. Yoshida, “Ungauging quantum error-correcting codes”, (2018) arXiv:1805.01836

  19. [19]

    W. Shirley, K. Slagle, and X. Chen, “Foliated fracton order from gauging subsystem symmetries”, SciPost Physics 6, (2019) arXiv:1806.08679 DOI

  20. [20]

    K. Dolev, V. Calvera, S. S. Cree, and D. J. Williamson, “Gauging the bulk: generalized gauging maps and holographic codes”, Journal of High Energy Physics 2022, (2022) arXiv:2108.11402 DOI

  21. [21]

    T. Rakovszky and V. Khemani, “The Physics of (good) LDPC Codes I. Gauging and dualities”, (2023) arXiv:2310.16032

  22. [22]

    D. J. Williamson and T. J. Yoder, “Low-overhead fault-tolerant quantum computation by gauging logical operators”, Nature Physics 22, 598 (2026) arXiv:2410.02213 DOI

  23. [23]

    A. Lyons, C. F. B. Lo, N. Tantivasadakarn, A. Vishwanath, and R. Verresen, “Protocols for Creating Anyons and Defects via Gauging”, Physical Review Letters 135, (2025) arXiv:2411.04181 DOI

  24. [24]

    M. Conlon, D. Pellegrino, and J. K. Slingerland, “Modified toric code models with flux attachment from Hopf algebra gauge theory”, Journal of Physics A: Mathematical and Theoretical 56, 295302 (2023) arXiv:2210.07909 DOI

  25. [25]

    M. G. Gowda and P. K. Sarvepalli, “Quantum computation with generalized dislocation codes”, Physical Review A 102, (2020) DOI

  26. [26]

    S. Vijay, “Isotropic Layer Construction and Phase Diagram for Fracton Topological Phases”, (2017) arXiv:1701.00762

  27. [27]

    P. Gorantla, A. Prem, N. Tantivasadakarn, and D. J. Williamson, “String membrane nets from higher-form gauging: An alternate route to <mml:math xmlns:mml=”http://www.w3.org/1998/Math/MathML”> <mml:mi>p</mml:mi> </mml:math> -string condensation”, Physical Review B 112, (2025) arXiv:2505.13604 DOI

  28. [28]

    T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tantivasadakarn, and D. J. Williamson, “Pauli topological subsystem codes from Abelian anyon theories”, Quantum 7, 1137 (2023) arXiv:2211.03798 DOI

  29. [29]

    T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tantivasadakarn, and D. J. Williamson, “Pauli Stabilizer Models of Twisted Quantum Doubles”, PRX Quantum 3, (2022) arXiv:2112.11394 DOI

  30. [30]

    Z. Liang, Y. Xu, J. T. Iosue, and Y.-A. Chen, “Extracting Topological Orders of Generalized Pauli Stabilizer Codes in Two Dimensions”, PRX Quantum 5, (2024) arXiv:2312.11170 DOI

Page edit log

Your contribution is welcome!

on github.com (edit & pull request)

— see instructions

Zoo Code ID: qudit_surface

Cite as:
“Modular-qudit surface code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2026. https://errorcorrectionzoo.org/c/qudit_surface, arXiv:2606.11484
BibTeX:
@incollection{eczoo_qudit_surface,
title={Modular-qudit surface code},
booktitle={The Error Correction Zoo},
year={2026},
editor={Albert, Victor V. and Faist, Philippe},
eprint={2606.11484},
doi={10.48550/arXiv.2606.11484},
url={https://errorcorrectionzoo.org/c/qudit_surface}
}
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/qudit_surface

Cite as:

“Modular-qudit surface code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2026. https://errorcorrectionzoo.org/c/qudit_surface, arXiv:2606.11484

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/quantum/qudits/stabilizer/topological/qudit_surface.yml.