Quantum error correction protocols have been developed to offset the high sensitivity to noise inherent in quantum systems. However, much is still unknown about the behavior of a quantum error-correcting code under general noise, including noisy measurements. This lack of knowledge is largely due to the computational cost of simulating quantum systems large enough to perform nontrivial encodings. In this paper, we develop general methods for incorporating noisy measurement operations into simulations of quantum error-correcting codes and show that measurement errors on readout qubits manifest as a renormalization on the effective logical noise. We also derive general methods for reducing the computational complexity of calculating the exact effective logical noise by many orders of magnitude. This reduction is achieved by determining when different recovery operations produce equivalent logical noise. These methods could also be used to better approximate soft decoding schemes for concatenated codes or to reduce the size of a lookup table to speed up the error correction step in implementations of quantum error-correcting codes. We give examples of such reductions for the three-qubit, five-qubit, Steane, concatenated, and toric codes.
Quantum error correction protocols have been developed to offset the high sensitivity to noise inherent in quantum systems. However, much is still unknown about the behavior of a quantum error-correcting code under general noise, including noisy measurements. This lack of knowledge is largely due to the computational cost of simulating quantum systems large enough to perform nontrivial encodings. In this paper, we develop general methods for incorporating noisy measurement operations into simulations of quantum error-correcting codes and show that measurement errors on readout qubits manifest as a renormalization on the effective logical noise. We also derive general methods for reducing the computational complexity of calculating the exact effective logical noise by many orders of magnitude. This reduction is achieved by determining when different recovery operations produce equivalent logical noise. These methods could also be used to better approximate soft decoding schemes for concatenated codes or to reduce the size of a lookup table to speed up the error correction step in implementations of quantum error-correcting codes. We give examples of such reductions for the three-qubit, five-qubit, Steane, concatenated, and toric codes.
Full accuracy simulations of quantum systems are very costly, and as a result most studies \nof quantum error correction assume a probabilistic Pauli error model, largely because such \nerrors can be e ciently simulated. Therefore, the behaviour of more general noise in a \nquantum error correcting code is poorly characterized. In this thesis, we present results which \ndemonstrate the scaling of the logical noise with respect to the physical delity, and argue \nthat the e ective logical noise approaches a Pauli channel as the code distance increases, \neven when no recovery operations are applied. As a result, we argue that the average logical \n delity can be used to accurately quantify the e ective logical noise, and to select recovery \noperations appropriate to the system. We further demonstrate that when physical noise \nacts on fewer than d qubits in an [[n; k; d]] code, the resultant noise is Pauli, and develop \na method for approximating the dominant contributions to the e ective logical noise up to \na speci ed precision in terms of the physical in delity. We derive conditions under which \nsets of recovery operations will produce equivalent logical noise channels, with examples of \nequivalencies in the 3 qubit repetition code, the 5 qubit code, the Steane code, and the Shor \ncode. We also provide a general expression for the e ective logical noise when the physical \nqubits undergo depolarizing or Pauli noise in a quantum error correcting code, examine the \nbehaviour of depolarizing noise under concatenation of the 5 qubit and Steane codes, and \npresent an algorithm for soft decoding which is not subject to statistical sampling, with an \nemphasis on the e ective behaviour of a concatenated 5 qubit code undergoing depolarizing \nnoise after applying a specialized version our soft decoding algorithm.
Quantum computers are highly sensitive to noise due to interactions with the environment, which severely limits the utility of near-term devices. Quantum error correction addresses this challenge by encoding logical information over multiple qubits in order to preserve information in the presence of noise. This facilitates the realization of the theoretical advantages of quantum computing such as exponential speed-up compared to classical computers for certain algorithms. Physical realizations of qubits may have different noise profiles, including biased noise, where phase-flip errors may be more likely than bit-flip errors. We propose a quantum error-correcting code, the XYZ² code, which is tailored to biased noise. The code has high error thresholds against biased noise, below which logical errors are exponentially suppressed with the linear dimension of the code. The important classical task of deriving corrections given partial information about errors is called decoding. We investigate several decoding strategies tailored to specific challenges, ranging from a novel maximum-likelihood sampling decoder, to a model-free, data-driven, neural-network-based decoder, to an efficient multi-step decoder for concatenated codes. We also study the link between quantum error-correcting codes and their statistical-mechanical counterparts by mapping to generalized random-bond Ising models and subsequently deriving the exact results for finite-size corrections under biased noise for moderate code sizes. Quantum error correction is still in its developing stages, and this work provides a useful contribution to the field by bridging a gap between theory and practice. By adapting well-studied topological codes to error models that are closer to reality, this work paves the way for the realization of a fault-tolerant quantum architecture.
We compare the performance of quantum error correcting codes when memory errors are unitary with the more familiar case of dephasing noise. For a wide range of codes, we analytically compute the effective logical channel that results when the error correction steps are performed noiselessly. Our examples include the entire family of repetition codes, the five-qubit, Steane, Shor, and surface codes. When errors are measured in terms of the diamond norm, we find that the error correction is typically much more effective for unitary errors than for dephasing. We observe this behavior for a wide range of codes after a single level of encoding, and in the thresholds of concatenated codes using hard decoders. We show that this holds with great generality by proving a bound on the performance of any stabilizer code when the noise at the physical level is unitary. By comparing the diamond norm error ${D}_{\ensuremath{\diamond}}^{\ensuremath{'}}$ of the logical qubit with the same quantity at the physical level ${D}_{\ensuremath{\diamond}}$, we show that ${D}_{\ensuremath{\diamond}}^{\ensuremath{'}}\ensuremath{\le}c{D}_{\ensuremath{\diamond}}^{d}$ where d is the distance of the code and c is a constant that depends on the code but not on the error. This bound compares very favorably to the performance of error correction for dephasing noise and other Pauli channels, where an error correcting code of odd distance d will exhibit a scaling ${D}_{\ensuremath{\diamond}}^{\ensuremath{'}}\ensuremath{\sim}{D}_{\ensuremath{\diamond}}^{(d+1)/2}$.
Quantum computers require error correction to achieve universal quantum computing. However, current decoding of quantum error-correcting codes relies on classical computation, which is slower than quantum operations in superconducting qubits. This discrepancy makes the practical implementation of real-time quantum error correction challenging. In this work, we propose a decoding scheme that leverages the operations of the quantum circuit itself. Given a noisy quantum circuit A, we train a decoding quantum circuit B using syndrome measurements to identify the logical operators needed to correct errors in circuit A. The trained quantum circuit B can be deployed on quantum devices, such as superconducting qubits, to perform real-time decoding and error correction. Our approach is applicable to general quantum codes with multiple logical qubits and operates efficiently under various noise conditions, and the decoding speed matches the speed of the quantum circuits being corrected. We have conducted numerical experiments using surface codes up to distance 7 under circuit-level noise, demonstrating performance on par with the classical minimum-weight perfect matching algorithm. Interestingly, our method reveals that the traditionally classical task of decoding error-correcting codes can be accomplished without classical devices or measurements. This insight paves the way for the development of self-correcting quantum computers.
Concatenating quantum error correction codes scales error correction capability by driving logical error rates down double-exponentially across levels. However, the noise structure shifts under concatenation, making it hard to choose an optimal code sequence. We automate this choice by estimating the effective noise channel after each level and selecting the next code accordingly. In particular, we use learning-based methods to tailor small, non-additive encoders when the noise exhibits sufficient structure, then switch to standard codes once the noise is nearly uniform. In simulations, this level-wise adaptation achieves a target logical error rate with far fewer qubits than concatenating stabilizer codes alone--reducing qubit counts by up to two orders of magnitude for strongly structured noise. Therefore, this hybrid, learning-based strategy offers a promising tool for early fault-tolerant quantum computing.
Quantum computation holds the promise of solving certain complex problems exponentially faster than classical computers. However, the high prevalent noise in current quantum devices impedes the accurate execution of even basic algorithms. This can be remedied by protecting quantum information with a quantum error-correcting code, where the logical information of an algorithmic qubit is spread across multiple physical qubits. Individual quantum errors are then located and corrected by the fault-tolerant measurement of multi-qubit stabilizer operators (parity checks). Unfortunately, error correction and fault tolerance both impose large demands on the qubit overhead: hundreds to thousands of physical qubits per logical qubit.
We reduce the spacetime cost of fault tolerance by redesigning key building blocks of an error-corrected quantum computer. First, we develop a combinatorial proof with flag fault tolerance that exponentially reduces the extra qubits needed to measure a stabilizer of any size, while tolerating one fault. We leverage these proofs to then design state preparation circuits for the Steane and Golay codes with 100% yield. Next, we improve error correction on a planar layout by showing that a distance-four code encoding six logical qubits protects information as well as the distance-five surface code, using one-tenth as many physical qubits. Finally, we optimize the time overhead of logical gates in surface code quantum computers by protecting measurement results with a classical code, cutting computation time by a factor of two to six. Our hardware-agnostic optimizations of fault tolerance overheads thus suggest new routes to advance the timeline of error-free quantum computing.