Abstract: Recent results suggest that quantum computers possess the potential to speed up nonconvex optimization problems. However, a crucial factor for the implementation of quantum optimization algorithms is their robustness against experimental and statistical noises. In this paper, we systematically study quantum algorithms for finding an $\epsilon$-approximate second-order stationary point ($\epsilon$-SOSP) of a $d$-dimensional nonconvex function, a fundamental problem in nonconvex optimization, with noisy zeroth- or first-order oracles as inputs. We first prove that, up to noise of $O(\epsilon^{10}/d^5)$, accelerated perturbed gradient descent with quantum gradient estimation takes $O(\log d/\epsilon^{1.75})$ quantum queries to find an $\epsilon$-SOSP. We then prove that perturbed gradient descent is robust to the noise of $O(\epsilon^6/d^4)$ and $O(\epsilon/d^{0.5+\zeta})$ for $\zeta>0$ on the zeroth- and first-order oracles, respectively, which provides a quantum algorithm with poly-logarithmic query complexity. We then propose a stochastic gradient descent algorithm using quantum mean estimation on the Gaussian smoothing of noisy oracles, which is robust to $O(\epsilon^{1.5}/d)$ and $O(\epsilon/\sqrt{d})$ noise on the zeroth- and first-order oracles, respectively. The quantum algorithm takes $O(d^{2.5}/\epsilon^{3.5})$ and $O(d^2/\epsilon^3)$ queries to the two oracles, giving a polynomial speedup over the classical counterparts. Moreover, we characterize the domains where quantum algorithms can find an $\epsilon$-SOSP with poly-logarithmic, polynomial, or exponential number of queries in $d$, or the problem is information-theoretically unsolvable even by an infinite number of queries. In addition, we prove an $\Omega(\epsilon^{-12/7})$ lower bound in $\epsilon$ for any randomized classical and quantum algorithm to find an $\epsilon$-SOSP using either noisy zeroth- or first-order oracles.

Robustness of optimized numerical estimation schemes for noisy variational quantum algorithms

Stochastic Gradient Line Bayesian Optimization for Efficient Noise-Robust Optimization of Parameterized Quantum Circuits

Simulating Quantum Mean Values in Noisy Variational Quantum Algorithms: A Polynomial-Scale Approach

Using models to improve optimizers for variational quantum algorithms

Scalable circuit depth reduction in feedback-based quantum optimization with a quadratic approximation

Robustness of Quantum Algorithms for Nonconvex Optimization

The Effect of Noise on the Performance of Variational Algorithms for Quantum Chemistry

Mitigating Quantum Gate Errors for Variational Eigensolvers Using Hardware-Inspired Zero-Noise Extrapolation

Random coordinate descent: a simple alternative for optimizing parameterized quantum circuits

Noise-induced transition in optimal solutions of variational quantum algorithms

Classical simulations of noisy variational quantum circuits

Simulating Noisy Variational Quantum Algorithms: A Polynomial Approach

Parsimonious Optimisation of Parameters in Variational Quantum Circuits

Synergetic quantum error mitigation by randomized compiling and zero-noise extrapolation for the variational quantum eigensolver

QAOA Performance in Noisy Devices: The Effect of Classical Optimizers and Ansatz Depth

Quantifying the Impact of Precision Errors on Quantum Approximate Optimization Algorithms

Robustness of Variational Quantum Algorithms against stochastic parameter perturbation

Guided-SPSA: Simultaneous Perturbation Stochastic Approximation assisted by the Parameter Shift Rule

Study of noise in virtual distillation circuits for quantum error mitigation

Impact of Measurement Noise on Escaping Saddles in Variational Quantum Algorithms

Error estimation in current noisy quantum computers