Abstract:Efficiently mapping quantum circuits onto hardware is an integral part of the quantum compilation process, wherein a circuit is modified in accordance with the stringent architectural demands of a quantum processor. Many techniques exist for solving the quantum circuit mapping problem, in addition to several theoretical perspectives that relate quantum circuit mapping to problems in classical computer science. This work considers a novel perspective on quantum circuit mapping, in which the routing process of a simplified circuit is viewed as a composition of quantum operations acting on density matrices representing the quantum circuit and processor. Drawing on insight from recent advances in quantum circuit complexity and information geometry, we show that a minimal SWAP-gate count for executing a quantum circuit on a device emerges via the minimization of the distance between quantum states using the quantum Jensen-Shannon divergence, which we dub the lightcone bound. Additionally, we develop a novel initial placement algorithm based on a graph similarity search that selects the partition nearest to a graph isomorphism between interaction and coupling graphs. From these two ingredients, we construct an algorithm for calculating the lightcone bound, which is directly compared alongside the IBM Qiskit compiler for over $600$ realistic benchmark experiments, as well as against a brute-force method for smaller benchmarks. In our simulations, we unambiguously find that neither the brute-force method nor the Qiskit compiler surpasses our bound, signaling utility for estimating minimal overhead when realizing quantum algorithms on constrained quantum hardware. This work also constitutes the first use of quantum circuit uncomplexity to practically-relevant quantum computing. We anticipate that this method may have diverse applicability outside of the scope of quantum information science.

Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques

Profiling quantum circuits for their efficient execution on single- and multi-core architectures

Mapping quantum circuits to shallow-depth measurement patterns based on graph states

Lightcone Bounds for Quantum Circuit Mapping via Uncomplexity

Full Characterization of the Depth Overhead for Quantum Circuit Compilation with Arbitrary Qubit Connectivity Constraint

Spatio-Temporal Characterization of Qubit Routing in Connectivity-Constrained Quantum Processors

Mapping quantum algorithms to multi-core quantum computing architectures

Characterizing the Inter-Core Qubit Traffic in Large-Scale Quantum Modular Architectures

Revisiting the Mapping of Quantum Circuits: Entering the Multi-Core Era

Mapping quantum circuits to modular architectures with QUBO

Benchmarking Emerging Cavity-Mediated Quantum Interconnect Technologies for Modular Quantum Computers

MUQUT: Multi-Constraint Quantum Circuit Mapping on Noisy Intermediate-Scale Quantum Computers

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping

Timing and resource-aware mapping of quantum circuits to superconducting processors

Improving Qubit Routing by Using Entanglement Mediated Remote Gates

Symmetry-Based Quantum Circuit Mapping

Graph-based simulation of quantum computation in the density matrix representation

Benchmarking simulated and physical quantum processing units using quantum and hybrid algorithms

Interaction Techniques for User-friendly Interfaces for Gate-based Quantum Computing

Robust Qubit Mapping Algorithm via Double-Source Optimal Routing on Large Quantum Circuits

Low-depth simulations of fermionic systems on square-grid quantum hardware