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.

Trellis Properties of Product Codes

The Generalization of Some Trellis Properties of Linear Codes to Group Codes

Tail-Biting Trelli'S Properties Of Group Codes

The Characteristic Generators for a Group Code

A Note on Tanner Graphs for Group Block Codes and Lattices

Linear tail-biting trellises: Characteristic generators and the BCJR-construction

The Bases Associated with Trellises of a Lattice.

Matrix Product Codes over Finite Commutative Frobenius Rings

Trellis Codes for Compound Periodic Gaussian Channels

Testing Tensor Products of Algebraic Codes

Minimal Trellises for Two Classes of Linear Codes

Characteristic Matrices and Trellis Reduction for Tail-Biting Convolutional Codes

Linear Codes from Narrow Ray Class Groups of Algebraic Curves.

Some New Codes from Algebraic Curves.

Minimal tail-biting trellises: the Golay code and more

Trellis Properties on the Tensor Product of Two Lattices

Some Trellis Properties on Lattices.

Ordered algebraic structure in a linear code

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

High-dimensional Expansion of Product Codes is Stronger than Robust and Agreement Testability

MATRIX PRODUCT CODES WITH ROSENBLOOM-TSFASMAN METRIC