Optimizing the mapping of reversible circuits to four-valued quantum gate circuits

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2012, Pages 173-178

  Soeken, Mathias ^a   Sasanian, Zahra ^b   Wille, Robert ^a   Miller, D Michael ^b   Drechsler, Rolf ^a,c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF VICTORIA   (Canada)

^c GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

four valued quantum gates; optimization; quantum circuits; reversible circuits

Indexed keywords

NEGATIVE CONTROL; QUANTUM CIRCUIT; QUANTUM GATES; REVERSIBLE CIRCUITS; SYNTHESIS METHOD; TOFFOLI GATES;

LOGIC CIRCUITS; LOGIC GATES; MANY VALUED LOGICS; QUANTUM ELECTRONICS;

OPTIMIZATION;

EID: 84864249466     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISMVL.2012.64     Document Type: Conference Paper

References (33)

1. M. Nielsen and I. Chuang, Quantum Computation and Quantum Information. Cambridge Univ. Press, 2000.
2. L. K. Grover, "Quantum mechanics helps in searching for a needle in a haystack," Phys. Rev. Lett., vol. 79, pp. 325-328, Jul 1997. [Online]. Available: http://link.aps.org/doi/10.1103/PhysRevLett.79.325
3. P. W. Shor, "Algorithms for Quantum Computation: Discrete Logarithms and Factoring," in Symp. on Foundations of Computer Science, Nov. 1994, pp. 124-134.
4. M. Saeedi, N. MohammadZadeh, M. Sedighi, and M. S. Zamani, "Evaluation and improvement of quantum synthesis algorithms based on a thorough set of metrics," in Proc. European Conf. on Digital Systems Design, 2008, pp. 490-493.
5. M. Perkowski, N. Alhagi, M. Lukac, N. Saxena, and S. Blakely, "Synthesis of small reversible and pseudo-reversible circuits using y-gates and inverse y-gates," in Proc. Int'l Symp. on Multiple-valued Logic, 2010, pp. 245-251.
6. N. Alhagi, M. Hawash, and M. Perkowski, "Synthesis of reversible circuits with no ancilla bits for large reversible functions specified with bit equations," in Proc. Int'l Symp. on Multiple-valued Logic, 2010, pp. 39-45.
7. M. Saeedi and I. L. Markov, "Synthesis and optimization of reversible circuits-a survey," arXiv, vol. abs/1110.2574, 2011.
8. M. Lucas, M. Perkowski, and M. Kameyama, "Evolutionary quantum logic synthesis of boolean reversible logic circuits embedded in ternary quantum space using structural restrictions," in Proc. Int'l Conf. on Evolutionary Computation, 2010, pp. 1-8.
9. R. Wille and R. Drechsler. Morgan and Claypool, 2010, ch. Synthesis of Boolean Functions in Reversible Logic.
10. D. M. Miller and Z. Sasanian, "Lowering the quantum gate cost of reversible circuits," in Proc. Midwest Symp. on Circuits and Systems, 2010, pp. 260-263.
11. A. Barenco, C. Bennett, R. Cleve, D. DiVincenzo, M. Margolus, P. Shor, T. Sleator, J. Smolin, and H. Weinfurter, "Elementary gates for quantum computation," Physical Review A, vol. 52, no. 5, pp. 3457-3467, Nov. 1995.
12. 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, 2011, pp. 217-222.
13. 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, 2011, pp. 567-571.
14. D. Maslov and M. Saeedi, "Reversible circuit optimization via leaving the boolean domain," IEEE Trans. on CAD, vol. 30, pp. 806-816, 2011.
15. Z. Sasanian, R. Wille, and D. M. Miller, "Realizing reversible circuits using a new class of quantum gates," in Proc. Design Automation Conf., June 2012.
16. T. Toffoli, "Reversible computing," Tech Memo LCS/TM-151, MIT Lab for Comp. Sci, 1980.
17. T. Sasao, "AND-EXOR expressions and their optimization," in Logic Synthesis and Optimization, T. Sasao, Ed. Kluwer Academic Publisher, 1993, pp. 287-312.
18. A. Muthukrishnan and C. R. Stroud, "Multivalued logic gates for quantum computation," Physical Review A, vol. 62, p. 052309, 2000.
19. D. M. Miller, D. Maslov, and G. W. Dueck, "A transformation based algorithm for reversible logic synthesis," in Proc. Design Automation Conf., 2003, pp. 318-323.
20. D. Maslov, G.W. Dueck, and D. M. Miller, "Techniques for the synthesis of reversible Toffoli networks," ACM Trans. Design Autom. Electr. Syst., vol. 12, no. 4, pp. 42:1-42:28, Sep. 2007.
21. D. Miller and M. Thornton, "QMDD: A decision diagram structure for reversible and quantum circuits," in Proc. Int'l Symp. on Multiple-valued Logic, 2006, pp. 30-30.
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 Conference, Jan. 2012.
23. A. Mishchenko and M. Perkowski, "Fast heuristic minimization of exclusive sum-of-products," in Proc. 5th Int'l Reed-Muller Workshop, 2001, pp. 242-250.
24. D. Maslov, G. Dueck, D. Miller, and C. Negrevergne, "Quantum circuit simplification and level compaction," IEEE Trans. on CAD, vol. 27, no. 3, pp. 436-444, March 2008.
25. 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, 2010, pp. 83-90.
26. D. Maslov, "Reversible logic synthesis," Ph.D. dissertation, University of New Brunswick, 2003.
27. 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, 2011, pp. 294-301.
28. Z. Sasanian and D. M. Miller, "Transforming MCT circuits to NCVW circuits," in Proc. Workshop on Reversible Computation, 2011, pp. 163-174.
29. D. M. Miller, D. Maslov, and G. W. Dueck, "A transformation based algorithm for reversible logic synthesis," in Design Automation Conference. ACM, Jun. 2003, pp. 318-323.
30. 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, 2008, pp. 220-225, RevLib is available at www.revlib.org.
31. R. Wille, D. Große, D. M. Miller, and R. Drechsler, "Equivalence checking of reversible circuits," in Proc. Int'l Symp. on Multiple-valued Logic, 2009, pp. 324-330.
32. Y. Hirata, M. Nakanishi, S. Yamashita, and Y. Nakashima, "An efficient method to convert arbitrary quantum circuits to ones on a linear nearest neighbor architecture," in Proc. Int'l Conf. on Quantum, Nano and Micro Technologies, 2009, pp. 26-33.
33. M. Saeedi, R. Wille, and R. Drechsler, "Synthesis of quantum circuits for linear nearest neighbor architectures," Quantum Information Processing, 2011.