Symmetry groups for the decomposition of reversible computers, quantum computers, and computers in between

Symmetry

Volumn 3, Issue 2, 2011, Pages 305-324

  De Vos, Alexis ^a   De Baerdemacker, Stijn ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Group theory; Quantum computing; Reversible computing

Indexed keywords

EID: 84860551503     PISSN: None     EISSN: 20738994     Source Type: Journal    
DOI: 10.3390/sym3020305     Document Type: Article

References (33)

1. Shor, P. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 1997, 26, 1484-1509.
2. Grover L. Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 1997, 79, 325-328.
3. Deutsch, D.; Jozsa, R. Rapid solution of problems by quantum computation. Proc. R. Soc. London Ser. A 1992, 439, 553-558.
4. Landauer, R. Irreversibility and heat generation in the computational process. IBM J. Res. Dev. 1961, 5, 183-191.
5. Keyes, R.; Landauer, R. Minimal energy dissipation in logic. IBM J. Res. Dev. 1970, 14, 153-157.
6. Markov, I. An introduction to reversible circuits. In Proceedings of the 12th International Workshop on Logic and Synthesis, Laguna Beach, CA, USA, May 2003; pp. 318-319.
7. De Vos, A.; Van Rentergem, Y. From group theory to reversible computers. Int. J. Unconv. Comput. 2007, 4, 79-88.
8. Hayes, B. Reverse engineering. Am. Sci. 2006, 94, 107-111.
9. Wille, R.; Drechsler, R. Towards a Design Flow for Reversible Logic; Springer: Dordrecht, The Netherlands, 2010.
10. De Vos, A. Reversible Computing; Wiley-VCH: Weinheim, Germany, 2010.
11. Kerntopf P. Research on reversible computation in the year 2010. In Proceedings of the 3rd Reversible Computation Workshop, Gent, Belgium, July 2011.
12. Wille, R.; Drechsler, R. BDD-based synthesis of reversible logic for large functions. In Proceedings of the 46th Design Automation Conference, San Francisco, CA, USA, July 2009; pp. 270-275.
13. Thus a measurement of these (qu)bits before or after the computation would lead to the same results
14. Möttönen, M.; Vartiainen, J.; Bergholm, V.; Salomaa, M. Quantum circuits for general multi-qubit gates. Phys. Rev. Lett. 2004, 93, 130502.
15. Bergholm, V.; Vartiainen, J.; Möttönen, M.; Salomaa, M. Quantum circuits with uniformly controlled one-qubit gates. Phys. Rev. A 2005, 71, 052330.
16. De Vos, A.; Van Rentergem, Y. Young subgroups for reversible computers. Adv. Math. Commun. 2008, 2, 183-200.
17. 2 such matrices.
18. De Vos, A.; Van Rentergem, Y. Networks for reversible logic. In Proceedings of the 8th International Workshop on Boolean Problems, Freiberg, Germany, September 2008; pp. 41-47.
19. De Vos, A.; De Baerdemacker, S. Linear reversible computing: Digital versus analog. Int. J. Unconv. Comput. 2010, 6, 239-263.
20. Bhatia, R. Matrix Analysis; Springer: New York, NY, USA, 1997; pp. 195-203.
21. Khan, F.; Perkowski, M. Synthesis of ternary quantum logic circuits by decomposition. In Proceedings of the 7th International Symposium on Representations and Methodology of Future Computing Technologies, Tokyo, Japan, September 2005; pp. 114-118.
22. Slepoy, A. Quantum Gate Decomposition Algorithms; Sandia Report, SAND2006-3440; Sandia National Laboratories: Albuquerque, NM, USA, 2006.
23. Shende, V.; Bullock, S.; Markov, I. Synthesis of quantum-logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2006, 25, 1000-1010.
24. Nakajima, Y.; Kawano, Y.; Sekigawa, H. A new algorithm for producing quantum circuits using KAK decompositions. Quantum Inf. Comput. 2006, 6, 67-80.
25. Gilmore, R. Lie Groups, Lie Algebras and Some of Their Applications; John Wiley & Sons: New York, NY, USA, 1974.
26. Hall, B. Lie Groups, Lie Algebras, and Representations; Springer: New York, NY, USA, 2003; pp. 18-25.
27. Golub, G.; Van Loan, C. Matrix Computations; John Hopkins University Press: Baltimore, MD, USA, 1996; pp. 75-79.
28. Barenco, A.; Bennett, C.; Cleve, R.; DiVincenzo, D.; Margolus, N.; Shor, P.; Sleator, T.; Smolin, J.; Weinfurter, H. Elementary gates for quantum computation. Phys. Rev. A 1995, 52, 3457-3467.
29. Gasiorowicz, S. Quantum Physics; John Wiley: New York, NY, USA, 1974; p. 232.
30. Deutsch, D. Quantum computation. Phys. World 1992, 5, 57-61.
31. Deutsch, D.; Ekert, A.; Lupacchini, R. Machines, logic and quantum physics. Bull. Symbolic Log. 2000, 3, 265-283.
32. Galindo, A.; Martín-Delgado, M. Information and computation: Classical and quantum aspects. Rev. Mod. Phys. 2002, 74, 347-423.
33. Miller, D. Decision diagram techniques for reversible and quantum circuits. In Proceedings of the 8th International Workshop on Boolean Problems, Freiberg, Germany, September 2008; pp. 1-15.