Quantum error correcting codes and 4-dimensional arithmetic hyperbolic manifolds

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^ε. Their rate is evaluated via Euler characteristic arguments and their distance using Z₂-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.