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.

Solving the Perfect Domination Problem by Quantum Approximate Optimization Algorithm with Small Layers

Application of Quantum Approximate Optimization Algorithm in Solving the Total Domination Problem

Solving the Independent Domination Problem by Quantum Approximate Optimization Algorithm

Solving the Independent Domination Problem by the Quantum Approximate Optimization Algorithm

QUBO Formulations for Variation of Domination Problem

A Multilevel Approach For Solving Large-Scale QUBO Problems With Noisy Hybrid Quantum Approximate Optimization

Progressive Quantum Algorithm for Maximum Independent Set with Quantum Alternating Operator Ansatz

Local to Global: A Distributed Quantum Approximate Optimization Algorithm for Pseudo-Boolean Optimization Problems

Towards a universal QAOA protocol: Evidence of a scaling advantage in solving some combinatorial optimization problems

QAOA-in-QAOA: Solving Large-Scale MaxCut Problems on Small Quantum Machines

Solving various NP-Hard problems using exponentially fewer qubits on a Quantum Computer

Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms

Approximating under the Influence of Quantum Noise and Compute Power

Quantum approximate optimization via learning-based adaptive optimization

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms

Solving boolean satisfiability problems with the quantum approximate optimization algorithm

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

Limitations of Quantum Approximate Optimization in Solving Generic Higher-Order Constraint-Satisfaction Problems

Quantum-Assisted Solution Paths for the Capacitated Vehicle Routing Problem

Utilizing Novel Quantum Counters for Grover's Algorithm to Solve the Dominating Set Problem