Abstract:NP-hard problems are not believed to be exactly solvable through general polynomial time algorithms. Hybrid quantum-classical algorithms to address such combinatorial problems have been of great interest in the past few years. Such algorithms are heuristic in nature and aim to obtain an approximate solution. Significant improvements in computational time and/or the ability to treat large problems are some of the principal promises of quantum computing in this regard. The hardware, however, is still in its infancy and the current Noisy Intermediate Scale Quantum (NISQ) computers are not able to optimize industrially relevant problems. Moreover, the storage of qubits and introduction of entanglement require extreme physical conditions. An issue with quantum optimization algorithms such as QAOA is that they scale linearly with problem size. In this paper, we build upon a proprietary methodology which scales logarithmically with problem size - opening an avenue for treating optimization problems of unprecedented scale on gate-based quantum computers. In order to test the performance of the algorithm, we first find a way to apply it to a handful of NP-hard problems: Maximum Cut, Minimum Partition, Maximum Clique, Maximum Weighted Independent Set. Subsequently, these algorithms are tested on a quantum simulator with graph sizes of over a hundred nodes and on a real quantum computer up to graph sizes of 256. To our knowledge, these constitute the largest realistic combinatorial optimization problems ever run on a NISQ device, overcoming previous problem sizes by almost tenfold.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to use quantum computers to solve various NP - hard problems with exponentially fewer qubits. Specifically, the paper proposes a new algorithm. When dealing with combinatorial optimization problems, the number of qubits required by this algorithm grows logarithmically with the problem scale, rather than linearly. This enables larger - scale optimization problems to be processed on current noisy intermediate - scale quantum (NISQ) devices. ### Main contributions of the paper: 1. **Algorithm innovation**: An algorithm that can logarithmically compress the problem scale is proposed, thereby significantly reducing the number of required qubits. For example, a graph with \(n\) nodes can be represented by \( \lceil \log_2 n \rceil \) qubits. 2. **Wide range of applicability**: This algorithm is not only applicable to the Maximum Cut problem, but can also be applied to other NP - hard problems such as Minimum Partition, Maximum Clique, Maximum Weighted Independent Set, etc. through transformation. 3. **Experimental verification**: A large number of experiments have been carried out on quantum simulators and actual quantum computers, demonstrating the performance advantages of this algorithm in dealing with large - scale graph problems. In particular, the experimental results in the paper show that this algorithm can run on graphs with more than 100 nodes and also performs well on graphs with 256 nodes. ### Key technical details: - **Logarithmic encoding**: By logarithmically compressing the problem scale, the number of required qubits is reduced. For example, for the Maximum Cut problem, a graph with \(n\) nodes can be represented by \( \lceil \log_2 n \rceil \) qubits. - **Variational algorithm**: Combining classical optimization methods and quantum computing, approximate optimal solutions are found through variational methods. Specific steps include constructing quantum circuits, applying Hadamard gates, applying diagonal gates, etc. - **Problem transformation**: Other NP - hard problems (such as Minimum Partition, Maximum 2 - SAT, etc.) are transformed into the Maximum Cut problem, so that this algorithm can be used to solve them. ### Experimental results: - **Maximum Cut problem**: On quantum simulators and actual quantum computers, when this algorithm deals with graphs with 32 nodes, it can reach more than 90% of the optimal solution. As the density of the graph increases, the performance of the algorithm remains stable. - **Extension to other problems**: Through problem transformation, this algorithm has been successfully applied to the Minimum Partition problem and has achieved good results on both quantum simulators and actual quantum computers. ### Conclusion: This paper proposes an efficient quantum algorithm that can handle larger - scale NP - hard problems on current NISQ devices. Through logarithmic encoding and variational methods, this algorithm significantly reduces the number of required qubits, providing new possibilities for future applications of quantum computing in the field of combinatorial optimization.

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

NP-hard but no longer hard to solve? Using quantum computing to tackle optimization problems

Quantum Approximate Optimisation Applied to Graph Similarity

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

Optical experimental solution for the multiway number partitioning problem and its application to computing power scheduling

Solving Combinatorial Optimization Problems on a Photonic Quantum Computer

Optimizing the Optimizer: Decomposition Techniques for Quantum Annealing

Quantum Optimization for the Maximum Cut Problem on a Superconducting Quantum Computer

Classical Combinatorial Optimization Scaling for Random Ising Models on 2D Heavy-Hex Graphs

Evidence of Scaling Advantage for the Quantum Approximate Optimization Algorithm on a Classically Intractable Problem

Quantum-Enhanced Greedy Combinatorial Optimization Solver

Near-term Quantum Algorithm for Solving the MaxCut Problem with Fewer Quantum Resources

A Multilevel Approach For Solving Large-Scale QUBO Problems With Noisy Hybrid Quantum Approximate Optimization

Scaling of the quantum approximate optimization algorithm on superconducting qubit based hardware

An investigation of IBM Quantum Computing device performance on Combinatorial Optimisation Problems

Combinatorial Optimization with Quantum Computers

QAOA for Max-Cut requires hundreds of qubits for quantum speed-up

Towards large-scale quantum optimization solvers with few qubits

Unlocking Quantum Optimization: A Use Case Study on NISQ Systems

Quantum-Assisted Solution Paths for the Capacitated Vehicle Routing Problem