Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions

2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010

Volumn , Issue , 2010, Pages

  Lukac, Martin ^a   Perkowski, Marek ^b   Kameyama, Michitaka ^a  

^a TOHOKU UNIVERSITY   (Japan)

^b Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FITNESS FUNCTIONS; GPU PROGRAMMING; PARALLEL GENETIC ALGORITHMS; QUANTUM GATES; QUANTUM LOGIC; REVERSIBLE CIRCUITS; REVERSIBLE LOGIC; STRUCTURAL RESTRICTIONS;

ARTIFICIAL INTELLIGENCE; LOGIC GATES; QUANTUM ELECTRONICS;

LOGIC CIRCUITS;

EID: 79959424235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CEC.2010.5585969     Document Type: Conference Paper

References (31)

1. P. A. M. Dirac, The principles of quantum mechanics. Clarendon, Oxford, 1984.
2. R. Feynman. Addison Wesley, 1996.
3. A. Khlopotine, M. Perkowski, and P. Kerntopf, "Reversible logic synthesis by gate composition," in Proceedings of IWLS, 2002, pp. 261-266.
4. M. Lukac, M. Pivtoraiko, A. Mishchenko, and M. Perkowski, "Automated synthesis of generalized reversible cascades using genetic algorithms," in Proceedings of Fifth Intern. Workshop on Boolean Problems, 2002, pp. 33-45.
5. D. M. Miller, D. Maslov, and G. W. Dueck, "Synthesis of quantum multiple-valued circuits," Journal of Multiple-Valued Logic and Soft Computing, vol. 12, no. 5-6, pp. 431-450, 2006.
6. V. V. Shende, S. S. Bullock, and I. L. Markov, "Synthesis of quantum logic circuits," in ASP-DAC '05: Proceedings of the 2005 conference on Asia South Pacific design automation. New York, NY, USA: ACM Press, 2005, pp. 272-275.
7. G. Dueck and D. Maslov, "Garbage in reversible designs of multiple-output functions," in Proceedings of RM 2003, 2003, pp. 162-170.
8. W. Hung, X. Song, G. Yang, J. Yang, and M. Perkowski, "Quantum logic synthesis by symbolic reachability analysis," in Proceedings of DAC, 2004.
9. -, "Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis," IEEE Transaction on Computer-Aided Design of Integrated Circuits and systems, vol. 25, no. 9, pp. 1652-1663, 2006.
10. J. Pachos and H. Walther, "Quantum computation with trapped ions in an optical cavity," Physical Review Letters, vol. 89, no. 18, 2002.
11. M. A. Nielsen, "Optical quantum computation using cluster states," vol. 93, no. 4, p. 040503, 2004.
12. X. Li, Y. Wu, D. Steel, D. Gammon, T. Stievater, D. Katzer, D. Park, C. Piermarocchi, and L. Sham, "An all-optical quantum gate in a semiconductor quantum dot," Science, vol. 301, no. 5634, pp. 809-811.
13. J. L. O'Brien, G. J. Pryde, A. G. White, and D. Ralph, T. C. andBranning, "Demonstration of an all-optical quantum controlled-not gate," Nature, vol. 426, pp. 264-267, 2003.
14. D. E. Browne and T. Rudolph, "Resource-efficient linear optical quantum computation," Phys. Rev. Lett., vol. 95, no. 1, p. 010501, Jun 2005.
15. P. Kok, W. J. Munro, K. Nemoto, T. C. Ralph, J. P. Dowling, and G. J. Milburn, "Linear optical quantum computing with photonic qubits," Rev. Mod. Phys., vol. 79, no. 1, pp. 135-174, Jan 2007.
16. B. P. Lanyon, M. Barbieri, M. P. Almeida, T. Jennewein, T. C. Ralph, K. J. Resch, G. J. Pryde, J. L. O'Brien, A. Gilchrist, and A. G. White, "Quantum computing using shortcuts through higher dimensions," ArXiv e-prints, vol. 804, Apr. 2008.
17. J. Fiurášek, "Linear optical fredkin gate based on partial-swap gate," Phys. Rev. A, vol. 78, no. 3, p. 032317, Sep 2008.
18. Y.-X. Gong, G.-C. Guo, and T. C. Ralph, "Methods for a linear optical quantum fredkin gate," Phys. Rev. A, vol. 78, no. 1, p. 012305, Jul 2008.
19. R. Ionicioiu, T. P. Spiller, and W. J. Munro, "Generalized toffoli gates using qudit catalysis," Phys. Rev. A, vol. 80, no. 1, p. 012312, Jul 2009.
20. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information. Cambridge University Press, 2000.
21. T. C. Ralph, K. J. Resch, and A. Gilchrist, "Efficient toffoli gates using qudits," Phys. Rev. A, vol. 75, no. 2, p. 022313, Feb 2007.
22. M. Lukac, M. Perkowski, H. Goi, M. Pivtoraiko, C. H. Yu, K. Chung, H. Jee, B.-G. Kim, and Y.-D. Kim, "Evolutionary approach to quantum reversible circuit synthesis," Artif. Intell. Review., vol. 20(3-4), pp. 361-417, 2003.
23. M. Lukac and M. Perkowski, "Evolutionary approach to quantum symbolic logic synthesis," in IEEE Congress on Computational Intelligence (WCCI), 2008, pp. 3374-3380.
24. -, "Quantum mechanical model of emotional robot behaviors," in Proceedings of the International Symposium on Multiple-Valued Logic, 2007.
25. M. Lukac, "Quantum logic synthesis and inductive machine learning, ph.d. dissertation," Ph.D. dissertation, 2009.
26. J. E. Baker, "Reducing bias and inefficiency in the selection algorithm," in In Proceedings of the Second International Conference on Genetic Algorithms and their Application, 1987, pp. 14-21.
27. M. Lukac and M. Perkowski, "Using exhaustive search for the discovery of a new family of optimum universal permutative binary quantum gates," in Proceedings of International Workshop on Logic & Synthesis, Poster Session, 2005.
28. A. Muthukrishnan and C. R. Stroud, "Multivalued logic gates for quantum computation," Phys. Rev. A, vol. 62, no. 5, p. 052309, Oct 2000.
29. A. I. Khan, N. Nusrat, S. M. Khan, M. Hasan, and M. H. A. Khan, "Quantum realization of some ternary circuits using muthukrishnanstroud gates," in ISMVL. IEEE Computer Society, 2007, p. 20.
30. D. M. Miller, "Spectral and two-place decomposition techniques in reversible logic," in Proc. Midwest Symposium on Circuits and Systems, on CD-ROM, August 2002.
31. D. M. Miller and A. T. Mitchell, "QMDD: A decision diagram structure for reversible and quantum circuits," in Proc. 2006 Int. Symposium on Multiple-Valued Logic, 2006.