J. I. Cirac

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 analyze a scheme to observe topological phenomena with ions in microtraps. We consider a set of trapped ions forming a regular structure in two spatial dimensions and interacting with lasers. We find phonon bands with non-trivial topological properties, which are caused by the breaking of time reversal symmetry induced by the lasers. We investigate the appearance of edge modes, as well as their robustness against perturbations. Long-range hopping of phonons caused by the Coulomb interaction gives rise to flat bands which, together with induced phonon-phonon interactions, can be used to produce and explore strongly correlated states. Furthermore, some of these ideas can also be implemented with cold atoms in optical lattices.

Trapped ions arranged in Coulomb crystals provide us with the elements to study the physics of a single spin coupled to a boson bath. In this work we show that optical forces allow us to realize a variety of spin-boson models, depending on the crystal geometry and the laser configuration. We study in detail the Ohmic case, which can be implemented by illuminating a single ion with a travelling wave. The mesoscopic character of the phonon bath in trapped ions induces new effects like the appearance of quantum revivals in the spin evolution.

We propose and analyze a new method to produce single and entangled photons which does not require cavities. It relies on the collective enhancement of light emission as a consequence of the presence of entanglement in atomic ensembles. Light emission is triggered by a laser pulse, and therefore our scheme is deterministic. Furthermore, it allows one to produce a variety of photonic entangled states by first preparing certain atomic states using simple sequences of quantum gates. We analyze the feasibility of our scheme, and particularize it to: ions in linear traps, atoms in optical lattices, and in cells at room temperature.

The vibrations of a chain of trapped ions can be considered, under suitable experimental conditions, as an ensemble of interacting phonons, whose quantum dynamics is governed by a Bose--Hubbard Hamiltonian. In this work we study the quantum phases which appear in this system, and show that thermodynamical properties, such as critical parameters and critical exponents, can be measured in experiments with a limited number of ions. Besides that, interacting phonons in trapped ions offer us the possibility to access regimes which are difficult to study with ultracold bosons in optical lattices, like models with attractive or site--dependent phonon-phonon interactions.

We show that a large number of ions stored in a Penning trap, and forming a 2D Coulomb crystal, provides an almost ideal system for scalable quantum computation and quantum simulation. In particular, the coupling of the internal states to the motion of the ions transverse to the crystal plane, allows one to implement two qubit quantum gates. We analyze in detail the decoherence induced by anharmonic couplings with in--plane hot vibrational modes, and show that very high gate fidelities can be achieved with current experimental set--ups.

A system of trapped ions under the action of off--resonant standing--waves can be used to simulate a variety of quantum spin models. In this work, we describe theoretically quantum phases that can be observed in the simplest realization of this idea: quantum Ising and XY models. Our numerical calculations with the Density Matrix Renormalization Group method show that experiments with ion traps should allow one to access general properties of quantum critical systems. On the other hand, ion trap quantum spin models show a few novel features due to the peculiarities of induced effective spin--spin interactions which lead to interesting effects like long--range quantum correlations and the coexistence of different spin phases.

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 show that the dynamics of phonons in a set of trapped ions interacting with lasers is described by a Bose-Hubbard model whose parameters can be externally adjusted. We investigate the possibility of observing several quantum many-body phenomena, including (quasi) Bose-Einstein condensation as well as a superfluid-Mott insulator quantum phase transition.

We propose and study a method for detecting ground-state entanglement in a chain of trapped ions, which realizes a suggested scheme for detecting vacuum entanglement in quantum field theory. We show that the entanglement between single ions or groups of ions can be swapped to the internal levels of two ions by sending laser pulses that couple the internal and motional degrees of freedom. This allows to entangle two ions without actually doing gates. A proof of principle of the effect can be realized with two trapped ions and is feasible with current technology.

We show that the physical system consisting of trapped ions interacting with lasers may undergo a rich variety of quantum phase transitions. By changing the laser intensities and polarizations the dynamics of the internal states of the ions can be controlled, in such a way that an Ising or Heisenberg-like interaction is induced between effective spins. Our scheme allows us to build an analogue quantum simulator of spin systems with trapped ions, and observe and analyze quantum phase transitions with unprecedent opportunities for the measurement and manipulation of spins.

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.