Using HDLs for describing quantum circuits: A framework for efficient quantum algorithm simulation

2004 Computing Frontiers Conference

Volumn , Issue , 2004, Pages 96-110

  Udrescu, Mihai ^a   Prodan, Lucian ^a   Vlǎdutiu, Mircea ^a  

^a POLITEHNICA UNIVERSITY OF TIMISOARA   (Romania)

Author keywords

Bubble Logic; Entanglement; Hardware Description Languages; Quantum Algorithms; Quantum Circuits; Simulation; Views

Indexed keywords

AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; LOGIC DEVICES; QUANTUM ELECTRONICS;

ALGORITHM SIMULATORS; BUBBLE LOGIC; ENTANGLEMENT; QUANTUM ALGORITHMS; QUANTUM CIRCUITS; VIEWS;

QUANTUM THEORY;

EID: 4143105868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Ashenden, P.J. The Designer's guide to VHDL (second edition). Morgan Kaufmann Publishers (2001).
2. Barenco, A., Bennett, C.H., Cleve R., DiVincenzo, D., Margolus N., Shor, P., Sleator T., Smolin J., and Weinfurter, H. Elementary gates for quantum computation. Phys. Rev. A 52, 3457-3467 (1995), quant-ph/9503016.
3. Bernstein E., Vazirani, U. Quantum Complexity Theory. SIAM J. Computing 26, 1411-73 (1997).
4. Boyer, M., Brassard, G., Hoyer, P., Tapp, A. Tight bounds on quantum searching. Fortsch. Phys. - Prog.Phys., 46(4-5):493-505 (1998).
5. Bransden, B.H., Joachain, C.J. Introduction to Quantum Mechanics. Addison-Wesley Longman Ltd. (1989).
6. Coppersmith, D. An approximate Fourier transform useful in quantum factoring. IBM Research Report RC 19642 (1994).
7. De Micheli, G. Design and Optimization of Digital Circuits. McGraw-Hill, (1996).
8. Deutsch, D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A 400, 97 (1985).
9. Deutsch, D. Quantum computational networks. Proceedings Royal Society London A 425, 73 (1989).
10. Deutsch D., and Jozsa, R. Rapid Solution of Problems by Quantum Computation. Proc. R. Soc. London A, 439:553 (1992).
11. Ekert, A., Jozsa, R. Quantum Algorithms: Entanglement Enhanced Information Processing. Phil Trans Roy Soc Lond A, pages 1779-1782 (1998).
12. Grover, L.K. Proc. 28th Annual ACM Symposium on the Theory of Computation, pp.212-219, ACM Press, (1996).
13. Hales, L, and Hallgren, S. An Improved Quantum Fourier Transform Algorithm and Applications. 41st Annual Symposium on Foundations of Computer Science (FOCS) Redondo Beach CA (2000).
14. Lenstra, A.K., Lenstra, H.W., Manasse, M.S., and Pollard, J.M. The Number Field Sieve. In Proceedings of the 22nd Annual ACM Symposium on the Theory of Computation, pages 564-572, (1990).
15. Moore, C. Quantum Circuits: Fanout, Parity, and Counting. Los Alamos Preprint Archives (1999), quantph/9903046.
16. Nielsen, M.A., and Chuang, I.L. Programmable Quantum Gate Arrays. Phys. Rev. Lett. 79, 321-324 (1997).
17. Nielsen, M.A., and Chuang, I.L. Quantum Computation and Quantum Information. Cambridge University Press (2000).
18. Obenland, K.M., and Despain, A. Simulating the Effect of Decoherence and Inaccuracies on a Quantum Computer. Proc. 1st NASA Conference on Quantum Computation and Quantum Communication (1998).
19. Omer, B. Quantum Programming in QCL. Technical Report, Institute of Information Systems, Technical University of Vienna (2000).
20. Parhami, B. Computer Arithmetic. Algorithms and Hardware Designs. Oxford University Press, (2000).
21. Parker, S., and Plenio, M.B. Entanglement Simulations of Shor's Algorithm. J. Mod. Opt., Vol. 49, Nr. 8 pp. 1325-1353 (2002)
22. Preskill, J. Reliable Quantum Computers. Proc. Roy. Soc. London A for the Proc. of Santa Barbara Conference on Quantum Coherence and Decoherence (1996).
23. Preskill, J. Quantum Computation. Course Handouts, http://www.theory. caltech.edu/people/preskill/ph229/.
24. Shor, P.W. Algorithms for Quantum Computation: Discrete Logarithms and Factoring.", Proc. 35th Symp. on Foundations of Computer Science 124-134 (1994).
25. Svozil, K. Quantum computation and complexity theory. Course given at the Institut fur Informationssysteme, Abteilung for Datenbanken und Expertensysteme, University of Technology Vienna (1994) hep-th/9412047
26. Toffoli, T. Reversible Computing. Automata, Languages and Programming, eds. J.W. de Bakker and J. van Leeuwen. Springer New York, (1980).
27. Udrescu, M., Prodan, L., and Vlǎdutiu, M. A New Perspective in Simulating Quantum Circuits. LBP Proc. GECCO, pp 284-289 (Chicago, July 2003).
28. Vedral, V., Barenco, A., and Ekert, A. Quantum Networks for Elementary Arithmetic Operations. Online preprint quant-ph/9511018, (1996).
29. Viamontes, G., Rajagopalan, M., Markov, I., and Hayes, J.P. Gate-Level Simulation of Quantum Circuits. Proc. ASP Design Automation Conference, pp.295-301, (2003).