CRC Press eBooks

Quantum Stabilizer Codes: Efficient Encoding and Decoding

Frank Gaitan

Published Feb 7, 2008• 0 citations

Abstract

In its short history, the field of quantum computing has produced a num ber of truly startling revelations about the computational power inherent in quantum systems. These discoveries generated a great deal of excitement, though this excitement was tempered by the realization that the quantum correlations responsible for this power are extremely fragile. It became clear that to properly assess the performance of a quantum computer, the effects of noise and imperfect quantum gates would have to be included in the analysis. It was thought by many that the virtues of a quantum computer would not survive the presence of these effects. Remarkably, in three years (1995-1997), theoretical tools were developed that stood this expectation on its head. Be ginning with the groundbreaking work of P. W. Shor and A. M. Steane, a verygeneral framework for constructing quantum error correcting codes was estab lished, and protocols were developed that allowed quantum computations to be done in a fault-tolerant manner. This line of development culminated in a demonstration of the accuracy threshold theorem. This theorem showed that fault-tolerant protocols for quantum computation, in conjunction with concatenated quantum error correcting codes, would allow a quantum compu tation of arbitrary duration to be done with arbitrarily small error probability, provided all quantum gates used in the computation had error probabilities that fell below a value known as the accuracy threshold Pa. This threshold was calculated for a number of simple error models yielding values in the range 10-6 < p a < io -3 . The good news is that Pa ^ 0 so that reliable quantum computing in the presence of noise and imperfect quantum gates is possible. The bad news is that Pa is small so that building quantum gates that satisfy the tolerances of the threshold theorem will be technically challenging.

DOI: 10.1201/b15868-5

Related papers

Quantum Mechanics

Frank Gaitan

In Chapters 2-5 we gave a detailed presentation of the theory of quantum error correction and fault-tolerant quantum computing. The stage is finally set for a proof of the accuracy threshold theorem [2-9]. As pointed out in Chapter 1, this theorem spells out the conditions under which quantum computing can be done reliably using imperfect quantum gates and in the presence of noise. The proof presented in this chapter follows Ref. [6]. Section 6.1 addresses a number of preliminary topics. It explains why a concatenated quantum error correcting code (QECC) should be used to protect the computational data when fault-tolerance is an issue; it states the principal assumptions underlying the threshold calculations presented in Section 6.2; and finally, it closes with a statement of the accuracy threshold theorem. The proof of this theorem is taken up in Section 6.2. For the error model introduced in Section 6.1, the accuracy threshold is calculated for gates in the Clifford group N(Qn), storage registers, and the Toffoli gate. The calculations make explicit use of the recursive structure of a concatenated QECC and the fault-tolerant procedures introduced in Chapter 5. The theorem is proved by showing that all three cases yield non-zero threshold values.

CRC Press eBooksFeb 7, 20080 citations

Quantum Error Correction and Fault Tolerant Quantum Computing

Frank Gaitan

It was once widely believed that quantum computation would never become a reality. However, the discovery of quantum error correction and the proof of the accuracy threshold theorem nearly ten years ago gave rise to extensive development and research aimed at creating a working, scalable quantum computer. Over a decade has passed since this monumental accomplishment yet no book-length pedagogical presentation of this important theory exists. Quantum Error Correction and Fault Tolerant Quantum Computing offers the first full-length exposition on the realization of a theory once thought impossible. It provides in-depth coverage on the most important class of codes discovered to date—quantum stabilizer codes. It brings together the central themes of quantum error correction and fault-tolerant procedures to prove the accuracy threshold theorem for a particular noise error model. The author also includes a derivation of well-known bounds on the parameters of quantum error correcting code. Packed with over 40 real-world problems, 35 field exercises, and 17 worked-out examples, this book is the essential resource for any researcher interested in entering the quantum field as well as for those who want to understand how the unexpected realization of quantum computing is possible.

CRC Press eBooksDec 19, 201399 citations

An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation

Daniel Gottesman

Quantum states are very delicate, so it is likely some sort of quantum error correction will be necessary to build reliable quantum computers. The theory of quantum error-correcting codes has some close ties to and some striking differences from the theory of classical error-correcting codes. Many quantum codes can be described in terms of the stabilizer of the codewords. The stabilizer is a finite Abelian group, and allows a straightforward characterization of the error-correcting properties of the code. The stabilizer formalism for quantum codes also illustrates the relationships to classical coding theory, particularly classical codes over GF(4), the finite field with four elements. To build a quantum computer which behaves correctly in the presence of errors, we also need a theory of fault-tolerant quantum computation, instructing us how to perform quantum gates on qubits which are encoded in a quantum error-correcting code. The threshold theorem states that it is possible to create a quantum computer to perform an arbitrary quantum computation provided the error rate per physical gate or time step is below some constant threshold value.

arXiv:0904.2557Apr 16, 2009129 citations

Introduction to error correcting codes in quantum computers

Pedro J. Salas

The goal of this paper is to review the theoretical basis for achieving a faithful quantum information transmission and processing in the presence of noise. Initially encoding and decoding, implementing gates and quantum error correction will be considered error free. Finally we will relax this non realistic assumption, introducing the quantum fault-tolerant concept. The existence of an error threshold permits to conclude that there is no physical law preventing a quantum computer from being built. An error model based on the depolarizing channel will be able to provide a simple estimation of the storage or memory computation error threshold: < 5.2 10-5. The encoding is made by means of the [[7,1,3]] Calderbank-Shor-Steane quantum code and the Shor's fault-tolerant method to measure the stabilizer's generators is used.

arXiv:quant-ph/0611026Nov 2, 20060 citations

Introduction to error correcting codes in quantum computers

P. J. Salas-Peralta

"The goal of this paper is to review the theoretical basis for achieving a faithful quantum information transmission and processing in the presence of noise. Initially, encoding and decoding, implementing gates and quantum error correction will be considered error-free. Finally, we shall relax this non-realistic assumption, introducing the quantum fault-tolerant concept. The existence of an error threshold permits us to conclude that there is no physical law preventing a quantum computer from being built. An error model based on the depolarising channel will be able to provide a simple estimate of the storage or memory computation error threshold: 5.2 10. The encoding is made by means of the [[7,1,3]] Calderbank-Shor-Steane quantum code, and Shor´s fault-tolerant method is used to measure the stabiliser´s generators."

Revista Mexicana de Física EJan 12, 20060 citations

New methods in quantum error correction and fault-tolerant quantum computing

Christopher Chamberland

Quantum computers have the potential to solve several interesting problems in polynomial \ntime for which no polynomial time classical algorithms have been found. However, \none of the major challenges in building quantum devices is that quantum systems are very \nsensitive to noise arising from undesired interactions with the environment. Noise can lead \nto errors which can corrupt the results of the computation. Quantum error correction is \none way to mitigate the effects of noise arising in quantum devices. \nWith a plethora of quantum error correcting codes that can be used in various settings, \none of the main challenges of quantum error correction is understanding how well various \ncodes perform under more realistic noise models that can be observed in experiments. \nThis thesis proposes a new decoding algorithm which can optimize threshold values of \nerror correcting codes under different noise models. The algorithm can be applied to \nany Markovian noise model. Further, it is shown that for certain noise models, logical \nClifford corrections can further improve a code's threshold value if the code obeys certain \nsymmetries. \n \nSince gates and measurements cannot in general be performed with perfect precision, \nthe operations required to perform quantum error correction can introduce more errors \ninto the system thus negating the benefits of error correction. Fault-tolerant quantum \ncomputing is a way to perform quantum error correction with imperfect operations while \nretaining the ability to suppress errors as long as the noise is below a code's threshold. \nOne of the main challenges in performing fault-tolerant error correction is the high resource \nrequirements that are needed to obtain very low logical noise rates. With the use of \nflag qubits, this thesis develops new fault-tolerant error correction protocols that are applicable \nto arbitrary distance codes. Various code families are shown to satisfy the requirements \nof flag fault-tolerant error correction. We also provide circuits using a constant number of \nqubits for these codes. It is shown that the proposed flag fault-tolerant method uses fewer \nqubits than previous fault-tolerant error correction protocols. \n \nIt is often the case that the noise afflicting a quantum device cannot be fully characterized. \nFurther, even with some knowledge of the noise, it can be very challenging to use \nanalytic decoding methods to improve the performance of a fault-tolerant scheme. This \nthesis presents decoding schemes using several state of the art machine learning techniques \nwith a focus on fault-tolerant quantum error correction in regimes that are relevant to near \nterm experiments. It is shown that even in low noise rate regimes and with no knowledge \nof the noise, noise can be further suppressed for small distance codes. Limitations of machine \nlearning decoders as well as the classical resources required to perform active error \ncorrection are discussed. \n \nIn many cases, gate times can be much shorter than typical measurement times of \nquantum states. Further, classical decoding of the syndrome information used in quantum \nerror correction to compute recovery operators can also be much slower than gate times. \nFor these reasons, schemes where error correction can be implemented in a frame (known \nas the Pauli frame) have been developed to avoid active error correction. In this thesis, we \ngeneralize previous Pauli frame schemes and show how Clifford frame error correction can \nbe implemented with minimal overhead. Clifford frame error correction is necessary if the \nlogical component of recovery operators were chosen from the Clifford group, but could \nalso be used in randomized benchmarking schemes.

Oct 22, 20180 citations