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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the approximation hardness of the random hypergraph MAX - 3 - XORSAT problem under quantum algorithms. Specifically, the paper explores the performance of quantum algorithms in dealing with such problems, especially how to overcome the limitations that traditional quantum methods (such as adiabatic quantum computing (AQC) and quantum approximate optimization algorithm (QAOA)) cannot be effectively approximated in the worst - case scenario. The main contribution of the paper lies in proposing a new "spectral filtering" quantum optimization strategy. This strategy transforms the problem Hamiltonian by applying a nonlinear filtering function, thereby achieving an efficient approximation guarantee within polynomial time in some variants, especially showing an exponential - level speed - up on instances that are difficult to handle by classical computers. ### Paper Background - **Combinatorial Optimization Problems**: Constraint satisfaction problems (CSPs) are an important and difficult area in modern computer science. These problems usually involve finding low - energy configurations under a large number of constraints. - **Problem Difficulty**: Such problems are not only difficult to solve but also difficult to approximate. Even the most advanced classical and quantum algorithms show exponential - level time complexity in the worst - case scenario. - **Quantum Algorithms**: Although quantum algorithms show significant advantages in some specific problems, they have not achieved an effect of surpassing quadratic speed - up when dealing with NP - optimization problems. ### Core Problems of the Paper - **Approximation Hardness Mechanism**: The paper explores the core mechanisms that lead to approximation hardness and analyzes the performance of these mechanisms in quantum algorithms. - **Limitations of Traditional Quantum Methods**: Traditional quantum methods such as AQC and QAOA cannot be effectively approximated in the worst - case scenario. The paper supports this view through large - scale numerical simulations. - **Spectral Filtering Quantum Optimization**: The paper proposes the "spectral filtering" quantum optimization strategy. By applying a nonlinear filtering function to adjust the statistical characteristics of the problem, an efficient approximation guarantee is achieved within polynomial time. ### Specific Contributions 1. **Theoretical Analysis**: The paper analyzes in detail the limitations of traditional quantum methods in the worst - case scenario and proposes the theoretical basis of the spectral filtering quantum optimization strategy. 2. **Numerical Verification**: Through large - scale numerical simulations, the effectiveness of the spectral filtering quantum optimization strategy is verified. 3. **Performance Prediction**: The paper develops new theoretical tools for predicting the performance of the spectral filtering quantum optimization algorithm and establishes an approximation guarantee on random hypergraphs. 4. **Core Conjecture**: The paper proposes a core conjecture, that is, for random MAX - 3 - XORSAT instances, a quantum computer can return a state close to the optimal solution within polynomial time. ### Mathematical Representation - **Energy Definition**: \[ E(s)=-N_C (n_{\text{sat}}(s)-n_{\text{unsat}}(s)) \] - $ N_C $ is the number of three - body constraints. - $ n_{\text{sat}}(s) $ is the number of satisfied constraints. - $ n_{\text{unsat}}(s) $ is the number of unsatisfied constraints. - **Approximation Guarantee**: \[ E\leq q_m E(G) \] - $ q_m $ is a constant, and conservatively estimated $ q_m\simeq0.59 $ - $ E(G) $ is the ground - state energy. ### Conclusion Through theoretical analysis and numerical simulations, the paper shows the potential of the spectral filtering quantum optimization strategy in dealing with the random hypergraph MAX - 3 - XORSAT problem, especially providing an exponential - level speed - up in the worst - case scenario. This indicates that quantum computers may be more powerful in approximate optimization than previously thought.

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

The Quantum Approximate Optimization Algorithm performance with low entanglement and high circuit depth

Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms

Entanglement perspective on the quantum approximate optimization algorithm

Approximation Algorithms for Quantum Max-$d$-Cut

An Improved Approximation Algorithm for Quantum Max-Cut

Solving various NP-Hard problems using exponentially fewer qubits on a Quantum Computer

Sparse Random Hamiltonians Are Quantumly Easy

Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms

Limitations of Quantum Approximate Optimization in Solving Generic Higher-Order Constraint-Satisfaction Problems

NISQ-compatible approximate quantum algorithm for unconstrained and constrained discrete optimization

Hybrid Quantum-Classical Multilevel Approach for Maximum Cuts on Graphs

On the (Classical and Quantum) Fine-Grained Complexity of Log-Approximate CVP and Max-Cut

Quantum Approximate Optimization Algorithms for Maxmimum Cut on Low-Girth Graphs

Performance of the Quantum Approximate Optimization Algorithm on the Maximum Cut Problem

A Quantum Approximate Optimization Algorithm for Local Hamiltonian Problems

Sampling Frequency Thresholds for Quantum Advantage of Quantum Approximate Optimization Algorithm

Quantum Algorithms for Scientific Computing and Approximate Optimization

Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms

Imaginary Hamiltonian variational ansatz for combinatorial optimization problems

The Overlap Gap Property limits limit swapping in QAOA