Quantum circuit simplification and level compaction

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 27, Issue 3, 2008, Pages 436-444

  Maslov, Dmitri ^b   Dueck, Gerhard W ^a,c   Miller, D Michael ^a,d   Negrevergne, Camille ^b  

^a IEEE

^b UNIVERSITY OF WATERLOO   (Canada)

^c UNIVERSITY OF NEW BRUNSWICK   (Canada)

^d UNIVERSITY OF VICTORIA   (Canada)

Author keywords

Circuit optimization; Quantum circuits; Time optimization

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; DIGITAL CIRCUITS; OPTIMIZATION;

CIRCUIT OPTIMIZATION; QUANTUM CIRCUITS; TIME OPTIMIZATION;

QUANTUM COMPUTERS;

EID: 39749119848     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2007.911334     Document Type: Conference Paper

References (26)

1. M. Asano and C. Ishii, New Structural Quantum Circuit Simulating a Toffoli Gate, 2005. quant-ph/0512016.
2. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVinchenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, "Elementary gates for quantum computation,"Phys. Rev. A, Gen. Phys., vol. 52, no. 5, pp. 3457-3467, Nov. 1995.
3. G. Brassard, P. Høyer, M. Mosca, and A. Tapp, Quantum Amplitude Amplification and Estimation, 2000. quant-ph/0005055.
4. D. G. Cory, R. Laflamme, E. Knill, L. Viola, T. F. Havel, N. Boulant, G. Boutis, E. Fortunato, S. Lloyd, R. Martinez, C. Negrevergne, M. Pravia, Y. Sharf, G. Teklemariam, Y. S. Weinstein, and W. H. Zurek, NMR Based Quantum Information Processing: Achievements and Prospects, 2000. quant-ph/0004104.
5. T. G. Draper, S. A. Kutin, E. M. Rains, and K. M. Svore, A Logarithmic-Depth Quantum Carry-Lookahead Adder, 2004. quant-ph/0406142.
6. M. R. Geller, E. J. Pritchett, A. T. Sornborger, and F. K. Wilhelm, Quantum Computing With Superconductors I: Architectures, 2006. quantph/0603224.
7. H. Häffner, W. Hänsel, C. F. Roos, J. Benhelm, D. Chek-Al-Kar, M. Chwalla, T. Körber, U. D. Rapol, M. Riebe, P. O. Schmidt, C. Becher, O. Gühne, W. Dür, and R. Blatt, "Scalable multiparticle entanglement of trapped ions," Nature, vol. 438, no. 7068, pp. 643-646, Dec. 2005.
8. R. Hughes et al. (2004). Quantum Computing Roadmap. Univ. California Nat. Nucl. Security Admin., US Dept. Energy. [Online]. Available: http://qist.lanl.gov
9. W. N. N. Hung, X. Song, G. Yang, J. Yang, and M. A. Perkowski, "Quantum logic synthesis by symbolic reachability analysis," in Proc. Des. Autom. Conf., 2004, pp. 838-841.
10. K. Iwama, Y. Kambayashi, and S. Yamashita, "Transformation rules for designing CNOT-based quantum circuits," in Proc. Des. Autom. Conf., New Orleans, LA, 2002, pp. 419-424.
11. J. A. Jones and E. Knill, "Efficient refocusing of one-spin and two-spin interactions for NMR quantum computation," J. Magn. Reson., vol. 141, no. 2, pp. 322-325, Dec. 1999. quant-ph/9905008.
12. J. A. Jones, R. H. Hansen, and M. Mosca, "Quantum logic gates and nuclear magnetic resonance pulse sequences," J. Magn. Reson., vol. 135, no. 2, pp. 353-360, Dec. 1998. quant-ph/9805070.
13. C. Lomont, Quantum Circuit Identities, 2003. quant-ph/0307111.
14. D. Maslov, G. W Dueck, and D. M. Miller, "Toffoli network synthesis with templates," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 24, no. 6, pp. 807-817, Jun. 2005.
15. D. Maslov, G. W. Dueck, and N. Scott. (2006). Reversible Logic Synthesis Benchmarks Page. [Online]. Available: http://www.cs.uvic.ca/ ~dmaslov/
16. R. V. Meter and K. M. Itoh, "Fast quantum modular exponentiation," Phys. Rev. A, Gen. Phys., vol. 71, no. 5, p. 052320, 2005.
17. D. M. Miller and D. Maslov, Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis, 2005. quant-ph/0511008.
18. M. Möttönen and J. J. Vartiainen, Decompositions of General Quantum Gates, 2005. quant-ph/0504100.
19. M. Nielsen and I. Chuang, Quantum Computation and Quantum Information. Cambridge, U.K.: Cambridge Univ. Press, 2000.
20. A. Peres, "Reversible logic and quantum computers," Phys. Rev. A, Gen. Phys., vol. 32, no. 6, pp. 3266-3276, Dec. 1985.
21. V. V. Shende, S. S. Bullock, and I. L. Markov, "Synthesis of quantum logic circuits," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 25, no. 6, pp. 1000-1010, Jun. 2006. quant-ph/0406176.
22. V. V. Shende, A. K. Prasad, K. N. Patel, I. L. Markov, and J. P. Hayes, "Algorithms and data structures for simplifying reversible circuits," ACM J. Emerg. Technol. Comput. Syst., vol. 2, no. 4, Oct. 2006.
23. J. A. Smolin and D. P. DiVincenzo, "Five two-bit quantum gates are sufficient to implement the quantum Fredkin gate," Phys. Rev. A, Gen. Phys., vol. 53, no. 4, pp. 2855-2856, Apr. 1996.
24. T. Toffoli, "Reversible computing," MIT Lab. Comput. Sci., Cambridge, MA, Tech memo MIT/LCS/TM-151, 1980.
25. L. M. K. Vandersypen, M. Steffen, G. Breyta, C. S. Yannoni, M. H. Sherwood, and I. L. Chuang, "Experimental realization of Shor's quantum, factoring algorithm using nuclear magnetic resonance," Nature, vol. 414, no. 6866, pp. 883-887, 2001.
26. J. Zhang, J. Vala, S. Sastry, and K. B. Whaley, "Geometric theory of nonlocal two-qubit operations," Phys. Rev. A, Gen. Phys., vol. 67, no. 4, p. 042313, 2003. quant-ph/0209120.