Nonstabilizerness in kinetically constrained Rydberg atom arrays

Nonstabilizer states are a fundamental resource for universal quantum computation. However, despite broad significance in quantum computing, the emergence of many-body nonstabilizerness in interacting quantum systems remains poorly understood due to its analytical intractability. Here we show that Rydberg atom arrays provide a natural reservoir of nonstabilizerness that extends beyond single qubits and arises from quantum correlations generated by the Rydberg blockade. We demonstrate that this nonstabilizerness can be experimentally accessed using two complementary methods, either performing quench dynamics or via adiabatic ground state preparation. Using the analytical framework based on matrix product states, we explain the origin of Rydberg nonstabilizerness via a quantum circuit decomposition of the wave function.