Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Quantum approximate optimization algorithms for maximum cut on low-girth graphs

Tongyang Li* and Yuexin Su†

Ziyi Yang‡

Shengyu Zhang§

  • School of Computer Science, Peking University, 5 Yiheyuan Road, Haidian District, Beijing, China and Center on Frontiers of Computing Studies, Peking University, 5 Yiheyuan Road, Haidian District, Beijing, China

  • School of Mathematical Science, Peking University, 5 Yiheyuan Road, Haidian District, Beijing, China

  • Tencent Quantum Laboratory, 33 Haitian Second Road, Nanshan District, Shenzhen, Guangdong, China

  • *Contact author: tongyangli@pku.edu.cn
  • †Contact author: yuexinsu@stu.pku.edu.cn
  • ‡Contact author: 2100010833@stu.pku.edu.cn
  • §Contact author: shengyzhang@tencent.com

Phys. Rev. Research 7, 033014 – Published 2 July, 2025

DOI: https://doi.org/10.1103/jypq-v1fn

Abstract

Maximum cut (MaxCut) on graphs is a classic NP-hard problem. In quantum computing, Farhi, Gutmann, and Goldstone proposed the quantum approximate optimization algorithm (QAOA) for solving the MaxCut problem. Its guarantee on the cut fraction (the fraction of edges in the output cut over all edges) was mainly studied for high-girth graphs, i.e., graphs with only long cycles. On the other hand, low-girth graphs are ubiquitous in theoretical computer science, including expander graphs, which are outstanding examples with wide applications in theory and beyond. In this paper, we apply QAOA to MaxCut on a set of expander graphs proposed by Mohanty and O'Donnell, known as additive product graphs. Additionally, we apply multi-angle QAOA (ma-QAOA) to better utilize the graph structure of additive product graphs in the ansatz design. In theory, we derive an iterative formula to calculate the expected cut fraction of such graphs. This formula also extends to the quantum MaxCut problem. On the other hand, we conduct numerical experiments to compare the best-known classical local algorithms and QAOA with constant depth. Our results demonstrate that QAOA outperforms these best-known classical algorithms by 0.3% to 5.2% on several additive product graphs, while ma-QAOA further enhances this advantage by an additional 0.6% to 2.5%. In particular, we observe cases in which ma-QAOA exhibits superiority over the best-known classical algorithms but QAOA does not. Furthermore, we extend our experiments to planar graphs, such as tiling grid graphs, where QAOA also demonstrates an advantage.

View figure in article

Physics Subject Headings (PhySH)

Article Text

References (26)

  1. R. M. Karp, Reducibility Among Combinatorial Problems (Springer, New York, 2010).
  2. M. X. Goemans and D. P. Williamson, Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming, J. ACM 42, 1115 (1995).
  3. S. Khot, G. Kindler, E. Mossel, and R. O'Donnell, Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? SIAM J. Comput. 37, 319 (2007).
  4. E. Farhi, J. Goldstone, and S. Gutmann, A quantum approximate optimization algorithm, arXiv:1411.4028.
  5. Note that there exists a 1-local quantum algorithm based on annealing that achieves an approximation ratio over 0.7020 on 3-regular graphs [26]. The p-local analysis of quantum annealing involves only analyzing it on subgraphs composed of the vertices within distance p from each edge. In this paper, we specifically focus on QAOA with constant p.
  6. J. Wurtz and P. Love, MaxCut quantum approximate optimization algorithm performance guarantees for p>1, Phys. Rev. A 103, 042612 (2021).
  7. M. B. Hastings, Classical and quantum bounded depth approximation algorithms, Quantum Info. Comput. 19, 1116 (2019).
  8. K. Marwaha, Local classical MAX-CUT algorithm outperforms p=2 QAOA on high-girth regular graphs, Quantum 5, 437 (2021).
  9. J. Basso, E. Farhi, K. Marwaha, B. Villalonga, and L. Zhou, The quantum approximate optimization algorithm at high depth for MaxCut on large-girth regular graphs and the Sherrington-Kirkpatrick model, in 17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022), edited by F. Le Gall and T. Morimae (Schloss-Dagstuhl-Leibniz Zentrum für Informatik, Dagstuhl, Germany, 2022), pp. 7:1–7:21.
  10. B. Barak and K. Marwaha, Classical algorithms and quantum limitations for maximum cut on high-girth graphs, in 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), edited by M. Braverman (Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022).
  11. S. Mohanty and R. O'Donnell, X-Ramanujan graphs, in Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms (Society for Industrial and Applied Mathematics, Salt Lake City, Utah, 2020), pp. 1226–1243.
  12. A. Lubotzky, Expander graphs in pure and applied mathematics, Bull. Am. Math. Soc. 49, 113 (2012).
  13. S. Hoory, N. Linial, and A. Wigderson, Expander graphs and their applications, Bull. Am. Math. Soc. 43, 439 (2006).
  14. A standard QAOA circuit with p layers uses 2p variational parameters. For our ma-QAOA algorithm applied to an additive product graph constructed from c atom graphs, the parameter count grows to (c+1)p.
  15. I. Kannan, R. King, and L. Zhou, A quantum approximate optimization algorithm for local Hamiltonian problems, arXiv:2412.09221.
  16. J. Hirvonen, J. Rybicki, S. Schmid, and J. Suomela, Large cuts with local algorithms on triangle-free graphs, Electon. J. Combinator, P4 (2017).
  17. R. Herrman, P. C. Lotshaw, J. Ostrowski, T. S. Humble, and G. Siopsis, Multi-angle quantum approximate optimization algorithm, Sci. Rep. 12, 6781 (2022).
  18. M. Ragone, B. N. Bakalov, F. Sauvage, A. F. Kemper, C. Ortiz Marrero, M. Larocca, and M. Cerezo, A Lie algebraic theory of barren plateaus for deep parameterized quantum circuits, Nat. Commun. 15, 7172 (2024).
  19. M. Heidari, M. Mozakka, and W. Szpankowski, Efficient gradient estimation of variational quantum circuits with Lie algebraic symmetries, arXiv:2404.05108.
  20. I. Gaidai and R. Herrman, Performance analysis of multi-angle QAOA for p>1, Sci. Rep. 14, 18911 (2024).
  21. A. Montanari, Optimization of the Sherrington–Kirkpatrick Hamiltonian, SIAM J. Comput., FOCS19-1 (2019).
  22. A. El Alaoui, A. Montanari, and M. Sellke, Local algorithms for maximum cut and minimum bisection on locally treelike regular graphs of large degree, Random Struct. Algorithms 63, 689 (2023).
  23. https://github.com/Macondooo/MaxCut-on-low-girth-graphs/tree/main/Classical-local-algorithms-calculation.
  24. https://github.com/Macondooo/MaxCut-on-low-girth-graphs/tree/main/QAOA-calculation.
  25. S. Boulebnane and A. Montanaro, Predicting parameters for the quantum approximate optimization algorithm for MAX-CUT from the infinite-size limit, arXiv:2110.10685.
  26. A. Braida, S. Martiel, and I. Todinca, Tight Lieb–Robinson bound for approximation ratio in quantum annealing, npj Quantum Inf. 10, 40 (2024).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation