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).

Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

On Codes in the Projective Linear Group PGL(2,q)

Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Asymmetric Quantum Codes: Characterization and Constructions

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Quotient Space Quantum Codes

Quantum Margulis Codes

The Mass Spectrum of Light and Heavy Hadrons from Improved Lattice Actions

Quantum Codes on Graphs

Inhomogeneous Quantum Codes (III): the Asymmetric Case

On the algebraic structure of quasi-polycyclic codes and new quantum codes

A New Construction of Quantum Error-Correcting Codes

Algebraic Methods for Quantum Codes on Lattices

Algebraic quantum codes: linking quantum mechanics and discrete mathematics

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

A Construction of Quantum Codes Via A Class of Classical Polynomial Codes

Inhomogeneous Quantum Codes (ii): Non-Additive Case

Inhomogenous Quantum Codes (i):Additive Case

Quantum Gilbert-Varshamov Bound Through Symplectic Self-Orthogonal Codes

Quantum subsystem codes, CFTs and their $\mathbb{Z}_2$-gaugings