Publications

QMAP is academic software. Thus, many of its built-in algorithms have been published as scientific papers. See [1] for a general overview of QMAP and its features. If you want to cite this article, please use the following BibTeX entry:

@inproceedings{qmap,
    title = {{QMAP: A Quantum Circuit Mapping Tool}},
    booktitle = {International Symp. on Physical Design},
    author = {Wille, Robert and Burgholzer, Lukas},
    year = {2023}
}

QMAP is part of the Munich Quantum Toolkit, which is described in [8]. If you want cite the Munich Quantum Toolkit, please use the following BibTeX entry:

@inproceedings{mqt,
    title = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
    shorttitle = {{The MQT Handbook}},
    booktitle = {IEEE International Conference on Quantum Software (QSW)},
    author = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
    date = {2024},
    doi = {10.1109/QSW62656.2024.00013},
    eprint  = {2405.17543},
    eprinttype = {arxiv},
    addendum = {A live version of this document is available at \url{https://mqt.readthedocs.io}}
}

If you use QMAP in your work, we would appreciate if you cited

  • [5] when using the heuristic mapper,

  • [3] when using the exact mapper,

  • [9] when using the Clifford circuit synthesis approach,

  • [10] when using the hybrid mapper for neutral atom quantum computers,

  • [11] when using the neutral atom logical array compiler (NALAC), and

  • [12] when using the optimal state preparation for neutral atoms (NASP).

Furthermore, if you use any of the particular algorithms such as

  • the heuristic mapping scheme using teleportation [6]

  • the search space limitation techniques of the exact mapper (some of which are enabled per default) [4]

  • the method for finding (near-)optimal subarchitectures [13]

please consider citing their respective papers as well. A full list of related papers is given below.

[1]

Robert Wille and Lukas Burgholzer. QMAP: A Quantum Circuit Mapping Tool. In International Symp. on Physical Design. 2023. [PDF].

[2]

A. Botea, A. Kishimoto, and Radu Marinescu. On the complexity of quantum circuit compilation. In Int'l Symp. on Combinatorial Search. 2018.

[3]

Robert Wille, Lukas Burgholzer, and Alwin Zulehner. Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations. In Design Automation Conference. June 2019. [PDF].

[4]

Lukas Burgholzer, Sarah Schneider, and Robert Wille. Limiting the search space in optimal quantum circuit mapping. In Asia and South Pacific Design Automation Conference. January 2022. [PDF].

[5]

Alwin Zulehner, Alexandru Paler, and Robert Wille. An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 38(7):1226–1236, 2019. [PDF].

[6]

Stefan Hillmich, Alwin Zulehner, and Robert Wille. Exploiting quantum teleportation in quantum circuit mapping. In Asia and South Pacific Design Automation Conference, 792–797. 2021. [PDF].

[7]

Sarah Schneider, Lukas Burgholzer, and Robert Wille. A SAT encoding for optimal clifford circuit synthesis. In Asia and South Pacific Design Automation Conference. 2023. [PDF].

[8]

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schoenberger, Yannick Stade, and Lukas Burgholzer. The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. In Int'l Conf. on Quantum Software. 2024. [PDF].

[9]

Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, and Lukas Burgholzer. Depth-optimal synthesis of Clifford circuits with SAT solvers. In International Conference on Quantum Computing and Engineering. 2023. [PDF].

[10]

Ludwig Schmid, Sunghye Park, Seokhyeong Kang, and Robert Wille. Hybrid circuit mapping: Leveraging the full spectrum of computational capabilities of neutral atom quantum computers. In Design Automation Conference. 2024. [PDF].

[11]

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, and Robert Wille. An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. In Int'l Conf. on Quantum Computing and Engineering. 2024. [PDF].

[12]

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, and Robert Wille. Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. In Design, Automation and Test in Europe. 2025. [PDF].

[13]

Tom Peham, Lukas Burgholzer, and Robert Wille. On optimal subarchitectures for quantum circuit mapping. ACM Transactions on Quantum Computing, 2023. doi:10.1145/3593594.