Abstract:We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$ membranes having a $\mathbb{Z}_2$ triple intersection at a single point. The triple intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory: the $\mathbb{Z}_2^3$ gauge theory. Moreover, the transversal $S$ gate of the color code corresponds to a higher-form symmetry supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical CZ gates. We have developed a generic formalism to compute the triple intersection invariants for 3-manifolds and also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate $k/n=O(1/\log(n))$ and $O(\log(n))$ distance; (2) A homological fibre bundle code with $O(1/\log^{\frac{1}{2}}(n))$ rate and $O(\log^{\frac{1}{2}}(n))$ distance; (3) A specific family of 3D hyperbolic codes: the Torelli mapping torus code, constructed from mapping tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-$X$ measurements.

Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Good binary quantum codes with transversal CCZ gate

Quantum LDPC Codes with Transversal Non-Clifford Gates via Products of Algebraic Codes

High-distance codes with transversal Clifford and $T$-gates

Fold-Transversal Clifford Gates for Quantum Codes

Asymptotically good CSS-T codes exist

Transversal non-Clifford gates for quantum LDPC codes on sheaves

Genons, Double Covers and Fault-tolerant Clifford Gates

Permutation-Invariant Quantum Codes with Transversal Generalized Phase Gates

Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries

Quantum Rainbow Codes

Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes

Code conversion with the quantum Golay code for a universal transversal gate set

Quantum error-correcting codes with a covariant encoding

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

Geometrically Local Quantum and Classical Codes from Subdivision

Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry

Transform Arbitrary Good Quantum LDPC Codes into Good Geometrically Local Codes in Any Dimension

Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes