Abstract:Quantum 8, 1281 (2024). https://doi.org/10.22331/q-2024-03-14-1281 Dynamically field-programmable qubit arrays (DPQA) have recently emerged as a promising platform for quantum information processing. In DPQA, atomic qubits are selectively loaded into arrays of optical traps that can be reconfigured during the computation itself. Leveraging qubit transport and parallel, entangling quantum operations, different pairs of qubits, even those initially far away, can be entangled at different stages of the quantum program execution. Such reconfigurability and non-local connectivity present new challenges for compilation, especially in the layout synthesis step which places and routes the qubits and schedules the gates. In this paper, we consider a DPQA architecture that contains multiple arrays and supports 2D array movements, representing cutting-edge experimental platforms. Within this architecture, we discretize the state space and formulate layout synthesis as a satisfiability modulo theories problem, which can be solved by existing solvers optimally in terms of circuit depth. For a set of benchmark circuits generated by random graphs with complex connectivities, our compiler OLSQ-DPQA reduces the number of two-qubit entangling gates on small problem instances by 1.7x compared to optimal compilation results on a fixed planar architecture. To further improve scalability and practicality of the method, we introduce a greedy heuristic inspired by the iterative peeling approach in classical integrated circuit routing. Using a hybrid approach that combined the greedy and optimal methods, we demonstrate that our DPQA-based compiled circuits feature reduced scaling overhead compared to a grid fixed architecture, resulting in 5.1X less two-qubit gates for 90 qubit quantum circuits. These methods enable programmable, complex quantum circuits with neutral atom quantum computers, as well as informing both future compilers and future hardware choices.

Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors

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

2QAN: A quantum compiler for 2-local qubit Hamiltonian simulation algorithms

Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays

ZAP: Zoned Architecture and Parallelizable Compiler for Field Programmable Atom Array

Compiling quantum circuits to realistic hardware architectures using temporal planners

ECDQC: Efficient Compilation for Distributed Quantum Computing with Linear Layout

Circuit decompositions and scheduling for neutral atom devices with limited local addressability

Parallax: A Compiler for Neutral Atom Quantum Computers under Hardware Constraints

Coqa: Blazing Fast Compiler Optimizations for QAOA

Quantum Compiling with Reinforcement Learning on a Superconducting Processor

Modularized and Scalable Compilation for Double Quantum Dot Quatum Computing

Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers

Compiler for Distributed Quantum Computing: a Reinforcement Learning Approach

ISAAQ: Ising Machine Assisted Quantum Compiler

Scalable algorithm simplification using quantum AND logic

Quantum CISC Compilation by Optimal Control and Scalable Assembly of Complex Instruction Sets beyond Two-Qubit Gates

Reuse-Aware Compilation for Zoned Quantum Architectures Based on Neutral Atoms