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$\times$ on average compared to larger QPUs and that we can effectively reduce circuit depths to only 40% of the original circuit depths.
Thu 19 JunDisplayed time zone: Seoul change
10:30 - 12:10 | |||
10:30 20mTalk | Optimizing Ancilla-Based Quantum Circuits with SPARE PLDI Research Papers DOI | ||
10:50 20mTalk | MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote PLDI Research Papers Xiuqi Cao University of Pennsylvania, Junyu Zhou University of Pennsylvania, Yuhao Liu University of Pennsylvania, Yunong Shi AWS Quantum Technologies, Gushu Li University of Pennsylvania DOI | ||
11:10 20mTalk | Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs PLDI Research Papers DOI | ||
11:30 20mTalk | QVM: Quantum Gate Virtualization Machine PLDI Research Papers DOI | ||
11:50 20mTalk | Efficient Formal Verification of Quantum Error Correcting Programs PLDI Research Papers Qifan Huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou Institute of Software at Chinese Academy of Sciences, Wang Fang University of Edinburgh, Mengyu Zhao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingsheng Ying University of Technology Sydney DOI Pre-print |