Mantra: Rewriting Quantum Programs to Minimize Trap-Movements for Zoned Rydberg Atom Arrays
arXiv:2503.02272 · doi:10.1145/3696443.3708937
Abstract
A zoned neutral atom architecture achieves exceptional fidelity by segregating the execution spaces of 1- and 2-qubit gates, being a promising candidate for high-accuracy quantum systems. Unfortunately, naively applying programs designed for static qubit topologies to zoned architectures may result in most execution time being consumed by inter-zone travels of atoms. To address this, we introduce Mantra (Minimizing trAp movemeNts for aTom aRray Architectures), which rewrites quantum programs to reduce the interleaving of single- and two-qubit gates. Mantra incorporates three strategies: (i) a fountain-shaped controlled-Z (CZ) chain, (ii) ZZ-interaction protocol without a 1-qubit gate, and (iii) preemptive gate scheduling. Mantra reduces inter-zone movements by 68%, physical gate counts by 35%, and improves circuit fidelities by 17% compared to the standard executions.
17 pages, 16 figures, to be published in The 2025 International Symposium on Code Generation and Optimization (CGO '25)
References in corpus (25)
- Quantum Computing in the NISQ era and beyond
- Good Quantum Error-Correcting Codes Exist
- Stabilizer Codes and Quantum Error Correction
- Demonstration of multi-qubit entanglement and algorithms on a programmable neutral atom quantum computer
- tket : A Retargetable Compiler for NISQ Devices
- Quantum algorithms for electronic structure calculations: particle/hole Hamiltonian and optimized wavefunction expansions
- Quantum computing with Qiskit
- MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
- Quantum Orbital-Optimized Unitary Coupled Cluster Methods in the Strongly Correlated Regime: Can Quantum Algorithms Outperform their Classical Equivalents?
- Fermionic quantum processing with programmable neutral atom arrays
- Robust quantum logic in neutral atoms via adiabatic Rydberg dressing
- Robust Mølmer-Sørensen gate for neutral atoms using rapid adiabatic Rydberg dressing
- Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning
- Rearrangement of single atoms in a 2000-site optical tweezers array at cryogenic temperatures
- A variational study of two-nucleon systems with lattice QCD
- Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
- Quantum-Informed Recursive Optimization Algorithms
- Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
- Scalable Networking of Neutral-Atom Qubits: Nanofiber-Based Approach for Multiprocessor Fault-Tolerant Quantum Computer
- Mid-circuit operations using the omg-architecture in neutral atom arrays
- Orchestrated Trios: Compiling for Efficient Communication in Quantum Programs with 3-Qubit Gates
- An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
- Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
- High-rate and high-fidelity modular interconnects between neutral atom quantum processors
- Time-Optimal Two- and Three-Qubit Gates for Rydberg Atoms