Performance and limitations of the QAOA at constant levels on large
sparse hypergraphs and spin glass models
- URL: http://arxiv.org/abs/2204.10306v2
- Date: Wed, 28 Sep 2022 18:29:25 GMT
- Title: Performance and limitations of the QAOA at constant levels on large
sparse hypergraphs and spin glass models
- Authors: Joao Basso, David Gamarnik, Song Mei, Leo Zhou
- Abstract summary: We prove concentration properties at any constant level (number of layers) on ensembles of random optimization problems in the infinite size limit.
Our analysis can be understood via a saddle-point approximation of a sum-over-paths integral.
We show that the performance of the QAOA at constant levels is bounded away from optimality for pure $q$-spin models when $qge 4$ and is even.
- Score: 15.857373057387669
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a general purpose
quantum algorithm designed for combinatorial optimization. We analyze its
expected performance and prove concentration properties at any constant level
(number of layers) on ensembles of random combinatorial optimization problems
in the infinite size limit. These ensembles include mixed spin models and
Max-$q$-XORSAT on sparse random hypergraphs. Our analysis can be understood via
a saddle-point approximation of a sum-over-paths integral. This is made
rigorous by proving a generalization of the multinomial theorem, which is a
technical result of independent interest. We then show that the performance of
the QAOA at constant levels for the pure $q$-spin model matches asymptotically
the ones for Max-$q$-XORSAT on random sparse Erd\H{o}s-R\'{e}nyi hypergraphs
and every large-girth regular hypergraph. Through this correspondence, we
establish that the average-case value produced by the QAOA at constant levels
is bounded away from optimality for pure $q$-spin models when $q\ge 4$ and is
even. This limitation gives a hardness of approximation result for quantum
algorithms in a new regime where the whole graph is seen.
Related papers
- Missing Puzzle Pieces in the Performance Landscape of the Quantum Approximate Optimization Algorithm [0.0]
We consider the maximum cut and maximum independent set problems on random regular graphs.
We calculate the energy densities achieved by QAOA for high regularities up to $d=100$.
We combine the QAOA analysis with state-of-the-art upper bounds on optimality for both problems.
arXiv Detail & Related papers (2024-06-20T18:00:02Z) - The Overlap Gap Property limits limit swapping in QAOA [0.0]
The Quantum Approximate Optimization Algorithm (QAOA) is a quantum algorithm designed for Combinatorial Optimization Problem (COP)
We show that even when sub-optimised, the performance of QAOA on spin glass is equal in performance to classical algorithms in solving the mean field spin glass problem.
arXiv Detail & Related papers (2024-04-09T07:45:06Z) - An Expressive Ansatz for Low-Depth Quantum Approximate Optimisation [0.23999111269325263]
The quantum approximate optimisation algorithm (QAOA) is a hybrid quantum-classical algorithm used to approximately solve optimisation problems.
While QAOA can be implemented on NISQ devices, physical limitations can limit circuit depth and decrease performance.
This work introduces the eXpressive QAOA (XQAOA) that assigns more classical parameters to the ansatz to improve its performance at low depths.
arXiv Detail & Related papers (2023-02-09T07:47:06Z) - Optimal Extragradient-Based Bilinearly-Coupled Saddle-Point Optimization [116.89941263390769]
We consider the smooth convex-concave bilinearly-coupled saddle-point problem, $min_mathbfxmax_mathbfyF(mathbfx) + H(mathbfx,mathbfy)$, where one has access to first-order oracles for $F$, $G$ as well as the bilinear coupling function $H$.
We present a emphaccelerated gradient-extragradient (AG-EG) descent-ascent algorithm that combines extragrad
arXiv Detail & Related papers (2022-06-17T06:10:20Z) - QAOA-in-QAOA: solving large-scale MaxCut problems on small quantum
machines [81.4597482536073]
Quantum approximate optimization algorithms (QAOAs) utilize the power of quantum machines and inherit the spirit of adiabatic evolution.
We propose QAOA-in-QAOA ($textQAOA2$) to solve arbitrary large-scale MaxCut problems using quantum machines.
Our method can be seamlessly embedded into other advanced strategies to enhance the capability of QAOAs in large-scale optimization problems.
arXiv Detail & Related papers (2022-05-24T03:49:10Z) - Predicting parameters for the Quantum Approximate Optimization Algorithm
for MAX-CUT from the infinite-size limit [0.05076419064097732]
We present an explicit algorithm to evaluate the performance of QAOA on MAX-CUT applied to random Erdos-Renyi graphs of expected degree $d$.
This analysis yields an explicit mapping between QAOA parameters for MAX-CUT on Erdos-Renyi graphs, and the Sherrington-Kirkpatrick model.
arXiv Detail & Related papers (2021-10-20T17:58:53Z) - Solving correlation clustering with QAOA and a Rydberg qudit system: a
full-stack approach [94.37521840642141]
We study the correlation clustering problem using the quantum approximate optimization algorithm (QAOA) and qudits.
Specifically, we consider a neutral atom quantum computer and propose a full stack approach for correlation clustering.
We show the qudit implementation is superior to the qubit encoding as quantified by the gate count.
arXiv Detail & Related papers (2021-06-22T11:07:38Z) - Spectral clustering under degree heterogeneity: a case for the random
walk Laplacian [83.79286663107845]
This paper shows that graph spectral embedding using the random walk Laplacian produces vector representations which are completely corrected for node degree.
In the special case of a degree-corrected block model, the embedding concentrates about K distinct points, representing communities.
arXiv Detail & Related papers (2021-05-03T16:36:27Z) - Hybrid quantum-classical algorithms for approximate graph coloring [65.62256987706128]
We show how to apply the quantum approximate optimization algorithm (RQAOA) to MAX-$k$-CUT, the problem of finding an approximate $k$-vertex coloring of a graph.
We construct an efficient classical simulation algorithm which simulates level-$1$ QAOA and level-$1$ RQAOA for arbitrary graphs.
arXiv Detail & Related papers (2020-11-26T18:22:21Z) - Generating Target Graph Couplings for QAOA from Native Quantum Hardware
Couplings [3.2622301272834524]
We present methods for constructing any target coupling graph using limited global controls in an Ising-like quantum spin system.
Our approach is motivated by implementing the quantum approximate optimization algorithm (QAOA) on trapped ion quantum hardware.
Noisy simulations of Max-Cut QAOA show that our implementation is less susceptible to noise than the standard gate-based compilation.
arXiv Detail & Related papers (2020-11-16T18:43:09Z) - ROOT-SGD: Sharp Nonasymptotics and Near-Optimal Asymptotics in a Single Algorithm [71.13558000599839]
We study the problem of solving strongly convex and smooth unconstrained optimization problems using first-order algorithms.
We devise a novel, referred to as Recursive One-Over-T SGD, based on an easily implementable, averaging of past gradients.
We prove that it simultaneously achieves state-of-the-art performance in both a finite-sample, nonasymptotic sense and an sense.
arXiv Detail & Related papers (2020-08-28T14:46:56Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.