Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

On Cayley Graphs, Surface Codes, and the Limits of Homological Coding for Quantum Error Correction

Gilles Zémor

Published Jan 1, 2009• 54 citations
Publisher
DOI
10.1007/978-3-642-01877-0_21

Related papers

Homological quantum error correcting codes and real projective space

Vivien Londe

Homological quantum error correcting codes and real projective space

•Apr 23, 2017•0 citations

Some New Classes of Homological Quantum Codes Associated with Surface Maps

Debashis Bhowmik, Dipendu Maity, Bhanu Pratap Yadav +2 more

National Academy Science Letters•Jul 25, 2021•0 citations

QUANTUM ERROR CORRECTING CODES AND 4-DIMENSIONAL ARITHMETIC HYPERBOLIC MANIFOLDS

Larry Guth, Alexander Lubotzky

Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are low density parity check codes with linear rate and distance n [superscript ε]. Their rate is evaluated via Euler characteristic arguments and their distance using Z[subscript 2] -systolic geometry. This construction answers a question of Zémor [“On Cayley graphs, surface codes, and the limits of homological coding for quantum error correction,” in Proceedings of Second International Workshop on Coding and Cryptology (IWCC), (Lecture Notes in Computer Science). Vol. 5557 (2009), pp. 259–273], who asked whether homological codes with such parameters could exist at all.

•Oct 1, 2013•79 citations

(2,2)-GB Codes: Classification and Comparison With Weight-4 Surface Codes

François Arnault, Philippe Gaborit, Nicolas Saussay

Generalized Bicycle (GB) codes offer a compelling alternative to surface codes for quantum error correction. This paper focuses on (2,2)-Generalized Bicycle codes, constructed from pairs of binary circulant matrices with two non-zero elements per row. Leveraging a lower bound on their minimum distance, we construct three novel infinite families of optimal (2,2)-GB codes with parameters [[2n2, 2,n]], [[4r2, 2, 2r]], and [[(2t+1)2+1, 2, 2t+1]]. These families match the performance of Kitaev’s toric code and the best 2D weight-4 surface codes, reaching known theoretical limits. In particular, the second family breaks a long-held belief by providing optimal even-distance GB codes, previously deemed impossible. All are CSS codes derived from Cayley graphs. Recognizing that standard equivalence relations do not preserve their CSS structure, we introduce a CSS-preserving equivalence relation for rigorous comparison of Cayley graph-based CSS codes. Under this framework, the first two families are inequivalent to all previously known optimal weight-4 2D surface codes, while the third family is equivalent to the best-known odd-distance 2D surface code. Finally, we classify all extremal, non-equivalent (2, 2)-GB codes with length below 200 and present a comparison table with existing notable 2D weight-4 surface codes.

arXiv:2507.21237•IEEE Transactions on Information Theory•May 7, 2026•0 citations

Construction of quantum codes from new embeddings of graphs on compact surfaces

Avaz Naghipour

Optical and Quantum Electronics•Dec 17, 2019•2 citations

Homological error correction: Classical and quantum codes

Héctor Bombín, M. A. Martin-Delgado

We prove several theorems characterizing the existence of homological error correction codes both classically and quantumly. Not every classical code is homological, but we find a family of classical homological codes saturating the Hamming bound. In the quantum case, we show that for nonorientable surfaces it is impossible to construct homological codes based on qudits of dimension D>2, while for orientable surfaces with boundaries it is possible to construct them for arbitrary dimension D. We give a method to obtain planar homological codes based on the construction of quantum codes on compact surfaces without boundaries. We show how the original Shor’s 9-qubit code can be visualized as a homological quantum code. We study the problem of constructing quantum codes with optimal encoding rate. In the particular case of toric codes we construct an optimal family and give an explicit proof of its optimality. For homological quantum codes on surfaces of arbitrary genus we also construct a family of codes asymptotically attaining the maximum possible encoding rate. We provide the tools of homology group theory for graphs embedded on surfaces in a self-contained manner.

arXiv:quant-ph/0605094•Journal of Mathematical Physics•May 1, 2007•92 citations
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are low density parity check codes with linear rate and distance n [superscript ε]. Their rate is evaluated via Euler characteristic arguments and their distance using Z[subscript 2] -systolic geometry. This construction answers a question of Zémor [“On Cayley graphs, surface codes, and the limits of homological coding for quantum error correction,” in Proceedings of Second International Workshop on Coding and Cryptology (IWCC), (Lecture Notes in Computer Science). Vol. 5557 (2009), pp. 259–273], who asked whether homological codes with such parameters could exist at all.
Generalized Bicycle (GB) codes offer a compelling alternative to surface codes for quantum error correction. This paper focuses on (2,2)-Generalized Bicycle codes, constructed from pairs of binary circulant matrices with two non-zero elements per row. Leveraging a lower bound on their minimum distance, we construct three novel infinite families of optimal (2,2)-GB codes with parameters [[2n2, 2,n]], [[4r2, 2, 2r]], and [[(2t+1)2+1, 2, 2t+1]]. These families match the performance of Kitaev’s toric code and the best 2D weight-4 surface codes, reaching known theoretical limits. In particular, the second family breaks a long-held belief by providing optimal even-distance GB codes, previously deemed impossible. All are CSS codes derived from Cayley graphs. Recognizing that standard equivalence relations do not preserve their CSS structure, we introduce a CSS-preserving equivalence relation for rigorous comparison of Cayley graph-based CSS codes. Under this framework, the first two families are inequivalent to all previously known optimal weight-4 2D surface codes, while the third family is equivalent to the best-known odd-distance 2D surface code. Finally, we classify all extremal, non-equivalent (2, 2)-GB codes with length below 200 and present a comparison table with existing notable 2D weight-4 surface codes.
We prove several theorems characterizing the existence of homological error correction codes both classically and quantumly. Not every classical code is homological, but we find a family of classical homological codes saturating the Hamming bound. In the quantum case, we show that for nonorientable surfaces it is impossible to construct homological codes based on qudits of dimension D>2, while for orientable surfaces with boundaries it is possible to construct them for arbitrary dimension D. We give a method to obtain planar homological codes based on the construction of quantum codes on compact surfaces without boundaries. We show how the original Shor’s 9-qubit code can be visualized as a homological quantum code. We study the problem of constructing quantum codes with optimal encoding rate. In the particular case of toric codes we construct an optimal family and give an explicit proof of its optimality. For homological quantum codes on surfaces of arbitrary genus we also construct a family of codes asymptotically attaining the maximum possible encoding rate. We provide the tools of homology group theory for graphs embedded on surfaces in a self-contained manner.