QVM: Quantum Gate Virtualization Machine
Nathaniel Tornow, Emmanouil Giortamis, Pramod Bhatotia
Abstract
We present the Quantum Gate Virtualization Machine (QVM), an end-to-end generic system for scalable execution of large quantum circuits with high fidelity on noisy and small quantum processors (QPUs) by leveraging gate virtualization. QVM exposes a virtual circuit intermediate representation (IR) that extends the notion of quantum circuits to incorporate gate virtualization. Based on the virtual circuit as our IR, we propose the QVM compiler—an extensible compiler infrastructure to transpile a virtual circuit through a series of modular optimization passes to produce a set of optimized circuit fragments. Lastly, these transpiled circuit fragments are executed on QPUs using our QVM runtime—a scalable and parallel infrastructure to virtualize and execute circuit fragments on a set of QPUs. We evaluate QVM on IBM’s 7- and 27-qubit QPUs. Our evaluation shows that our approach allows for the execution of circuits with up to double the number of qubits compared to the qubit-count of a QPU, while improving fidelity by 4.7 × on average compared to larger QPUs and that we can effectively reduce circuit depths to only 40 % of the original circuit depths.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext cc72d425-d1f5-4ef4-9872-75c72cbaae19Cited by top-tier papers3
- Qonductor: A Cloud Orchestrator for Quantum ComputingEmmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Dmitry Lugovoy et al.SC 2025 · 4 citations
- qTPU: Hybrid Tensor Networks for Quantum-Classical AccelerationNathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian Mendl et al.OSDI 2026 · 1 citation
- Cobble: Compiling Block Encodings for Quantum Computational Linear AlgebraCharles YuanPLDI 2026
Builds on29
- Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum ComputersPrakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-AbhariASPLOS 2020 · 253 citations
- CutQC: using small Quantum computers for large Quantum circuit evaluationsWei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson et al.ASPLOS 2021 · 159 citations
- Silq: a high-level quantum language with safe uncomputation and intuitive semanticsBenjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. VechevPLDI 2020 · 145 citations
- SupermarQ: A Scalable Quantum Benchmark SuiteTeague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi et al.HPCA 2022 · 132 citations
- Optimized Quantum Compilation for Near-Term Algorithms with OpenPulsePranav Gokhale, Ali Javadi-Abhari, Nathan Earnest, Yunong Shi et al.MICRO 2020 · 87 citations
Related papers
- Quantum Virtual MachinesRunzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao et al.OSDI 2025 · 6 citations
- Quixote: Improving Fidelity of Quantum Program by Independent Execution of Controlled GatesEnhyeok Jang, Seungwoo Choi, Won Woo RoDAC 2023 · 3 citations
- Logical abstractions for noisy variational Quantum algorithm simulationYipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck et al.ASPLOS 2021 · 16 citations
- Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable OperatorsYuwei Jin, Fei Hua, Yan-Hao Chen, Ari B. Hayes et al.ASPLOS 2023 · 5 citations
- UniQ: A Unified Programming Model for Efficient Quantum Circuit SimulationChen Zhang, Haojie Wang, Zixuan Ma, Lei Xie et al.SC 2022 · 11 citations
