Qubit loss and gate failure are significant problems for the development of scalable quantum computing. Recently, various schemes have been proposed for tolerating qubit loss and gate failure. These include schemes based on cluster and parity states. We show that by designing such schemes specifically to tolerate these error types we cause an exponential blowout in depolarizing noise. We discuss several examples and propose techniques for minimizing this problem. In general, this introduces a tradeoff with other undesirable effects. In some cases this is physical resource requirements, while in others it is noise rates.
Qubit loss and gate failure are significant problems for the development of scalable quantum computing. Recently, various schemes have been proposed for tolerating qubit loss and gate failure. These include schemes based on cluster and parity states. We show that by designing such schemes specifically to tolerate these error types we cause an exponential blowout in depolarizing noise. We discuss several examples and propose techniques for minimizing this problem. In general, this introduces a tradeoff with other undesirable effects. In some cases this is physical resource requirements, while in others it is noise rates.
A heavy focus for optical quantum computing is the introduction of error correction, and the minimization of resource requirements. We detail a complete encoding and manipulation scheme designed for circuit-model linear optics quantum computing, incorporating scalable operations and loss-tolerant architecture. We also calculate loss thresholds for the gate systems described, with an efficiency of 83 required for the single-qubit operations, and 90 for the two-qubit controlled-NOT gate.
Abstract Quantum computing1—the processing of information according to the fundamental laws of physics—offers a means to solve efficiently a small but significant set of classically intractable problems. Quantum computers are based on the controlled manipulation of entangled quantum states, which are extremely sensitive to noise and imprecision; active correction of errors must therefore be implemented without causing loss of coherence. Quantum error-correction theory2, 3, 4, 5, 6, 7, 8, 9 has made great progress in this regard, by predicting error-correcting ‘codeword’ quantum states. But the coding is inefficient and requires many quantum bits10, 11, 12, which results in physically unwieldy fault-tolerant quantum circuits10, 11, 12, 13, 14, 15, 16, 17, 18. Here I report a general technique for circumventing the trade-off between the achieved noise tolerance and the scale-up in computer size that is required to realize the error correction. I adapt the recovery operation (the process by which noise is suppressed through error detection and correction) to simultaneously correct errors and perform a useful measurement that drives the computation. The result is that a quantum computer need be only an order of magnitude larger than the logic device contained within it. For example, the physical scale-up factor10, 11 required to factorize a thousand-digit number is reduced from 1, 500 to 22, while preserving the original tolerated gate error rate (10−5) and memory noise per bit (10−7). The difficulty of realizing a useful quantum computer is therefore significantly reduced.
Quantum error correction (QEC) is essential for realizing scalable quantum computation. However, when evaluating its benefits, most analyses assume idealized components, overlooking the imperfections inherent in realistic fault-tolerant (FT) implementations. In this paper, we investigate the performance of QEC schemes taking into account that quantum gates and measurements are themselves error-prone. We derive bounds for the failure probability of Shor-style FT-QEC schemes using limited structural information, such as the number of flag qubits and quantum gates. Our analysis separates and quantifies two key contributors to the failure rate: decoding errors and residual errors arising from circuit-level faults. The derived bounds highlight fundamental limitations in Shor-style FT-QEC performance and quantify how circuit imperfections degrade error correction capabilities, under the assumption of depolarizing noise.
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.
Quantum computing is an exciting field that promises great improvements to our ability to solve certain intractable classes of problem. Implementing a quantum computer will require a physical system in which quantum effects are strongly evident. Many different physical systems have been proposed for this task, including ion traps, quantum dots, neutral atoms and photons. This thesis focuses on optical implementations of a quantum computer, and specifically on single-photon designs, as opposed to those utilising coherent states. Photonic systems have shown a great deal of promise for quantum computing tasks since it was shown by Knill, Laflamme and Milburn (KLM) that scalable efficient quantum computing could be performed using only linear optical elements and measurement. This was made viable through the use of error-correcting codes. The work in this thesis covers the use of error-correcting codes in single-photon linear optics quantum computing (LOQC). The central feature of these schemes is the parity code introduced by KLM and used to overcome the gate errors that are inherent in this type of LOQC. First is a discussion of an improved scheme that incorporates the fusion gates used in Browne and Rudolph's cluster state proposal in order to simplify the encoding and gate procedures. This results in high-probability gates with a resource usage comparable to the cluster state schemes. The remainder of the thesis examines the application of further error correcting codes to handle other errors that may arise in any practical implementation of an optical quantum computer. The most significant type of error in any optical system is photon loss, and hence an extension of the parity code is presented that allows loss errors to be detected and corrected. Procedures for performing universal quantum computation whilst employing this encoding are also described. These enable the establishment of loss thresholds for parity-state based LOQC, revealing this code is capable of handling up to 10\% loss in all elements during general computation, or 17\% if it is used solely as an active memory. Although loss is the most common type of optical error, other types of error will also become an issue when attempting to produce large quantum computing systems. An analysis of the error thresholds and resource usage which can be expected when applying a general error correcting code such as the Steane code to this type of LOQC system is also presented. The error thresholds and resource requirements established are greater than those found for cat state optical quantum computing, but fall below those calculated for cluster states. However, the resource requirements of the scheme are significantly smaller than the cluster state requirements for an equivalent circuit. Finally, a new experiment is proposed, achievable with today's technology, for testing the loss-tolerant encoding described earlier. Expansions of the experiment that would demonstrate tolerance of actual experimental error are also discussed.