Skip to main content
Erschienen in: 4OR 3/2023

31.07.2023 | Invited Survey

An introduction to variational quantum algorithms for combinatorial optimization problems

verfasst von: Camille Grange, Michael Poss, Eric Bourreau

Erschienen in: 4OR | Ausgabe 3/2023

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Noisy intermediate-scale quantum computers (NISQ computers) are now readily available, motivating many researchers to experiment with Variational Quantum Algorithms (VQAs). Among them, the Quantum Approximate Optimization Algorithm (QAOA) is one of the most popular one studied by the combinatorial optimization community. In this tutorial, we provide a mathematical description of the class of Variational Quantum Algorithms, assuming no previous knowledge of quantum physics from the readers. We introduce precisely the key aspects of these hybrid algorithms on the quantum side (parametrized quantum circuit) and the classical side (guiding function, optimizer). We devote a particular attention to QAOA, detailing the quantum circuits involved in that algorithm, as well as the properties satisfied by its possible guiding functions. Finally, we discuss the recent literature on QAOA, highlighting several research trends.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
Two quantum states \(\vert \psi \rangle \) and \(\vert \psi '\rangle = e^{i\alpha }\vert \psi \rangle \), with \(\alpha \in [0,2\pi [\), that only differ by a global phase are indiscernible by measurement. Thus, we do not consider global phase of quantum states nor quantum gates.
 
2
A complex square matrix is Hermitian if it is equal to its conjugate transpose.
 
3
For \(t\in \{k\pi : k\in \mathbb {Z}\},\,R_{Z,j}(2t) = I\). Thus, \(CX_{i,j} R_{Z,j}(2t)CX_{i,j} = CX_{i,j}CX_{i,j} = I\) because CNOT is its own inverse.
 
4
Notice that here we talk about the general depth, not p, which is the longest path in the circuit, namely the maximum number of gates executed on a qubit.
 
Literatur
Zurück zum Zitat Amaro D, Modica C, Rosenkranz M, Fiorentini M, Benedetti M, Lubasch M (2022) Filtering variational quantum algorithms for combinatorial optimization. Quantum Sci Technol 7(1):015021CrossRef Amaro D, Modica C, Rosenkranz M, Fiorentini M, Benedetti M, Lubasch M (2022) Filtering variational quantum algorithms for combinatorial optimization. Quantum Sci Technol 7(1):015021CrossRef
Zurück zum Zitat Ambainis A, Balodis K, Iraids J, Kokainis M, Prūsis K, Vihrovs J (2019) Quantum speedups for exponential-time dynamic programming algorithms. In: Proceedings of the thirtieth annual ACM-SIAM symposium on discrete algorithms, pp 1783–1793. SIAM Ambainis A, Balodis K, Iraids J, Kokainis M, Prūsis K, Vihrovs J (2019) Quantum speedups for exponential-time dynamic programming algorithms. In: Proceedings of the thirtieth annual ACM-SIAM symposium on discrete algorithms, pp 1783–1793. SIAM
Zurück zum Zitat Barkoutsos PK, Nannicini G, Robert A, Tavernelli I, Woerner S (2020) Improving variational quantum optimization using CVaR. Quantum 4:256CrossRef Barkoutsos PK, Nannicini G, Robert A, Tavernelli I, Woerner S (2020) Improving variational quantum optimization using CVaR. Quantum 4:256CrossRef
Zurück zum Zitat Bravyi S, Kliesch A, Koenig R, Tang E (2020) Obstacles to variational quantum optimization from symmetry protection. Phys Rev Lett 125(26):260505CrossRef Bravyi S, Kliesch A, Koenig R, Tang E (2020) Obstacles to variational quantum optimization from symmetry protection. Phys Rev Lett 125(26):260505CrossRef
Zurück zum Zitat Bravyi S, Kliesch A, Koenig R, Tang E (2022) Hybrid quantum-classical algorithms for approximate graph coloring. Quantum 6:678CrossRef Bravyi S, Kliesch A, Koenig R, Tang E (2022) Hybrid quantum-classical algorithms for approximate graph coloring. Quantum 6:678CrossRef
Zurück zum Zitat Cerezo M, Arrasmith A, Babbush R, Benjamin SC, Endo S, Fujii K, McClean JR, Mitarai K, Yuan X, Cincio L et al (2021) Variational quantum algorithms. Nat Rev Phys 3(9):625–644CrossRef Cerezo M, Arrasmith A, Babbush R, Benjamin SC, Endo S, Fujii K, McClean JR, Mitarai K, Yuan X, Cincio L et al (2021) Variational quantum algorithms. Nat Rev Phys 3(9):625–644CrossRef
Zurück zum Zitat Crooks GE (2018) Performance of the quantum approximate optimization algorithm on the maximum cut problem. arXiv preprint arXiv:1811.08419 Crooks GE (2018) Performance of the quantum approximate optimization algorithm on the maximum cut problem. arXiv preprint arXiv:​1811.​08419
Zurück zum Zitat De Palma G, Marvian M, Rouzé C, França DS (2023) Limitations of variational quantum algorithms: a quantum optimal transport approach. PRX Quantum 4(1):010309CrossRef De Palma G, Marvian M, Rouzé C, França DS (2023) Limitations of variational quantum algorithms: a quantum optimal transport approach. PRX Quantum 4(1):010309CrossRef
Zurück zum Zitat Egger DJ, Marecek J, Woerner S (2021) Warm-starting quantum optimization. Quantum 5:479CrossRef Egger DJ, Marecek J, Woerner S (2021) Warm-starting quantum optimization. Quantum 5:479CrossRef
Zurück zum Zitat Farhi E, Gamarnik D, Gutmann S (2020) The quantum approximate optimization algorithm needs to see the whole graph: A typical case. arXiv preprint arXiv:2004.09002 Farhi E, Gamarnik D, Gutmann S (2020) The quantum approximate optimization algorithm needs to see the whole graph: A typical case. arXiv preprint arXiv:​2004.​09002
Zurück zum Zitat Farhi E, Harrow AW (2016) Quantum supremacy through the quantum approximate optimization algorithm. arXiv preprint arXiv:1602.07674 Farhi E, Harrow AW (2016) Quantum supremacy through the quantum approximate optimization algorithm. arXiv preprint arXiv:​1602.​07674
Zurück zum Zitat Fortran I, Press W, Teukolsky S, Vetterling W, Flannery B (1992) Numerical recipes. Cambridge, UK, Cambridge University Press Fortran I, Press W, Teukolsky S, Vetterling W, Flannery B (1992) Numerical recipes. Cambridge, UK, Cambridge University Press
Zurück zum Zitat Glover F, Kochenberger G, Du Y (2019) Quantum bridge analytics I: a tutorial on formulating and using QUBO models. 4OR, 17:335–371 Glover F, Kochenberger G, Du Y (2019) Quantum bridge analytics I: a tutorial on formulating and using QUBO models. 4OR, 17:335–371
Zurück zum Zitat Goemans MX, Williamson DP (1995) Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J ACM (JACM) 42(6):1115–1145CrossRef Goemans MX, Williamson DP (1995) Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J ACM (JACM) 42(6):1115–1145CrossRef
Zurück zum Zitat Grover LK (1996) A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp 212–219 Grover LK (1996) A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp 212–219
Zurück zum Zitat Guerreschi GG, Matsuura AY (2019) QAOA for max-cut requires hundreds of qubits for quantum speed-up. Sci Rep 9(1):1–7CrossRef Guerreschi GG, Matsuura AY (2019) QAOA for max-cut requires hundreds of qubits for quantum speed-up. Sci Rep 9(1):1–7CrossRef
Zurück zum Zitat Hadfield S, Wang Z, O’gorman B, Rieffel EG, Venturelli D, Biswas R (2019) From the quantum approximate optimization algorithm to a quantum alternating operator ansatz. Algorithms 12(2):34CrossRef Hadfield S, Wang Z, O’gorman B, Rieffel EG, Venturelli D, Biswas R (2019) From the quantum approximate optimization algorithm to a quantum alternating operator ansatz. Algorithms 12(2):34CrossRef
Zurück zum Zitat Hellemo L, Barton PI, Tomasgard A (2018) Decision-dependent probabilities in stochastic programs with recourse. CMS 15(3):369–395CrossRef Hellemo L, Barton PI, Tomasgard A (2018) Decision-dependent probabilities in stochastic programs with recourse. CMS 15(3):369–395CrossRef
Zurück zum Zitat Herrman R, Treffert L, Ostrowski J, Lotshaw PC, Humble TS, Siopsis G (2021) Globally optimizing QAOA circuit depth for constrained optimization problems. Algorithms 14(10):294CrossRef Herrman R, Treffert L, Ostrowski J, Lotshaw PC, Humble TS, Siopsis G (2021) Globally optimizing QAOA circuit depth for constrained optimization problems. Algorithms 14(10):294CrossRef
Zurück zum Zitat Holmes Z, Sharma K, Cerezo M, Coles PJ (2022) Connecting ansatz expressibility to gradient magnitudes and barren plateaus. PRX Quantum 3(1):010313CrossRef Holmes Z, Sharma K, Cerezo M, Coles PJ (2022) Connecting ansatz expressibility to gradient magnitudes and barren plateaus. PRX Quantum 3(1):010313CrossRef
Zurück zum Zitat Kerenidis I, Prakash A (2020) A quantum interior point method for LPs and SDPs. ACM Trans Quantum Comput 1(1):1–32CrossRef Kerenidis I, Prakash A (2020) A quantum interior point method for LPs and SDPs. ACM Trans Quantum Comput 1(1):1–32CrossRef
Zurück zum Zitat Kerenidis I, Prakash A, Szilágyi D (2021) Quantum algorithms for second-order cone programming and support vector machines. Quantum 5:427CrossRef Kerenidis I, Prakash A, Szilágyi D (2021) Quantum algorithms for second-order cone programming and support vector machines. Quantum 5:427CrossRef
Zurück zum Zitat Kurowski K, Pecyna T, Slysz M, Różycki R, Waligóra G, Weglarz J (2023) Application of quantum approximate optimization algorithm to job shop scheduling problem. European J Operat Res 310(2):518–28CrossRef Kurowski K, Pecyna T, Slysz M, Różycki R, Waligóra G, Weglarz J (2023) Application of quantum approximate optimization algorithm to job shop scheduling problem. European J Operat Res 310(2):518–28CrossRef
Zurück zum Zitat Lao L, Manzano D, van Someren H, Ashraf I, Almudever CG (2019) Mapping of quantum circuits onto NISQ superconducting processors. Quantum Physics. arXiv:1908.04226 Lao L, Manzano D, van Someren H, Ashraf I, Almudever CG (2019) Mapping of quantum circuits onto NISQ superconducting processors. Quantum Physics. arXiv:​1908.​04226
Zurück zum Zitat Li L, Fan M, Coram M, Riley P, Leichenauer S et al (2020) Quantum optimization with a novel Gibbs objective function and ansatz architecture search. Phys Rev Res 2(2):023074CrossRef Li L, Fan M, Coram M, Riley P, Leichenauer S et al (2020) Quantum optimization with a novel Gibbs objective function and ansatz architecture search. Phys Rev Res 2(2):023074CrossRef
Zurück zum Zitat Lotshaw PC, Humble TS, Herrman R, Ostrowski J, Siopsis G (2021) Empirical performance bounds for quantum approximate optimization. Quantum Inf Process 20(12):1–32CrossRef Lotshaw PC, Humble TS, Herrman R, Ostrowski J, Siopsis G (2021) Empirical performance bounds for quantum approximate optimization. Quantum Inf Process 20(12):1–32CrossRef
Zurück zum Zitat Lucas A (2014) Ising formulations of many NP problems. Front Phys, 5 Lucas A (2014) Ising formulations of many NP problems. Front Phys, 5
Zurück zum Zitat Marwaha K, Hadfield S (2022) Bounds on approximating Max \(k\)XOR with quantum and classical local algorithms. Quantum 6:757CrossRef Marwaha K, Hadfield S (2022) Bounds on approximating Max \(k\)XOR with quantum and classical local algorithms. Quantum 6:757CrossRef
Zurück zum Zitat McClean JR, Boixo S, Smelyanskiy VN, Babbush R, Neven H (2018) Barren plateaus in quantum neural network training landscapes. Nat Commun 9(1):1–6CrossRef McClean JR, Boixo S, Smelyanskiy VN, Babbush R, Neven H (2018) Barren plateaus in quantum neural network training landscapes. Nat Commun 9(1):1–6CrossRef
Zurück zum Zitat Mosseri R, Dandoloff R (2001) Geometry of entangled states, Bloch spheres and Hopf fibrations. J Phys A Math Gen 34(47):10243CrossRef Mosseri R, Dandoloff R (2001) Geometry of entangled states, Bloch spheres and Hopf fibrations. J Phys A Math Gen 34(47):10243CrossRef
Zurück zum Zitat Nagarajan H, Lockwood O, Coffrin C (2021) QuantumCircuitOpt: an open-source framework for provably optimal quantum circuit design. In: 2021 IEEE/ACM second international workshop on quantum computing software (QCS), pp 55–63. IEEE Nagarajan H, Lockwood O, Coffrin C (2021) QuantumCircuitOpt: an open-source framework for provably optimal quantum circuit design. In: 2021 IEEE/ACM second international workshop on quantum computing software (QCS), pp 55–63. IEEE
Zurück zum Zitat Nannicini G (2019) Performance of hybrid quantum-classical variational heuristics for combinatorial optimization. Phys Rev E 99(1):013304CrossRef Nannicini G (2019) Performance of hybrid quantum-classical variational heuristics for combinatorial optimization. Phys Rev E 99(1):013304CrossRef
Zurück zum Zitat Nannicini G (2021) Fast Quantum Subroutines for the Simplex Method. In: Singh M, Williamson DP (eds) Integer programming and combinatorial optimization–22nd international conference, IPCO 2021, Atlanta, GA, USA, proceedings, vol 12707 of Lecture Notes in Computer Science, pp 311–325. Springer Nannicini G (2021) Fast Quantum Subroutines for the Simplex Method. In: Singh M, Williamson DP (eds) Integer programming and combinatorial optimization–22nd international conference, IPCO 2021, Atlanta, GA, USA, proceedings, vol 12707 of Lecture Notes in Computer Science, pp 311–325. Springer
Zurück zum Zitat Nelder JA, Mead R (1965) A simplex method for function minimization. Comput J 7(4):308–313CrossRef Nelder JA, Mead R (1965) A simplex method for function minimization. Comput J 7(4):308–313CrossRef
Zurück zum Zitat Nielsen MA, Chuang I (2002) Quantum computation and quantum information Nielsen MA, Chuang I (2002) Quantum computation and quantum information
Zurück zum Zitat Nüßlein J, Gabor T, Linnhoff-Popien C, Feld S (2022) Algorithmic QUBO formulations for k-SAT and hamiltonian cycles. In: Proceedings of the genetic and evolutionary computation conference companion, pp 2240–2246 Nüßlein J, Gabor T, Linnhoff-Popien C, Feld S (2022) Algorithmic QUBO formulations for k-SAT and hamiltonian cycles. In: Proceedings of the genetic and evolutionary computation conference companion, pp 2240–2246
Zurück zum Zitat Oh YH, Mohammadbagherpoor H, Dreher P, Singh A, Yu X, Rindos AJ (2019) Solving multi-coloring combinatorial optimization problems using hybrid quantum algorithms. arXiv preprint arXiv:1911.00595 Oh YH, Mohammadbagherpoor H, Dreher P, Singh A, Yu X, Rindos AJ (2019) Solving multi-coloring combinatorial optimization problems using hybrid quantum algorithms. arXiv preprint arXiv:​1911.​00595
Zurück zum Zitat Peruzzo A, McClean J, Shadbolt P, Yung M-H, Zhou X-Q, Love PJ, Aspuru-Guzik A, O’brien JL (2014) A variational eigenvalue solver on a photonic quantum processor. Nat Commun 5(1):1–7CrossRef Peruzzo A, McClean J, Shadbolt P, Yung M-H, Zhou X-Q, Love PJ, Aspuru-Guzik A, O’brien JL (2014) A variational eigenvalue solver on a photonic quantum processor. Nat Commun 5(1):1–7CrossRef
Zurück zum Zitat Powell MJ (1994) A direct search optimization method that models the objective and constraint functions by linear interpolation. Springer, NetherlandsCrossRef Powell MJ (1994) A direct search optimization method that models the objective and constraint functions by linear interpolation. Springer, NetherlandsCrossRef
Zurück zum Zitat Preskill J (2018) Quantum computing in the NISQ era and beyond. Quantum 2:79CrossRef Preskill J (2018) Quantum computing in the NISQ era and beyond. Quantum 2:79CrossRef
Zurück zum Zitat Radzihovsky M, Murphy J, Mason S (2019) A QAOA solution to the traveling salesman problem using pyQuil Radzihovsky M, Murphy J, Mason S (2019) A QAOA solution to the traveling salesman problem using pyQuil
Zurück zum Zitat Ruan Y, Marsh S, Xue X, Liu Z, Wang J et al (2020) The quantum approximate algorithm for solving traveling salesman problem. Comput Mater Continua 63(3):1237–1247CrossRef Ruan Y, Marsh S, Xue X, Liu Z, Wang J et al (2020) The quantum approximate algorithm for solving traveling salesman problem. Comput Mater Continua 63(3):1237–1247CrossRef
Zurück zum Zitat Shapiro A (2003) Monte Carlo sampling methods. Handbooks Oper Res Manag Sci 10:353–425CrossRef Shapiro A (2003) Monte Carlo sampling methods. Handbooks Oper Res Manag Sci 10:353–425CrossRef
Zurück zum Zitat Shor PW (1994) Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th annual symposium on foundations of computer science, pp 124–134. IEEE Shor PW (1994) Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th annual symposium on foundations of computer science, pp 124–134. IEEE
Zurück zum Zitat Soloviev VP, Larrañaga P, Bielza C (2022) Quantum parametric circuit optimization with estimation of distribution algorithms. In: Proceedings of the genetic and evolutionary computation conference companion, pp 2247–2250 Soloviev VP, Larrañaga P, Bielza C (2022) Quantum parametric circuit optimization with estimation of distribution algorithms. In: Proceedings of the genetic and evolutionary computation conference companion, pp 2247–2250
Zurück zum Zitat Spall JC (1992) Multivariate stochastic approximation using a simultaneous perturbation gradient approximation. IEEE Trans Autom Control 37(3):332–341CrossRef Spall JC (1992) Multivariate stochastic approximation using a simultaneous perturbation gradient approximation. IEEE Trans Autom Control 37(3):332–341CrossRef
Zurück zum Zitat Tabi Z, El-Safty KH, Kallus Z, Hága P, Kozsik T, Glos A, Zimborás Z (2020) Quantum optimization for the graph coloring problem with space-efficient embedding. In: 2020 IEEE international conference on quantum computing and engineering (QCE), pp 56–62. IEEE Tabi Z, El-Safty KH, Kallus Z, Hága P, Kozsik T, Glos A, Zimborás Z (2020) Quantum optimization for the graph coloring problem with space-efficient embedding. In: 2020 IEEE international conference on quantum computing and engineering (QCE), pp 56–62. IEEE
Zurück zum Zitat Wang Z, Hadfield S, Jiang Z, Rieffel EG (2018) Quantum approximate optimization algorithm for MaxCut: a fermionic view. Phys Rev A 97(2):022304CrossRef Wang Z, Hadfield S, Jiang Z, Rieffel EG (2018) Quantum approximate optimization algorithm for MaxCut: a fermionic view. Phys Rev A 97(2):022304CrossRef
Zurück zum Zitat Wurtz J, Love PJ (2022) Counterdiabaticity and the quantum approximate optimization algorithm. Quantum 6:635CrossRef Wurtz J, Love PJ (2022) Counterdiabaticity and the quantum approximate optimization algorithm. Quantum 6:635CrossRef
Zurück zum Zitat Yang Z-C, Rahmani A, Shabani A, Neven H, Chamon C (2017) Optimizing variational quantum algorithms using Pontryagin’s minimum principle. Phys Rev X 7(2):021027 Yang Z-C, Rahmani A, Shabani A, Neven H, Chamon C (2017) Optimizing variational quantum algorithms using Pontryagin’s minimum principle. Phys Rev X 7(2):021027
Zurück zum Zitat Zhou L, Wang S-T, Choi S, Pichler H, Lukin MD (2020) Quantum approximate optimization algorithm: Performance, mechanism, and implementation on near-term devices. Phys Rev X 10(2):021067 Zhou L, Wang S-T, Choi S, Pichler H, Lukin MD (2020) Quantum approximate optimization algorithm: Performance, mechanism, and implementation on near-term devices. Phys Rev X 10(2):021067
Zurück zum Zitat Zhu L, Tang HL, Barron GS, Calderon-Vargas F, Mayhall NJ, Barnes E, Economou SE (2022) Adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer. Phys Rev Res 4(3):033029CrossRef Zhu L, Tang HL, Barron GS, Calderon-Vargas F, Mayhall NJ, Barnes E, Economou SE (2022) Adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer. Phys Rev Res 4(3):033029CrossRef
Metadaten
Titel
An introduction to variational quantum algorithms for combinatorial optimization problems
verfasst von
Camille Grange
Michael Poss
Eric Bourreau
Publikationsdatum
31.07.2023
Verlag
Springer Berlin Heidelberg
Erschienen in
4OR / Ausgabe 3/2023
Print ISSN: 1619-4500
Elektronische ISSN: 1614-2411
DOI
https://doi.org/10.1007/s10288-023-00549-1

Weitere Artikel der Ausgabe 3/2023

4OR 3/2023 Zur Ausgabe

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.