Gauge theories are fundamental to our understanding of interactions between the elementary constituents of matter as mediated by gauge bosons [1,2]. However, computing the real-time dynamics in gauge theories is a notorious challenge for classical computational methods. In the spirit of Feynman's vision of a quantum simulator [3,4], this has recently stimulated theoretical effort to devise schemes for simulating such theories on engineered quantum-mechanical devices, with the difficulty that gauge invariance and the associated local conservation laws (Gauss laws) need to be implemented [5][6][7]. Here we report the first experimental demonstration of a digital quantum simulation of a lattice gauge theory, by realising 1+1-dimensional quantum electrodynamics (Schwinger model [8,9]) on a few-qubit trapped-ion quantum computer. We are interested in the real-time evolution of the Schwinger mechanism [10,11], describing the instability of the bare vacuum due to quantum fluctuations, which manifests itself in the spontaneous creation of electron-positron pairs. To make efficient use of our quantum resources, we map the original problem to a spin model by eliminating the gauge fields [12] in favour of exotic longrange interactions, which have a direct and efficient implementation on an ion trap architecture [13]. We explore the Schwinger mechanism of particle-antiparticle generation by monitoring the mass production and the vacuum persistence amplitude. Moreover, we track the real-time evolution of entanglement in the system, which illustrates how particle creation and entanglement generation are directly related. Our work represents a first step towards quantum simulating high-energy theories with atomic physics experiments, the long-term vision being the extension to real-time quantum simulations of non-Abelian lattice gauge theories.Small-scale quantum computers exist today in the laboratory as programmable quantum devices [14]. In particular, trapped-ion quantum computers [13] provide a platform allowing a few hundred coherent quantum gates on a few qubits, with a clear roadmap towards scaling up
FIG. 1. (a)The instability of the vacuum due to quantum fluctuations is one of the most fundamental effects in gauge theories. We simulate the coherent real time dynamics of particle-antiparticle creation by realising the Schwinger model (one-dimensional quantum electrodynamics) on a lattice, as described in the main text. (b) The experimental setup for the simulation consists of a linear Paul trap, where a string of 40 Ca + ions is confined. The electronic states of each ion encode a spin |↑ or |↓ ; these can be manipulated using laser beams (see Methods for details).these devices [4,15]. This provides the tools for universal digital quantum simulation [16], where the time evolution of a quantum system is approximated as a stroboscopic sequence of quantum gates [17]. Here we show how this quantum technology can be used to simulate the real time dynamics of a minimal model of a lattice gauge theory, realising the Schwinge...