Using a numerical simulation of the evolution of a qubit interacting with the environment we show that quantum error detection and correction can work effectively even when the recovery procedure introduces errors.
Certain physical aspects of quantum error correction are discussed for a quantum computer (n-qubit register) in contact with a decohering environment. Under rather plausible assumptions upon the form of the computer-environment interaction, the efficiency of a general correcting procedure is evaluated as a function of the spontaneous-decay duration and the rank of errors covered by the procedure. It is proved that the probability of errors can be made arbitrarily small by enhancing the correction method, provided the decohering interaction is represented by a bounded operator.
The new field of quantum error correction has developed spectacularly since its origin less than two years ago. Encoded quantum information can be protected from errors that arise due to uncontrolled interactions with the environment. Recovery from errors can work effectively even if occasional mistakes occur during the recovery procedure. Furthermore, encoded quantum information can be processed without serious propagation of errors. Hence, an arbitrarily long quantum computation can be performed reliably, provided that the average probability of error per quantum gate is less than a certain critical value, the accuracy threshold. A quantum computer storing about 106 qubits, with a probability of error per quantum gate of order 10–6, would be a formidable factoring engine. Even a smaller less–accurate quantum computer would be able to perform many useful tasks. This paper is based on a talk presented at the ITP Conference on Quantum Coherence and Decoherence, 15 to 18 December 1996.
All physical systems that provide a good template for the implementation of qubits and quantum gates suffer from some degree of decoherence. The reason is simple: no physical system exists in complete isolation; if it did exist, it would be useless for quantum computing since you would not be able to interact with it! Any physical system, even when well protected, will eventually interact with its environment in a way that we cannot predict or completely control. As a result, coherence, which is essential for quantum information processing, is progressively lost. In the field of quantum computation, it was realized early on that strategies must be employed to mitigate not only imprecisions in the instrumentation but also errors associated to decoherence and relaxation due to interactions with the environment. These strategies, when employed at the quantum circuit level, are called quantum error correction (QEC).
In order to stabilize quantum algorithms against decoherence one has to fulfill two requirements. Firstly, one has to develop an appropriate quantum error correcting code. Secondly, one has to find a set of suitable unitary quantum transformations acting on the physical qubits which preserve the properties of this error correcting quantum code and which allow the implementation of a universal set of quantum gates. This is a challenging task in particular if we restrict ourselves to a limited class of two-particle interactions by which the physical qubits can be controlled. For the special cases of four and six physical qubits we discuss a set of such quantum gates which satisfy these two conditions for the recently developed detected-jump correcting quantum codes [1]. These quantum codes are capable of stabilizing distinguishable qubits against decoherence arising from spontaneous decay processes.
A mathematical model of computation is an idealized abstraction. We design algorithms and perform analysis on the assumption that the mathematical operations we specify will be carried out exactly, and without error. Physical devices that implement an abstract model of computation are imperfect and of limited precision. For example, when a digital circuit is implemented on a physical circuit board, unwanted electrical noise in the environment may cause components to behave differently than expected, and may cause voltage levels (bit-values) to change. These sources of error must be controlled or compensated for, or else the resulting loss of efficiency may reduce the power of the information-processing device. If individual steps in a computation succeed with probability p, then a computation involving t sequential steps will have a success probability that decreases exponentially as pt. Although it may be impossible to eliminate the sources of errors, we can devise schemes to allow us to recover from errors using a reasonable amount of additional resources. Many classical digital computing devices use error-correcting codes to perform detection of and recovery from errors. The theory of error-correcting codes is itself a mathematical abstraction, but it is one that explicitly accounts for errors introduced by the imperfection and imprecision of realistic devices. This theory has proven extremely effective in allowing engineers to build computing devices that are resilient against errors. Quantum computers are more susceptible to errors than classical digital computers, because quantum mechanical systems are more delicate and more difficult to control. If large-scale quantum computers are to be possible, a theory of quantum error correction is needed. The discovery of quantum error correction has given researchers confidence that realistic large-scale quantum computing devices can be built despite the presence of errors. We begin by considering fundamental concepts for error correction in a classical setting. We will focus on three of these concepts: (a) the characterization of the error model, (b) the introduction of redundancy through encoding, and (c) an error recovery procedure. We will later see that these concepts generalize quite naturally for quantum error correction.
Quantum technologies have shown immeasurable potential to effectively solve several information processing tasks such as prime number factorization, unstructured database search or complex macromolecule simulation. As a result of such capability to solve certain problems that are not classically tractable, quantum machines have the potential revolutionize the modern world via applications such as drug design, process optimization, unbreakable communications or machine learning. However, quantum information is prone to suffer from errors caused by the so-called decoherence, which describes the loss in coherence of quantum states associated to their interactions with the surrounding environment. This decoherence phenomenon is present in every quantum information task, be it transmission, processing or even storage of quantum information. Consequently, the protection of quantum information via quantum error correction codes (QECC) is of paramount importance to construct fully operational quantum computers. Understanding environmental decoherence processes and the way they are modeled is fundamental in order to construct effective error correction methods capable of protecting quantum information. In this thesis, the nature of decoherence is studied and mathematically modelled; and QECCs are designed and optimized so that they exhibit better error correction capabilities.