Abstract:A canonical feature of the constraint satisfaction problems in NP is approximation hardness, where in the worst case, finding sufficient-quality approximate solutions is exponentially hard for all known methods. Fundamentally, the lack of any guided local minimum escape method ensures both exact and approximate classical approximation hardness, but the equivalent mechanism(s) for quantum algorithms are poorly understood. For algorithms based on Hamiltonian time evolution, we explore this question through the prototypically hard MAX-3-XORSAT problem class. We conclude that the mechanisms for quantum exact and approximation hardness are fundamentally distinct. We review known results from the literature, and identify mechanisms that make conventional quantum methods (such as Adiabatic Quantum Computing) weak approximation algorithms in the worst case. We construct a family of spectrally filtered quantum algorithms that escape these issues, and develop analytical theories for their performance. We show that, for random hypergraphs in the approximation-hard regime, if we define the energy to be $E = N_{\mathrm{unsat}}-N_{\mathrm{sat}}$, spectrally filtered quantum optimization will return states with $E \leq q_m E_{\mathrm{GS}}$ (where $E_{\rm GS}$ is the ground state energy) in sub-quadratic time, where conservatively, $q_m \simeq 0.59$. This is in contrast to $q_m \to 0$ for the hardest instances with classical searches. We test all of these claims with extensive numerical simulations. We do not claim that this approximation guarantee holds for all possible hypergraphs, though our algorithm's mechanism can likely generalize widely. These results suggest that quantum computers are more powerful for approximate optimization than had been previously assumed.

Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs

Optimization of quantum graph eigenvalues with preferred orientation vertex conditions

Optimizing Quantum Walk Search on a Reduced Uniform Complete Multi-Partite Graph

Bounding the joint numerical range of Pauli strings by graph parameters

Modulus of continuity eigenvalue bounds for homogeneous graphs and convex subgraphs with applications to quantum Hamiltonians

On the Fundamental Eigenvalues gap of Sturm-Liouville Operators

Spectral Gap Analysis for Efficient Tunneling in Quantum Adiabatic Optimization

Variational quantum algorithm for generalized eigenvalue problems and its application to the finite element method

Eigenvalue bounds for Schrödinger operators with complex potentials on compact manifolds

Splitting Quantum Graphs

Spectral Determinants of Almost Equilateral Quantum Graphs

A Hierarchy of Spectral Gap Certificates for Frustration-Free Spin Systems

Lower bounds on the fundamental spectral gap with Robin boundary conditions

Numerical Computation of Non-Equilateral Quantum Graph Spectra

Towards a Calculus for Non-Linear Spectral Gaps [Extended Abstract]

Optimizing Strongly Interacting Fermionic Hamiltonians

On the approximability of random-hypergraph MAX-3-XORSAT problems with quantum algorithms

Keller and Lieb-Thirring estimates of the eigenvalues in the gap of Dirac operators

Exotic eigenvalues and analytic resolvent for a graph with a shrinking edge

Quantizing graphs, one way or two?

Exploiting Structure in Quantum Relative Entropy Programs