Abstract:The ubiquitous nature of the maximum independent set (MIS) problem across diverse fields, including biology and chip design, presents a significant challenge. Recently, quantum algorithms have been recognized for their increased potential in addressing combinatorial optimization problems, including the MIS problem. Several quantum systems, including optical quantum circuits and Rydberg atomic systems, have been designed specifically for the MIS problem. However, elucidating the precise nature of instances that pose challenges for quantum algorithms constitutes a formidable task. In an effort to comprehend this issue, we endeavor to delineate the conditions under which instances become hard to solve by analyzing the Hamiltonian of the k-independent set (k k-IS). Furthermore, we present two multi-stage strategies grounded in the simulated quantum adiabatic evolution (SQAE) of Kerr-nonlinear parametric oscillator (KPO) system for identifying the MIS in instances deemed hard to solve. More specifically, we present the algorithm leveraging SQAE of the KPO system for approximating the MIS. Our investigation of the SQAE algorithm reveals that optimal solutions are unattainable under two distinct conditions: (1) when the number of solutions is exponentially smaller to the problem's scale, and (2) when the counts of non-optimal independent sets (IS) with m overlaps between the optimal k-IS (k > m ) is exponentially smaller relative to the problem's scale. With these two distinctive features, we propose two multi-stage SQAE strategies tailored for hard-to-solve instances. In the first approach, the SQAE algorithm is executed multiple times to identify a set of candidate vertices for the MIS. For each vertex or combinations of vertices in this set, we extract the subgraphs induced by the vertices not adjacent to them. Subsequently, the SQAE algorithm is applied to the subgraph to obtain the ( k -1)-IS. In the second multi-stage strategy, we consider each vertex v(i) in the given graph, generating the subgraph induced by the vertices not adjacent to v (i ). The SQAE algorithm is then employed to find the ( k - 1)-IS of the subgraph. Experimental results demonstrate that both multi-stage strategies significantly enhance the performance of the SQAE algorithm for hard-to-solve instances.

Fermionic Independent Set and Laplacian of an independence complex are QMA-hard

New Approaches to Complexity via Quantum Graphs

Gapped Clique Homology on weighted graphs is $\text{QMA}_1$-hard and contained in $\text{QMA}$

Complexity of Fermionic 2-SAT

Complexity of geometrically local stoquastic Hamiltonians

Hardness of approximation for ground state problems

Quasi-quantum states and the quasi-quantum PCP theorem

Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model

NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability

Complexity of Supersymmetric Systems and the Cohomology Problem

Relaxations and Exact Solutions to Quantum Max Cut via the Algebraic Structure of Swap Operators

From Maximum Cut to Maximum Independent Set

A Lattice Problem in Quantum NP

A Quantum Approximate Optimization Algorithm for Local Hamiltonian Problems

PAC-learning of free-fermionic states is NP-hard

The Quantum Marginal Problem

An Almost Sudden Jump in Quantum Complexity

The Complexity of Independent Set Reconfiguration on Bipartite Graphs

A Quantum Unique Games Conjecture

Finding Maximum Independent Set Based on Multi-Stage Simulated Quantum Adiabatic Evolution