Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams

Decision diagrams have shown to be a suitable data-structure for tackling the complexity of the quantum world. Accordingly, there has been a lot of research on how to improve their efficiency for quantum circuit simulation as well as broadening their scope. However, there are several smaller yet still interesting aspects that emerge when (re-)implementing corresponding approaches. In this work, we cover these aspects, illustrate them with examples, back them by further experiments, and derive corresponding learnt lessons from these considerations. This eventually gives more detailed insights into the implementation of quantum circuit simulation based on decision diagrams and eventually offers some interesting lessons learnt that may help to use those implementations in a more effective fashion and/or to develop further improvements upon them.

[1]  Robert Wille,et al.  Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation , 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Alán Aspuru-Guzik,et al.  qHiPSTER: The Quantum High Performance Software Testing Environment , 2016, ArXiv.

[3]  Lov K. Grover.  A fast quantum mechanical algorithm for database search , 1996, STOC '96.

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

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

[6]  John P. Hayes,et al.  High-performance QuIDD-based simulation of quantum circuits , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[7]  Samuel A. Stein,et al.  QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation , 2020, ACM Transactions on Quantum Computing.

[8]  Robert Wille,et al.  Stochastic Quantum Circuit Simulation Using Decision Diagrams , 2020, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[9]  Robert Wille,et al.  Advanced Equivalence Checking for Quantum Circuits , 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  D. Michael Miller,et al.  A Decision Diagram Package for Reversible and Quantum Circuit Simulation , 2006, 2006 IEEE International Conference on Evolutionary Computation.

[11]  Robert Wille,et al.  How to Efficiently Handle Complex Values?: Implementing Decision Diagrams for Quantum Computing , 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

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

[13]  Jeongho Bang,et al.  Quantum Learning Machine , 2008, 0803.2976.

[14]  H. Neven,et al.  Characterizing quantum supremacy in near-term devices , 2016, Nature Physics.

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

[16]  Iordanis Kerenidis,et al.  q-means: A quantum algorithm for unsupervised machine learning , 2018, NeurIPS.

[17]  Thomas R. Bromley,et al.  Quantum computational finance: Monte Carlo pricing of financial derivatives , 2018, Physical Review A.

[18]  Robert Wille,et al.  Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators , 2020, 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL).

[19]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[20]  Vasilis Samoladas,et al.  Improved BDD Algorithms for the Simulation of Quantum Circuits , 2008, ESA.

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

[22]  Robert Wille,et al.  Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations , 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[23]  Robert Wille,et al.  Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams , 2020, 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).

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

[25]  Alán Aspuru-Guzik,et al.  Quantum Chemistry in the Age of Quantum Computing. , 2018, Chemical reviews.