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.

Fold-Transversal Clifford Gates for Quantum Codes

Fold-Transversal Clifford Gates for Quantum Codes

Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes

Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Transversal non-Clifford gates for quantum LDPC codes on sheaves

Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry

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

Genons, Double Covers and Fault-tolerant Clifford Gates

Good binary quantum codes with transversal CCZ gate

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

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

Quantum error-correcting codes with a covariant encoding

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

Low-Overhead Entangling Gates from Generalised Dehn Twists

Cups and Gates I: Cohomology invariants and logical quantum operations

Partitioning qubits in hypergraph product codes to implement logical gates

Transversal Diagonal Logical Operators for Stabiliser Codes

Quantum LDPC codes from intersecting subsets

Encoded quantum gates by geometric rotation on tessellations

Quantum Rainbow Codes