The modern description of elementary particles is built on gauge theories [1]. Such theories implement fundamental laws of physics by local symmetry constraints, such as Gauss's law in the interplay of charged matter and electromagnetic fields. Solving gauge theories by classical computers is an extremely arduous task [2], which has stimulated a vigorous effort to simulate gaugetheory dynamics in microscopically engineered quantum devices [3][4][5][6]. Previous achievements used mappings onto effective models to integrate out either matter or electric fields [7-10], or were limited to very small systems [11][12][13][14][15]. 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 of 71 sites. Matter and gauge fields are realized in defect-free arrays of bosonic atoms in an optical superlattice. We demonstrate full tunability of the model parameters and benchmark the matter-gauge interactions by sweeping across a quantum phase transition. Enabled by high-fidelity manipulation techniques, we measure Gauss's law 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.

In the fundamental laws of physics, gauge fields mediate the interaction between charged particles. An example is the quantum theory of electrons interacting with the electromagnetic field, based on U(1) gauge symmetry. Solving such gauge theories is in general a hard problem for classical computational techniques. Although quantum computers suggest a way forward, large-scale digital quantum devices for complex simulations are difficult to build. We propose a scalable analog quantum simulator of a U(1) gauge theory in one spatial dimension. Using interspecies spin-changing collisions in an atomic mixture, we achieve gauge-invariant interactions between matter and gauge fields with spin- and species-independent trapping potentials. We experimentally realize the elementary building block as a key step toward a platform for quantum simulations of continuous gauge theories.

Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.