P. Zoller

The rapid development in hardware for quantum computing and simulation has led to much interest in problems where these devices can exceed the capabilities of existing classical computers and known methods. Approaching this for problems that go beyond testing the performance of a quantum device is an important step, and quantum simulation of many-body quench dynamics is one of the most promising candidates for early practical quantum advantage. We analyse the requirements for quantitatively reliable quantum simulation beyond the capabilities of existing classical methods for analogue quantum simulators with neutral atoms in optical lattices and trapped ions. Considering the primary sources of error in analogue devices and how they propagate after a quench in studies of the Hubbard or long-range transverse field Ising model, we identify the level of error expected in quantities we extract from experiments. We conclude for models that are directly implementable that regimes of practical quantum advantage are attained in current experiments with analogue simulators. We also identify the hardware requirements to reach the same level of accuracy with future fault-tolerant digital quantum simulation. Verification techniques are already available to test the assumptions we make here, and demonstrating these in experiments will be an important next step.

Lattice gauge theories, which originated from particle physics in the context of Quantum Chromodynamics (QCD), provide an important intellectual stimulus to further develop quantum information technologies. While one long-term goal is the reliable quantum simulation of currently intractable aspects of QCD itself, lattice gauge theories also play an important role in condensed matter physics and in quantum information science. In this way, lattice gauge theories provide both motivation and a framework for interdisciplinary research towards the development of special purpose digital and analog quantum simulators, and ultimately of scalable universal quantum computers. In this manuscript, recent results and new tools from a quantum science approach to study lattice gauge theories are reviewed. Two new complementary approaches are discussed: first, tensor network methods are presented - a classical simulation approach - applied to the study of lattice gauge theories together with some results on Abelian and non-Abelian lattice gauge theories. Then, recent proposals for the implementation of lattice gauge theory quantum simulators in different quantum hardware are reported, e.g., trapped ions, Rydberg atoms, and superconducting circuits. Finally, the first proof-of-principle trapped ions experimental quantum simulations of the Schwinger model are reviewed.

We propose and discuss `quantum spin lenses', where quantum states of delocalized spin excitations in an atomic medium are `focused' in space in a coherent quantum process down to (essentially) single atoms. These can be employed to create controlled interactions in a quantum light-matter interface, where photonic qubits stored in an atomic ensemble are mapped to a quantum register represented by single atoms. We propose Hamiltonians for quantum spin lenses as inhomogeneous spin models on lattices, which can be realized with Rydberg atoms in 1D, 2D and 3D, and with strings of trapped ions. We discuss both linear and non-linear quantum spin lenses: in a non-linear lens, repulsive spin-spin interactions lead to focusing dynamics conditional to the number of spin excitations. This allows the mapping of quantum superpositions of delocalized spin excitations to superpositions of spatial spin patterns, which can be addressed by light fields and manipulated. Finally, we propose multifocal quantum spin lenses as a way to generate and distribute entanglement between distant atoms in an atomic lattice array.

Quantum-enhanced measurements hold the promise to improve high-precision sensing ranging from the definition of time standards to the determination of fundamental constants of nature. However, quantum sensors lose their sensitivity in the presence of noise. To protect them, the use of quantum error correcting codes has been proposed. Trapped ions are an excellent technological platform for both quantum sensing and quantum error correction. Here we present a quantum error correction scheme that harnesses dissipation to stabilize a trapped-ion qubit. In our approach, always-on couplings to an engineered environment protect the qubit against spin- or phase flips. Our dissipative error correction scheme operates in a fully autonomous manner without the need to perform measurements or feedback operations. We show that the resulting enhanced coherence time translates into a significantly enhanced precision for quantum measurements. Our work constitutes a stepping stone towards the paradigm of self-correcting quantum information processing.

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.

Tensor network algorithms provide a suitable route for tackling real-time dependent problems in lattice gauge theories, enabling the investigation of out-of-equilibrium dynamics. We analyze a U(1) lattice gauge theory in (1+1) dimensions in the presence of dynamical matter for different mass and electric field couplings, a theory akin to quantum-electrodynamics in one-dimension, which displays string-breaking: the confining string between charges can spontaneously break during quench experiments, giving rise to charge-anticharge pairs according to the Schwinger mechanism. We study the real-time spreading of excitations in the system by means of electric field and particle fluctuations: we determine a dynamical state diagram for string breaking and quantitatively evaluate the time-scales for mass production. We also show that the time evolution of the quantum correlations can be detected via bipartite von Neumann entropies, thus demonstrating that the Schwinger mechanism is tightly linked to entanglement spreading. To present the variety of possible applications of this simulation platform, we show how one could follow the real-time scattering processes between mesons and the creation of entanglement during scattering processes. Finally, we test the quality of quantum simulations of these dynamics, quantifying the role of possible imperfections in cold atoms, trapped ions, and superconducting circuit systems. Our results demonstrate how entanglement properties can be used to deepen our understanding of basic phenomena in the real-time dynamics of gauge theories such as string breaking and collisions.

The key to explaining a wide range of quantum phenomena is understanding how entanglement propagates around many-body systems. Furthermore, the controlled distribution of entanglement is of fundamental importance for quantum communication and computation. In many situations, quasiparticles are the carriers of information around a quantum system and are expected to distribute entanglement in a fashion determined by the system interactions. Here we report on the observation of magnon quasiparticle dynamics in a one-dimensional many-body quantum system of trapped ions representing an Ising spin model. Using the ability to tune the effective interaction range, and to prepare and measure the quantum state at the individual particle level, we observe new quasiparticle phenomena. For the first time, we reveal the entanglement distributed by quasiparticles around a many-body system. Second, for long-range interactions we observe the divergence of quasiparticle velocity and breakdown of the light-cone picture that is valid for short-range interactions. Our results will allow experimental studies of a wide range of phenomena, such as quantum transport, thermalisation, localisation and entanglement growth, and represent a first step towards a new quantum-optical regime with on-demand quasiparticles with tunable non-linear interactions.

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.

A digital quantum simulator is an envisioned quantum device that can be pro- grammed to efficiently simulate any other local system. We demonstrate and investigate the digital approach to quantum simulation in a system of trapped ions. Using sequences of up to 100 gates and 6 qubits, the full time dynamics of a range of spin systems are digitally simulated. Interactions beyond those naturally present in our simulator are accurately reproduced and quantitative bounds are provided for the overall simulation quality. Our results demon- strate the key principles of digital quantum simulation and provide evidence that the level of control required for a full-scale device is within reach.

We provide a detailed theoretical and conceptual study of a planned experiment to excite Rydberg states of ions trapped in a Paul trap. The ultimate goal is to exploit the strong state dependent interactions between Rydberg ions to implement quantum information processing protocols and to simulate the dynamics of strongly interacting spin systems. We highlight the promises of this approach when combining the high degree of control and readout of quantum states in trapped ion crystals with the novel and fast gate schemes based on interacting giant Rydberg atomic dipole moments. We discuss anticipated theoretical and experimental challenges on the way towards its realization.

In a recent experiment, Barreiro et al. demonstrated the fundamental building blocks of an open-system quantum simulator with trapped ions [Nature 470, 486 (2011)]. Using up to five ions, single- and multi-qubit entangling gate operations were combined with optical pumping in stroboscopic sequences. This enabled the implementation of both coherent many-body dynamics as well as dissipative processes by controlling the coupling of the system to an artificial, suitably tailored environment. This engineering was illustrated by the dissipative preparation of entangled two- and four-qubit states, the simulation of coherent four-body spin interactions and the quantum non-demolition measurement of a multi-qubit stabilizer operator. In the present paper, we present the theoretical framework of this gate-based ("digital") simulation approach for open-system dynamics with trapped ions. In addition, we discuss how within this simulation approach minimal instances of spin models of interest in the context of topological quantum computing and condensed matter physics can be realized in state-of-the-art linear ion-trap quantum computing architectures. We outline concrete simulation schemes for Kitaev's toric code Hamiltonian and a recently suggested color code model. The presented simulation protocols can be adapted to scalable and two-dimensional ion-trap architectures, which are currently under development.

We study two ions confined in a Penning trap. We show that electronically highly excited states exist in which an electron is delocalized among the two ions forming a giant molecule of several micrometer size. At energies close to the top of the Coulomb barrier these molecular states can be regarded as superpositions of Rydberg states of individual ions. We illuminate the possibility to observe coherent charge transfer between the ions. Beyond a critical principal quantum number the electron can coherently tunnel through the Coulomb barrier to an adjacent doubly charged ion. The tunneling occurs on timescales on which the dynamics of the nuclei can be considered frozen and radiative decay can be neglected.

We study the dynamics of Rydberg ions trapped in a linear Paul trap, and discuss the properties of ionic Rydberg states in the presence of the static and time-dependent electric fields constituting the trap. The interactions in a system of many ions are investigated and coupled equations of the internal electronic states and the external oscillator modes of a linear ion chain are derived. We show that strong dipole-dipole interactions among the ions can be achieved by microwave dressing fields. Using low-angular momentum states with large quantum defect the internal dynamics can be mapped onto an effective spin model of a pair of dressed Rydberg states that describes the dynamics of Rydberg excitations in the ion crystal. We demonstrate that excitation transfer through the ion chain can be achieved on a nanosecond timescale and discuss the implementation of a fast two-qubit gate in the ion chain.

We consider a system composed of a trapped atom and a trapped ion. The ion charge induces in the atom an electric dipole moment, which attracts it with an r^{-4} dependence at large distances. In the regime considered here, the characteristic range of the atom-ion interaction is comparable or larger than the characteristic size of the trapping potential, which excludes the application of the contact pseudopotential. The short-range part of the interaction is described in the framework of quantum-defect theory, by introducing some short-range parameters, which can be related to the s-wave scattering length. When the separation between traps is changed we observe trap-induced shape resonances between molecular bound states and vibrational states of the external trapping potential. Our analysis is extended to quasi-one-dimensional geometries, when the scattering exhibit confinement-induced resonances, similar to the ones studied before for short-range interactions. For quasi-one-dimensional systems we investigate the effects of coupling between the center of mass and relative motion, which occurs for different trapping frequencies of atom and ion traps. Finally, we show how the two types of resonances can be employed for quantum state control and spectroscopy of atom-ion molecules.

The challenge of building a scalable quantum processor requires consolidation of the conflicting requirements of achieving coherent control and preservation of quantum coherence in a large scale quantum system. Moreover, the system should be compatible with miniaturization and integration of quantum circuits. Mesoscopic solid state systems such as superconducting islands and quantum dots feature robust control techniques using local electrical signals and self-evident scaling based on advances in fabrication; however, in general the quantum states of solid state devices tend to decohere rapidly. In contrast, quantum optical systems based on trapped ions and neutral atoms exhibit dramatically better coherence properties, while miniaturization of atomic and molecular systems, and their integration with mesoscopic electrical circuits, remains an important challenge. Below we describe methods for the integration of a single particle system -- an isolated polar molecule -- with mesoscopic solid state devices in a way that produces robust, coherent, quantum-level control. The methods described include the trapping, cooling, detection, coherent manipulation and quantum coupling of isolated polar molecules at sub-micron dimensions near cryogenic stripline microwave resonators. We show that electrostatically trapped polar molecules can exhibit strong confinement and fast, purely electrical gate control. Furthermore, the effect of electrical noise sources, a key issue in quantum information processing, can be suppressed to very low levels via appropriate preparation and manipulation of the polar molecules. Our setup provides a scalable cavity QED-type quantum computer architecture, where entanglement of distant qubits stored in long-lived rotational molecular states is achieved via exchange of microwave photons.

We propose a scheme for controlling interactions between Rydberg-excited neutral atoms in order to perform a fast high-fidelity quantum gate. Unlike dipole-blockade mechanisms already found in the literature, we drive resonantly the atoms with a state-dependent excitation to Rydberg levels, and we exploit the resulting dipole-dipole interaction to induce a controlled atomic motion in the trap, in a similar way as discussed in recent ion-trap quantum computing proposals. This leads atoms to gain the required gate phase, which turns out to be a combination of a dynamic and a geometrical contribution. The fidelity of this scheme is studied including small anharmonicity and temperature effects, with promising results for reasonably achievable experimental parameters.

We develop a theory of quantum feedback cooling of a single ion trapped in front of a mirror. By monitoring the motional sidebands of the light emitted into the mirror mode we infer the position of the ion, and act back with an appropriate force to cool the ion. We derive a feedback master equation along the lines of the quantum feedback theory developed by Wiseman and Milburn, which provides us with cooling times and final temperatures as a function of feedback gain and various system parameters.

A hybrid quantum computing scheme is studied where the hybrid qubit is made of an ion trap qubit serving as the information storage and a solid-state charge qubit serving as the quantum processor, connected by a superconducting cavity. In this paper, we extend our previous work [1] and study the decoherence, coupling and scalability of the hybrid system. We present our calculations of the decoherence of the coupled ion - charge system due to the charge fluctuations in the solid-state system and the dissipation of the superconducting cavity under laser radiation. A gate scheme that exploits rapid state flips of the charge qubit to reduce decoherence by the charge noise is designed. We also study a superconducting switch that is inserted between the cavity and the charge qubit and provides tunable coupling between the qubits. The scalability of the hybrid scheme is discussed together with several potential experimental obstacles in realizing this scheme.

In this paper we develop a unified framework to study the coherent control of trapped ions subject to state-dependent forces. Taking different limits in our theory, we can reproduce two different designs of a two-qubit quantum gate --the pushing gate [1] and the fast gates based on laser pulses from Ref. [2]--, and propose a new design based on continuous laser beams. We demonstrate how to simulate Ising Hamiltonians in a many ions setup, and how to create highly entangled states and induce squeezing. Finally, in a detailed analysis we identify the physical limits of this technique and study the dependence of errors on the temperature. [1] J.I. Cirac, P. Zoller, Nature, 404, 579, 2000. [2] J.J. Garcia-Ripoll, P. Zoller, J.I. Cirac, PRL 67, 062318, 2003

We present a generic model of coupling quantum optical and solid state qubits, and the corresponding transfer protocols. The example discussed is a trapped ion coupled to a charge qubit (e.g. Cooper pair box). To enhance the coupling, and achieve compatibility between the different experimental setups we introduce a superconducting cavity as the connecting element.

We propose a new concept for a two-qubit gate operating on a pair of trapped ions based on laser coherent control techniques. The gate is insensitive to the temperature of the ions, works also outside the Lamb-Dicke regime, requires no individual addressing by lasers, and can be orders of magnitude faster than the trap period.

We propose the use of quantum optical systems to perform universal simulation of quantum dynamics. Two specific implementations that require present technology are put forward for illustrative purposes. The first scheme consists of neutral atoms stored in optical lattices, while the second scheme consists of ions stored in an array of micro--traps. Each atom (ion) supports a two--level system, on which local unitary operations can be performed through a laser beam. A raw interaction between neighboring two--level systems is achieved by conditionally displacing the corresponding atoms (ions). Then, average Hamiltonian techniques are used to achieve evolutions in time according to a large class of Hamiltonians.

We propose an experimentally feasible scheme to achieve quantum computation based solely on geometric manipulations of a quantum system. The desired geometric operations are obtained by driving the quantum system to undergo appropriate adiabatic cyclic evolutions. Our implementation of the all-geometric quantum computation is based on laser manipulation of a set of trapped ions. An all-geometric approach, apart from its fundamental interest, promises a possible way for robust quantum computation.

We consider a system of particles in an array of microscopic traps, coupled to each other via electrostatic interaction, and pushed by an external state-dependent force. We show how to implement a two-qubit quantum gate between two such particles with a high fidelity.

We study laser cooling of two ions that are trapped in a harmonic potential and interact by Coulomb repulsion. Sideband cooling in the Lamb-Dicke regime is shown to work analogously to sideband cooling of a single ion. Outside the Lamb-Dicke regime, the incommensurable frequencies of the two vibrational modes result in a quasi-continuous energy spectrum that significantly alters the cooling dynamics. The cooling time decreases nonlinearly with the linewidth of the cooling transition, and the effect of trapping states which may slow down the cooling is considerably reduced. We show that cooling to the ground state is possible also outside the Lamb-Dicke regime. We develop the model and use Quantum Monte Carlo calculations for specific examples. We show that a rate equation treatment is a good approximation in all cases.

We propose a scheme to perform a fundamental two-qubit gate between two trapped ions using ideas from atom interferometry. As opposed to the scheme considered by J. I. Cirac and P. Zoller, Phys. Rev. Lett. 74, 4091 (1995), it does not require laser cooling to the motional ground state.

We propose an experimental configuration, within an ion trap, by which a quantum mechanical delta-kicked harmonic oscillator could be realized, and investigated. We show how to directly measure the sensitivity of the ion motion to small variations in the external parameters.

We show how to fully characterize a quantum process in an open quantum system. We particularize the procedure to the case of a universal two-qubit gate in a quantum computer. We illustrate the method with a numerical simulation of a quantum gate in the ion trap quantum computer.

We describe a method to perform a single quantum measurement of an arbitrary observable of a single ion moving in a harmonic potential. We illustrate the measurement procedure with explicit examples, namely the position and phase observables.

We show how to design different couplings between a single ion trapped in a harmonic potential and an environment. This will provide the basis for the experimental study of the process of decoherence in a quantum system. The coupling is due to the absorption of a laser photon and subsequent spontaneous emission. The variation of the laser frequencies and intensities allows one to ``engineer'' the coupling and select the master equation describing the motion of the ion.

A method for the experimental reconstruction of the quantum state of motion for a single trapped ion is proposed. It is based on the measurement of the ground state population of the trap after a sudden change of the trapping potential. In particular, we show how the Q function and the quadrature distribution can be measured directly. In an example we demonstrate the principle and analyze the sensibility of the reconstruction process to experimental uncertainties as well as to finite grid limitations. Our method is not restricted to the Lamb-Dicke Limit and works in one or more dimensions.

The interaction of a trapped ion with a laser beam in the strong excitation regime is analyzed. In this regime, a variety of non--classical states of motion can be prepared either by using laser pulses of well defined area, or by an adiabatic passage scheme based on the variation of the laser frequency. We show how these states can be used to investigate fundamental properties of quantum mechanics. We also study possible applications of this system to build an ion interferometer.