Abstract : That quantum computation is a realistic model of computation rests heavily upon the legs of the threshold theorem for fault-tolerant quantum computation. This theorem tells us roughly that, if noise is weak enough and quantum control is strong enough, then robust quantum computation is possible with the added overhead of using more qubits and more time spent performing quantum gates. These added resources scale efficiently with the desired accuracy of the quantum computation and yet, because a theorem is not a technology, the quantum computing community is technically far from achieving the break-even point for these methods. Here we propose revolutionary ideas in fault-tolerant quantum computing which will jump-start the building of a quantum computer. Among the threads in our approach are the construction of small scale gadgets for energetic protection of quantum information, the construction of novel and robust perturbation theory gadgets, the construction of scalable stabilizer Hamiltonians, and methods for achieving the fault-tolerant adiabatic quantum computation.
Abstract : That quantum computation is a realistic model of computation rests heavily upon the legs of the threshold theorem for fault-tolerant quantum computation. This theorem tells us roughly that, if noise is weak enough and quantum control is strong enough, then robust quantum computation is possible with the added overhead of using more qubits and more time spent performing quantum gates. These added resources scale efficiently with the desired accuracy of the quantum computation and yet, because a theorem is not a technology, the quantum computing community is technically far from achieving the break-even point for these methods. Here we propose revolutionary ideas in fault-tolerant quantum computing which will jump-start the building of a quantum computer. Among the threads in our approach are the construction of small scale gadgets for energetic protection of quantum information, the construction of novel and robust perturbation theory gadgets, the construction of scalable stabilizer Hamiltonians, and methods for achieving the fault-tolerant adiabatic quantum computation.
The so-called "threshold" theorem says that, once the error rate per qubit per gate is below a certain value, indefinitely long quantum computation becomes feasible, even if all of the qubits involved are subject to relaxation processes, and all the manipulations with qubits are not exact. The purpose of this article, intended for physicists, is to outline the ideas of quantum error correction and to take a look at the proposed technical instruction for fault-tolerant quantum computation. It seems that the mathematics behind the threshold theorem is somewhat detached from the physical reality, and that some ideal elements are always present in the construction. This raises serious doubts about the possibility of large scale quantum computations, even as a matter of principle.
This thesis is concerned with certain theoretical problems that arise naturally in the context of fault-tolerant quantum computation. Fault-tolerance can be defined as the art of building reliable devices from unreliable components, and is of particular importance for quantum computers that aim to precisely control the dynamics of extremely sensitive quantum systems. A model of quantum computation is a specification of the basic building blocks by which a quantum computation is implemented. The best known model is the quantum circuit model, where computations are implemented by means of unitary quantum gates that are applied to two-level quantum systems known as qubits. In a physical implementation of a quantum circuit, the gates and qubits will inevitably be affected by noise. Fault-tolerant quantum circuits are designed to be resilient against the effects of this noise, provided that it is not too strong. Fault-tolerance in the quantum circuit model is well developed thanks to the theory of quantum error-correcting codes. These codes allow for the correction of small numbers of errors introduced by a variety of noise processes. In a fault-tolerant quantum circuit, qubits are replaced with encoded qubits, and quantum gates with encoded gates that are immediately followed by special quantum circuits for error correction. Provided the rate at which errors occur is below a constant threshold value, the accumulation of errors can be checked so that the correct output of the computation correctly determined. The threshold acts as both a measure of how good the design of a quantum circuit is, and also as a target for experimenters aiming to implement quantum circuits. Much current research in quantum computation is aimed at designing quantum circuits that increase the noise threshold, hopefully to the point where it becomes within the reach of experimenters. A fault-tolerant encoded quantum gate must limit the propagation of errors so that the code’s corrective capabilities are not overwhelmed. It is not so easy to design encoded gates that satisfy this property, and to date only a finite handful of such gates are known. In a faulttolerant quantum circuit, all quantum gates must be decomposed or compiled in terms of those that may be implemented fault-tolerantly. In the first part of this thesis, we present two results that may be applied to this problem of gate compilation. The first is a generic method based on the Solovay-Kitaev theorem that may be applied to all quantum gates, but is most effective for those that act on single qubits. We present the Solovay-Kitaev theorem in its simples known form as an algorithm, together with novel constructions that can be used to implement it. Following this we give a two specialized methods for two-qubit gate decomposition, based on the Cartan decomposition of the Lie group SU(4). The cluster-state model of computation is an alternative to the quantum circuit model, and makes use of quantum measurements and highly entangled cluster-states to implement a quantum computation. The fault-tolerant techniques developed for quantum circuits are not immediately applicable in this model, so in order for it to be a realistic candidate for performing computations we prove that such techniques are possible. In the second part of the thesis we prove that constant fault-tolerance thresholds may be achieved in the cluster-state model, and in particular in an adaption to an optical implementation. Following this we design a complete error correction scheme for optical cluster-state computation, and numerically determine the threshold of this model in the face of the dominant noise models likely to affect such an implementation.
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.
The one-way quantum computing model introduced by Raussendorf and Briegel [Phys. Rev. Lett. 86, 5188 (2001)] shows that it is possible to quantum compute using only a fixed entangled resource known as a cluster state, and adaptive single-qubit measurements. This model is the basis for several practical proposals for quantum computation, including a promising proposal for optical quantum computation based on cluster states [M. A. Nielsen, Phys. Rev. Lett. (to be published), quant-ph/0402005]. A significant open question is whether such proposals are scalable in the presence of physically realistic noise. In this paper we prove two threshold theorems which show that scalable fault-tolerant quantum computation may be achieved in implementations based on cluster states, provided the noise in the implementations is below some constant threshold value. Our first threshold theorem applies to a class of implementations in which entangling gates are applied deterministically, but with a small amount of noise. We expect this threshold to be applicable in a wide variety of physical systems. Our second threshold theorem is specifically adapted to proposals such as the optical cluster-state proposal, in which nondeterministic entangling gates are used. A critical technical component of our proofs is two powerful theorems which relate the properties of noisy unitary operations restricted to act on a subspace of state space to extensions of those operations acting on the entire state space. We expect these theorems to have a variety of applications in other areas of quantum-information science.
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.
Computers have led society to the information age revolutionizing central aspects of our lives from production and communication to education and entertainment. There exist, however, important problems which are intractable with the computers available today and, experience teaches us, will remain so even with the more advanced computers we can envision for tomorrow. Quantum computers promise speedups to some of these important but classically intractable problems. Simulating physical systems, a problem of interest in a diverse range of areas from testing physical theories to understanding chemical reactions, and solving number factoring, a problem at the basis of cryptographic protocols that are used widely today on the internet, are examples of applications for which quantum computers, when built, will offer a great advantage over what is possible with classical computer technology. The construction of a quantum computer of sufficient scale to solve interesting problems is, however, especially challenging. The reason for this is that, by its very nature, operating a quantum computer will require the coherent control of the quantum state of a very large number of particles. Fortunately, the theory of quantum error correction and fault-tolerant quantum computation gives us confidence that such quantum states can be created, can be stored in memory and can also be manipulated provided the quantum computer can be isolated to a sufficient degree from sources of noise. One of the central results in the theory of fault-tolerant quantum computation, the quantum threshold theorem shows that a noisy quantum computer can accurately and efficiently simulate any ideal quantum computation provided that noise is weakly correlated and its strength is below a critical value known as the quantum accuracy threshold. This thesis provides a simpler and more transparent non-inductive proof of this theorem based on the concept of level reduction. This concept is also used in proving the quantum threshold theorem for coherent and leakage noise and for quantum computation by measurements. In addition, the proof provides a methodology which allows us to establish improved rigorous lower bounds on the value of the quantum accuracy threshold.