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.

A Family of System Hamiltonian in Quantum Adiabatic Search Type Problem

On the Quantum Adiabatic Evolution with the Most General System Hamiltonian

On the General Class of Models of Adiabatic Evolution.

How to Make Assisted Driving Hamiltonian Useful in Quantum Adiabatic Computation?

Quantum Adiabatic Evolution with a Special Kind of Interpolating Paths

Speedup in Adiabatic Evolution Based Quantum Algorithms

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

On Validity of Quantum Partial Adiabatic Search

Different Approaches for Implementing Quantum Search by Adiabatic Evolution

A Quantum Search Algorithm Based on Partial Adiabatic Evolution

Schedule Path Optimization for Adiabatic Quantum Computing and Optimization

On Models of Nonlinear Evolution Paths in Adiabatic Quantum Algorithms

Partial Adiabatic Quantum Search Algorithm and Its Extensions.

Reverse Engineering of A Nonlossy Adiabatic Hamiltonian for Non-Hermitian Systems

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

Quantum search by partial adiabatic evolution

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

The Constant Speedup Mechanism on Adiabatic Quantum Computation

Measurement-driven Analog of Adiabatic Quantum Computation for Frustration-Free Hamiltonians

Partial evolution based local adiabatic quantum search

Unstructured Adiabatic Quantum Optimization: Optimality with Limitations