An Integrated Programming and Development Environment for Adiabatic Quantum Optimization
arXiv:1309.3575 · doi:10.1088/1749-4680/7/1/015006
Abstract
Adiabatic quantum computing is a promising route to the computational power afforded by quantum information processing. The recent availability of adiabatic hardware has raised challenging questions about how to evaluate adiabatic quantum optimization programs. Processor behavior depends on multiple steps to synthesize an adiabatic quantum program, which are each highly tunable. We present an integrated programming and development environment for adiabatic quantum optimization called JADE that provides control over all the steps taken during program synthesis. JADE captures the workflow needed to rigorously specify the adiabatic quantum optimization algorithm while allowing a variety of problem types, programming techniques, and processor configurations. We have also integrated JADE with a quantum simulation engine that enables program profiling using numerical calculation. The computational engine supports plug-ins for simulation methodologies tailored to various metrics and computing resources. We present the design, integration, and deployment of JADE and discuss its potential use for benchmarking adiabatic quantum optimization programs by the quantum computer science community.
arXiv comment28 pages, 17 figures, feedback welcomed, even if it's criticism; v2 manuscript updated based on reviewer feedback; v3 manuscript updated based on reviewer feedback, title modified
References in corpus (41)
- Quantum Annealing in the Transverse Ising Model
- A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem
- Theory of Quantum Annealing of an Ising Spin Glass
- Quantum Search by Local Adiabatic Evolution
- The Evolution of Overconfidence
- Defining and detecting quantum speedup
- Quantum Computation by Adiabatic Evolution
- Robustness of adiabatic quantum computation
- Architectural considerations in the design of a superconducting quantum annealing processor
- Experimental signature of programmable quantum annealing
- Minor-embedding in adiabatic quantum computation: II. Minor-universal graph design
- Simple proof of equivalence between adiabatic quantum computation and the circuit model
- Realizable Hamiltonians for Universal Adiabatic Quantum Computers
- A scalable control system for a superconducting adiabatic quantum optimization processor
- Glassy Chimeras could be blind to quantum speedup: Designing better benchmarks for quantum annealing machines
- Towards Fault Tolerant Adiabatic Quantum Computation
- Size dependence of the minimum excitation gap in the Quantum Adiabatic Algorithm
- Quantum adiabatic machine learning
- Non-perturbative k-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spins
- A scalable readout system for a superconducting adiabatic quantum optimization system
- Experimental determination of Ramsey numbers
- Adiabatic Quantum Computing for Random Satisfiability Problems
- How "Quantum" is the D-Wave Machine?
- Training a Binary Classifier with the Quantum Adiabatic Algorithm
- Ramsey numbers and adiabatic quantum computing
- Does Adiabatic Quantum Optimization Truly Fail for NP-complete problems?
- Error suppression and error correction in adiabatic quantum computation I: techniques and challenges
- Unification and limitations of error suppression techniques for adiabatic quantum computing
- Image recognition with an adiabatic quantum computer I. Mapping to quadratic unconstrained binary optimization
- Ground State Spin Logic
- A Near-Term Quantum Computing Approach for Hard Computational Problems in Space Exploration
- Quantum pattern recognition with liquid-state nuclear magnetic resonance
- Error suppression and error correction in adiabatic quantum computation II: non-equilibrium dynamics
- Graph isomorphism and adiabatic quantum computing
- Spectral Gap Amplification
- A Numerical Study of the Performance of a Quantum Adiabatic Evolution Algorithm for Satisfiability
- Algorithmic approach to adiabatic quantum optimization
- Different Adiabatic Quantum Optimization Algorithms for the NP-Complete Exact Cover and 3SAT Problems
- On Quadratization of Pseudo-Boolean Functions
- A System Exhibiting Toroidal Order
- Adiabatic Quantum Programming: Minor Embedding With Hard Faults
Cited by in corpus (8)
- Quantum Computing based Hybrid Solution Strategies for Large-scale Discrete-Continuous Optimization Problems
- Application of Quantum Annealing to Nurse Scheduling Problem
- Validating Quantum-Classical Programming Models with Tensor Network Simulations
- Quantum annealing for systems of polynomial equations
- Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
- Simulated Quantum Annealing with Two All-to-All Connectivity Schemes
- Vacancies in graphene: an application of adiabatic quantum optimization
- Performance Models for Split-execution Computing Systems