Computer-Aided Design for Quantum Computation

Quantum computation is currently moving from an academic idea to a practical reality. The recent past has seen tremendous progress in the physical implementation of corresponding quantum computers - also involving big players such as IBM, Google, Intel, Rigetti, Microsoft, and Alibaba. These devices promise substantial speedups over conventional computers for applications like quantum chemistry, optimization, machine learning, cryptography, quantum simulation, and systems of linear equations. The Computer-Aided Design and Verification (jointly referred as CAD) community needs to be ready for this revolutionizing new technology. While research on automatic design methods for quantum computers is currently underway, there is still far too little coordination between the CAD community and the quantum computation community. Consequently, many CAD approaches proposed in the past have either addressed the wrong problems or failed to reach the end users. In this summary paper, we provide a glimpse into both sides. To this end, we review and discuss selected accomplishments from the CAD domain as well as open challenges within the quantum domain. These examples showcase the recent state-of-the-art but also outline the remaining work left to be done in both communities.

[1]  Todd A. Brun,et al.  A simple model of quantum trajectories , 2002 .

[2]  Xiang Fu,et al.  QX: A high-performance quantum computer simulation platform , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[3]  J. Smolin,et al.  Trading Classical and Quantum Computational Resources , 2015, 1506.01396.

[4]  Robert Wille,et al.  Equivalence Checking of Reversible Circuits , 2009, 2009 39th International Symposium on Multiple-Valued Logic.

[5]  Michael Gschwind,et al.  IBM POWER8 processor core microarchitecture , 2015, IBM J. Res. Dev..

[6]  Robert Wille,et al.  Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits , 2016, 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).

[7]  John P. Hayes,et al.  Improving Gate-Level Simulation of Quantum Circuits , 2003, Quantum Inf. Process..

[8]  Peter Selinger,et al.  Exact synthesis of multi-qubit Clifford+T circuits , 2012, ArXiv.

[9]  Robert Wille,et al.  Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Benoît Valiron,et al.  Quipper: a scalable quantum programming language , 2013, PLDI.

[11]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[12]  Matthias Troyer,et al.  ProjectQ: An Open Source Software Framework for Quantum Computing , 2016, ArXiv.

[13]  Yehuda Naveh,et al.  Constraint-Based Random Stimuli Generation for Hardware Verification , 2006, AI Mag..

[14]  John A. Gunnels,et al.  Breaking the 49-Qubit Barrier in the Simulation of Quantum Circuits , 2017, 1710.05867.

[15]  Robert Wille,et al.  An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[16]  Robert Wille,et al.  One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  Roman Orus,et al.  A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States , 2013, 1306.2164.

[18]  Austin G. Fowler,et al.  Surface code quantum computing by lattice surgery , 2011, 1111.4022.

[19]  Andrew W. Cross,et al.  Open Quantum Assembly Language , 2017, 1707.03429.

[20]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[21]  Masaki Nakanishi,et al.  An efficient conversion of quantum circuits to a linear nearest neighbor architecture , 2011, Quantum Inf. Comput..

[22]  Sy-Yen Kuo,et al.  An XQDD-Based Verification Method for Quantum Circuits , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[23]  Austin G. Fowler,et al.  Leakage and Paralysis in Ancilla-assisted Qubit Measurement: Consequences for Topological Error Correction in Superconducting Architectures , 2013 .

[24]  John Preskill,et al.  Quantum Computing in the NISQ era and beyond , 2018, Quantum.

[25]  Robert Wille,et al.  Equivalence Checking in Multi-level Quantum Systems , 2014, RC.

[26]  Robert Wille,et al.  Synthesis of quantum circuits for linear nearest neighbor architectures , 2011, Quantum Inf. Process..

[27]  Robert Wille,et al.  Improved synthesis of Clifford+T quantum functionality , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[28]  Chen-Fu Chiang,et al.  Scaffold: Quantum Programming Language , 2012 .

[29]  Robert Wille,et al.  Compiling SU(4) quantum circuits to IBM QX architectures , 2018, ASP-DAC.

[30]  J. Gambetta,et al.  Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets , 2017, Nature.

[31]  Elham Kashefi,et al.  Theoretical and practical aspects of verification of quantum computers , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[32]  Robert Wille,et al.  Advanced Simulation of Quantum Computations , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[33]  B. J. Metcalf,et al.  Boson Sampling on a Photonic Chip , 2012, Science.

[34]  Joseph Emerson,et al.  Scalable and robust randomized benchmarking of quantum processes. , 2010, Physical review letters.

[35]  Austin G. Fowler,et al.  Leakage-resilient approach to fault-tolerant quantum computing with superconducting elements , 2014, 1406.2404.

[36]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[37]  Robert Wille,et al.  QMDDs: Efficient Quantum Function Representation and Manipulation , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[38]  Alireza Shafaei,et al.  Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[39]  Robert Wille,et al.  Efficient synthesis of quantum circuits implementing clifford group operations , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).