Abstract:The quantum approximate optimisation algorithm (QAOA) is at the core of many scenarios that aim to combine the power of quantum computers and classical high-performance computing appliances for combinatorial optimisation. Several obstacles challenge concrete benefits now and in the foreseeable future: Imperfections quickly degrade algorithmic performance below practical utility; overheads arising from alternating between classical and quantum primitives can counter any advantage; and the choice of parameters or algorithmic variant can substantially influence runtime and result quality. Selecting the optimal combination is a non-trivial issue, as it not only depends on user requirements, but also on details of the hardware and software stack. Appropriate automation can lift the burden of choosing optimal combinations for end-users: They should not be required to understand technicalities like differences between QAOA variants, required number of QAOA layers, or necessary measurement samples. Yet, they should receive best-possible satisfaction of their non-functional requirements, be it performance or other. We determine factors that affect solution quality and temporal behaviour of four QAOA variants using comprehensive density-matrix-based simulations targeting three widely studied optimisation problems. Our simulations consider ideal quantum computation, and a continuum of scenarios troubled by realistic imperfections. Our quantitative results, accompanied by a comprehensive reproduction package, show strong differences between QAOA variants that can be pinpointed to narrow and specific effects. We identify influential co-variables and relevant non-functional quality goals that, we argue, mark the relevant ingredients for designing appropriate software engineering abstraction mechanisms and automated tool-chains for devising quantum solutions from high-level problem specifications.

Comparison of QAOA with Quantum and Simulated Annealing

The QAOA with Few Measurements

Benchmarking Metaheuristic-Integrated QAOA against Quantum Annealing

Bayesian Optimization for QAOA

Advantages of multistage quantum walks over QAOA

Mean-Field Approximate Optimization Algorithm

Approximating under the Influence of Quantum Noise and Compute Power

Benchmarking the performance of portfolio optimization with QAOA

Evaluating Quantum Approximate Optimization Algorithm: A Case Study

A Review on Quantum Approximate Optimization Algorithm and its Variants

An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer

Quantum Adversarial Learning in Emulation of Monte-Carlo Methods for Max-cut Approximation: QAOA is not optimal

Solving boolean satisfiability problems with the quantum approximate optimization algorithm

A Quantum Approximate Optimization Algorithm for continuous problems

QAOA of the Highest Order

Shortcuts to the Quantum Approximate Optimization Algorithm

Deep-Circuit QAOA

Numerical Evidence for Exponential Speed-up of QAOA over Unstructured Search for Approximate Constrained Optimization

Evidence of Scaling Advantage for the Quantum Approximate Optimization Algorithm on a Classically Intractable Problem

Multiscale Quantum Approximate Optimization Algorithm