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.

Approximate Quantum Fourier Transform and Decoherence.

Dynamics and Quantum Zeno Effect for a Qubit in Either a Low- or High-Frequency Bath Beyond the Rotating-Wave Approximation

Approximating under the Influence of Quantum Noise and Compute Power

Decoherence of qubits: results beyond Markovian approximation

The Discrete Noise Approximation in Quantum Circuits

Real-time adaptive estimation of decoherence timescales for a single qubit

Quasi-Hamiltonian Method for Computation of Decoherence Rates

Decoherence and recoherence in quantum computation

Quantum Fourier Transform Revisited

Quantum Approximate Optimization: A Computational Intelligence Perspective

Quantum Algorithms for Scientific Computing and Approximate Optimization

Quantum Algorithms Revisited

Quantifying the Impact of Precision Errors on Quantum Approximate Optimization Algorithms

A Fourier analysis framework for approximate classical simulations of quantum circuits

Connection between single-layer Quantum Approximate Optimization Algorithm interferometry and thermal distributions sampling

Approximation of Quantum States Using Decision Diagrams

Approximate Quantum Compiling for Quantum Simulation: A Tensor Network based approach

Approximating dynamical correlation functions with constant depth quantum circuits

Error mitigation for quantum approximate optimization

A Quantum Approximate Optimization Algorithm for continuous problems