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.

Quantum Algorithm for Approximating Maximum Independent Sets

Quantum Hamiltonian Algorithms for Maximum Independent Sets

Progressive Quantum Algorithm for Maximum Independent Set with Quantum Alternating Operator Ansatz

Approximating maximum independent set on Rydberg atom arrays using local detunings

Iterative Quantum Algorithms for Maximum Independent Set: A Tale of Low-Depth Quantum Algorithms

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

From Maximum Cut to Maximum Independent Set

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

Quantum optimization of maximum independent set using Rydberg atom arrays

A Universal Quantum Algorithm for Weighted Maximum Cut and Ising Problems

An Analysis of Quantum Annealing Algorithms for Solving the Maximum Clique Problem

An Improved Approximation Algorithm for Quantum Max-Cut

Approximation Algorithms for Quantum Max-$d$-Cut

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

An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer

Hardness of the Maximum Independent Set Problem on Unit-Disk Graphs and Prospects for Quantum Speedups

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

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

A Quantum Algorithm for the Sub-graph Isomorphism Problem

Analyzing the quantum approximate optimization algorithm: ansätze, symmetries, and Lie algebras

Missing Puzzle Pieces in the Performance Landscape of the Quantum Approximate Optimization Algorithm