This chapter introduces the topic of quantum simulation and the various approaches that are being pursued in cold atom systems. We first start by describing what the aims of quantum simulation are, and why this is considered a difficult yet important problem. The example of the transverse field Ising model is discussed to illustrate the type of phenomenology, more commonly studied in condensed matter physics, that is of interest in quantum simulation. We then discuss two main approaches to quantum simulation. The first is digital quantum simulation, where a quantum computer is used to simulate the time evolution of a system, and methods to obtain static quantities is are discussed. The second is analogue quantum simulation, where experimental methods are used to physically create a tailored system in the laboratory. The toolbox of methods that is available to the cold atom physicist is explained, such aswhich includes optical lattices, Feshbach resonances, artificial gauge fields, spin-orbit coupling, time-of-flight measurements, and the quantum gas microscope are explained. We then consider a specific case study of one of the earliest quantum simulation experiments, where a Bose--Hubbard model was realized to observe a superfluid to Mott insulator transition in cold atoms.
This chapter introduces the topic of quantum simulation and the various approaches that are being pursued in cold atom systems. We first start by describing what the aims of quantum simulation are, and why this is considered a difficult yet important problem. The example of the transverse field Ising model is discussed to illustrate the type of phenomenology, more commonly studied in condensed matter physics, that is of interest in quantum simulation. We then discuss two main approaches to quantum simulation. The first is digital quantum simulation, where a quantum computer is used to simulate the time evolution of a system, and methods to obtain static quantities is are discussed. The second is analogue quantum simulation, where experimental methods are used to physically create a tailored system in the laboratory. The toolbox of methods that is available to the cold atom physicist is explained, such aswhich includes optical lattices, Feshbach resonances, artificial gauge fields, spin-orbit coupling, time-of-flight measurements, and the quantum gas microscope are explained. We then consider a specific case study of one of the earliest quantum simulation experiments, where a Bose--Hubbard model was realized to observe a superfluid to Mott insulator transition in cold atoms.
Imagine a new generation of computers that dramatically surpasses the most powerful supercomputers, being able to tackle the most challenging of computational problems. These problems arise, for example, in quantum physics where the computational power required to model a many-particle system increases exponentially with the number of its constituents, and as a consequence the calculations become prohibitively time-consuming. Nobel laureate Richard Feynman proposed this new type of computer in the early 1980s: ‘Let the computer itself be built of quantum mechanical elements which obey quantum mechanical laws.’ Such a quantum simulator would allow researchers to tackle challenging problems in condensed-matter physics. In particular many-body fermionic quantum systems are very difficult to compute due to the antisymmetric nature of the wave function, and the resulting sign problem for quantum Monte Carlo methods. This is why a quantum simulator will be an excellent test bed to investigate phenomena and properties of strongly correlated fermionic quantum systems. A powerful experimental platform to realize a quantum simulator is laser-cooled atoms [1] held in an artificial crystal of light, generated by superimposing laser beams. The atoms are kept in this optical lattice similar to marbles in the hollows of an egg carton, and they can mimic the behaviour of electrons in a real crystal. These systems interface atomic physics with condensed matter physics in a new way, as the tools of atomic physics allow for exquisite control of many experimental parameters, which are often inaccessible in solid state experiments. In-situ imaging techniques [2] using ‘quantum-gas microscopes’ constitute a new approach to the study of many-body quantum systems in an optical lattice with unprecedented resolution at the single-particle and single-site level [3,4]. This new method is complementary to earlier optical lattice experiments measuring distributions in momentum space after a time-of-flight expansion. A quantum-gas microscope uses an optical imaging system (Fig. 1a) for collecting the fluorescence light of ultracold atoms in an optical lattice with high spatial resolution comparable to the lattice spacing of ≈ 500 nm. (a) Atoms in optical lattice atoms are imaged with a high-resolution microscope objective [4]. (b) Single-site addressing is achieved by focussing a laser beam through the microscope onto selected atoms, bringing them into resonance with microwave radiation which produces spin flips [12]. (c) and (d) Single-atom-resolved fluorescence images of bosonic Mottinsulators [4,9]. (e) Deterministically prepared atom distribution using single-site addressing [12]. (f) Direct observation of single-atom quantum walks [15]. Fluorescence imaging of atoms in a quantum-gas microscope has made it possible to directly observe bosonic Mott insulators with single-atom resolution [4–6], giving access to in-situ measurements of temperature and entropy distributions. Subsequently, ground-breaking experiments in many-body quantum dynamics have been performed, such as the first direct observation of correlation spreading after quenches of the system to lower lattice depths [7]. Other experiments include the quantum simulation of an antiferromagnetic spin-1/2 chain [8], the realization of algorithmic cooling [9], the direct measurement of correlations across the superfluid-to-Mott-insulator transition [10], or the observation of the ‘Higgs’ amplitude mode [11]. The high-resolution imaging system is also capable of optically addressing individual atoms with sub-diffraction-limited resolution. For this purpose, a laser beam is focussed though the microscope objective onto selected lattice sites, bringing the atoms into resonance with microwave radiation which produces spin flips [12,13]. The preparation of arbitrary atom distributions in the lattice not only opens perspectives for neutral-atom quantum information processing, but also allows the deterministic creation of specific out-of-equilibrium situations, and their ensuing system dynamics can be studied with single-atom resolution. Examples include the creation of spin impurities and the study of their dynamics in a many-body system [14], the observation of quantum walks [15] and magnon-bound states [16], and the measurement of entanglement entropy [17]. The technique used for single-site-resolved detection of individual atoms in the optical lattice is fluorescence imaging. It requires laser cooling of the atoms to sub-Doppler temperatures while detecting the fluorescence photons emitted during this process. A challenge is to achieve a low particle loss rate and to prevent the atoms from hopping between lattice sites. In the case of the first quantum-gas microscopes, this has been implemented with bosonic rubidium-87 atoms, and also recently for ytterbium-174. However, it has proven more challenging for fermionic alkaline species such as potassium-40 and lithium-6, as their low mass and small excited state hyperfine splitting-prevented standard sub-Doppler cooling from working. As a result, it took several years to extend the quantum-gas microscope technique to fermionic species, and in 2015 several groups have demonstrated single-atom-resolved imaging of fermions [18]. In these setups, the direct observation of band insulators [19], fermionic Mott insulators [20,21] and even antiferromagnetic correlations [22] has been reported most recently. These developments provide fascinating opportunities to study many-body fermionic quantum systems with single-particle access. The fermionic nature of the electron is vital to understanding a range of phenomena within solid-state physics, such as electron pairing in superconductivity, and quantum magnetism. In this context, the quantum simulator will allow, e.g. for direct measurement of ordered quantum phases and out-of-equilibrium dynamics, with access to quantities such as spin--spin correlation functions and the growth of many-body entanglement. The high-resolution imaging systems could also be used to project tailored time-varying light fields onto the atoms, allowing the removal of high-entropy regions by locally modifying the confining potential to attain very low-entropy states. Attaining these low-entropy many-particle states is one of the key challenges in our field. In summary, quantum-gas microscopes offer unprecedented access to many-body quantum systems, and they will allow us to gain an even deeper insight into the intriguing world of quantum physics that governs the properties of strongly correlated materials. Using a well-controlled quantum system to simulate other quantum systems could help resolve some of the most challenging problems scientists face in condensed matter physics and materials science, but it will also provide new insights in quantum chemistry, high-energy physics and biology. SK acknowledges funding from the EU (ERC FERMILATT, SIQS, QuProCs) and SUPA.
In the last decade there has been an intense activity aimed at the quantum simulation of interacting many-body systems using cold atoms [1, 2]. The idea of quantum simulations traces back to Feynman [3], who argued that the ideal setting to study quantum systems would be a quantum experimental setup rather then a classical one - the latter one being fundamentally limited due to its hardware classical structure. This is a particularly important problem given the intrinsic complexity of interacting many-body problems, and the difficulties that arise when tackling them with numerical simulations - two paradigmatic examples being the sign(s) problem affecting Monte Carlo simulations of fermionic systems, and the real time dynamics in more than one spatial dimension. Ultracold atoms offer a very powerful setting for quantum simulations. Atoms can be trapped in tailored optical and magnetic potentials, also controlling their dimensionality. The inter-atomic interactions can be tuned by external knobs, such as Feshbach resonances. This gives a large freedom on model building and, with suitable mappings, they allow the implementation of desired target models. This allowed an impressive exploitation of quantum simulators on the context of condensed matter physics. The simulation of high-energy physics is an important line of research in this field and it is less direct. In particular it requires the implementation of symmetries like Lorentz and gauge invariance which are not immediately available in a cold atomic setting. Gauge fields are ubiquitous in physics ranging from condensed matter [4–6] and quantum computation [7, 8] to particle physics [9], an archetypical example being Quantum Chromodynamics (QCD) [10,11], the theory of strong nuclear forces. Currently open problems in QCD, providing a long-term goal of cold atomic simulations, include confinement/deconfinement and the structure of color superconducting phases at finite chemical potential [12]. Even though QCD is a very complicated theory (to simulate or study), it is possible to envision a path through implementation of simpler models. Furthermore, it is also expected that interesting physics is found on such “intermediate models” which may deserve attention irrespectively of the QCD study. A very relevant model in this regard is the Schwinger model (Quantum Electrodynamics in 1+1 dimensions) [13]. This theory exhibits features of QCD, such as confinement [14], and is at the very same time amenable to both theoretical studies and simpler experimental schemes. This model was the target of the first experimental realization of a gauge theory with a quantum simulator [15]. The work on this Thesis is, in part, motivated by the study of toy models which put in evidence certain aspects that can be found in QCD. Such toy models provide also intermediate steps in the path towards more complex simulations. The two main aspects of QCD which are addressed here are symmetry-locking and confinement. The other main motivation for this study is to develop a systematic framework, through dimensional mismatch, for theoretical understanding and quantum simulations of long-range theories using gauge theories. The model used to study symmetry-locking consists of a four-fermion mixture [16]. It has the basic ingredients to exhibit a non-Abelian symmetry-locked phase: the full Hamiltonian has an SU (2) × SU (2) (global) symmetry which can break to a smaller SU (2) group. Such phase is found in a extensive region of the phase diagram by using a mean-field approach and a strong coupling expansion. A possible realization of such system is provided by an Ytterbium mixture. Even without tuning interactions, it is shown that such mixture falls inside the the locked-symmetry phase pointing towards a possible realization in current day experiments. The models with dimensional mismatch investigated here have fermions in a lower dimensionality d + 1 and gauge fields in higher dimensionality D + 1. They serve two purposes: establish mappings to non-local theories by integration of fields [17] and the study of confinement [18]. In the particular case of d = 1 and D = 2 it is found that some general non-local terms can be obtained on the Lagrangian [17]. This is found in the form of power-law expansions of the Laplacian mediating either kinetic terms (for bosons) or interactions (for fermions). The fact that such expansions are not completely general is not surprising since constraints do exist, preventing unphysical features like breaking of unitarity. The non-local terms obtained are physically acceptable, in this regard, since they are derived from unitary theories. The above mapping is done exactly. In certain cases it is shown that it is possible to construct an effective long-range Hamiltonian in a perturbative expansion. In particular it is shown how this is done for non-relativistic fermions (in d = 1) and 3 + 1 gauge fields. These results are relevant in the context of state of the art experiments which implement models with long-range interactions and where theoretical results are less abundant than for the case of local theories. The above mappings establish a direct relation with local theories which allow theoretical insight onto these systems. Examples of this would consist on the application of Mermin- Wagner-Hohenberg theorem [19, 20] and Lieb-Robinson bounds [21], on the propagation of quantum correlations, to non-local models. In addition they can also provide a path towards implementation of tunable long-range interactions with cold atoms. Furthermore, in terms of quantum simulations, they are in between the full higher dimensional system and the full lower dimensional one. Such property is attractive from the point of view of a gradual increase of complexity for quantum simulations of gauge theories. Another interesting property of these models is that they allow the study of confinement beyond the simpler case of the Schwinger model. The extra dimensions are enough to attribute dynamics to the gauge field, which are no longer completely fixed by the Gauss law. The phases of the Schwinger model are shown to be robust under variation of the dimension of the gauge fields [18]. Both the screened phase, of the massless case, and the confined phase, of the massive one, are found for gauge fields in 2+1 and 3+1 dimensions. Such results are also obtained in the Schwinger- Thirring model. This shows that these phases are very robust and raises interesting questions about the nature of confinement. Robustness under Thirring interactions are relevant because it shows that errors on the experimental implementation will not spoil the phase. Even more interesting is the case of gauge fields in higher dimensions since confinement in the Schwinger model is intuitively atributed to the dimensionality of the gauge fields (creating linear potentials between particles). This Thesis is organized as follows. In Chapter 1, some essential background regarding quantum simulations of gauge theories is provided. It gives both a brief introduction to cold atomic physics and lattice gauge theories. In Chapter 2, it is presented an overview over proposals of quantum simulators of gauge potentials and gauge fields. At the end of this Chapter, in Section 2.3 it is briefly presented ongoing work on a realization of the Schwinger model that we term Half Link Schwinger model. There, it is argued, some of the generators of the gauge symmetry on the lattice can be neglected without comprimising gauge invariance. In Chapter 3, the results regarding the phase diagram of the fourfermion mixture, exhibiting symmetry-locking, is presented. In Chapter 4, the path towards controlling non-local kinetic terms and interactions is provided, after a general introduction to the formalism of dimensional mismatch. At the end the construction of effective Hamiltonians is described. Finally, Chapter 5 concerns the study of confinement and the robustness of it for 1+1 fermions. The first part regards the Schwinger-Thirring with the presence of a -term while, in the second part, models with dimensional mismatch are considered. The thesis ends with conclusions and perspectives of future work based on the results presented here.
A quantum simulator is a well-controlled quantum system which can be used to simulate another quantum system. Quantum degenerate gases confined by optical standing waves(optical lattices) have been considered to simulate condensed matter systems. We focus on two issues in this problem. The first one is the realization of interesting quantum phases by engineering Hamiltonians with the cold atoms toolbox. Secondly, the systems we studied are often intractable to analytical methods, which makes it a crucial issue to solve them with numerical methods. For the first issue we find several interesting phases can be studied with cold atoms in optical lattices. We show that a p-wave superfluid is stablized through a dissipation blockade mechanism. This mechanism also induces a new insulator formed by p-wave Feshbach molecules. We find that the anisotropic nature of interaction between polar molecules or dipolar atoms can be used to realize two charge density waves with different patterns and a supersolid phase which has not been found conclusively in the condensed matter system. Finally, we propose to realize a long sought spin liquid phase with hard-core bosons subject to a spin-dependent lattice and Raman induced hoppings. For the second issue we choose to numerically study these systems with the so-called tensor network algorithm which is a variational method based on the matrix(tensor) product states product states which are designed to approximate generic wave functions from their entanglement properties. In general the tensor network algorithm has advantages that it is applicable beyond one dimension, and can be used to study physical properties in the thermodynamic limit directly. We apply this method to map out the phase diagrams of the above systems. Furthermore, we show that it is capable of capturing the phase diagram of a frustrated magnetism model, the Heisenberg model on a checkerboard lattice. The great controllability and isolation from the environment of a cold atom system offer a playground to study interesting physics in strongly correlated systems. Several proposed control schemes in this thesis have been demonstrated in experiments. By providing detailed evidence from numerical simulations, this work addresses practical routes to novel quantum phases.
One of the most active areas in atomic, molecular and optical physics is the use of ultracold atomic gases in optical lattices to simulate the behaviour of electrons in condensed matter systems. The larger mass, longer length scale, and tuneable interactions in these systems allow the dynamics of atoms moving in these systems to be followed in real time, and resonant light scattering by the atoms allows this motion to be probed on a microscopic scale using site-resolved imaging. This book reviews the physics of Hubbard-type models for both bosons and fermions in an optical lattice, which give rise to a rich variety of insulating and conducting phases depending on the lattice properties and interparticle interactions. It also discusses the effect of disorder on the transport of atoms in these models, and the recently discovered phenomenon of many-body localization. It presents several examples of experiments using both density and momentum imaging and quantum gas microscopy to study the motion of atoms in optical lattices. These illustrate the power and flexibility of ultracold-lattice analogues for exploring exotic states of matter at an unprecedented level of precision.
One of the most active areas in atomic, molecular and optical physics is the use of ultracold atomic gases in optical lattices to simulate the behaviour of electrons in condensed matter systems. The larger mass, longer length scale, and tuneable interactions in these systems allow the dynamics of atoms moving in these systems to be followed in real time, and resonant light scattering by the atoms allows this motion to be probed on a microscopic scale using site-resolved imaging. This book reviews the physics of Hubbard-type models for both bosons and fermions in an optical lattice, which give rise to a rich variety of insulating and conducting phases depending on the lattice properties and interparticle interactions. It also discusses the effect of disorder on the transport of atoms in these models, and the recently discovered phenomenon of many-body localization. It presents several examples of experiments using both density and momentum imaging and quantum gas microscopy to study the motion of atoms in optical lattices. These illustrate the power and flexibility of ultracold-lattice analogues for exploring exotic states of matter at an unprecedented level of precision.
This chapter extends the investigation of ultracold atoms in optical lattices to the emerging field of ‘quantum simulation’, in which atoms are used to experimentally realize basic condensed-matter models to precisely investigate their properties and their quantum phase transitions in an ultimately clean setting, where decoherence or unwanted interactions with the environment can be avoided. The chapter discusses the superfluid/metal-to-insulator transition exhibited by strongly-interacting atoms realizing Hubbard models, as well as the Anderson localization determining the suppression of transport for atoms moving in a disordered potential. It concludes with an illustration of the most recent developments in the field, discussing novel experimental techniques and important frontiers in this research.