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.

On $Z_pZ_{p^k}$-additive codes and their duality

Z2Z4-linear codes: generator matrices and duality

On the Existence of Certain Optimal Self-Dual Codes with Lengths Between 74 and 116.

On Cyclic Codes of Length $${2^{2^R}-1}$$ with Two Zeros Whose Dual Codes Have Three Weights

One weight $$\mathbb {Z}_2\mathbb {Z}_4$$ additive codes

Construction and Linearity of Z_pZ_{p^2}-Linear Generalized Hadamard Codes

ACD codes over skew-symmetric dualities

Self-Dual Codes over Z_2xZ_4

Additive cyclic codes over

Additive codes with few weights

Linearity of $\mathbb{Z}_{2^L}$-Linear Codes via Schur Product

The Concatenated Structure of Cyclic Codes over Z P 2

Complete weight enumerators of two classes of linear codes

On the Weight Distributions of Two Classes of Cyclic Codes

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

Additive Complementary Pairs of Codes

On the Correlation of Pseudorandom Binary Sequences Using Additive Characters

A duality for nonabelian group codes

Z2Z4Z8-Cyclic Codes

On -additive cyclic codes exhibit asymptotically good properties