Abstract:A massive gap exists between current quantum computing (QC) prototypes, and the size and scale required for many proposed QC algorithms. Current QC implementations are prone to noise and variability which affect their reliability, and yet with less than 80 quantum bits (qubits) total, they are too resource-constrained to implement error correction. The term Noisy Intermediate-Scale Quantum (NISQ) refers to these current and near-term systems of 1000 qubits or less. Given NISQ's severe resource constraints, low reliability, and high variability in physical characteristics such as coherence time or error rates, it is of pressing importance to map computations onto them in ways that use resources efficiently and maximize the likelihood of successful runs. This paper proposes and evaluates backend compiler approaches to map and optimize high-level QC programs to execute with high reliability on NISQ systems with diverse hardware characteristics. Our techniques all start from an LLVM intermediate representation of the quantum program (such as would be generated from high-level QC languages like Scaffold) and generate QC executables runnable on the IBM Q public QC machine. We then use this framework to implement and evaluate several optimal and heuristic mapping methods. These methods vary in how they account for the availability of dynamic machine calibration data, the relative importance of various noise parameters, the different possible routing strategies, and the relative importance of compile-time scalability versus runtime success. Using real-system measurements, we show that fine grained spatial and temporal variations in hardware parameters can be exploited to obtain an average 2.9x (and up to 18x) improvement in program success rate over the industry standard IBM Qiskit compiler. Despite small qubit counts, NISQ systems will soon be large enough to demonstrate "quantum supremacy", i.e., an advantage over classical computing. Tools like ours provide significant improvements in program reliability and execution time, and offer high leverage in accelerating progress towards quantum supremacy.

Markovian noise modelling and parameter extraction framework for quantum devices

Markovian Noise Modelling and Parameter Extraction Framework for Quantum Devices

Noise-assisted digital quantum simulation of open systems

Unifying non-Markovian characterisation with an efficient and self-consistent framework

Simulating open quantum systems using noise models and NISQ devices with error mitigation

Fitting quantum noise models to tomography data

Model-Independent Error Mitigation in Parametric Quantum Circuits and Depolarizing Projection of Quantum Noise

Model-Independent Error Mitigation in Parametric Quantum Circuits and Depolarizing Projection of Quantum Noise

Volumetric Benchmarking of Quantum Computing Noise Models

Machine-learning based noise characterization and correction on neutral atoms NISQ devices

The impact of noise on the simulation of NMR spectroscopy on NISQ devices

Optimized noise-assisted simulation of the Lindblad equation with time-dependent coefficients on a noisy quantum processor

Modelling non-Markovian noise in driven superconducting qubits

Construction and volumetric benchmarking of quantum computing noise models

Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers

Multiaxis quantum noise spectroscopy robust to errors in state preparation and measurement

Efficient Simulation of Open Quantum Systems on NISQ Trapped-Ion Hardware

A novel approach to noisy gates for simulating quantum computers

SANQ: A Simulation Framework for Architecting Noisy Intermediate-Scale Quantum Computing System

Beyond Quantum Noise Spectroscopy: modelling and mitigating noise with quantum feature engineering

Understanding and mitigating noise in molecular quantum linear response for spectroscopic properties on quantum computers