Dmitri Maslov Explained

Dmitri Aleksandrovich Maslov
Field:	Computer Science, Electrical Engineering, Optimization, Electronic Design Automation, Quantum Computing
Work Institution:	National Science Foundation, University of Maryland, IBM
Doctoral Advisor:	Gerhard W. Dueck
Thesis Title:	Reversible Logic Synthesis
Thesis Year:	2003

Dmitri Maslov is a Canadian-American computer scientist known for his work on quantum circuit synthesis and optimization, quantum advantage, and benchmarking quantum computers. Currently, he is the Chief Software Architect at IBM Quantum. Maslov was formerly a program director for Quantum Information Science at the National Science Foundation.^[1] He was named a Fellow of the Institute of Electrical and Electronics Engineers in 2021 "for contributions to quantum circuit synthesis and optimization, and compiling for quantum computers."^{[2] [3]}

Career

Maslov obtained Doctor of Philosophy degree in Computer Science from University of New Brunswick in 2003.^[4] Between 2003 and 2008, he held various postdoctoral fellow positions, including those at the University of Victoria and the University of Waterloo. From 2008 to 2018, he was a Program Director with the Division of Computing and Communication Foundations, and the Directorate for Computer and Information Science and Engineering, National Science Foundation.^[5] In 2015-2016 he was a visiting fellow at Joint Center for Quantum Information and Computer Science.^[6] Since 2019, he has been the Chief Software Architect at the IBM’s Quantum Computing Branch, IBM Quantum.

Technical Contributions

Quantum computing

Maslov's contributions to quantum computing include

• A simple and efficient algorithm for reversible logic synthesis, known as the MMD algorithm,^[7] a top-performing and best-cited algorithm for reversible logic synthesis
• The introduction and development of templates^[8] and phase polynomials^{[9] [10]} frameworks for quantum circuit optimization, constituting two of a few standard quantum circuit optimization techniques
• Depth optimal quantum circuit synthesis method for commonly used quantum logical operations^[9]
• Optimal synthesis of Z-angle rotations over Clifford+T gate library^[11]
• Optimization of multiple control Toffoli-gate implementation using relative-phase Toffoli gates^[12]
• Multiple results on the synthesis and optimization of Clifford circuits, including short layered decomposition of the form -X-Z-P-CX-CZ-H-CZ-H-P, exact (in the number of the degrees of freedom) parametrization of Clifford group elements by quantum circuits, and computational advantage by Clifford circuits over classical reversible CNOT circuits^[13]

Notes and References

1. Web site: Staff Directory: Dmitri Maslov . National Science Foundation . August 11, 2023.
2. Web site: IEEE Fellows 2021 Class Announced . December 2, 2020 .
3. Web site: CEDA IEEE Fellows . Council for Electronic Design Automation . August 11, 2023 .
4. Toffoli network synthesis with templates . 2023-10-03 . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2005 . 10.1109/TCAD.2005.847911 . en-US . Maslov . D. . Dueck . G.W. . Miller . D.M. . 24 . 6 . 807–817 .
5. Web site: Dmitri Maslov biography. 2023-10-03 . IEEE Explore.
6. Web site: Dmitri Maslov QuICS . 2023-10-03 . quics.umd.edu . en.
7. Book: D. Michael Miller . Dmitri Maslov . Gerhard W. Dueck . Proceedings of the 40th annual Design Automation Conference . A transformation based algorithm for reversible logic synthesis . 318–323 . 2003 . 10.1145/775832.775915. 1581136889 . 322347 .
8. Dmitri Maslov. Gerhard W. Dueck. D. Michael Miller . Camille Negrevergne . Quantum circuit simplification and level compaction . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2008 . 27 . 3 . 436–444 . 10.1109/TCAD.2007.911334 . quant-ph/0604001 . 10269741 . en-US.
9. Matthew Amy. Dmitri Maslov. Michele Mosca . Martin Roetteler . A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits . 2023-10-03 . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013. 32 . 6 . 818–830 . 10.1109/TCAD.2013.2244643. 1206.0758 . 6879679. en-US.
10. Yunseong Nam . Neil J. Ross . Yuan Su . Andrew M. Childs . Dmitri Maslov . Automated optimization of large quantum circuits with continuous parameters . npj Quantum Information . 4 . 23 . 2018 . 23 . 1710.07345 . 10.1038/s41534-018-0072-4. 2018npjQI...4...23N .
11. Vadym Kliuchnikov . Dmitri Maslov . Michele Mosca . Fast and efficient exact synthesis of single-qubit unitaries generated by Clifford and T gates . Quantum Information and Computation . 12 . 7–8 . 607–630 . 2013 . 1206.5236.
12. Maslov . Dmitri . 2016-02-10 . Advantages of using relative-phase Toffoli gates with an application to multiple control Toffoli optimization . Physical Review A . 93 . 2 . 022311 . 10.1103/PhysRevA.93.022311. 1508.03273 . 2016PhRvA..93b2311M . free .
13. Sergey Bravyi . Dmitri Maslov . Hadamard-free circuits expose the structure of the Clifford group . IEEE Transactions on Information Theory . 2021. 67 . 7 . 4546–4563 . 10.1109/TIT.2021.3081415 . 2003.09412 . 214605790 . en-US.