Abstract:We construct quantum codes that support transversal $CCZ$ gates over qudits of arbitrary prime power dimension $q$ (including $q=2$) such that the code dimension and distance grow linearly in the block length. The only previously known construction with such linear dimension and distance required a growing alphabet size $q$ (Krishna & Tillich, 2019). Our codes imply protocols for magic state distillation with overhead exponent $\gamma=\log(n/k)/\log(d)\rightarrow 0$ as the block length $n\rightarrow\infty$, where $k$ and $d$ denote the code dimension and distance respectively. It was previously an open question to obtain such a protocol with a contant alphabet size $q$. We construct our codes by combining two modular components, namely, (i) a transformation from classical codes satisfying certain properties to quantum codes supporting transversal $CCZ$ gates, and (ii) a concatenation scheme for reducing the alphabet size of codes supporting transversal $CCZ$ gates. For this scheme we introduce a quantum analogue of multiplication-friendly codes, which provide a way to express multiplication over a field in terms of a subfield. We obtain our asymptotically good construction by instantiating (i) with algebraic-geometric codes, and applying a constant number of iterations of (ii). We also give an alternative construction with nearly asymptotically good parameters ($k,d=n/2^{O(\log^*n)}$) by instantiating (i) with Reed-Solomon codes and then performing a superconstant number of iterations of (ii).

Good binary quantum codes with transversal CCZ gate

Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Asymptotically good CSS-T codes exist

Fold-Transversal Clifford Gates for Quantum Codes

Quantum codes derived from cyclic codes

An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes

High-distance codes with transversal Clifford and $T$-gates

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

Quantum LDPC codes from intersecting subsets

Permutation-Invariant Quantum Codes with Transversal Generalized Phase Gates

Quantum error-correcting codes with a covariant encoding

Code conversion with the quantum Golay code for a universal transversal gate set

Quantum Rainbow Codes

On Transversality Across Two Distinct Quantum Error Correction Codes For Quantum Repeaters

Genons, Double Covers and Fault-tolerant Clifford Gates

Hermitian Dual Containing BCH Codes and Construction of New Quantum Codes

Graphical Nonbinary Quantum Error-Correcting Codes

New Binary Quantum Codes from Group Rings and Skew Group Rings