Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts

Abstract

Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform primarily due to its long coherence times and scalability. Additionally, NAQC offers computational advantages encompassing potential long-range connectivity, native multi-qubit gate support, and the ability to physically rearrange qubits with high fidelity. However, for the successful operation of a NAQC processor, one additionally requires new software tools to translate high-level algorithmic descriptions into a hardware executable representation, taking maximal advantage of the hardware capabilities. Realizing new software tools requires a close connection between tool developers and hardware experts to ensure that the corresponding software tools obey the corresponding physical constraints. This work aims to provide a basis to establish this connection by investigating the broad spectrum of capabilities intrinsic to the NAQC platform and its implications on the compilation process. To this end, we first review the physical background of NAQC and derive how it affects the overall compilation process by formulating suitable constraints and figures of merit. We then provide a summary of the compilation process and discuss currently available software tools in this overview. Finally, we present selected case studies and employ the discussed figures of merit to evaluate the different capabilities of NAQC and compare them between two hardware setups.

32 pages, 13 figures, 2 tables, v2: published at IOP-QST

References in corpus (54)

• Logical quantum processor based on reconfigurable atom arrays
• An atom-by-atom assembler of defect-free arbitrary 2d atomic arrays
• Demonstration of multi-qubit entanglement and algorithms on a programmable neutral atom quantum computer
• High-fidelity parallel entangling gates on a neutral atom quantum computer
• Quantum computing with neutral atoms
• Quantum Optimization of Maximum Independent Set using Rydberg Atom Arrays
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• Cooling a single atom in an optical tweezer to its quantum ground state
• High-fidelity gates with mid-circuit erasure conversion in a metastable neutral atom qubit
• Erasure conversion for fault-tolerant quantum computing in alkaline earth Rydberg atom arrays
• MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
• A concise review of Rydberg atom based quantum computation and quantum simulation
• Ytterbium nuclear-spin qubits in an optical tweezer array
• 2000-times repeated imaging of strontium atoms in clock-magic tweezer arrays
• Erasure conversion in a high-fidelity Rydberg quantum simulator
• A Simple Proof that Toffoli and Hadamard are Quantum Universal
• Assembly and coherent control of a register of nuclear spin qubits
• Mid-circuit correction of correlated phase errors using an array of spectator qubits
• Universal gate operations on nuclear spin qubits in an optical tweezer array of ${}^{171}$Yb atoms
• Long-lived Bell states in an array of optical clock qubits
• Mid-circuit cavity measurement in a neutral atom array
• Lossless State Detection of Single Neutral Atoms
• A dual-species Rydberg array
• Parallel low-loss measurement of multiple atomic qubits
• Constant-overhead quantum error correction with thin planar connectivity
• Mid-circuit qubit measurement and rearrangement in a ${}^{171}$Yb atomic array
• Mid-circuit measurements on a single species neutral alkali atom quantum processor
• High threshold codes for neutral atom qubits with biased erasure errors
• Continuous operation of large-scale atom arrays in optical lattices
• Dispersive optical systems for scalable Raman driving of hyperfine qubits
• Optimizing Rydberg Gates for Logical Qubit Performance
• Repetitive readout and real-time control of nuclear spin qubits in ${}^{171}$Yb atoms
• Multi-ensemble metrology by programming local rotations with atom movements
• Measurement-free fault-tolerant quantum error correction in near-term devices
• Coherent Control of the Fine-Structure Qubit in a Single Alkaline-Earth Atom
• Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
• Long-Lived Circular Rydberg Qubits of Alkaline-Earth Atoms in Optical Tweezers
• Protocols for Rydberg entangling gates featuring robustness against quasi-static errors
• Fine-Structure Qubit Encoded in Metastable Strontium Trapped in an Optical Lattice
• Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer
• Quantum LDPC Codes for Modular Architectures
• Muzzle the Shuttle: Efficient Compilation for Multi-Trap Trapped-Ion Quantum Computers
• Bounds on stabilizer measurement circuits and obstructions to local implementations of quantum LDPC codes
• Circuit decompositions and scheduling for neutral atom devices with limited local addressability
• Benchmarking a Neutral-Atom Quantum Computer
• SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
• Robust atom-photon gate for quantum information processing
• Iterative assembly of ${}^{171}$Yb atom arrays with cavity-enhanced optical lattices
• An Architecture for Improved Surface Code Connectivity in Neutral Atoms
• Depth-Optimal Addressing of 2D Qubit Array with 1D Controls Based on Exact Binary Matrix Factorization
• Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays
• Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas
• Benchmarking the algorithmic performance of near-term neutral atom processors
• Individual-atom control in array through phase modulation

Cited by in corpus (15)

• The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
• An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
• The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC
• Near-Term Spin-Qubit Architecture Design via Multipartite Maximally-Entangled States
• beSnake: A routing algorithm for scalable spin-qubit architectures
• Quantum circuit compilation with quantum computers
• Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
• Mantra: Rewriting Quantum Programs to Minimize Trap-Movements for Zoned Rydberg Atom Arrays
• Improving Figures of Merit for Quantum Circuit Compilation
• General, efficient, and robust Hamiltonian engineering
• Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
• Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
• Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing
• All-to-all connectivity of Rydberg-atom-based quantum processors with messenger qubits
• Universal quantum computation via scalable measurement-free error correction