Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Louis Golowich,Venkatesan Guruswami

2024-08-18

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

Quantum Physics,Information Theory

What problem does this paper attempt to address?

The key problem that this paper attempts to solve is to construct quantum error - correcting codes that support transversal non - Clifford gates (especially CCZ gates), and these codes have asymptotically good parameters, that is, the code dimension and distance grow linearly with the block length while maintaining a constant alphabet size \(q\). Specifically:

1. **Problem Background**:
- In fault - tolerant quantum computing, efficiently performing non - Clifford gates is a major challenge.
- It is known that quantum codes that support transversal non - Clifford gates can be used for high - fidelity magic - state distillation, thereby achieving universal fault - tolerant quantum computing.
- Previous constructions either require an alphabet size \(q\) that increases with the block length or have poor performance in the case of a constant alphabet size.

2. **Main Contributions of the Paper**:
- Constructed quantum codes that support the transversal CCZ gate, where the dimension \(k\) and distance \(d\) of these codes both grow linearly with the block length \(n\), and the alphabet size \(q\) is any fixed prime power.
- Proposed a protocol for magic - state distillation, whose overhead exponent \(\gamma=\log(n / k)/\log(d)\to0\) as the block length \(n\to\infty\).
- Solved an open problem: how to obtain such a protocol under a constant alphabet size \(q\).

3. **Technical Means**:
- Convert classical codes that satisfy certain properties into quantum codes that support the transversal CCZ gate.
- Use a concatenation scheme to reduce the alphabet size of codes that support the transversal CCZ gate.
- Introduce the quantum analogue of multiplication - friendly codes to express multiplication over fields.

4. **Specific Results**:
- For each fixed prime power \(q\), there exists an infinite family of quantum codes that support the transversal CCZ gate, and the dimension \(k = \Theta(n)\) and distance \(d=\Theta(n)\) grow linearly with the block length \(n\).
- If \(q\geq5\), these codes also support the transversal U gate.

Through these methods, the paper solves the problem of constructing asymptotically good quantum codes under a constant alphabet size, providing a new approach for efficiently performing non - Clifford gates.