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.

Fault-tolerant logical measurements via homological measurement

Low-overhead fault-tolerant quantum computation by gauging logical operators

Time-efficient logical operations on quantum LDPC codes

Low-overhead fault-tolerant quantum computing using long-range connectivity

Fast and Parallelizable Logical Computation with Homological Product Codes

Transversal Diagonal Logical Operators for Stabiliser Codes

Fault-tolerant quantum computation using low-cost joint measurements

Quantum fault tolerance with constant-space and logarithmic-time overheads

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

Improved QLDPC Surgery: Logical Measurements and Bridging Codes

Fault-tolerant hyperbolic Floquet quantum error correcting codes

A fault-tolerant pairwise measurement-based code on eight qubits

Algorithmic Fault Tolerance for Fast Quantum Computing

Universal fault-tolerant measurement-based quantum computation

Fault-Tolerant Operation and Materials Science with Neutral Atom Logical Qubits

Fault-Tolerant Logical Clifford Gates from Code Automorphisms

Measurement based fault tolerance beyond foliation

Constant-Overhead Fault-Tolerant Quantum Computation with Reconfigurable Atom Arrays

Robustness and measurement-induced percolation of the surface code

Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry