Realizing reversible circuits using a new class of quantum gates

Proceedings - Design Automation Conference

Volumn , Issue , 2012, Pages 36-41

  Sasanian, Zahra ^a   Wille, Robert ^b   Miller, D Michael ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

mapping; optimization; quantum gates; reversible logic

Indexed keywords

LARGE CIRCUITS; LINEAR RATE; QUANTUM COMPUTING; QUANTUM GATES; QUANTUM OPERATIONS; REVERSIBLE CIRCUITS; REVERSIBLE LOGIC; THEORETICAL CAPACITY;

COMPUTER AIDED DESIGN; MAPPING; OPTIMIZATION; QUANTUM COMPUTERS; QUANTUM ELECTRONICS;

LOGIC GATES;

EID: 84863552928     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2228360.2228368     Document Type: Conference Paper

References (27)

1. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge Univ. Press, 2000.
2. L. K. Grover. A fast quantum mechanical algorithm for database search. In Symp. on Theory of Computing, pages 212-219, 1996.
3. P. W. Shor. Algorithms for quantum computation: discrete logarithms and factoring. Foundations of Computer Science, pages 124-134, 1994.
4. C. Dürr, M. Heiligman, P. Hoyer, and M. Mhalla. Quantum query complexity of some graph problems. SIAM Jour. of Comp., 35:1310-1328, 2006.
5. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes. Synthesis of reversible logic circuits. IEEE Trans. on CAD, 22(6):710-722, 2003.
6. D. M. Miller, D. Maslov, and G. W. Dueck. A transformation based algorithm for reversible logic synthesis. In Design Automation Conf., pages 318-323, 2003.
7. R. Wille and R. Drechsler. BDD-based synthesis of reversible logic for large functions. In Design Automation Conf., pages 270-275, 2009.
8. 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. The American Physical Society, 52:3457-3467, 1995.
9. D. Maslov, G.W. Dueck, D.M. Miller, and C. Negrevergne. Quantum circuit simplification and level compaction. IEEE Trans. on CAD, 27(3):436-444, March 2008.
10. D. M. Miller, R. Wille, and Z. Sasanian. Elementary quantum gate realizations for multiple-control Toffolli gates. In Proc. Int'l Symp. on Multiple-valued Logic, pages 217-222, 2011.
11. Z. Sasanian and D. M. Miller. Mapping a multiple-control toffoli gate cascade to an elementary quantum gate circuit. In Proc. Workshop on Reversible Computation, pages 83-90, 2010.
12. A. Muthukrishnan and C. R. Stroud. Multivalued logic gates for quantum computation. Physical Review A, 62:052309, 2000.
13. Y. Wang and M. Perkowski. Improved complexity of quantum oracles for ternary grover algorithm for graph coloring. In Proc. Int'l Symp. on Multiple-valued Logic, pages 294-301, 2011.
14. T. Toffoli. Reversible computing. In W. de Bakker and J. van Leeuwen, editors, Automata, Languages and Programming, page 632. Springer, 1980. Technical Memo MIT/LCS/TM-151, MIT Lab. for Comput. Sci.
15. E. F. Fredkin and T. Toffoli. Conservative logic. International Journal of Theoretical Physics, 21(3/4):219-253, 1982.
16. A. Peres. Reversible logic and quantum computers. Phys. Rev. A, (32):3266-3276, 1985.
17. R. Wille, D. Große, L. Teuber, G. W. Dueck, and R. Drechsler. RevLib: an online resource for reversible functions and reversible circuits. In Int'l Symp. on Multi-Valued Logic, pages 220-225, 2008. RevLib is available at http://www.revlib.org.
18. H. Thapliyal and N. Ranganathan. Design of efficient reversible logic based binary and bcd adder circuits. ACM J. on Emerging Technologies in computing Systems, September 2012.
19. D.M. Miller and M.A. Thornton. QMDD: A decision diagram structure for reversible and quantum circuits. In Proc. Int'l Symp. on Multiple-valued Logic CD, 6 pp., 2006.
20. R. Wille, D. Große, D. M. Miller, and R. Drechsler. Equivalence checking of reversible circuits. In Int'l Symp. on Multi-Valued Logic, pages 324-330, 2009.
21. K. Fazel, M.A. Thornton, and J.E. Rice. ESOP-based Toffoli gate cascade generation. In Communications, Computers and Signal Processing, 2007. PacRim 2007. IEEE Pacific Rim Conference on, pages 206-209, 2007.
22. M. Soeken, R. Wille, C. Hilken, N. Przigoda, and R. Drechsler. Synthesis of Reversible Circuits with Minimal Lines for Large Functions. In Asia and South Pacific Design Automation Conf., pages 85-92, 2012.
23. Z. Sasanian and D. M. Miller. NCV realization of MCT gates with mixed controls. In Proc. Pacific Rim Conf. on Communications, Computers and Signal Processing, pages 567-571, 2011.
24. A. G. Fowler, S. J. Devitt, and L. C. L. Hollenberg. Implementation of Shor's algorithm on a linear nearest neighbour qubit array. Quant. Info. and Comput., 4:237-245, 2004.
25. S. A. Kutin. Shor's algorithm on a nearest-neighbor machine. In Asian Conference on Quantum Information Science, 2006. arXiv:quant-ph/0609001v1.
26. M. H. A. Khan. Cost reduction in nearest neighbour based synthesis of quantum boolean circuits. Engineering Letters, 16:1-5, 2008.
27. M. Saeedi, R. Wille, and R. Drechsler. Synthesis of quantum circuits for linear nearest neighbor architectures. Quantum Information Processing, 10:355-377, 2011.