Emma Andrade,Jessalyn Bolkema,Thomas Dexter,Harrison Eggers,Victoria Luongo,Felice Manganiello,Luke Szramowski
Abstract:CSS-T codes are a class of stabilizer codes introduced by Rengaswami et al with desired properties for quantum fault-tolerance. In this work, we give a comprehensive study of CSS-T codes built from Reed-Muller codes. These classical codes allow for the construction of CSST code families with non-vanishing asymptotic rate up to 1/2 and possibly diverging minimum distance. This desirable property enables constant overhead magic state distillation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a family of CSS - T codes with non - zero asymptotic rate and possibly divergent minimum distance in quantum computing. Specifically, the authors studied CSS - T codes constructed from Reed - Muller codes. These codes allow the construction of a family of CSS - T codes with a non - zero asymptotic rate of up to \(\frac{1}{2}\), and in some cases the minimum distance will diverge, which meets the requirements for constant - overhead magic state distillation (Magic State Distillation, MSD).
### Background and Motivation
Quantum error - correcting codes (Quantum Error Correcting Codes, QECC) and their fault - tolerance methods are key techniques for overcoming a large number of errors in quantum computing. A general set of quantum gates includes {H, S, CX, T}, where the Hadamard gate (H), the phase gate (S) and the controlled - NOT gate (CX) form a generating set of the Clifford group, and the T - gate is a non - Clifford gate. Given a \([n, k, d]\) stabilizer QECC, a challenging problem is how to characterize the gates on \(k\) logical qubits encoded on \(n\) physical qubits using transversal gates. Transversal gates are very important for fault - tolerance because they can prevent the spread of errors between qubit levels.
### Definition and Properties of CSS - T Codes
Rengaswami et al. in references [11, 10] provided algebraic conditions for the stabilizer QECC to keep the code space invariant under the action of physical transversal T - gates and \(T^\dagger\) - gates. This means that these physical gates encode some logical gates. They also proved that for any non - degenerate stabilizer code that allows transversal T - gates and \(T^\dagger\) - gates, there is a CSS code with the same parameters that also allows the same gates. This shows that CSS - T codes are an optimal family of stabilizer codes that can support transversal T - gates and \(T^\dagger\) - gates.
### Research Objectives
The main objective of the paper is to find a family of CSS - T codes with non - zero asymptotic rate and asymptotic relative distance. These properties are crucial for achieving constant - overhead magic state distillation (MSD), which is a structure that allows the transverse encoding of logical T - gates. The overhead refers to the ratio of the input noisy state to the output \(\epsilon\)-noisy state, usually \(O(\log^\gamma(1/\epsilon))\), where \(\gamma=\frac{\log(n/k)}{\log(d)}\).
### Main Contributions
1. **Asymptotic Properties of Reed - Muller Codes**: The authors analyzed the asymptotic minimum distance and asymptotic rate of Reed - Muller codes and proved that Reed - Muller codes cannot have both non - zero asymptotic rate and non - zero asymptotic relative distance simultaneously.
2. **Construction of CSS - T Codes**: The authors constructed CSS - T codes through Reed - Muller codes and proved that these codes have non - zero asymptotic rate and divergent minimum distance in some cases.
3. **Theoretical Results**: The authors gave a complete classification and determined which Reed - Muller codes can generate optimal CSS - T codes through this construction method.
### Conclusions
Through the above research, the authors not only provided a meaningful classification of CSS - T codes, but also proposed a method for generating CSS - T codes, and the properties of these codes are fully determined. In addition, this research also provided a useful classification for constructing optimal CSS - T codes through Reed - Muller codes.