Low-Overhead Surface Code with Delayed Atom-Loss Detection via Pauli Envelope
Atom loss is a major error source in neutral-atom quantum computers. This work introduces the Pauli Envelope framework to bound these nonlinear loss effects using low-weight Pauli approximations. This allows for improved syndrome extraction circuits and decoders, achieving optimal or near-optimal distance corrections with minimal overhead for surface codes.