Variational quantum algorithms (VQAs) are proposed to solve relevant computational problems on near term quantum devices. Popular versions are variational quantum eigensolvers (VQEs) and quantum approximate optimization algorithms (QAOAs) that solve ground state problems from quantum chemistry and binary optimization problems, respectively. They are based on the idea to use a classical computer to train a parameterized quantum circuit. We show that the corresponding classical optimization problems are NP-hard. Moreover, the hardness is robust in the sense that for every polynomial time algorithm, there exists instances for which the relative error resulting from the classical optimization problem can be arbitrarily large, unless P = NP. Even for classically tractable systems, composed of only logarithmically many qubits or free fermions, we show that the optimization is NP-hard. This elucidates that the classical optimization is intrinsically hard and does not merely inherit the hardness from the ground state problem. Our analysis shows that the training landscape can have many far from optimal persistent local minima. This means gradient and higher order decent algorithms will generally converge to far from optimal solutions.
Main idea
using a classical computer to optimize VQE or QAOA is NP-hard.
Implications
It is hard to figure out what parameters are best for a quantum circuit!
It’s not about the hardness of “finding the ground state” (QMA hardness), it’s about the optimization procedure
local approaches to minimize variational algorithms can get stuck in very bad local minima
Four settings showing hardness
oracle: quantum computer; proving the optimization is NP-hard even if constant relative precision
ground state problem is easy; log(n) qubits
ground state problem is easy; free fermions
ground state problem is easy; QAOA setup
Details
Considers “Continuous MaxCut” which is equivalent to MaxCut. Continuous MaxCut has d real parameters to tune.
Proof: reduce Continuous MaxCut to a “minimize a variational algorithm” problem, showing NP-hardness
Use a “boosting technique” to amplify errors – showing that efficiently solving a variational algorithm could improve beyond approximation bounds for MaxCut.
with log(n) qubits, can still be reduced from continuous max cut (since hamiltonian still is size n). Uses ergodic energy spectrum to show this is true even for 1 layer circuits. This shows that minimizing the expectation of a time-evoled observable is also NP-hard.