On the Robustness of Bucket Brigade Quantum RAM

We study the robustness of the bucket brigade quantum random access memory model introduced by Giovannetti, Lloyd, and Maccone [Phys. Rev. Lett., 2008]. Due to a result of Regev and Schiff [ICALP, 2008], we show that for a class of error models the error rate per gate in the bucket brigade quantum memory has to be of order o(2^{-n/2}) (where N=2^n is the size of the memory) whenever the memory is used as an oracle for the quantum searching problem. We conjecture that this is the case for any realistic error model that will be encountered in practice, and that for algorithms with super-polynomially many oracle queries the error rate must be super-polynomially small, which further motivates the need for quantum error correction. We introduce a circuit model for the quantum bucket brigade architecture and argue that quantum error correction for the circuit causes the quantum bucket brigade architecture to lose its primary advantage of a small number of "active" gates, since all components have to be actively error corrected.

[1]  Ronald de Wolf,et al.  Quantum Search on Bounded-Error Inputs , 2003, ICALP.

[2]  Shor,et al.  Scheme for reducing decoherence in quantum computer memory. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[3]  Gilles Brassard,et al.  Quantum cryptanalysis of hash and claw-free functions , 1997, SIGA.

[4]  A. Kitaev,et al.  Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages) , 2004, quant-ph/0403025.

[5]  A. Steane Multiple-particle interference and quantum error correction , 1996, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[6]  Raymond Laflamme,et al.  Using concatenated quantum codes for universal fault-tolerant quantum gates. , 2013, Physical review letters.

[7]  Liron Schiff,et al.  Impossibility of a Quantum Speed-Up with a Faulty Oracle , 2008, ICALP.

[8]  A.M. Davis,et al.  Microelectronic circuits , 1983, Proceedings of the IEEE.

[9]  Greg Kuperberg A Subexponential-Time Quantum Algorithm for the Dihedral Hidden Subgroup Problem , 2005, SIAM J. Comput..

[10]  Richard C. Jaeger,et al.  Microelectronic Circuit Design , 1996 .

[11]  Seth Lloyd,et al.  Quantum random access memory. , 2007, Physical review letters.

[12]  Michele Mosca,et al.  Quantum Networks for Generating Arbitrary Quantum States , 2001, OFC 2001.

[13]  S. Lloyd,et al.  Quantum algorithms for supervised and unsupervised machine learning , 2013, 1307.0411.

[14]  H. Bombin Optimal Transversal Gates under Geometric Constraints , 2013 .

[15]  Lov K. Grover,et al.  Creating superpositions that correspond to efficiently integrable probability distributions , 2002, quant-ph/0208112.

[16]  Adam Paetznick,et al.  Universal fault-tolerant quantum computation with only transversal gates and error correction. , 2013, Physical review letters.

[17]  Raymond Laflamme,et al.  An Introduction to Quantum Computing , 2007, Quantum Inf. Comput..

[18]  Steane,et al.  Error Correcting Codes in Quantum Theory. , 1996, Physical review letters.

[19]  Daniel A. Spielman,et al.  Exponential algorithmic speedup by a quantum walk , 2002, STOC '03.

[20]  S. Lloyd,et al.  Architectures for a quantum random access memory , 2008, 0807.4994.