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.

Elementary Proof of QAOA Convergence

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

Lower Bounds on Number of QAOA Rounds Required for Guaranteed Approximation Ratios

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

Convergence guarantee for linearly-constrained combinatorial optimization with a quantum alternating operator ansatz

QAOA of the Highest Order

Alignment between Initial State and Mixer Improves QAOA Performance for Constrained Optimization

Analytical Expressions for the Quantum Approximate Optimization Algorithm and its Variants

A Quantum Approximate Optimization Algorithm for continuous problems

The QAOA with Few Measurements

Quantum approximate optimization algorithm with random and subgraph phase operators

Approximating under the Influence of Quantum Noise and Compute Power

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

A Review on Quantum Approximate Optimization Algorithm and its Variants

Threshold-Based Quantum Optimization

The Quantum Alternating Operator Ansatz for Satisfiability Problems

Deep-Circuit QAOA

Bayesian Optimization for QAOA

Prog-QAOA: Framework for resource-efficient quantum optimization through classical programs

Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation