Programmable Quantum Networks with Pure States

Modern classical computing devices, except of simplest calculators, have von Neumann architecture, i.e., a part of the memory is used for the program and a part for the data. It is likely, that analogues of such architecture are also desirable for the future applications in quantum computing, communications and control. It is also interesting for the modern theoretical research in the quantum information science and raises challenging questions about an experimental assessment of such a programmable models. Together with some progress in the given direction, such ideas encounter specific problems arising from the very essence of quantum laws. Currently are known two different ways to overcome such problems, sometime denoted as a stochastic and deterministic approach. The presented paper is devoted to the second one, that is also may be called the programmable quantum networks with pure states. In the paper are discussed basic principles and theoretical models that can be used for the design of such nano-devices, e.g., the conditional quantum dynamics, the Nielsen-Chuang "no-programming theorem, the idea of deterministic and stochastic quantum gates arrays. Both programmable quantum networks with finite registers and hybrid models with continuous quantum variables are considered. As a basic model for the universal programmable quantum network with pure states and finite program register is chosen a "Control-Shift" quantum processor architecture with three buses introduced in earlier works. It is shown also, that quantum cellular automata approach to the construction of an universal programmable quantum computer often may be considered as the particular case of such design.

[1]  Mikko Möttönen,et al.  Quantum circuits for general multiqubit gates. , 2004, Physical review letters.

[2]  Eugene P. Wigner,et al.  The Probability of the Existence of a Self-Reproducing Unit , 1997 .

[3]  S. Braunstein,et al.  Quantum computation over continuous variables , 1998 .

[4]  Robert R. Tucci A Rudimentary Quantum Compiler , 1998 .

[5]  Seth Lloyd,et al.  Universal Quantum Simulators , 1996, Science.

[6]  S. C. Benjamin Schemes for parallel quantum computation without local control of qubits , 2000 .

[7]  A. Vlasov Von Neumann Quantum Processors , 2003, quant-ph/0311196.

[8]  S. Benjamin,et al.  Optical quantum computation with perpetually coupled spins , 2004, quant-ph/0407063.

[9]  W. Zurek Decoherence, einselection, and the quantum origins of the classical , 2001, quant-ph/0105127.

[10]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[11]  W. Wootters,et al.  A single quantum cannot be cloned , 1982, Nature.

[12]  J. Preskill,et al.  Causal and localizable quantum operations , 2001, quant-ph/0102043.

[13]  V. Buzek,et al.  Implementation of quantum maps by programmable quantum processors , 2002, quant-ph/0205050.

[14]  R. Feynman Quantum mechanical computers , 1986 .

[15]  Paul Benioff QUANTUM ROBOTS AND ENVIRONMENTS , 1998 .

[16]  Tommaso Toffoli,et al.  Computation and Construction Universality of Reversible Cellular Automata , 1977, J. Comput. Syst. Sci..

[17]  Igor L. Markov,et al.  Minimal universal two-qubit controlled-NOT-based circuits (8 pages) , 2004 .

[18]  Universal quantum processors with arbitrary radix n , 2001, OFC 2001.

[19]  R. Cleve An Introduction to Quantum Complexity Theory , 1999, quant-ph/9906111.

[20]  Noam Nisan,et al.  Quantum circuits with mixed states , 1998, STOC '98.

[21]  Simon C Benjamin,et al.  Quantum computing with an always-on Heisenberg interaction. , 2002, Physical review letters.

[22]  Quantum mechanical Universal constructor , 2003, quant-ph/0303124.

[23]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[24]  Hybrid classical-quantum dynamics , 2000, quant-ph/0008068.

[25]  Wojciech H. Zurek,et al.  Decoherence, einselection and the existential interpretation (the rough guide) , 1998, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[26]  Simon C. Benjamin Multi-qubit gates in arrays coupled by 'always-on' interactions , 2004 .

[27]  D. Deutsch Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[28]  A. Ekert,et al.  Universality in quantum computation , 1995, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[29]  Alexander Yu. Vlasov,et al.  Clifford algebras and universal sets of quantum gates , 2001 .

[30]  J. Cirac,et al.  Storing quantum dynamics in quantum states: a stochastic programmable gate. , 2001, Physical review letters.

[31]  S. Lloyd Hybrid Quantum Computing , 2000, quant-ph/0008057.

[32]  R. Werner,et al.  Reversible quantum cellular automata , 2004, quant-ph/0405174.

[33]  N. Margolus,et al.  Invertible cellular automata: a review , 1991 .

[34]  Alexander Yu. Vlasov Classical programmability is enough for quantum circuits universality in approximate sense , 2001 .

[35]  V. Buzek,et al.  Probabilistic implementation of universal quantum processors , 2001, quant-ph/0106088.

[36]  J. Cirac,et al.  Storage of quantum dynamics on quantum states: a quasi-perfect programmable quantum gate , 2000, quant-ph/0012067.

[38]  Robert Raussendorf Quantum cellular automaton for universal quantum computation , 2005 .

[39]  Error Correction with Euclidean Qubits , 1999, quant-ph/9911074.

[40]  A. Yu. Vlasov,et al.  UNIVERSAL HYBRID QUANTUM PROCESSORS , 2003 .

[41]  Alexander Yu. Vlasov,et al.  Quantum processors and controllers , 2003, 2003 IEEE International Workshop on Workload Characterization (IEEE Cat. No.03EX775).

[42]  Nondeterministic Recursion with Quantum Units , 2004 .

[43]  I. Chuang,et al.  Programmable Quantum Gate Arrays , 1997, quant-ph/9703032.

[44]  DiVincenzo Two-bit gates are universal for quantum computation. , 1994, Physical review. A, Atomic, molecular, and optical physics.

[45]  D. Deutsch Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[46]  Herman H. Goldstine,et al.  Preliminary discussion of the logical design of an electronic computing instrument (1946) , 1989 .

[47]  Alexander Yu. Vlasov,et al.  On Quantum Cellular Automata , 2004, ArXiv.

[48]  Barenco,et al.  Conditional Quantum Dynamics and Logic Gates. , 1995, Physical review letters.

[49]  C. Fuchs,et al.  Entanglement of Formation of an Arbitrary State of Two Rebits , 2000, quant-ph/0009063.