Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas

Hanrui Wang,Daniel Bochen Tan,Pengyu Liu,Yilian Liu,Jiaqi Gu,Jason Cong,Song Han

2024-09-12

Abstract:Neutral atom arrays have become a promising platform for quantum computing, especially the field programmable qubit array (FPQA) endowed with the unique capability of atom movement. This feature allows dynamic alterations in qubit connectivity during runtime, which can reduce the cost of executing long-range gates and improve parallelism. However, this added flexibility introduces new challenges in circuit compilation. Inspired by the placement and routing strategies for FPGAs, we propose to map all data qubits to fixed atoms while utilizing movable atoms to route for 2-qubit gates between data qubits. Coined flying ancillas, these mobile atoms function as ancilla qubits, dynamically generated and recycled during execution. We present Q-Pilot, a scalable compiler for FPQA employing flying ancillas to maximize circuit parallelism. For two important quantum applications, quantum simulation and the Quantum Approximate Optimization Algorithm (QAOA), we devise domain-specific routing strategies. In comparison to alternative technologies such as superconducting devices or fixed atom arrays, Q-Pilot effectively harnesses the flexibility of FPQA, achieving reductions of 1.4x, 27.7x, and 6.3x in circuit depth for 100-qubit random, quantum simulation, and QAOA circuits, respectively.

Quantum Physics,Hardware Architecture,Emerging Technologies

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the efficient compilation of quantum circuits on the Field Programmable Qubit Array (FPQA), especially on the neutral - atom - array platform. The neutral - atom - array has become a promising platform for quantum computing because of its unique atomic - movement ability. This feature allows the connections between qubits to be dynamically changed at runtime, thereby reducing the cost of performing long - distance gates and increasing parallelism. However, this flexibility also brings new compilation challenges.

### Main Problems
1. **Management of Dynamic Coupling Graphs**: Unlike traditional static coupling graphs, the coupling graph of FPQA is dynamic and needs to be effectively managed and utilized during the compilation process.
2. **Efficient Routing Strategies**: How to effectively route qubits to perform two - qubit gates (2 - Q gates) while maintaining high parallelism, especially for long - distance gate operations.
3. **Reducing Circuit Depth**: By optimizing the compilation strategy, reduce the depth of the quantum circuit, thereby reducing noise influence and improving overall performance.

### Solutions
The paper proposes a scalable compiler named Q - Pilot, which utilizes "flying ancillas" to maximize circuit parallelism. The specific methods are as follows:

1. **Fixed Data Qubits and Mobile Ancillary Qubits**:
- Map all data qubits to fixed atoms.
- Use movable atoms as ancillary qubits (flying ancillas), which are dynamically generated and recycled at runtime for routing two - qubit gates.

2. **Domain - Specific Routing Strategies**:
- For important quantum applications such as quantum simulation and the Quantum Approximate Optimization Algorithm (QAOA), specific routing strategies are designed.
- For example, in quantum simulation, multiple ancillary qubits are created and a graph algorithm is used to find the longest chain to perform gate operations.
- In QAOA, an ancillary qubit is created for each qubit, and the commutativity of gates is utilized to maximize parallel execution and reduce circuit depth.

3. **High - Parallel General - Purpose Router**:
- A heuristic - based scheduler is proposed, which can arrange as many parallel - executable gate operations as possible within a single laser stage.
- High parallelism is achieved by dynamically arranging the Acousto - Optic Deflector (AOD) and scheduling 2 - Q gates.

### Experimental Results
The experimental results show that the circuit depths of Q - Pilot on 100 - qubit random circuits, quantum simulation, and QAOA circuits are reduced by 1.4 times, 27.7 times, and 6.3 times respectively, which are significantly better than the existing baseline techniques.

### Conclusions
Q - Pilot successfully solves the compilation challenges on the FPQA platform by introducing "flying ancillas" and efficient routing strategies, significantly improving the parallelism and performance of quantum circuits. This achievement provides important technical support for the application of neutral - atom - arrays in quantum computing.