Exploiting Symmetry Reduces the Cost of Training QAOA
Open accessAbstract
A promising approach to the practical application of the quantum approximate optimization algorithm (QAOA) is finding QAOA parameters classically in simulation and sampling the solutions from QAOA with optimized parameters on a quantum computer. Doing so requires repeated evaluations of QAOA energy in simulation. In this article, we propose a novel approach for accelerating the evaluation of QAOA energy by leveraging the symmetry of the problem. We show a connection between classical symmetries of the objective function and the symmetries of the terms of the cost Hamiltonian with respect to the QAOA energy. We show how by considering only the terms that are not connected by symmetry, we can significantly reduce the cost of evaluating the QAOA energy. Our approach is general and applies to any known subgroup of symmetries and is not limited to graph problems. Our results are directly applicable to nonlocal QAOA generalization recursive QAOA. We outline how available fast graph automorphism solvers can be leveraged for computing the symmetries of the problem in practice. We implement the proposed approach on the MaxCut problem using a state-of-the-art tensor network simulator and a graph automorphism solver on a benchmark of 48 graphs with up to 10 000 nodes. Our approach provides an improvement for$p=1$on 71.7% of the graphs considered, with a median speedup of 4.06, on a benchmark, where 62.5% of the graphs are known to be hard for automorphism solvers.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
By exploiting symmetries, measurement costs can be significantly reduced by considering only those terms in the measurement process that are not connected by symmetries.
“By exploiting such symmetries, the measurement costs can be significantly reduced by considering only those terms in the measurement process that are not connected by symmetries [125].”
From Quantum Combinatorial Optimization in the NISQ Era: A Systematic Mapping Study (2024) · cites this paper as [125]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
The citation lists haven’t been fetched yet
References 52 · Cited by 39
Research works printed but not linked: 4
- B. D. McKay el al, "Practical graph isomorphism," Congressus Numeran- tium, vol. 30, pp. 45-87, 1981.
- A. Piperno, "Search space contraction in canonical labeling of graphs," 2008, arXiv:0804.4881. · arXiv
- Ruslan Shaydulin (Member, IEEE) received the B.S. degree in applied mathematics and physics from the Moscow Institute of Physics and Technology, Moscow, Russia, in 2016, and the Ph.D. degree in computer science from Clemson University, Clemson, SC, USA, in 2020. He is currently a Maria Goeppert Mayer Fel- low with the Argonne National Laboratory. Prior to joining Argonne, he interned with NASA Ames and IBM Research Quantum. He has co- organized a number of tutorials on quantum op- timization, including at SIAM PP20, IEEE Quantum Week, and Argonne National Laboratory. His research interests include the challenges of uti- lizing noisy intermediate-scale quantum processors for practical problems, with the focus on optimization.
- Stefan M. Wild (Member, IEEE) received the B.S. and M.S. degrees from the University of Col- orado, Boulder, CO, USA, in 2002, and 2003 re- spectively, in applied mathematics and the Ph.D. degree in operations research from Cornell Uni- versity, Ithaca, NY, USA, in 2009. He is currently a Senior Computational Math- ematician and Director of LANS, the Labora- tory for Applied Mathematics, Numerical Soft- ware, and Statistics, Argonne National Labora- tory, Lemont, IL, USA. He is also a Senior Fel- low with the Northwestern-Argonne Institute of Science and Engineering, Northwestern University, Evanston, IL, USA. His research interests include the development of formulations, algorithms, and software for challenging mathematical optimization problems.
- Authors
- Shaydulin, R., & Wild, S. M.
- Affiliations
- Argonne National Laboratory (US)
- Venue
- IEEE Transactions on Quantum Engineering
- Published
- 2021
- Volume
- 2
- Pages
- 1-9
- ISSN
- 2689-1808 (ISSN-L)
- OpenAlex
- W3125412655
- Cited by
- 39
- References
- 52
- Citations by year
- 2026: 4 · 2025: 4 · 2024: 8 · 2023: 10 · 2022: 9 · 2021: 4
- FWCI
- 2.74
- Type
- journal article
- Language
- en
- Open access
- gold
- doi.org
- Licence
- Locations
- IEEE Transactions on Quantum Engineering (publishedVersion, cc-by)
- arXiv (Cornell University) (submittedVersion)
- DOAJ (DOAJ: Directory of Open Access Journals) (submittedVersion, cc-by-sa)
- OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) (submittedVersion)
- arXiv (Cornell University)
- Funders
- U.S. Department of Energy
- Office of Science
- Office of Advanced Scientific Computing Research AIDE-QC
- Argonne Laboratory Directed Research and Development program (DE-AC02-06CH11357)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum many-body systems
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Complexity and Algorithms in Graphs
- Keywords
- quantum approximate optimization algorithm, symmetry exploitation, graph automorphisms, MaxCut, tensor network simulation, combinatorial optimization
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review