Cited by 41Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyParallel Computing and Optimization Techniques

MQT QMAP: Efficient Quantum Circuit Mapping

Open access
Wille, Robert, Burgholzer, Lukas·2023·Proceedings of the 2023 International Symposium on Physical Design

Abstract

Quantum computing is an emerging technology that has the potential to revolutionize fields such as cryptography, machine learning, optimization, and quantum simulation. However, a major challenge in the realization of quantum algorithms on actual machines is ensuring that the gates in a quantum circuit (i.e., corresponding operations) match the topology of a targeted architecture so that the circuit can be executed while, at the same time, the resulting costs (e.g., in terms of the number of additionally introduced gates, fidelity, etc.) are kept low. This is known as the quantum circuit mapping problem. This summary paper provides an overview of QMAP-an open-source tool that is part of the Munich Quantum Toolkit (MQT) and offers efficient, automated, and accessible methods for tackling this problem. To this end, the paper first briefly reviews the problem. Afterwards, it shows how QMAP can be used to efficiently map quantum circuits to quantum computing architectures from both a user's and a developer's perspective. QMAP is publicly available as open-source at https://github.com/cda-tum/qmap.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1145/3569052.3578928

Cites

37 of 37 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 2

  1. M. Cerezo et al., Variational quantum algorithms, 2020. arXiv: 2012.09265. · arXiv
  2. Leonardo de Moura and Nikolaj Bjørner, "Z3: An efficient SMT solver, " in Tools Algorithms Constr. Anal. Syst., Springer, 2008, pp. 337-340.

Cited by

Sorted by citations

Authors
Wille, R., & Burgholzer, L.
Affiliations
  • Technical University of Munich (DE)
  • Johannes Kepler University of Linz (AT)
Venue
Proceedings of the 2023 International Symposium on Physical Design
Publisher
ACM
Published
2023-03-26
Pages
198-204
OpenAlex
W4318719623
Cited by
41
References
37
Citations by year
2026: 13 · 2025: 15 · 2024: 8 · 2023: 5
FWCI
7.26
Type
conference paper
Language
en
Open access
Locations
  • International Symposium on Physical Design (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Funders
European Union Horizon 2020 (101001318)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Information and Cryptography
  • Physical Sciences › Computer Science › Hardware and Architecture › Parallel Computing and Optimization Techniques
Keywords
quantum circuit mapping, quantum circuit compilation, quantum computing architecture, open source software, quantum algorithms

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review