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...

The construction of a quantum computer remains a fundamental scientific and technological challenge because of the influence of unavoidable noise. Quantum states and operations can be protected from errors through the use of protocols for quantum computing with faulty components. We present a quantum error-correcting code in which one qubit is encoded in entangled states distributed over seven trapped-ion qubits. The code can detect one bit flip error, one phase flip error, or a combined error of both, regardless on which of the qubits they occur. We applied sequences of gate operations on the encoded qubit to explore its computational capabilities. This seven-qubit code represents a fully functional instance of a topologically encoded qubit, or color code, and opens a route toward fault-tolerant quantum computing.

Quantum computers hold the promise to solve certain problems exponentially faster than their classical counterparts. Trapped atomic ions are among the physical systems in which building such a computing device seems viable. In this work we present a small-scale quantum information processor based on a string of 40 Ca + ions confined in a macroscopic linear Paul trap. We review our set of operations which includes non-coherent operations allowing us to realize arbitrary Markovian processes. In order to build a larger quantum information processor it is mandatory to reduce the error rate of the available operations which is only possible if the physics of the noise processes is well understood. We identify the dominant noise sources in our system and discuss their effects on different algorithms. Finally we demonstrate how our entire

Certain algorithms for quantum computers are able to outperform their classical counterparts. In 1994, Peter Shor came up with a quantum algorithm that calculates the prime factors of a large number vastly more efficiently than a classical computer. For general scalability of such algorithms, hardware, quantum error correction, and the algorithmic realization itself need to be extensible. Here we present the realization of a scalable Shor algorithm, as proposed by Kitaev. We factor the number 15 by effectively employing and controlling seven qubits and four "cache qubits" and by implementing generalized arithmetic operations, known as modular multipliers. This algorithm has been realized scalably within an ion-trap quantum computer and returns the correct factors with a confidence level exceeding 99%.

Quantum computers promise to solve certain problems more efficiently than their digital counterparts. A major challenge towards practically useful quantum computing is characterizing and reducing the various errors that accumulate during an algorithm running on large-scale processors. Current characterization techniques are unable to adequately account for the exponentially large set of potential errors, including cross-talk and other correlated noise sources. Here we develop cycle benchmarking, a rigorous and practically scalable protocol for characterizing local and global errors across multi-qubit quantum processors. We experimentally demonstrate its practicality by quantifying such errors in non-entangling and entangling operations on an ion-trap quantum computer with up to 10 qubits, and total process fidelities for multi-qubit entangling gates ranging from for 2 qubits to for 10 qubits. Furthermore, cycle benchmarking data validates that the error rate per single-qubit gate and per two-qubit coupling does not increase with increasing system size.

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.

Lattice gauge theories describe fundamental phenomena in nature, but calculating their real-time dynamics on classical computers is notoriously difficult. In a recent publication (Martinez et al 2016 Nature 534 516), we proposed and experimentally demonstrated a digital quantum simulation of the paradigmatic Schwinger model, a U(1)-Wilson lattice gauge theory describing the interplay between fermionic matter and gauge bosons. Here, we provide a detailed theoretical analysis of the performance and the potential of this protocol. Our strategy is based on analytically integrating out the gauge bosons, which preserves exact gauge invariance but results in complicated long-range interactions between the matter fields. Trapped-ion platforms are naturally suited to implementing these interactions, allowing for an efficient quantum simulation of the model, with a number of gate operations that scales polynomially with system size. Employing numerical simulations, we illustrate that relevant phenomena can be observed in larger experimental systems, using as an example the production of particle-antiparticle pairs after a quantum quench. We investigate theoretically the robustness of the scheme towards generic error sources, and show that near-future experiments can reach regimes where finite-size effects are insignificant. We also discuss the challenges in quantum simulating the continuum limit of the theory. Using our scheme, fundamental phenomena of lattice gauge theories can be probed using a broad set of experimentally accessible observables, including the entanglement entropy and the vacuum persistence amplitude.

We study the behavior of networks of quantum oscillators coupled with arbitrary external environments. We analyze the evolution of the quantum state showing that the reduced density matrix of the network always obeys a local master equation with a simple analytical solution. We use this to study the emergence of thermodynamical laws in the long time regime. We demonstrate two main results on thermodynamics: First, we show that it is impossible to build a quantum absorption refrigerator using linear networks (therefore, such refrigerators require non-linearity as a crucial ingredient, as proposed by Kosloff and others [2]). Then, we show that the third law imposes constraints on the low frequency behavior of the environmental spectral densities. Deriving the laws of thermodynamics from a quantum substrate is relevant not only for fundamental but also for practical reasons [3]. In the macroscopic domain such laws determine the ultimate limits on cooling and work extraction. However, when quantum effects dominate, thermodynamical laws must be derived (not assumed), which is still a controversial issue. In particular, the ultimate limitations on cooling, imposed by the third law have been recently debated [2,4]. Moreover, a variety of quantum devices have been proposed to act as engines or refrigerators [2,5]. The resources required for such machines to operate are not fully known. Among them, the quantum absorption refrigerator [2], whose description does not admit a phenomenological approach.We study the dynamics and the thermodynamics of arbitrary networks of N oscillators moving in D dimensions while coupled with external reservoirs as shown in Figure 1. This is a generalization of the Quantum Brownian Motion (QBM) model [6][7][8][9]. Being the paradigm for an open quantum system, this model has been used to study the emergence of classicality through decoherence [9]. Our work not only has applications to quantum refrigerators but also to other systems where a detailed understanding of heat transport [10] and decoherence is required. This is the case for trapped-ion quantum simulators [11,12]. It also may help in understanding other natural processes such as the high efficiency of energy transfer in light harvesting complexes [13].We present four main results. First we show that the dynamics is such that: (i) the quantum state always satisfies a local master equation and (ii) such equation always has a simple analytical solution. Then we use these results to study the long time limit. We present a simple derivation of thermodynamical laws and prove two new results: (iii) We show that it is impossible to create a quantum absorption refrigerator using linear networks. Such refrigerators have no movable parts and induce the energy to flow away from a cold reservoir by coupling it with a system that is itself coupled with other (hot) reservoirs. In the quantum regime they were proposed by Kosloff and others [2] using a non-linear model. Our work shows that non-linearity is, in fact, an essential ingredient of a quan...