🤖 AI Summary
This study addresses the inefficiency of optimizing high-dimensional continuous variables and the difficulty of achieving global convergence for non-convex functions by proposing a variational initial-state continuous-variable quantum approximate optimization algorithm (CV-QAOA). By integrating Hamiltonian descent, dequantization analysis, and adiabatic evolution simulation, this method establishes the first rigorous performance guarantees for both convex and non-convex problems. The results demonstrate that the proposed algorithm achieves a quadratic polynomial query speedup and closely approaches the information-theoretic lower bound on the RSW problem. Furthermore, it reveals a significant separation in which quantum query complexity substantially outperforms classical algorithms, thereby validating its application potential in general-purpose scenarios.
📝 Abstract
We study a Continuous-Variable Quantum Approximate Optimization Algorithm (CV-QAOA) for high-dimensional continuous optimization. Our formulation extends an earlier CV-QAOA proposal with a variationally optimized initial state and recovers the convergence guarantees of Quantum Hamiltonian Descent (QHD) in the high-depth limit. We prove rigorous performance guarantees of CV-QAOA on several families of cost functions. First, we show $d$-step CV-QAOA minimizes any $d$-dimensional strictly convex quadratic function with $2d$ quantum queries to the cost function. We then analyze a family of nonconvex"Rotated Double Well"(RDW) functions with $2^d$ local minima introduced by arXiv:2311.00811. While prior work showed QHD reaches its global minimum with $\tilde O(d^3)$ queries, we prove that 1-step CV-QAOA solves RDW with just two quantum queries. Although general-purpose classical solvers need superpolynomial time for RDW and structure-awareness can reduce the cost to polynomial time, we show that the 1-step CV-QAOA protocol can be efficiently dequantized, and that a gradient-aligned line search succeeds with $O(d)$ queries, nearly matching the information-theoretic $\Omega(d/\log d)$ query lower bound. To move beyond the dequantizable regime, we introduce a ``Rotated Square Well''(RSW) problem, whose globally flat landscape suppresses useful local gradient information. For this family, we show that an adiabatic evolution simulated by CV-QAOA can reach the global minimum using $d^{o(1)}$ queries. On the other hand, any classical algorithm that learn the hidden rotation in RSW provably requires $\Omega(d^2/\log d)$ queries, a bound we nearly match with an explicit $\Theta(d^2\log d)$-query classical algorithm.Numerical simulations on deflected corrugated spring and Easom functions illustrate the promising performance of CV-QAOA on more general problems.