Compiling quantum circuits to realistic hardware architectures using temporal planners
arXiv:1705.08927 · doi:10.1088/2058-9565/aaa331
Abstract
To run quantum algorithms on emerging gate-model quantum hardware, quantum circuits must be compiled to take into account constraints on the hardware. For near-term hardware, with only limited means to mitigate decoherence, it is critical to minimize the duration of the circuit. We investigate the application of temporal planners to the problem of compiling quantum circuits to newly emerging quantum hardware. While our approach is general, we focus on compiling to superconducting hardware architectures with nearest neighbor constraints. Our initial experiments focus on compiling Quantum Alternating Operator Ansatz (QAOA) circuits whose high number of commuting gates allow great flexibility in the order in which the gates can be applied. That freedom makes it more challenging to find optimal compilations but also means there is a greater potential win from more optimized compilation than for less flexible circuits. We map this quantum circuit compilation problem to a temporal planning problem, and generated a test suite of compilation problems for QAOA circuits of various sizes to a realistic hardware architecture. We report compilation results from several state-of-the-art temporal planners on this test set. This early empirical evaluation demonstrates that temporal planning is a viable approach to quantum circuit compilation.
updated manuscript, more planners and results
References in corpus (12)
- A Quantum Approximate Optimization Algorithm
- From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz
- Planning Through Stochastic Local Search and Temporal Action Graphs in LPG
- Resource-Aware Quantum Programming with General Recursion and Quantum Control
- Demonstration of Universal Parametric Entangling Gates on a Multi-Qubit Lattice
- Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
- Efficient Distributed Quantum Computing
- Parametrically Activated Entangling Gates Using Transmon Qubits
- A Quantum Approximate Optimization Algorithm Applied to a Bounded Occurrence Constraint Problem
- Practical optimization for hybrid quantum-classical algorithms
- Quantum Algorithms for Fixed Qubit Architectures
- Depth-Optimal Quantum Circuit Placement for Arbitrary Topologies
Cited by in corpus (60)
- From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz
- Quantum-assisted quantum compiling
- QAOA for Max-Cut requires hundreds of qubits for quantum speed-up
- Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
- Learning the quantum algorithm for state overlap
- -mixers: analytical and numerical results for QAOA
- Noise Resilience of Variational Quantum Compiling
- Challenges and Opportunities of Near-Term Quantum Computing Systems
- Theory of overparametrization in quantum neural networks
- From pulses to circuits and back again: A quantum optimal control perspective on variational quantum algorithms
- Asymptotic Improvements to Quantum Circuits via Qutrits
- Optimality Study of Existing Quantum Computing Layout Synthesis Tools
- Timing and resource-aware mapping of quantum circuits to superconducting processors
- Time-Sliced Quantum Circuit Partitioning for Modular Architectures
- Quantum autoencoders via quantum adders with genetic algorithms
- Two-step approach to scheduling quantum circuits
- Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
- Circuit Transformations for Quantum Architectures
- Mapping of Lattice Surgery-based Quantum Circuits on Surface Code Architectures
- A Case for Variability-Aware Policies for NISQ-Era Quantum Computers
- A quantum alternating operator ansatz with hard and soft constraints for lattice protein folding
- Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
- Resource-Efficient Quantum Computing by Breaking Abstractions
- Fault-tolerant Quantum Error Correction on Near-term Quantum Processors using Flag and Bridge Qubits
- Non-trivial symmetries in quantum landscapes and their resilience to quantum noise
- Observation of higher-order topological states on a quantum computer
- Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
- Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques
- Analyzing the impact of time-correlated noise on zero-noise extrapolation
- Designing calibration and expressivity-efficient instruction sets for quantum computing
- Reducing the CNOT count for Clifford+T circuits on NISQ architectures
- Efficient and Effective Quantum Compiling for Entanglement-based Machine Learning on IBM Q Devices
- CODAR: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices
- Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
- Topological-Graph Dependencies and Scaling Properties of a Heuristic Qubit-Assignment Algorithm
- Numerical Gate Synthesis for Quantum Heuristics on Bosonic Quantum Processors
- Robust Qubit Mapping Algorithm via Double-Source Optimal Routing on Large Quantum Circuits
- Mixer-Phaser Ansätze for Quantum Optimization with Hard Constraints
- 2QAN: A quantum compiler for 2-local qubit Hamiltonian simulation algorithms
- Binary Control Pulse Optimization for Quantum Systems
- Using Reinforcement Learning to find Efficient Qubit Routing Policies for Deployment in Near-term Quantum Computers
- Hardware-Conscious Optimization of the Quantum Toffoli Gate
- From Ansätze to Z-gates: a NASA View of Quantum Computing
- Noise amplification at spin-glass bottlenecks of quantum annealing: a solvable model
- Quantum SWAP gate realized with CZ and iSWAP gates in a superconducting architecture
- Exploring ab initio machine synthesis of quantum circuits
- Theoretical survey of unconventional quantum annealing methods applied to adifficult trial problem
- Evolving Quantum Circuits
- QuYBE -- An Algebraic Compiler for Quantum Circuit Compression
- Towards Efficient Superconducting Quantum Processor Architecture Design
- Quantum Circuit Transformation: A Monte Carlo Tree Search Framework
- Realizing Quantum Algorithms on Real Quantum Computing Devices
- Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices
- Error Mitigation in Quantum Computers through Instruction Scheduling
- Exploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems
- Hybrid Quantum-Classical Eigensolver Without Variation or Parametric Gates
- Resilience-Runtime Tradeoff Relations for Quantum Algorithms
- Quantum Computation
- State-dependent Routing Dynamics in Noisy Quantum Computing Devices
- Special-Purpose Quantum Processor Design