MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

A tool for classical quantum circuit simulation developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.

If you have any questions, feel free to contact us via [email protected] or by creating an issue on GitHub.

Getting Started

DDSIM bundled with the provider and backends for Qiskit is available via PyPI for Linux, macOS, and Windows and supports Python 3.8 to 3.12.

(venv) $ pip install mqt.ddsim

The following code gives an example on the usage:

from qiskit import *
from mqt import ddsim

circ = QuantumCircuit(3)
circ.h(0)
circ.cx(0, 1)
circ.cx(0, 2)

print(circ.draw(fold=-1))

backend = ddsim.DDSIMProvider().get_backend("qasm_simulator")

job = execute(circ, backend, shots=10000)
counts = job.result().get_counts(circ)
print(counts)

Detailed documentation on all available methods, options, and input formats is available at ReadTheDocs.

System Requirements and Building

The implementation is compatible with any C++17 compiler and a minimum CMake version of 3.19. Please refer to the documentation on how to build the project.

Building (and running) is continuously tested under Linux, macOS, and Windows using the latest available system versions for GitHub Actions.

References

DDSIM has been developed based on methods proposed in the following papers:

• A. Zulehner and R. Wille, "Advanced Simulation of Quantum Computations," Transactions on CAD of Integrated Circuits and Systems (TCAD), 2019
• S. Hillmich, I.L. Markov, and R. Wille, "Just Like the Real Thing: Fast Weak Simulation of Quantum Computation," in Design Automation Conference (DAC), 2020
• S. Hillmich, R. Kueng, I. L. Markov, and R. Wille, "As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation," in Design, Automation and Test in Europe (DATE), 2021
• L. Burgholzer, H. Bauer, and R. Wille, "Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams," Conference on Quantum Computing and Engineering (QCE), 2021
• L. Burgholzer, A.Ploier, and R. Wille, "Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams," in Design, Automation and Test in Europe (DATE), 2022
• T. Grurl, J. Fuß, and R. Wille, "Noise-aware Quantum Circuit Simulation With Decision Diagrams," Transactions on CAD of Integrated Circuits and Systems (TCAD), 2022.

Acknowledgements

The Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.