Computation with quantum Reed-Muller codes and their mapping onto 2D atom arrays

TL;DR

This paper presents a fault-tolerant quantum computation scheme using punctured quantum Reed-Muller codes, mapping them onto 2D atom arrays, with low failure rates and efficient implementation strategies.

Contribution

It introduces a fault-tolerant construction for quantum error correction with PQRM codes, including code switching, low-depth ancilla preparation, and 2D layout mapping for atom arrays.

Findings

CNOT exRec failure rate approaches 10^{-9} at 10^{-3} noise

Fault-tolerant protocol for the [[127,1,7]] code

Logical Clifford group achieved with permutations and transversal gates

Abstract

We give a fault tolerant construction for error correction and computation using two punctured quantum Reed-Muller (PQRM) codes. In particular, we consider the $[[127,1,15]]$ self-dual doubly-even code that has transversal Clifford gates (CNOT, H, S) and the triply-even $[[127,1,7]]$ code that has transversal T and CNOT gates. We show that code switching between these codes can be accomplished using Steane error correction. For fault-tolerant ancilla preparation we utilize the low-depth hypercube encoding circuit along with different code automorphism permutations in different ancilla blocks, while decoding is handled by the high-performance classical successive cancellation list decoder. In this way, every logical operation in this universal gate set is amenable to extended rectangle analysis. The CNOT exRec has a failure rate approaching $10^{-9}$ at $10^{-3}$ circuit-level depolarizing noise. Furthermore, we map the PQRM codes to a 2D layout suitable for implementation in arrays of trapped atoms and try to reduce the circuit depth of parallel atom movements in state preparation. The resulting protocol is strictly fault-tolerant for the $[[127,1,7]]$ code and practically fault-tolerant for the $[[127,1,15]]$ code. Moreover, each patch requires a permutation consisting of $7$ sub-hypercube swaps only. These are swaps of rectangular grids in our 2D hypercube layout and can be naturally created with acousto-optic deflectors (AODs). Lastly, we show for the family of $[[2^{2r},{2r\choose r},2^r]]$ QRM codes that the entire logical Clifford group can be achieved using only permutations, transversal gates, and fold-transversal gates.