Abstract:The Quantum Approximate Optimisation Algorithm (QAOA) is a hybrid quantum-classical algorithm used to approximately solve combinatorial optimisation problems. It involves multiple iterations of a parameterised ansatz that consists of a problem and mixer Hamiltonian, with the parameters being classically optimised. While QAOA can be implemented on near-term quantum hardware, physical limitations such as gate noise, restricted qubit connectivity, and state-preparation-and-measurement errors can limit circuit depth and decrease performance. To address these limitations, this work introduces the eXpressive QAOA (XQAOA), an overparameterised variant of QAOA that assigns more classical parameters to the ansatz to improve its performance at low depths. XQAOA also introduces an additional Pauli-Y component in the mixer Hamiltonian, allowing the mixer to implement arbitrary unitary transformations on each qubit. To benchmark the performance of XQAOA at unit depth, we derive its closed-form expression for the MaxCut problem and compare it to QAOA, Multi-Angle QAOA(MA-QAOA), a Classical-Relaxed algorithm, and the state-of-the-art Goemans-Williamson algorithm on a set of unweighted regular graphs with 128 and 256 nodes for degrees ranging from 3 to 10. Our results indicate that at unit depth, XQAOA has benign loss landscapes with local minima concentrated near the global optimum, allowing it to consistently outperform QAOA, MA-QAOA, and the Classical-Relaxed algorithm on all graph instances and the Goemans-Williamson algorithm on graph instances with degrees greater than 4. Small-scale simulations also reveal that unit-depth XQAOA invariably surpasses both QAOA and MA-QAOA on all tested depths up to five. Additionally, we find an infinite family of graphs for which XQAOA solves MaxCut exactly and analytically show that for some graphs in this family, special cases of XQAOA are capable of achieving a much larger approximation ratio than QAOA. Overall, XQAOA is a more viable choice for variational quantum optimisation on near-term quantum devices, offering competitive performance at low depths.

Analyzing the quantum approximate optimization algorithm: ansätze, symmetries, and Lie algebras

On the dynamical Lie algebras of quantum approximate optimization algorithms

Analytical Expressions for the Quantum Approximate Optimization Algorithm and its Variants

Quantum approximate optimization algorithm with random and subgraph phase operators

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

Missing Puzzle Pieces in the Performance Landscape of the Quantum Approximate Optimization Algorithm

Quantum Approximate Optimization Algorithms for Maxmimum Cut on Low-Girth Graphs

Quantum Approximate Optimization Algorithm for MaxCut: A Fermionic View

Quantum Approximate Optimisation Applied to Graph Similarity

On the Effects of Small Graph Perturbations in the MaxCut Problem by QAOA

Quantum Approximate Optimization With Parallelizable Gates

QAOA of the Highest Order

Symmetries and Dimension Reduction in Quantum Approximate Optimization Algorithm

Entanglement perspective on the quantum approximate optimization algorithm

Phantom Edges in the Problem Hamiltonian: A Method for Increasing Performance and Graph Visibility for QAOA

Automorphism-Assisted Quantum Approximate Optimization Algorithm for efficient graph optimization

Strategies for running the QAOA at hundreds of qubits

An Expressive Ansatz for Low-Depth Quantum Approximate Optimisation

Reducing QAOA Circuit Depth by Factoring out Semi-Symmetries

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

Augmenting QAOA Ansatz with Multiparameter Problem-Independent Layer