Resource Estimation via Efficient Compilation of Key Quantum Primitives

TL;DR

This paper introduces a compilation-based framework for quantum resource estimation that models hardware constraints and circuit compilation, aiding in architectural design choices for fault tolerant quantum computers.

Contribution

It presents a flexible, compilation-driven approach for resource estimation that captures hardware-circuit interactions, enabling rapid comparison of architectural options.

Findings

Movement access can reduce overhead in early quantum workloads.

Routing and qubit movement become bottlenecks as problem size increases.

Neutral atom architectures with dual-species arrays and movement are promising for near-term advantage.

Abstract

Resource estimation is a significant challenge in evaluating fault tolerant quantum computers. Existing approaches often rely on either fixed architectural assumptions or coarse analytical models that fail to capture the interaction between hardware constraints and circuit compilation. This challenge is particularly acute for neutral atom quantum computers, where architectural features such as atom movement, measurement zones, and multi-species arrays introduce a broad design space for implementing fault tolerant computation. Addressing the need for a tighter feedback loop between hardware design and practical application development, we present a compilation-driven framework for quantum resource estimation that translates arbitrary quantum circuits into logical primitive operations with known physical resource costs. This framework allows for easily configurable hardware assumptions that enable rapid comparison of different architectural design choices. We apply our approach to two early fault tolerant quantum simulation and optimization workloads, assuming the use of the surface code, revealing several architectural trends. While the production of magic states continues to be the dominant source of overhead for these benchmarks, access to movement can save time on cultivation and important transversal gates. As problem size grows, routing and qubit movement become dominant bottlenecks, highlighting the need for movement-aware compiler optimizations and frugal routing strategies. Finally, our results suggest that neutral atom architectures combining dual-species arrays with controlled qubit movement offer a promising path toward near-term advantage on fault tolerant devices.