A layered software architecture for quantum computing design tools

Computer

Volumn 39, Issue 1, 2006, Pages 74-83

  Svore, Krysta M ^a   Aho, Alfred V ^a   Cross, Andrew W ^b,c   Chuang, Isaac ^b,c   Markov, Igor L ^d  

^a Columbia University ^*  (United States)

^b USA   (United States)

^c MIT MEDIA LAB   (United States)

^d UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER-AIDED DESIGN TOOLS; DESIGN FLOW; NANOSCALE QUANTUM-MECHANICAL SYSTEMS; QUANTUM ALGORITHMS; QUANTUM ASSEMBLY PROGRAMS; SOFTWARE ARCHITECTURE;

ALGORITHMS; COMPUTER AIDED DESIGN; ERROR CORRECTION; OPTIMIZATION; PROGRAM ASSEMBLERS; PROGRAM COMPILERS;

COMPUTER ARCHITECTURE;

EID: 31944436091     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.4     Document Type: Article

References (13)

1. M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information, Cambridge Univ. Press, 2000.
2. S. Bettelli, T. Calarco, and L. Serafini, "Toward an Architecture for Quantum Programming," The European Physics J. D, vol. 25, no. 2, 2003, pp. 181-200.
3. B. Ömer, "A Procedural Formalism for Quantum Computing," doctoral dissertation, Dept. Theoretical Physics, Technical Univ. of Vienna, 1998.
4. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986.
5. V.V. Shende, S.S. Bullock, and I.L. Markov, "Synthesis of Quantum Logic Circuits," to appear in IEEE Trans. Computer-Aided Design of Integrated Circuits, 2006; http://arxiv.org/abs/quant-ph/0406176.
6. V.V. Shende, I.L. Markov, and S.S. Bullock, "Finding Small Two-Qubit Circuits," Proc. SPIE, vol. 5436, Apr. 2004, pp. 348-359.
7. L.K. Grover, "A Fast Quantum Mechanical Algorithm for Database Search," Proc. 28th Ann. ACM Symp. Theory of Computing, ACM Press, 1996, pp. 212-219.
8. P.W. Shor, "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer," SIAM J. Computing, vol. 26, no. 5, 1997, pp. 1484-1509.
9. S. Aaronson and D. Gottesman, "Improved Simulation of Stabilizer Circuits," Physical Rev. A, vol. 70, no. 5, 2004; www.scottaaronson.com/papers/chp5.pdf.
10. G.F. Viamontes, I.L. Markov, and J.P. Hayes, "Graph-Based Simulation of Quantum Computation in the State-Vector and Density-Matrix Representation," Quantum Information and Computation, vol. 5, no. 2, 2005, pp. 113-130.
11. J. von Neumann, "Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components," Automata Studies, C.E. Shannon and J. McCarthy, eds., Princeton Univ. Press, 1956, pp. 329-378.
12. D. Aharonov and M. Ben-Or, "Fault-Tolerant Computation with Constant Error," Proc. 29th Ann. ACM Symp. Theory of Computing, ACM Press, 1997, pp. 176-188.
13. K.M. Svore, B.M. Terhal, and D.P. DiVincenzo, "Local Fault-Tolerant Quantum Computation," Physical Rev. A, vol. 72, no. 5, 2005; http://arxiv.org/abs/quant-ph/0410047.