MIRAGE: Quantum Circuit Decomposition and Routing Collaborative Design using Mirror Gates

Abstract

Building efficient large-scale quantum computers is a significant challenge due to limited qubit connectivities and noisy hardware operations. Transpilation is critical to ensure that quantum gates are on physically linked qubits, while minimizing $\text{SWAP}$ gates and simultaneously finding efficient decomposition into native $\text{basis gates}$. The goal of this multifaceted optimization step is typically to minimize circuit depth and to achieve the best possible execution fidelity. In this work, we propose $\text{MIRAGE}$, a collaborative design and transpilation approach to minimize $\text{SWAP}$ gates while improving decomposition using $\text{mirror gates}$. Mirror gates utilize the same underlying physical interactions, but when their outputs are reversed, they realize a different or $\text{mirrored}$ quantum operation. Given the recent attention to $\sqrt{\text{iSWAP}}$ as a powerful basis gate with decomposition advantages over $\text{CNOT}$, we show how systems that implement the $\text{iSWAP}$ family of gates can benefit from mirror gates. Further, $\text{MIRAGE}$ uses mirror gates to reduce routing pressure and reduce true circuit depth instead of just minimizing $\text{SWAP}$s. We explore the benefits of decomposition for $\sqrt{\text{iSWAP}}$ and $\sqrt[4]{\text{iSWAP}}$ using mirror gates, including both expanding Haar coverage and conducting a detailed fault rate analysis trading off circuit depth against approximate gate decomposition. We also describe a novel greedy approach accepting mirror substitution at different aggression levels within MIRAGE. Finally, for $\text{iSWAP}$ systems that use square-lattice topologies, $\text{MIRAGE}$ provides an average of 29.6% reduction in circuit depth by eliminating an average of 59.9f% $\text{SWAP}$ gates, which ultimately improves the practical applicability of our algorithm.

arXiv comment13 pages, 13 figures. This paper is under review for the IEEE and/or ACM

References in corpus (31)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Charge insensitive qubit design derived from the Cooper pair box
• Validating quantum computers using randomized model circuits
• Maintaining coherence in Quantum Computers
• Scalable Noise Estimation with Random Unitary Operators
• A simple all-microwave entangling gate for fixed-frequency superconducting qubits
• Optimal Quantum Circuits for General Two-Qubit Gates
• A geometric theory of non-local two-qubit operations
• A tunable coupling scheme for implementing high-fidelity two-qubit gates
• Realization of high-fidelity CZ and ZZ-free iSWAP gates with a tunable coupler
• Natural two-qubit gate for quantum computation using the XY interaction
• Suppression of Qubit Crosstalk in a Tunable Coupling Superconducting Circuit
• MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
• Analysis of parametrically driven exchange-type (iSWAP) and two-photon (bSWAP) interactions between superconducting qubits
• Quantum Instruction Set Design for Performance
• An Introduction to Cartan's KAK Decomposition for QC Programmers
• Approaching the theoretical limit in quantum gate decomposition
• QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation
• Optimal Qubit Mapping with Simultaneous Gate Absorption
• Efficient purification protocols using iSWAP gates in solid-state qubits
• Designing calibration and expressivity-efficient instruction sets for quantum computing
• Shallow unitary decompositions of quantum Fredkin and Toffoli gates for connectivity-aware equivalent circuit averaging
• Efficient quantum gate decomposition via adaptive circuit compression
• Hardware-Conscious Optimization of the Quantum Toffoli Gate
• Application of the Diamond Gate in Quantum Fourier Transformations and Quantum Machine Learning
• Co-Designed Architectures for Modular Superconducting Quantum Computers
• Realizing a class of stabilizer quantum error correction codes using a single ancilla and circular connectivity
• QContext: Context-Aware Decomposition for Quantum Gates
• Faster and More Reliable Quantum SWAPs via Native Gates
• Fast superconducting qubit control with sub-harmonic drives
• Parallel Driving for Fast Quantum Computing Under Speed Limits