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.

Number Theoretical Locally Recoverable Codes

Query-Efficient Locally Decodable Codes of Subexponential Length

A class of locally recoverable codes over finite chain rings

Three New Infinite Families of Optimal Locally Repairable Codes from Matrix-Product Codes

Locally recoverable algebro-geometric codes with multiple recovery sets from projective bundles

Locally recoverable codes on algebraic curves

A Construction of Optimal Quasi-cyclic Locally Recoverable Codes using Constituent Codes

Achieving Arbitrary Locality and Availability in Binary Codes

Codes from Infinitely Near Points

$q$-ary Sequential Locally Recoverable Codes from the Product Construction

Optimal Locally Repairable Codes Via Elliptic Curves

Constructions of Locally Repairable Codes with Multiple Recovering Sets Via Rational Function Fields.

On the Locality of Codeword Symbols in Non-Linear Codes

Combinatorial Alphabet-Dependent Bounds for Locally Recoverable Codes

A New Class of Linear Codes

Two families of linear codes with desirable properties from some functions over finite fields

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

Asymptotic construction of locally repairable codes with multiple recovering sets

Optimal Locally Repairable Codes of Distance 3 and 4 Via Cyclic Codes

Explicit Construction of Optimal Locally Recoverable Codes of Distance 5 and 6 Via Binary Constant Weight Codes

Asymptotically Good Nonlinear Codes from Algebraic Curves