Abstract:For every integer $r\geq 2$ and every $\epsilon>0$, we construct an explicit infinite family of quantum LDPC codes supporting a transversal $C^{r-1}Z$ gate with length $N$, dimension $K\geq N^{1-\epsilon}$, distance $D\geq N^{1/r}/\operatorname{poly}(\log N)$, and stabilizer weight $w\leq\operatorname{poly}(\log N)$. The previous state of the art construction (in most parameter regimes) was the $r$-dimensional color code, which has only constant dimension $K=O(1)$, and otherwise has the same parameters up to polylogarithmic factors. Our construction provides the first known codes with low-weight stabilizers that are capable of magic state distillation with arbitrarily small yield parameter $\gamma=\log(N/K)/\log(D)>0$. A classical analogue of transversal $C^{r-1}Z$ gates is given by the multiplication property, which requires component-wise products of classical codewords to belong to another similar code. As a byproduct of our techniques, we also obtain a new construction of classical locally testable codes with such a multiplication property. We construct our codes as products of chain complexes associated to classical LDPC codes, which in turn we obtain by imposing local Reed-Solomon codes on a specific spectral expander that we construct. We prove that our codes support the desired transversal $C^{r-1}Z$ gates by using the multiplication property to combine local circuits based on the topological structure.

Quantum LDPC Codes Based on Cocyclic Block Matrices

Quantum quasi-cyclic low-density parity-check error-correcting codes

Construction of Multiple-Rate Quantum LDPC Codes Sharing One Scalable Stabilizer Circuit

Quasi-cyclic LDPC Codes: Construction and Rank Analysis of Their Parity-Check Matrices.

LDPC Block and Convolutional Codes Based on Circulant Matrices

On the Construction of Quasi-Systematic Block-Circulant LDPC Codes

Quasi-cyclic LDPC codes: an algebraic construction

A Joint Code and Belief Propagation Decoder Design for Quantum LDPC Codes

A Construction of Entanglement-Assisted Quantum Ldpc Codes from the Cyclic Difference Set

Quantum LDPC Codes Constructed from Point-Line Subsets of the Finite Projective Plane

On the Low Complexity Construction of Quasi-Cyclic Low-Density Parity-Check Codes by Progressive-Block Growth

Quantum Codes Based on Fast Pauli Block Transforms in the Finite Field.

Small Quantum Codes from Algebraic Extensions of Generalized Bicycle Codes

Low-overhead quantum error correction codes with a cyclic topology

Construction and Complete Circuit for Quantum Low Density Parity Check Code

Quasi-cyclic LDPC Codes Based on D and Q Matrices Through Progressive Edge Growth

Stabilizer Quantum Codes over the Clifford Algebra

Spatially-Coupled QDLPC Codes

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

Combinatorial Construction of Linear Quantum Codes from Quaternary Bch Codes

Good Quantum LDPC Codes with Linear Time Decoders