  Quantum computing is in an era defined by rapidly evolving quantum hardware
technologies, combined with persisting high gate error rates, large amounts of
noise, and short coherence times. Overcoming these limitations requires
systems-level approaches that account for the strengths and weaknesses of the
underlying hardware technology. Yet few hardware-aware compiler techniques
exist for neutral atom devices, with no prior work on compiling to the neutral
atom native gate set. In particular, current neutral atom hardware does not
support certain single-qubit rotations via local addressing, which often
requires the circuit to be decomposed into a large number of gates, leading to
long circuit durations and low overall fidelities.
  We propose the first compiler designed to overcome the challenges of limited
local addressibility in neutral atom quantum computers. We present algorithms
to decompose circuits into the neutral atom native gate set, with emphasis on
optimizing total pulse area of global gates, which dominate gate execution
costs in several current architectures. Furthermore, we explore atom movement
as an alternative to expensive gate decompositions, gaining immense speedup
with routing, which remains a huge overhead for many quantum circuits. Our
decomposition optimizations result in up to ~3.5x and ~2.9x speedup in time
spent executing global gates and time spent executing single-qubit gates,
respectively. When combined with our atom movement routing algorithms, our
compiler achieves up to ~10x reduction in circuit duration, with over ~2x
improvement in fidelity. We show that our compiler strategies can be adapted
for a variety of hardware-level parameters as neutral atom technology continues
to develop.
