摘要 Abstract
我们探索了通过离散模拟Leng等人提出的量子哈密顿下降(QHD)框架在凸优化中的潜在量子加速,并建立了第一个严格的查询复杂度界限。我们通过伪谱方法发展了对具有黑箱势能的薛定谔算子进行量子模拟的增强分析,提供了独立于波函数假设的显式资源估算。这些界限被应用于评估通过QHD进行优化的复杂性。我们的研究集中在$d$维无约束凸优化问题上。在连续时间下,我们证明了当参数选择合适时,QHD可以实现任意快的收敛速率。优化速度的限制仅来源于动力学的离散化,这与QHD背后的经典动力学特性一致。考虑到这一成本,我们表明一个$G$-Lipschitz凸函数可以在误差$\epsilon$内通过$\widetilde{\mathcal{O}}(d^{1.5}G^2 R^2/\epsilon^2)$次查询得到优化。此外,在哈密顿量模拟复杂性合理假设下,$\widetilde{\Omega}(d/\epsilon^2)$次查询是必要的。因此,QHD在精确或acles的经典零阶方法中并未提供加速。然而,我们证明了QHD算法能够容忍$\widetilde{\mathcal{O}}(\epsilon^3/d^{1.5}G^2 R^2)$级别的函数评估噪声。我们还展示了QHD在高维情况下对所有已知的经典算法具有超二次查询优势。此外,我们设计了一种针对随机凸优化的量子算法,在高维情况下相对于所有已知的经典算法实现了超二次加速。据我们所知,这些结果代表了首次通过动态算法实现的关于凸优化的严格量子加速。
We explore the potential for quantum speedups in convex optimization using discrete simulations of the Quantum Hamiltonian Descent (QHD) framework, as proposed by Leng et al., and establish the first rigorous query complexity bounds. We develop enhanced analyses for quantum simulation of Schr\"odinger operators with black-box potential via the pseudo-spectral method, providing explicit resource estimates independent of wavefunction assumptions. These bounds are applied to assess the complexity of optimization through QHD. Our findings pertain to unconstrained convex optimization in $d$ dimensions. In continuous time, we demonstrate that QHD, with suitable parameters, can achieve arbitrarily fast convergence rates. The optimization speed limit arises solely from the discretization of the dynamics, mirroring a property of the classical dynamics underlying QHD. Considering this cost, we show that a $G$-Lipschitz convex function can be optimized to an error of $\epsilon$ with $\widetilde{\mathcal{O}}(d^{1.5}G^2 R^2/\epsilon^2)$ queries. Moreover, under reasonable assumptions on the complexity of Hamiltonian simulation, $\widetilde{\Omega}(d/\epsilon^2)$ queries are necessary. Thus, QHD does not offer a speedup over classical zeroth order methods with exact oracles. However, we demonstrate that the QHD algorithm tolerates $\widetilde{\mathcal{O}}(\epsilon^3/d^{1.5}G^2 R^2)$ noise in function evaluation. We show that QHD offers a super-quadratic query advantage over all known classical algorithms tolerating this level of evaluation noise in the high-dimension regime. Additionally, we design a quantum algorithm for stochastic convex optimization that provides a super-quadratic speedup over all known classical algorithms in the high-dimension regime. To our knowledge, these results represent the first rigorous quantum speedups for convex optimization achieved through a dynamical algorithm.