Matrix calculus for classical and quantum circuits

ACM Journal on Emerging Technologies in Computing Systems

Volumn 11, Issue 2, 2014, Pages

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

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Quantum computation; Reversible computation

Indexed keywords

CALCULATIONS; QUANTUM COMPUTERS; QUANTUM OPTICS; TIMING CIRCUITS;

GROUP STRUCTURE; MATRIX CALCULUS; QUANTUM CIRCUIT; QUANTUM COMPUTING; REVERSIBLE COMPUTATIONS; REVERSIBLE COMPUTING; SYMMETRIC GROUPS; UNITARY GROUP;

MATRIX ALGEBRA;

EID: 84910113951     PISSN: 15504832     EISSN: 15504840     Source Type: Journal    
DOI: 10.1145/2669370     Document Type: Article

References (30)

1. M. Amy, D. Maslov, and M. Mosca. 2013. Polynomial-time T-depth optimization of Clifford+T circuits via matroid partitioning. arXiv:quant-ph 1303.2042.
2. D. Asche. 1989. An Introduction to Groups. IOP Publishing, Bristol, UK.
3. M. Backens. 2012. The zx-calculus is complete for stabilizer quantum mechanics. In Proceedings of the 9th International Workshop on Quantum Physics and Logic. 15-28.
4. T. Banica and R. Speicher. 2009. Liberation of orthogonal Lie groups. Adv. Math. 222, 1461-1501.
5. M. Boes, A. De Vos, and J. De Beule. 2010. Almost-classical quantum computers. In Proceedings of the 9th International Workshop on Boolean Problems. 51-56.
6. S. Burignat, K. Vermeirsch, A. De Vos, and M. Thomsen. 2012. Garbageless reversible implementation of integer linear transformations. In Proceedings of the 4th International Workshop on Reversible Computation. 187-197.
7. R. Carmichael. 1956. Introduction to the Theory of Groups of Finite Order. Dover Publications, New York, NY.
8. B. Coecke and R. Duncan. 2011. Interacting quantum observables: Categorical algebra and diagrammatics. New J. Phys. 13.
9. B. Coecke and R. Duncan. 2012. Tutorial: Graphical calculus for quantum circuits. In Proceedings of the 4th International Workshop on Reversible Computation. 145-157.
10. A. De Vos. 2010. Reversible Computing. Wiley-VCH, Weinheim, Germany.
11. A. De Vos and M. Boes. 2011. Creating subgroups of U (2w) for quantum-minus computers. In Proceedings of the 28th International Colloquium on Group-Theoretical Methods in Physics. In Physical and Mathematical Aspects of Symmetry, Journal of Physics: Conference Series, Vol. 284.
12. A. De Vos and S. De Baerdemacker. 2010. Decomposition of a linear reversible computer: Digital versus analog. Int. J. Unconventional Comput. 6, 239-263.
13. A. De Vos and S. De Baerdemacker. 2012a. The roots of the NOT gate. In Proceedings of the 42nd International Symposium on Multiple-Valued Logic. 167-172.
14. A. De Vos and S. De Baerdemacker. 2012b. Logics between classical reversible logic and quantum logic. In Proceedings of the 9th International Workshop on Quantum Physics and Logic. 123-128.
15. A. De Vos and S. De Baerdemacker. 2013. The NEGATOR as a basic building block for quantum circuits. Open Syst. Inf. Dynamics 20.
16. A. De Vos, J. De Beule, and L. Storme. 2009. Computing with the square root of NOT. Serdica J. Comput. 3, 359-370.
17. A. De Vos, R. Van Laer, and S. Vandenbrande. 2012. The group of dyadic unitary matrices. Open Syst. Inf. Dynamics 19.
18. R. Feynman. 1996. Feynman Lectures on Computation. Addison-Wesley, Reading, MA.
19. R. Gilmore. 1974. Lie Groups, Lie Algebras, and Some of Their Applications. Wiley, New York, NY.
20. A. Hurwitz. 1897. Ueber die Erzeugung der Invarianten durch Integration. Nachrichten von der Königliche Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse, Vol. 1897, 71-90.
21. M. Nielsen and I. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UK.
22. R. Penrose. 2004. The Road to Reality - A Complete Guide to the Laws of the Universe. Vintage Books, London, UK, 378-382.
23. K. Perumalla. 2014. Introduction to Reversible Computing. CRC Press, Boca Raton, FL.
24. M. Pózniak, K. Zyczkowski, and M. Kús. 1998. Composed ensembles of random unitary matrices. J. Phys. A: Math. Gen. 31, 1059-1071.
25. P. Selinger. 2012. Efficient Clifford+T approximations of single-qubit operations. arXiv:quant-ph 1212.6253.
26. M. Soeken, D. Miller, and R. Drechsler. 2013. Quantum circuits employing roots of the Pauli matrices. Phys. Rev. A 88.
27. J. Stillwell. 2008. Naive Lie Theory. Springer, New York, NY.
28. R. Wille and R. Drechsler. 2010. Towards a Design Flow for Reversible Logic. Springer, Dordrecht, The Netherlands.
29. N. Yanofsky and M. Mannucci. 2008. Quantum Computing for Computer Scientists. Cambridge University Press, Cambridge, UK.
30. K. Życzkowski and M. Kús. 1994. Random unitary matrices. J. Phy. A: Math. Gen. 27, 4235-4245.