Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
arXiv:2411.09738 · doi:10.23919/DATE64628.2025.10993241
Abstract
Quantum computing promises to solve problems previously deemed infeasible. However, high error rates necessitate quantum error correction for practical applications. Seminal experiments with zoned neutral atom architectures have shown remarkable potential for fault-tolerant quantum computing. To fully harness their potential, efficient software solutions are vital. A key aspect of quantum error correction is the initialization of physical qubits representing a logical qubit in a highly entangled state. This process, known as state preparation, is the foundation of most quantum error correction codes and, hence, a crucial step towards fault-tolerant quantum computing. Generating a schedule of target-specific instructions to perform the state preparation is highly complex. First software tools exist but are not suitable for the zoned neutral atom architectures. This work addresses this gap by leveraging the computational power of SMT solvers and generating minimal schedules for the state preparation of logical arrays. Experimental evaluations demonstrate that actively utilizing zones to shield idling qubits consistently results in higher fidelities than solutions disregarding these zones. The complete code is publicly available in open-source as part of the Munich Quantum Toolkit (MQT) at https://github.com/cda-tum/mqt-qmap/tree/main/src/na/nasp.
7 pages, 4 figures; Update: Add explanation for variables, add run time of SMT engine
References in corpus (16)
- Quantum Computing in the NISQ era and beyond
- Logical quantum processor based on reconfigurable atom arrays
- An atom-by-atom assembler of defect-free arbitrary 2d atomic arrays
- Roads towards fault-tolerant universal quantum computation
- High-fidelity parallel entangling gates on a neutral atom quantum computer
- Quantum computing with neutral atoms
- Quantum Error Correction: An Introductory Guide
- Two-dimensional transport and transfer of a single atomic qubit in optical tweezers
- Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective
- The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
- Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
- Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
- Scalable characterization of localizable entanglement in noisy topological quantum codes
- Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
- An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
- Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling