Nature, Vol.587, No.7834, 392-+, 2020
Observation of gauge invariance in a 71-site Bose-Hubbard quantum simulator
Quantum simulation in a 71-site optical lattice certifies gauge invariance, showing how this essential property of lattice gauge theories can be maintained across a quantum phase transition. The modern description of elementary particles, as formulated in the standard model of particle physics, is built on gauge theories(1). Gauge theories implement fundamental laws of physics by local symmetry constraints. For example, in quantum electrodynamics Gauss's law introduces an intrinsic local relation between charged matter and electromagnetic fields, which protects many salient physical properties, including massless photons and a long-ranged Coulomb law. Solving gauge theories using classical computers is an extremely arduous task(2), which has stimulated an effort to simulate gauge-theory dynamics in microscopically engineered quantum devices(3-6). Previous achievements implemented density-dependent Peierls phases without defining a local symmetry(7,8), realized mappings onto effective models to integrate out either matter or electric fields(9-12), or were limited to very small systems(13-16). However, the essential gauge symmetry has not been observed experimentally. Here we report the quantum simulation of an extended U(1) lattice gauge theory, and experimentally quantify the gauge invariance in a many-body system comprising matter and gauge fields. These fields are realized in defect-free arrays of bosonic atoms in an optical superlattice of 71 sites. We demonstrate full tunability of the model parameters and benchmark the matter-gauge interactions by sweeping across a quantum phase transition. Using high-fidelity manipulation techniques, we measure the degree to which Gauss's law is violated by extracting probabilities of locally gauge-invariant states from correlated atom occupations. Our work provides a way to explore gauge symmetry in the interplay of fundamental particles using controllable large-scale quantum simulators.