Chapter 7 - Quantum error correction fundamentals

Chapter 7 - Quantum Error Correction

Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.

Noise is a major obstacle in the development of practical schemes for quantum computation and communication. Similar to the case of classical communication, this noise can be protected against by employing a code, which provides a means for encoding quantum states prior to transmission and allows for errors to be inferred, and hopefully corrected, by a decoder at the receiver. Unfortunately, designing good codes and decoders is typically a difficult problem. This thesis focuses on developing low-complexity heuristic approaches to three such problems: the design of modified belief propagation decoders for quantum low-density parity-check codes, the design of stabilizer codes for asymmetric channels, and the design of codeword stabilized codes. Quantum low-density parity-check codes are stabilizer codes with low-weight generators. Such codes permit low-complexity decoding via the use of belief propagation, which is an iterative message passing algorithm that takes place on a factor graph defined by the code. However, the performance of such a decoder is limited both by code structure and the degenerate nature of quantum errors. To overcome these limitations, at least in part, a number of modifications to belief propagation are developed. Central among these is the augmented decoder, which in the case of a decoding error, iteratively reattempts decoding using modified factor graph. This heuristic modification simply involves the duplication of a randomly selected subset of the graph’s check nodes, which are in one-to-one correspondence with the code’s stabilizer generators. Across a range of codes, it is shown that the decoders developed perform as well as or better than other modified decoders presented in literature. For a number of channels of physical interest, phase-flip errors occur far more frequently than bit-flip errors. When transmitting across these so-called asymmetric channels, the decoding error rate can be minimized by tailoring the code used to the channel. However, assessing the performance of codes on a given channel is made difficult by the #P-completeness of optimal decoding. To address this complexity, it is shown that the decoding error rate can be accurately approximated using only a small fraction of the possible errors caused by the channel. This approximation is then used to identify a number of cyclic stabilizer codes that perform well on two different asymmetric channels. To further build on this, a heuristic is demonstrated for assessing code performance based on the decoding error rate of an associated classical code. The complexity of calculating this classical error rate is relatively low, and it is shown that it can be used as the basis for a hill-climbing search algorithm. Such searches have yielded a large number of highly performant codes satisfying various structure constraints. The family of codeword stabilized codes encompasses both the stabilizer codes as well as many of the best known nonadditive codes. Constructing a standard form codeword stabilized code is a matter of selecting a simple undirected graph and a binary classical code. This makes designing optimal codes difficult as the number of possible graphs grows exponentially with code length, and the clique search required to construct the classical code is NP-hard. To address the exponential growth of the search space, a heuristic is developed for assessing graphs. This heuristic is then employed by a genetic algorithm that also makes use of a novel crossover operation based on spectral bisection, which is show to be superior to more standard crossover operations. With a graph selected, it is demonstrated that the complexity of the clique search required to construct the associated classical code can be mitigated through the use of a heuristic clique finding algorithm. A number of best known codes are presented that have been found using this approach.

Quantum error correction is a set of methods to protect quantum information—that is, quantum states—from unwanted environmental interactions (decoherence) and other forms of noise. The information is stored in a quantum error-correcting code, which is a subspace in a larger Hilbert space. This code is designed so that the most common errors move the state into an error space orthogonal to the original code space while preserving the information in the state. It is possible to determine whether an error has occurred by a suitable measurement and to apply a unitary correction that returns the state to the code space without measuring (and hence disturbing) the protected state itself. In general, codewords of a quantum code are entangled states. No code that stores information can protect against all possible errors; instead, codes are designed to correct a specific error set, which should be chosen to match the most likely types of noise. An error set is represented by a set of operators that can multiply the codeword state. Most work on quantum error correction has focused on systems of quantum bits, or qubits, which are two-level quantum systems. These can be physically realized by the states of a spin-1/2 particle, the polarization of a single photon, two distinguished levels of a trapped atom or ion, the current states of a microscopic superconducting loop, or many other physical systems. The most widely used codes are the stabilizer codes, which are closely related to classical linear codes. The code space is the joint +1 eigenspace of a set of commuting Pauli operators on n qubits, called stabilizer generators; the error syndrome is determined by measuring these operators, which allows errors to be diagnosed and corrected. A stabilizer code is characterized by three parameters [[n,k,d]], where n is the number of physical qubits, k is the number of encoded logical qubits, and d is the minimum distance of the code (the smallest number of simultaneous qubit errors that can transform one valid codeword into another). Every useful code has n>k; this physical redundancy is necessary to detect and correct errors without disturbing the logical state. Quantum error correction is used to protect information in quantum communication (where quantum states pass through noisy channels) and quantum computation (where quantum states are transformed through a sequence of imperfect computational steps in the presence of environmental decoherence to solve a computational problem). In quantum computation, error correction is just one component of fault-tolerant design. Other approaches to error mitigation in quantum systems include decoherence-free subspaces, noiseless subsystems, and dynamical decoupling.

We analyze simple quantum error detection and quantum error correction protocols relevant to current experiments with superconducting qubits. We show that for qubits with energy relaxation the repetitive $N$-qubit codes cannot be used for quantum error correction, but can be used for quantum error detection. In the latter case it is sufficient to use only two qubits for the encoding. In the analysis we demonstrate a useful technique of unraveling the qubit energy relaxation into ``relaxation'' and ``no relaxation'' scenarios. Also, we propose and numerically analyze several two-qubit algorithms for quantum error detection and correction, which can be readily realized at the present-day level of the phase qubit technology.

We analyze the dynamics of entanglement entropy in a generic quantum many-body open system from the perspective of quantum information and error corrections. We introduce a random unitary circuit model with intermittent projective measurements, in which the degree of information scrambling by the unitary and the rate of projective measurements are independently controlled. This model displays two stable phases, characterized by the volume-law and area-law scaling entanglement entropy in steady states. The transition between the two phases is understood from the point of view of quantum error correction: the chaotic unitary evolution protects quantum information from projective measurements that act as errors. A phase transition occurs when the rate of errors exceeds a threshold that depends on the degree of information scrambling. We confirm these results using numerical simulations and obtain the phase diagram of our model. Our work shows that information scrambling plays a crucial role in understanding the dynamics of entanglement in an open quantum system and relates the entanglement phase transition to changes in quantum channel capacity.

This paper shows that quantum computation can be made fault-tolerant against errors and inaccuracies when $\eta$, the probability for an error in a qubit or a gate, is smaller than a constant threshold $\eta_c$. This result improves on Shor's result [Proceedings of the 37th Symposium on the Foundations of Computer Science, IEEE, Los Alamitos, CA, 1996, pp. 56–65], which shows how to perform fault-tolerant quantum computation when the error rate $\eta$ decays polylogarithmically with the size of the computation, an assumption which is physically unreasonable. The cost of making the quantum circuit fault-tolerant in our construction is polylogarithmic in time and space. Our result holds for a very general local noise model, which includes probabilistic errors, decoherence, amplitude damping, depolarization, and systematic inaccuracies in the gates. Moreover, we allow exponentially decaying correlations between the errors both in space and in time. Fault-tolerant computation can be performed with any universal set of gates. The result also holds for quantum particles with $p>2$ states, namely, p-qudits, and is also generalized to one-dimensional quantum computers with only nearest-neighbor interactions. No measurements, or classical operations, are required during the quantum computation. We estimate the threshold of our construction to be $\eta_c\simeq 10^{-6}$, in the best case. By this we show that local noise is in principle not an obstacle for scalable quantum computation. The main ingredient of our proof is the computation on states encoded by a quantum error correcting code (QECC). To this end we introduce a special class of Calderbank–Shor–Steane (CSS) codes, called polynomial codes (the quantum analogue of Reed–Solomon codes). Their nice algebraic structure allows all of the encoded gates to be transversal. We also provide another version of the proof which uses more general CSS codes, but its encoded gates are slightly less elegant. To achieve fault tolerance, we encode the quantum circuit by another circuit by using one of these QECCs. This step is repeated polyloglog many times, each step slightly improving the effective error rate, to achieve the desired reliability. The resulting circuit exhibits a hierarchical structure, and for the analysis of its robustness we borrow terminology from Khalfin and Tsirelson [Found. Phys., 22 (1992), pp. 879–948] and Gács [Advances in Computing Research: A Research Annual: Randomness and Computation, JAI Press, Greenwich, CT, 1989]. The paper is to a large extent self-contained. In particular, we provide simpler proofs for many of the known results we use, such as the fact that it suffices to correct for bit-flips and phase-flips, the correctness of CSS codes, and the fact that two-qubit gates are universal, together with their extensions to higher-dimensional particles. We also provide full proofs of the universality of the sets of gates we use (the proof of universality was missing in Shor's paper). This paper thus provides a self-contained and complete proof of universal fault-tolerant quantum computation in the presence of local noise.

In this work, we investigate some applications of quantum information theory motivated by high-energy physics. There is strong evidence suggesting that entanglement is deeply connected with the geometry of spacetime, which leads to surprising applications of quantum information theory in the AdS/CFT correspondence and holography. We start by reviewing the fundamental concepts of the AdS/CFT correspondence which play a key role in bulk-boundary reconstruction, in particular, we explore some features which suggest that one must interpret the encoding of information in the correspondence as a quantum errorcorrecting code. We discuss the fundamentals of error correction, exploring the formalisms of operator algebra and stabilizer codes. Then, we establish the concrete connection between the two main concepts by showing examples of quantum error-correcting codes that serve as a toy model for AdS/CFT. We illustrate how the 3-qutrit code and the HaPPY code can be powerful tools to explore the correspondence analytically and to solve apparent paradoxes. Following recent results, using quantum error correction, that suggest an intrinsic incompatibility of quantum gravity with global symmetries, we explore approximate error-correcting codes and asymmetric codes as a way to better understand the consequences in a quantum resource-theoretic way. Finally, we discuss our original contribution: geometric bounds for approximate quantum error correction. We calculate our bounds for three typical quantum channels that model the lack of exactness in error correction, namely, dephasing, depolarizing, and amplitude damping channels. The implications of our bounds for AdS/CFT are somewhat elusive; nonetheless, we provide a new approach to benchmark approximations in error correction performance, which may be of high interest for AdS/CFT and its corresponding absence of global symmetries.

The subject of this chapter is the use of classical/quantum information theory and coding in genetics and evolution. The chapter starts with the description of using the concepts from both classical and quantum information theories to describe the evolution of biological channel capacity through generations. In order to do so, several classical and quantum biological channel models are employed including the Markovian classical and Markovian-like quantum model, hybrid quantum-classical model, multilevel symmetric channel model, and Kimura model-based Markovian process. In order to describe the reliable long-time storage of genetic information in DNA, the use of unequal error protection (UEP) coding is studied. Several classes of error-correction codes suitable for UEP on a cellular level are described including nested coding, multilevel coding (MLC), rate-adaptive coding, and generalized LDPC coding. The use of concepts of constrained coding to describe the genetic information flow from DNA to proteins is also described as well as joint-constrained and error-correction coding. After that, the use of quantum error-correction concepts to deal with environmental errors including canonical quantum error-correction and stabilizer codes is briefly described. One particular class of stabilizer codes, known as topological codes, is then described that might be relevant to biological processes as they only involve the local qubits in encoding process. Another relevant class of codes, the subsystem codes, is then described. The key idea behind subsystem codes is to decompose the quantum code as the tensor product of two subsystems, exon subsystem A and intron subsystem B, and we are concerned with correcting errors only on the exon subsystem. Finally, we describe the use of nonbinary quantum stabilizer codes to deal with nucleobase substitution errors, both random and burst errors. We also briefly discuss the possible use of both classical and quantum error-correction concepts to improve tolerance to tumor and cancer introducing errors.

We investigate a novel class of quantum error correcting codes to correct errors on both qubits and higher-state quantum systems represented as qudits. These codes arise from an original graph-theoretic representation of sets of quantum errors. In this new framework, we represent the algebraic conditions for error correction in terms of edge avoidance between graphs providing a visual representation of the interplay between errors and error correcting codes. Most importantly, this framework supports the development of quantum codes that correct against a predetermined set of errors, in contrast to current methods. A heuristic algorithm is presented, providing steps to develop codes that correct against an arbitrary noisy channel. We benchmark the correction capability of reflexive stabilizer codes for the case of single qubit errors by comparison to existing stabilizer codes that are widely used. In addition, we present two instances of optimal encodings: an optimal encoding for fully correlated noise which achieves a higher encoding rate than previously known, and a minimal encoding for single qudit errors on a four-state system.

Quantum machine learning (QML) is an emerging field that promises advantages such as faster training, improved reliability and superior feature extraction over classical counterparts. However, its implementation on quantum hardware is challenging due to the noise inherent in these systems, necessitating the use of quantum error correction (QEC) codes. Current QML research remains primarily theoretical, often assuming noise-free environments and offering little insight into the integration of QEC with QML implementations. To address this, we investigate the performance of a simple, parity-classifying Variational Quantum Classifier (VQC) implemented with the [[4,2,2]] error-detecting stabiliser code in a simulated noisy environment. To our knowledge, this is the first implementation of a stabiliser-based error detection code to a QML algorithm. We invoke ancilla qubits to logically encode rotation gates, and classically simulate the logically-encoded VQC under two simple noise models representing gate noise and environmental noise. We demonstrate that the stabiliser code improves the training accuracy at convergence compared to noisy implementations without error detection. However, we find that the effectiveness and reliability of error detection is contingent upon keeping the ancilla qubit error rates below a specific threshold, due to the propagation of ancilla errors to the physical qubits. Our results provide an important insight that extends to QML implemented with full error-correction: when the QEC code requires ancilla qubits for logical rotations but cannot fully correct errors propagated between ancilla and physical qubits, the maximum achievable accuracy of the QML model is constrained. This highlights the need for additional error correction or mitigation strategies to support the practical implementation of QML algorithms with QEC on quantum devices.

Quantum error correction (QEC) can overcome the errors experienced by qubits and is therefore an essential component of a future quantum computer. To implement QEC, a qubit is redundantly encoded in a higher-dimensional space using quantum states with carefully tailored symmetry properties. Projective measurements of these parity-type observables provide error syndrome information, with which errors can be corrected via simple operations. The 'break-even' point of QEC--at which the lifetime of a qubit exceeds the lifetime of the constituents of the system--has so far remained out of reach. Although previous works have demonstrated elements of QEC, they primarily illustrate the signatures or scaling properties of QEC codes rather than test the capacity of the system to preserve a qubit over time. Here we demonstrate a QEC system that reaches the break-even point by suppressing the natural errors due to energy loss for a qubit logically encoded in superpositions of Schrödinger-cat states of a superconducting resonator. We implement a full QEC protocol by using real-time feedback to encode, monitor naturally occurring errors, decode and correct. As measured by full process tomography, without any post-selection, the corrected qubit lifetime is 320 microseconds, which is longer than the lifetime of any of the parts of the system: 20 times longer than the lifetime of the transmon, about 2.2 times longer than the lifetime of an uncorrected logical encoding and about 1.1 longer than the lifetime of the best physical qubit (the |0〉f and |1〉f Fock states of the resonator). Our results illustrate the benefit of using hardware-efficient qubit encodings rather than traditional QEC schemes. Furthermore, they advance the field of experimental error correction from confirming basic concepts to exploring the metrics that drive system performance and the challenges in realizing a fault-tolerant system.

<p indent="0mm">Recently, the achievement, entitled “lifetime enhancement for a logic qubit by bosonic encoding error correction”, has been selected as one of “The Ten Major Advances in Chinese Science 2023”. Here, we will introduce briefly the importance of this work. It is known that quantum states are fragile due to decoherence induced by environment. Error will happen on a qubit, resulting in continuously changes of the parameters for this qubit, such as amplitude and phase parameters. The aim of quantum error correction is to amend those errors by using various quantum error correction codes, in which a logic qubit can be represented by several physical qubits. It should be noted that the quantum error correction can be realized by correcting a discrete set of errors, such as bit-flip error, phase-flip error or both of them. On the other hand, types of errors occurred depend on specific platforms of quantum computation. For example, photon loss is more inclined to occur in photonic systems. In this case, the approach of bosonic encoding of quantum error correction is more efficient. The work “lifetime enhancement for a logic qubit by bosonic encoding error correction” is for such a scenario. The challenge of quantum error correction is that operation itself is not perfect which may incur new errors. So it is actually difficult to demonstrate that we can benefit from quantum error correction. The achievement of lifetime enhancement by bosonic encoding error correction succeeds in beating this break-even point. The experiments are performed by circuit quantum electrodynamics on a superconducting processor with a qubit and a coupled resonate cavity. The logic qubit is realized by the bosonic mode of the cavity, while the superconducting qubit plays the role of the ancillary qubit in error correction. The initial states are prepared by the superconducting qubit, and are transferred to the logic qubit in the cavity. Then the error correction can be performed based on detection of photon loss by the superconducting qubit. The results show that the lifetime of the logic qubit increases from <sc>694 μs</sc> to <sc>805 μs</sc> with 16% enhancement. Besides high quality devices, the success of this experiment depends on the feedback control to detect and correct the error of photon loss in a short time. The result of beating the break-even point of bosonic encoding error correction is for one logic qubit. In the near future, it is hopeful to implement logic gates, such as single-qubit rotation gate and two-qubit gate, on a couple of logic qubits by bosonic encoding. The importance of the results will depend on whether higher fidelity can be achieved compared with those of gates with physical qubits. In this way, the advantage of the logic qubits for quantum computation is presented. It will be significant that the approach of bosonic encoding with a superconducting processor is scalable to hundreds of logic qubits, which may take a few years to realize. Our aim is to realize a fault-tolerant universal quantum computer based on a large quantity of high-precision logic qubits. The work “lifetime enhancement for a logic qubit by bosonic encoding error correction” is an important step toward this aim.

The storage and processing of quantum information are susceptible to external noise, resulting in computational errors. A powerful method to suppress these effects is quantum error correction. Typically, quantum error correction is executed in discrete rounds, using entangling gates and projective measurement on ancillary qubits to complete each round of error correction. Here we use direct parity measurements to implement a continuous quantum bit-flip correction code in a resource-efficient manner, eliminating entangling gates, ancillary qubits, and their associated errors. An FPGA controller actively corrects errors as they are detected, achieving an average bit-flip detection efficiency of up to 91%. Furthermore, the protocol increases the relaxation time of the protected logical qubit by a factor of 2.7 over the relaxation times of the bare comprising qubits. Our results showcase resource-efficient stabilizer measurements in a multi-qubit architecture and demonstrate how continuous error correction codes can address challenges in realizing a fault-tolerant system.

Contrary to the assumption that most quantum error-correcting codes (QECC) make, it is expected that phase errors are much more likely than bit errors in physical devices. By employing the entanglement-assisted stabilizer formalism, we develop a new kind of error-correcting protocol which can flexibly trade error correction abilities between the two types of errors, such that high error correction performance is achieved both in symmetric and in asymmetric situations. The characteristics of the QECCs can be optimized in an adaptive manner during information transmission. The proposed entanglement-assisted QECCs require only one ebit regardless of the degree of asymmetry at a given moment and can be decoded in polynomial time.