E. A. Martinez

Gauge theories are fundamental to our understanding of interactions between the elementary constituents of matter as mediated by gauge bosons. 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, 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. 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) on a few-qubit trapped-ion quantum computer. We are interested in the real-time evolution of the Schwinger mechanism, 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 in favour of exotic long-range interactions, which have a direct and efficient implementation on an ion trap architecture. 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.

Measurement-based quantum computation (MBQC) represents a powerful and flexible framework for quantum information processing, based on the notion of entangled quantum states as computational resources. The most prominent application is the one-way quantum computer, with the cluster state as its universal resource. Here we demonstrate the principles of MBQC using deterministically generated graph states of up to 7 qubits, in a system of trapped atomic ions. Firstly we implement a universal set of operations for quantum computing. Secondly we demonstrate a family of measurement-based quantum error correction codes, and show their improved performance as the code length is increased. We show that all our graph states violate a multipartite Bell inequality and are therefore capable of information processing tasks that cannot be described by a local hidden variable model. The methods presented can directly be scaled up to generate graph states of several tens of qubits.

Dynamical maps describe general transformations of the state of a physical system, and their iteration can be interpreted as generating a discrete time evolution. Prime examples include classical nonlinear systems undergoing transitions to chaos. Quantum mechanical counterparts show intriguing phenomena such as dynamical localization on the single particle level. Here we extend the concept of dynamical maps to an open-system, many-particle context: We experimentally explore the stroboscopic dynamics of a complex many-body spin model by means of a universal quantum simulator using up to five ions. In particular, we generate long-range phase coherence of spin by an iteration of purely dissipative quantum maps. We also demonstrate the characteristics of competition between combined coherent and dissipative non-equilibrium evolution. This opens the door for studying many-particle non-equilibrium physics and associated dynamical phase transitions with no immediate counterpart in equilibrium condensed matter systems. An error detection and reduction toolbox that facilitates the faithful quantum simulation of larger systems is developed as a first step in this direction.