Quantum Computing with Very Noisy Devices

There are quantum algorithms that can efficiently simulate quantum physics, factor large numbers and estimate integrals. As a result, quantum c omputers can solve otherwise intractable computational problems. One of the main problems of experimental quantum computing is to preserve fragile quantum states in the prese nce of errors. It is known that if the needed elementary operations (gates) can be implemen t d with error probabilities below a threshold, then it is possible to efficiently quantum compute with arbitrary accuracy. Here we give evidence that for independent errors the theore tical threshold is well above3 %, which is a significant improvement over that of earlier calculations. However, the resources required at such high error probabilities are excessive. Fo rtunately, they decrease rapidly with decreasing error probabilities. If we had quantum resources comparable to the considerable resources available in today’s digital computer s, we could implement non-trivial quantum algorithms at error probabilities as high as1 % per gate. Research in quantum computing is motivated by the great incr ease in computational power offered by quantum computers. 1–3 There is a large and still growing number of experimental eff orts whose ultimate goal is to demonstrate scalable quantum comp uting. Scalable quantum computing requires that arbitrarily large computations can be efficie ntly implemented with little error in the output. Criteria that need to be satisfied by devices used for scalable quantum computing have been specified by DiVincenzo. 4 One of the criteria is that the level of noise affecting the ph ysical gates is sufficiently low. The type of noise affecting the gat es in a given implementation is called the “error model”. A scheme for scalable quantum computing i n the presence of noise is called a “fault-tolerant architecture”. In view of the criterion ab ove, studies of scalable quantum computing involve constructing fault-tolerant architectures and pr oviding answers to questions such as the following: Q1: Is scalable quantum computing possible for e rror modelE? Q2: Can fault-tolerant architectureA be used for scalable quantum computing with error model E? Q3: What resources are required to implement quantum computation C using fault-tolerant architecture A with error modelE? To obtain broadly applicable results, fault-tolerant arch itectures are constructed for generic error models. Here, the error model is parametrized by an err or p obability per gate (or simply error per gate, EPG), where the errors are unbiased and indep e nt. The fundamental theorem of scalable quantum computing is the threshold theorem and a nswers question Q1 as follows: If

[1]  R. Feynman Simulating physics with computers , 1999 .

[2]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[3]  Ekert,et al.  "Event-ready-detectors" Bell experiment via entanglement swapping. , 1993, Physical review letters.

[4]  Peter W. Shor,et al.  Fault-tolerant quantum computation , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[5]  Christof Zalka Threshold Estimate for Fault Tolerant Quantum Computation , 1996 .

[6]  Charles H. Bennett,et al.  Mixed-state entanglement and quantum error correction. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[7]  Schumacher,et al.  Sending entanglement through noisy quantum channels. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[8]  A. Kitaev Quantum computations: algorithms and error correction , 1997 .

[9]  Daniel Gottesman,et al.  Stabilizer Codes and Quantum Error Correction , 1997, quant-ph/9705052.

[10]  R. Cleve,et al.  Efficient computations of encodings for quantum error correction , 1996, quant-ph/9607030.

[11]  Dorit Aharonov,et al.  Fault-tolerant quantum computation with constant error , 1997, STOC '97.

[12]  J. Preskill Reliable quantum computers , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[13]  E. Knill,et al.  Resilient quantum computation: error models and thresholds , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[14]  A. Steane Space, Time, Parallelism and Noise Requirements for Reliable Quantum Computing , 1997, quant-ph/9708021.

[15]  E. Knill,et al.  Resilient Quantum Computation , 1998 .

[16]  P. Shor,et al.  QUANTUM-CHANNEL CAPACITY OF VERY NOISY CHANNELS , 1997, quant-ph/9706061.

[17]  D. Bruß,et al.  Optimal universal and state-dependent quantum cloning , 1997, quant-ph/9705038.

[18]  Isaac L. Chuang,et al.  Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations , 1999, Nature.

[19]  Andrew M. Steane Efficient fault-tolerant quantum computing , 1999, Nature.

[20]  Ashish V. Thapliyal,et al.  Entanglement-Assisted Classical Capacity of Noisy Quantum Channels , 1999, Physical Review Letters.

[21]  Colin P. Williams,et al.  Fast Quantum Algorithms for Numerical Integrals and Stochastic Processes , 1999 .

[22]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[23]  David P. DiVincenzo,et al.  A pr 2 00 0 The Physical Implementation of Quantum Computation , 2000 .

[24]  D. DiVincenzo,et al.  The Physical Implementation of Quantum Computation , 2000, quant-ph/0002077.

[25]  R. Martinez,et al.  An algorithmic benchmark for quantum information processing , 2000, Nature.

[26]  D. Leung,et al.  Methodology for quantum logic gate construction , 2000, quant-ph/0002039.