Quantum Algorithms and Lower Bounds for Finite-Sum Optimization
This work addresses optimization efficiency for machine learning practitioners by providing quantum speedups, though it is incremental as it builds on classical finite-sum optimization with new quantum bounds.
The paper tackles finite-sum optimization problems common in machine learning by introducing quantum computing approaches, achieving a quantum algorithm with complexity ˜O(n + √d + √(ℓ/μ)(n^{1/3}d^{1/3} + n^{-2/3}d^{5/6})), which improves upon the classical tight bound ˜Θ(n + √(nℓ/μ)), and also proves a quantum lower bound of ˜Ω(n + n^{3/4}(ℓ/μ)^{1/4}) for large dimensions.
Finite-sum optimization has wide applications in machine learning, covering important problems such as support vector machines, regression, etc. In this paper, we initiate the study of solving finite-sum optimization problems by quantum computing. Specifically, let $f_1,\ldots,f_n\colon\mathbb{R}^d\to\mathbb{R}$ be $\ell$-smooth convex functions and $ψ\colon\mathbb{R}^d\to\mathbb{R}$ be a $μ$-strongly convex proximal function. The goal is to find an $ε$-optimal point for $F(\mathbf{x})=\frac{1}{n}\sum_{i=1}^n f_i(\mathbf{x})+ψ(\mathbf{x})$. We give a quantum algorithm with complexity $\tilde{O}\big(n+\sqrt{d}+\sqrt{\ell/μ}\big(n^{1/3}d^{1/3}+n^{-2/3}d^{5/6}\big)\big)$, improving the classical tight bound $\tildeΘ\big(n+\sqrt{n\ell/μ}\big)$. We also prove a quantum lower bound $\tildeΩ(n+n^{3/4}(\ell/μ)^{1/4})$ when $d$ is large enough. Both our quantum upper and lower bounds can extend to the cases where $ψ$ is not necessarily strongly convex, or each $f_i$ is Lipschitz but not necessarily smooth. In addition, when $F$ is nonconvex, our quantum algorithm can find an $ε$-critial point using $\tilde{O}(n+\ell(d^{1/3}n^{1/3}+\sqrt{d})/ε^2)$ queries.