Abstract:Despite major ongoing advancements in neutral atom hardware technology, there remains limited work in systems-level software tailored to overcoming the challenges of neutral atom quantum computers. In particular, most current neutral atom architectures do not natively support local addressing of single-qubit rotations about an axis in the xy-plane of the Bloch sphere. Instead, these are executed via global beams applied simultaneously to all qubits. While previous neutral atom experimental work has used straightforward synthesis methods to convert short sequences of operations into this native gate set, these methods cannot be incorporated into a systems-level framework nor applied to entire circuits without imposing impractical amounts of serialization. Without sufficient compiler optimizations, decompositions involving global gates will significantly increase circuit depth, gate count, and accumulation of errors. No prior compiler work has addressed this, and adapting existing compilers to solve this problem is nontrivial. In this paper, we present an optimized compiler pipeline that translates an input circuit from an arbitrary gate set into a realistic neutral atom native gate set containing global gates. We focus on decomposition and scheduling passes that minimize the final circuit's global gate count and total global rotation amount. As we show, these costs contribute the most to the circuit's duration and overall error, relative to costs incurred by other gate types. Compared to the unoptimized version of our compiler pipeline, minimizing global gate costs gives up to 4.77x speedup in circuit duration. Compared to the closest prior existing work, we achieve up to 53.8x speedup. For large circuits, we observe a few orders of magnitude improvement in circuit fidelities.

Parametrized multiqubit gate design for neutral-atom based quantum platforms

Parallel Implementation of High-Fidelity Multiqubit Gates with Neutral Atoms

Quantum Gate Optimization for Rydberg Architectures in the Weak-Coupling Limit

Implementation of Quantum Algorithms via Fast Three-Rydberg-Atom CCZ Gates

Single-modulated-pulse two-qubit gates for Rydberg atoms with noncyclic geometric control

Robust control and optimal Rydberg states for neutral atom two-qubit gates

Variational Quantum Circuits for Multi-Qubit Gate Automata

Holonomic swap and controlled-swap gates of neutral atoms via selective Rydberg pumping

One-step implementation of Toffoli gate for neutral atoms based on unconventional Rydberg pumping

Simulation of a feedback-based algorithm for quantum optimization for a realistic neutral atom system with an optimized small-angle controlled-phase gate

Optimizing Gate Decomposition for High-Level Quantum Programming

Geodesic Algorithm for Unitary Gate Design with Time-Independent Hamiltonians

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

Gate generation for open quantum systems via a monotonic algorithm with time optimization

Deutsch, Toffoli, and CNOT Gates via Rydberg Blockade of Neutral Atoms

One-step Implementation of Ann-Qubit Controlled-Phase Gate with Neutral Atoms Trapped in an Optical Cavity

Efficient Implementation of Multi-Controlled Quantum Gates

Robust Quantum Gates on Neutral Atoms with Cavity-Assisted Photon Scattering

Efficient experimental design of high-fidelity three-qubit quantum gates via genetic programming