Quantum error correction

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Quantum error correction (QEC) is used in quantum computing to protect quantum information from errors due to decoherence and other quantum noise. Quantum error correction is essential if one is to achieve fault-tolerant quantum computation that can deal not only with noise on stored quantum information, but also with faulty quantum gates, faulty quantum preparation, and faulty measurements.

Classical error correction employs redundancy. The simplest way is to store the information multiple times, and—if these copies are later found to disagree—just take a majority vote; e.g. Suppose we copy a bit three times. Suppose further that a noisy error corrupts the three-bit state so that one bit is equal to zero but the other two are equal to one. If we assume that noisy errors are independent and occur with some probability p, it is most likely that the error is a single-bit error and the transmitted message is three ones. It is possible that a double-bit error occurs and the transmitted message is equal to three zeros, but this outcome is less likely than the above outcome.

Copying quantum information is not possible due to the no-cloning theorem. This theorem seems to present an obstacle to formulating a theory of quantum error correction. But it is possible to spread the information of one qubit onto a highly entangled state of several (physical) qubits. Peter Shor first discovered this method of formulating a quantum error correcting code by storing the information of one qubit onto a highly entangled state of nine qubits. A quantum error correcting code protects quantum information against errors of a limited form.

Classical error correcting codes use a syndrome measurement to diagnose which error corrupts an encoded state. We then reverse an error by applying a corrective operation based on the syndrome. Quantum error correction also employs syndrome measurements. We perform a multi-qubit measurement that does not disturb the quantum information in the encoded state but retrieves information about the error. A syndrome measurement can determine whether a qubit has been corrupted, and if so, which one. What is more, the outcome of this operation (the syndrome) tells us not only which physical qubit was affected, but also, in which of several possible ways it was affected. The latter is counter-intuitive at first sight: Since noise is arbitrary, how can the effect of noise be one of only few distinct possibilities? In most codes, the effect is either a bit flip, or a sign (of the phase) flip, or both (corresponding to the Pauli matrices X, Z, and Y). The reason is that the measurement of the syndrome has the projective effect of a quantum measurement. So even if the error due to the noise was arbitrary, it can be expressed as a superposition of basis operations—the error basis (which is here given by the Pauli matrices and the identity). The syndrome measurement "forces" the qubit to "decide" for a certain specific "Pauli error" to "have happened", and the syndrome tells us which, so that we can let the same Pauli operator act again on the corrupted qubit to revert the effect of the error.

The syndrome measurement tells us as much as possible about the error that has happened, but nothing at all about the value that is stored in the logical qubit—as otherwise the measurement would destroy any quantum superposition of this logical qubit with other qubits in the quantum computer.

The bit flip code[edit]

The repetition code works in a classical channel, because classical bits are easy to measure and to repeat. However, in a quantum channel, it is no longer possible, due to the no-cloning theorem, which forbids the creation of identical copies of an arbitrary unknown quantum state. So a single qubit cannot be repeated three times as in the previous example, as any measurement of the qubit will change its wave function. Nevertheless, in quantum computing there is another method, namely the three qubit bit flip code. It uses entanglement and syndrome measurements and is comparable in performance with the repetition code.

Quantum circuit of the bit flip code

Consider the situation in which we want to transmit the state of a single qubit through a noisy channel . Let us moreover assume that this channel either flips the state of the qubit, with probability , or leaves it unchanged. The action of on a general input can therefore be written as .

Let be the quantum state to be transmitted. With no error correcting protocol in place, the transmitted state will be correctly transmitted with probability . We can however improve on this number by encoding the state into a greater number of qubits, in such a way that errors in the corresponding logical qubits can be detected and corrected. In the case of the simple three-qubit repetition code, the encoding consists in the mappings and . The input state is encoded into the state . This mapping can be realized for example using two CNOT gates, entangling the system with two ancillary qubits initialized in the state .[1] The encoded state is what is now passed through the noisy channel.

The channel acts on by flipping some subset (possibly empty) of its qubits. No qubit is flipped with probability , a single qubit is flipped with probability , two qubits are flipped with probability , and all three qubits are flipped with probability . Note that a further assumption about the channel is made here: we assume that acts equally and independently on each of the three qubits in which the state is now encoded. The problem is now how to detect and correct such errors, without at the same time corrupting the transmitted state.

Let us assume for simplicity that is small enough that the probability of more than a single qubit being flipped is negligible. One can then detect whether a qubit was flipped, without also querying for the values being transmitted, by asking whether one of the qubits differs from the others. This amounts to performing a measurement with four different outcomes, corresponding to the following four projective measurements:

Comparison of output minimum fidelities with (blue) and without (red) error correction with the three qubit bit flip code. Notice how, for , the error correction results in better results.

This can be achieved for example by measuring and then . This reveals which qubits are different from which others, without at the same time giving information about the state of the qubits themselves. If the outcome corresponding to is obtained, no correction is applied, while if the outcome corresponding to is observed, then the Pauli X gate is applied to the -th qubit. Formally, this correcting procedure corresponds to the application of the following map to the output of the channel:

Note that, while this procedure perfectly corrects the output when zero or one flips are introduced by the channel, if more than one qubit is flipped then the output is not properly corrected. For example, if the first and second qubits are flipped, then the syndrome measurement gives the outcome , and the third qubit is flipped, instead of the first two. To assess the performance of this error correcting scheme for a general input we can study the fidelity between the input and the output . Being the output state correct when no more than one qubit is flipped, which happens with probability , we can write it as , where the dots denote components of resulting from errors not properly corrected by the protocol. It follows that
This fidelity is to be compared with the corresponding fidelity obtained when no error correcting protocol is used, which was shown before to equal . A little algebra then shows that the fidelity after error correction is greater than the one without for . Note that this is consistent with the working assumption that was made while deriving the protocol (of being small enough).

The sign flip code[edit]

Quantum circuit of the phase flip code

Flipped bits are the only kind of error in classical computer, but there is another possibility of an error with quantum computers, the sign flip. Through the transmission in a channel the relative sign between and can become inverted. For instance, a qubit in the state may have its sign flip to

The original state of the qubit

will be changed into the state

In the Hadamard basis, bit flips become sign flips and sign flips become bit flips. Let be a quantum channel that can cause at most one phase flip. Then the bit flip code from above can recover by transforming into the Hadamard basis before and after transmission through .

The Shor code[edit]

The error channel may induce either a bit flip, a sign flip, or both. It is possible to correct for both types of errors using one code, and the Shor code does just that. In fact, the Shor code corrects arbitrary single-qubit errors.

Quantum circuit of the Shor code

Let be a quantum channel that can arbitrarily corrupt a single qubit. The 1st, 4th and 7th qubits are for the sign flip code, while the three group of qubits (1,2,3), (4,5,6), and (7,8,9) are designed for the bit flip code. With the Shor code, a qubit state will be transformed into the product of 9 qubits , where

If a bit flip error happens to a qubit, the syndrome analysis will be performed on each set of states (1,2,3), (4,5,6), and (7,8,9), then correct the error.

If the three bit flip group (1,2,3), (4,5,6), and (7,8,9) are considered as three inputs, then the Shor code circuit can be reduced as a sign flip code. This means that the Shor code can also repair sign flip error for a single qubit.[2]

The Shor code also can correct for any arbitrary errors (both bit flip and sign flip) to a single qubit. If an error is modeled by a unitary transform U, which will act on a qubit , then can be described in the form

where ,,, and are complex constants, I is the identity, and the Pauli matrices are given by

If U is equal to I, then no error occurs. If , a bit flip error occurs. If , a sign flip error occurs. If then both a bit flip error and a sign flip error occur. Due to linearity, it follows that the Shor code can correct arbitrary 1-qubit errors.[clarification needed]

General codes[edit]

In general, a quantum code for a quantum channel is a subspace , where is the state Hilbert space, such that there exists another quantum channel with

where is the orthogonal projection onto . Here is known as the correction operation.

A non-degenerate code is one for which different elements of the set of correctable errors produce linearly independent results when applied to elements of the code. If distinct of the set of correctable errors produce orthogonal results, the code is considered pure.[3]


Over time, researchers have come up with several codes:

That these codes allow indeed for quantum computations of arbitrary length is the content of the threshold theorem, found by Michael Ben-Or and Dorit Aharonov, which asserts that you can correct for all errors if you concatenate quantum codes such as the CSS codes—i.e. re-encode each logical qubit by the same code again, and so on, on logarithmically many levels—provided the error rate of individual quantum gates is below a certain threshold; as otherwise, the attempts to measure the syndrome and correct the errors would introduce more new errors than they correct for.

As of late 2004, estimates for this threshold indicate that it could be as high as 1-3%,[4] provided that there are sufficiently many qubits available.

Experimental realization[edit]

There have been several experimental realizations of CSS-based codes. The first demonstration was with NMR qubits.[5] Subsequently, demonstrations have been made with linear optics,[6] trapped ions,[7][8] and superconducting (transmon) qubits.[9]

Other error correcting codes have also been implemented, such as one aimed at correcting for photon loss, the dominant error source in photonic qubit schemes.[10]

See also[edit]


  1. ^ Michael A. Nielsen and Isaac L. Chuang (2000). "Quantum Computation and Quantum Information". Cambridge University Press. 
  2. ^ W.Shor, Peter (1995). "Scheme for reducing decoherence in quantum computer memory". AT&T Bell Laboratories. 
  3. ^ A.R.Calderbank E.M.Rains P.W.Shor and N.J.A.Sloane "Quantum Error Correction Via Codes Over GF(4)"IEEE.Transactions on Information Theory,Vol.44,No.4,July 1998
  4. ^ Knill, Emanuel (November 2, 2004). "Quantum Computing with Very Noisy Devices". Nature. 434: 39–44. arXiv:quant-ph/0410199Freely accessible. Bibcode:2005Natur.434...39K. doi:10.1038/nature03350. 
  5. ^ D. G. Cory, M. D. Price, W. Maas, E. Knill, R. Laflamme, W. H. Zurek, T. F. Havel and S. S. Somaroo, "Experimental Quantum Error Correction," Phys. Rev. Lett. 81, 2152–2155 (1998), doi:10.1103/PhysRevLett.81.2152
  6. ^ Pittman, T. B.; Jacobs, B. C.; Franson, J. D. (2005). "Demonstration of quantum error correction using linear optics". Phys. Rev. A. 71: 052332. arXiv:quant-ph/0502042Freely accessible. Bibcode:2005PhRvA..71e2332P. doi:10.1103/PhysRevA.71.052332. 
  7. ^ Chiaverini, J.; Leibfried, D.; Schaetz, T.; Barrett, M. D.; Blakestad, R. B.; Britton, J.; Itano, W. M.; Jost, J. D.; Knill, E.; Langer, C.; Ozeri, R.; Wineland, D. J. (2004). "Realization of quantum error correction". Nature. 432: 602–605. Bibcode:2004Natur.432..602C. doi:10.1038/nature03074. 
  8. ^ Schindler, P.; Barreiro, J. T.; Monz, T.; Nebendahl, V.; Nigg, D.; Chwalla, M.; Hennrich, M.; Blatt, R. (2011). "Experimental Repetitive Quantum Error Correction". Science. 332: 1059–1061. Bibcode:2011Sci...332.1059S. doi:10.1126/science.1203329. 
  9. ^ Reed, M. D.; DiCarlo, L.; Nigg, S. E.; Sun, L.; Frunzio, L.; Girvin, S. M.; Schoelkopf, R. J. (2012). "Realization of Three-Qubit Quantum Error Correction with Superconducting Circuits". Nature. 482: 382–385. arXiv:1109.4948Freely accessible. Bibcode:2012Natur.482..382R. doi:10.1038/nature10786. 
  10. ^ Lassen, M.; Sabuncu, M.; Huck, A.; Niset, J.; Leuchs, G.; Cerf, N. J.; Andersen, U. L. (2010). "Quantum optical coherence can survive photon losses using a continuous-variable quantum erasure-correcting code". Nature Photonics. 4: 700. arXiv:1006.3941Freely accessible. Bibcode:2010NaPho...4..700L. doi:10.1038/nphoton.2010.168. 


  • Daniel Lidar and Todd Brun, ed. (2013). "Quantum Error Correction". Cambridge University Press. 
  • Frank Gaitan (2008). "Quantum Error Correction and Fault Tolerant Quantum Computing". Taylor & Francis. 

External links[edit]