MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

Abstract

Fueled by recent accomplishments in quantum computing hardware and software, an increasing number of problems from various application domains are being explored as potential use cases for this new technology. Similarly to classical computing, realizing an application on a particular quantum device requires the corresponding (quantum) circuit to be compiled so that it can be executed on the device. With a steadily growing number of available devices and a wide variety of different compilation tools, the number of choices to consider when trying to realize an application is quickly exploding. Due to missing tool support and automation, especially end-users who are not quantum computing experts are easily left unsupported and overwhelmed. In this work, we propose a methodology that allows one to automatically select a suitable quantum device for a particular application and provides an optimized compiler for the selected device. The resulting framework -- called the MQT Predictor -- not only supports end-users in navigating the vast landscape of choices, it also allows mixing and matching compiler passes from various tools to create optimized compilers that transcend the individual tools. Evaluations of an exemplary framework instantiation based on more than 500 quantum circuits and seven devices have shown that -- compared to both Qiskit's and TKET's most optimized compilation flows for all devices -- the MQT Predictor produces circuits within the top-3 out of 14 baselines in more than 98% of cases while frequently outperforming any tested combination by up to 53% when optimizing for expected fidelity. MQT Predictor is publicly available as open-source on GitHub (https://github.com/cda-tum/mqt-predictor) and as an easy-to-use Python package (https://pypi.org/p/mqt.predictor).

arXiv comment25 pages, 11 figures, minor adjustments, published in the ACM Transactions on Quantum Computing (TQC)

References in corpus (26)

• A variational eigenvalue solver on a quantum processor
• A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
• Quantum Generative Adversarial Networks for Learning and Loading Random Distributions
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• A universal quantum circuit for two-qubit transformations with three CNOT gates
• Quantum Circuit Simplification and Level Compaction
• A Survey on Compiler Autotuning using Machine Learning
• Option Pricing using Quantum Computers
• Quantum computing with Qiskit
• MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
• Exact synthesis of multiqubit Clifford+T circuits
• Quantum circuit optimization with deep reinforcement learning
• The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
• A Roadmap for Automating the Selection of Quantum Computers for Quantum Algorithms
• Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack
• Compiler Optimization for Quantum Computing Using Reinforcement Learning
• MQT QMAP: Efficient Quantum Circuit Mapping
• MLGO: a Machine Learning Guided Compiler Optimizations Framework
• Predicting Good Quantum Circuit Compilation Options
• AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning
• On Optimal Subarchitectures for Quantum Circuit Mapping
• Towards an Automated Framework for Realizing Quantum Computing Solutions
• A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
• SupermarQ: A Scalable Quantum Benchmark Suite
• NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning
• Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Cited by in corpus (9)

• The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
• An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
• The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
• SCIM MILQ: An HPC Quantum Scheduler
• Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
• A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
• Improving Figures of Merit for Quantum Circuit Compilation
• Graph Neural Network-Based Predictor for Optimal Quantum Hardware Selection
• Data-Efficient Quantum Noise Modeling via Machine Learning