Search papers, labs, and topics across Lattice.
This paper introduces ONEX, a novel framework that optimizes the compilation of quantum error correction codes, specifically targeting high-rate quantum low-density parity-check (qLDPC) codes on neutral atom arrays. By decomposing complex 2D execution planning into manageable 1D subproblems and employing a multi-stage compilation pipeline, ONEX achieves significant improvements in execution depth and clock rates, demonstrating 3.7x to 6.1x and 29.8x to 42.1x enhancements over existing methods. The approach not only scales effectively to larger code sizes but also provides valuable architectural insights for future quantum computing designs.
Achieving up to 42.1x faster clock rates for quantum error correction could redefine the efficiency of fault-tolerant quantum computing.
Achieving fault-tolerant quantum computing at a practical scale demands quantum error correction (QEC) codes with high encoding rates. Quantum low-density parity-check (qLDPC) codes emerge as a promising candidate, especially given the rise of neutral atom arrays that provide dynamic long-range connectivity via atom movements. In general, synthesizing valid and efficient physical execution plans for QEC is a provably hard combinatorial problem, forming a critical compilation bottleneck that worsens as code sizes grow. To overcome this complexity, we focus on an important product family of qLDPC codes with dimension-reduction properties, and propose ONEX. This framework decomposes complex 2D physical execution planning into independent 1D subproblems, each solved to optimal execution depth within practical compilation time. First, we formulate the 1D execution plan with an explicit satisfiability modulo theories (SMT) encoding. This protocol produces provably depth-optimal solutions with substantial duration reduction. Second, we develop a multi-stage compilation pipeline featuring anytime optimization, movement compaction, and iterative feedback. This pipeline maintains practical wall-clock times while providing progressive refinement and on-demand retrieval of quality solutions. Third, we evaluate ONEX in the application of hypergraph product (HGP) code memory mapped onto neutral atom arrays, achieving 3.7x to 6.1x and 29.8x to 42.1x higher clock rates than the constructive 1D algorithm and the general 2D compiler, respectively, while scaling efficiently to codes with 2,500 data qubits. Finally, we extend ONEX to zoned layouts, revealing architectural insights into the associated trade-offs, and demonstrate its applicability to the broader lifted-product (LP) code family through a representative example.
