Variational Quantum Algorithms for Semidefinite Programming
1Department of Computer Science, Cornell University, Ithaca, New York, 14850, USA
2Theoretical Division, Los Alamos National Laboratory, Los Alamos, New Mexico 87545, USA
3Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, and Center for Computation and Technology, Louisiana State University, Baton Rouge, Louisiana 70803, USA
4School of Electrical and Computer Engineering, Cornell University, Ithaca, New York 14850, USA
| Published: | 2024-06-17, volume 8, page 1374 |
| Eprint: | arXiv:2112.08859v3 |
| Doi: | https://doi.org/10.22331/q-2024-06-17-1374 |
| Citation: | Quantum 8, 1374 (2024). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
A semidefinite program (SDP) is a particular kind of convex optimization problem with applications in operations research, combinatorial optimization, quantum information science, and beyond. In this work, we propose variational quantum algorithms for approximately solving SDPs. For one class of SDPs, we provide a rigorous analysis of their convergence to approximate locally optimal solutions, under the assumption that they are weakly constrained (i.e., $N \gg M$, where $N$ is the dimension of the input matrices and $M$ is the number of constraints). We also provide algorithms for a more general class of SDPs that requires fewer assumptions. Finally, we numerically simulate our quantum algorithms for applications such as MaxCut, and the results of these simulations provide evidence that convergence still occurs in noisy settings.

Featured image: Depiction of the various reductions employed in our variational quantum algorithm for semi-definite programming. The three trace terms in the final objective function at the bottom can be evaluated by means of measuring observables on the states generated by parameterized quantum circuits.
Popular summary
► BibTeX data
► References
[1] László Lovász and Alexander Schrijver. ``Cones of matrices and set-functions and 0-1 optimization''. Society for Industrial and Applied Mathematics Journal on Optimization 1, 166–190 (2006).
https://doi.org/10.1137/0801013
[2] Anirudha Majumdar, Georgina Hall, and Amir Ali Ahmadi. ``Recent scalability improvements for semidefinite programming with applications in machine learning, control, and robotics''. Annual Review of Control, Robotics, and Autonomous Systems 3, 331–360 (2020).
https://doi.org/10.1146/annurev-control-091819-074326
[3] Pablo A. Parrilo. ``Semidefinite programming relaxations for semialgebraic problems''. Mathematical Programming 96, 293–320 (2003).
https://doi.org/10.1007/s10107-003-0387-5
[4] Horace Yuen, Robert Kennedy, and Melvin Lax. ``Optimum testing of multiple hypotheses in quantum detection theory''. IEEE Transactions on Information Theory 21, 125–134 (1975).
https://doi.org/10.1109/TIT.1975.1055351
[5] Yonina C. Eldar. ``A semidefinite programming approach to optimal unambiguous discrimination of quantum states''. IEEE Transactions on Information Theory 49, 446–456 (2003).
https://doi.org/10.1109/tit.2002.807291
[6] Xin Wang, Wei Xie, and Runyao Duan. ``Semidefinite programming strong converse bounds for classical capacity''. IEEE Transactions on Information Theory 64, 640–653 (2018).
https://doi.org/10.1109/tit.2017.2741101
[7] Xin Wang. ``Semidefinite optimization for quantum information''. PhD thesis. University of Technology Sydney. Centre for Quantum Software and Information, Faculty of Engineering and Information Technology (2018). url: http://hdl.handle.net/10453/127996.
http://hdl.handle.net/10453/127996
[8] Ivan Supic and Joseph Bowles. ``Self-testing of quantum systems: a review''. Quantum 4, 337 (2020).
https://doi.org/10.22331/q-2020-09-30-337
[9] Florian A. Potra and Stephen J. Wright. ``Interior-point methods''. Journal of Computational and Applied Mathematics 124, 281–302 (2000).
https://doi.org/10.1016/S0377-0427(00)00433-7
[10] Peter W. Shor. ``Algorithms for quantum computation: Discrete logarithms and factoring''. In 35th Annual Symposium on Foundations of Computer Science. Pages 124–134. Santa Fe, New Mexico, USA (1994). IEEE Computer Society.
https://doi.org/10.1109/SFCS.1994.365700
[11] Aram W. Harrow, Avinatan Hassidim, and Seth Lloyd. ``Quantum algorithm for linear systems of equations''. Physical Review Letters 103, 150502 (2009).
https://doi.org/10.1103/PhysRevLett.103.150502
[12] Lov K. Grover. ``Quantum mechanics helps in searching for a needle in a haystack''. Physical Review Letters 79, 325–328 (1997).
https://doi.org/10.1103/PhysRevLett.79.325
[13] Christoph Dürr and Peter Høyer. ``A quantum algorithm for finding the minimum'' (1996). arXiv:quant-ph/9607014.
arXiv:quant-ph/9607014
[14] Ramesh Hariharan and Vishwanathan Vinay. ``String matching in $O(n+m)$ quantum time''. Journal of Discrete Algorithms 1, 103–110 (2003).
https://doi.org/10.1016/S1570-8667(03)00010-8
[15] Fernando G. S. L. Brandão and Krysta M. Svore. ``Quantum speed-ups for solving semidefinite programs''. In 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). Pages 415–426. IEEE Computer Society (2017).
https://doi.org/10.1109/FOCS.2017.45
[16] Sanjeev Arora and Satyen Kale. ``A combinatorial, primal-dual approach to semidefinite programs''. Journal of the ACM 63, 1–35 (2016).
https://doi.org/10.1145/2837020
[17] Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, and Xiaodi Wu. ``Quantum SDP solvers: Large speed-ups, optimality, and applications to quantum learning''. In 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. Volume 132 of LIPIcs, pages 27:1–27:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019).
https://doi.org/10.4230/LIPIcs.ICALP.2019.27
[18] Joran van Apeldoorn, András Gilyén, Sander Gribling, and Ronald de Wolf. ``Quantum SDP-solvers: Better upper and lower bounds''. Quantum 4, 230 (2020).
https://doi.org/10.22331/q-2020-02-14-230
[19] John Preskill. ``Quantum computing in the NISQ era and beyond''. Quantum 2, 79 (2018).
https://doi.org/10.22331/q-2018-08-06-79
[20] Frank Arute, Kunal Arya, Ryan Babbush, et al. ``Quantum supremacy using a programmable superconducting processor''. Nature 574, 505–510 (2019).
https://doi.org/10.1038/s41586-019-1666-5
[21] Marco Cerezo, Andrew Arrasmith, Ryan Babbush, Simon Benjamin, Suguro Endo, Keisuke Fujii, Jarrod Ryan McClean, Kosuke Mitarai, Xiao Yuan, Lukasz Cincio, and Patrick Coles. ``Variational quantum algorithms''. Nature Reviews Physics 3, 625–644 (2021).
https://doi.org/10.1038/s42254-021-00348-9
[22] Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, Tobias Haug, Sumner Alperin-Lea, Abhinav Anand, Matthias Degroote, Hermanni Heimonen, Jakob S. Kottmann, Tim Menke, Wai-Keong Mok, Sukin Sim, Leong-Chuan Kwek, and Alán Aspuru-Guzik. ``Noisy intermediate-scale quantum algorithms''. Reviews of Modern Physics 94, 015004 (2022). arXiv:2101.08448.
https://doi.org/10.1103/RevModPhys.94.015004
arXiv:2101.08448
[23] Sitan Chen, Jordan Cotler, Hsin-Yuan Huang, and Jerry Li. ``The complexity of NISQ''. Nature Communications 14, 6001 (2023).
https://doi.org/10.1038/s41467-023-41217-6
[24] Armando Angrisani. ``The disparate impact of noise on quantum learning algorithms''. Theses. Sorbonne Université. (2023). url: https://theses.hal.science/tel-04511706.
https://theses.hal.science/tel-04511706
[25] Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Alán Aspuru-Guzik, and Jeremy L. O’Brien. ``A variational eigenvalue solver on a photonic quantum processor''. Nature Communications 5, 4213 (2014).
https://doi.org/10.1038/ncomms5213
[26] Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. ``A quantum approximate optimization algorithm'' (2014). arXiv:1411.4028.
arXiv:1411.4028
[27] Matthew Treinish et al. ``Qiskit: An open-source framework for quantum computing'' (2023). https://doi.org/10.5281/zenodo.2573505.
https://doi.org/10.5281/zenodo.2573505
[28] Stephen P. Boyd and Lieven Vandenberghe. ``Convex optimization''. Cambridge University Press. (2004).
https://doi.org/10.1017/CBO9780511804441
[29] Jun Li, Xiaodong Yang, Xinhua Peng, and Chang-Pu Sun. ``Hybrid quantum-classical approach to quantum optimal control''. Physical Review Letters 118, 150503 (2017).
https://doi.org/10.1103/PhysRevLett.118.150503
[30] K. Mitarai, M. Negoro, M. Kitagawa, and K. Fujii. ``Quantum circuit learning''. Physical Review A 98, 032309 (2018).
https://doi.org/10.1103/PhysRevA.98.032309
[31] Maria Schuld, Ville Bergholm, Christian Gogolin, Josh Izaac, and Nathan Killoran. ``Evaluating analytic gradients on quantum hardware''. Physical Review A 99, 032331 (2019).
https://doi.org/10.1103/PhysRevA.99.032331
[32] Patrick Huembeli and Alexandre Dauphin. ``Characterizing the loss landscape of variational quantum circuits''. Quantum Science and Technology 6, 025011 (2021).
https://doi.org/10.1088/2058-9565/abdbc9
[33] Marina Danilova, Pavel Dvurechensky, Alexander Gasnikov, Eduard Gorbunov, Sergey Guminov, Dmitry Kamzolov, and Innokentiy Shibaev. ``Recent theoretical advances in non-convex optimization''. Volume 191, pages 79–163. Springer International Publishing. (2022). arXiv:2012.06188.
https://doi.org/10.1007/978-3-031-00832-0_3
arXiv:2012.06188
[34] Chi Jin, Rong Ge, Praneeth Netrapalli, Sham M. Kakade, and Michael I. Jordan. ``How to escape saddle points efficiently''. In Doina Precup and Yee Whye Teh, editors, Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017. Volume 70 of Proceedings of Machine Learning Research, pages 1724–1732. PMLR (2017). url: http://proceedings.mlr.press/v70/jin17a.html.
http://proceedings.mlr.press/v70/jin17a.html
[35] Constantinos Daskalakis, Andrew Ilyas, Vasilis Syrgkanis, and Haoyang Zeng. ``Training GANs with optimism''. In International Conference on Learning Representations. (2018). arXiv:1711.00141.
arXiv:1711.00141
[36] Martin Heusel, Hubert Ramsauer, Thomas Unterthiner, Bernhard Nessler, and Sepp Hochreiter. ``GANs trained by a two time-scale update rule converge to a local Nash equilibrium''. In Proceedings of the 31st International Conference on Neural Information Processing Systems. Page 6629–6640. NIPS'17Red Hook, NY, USA (2017). Curran Associates Inc. arXiv:1706.08500.
arXiv:1706.08500
[37] Panayotis Mertikopoulos, Bruno Lecouat, Houssam Zenati, Chuan-Sheng Foo, Vijay Chandrasekhar, and Georgios Piliouras. ``Optimistic mirror descent in saddle-point problems: Going the extra(-gradient) mile''. In International Conference on Learning Representations. (2019). arXiv:1807.02629.
arXiv:1807.02629
[38] Eric V. Mazumdar, Michael I. Jordan, and S. Shankar Sastry. ``On finding local Nash equilibria (and only local Nash equilibria) in zero-sum games'' (2019). arXiv:1901.00838.
arXiv:1901.00838
[39] Hassan Rafique, Mingrui Liu, Qihang Lin, and Tianbao Yang. ``Weakly-convex–concave min–max optimization: provable algorithms and applications in machine learning''. Optimization Methods and Software 37, 1087–1121 (2022). arXiv:1810.02060.
https://doi.org/10.1080/10556788.2021.1895152
arXiv:1810.02060
[40] Kishor Bharti, Tobias Haug, Vlatko Vedral, and Leong-Chuan Kwek. ``Noisy intermediate-scale quantum algorithm for semidefinite programming''. Physical Review A 105, 052445 (2022). arXiv:2106.03891.
https://doi.org/10.1103/PhysRevA.105.052445
arXiv:2106.03891
[41] Jakub Marecek and Albert Akhriev. ``A cutting-plane method for semidefinite programming with potential applications on noisy quantum devices'' (2021). arXiv:2110.03400.
arXiv:2110.03400
[42] John Watrous. ``The theory of quantum information''. Cambridge University Press. (2018).
https://doi.org/10.1017/9781316848142
[43] Sumeet Khatri and Mark M. Wilde. ``Principles of quantum communication theory: A modern approach'' (2020). arXiv:2011.04672v2.
arXiv:2011.04672v2
[44] John A. Nelder and Roger Mead. ``A simplex method for function minimization''. The Computer Journal 7, 308–313 (1965).
https://doi.org/10.1093/comjnl/7.4.308
[45] James C. Spall. ``Multivariate stochastic approximation using a simultaneous perturbation gradient approximation''. IEEE Transactions on Automatic Control 37, 332–341 (1992).
https://doi.org/10.1109/9.119632
[46] James Kennedy and Russell Eberhart. ``Particle swarm optimization''. In Proceedings of ICNN'95-international conference on neural networks. Volume 4, pages 1942–1948. IEEE (1995).
https://doi.org/10.1109/ICNN.1995.488968
[47] Magnus R. Hestenes. ``Multiplier and gradient methods''. Journal of Optimization Theory and Applications 4, 303–320 (1969).
https://doi.org/10.1007/BF00927673
[48] Michael J. D. Powell. ``A method for nonlinear constraints in minimization problems''. Optimization, Pages 283–298 (1969). url: https://cir.nii.ac.jp/crid/1574231876073595264.
https://cir.nii.ac.jp/crid/1574231876073595264
[49] Dimitri P. Bertsekas. ``Multiplier methods: A survey''. Automatica 12, 133–145 (1976).
https://doi.org/10.1016/0005-1098(76)90077-7
[50] Mehmet Fatih Sahin, Armin Eftekhari, Ahmet Alacaoglu, Fabian Latorre Gómez, and Volkan Cevher. ``An inexact augmented Lagrangian framework for nonconvex optimization with nonlinear constraints''. In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada. Pages 13943–13955. (2019). url: https://proceedings.neurips.cc/paper/2019/hash/866c7ee013c58f01fa153a8d32c9ed57-Abstract.html.
https://proceedings.neurips.cc/paper/2019/hash/866c7ee013c58f01fa153a8d32c9ed57-Abstract.html
[51] Huan Li and Zhouchen Lin. ``Accelerated proximal gradient methods for nonconvex programming''. In C. Cortes, N. Lawrence, D. Lee, M. Sugiyama, and R. Garnett, editors, Advances in Neural Information Processing Systems. Volume 28. Curran Associates, Inc. (2015). url: https://proceedings.neurips.cc/paper_files/paper/2015/file/f7664060cc52bc6f3d620bcedc94a4b6-Paper.pdf.
https://proceedings.neurips.cc/paper_files/paper/2015/file/f7664060cc52bc6f3d620bcedc94a4b6-Paper.pdf
[52] Hamed Karimi, Julie Nutini, and Mark Schmidt. ``Linear convergence of gradient and proximal-gradient methods under the Polyak–Lojasiewicz condition''. In Machine Learning and Knowledge Discovery in Databases. Pages 795–811. Springer, Cham, Switzerland (2016).
https://doi.org/10.1007/978-3-319-46128-1_50
[53] Maurice Sion. ``On general minimax theorems''. Pacific Journal of Mathematics 8, 171–176 (1958).
https://doi.org/10.2140/pjm.1958.8.171
[54] Ville Bergholm, Josh Izaac, Maria Schuld, Christian Gogolin, et al. ``Pennylane: Automatic differentiation of hybrid quantum-classical computations'' (2022). arXiv:1811.04968.
arXiv:1811.04968
[55] Bojan Mohar and Svatopluk Poljak. ``Eigenvalues and the max-cut problem''. Czechoslovak Mathematical Journal 40, 343–352 (1990). url: http://eudml.org/doc/13856.
http://eudml.org/doc/13856
[56] Christos H. Papadimitriou and Mihalis Yannakakis. ``Optimization, approximation, and complexity classes''. Journal of Computer and System Sciences 43, 425–440 (1991).
https://doi.org/10.1016/0022-0000(91)90023-X
[57] Michel X. Goemans and David P. Williamson. ``Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming''. Journal of the ACM 42, 1115–1145 (1995).
https://doi.org/10.1145/227683.227684
[58] Ophelia Crawford, Barnaby van Straaten, Daochen Wang, Thomas Parks, Earl Campbell, and Stephen Brierley. ``Efficient quantum measurement of Pauli operators in the presence of finite sampling error''. Quantum 5, 385 (2021).
https://doi.org/10.22331/q-2021-01-20-385
[59] Steven Diamond and Stephen Boyd. ``CVXPY: A Python-embedded modeling language for convex optimization''. Journal of Machine Learning Research 17, 1–5 (2016). url: https://www.jmlr.org/papers/volume17/15-408/15-408.pdf.
https://www.jmlr.org/papers/volume17/15-408/15-408.pdf
[60] NISO. ``Credit – contributor roles taxonomy''. https://credit.niso.org/, Accessed 2024-06-07.
https://credit.niso.org/
Cited by
[1] Zhehao Yi, Yanying Liang, and Haozhen Situ, "Enhancing variational quantum circuit training: an improved neural network approach for barren plateau mitigation", Physica Scripta 100 8, 086004 (2025).
[2] Michele Minervini, Dhrumil Patel, and Mark M. Wilde, "Quantum natural gradient with thermal-state initialization", Physical Review A 112 2, 022424 (2025).
[3] Zhimin He, Zhengjiang Li, Haozhen Situ, Qin Li, Jinjing Shi, and Lvzhou Li, "Adaptive fusion of training-free proxies for quantum architecture search", Physical Review Applied 24 2, 024074 (2025).
[4] Junyu Liu, Frederik Wilde, Antonio Anna Mele, Xin Jin, Liang Jiang, and Jens Eisert, "Stochastic noise can be helpful for variational quantum algorithms", Physical Review A 111 5, 052441 (2025).
[5] Hanna Westerheim, Jingxuan Chen, Zoë Holmes, Ivy Luo, Theshani Nuradha, Dhrumil Patel, Soorya Rethinasamy, Kathie Wang, and Mark M. Wilde, "Dual variational quantum eigensolver: A quantum algorithm to lower bound the ground-state energy", Physical Review A 113 3, 032443 (2026).
[6] Iria W. Wang, Robin Brown, Taylor L. Patti, Anima Anandkumar, Marco Pavone, and Susanne F. Yelin, "Elevating Variational Quantum Semidefinite Programs for Polynomial Objectives", Quantum 10, 2076 (2026).
[7] Zhimin He, Zhengjie Zeng, Haozhen Situ, Shenggen Zheng, Yan Zhou, and Lvzhou Li, "Realigning quantum architecture search with a top-tier-focused training paradigm for performance predictors", Physical Review Applied 26 1, 014094 (2026).
[8] Ruho Kondo, Yuki Sato, Rudy Raymond, and Naoki Yamamoto, "Recursive Quantum Relaxation for Combinatorial Optimization Problems", Quantum 9, 1594 (2025).
[9] Michele Minervini, Madison Chin, Jacob Kupperman, Nana Liu, Ivy Luo, Meghan Ly, Soorya Rethinasamy, Kathie Wang, and Mark M. Wilde, "Constrained free energy minimization for the design of thermal states and stabilizer thermodynamic systems", Physical Review A 113 4, 042407 (2026).
[10] Zhimin He, Hongxiang Chen, Yan Zhou, Haozhen Situ, Yongyao Li, and Lvzhou Li, "Self-supervised representation learning for Bayesian quantum architecture search", Physical Review A 111 3, 032403 (2025).
[11] S. S. Kavitha, Narasimha Kaulgud, and B. S. Sharmila, "Optimizing Quantum Variational Circuits for Enhanced Performance in Healthcare and Multidisciplinary Data Analysis", SN Computer Science 7 3, 231 (2026).
[12] Jingxuan Chen, Hanna Westerheim, Zoë Holmes, Ivy Luo, Theshani Nuradha, Dhrumil Patel, Soorya Rethinasamy, Kathie Wang, and Mark M. Wilde, "Slack-variable approach for variational quantum semidefinite programming", Physical Review A 112 2, 022607 (2025).
[13] Thinh Viet Le and Vassilis Kekatos, "Solving constrained optimization problems via the variational quantum eigensolver with constraints", Physical Review A 110 2, 022430 (2024).
[14] Ziv Goldfeld, Dhrumil Patel, Sreejith Sreekumar, and Mark M. Wilde, "Quantum neural estimation of entropies", Physical Review A 109 3, 032431 (2024).
[15] Travis L. Scholten, Carl J. Williams, Dustin Moody, Michele Mosca, William Hurley, William J. Zeng, Matthias Troyer, and Jay M. Gambetta, "Assessing the Benefits and Risks of Quantum Computers", arXiv:2401.16317, (2024).
[16] Taylor L. Patti, Jean Kossaifi, Anima Anandkumar, and Susanne F. Yelin, "Quantum Goemans-Williamson Algorithm with the Hadamard Test and Approximate Amplitude Constraints", Quantum 7, 1057 (2023).
[17] Thinh Viet Le and Vassilis Kekatos, "Variational Quantum Eigensolver with Constraints (VQEC): Solving Constrained Optimization Problems via VQE", arXiv:2311.08502, (2023).
[18] Oscar Watts, Yuta Kikuchi, and Luuk Coopmans, "Quantum Semidefinite Programming with Thermal Pure Quantum States", arXiv:2310.07774, (2023).
[19] Xiumei Zhao, Yongmei Li, Jing Li, Shasha Wang, Song Wang, Sujuan Qin, and Fei Gao, "Near-term quantum algorithm for solving the MaxCut problem with fewer quantum resources", Physica A Statistical Mechanics and its Applications 648, 129951 (2024).
[20] Xuanran Zhu, Chao Zhang, Chenfeng Cao, Youning Li, Yiu Tung Poon, and Bei Zeng, "Detecting entanglement by pure bosonic extension", Physical Review Research 6 1, 013249 (2024).
[21] Ruho Kondo, Yuki Sato, Rudy Raymond, and Naoki Yamamoto, "Recursive Quantum Relaxation for Combinatorial Optimization Problems", arXiv:2403.02045, (2024).
The above citations are from Crossref's cited-by service (last updated successfully 2026-08-10 20:54:34) and SAO/NASA ADS (last updated successfully 2026-08-10 20:54:36). The list may be incomplete as not all publishers provide suitable and complete citation data.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.