Tools for Quantum Computing Based on Decision Diagrams
Robert Wille, Stefan Hillmich, Lukas Burgholzer

TL;DR
This paper reviews decision diagram techniques for quantum circuit simulation and verification, introduces a visualization tool for better understanding, and presents open-source tools integrated into the JKQ quantum toolset.
Contribution
It provides an accessible overview of decision diagram methods for quantum computing and introduces visualization and software tools to aid users and developers.
Findings
Decision diagrams effectively model quantum circuit behaviors.
The visualization tool enhances understanding of decision diagram operations.
Open-source tools facilitate quantum circuit simulation and verification.
Abstract
With quantum computers promising advantages even in the near-term NISQ era, there is a lively community that develops software and toolkits for the design of corresponding quantum circuits. Although the underlying problems are different, expertise from the design automation community, which developed sophisticated design solutions for the conventional realm in the past decades, can help here. In this respect, decision diagrams provide a promising foundation for tackling many design tasks such as simulation, synthesis, and verification of quantum circuits. However, users of the corresponding tools often do not have a proper background or an intuition about how these methods based on decision diagrams work and what their strengths and limits are. In this work, we first review the concepts of how decision diagrams can be employed, e.g., for the simulation and verification of quantum…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
