Non-stabilizerness in kinetically-constrained Rydberg atom arrays

TL;DR

This paper explores how Rydberg atom arrays naturally generate non-stabilizer states, which are essential for universal quantum computation, by analyzing quantum correlations and providing experimental access methods.

Contribution

It reveals the emergence of many-body non-stabilizerness in Rydberg arrays and offers an analytical framework to understand its origin and experimental detection.

Findings

Non-stabilizerness extends beyond single qubits in Rydberg arrays.

Experimental methods for accessing non-stabilizerness include quench dynamics and adiabatic ground state preparation.

Analytical explanation via matrix product states and quantum circuit decomposition.

Abstract

Non-stabilizer states are a fundamental resource for universal quantum computation. However,despite broad significance in quantum computing, the emergence of "many-body" non-stabilizerness in interacting quantum systems remains poorly understood due to its analytical intractability. Here we show that Rydberg atom arrays provide a natural reservoir of non-stabilizerness that extends beyond single qubits and arises from quantum correlations engendered by the Rydberg blockade. We demonstrate that this non-stabilizerness can be experimentally accessed in two complementary ways, either by 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.