Abstract:In the circuit model of quantum computing, amplitude amplification techniques can be used to find solutions to NP-hard problems defined on $n$-bits in time $\text{poly}(n) 2^{n/2}$. In this work, we investigate whether such general statements can be made for adiabatic quantum optimization, as provable results regarding its performance are mostly unknown. Although a lower bound of $\Omega(2^{n/2})$ has existed in such a setting for over a decade, a purely adiabatic algorithm with this running time has been absent. We show that adiabatic quantum optimization using an unstructured search approach results in a running time that matches this lower bound (up to a polylogarithmic factor) for a broad class of classical local spin Hamiltonians. For this, it is necessary to bound the spectral gap throughout the adiabatic evolution and compute beforehand the position of the avoided crossing with sufficient precision so as to adapt the adiabatic schedule accordingly. However, we show that the position of the avoided crossing is approximately given by a quantity that depends on the degeneracies and inverse gaps of the problem Hamiltonian and is NP-hard to compute even within a low additive precision. Furthermore, computing it exactly (or nearly exactly) is \#P-hard. Our work indicates a possible limitation of adiabatic quantum optimization algorithms, leaving open the question of whether provable Grover-like speed-ups can be obtained for any optimization problem using this approach.

The Constant Speedup Mechanism on Adiabatic Quantum Computation

Speedup in Adiabatic Evolution Based Quantum Algorithms

Quantum Adiabatic Computation and Adiabatic Conditions

On the General Class of Models of Adiabatic Evolution.

Quantum Adiabatic Evolution with a Special Kind of Interpolating Paths

Nondeterministic Quantum Computation Via Ground State Cooling and Ultrafast Grover Algorithm

Lower bounds for adiabatic quantum algorithms by quantum speed limits

Adiabatic Quantum Computation and Deutsch's Algorithm

On Models of Nonlinear Evolution Paths in Adiabatic Quantum Algorithms

Quantum Adiabatic Evolutions That Can't Be Used to Design Efficient Algorithms

Quantum Imaginary-Time Control for Accelerating the Ground-State Preparation

Speedup in Quantum Adiabatic Evolution Algorithm

Unstructured Adiabatic Quantum Optimization: Optimality with Limitations

Simulating adiabatic quantum computation with a variational approach

Single-Atom Verification of the Optimal Trade-Off between Speed and Cost in Shortcuts to Adiabaticity

On the Circuit Model of Global Adiabatic Search Algorithm

Necessary Adiabatic Run Times in Quantum Optimization

Optimizing Adiabatic Quantum Pathways Via a Learning Algorithm

Balancing the quantum speed limit and instantaneous energy cost in adiabatic quantum evolution

Can Adiabatic Algorithms with Extra Items Always Be Efficient in Quantum Computation?