Randomized Gradient Descents on Riemannian Manifolds: Almost Sure Convergence to Global Minima in and beyond Quantum Optimization (2405.12039v1)
Abstract: We analyze the convergence properties of gradient descent algorithms on Riemannian manifolds. We study randomization of the tangent space directions of Riemannian gradient flows for minimizing smooth cost functions (of Morse--Bott type) to obtain convergence to local optima. We prove that through randomly projecting Riemannian gradients according to the Haar measure, convergence to local optima can be obtained almost surely despite the existence of saddle points. As an application we consider ground state preparation through quantum optimization over the unitary group. In this setting one can efficiently approximate the Haar-random projections by implementing unitary 2-designs on quantum computers. We prove that the respective algorithm almost surely converges to the global minimum that corresponds to the ground state of a desired Hamiltonian. Finally, we discuss the time required by the algorithm to pass a saddle point in a simple two-dimensional setting.
- \bibcommenthead
- Banyaga A, Hurtubise D (2004) A Proof of the Morse–Bott Lemma. Expp Math 22:365–373
- Banyaga A, Hurtubise D (2010) Morse–Bott Homology. Trans Am Math Soc 362:3997–4043
- Berger M (2003) A Panoramic View of Riemannian Geometry. Springer, Berlin Heidelberg
- Bittel L, Kliesch M (2021) Training Variational Quantum Algorithms Is NP-Hard. Phys Rev Lett 127:120502
- Brockett R (1989) Least-Squares Matching Problems. Lin Alg Appl 122-4:761–777
- Brockett R (1993) Differential Geometry and the Design of Gradient Algorithms. Proc Symp Pure Math 54:69–91
- Chu MT, Driessel KR (1990) The Projected Gradient Method for Least-Squares Matrix Approximations with Spectral Constraints. SIAM J Numer Anal 27:1050–1060
- Coquereaux R, Zuber J (2011) On Sums of Tensor and Fusion Multiplicities. J Phys A 44:295208
- Curry HB (1944) The Method of Steepest Descent for Non-linear Minimization Problems. Q Appl Math 2:258–261
- Fetecau R, Patacchini F (2022) Well-Posedness of an Interaction Model in Riemannian Manifolds. Commun Pure Appl Anal 21:3559–3585
- Irwin MC (1980) Smooth Dynamical Systems. Academic Press, New York
- Lageman C (2007) Convergence of Gradient-Like Dynamical Systems and Optimization Algorithms. PhD Thesis, Universität Würzburg
- Li CK (1994) C𝐶Citalic_C-Numerical Ranges and C𝐶Citalic_C-Numerical Radii. Lin Multilin Alg 37:51–82
- Mielke A (2023) An Introduction to the Analysis of Gradient Systems, URL https://doi.org/10.48550/arXiv.2306.05026
- Pinelis I (2015) Exact Bounds on the Closeness Between the Student and Standard Normal Distributions. ESAIM: Prob Statistics 19:24–27
- Pinelis I, Molzon R (2016) Optimal-Order Bounds on the Rate of Convergence to Normality in the Multivariate Delta Method. Electron J Statist 10:1001–1063
- Ruder S (2016) An Overview of Gradient Descent Optimization Algorithms, URL https://doi.org/10.48550/arXiv.1609.04747
- Savas B, Lim LH (2010) Quasi-Newton Methods on Grassmannians and Multilinear Approximations of Tensors. SIAM J Scientific Computing 32:3352 – 3393. https://doi.org/10.1137/090763172
- Wegner F (1994) Flow-Equations for Hamiltonians. Ann Phys (Leipzig) 3:77–91
- Wiersema R, Killoran N (2023) Optimizing Quantum Circuits with Riemannian Gradient Flow. Phys Rev A 107:062421
- Zeier R, Schulte-Herbrüggen T (2011) Symmetry Principles in Quantum System Theory. J Math Phys 52:113510
- Zeier R, Zimborás Z (2015) On Squares of Representations of Compact Lie Algebras. J Math Phys 56:081702
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.