Divide and Conquer for Combinatorial Optimization and Distributed Quantum Computation

Teague Tomesh,Zain H. Saleem,Michael A. Perlin,Pranav Gokhale,Martin Suchara,Margaret Martonosi

2023-10-13

Abstract:Scaling the size of monolithic quantum computer systems is a difficult task. As the number of qubits within a device increases, a number of factors contribute to decreases in yield and performance. To meet this challenge, distributed architectures composed of many networked quantum computers have been proposed as a viable path to scalability. Such systems will need algorithms and compilers that are tailored to their distributed architectures. In this work we introduce the Quantum Divide and Conquer Algorithm (QDCA), a hybrid variational approach to mapping large combinatorial optimization problems onto distributed quantum architectures. This is achieved through the combined use of graph partitioning and quantum circuit cutting. The QDCA, an example of application-compiler co-design, alters the structure of the variational ansatz to tame the exponential compilation overhead incurred by quantum circuit cutting. The result of this cross-layer co-design is a highly flexible algorithm which can be tuned to the amount of classical or quantum computational resources that are available, and can be applied to both near- and long-term distributed quantum architectures. We simulate the QDCA on instances of the Maximum Independent Set problem and find that it is able to outperform similar classical algorithms. We also evaluate an 8-qubit QDCA ansatz on a superconducting quantum computer and show that circuit cutting can help to mitigate the effects of noise. Our work demonstrates how many small-scale quantum computers can work together to solve problems $85\%$ larger than their own qubit count, motivating the development and potential of large-scale distributed quantum computing.

Quantum Physics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is: how to efficiently solve large - scale combinatorial optimization problems on distributed quantum computers. Specifically, the paper introduces a method named Quantum Divide and Conquer Algorithm (QDCA). This method maps large - scale combinatorial optimization problems onto distributed quantum architectures for solution through graph partitioning and quantum circuit cutting techniques. This method can not only utilize multiple small - scale quantum processors to work together to solve problems beyond the capacity of a single processor, but also effectively control communication overhead and improve the solution efficiency.

### Key Points:

1. **Problem Background**:
- The current scale of quantum computers is limited, and it is difficult to directly handle large - scale problems.
- Distributed quantum computing architectures provide a feasible path to achieve large - scale quantum computing by connecting multiple small - scale quantum computers through a network.

2. **Solution**:
- **Quantum Divide and Conquer Algorithm (QDCA)**: Combining graph partitioning and quantum circuit cutting techniques, it decomposes large - scale combinatorial optimization problems into multiple sub - problems and executes them on distributed quantum architectures.
- **Graph Partitioning**: Using classical graph partitioning algorithms (such as Kernighan - Lin and METIS algorithms) to partition the input graph into two approximately equal sub - graphs to reduce the number of edges across sub - graphs.
- **Quantum Circuit Cutting**: Cut the constructed quantum circuit into multiple sub - circuits, execute them on different quantum processors respectively, and then reconstruct the output of the original circuit through classical post - processing.

3. **Advantages**:
- **Scalability**: Through the distributed architecture, multiple small - scale quantum processors can be used to work together to solve problems larger than the capacity of a single processor.
- **Flexibility**: The algorithm can be adjusted according to the available classical or quantum computing resources, and is suitable for short - term and long - term distributed quantum architectures.
- **Performance**: Experimental results show that QDCA can outperform similar classical algorithms in some cases, and the influence of noise can be mitigated through circuit cutting techniques.

### Summary:
The paper proposes an innovative Quantum Divide and Conquer Algorithm (QDCA). Through graph partitioning and quantum circuit cutting techniques, it achieves the goal of efficiently solving large - scale combinatorial optimization problems on distributed quantum architectures. This method not only improves the solution efficiency, but also demonstrates the potential and feasibility of distributed quantum computing.