Can high-energy physics be simulated by low-energy, non-relativistic, many-body systems such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure an atomic system to manifest both local gauge invariance and Lorentz invariance. In particular, local gauge invariance can arise either as an effective low-energy symmetry, or as an exact symmetry, following from the conservation laws in atomic interactions. Hence, one could hope that such quantum simulators may lead to a new type of (table-top) experiments which will be used to study various QCD (quantum chromodynamics) phenomena, such as the confinement of dynamical quarks, phase transitions and other effects, which are inaccessible using the currently known computational methods. In this report, we review the Hamiltonian formulation of lattice gauge theories, and then describe our recent progress in constructing the quantum simulation of Abelian and non-Abelian lattice gauge theories in 1 + 1 and 2 + 1 dimensions using ultracold atoms in optical lattices.
Can high-energy physics be simulated by low-energy, non-relativistic, many-body systems such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure an atomic system to manifest both local gauge invariance and Lorentz invariance. In particular, local gauge invariance can arise either as an effective low-energy symmetry, or as an exact symmetry, following from the conservation laws in atomic interactions. Hence, one could hope that such quantum simulators may lead to a new type of (table-top) experiments which will be used to study various QCD (quantum chromodynamics) phenomena, such as the confinement of dynamical quarks, phase transitions and other effects, which are inaccessible using the currently known computational methods. In this report, we review the Hamiltonian formulation of lattice gauge theories, and then describe our recent progress in constructing the quantum simulation of Abelian and non-Abelian lattice gauge theories in 1 + 1 and 2 + 1 dimensions using ultracold atoms in optical lattices.
Can high-energy physics be simulated by low-energy, non-relativistic, many-body systems such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure an atomic system to manifest both local gauge invariance and Lorentz invariance. In particular, local gauge invariance can arise either as an effective low-energy symmetry, or as an exact symmetry, following from the conservation laws in atomic interactions. Hence, one could hope that such quantum simulators may lead to a new type of (table-top) experiments which will be used to study various QCD (quantum chromodynamics) phenomena, such as the confinement of dynamical quarks, phase transitions and other effects, which are inaccessible using the currently known computational methods. In this report, we review the Hamiltonian formulation of lattice gauge theories, and then describe our recent progress in constructing the quantum simulation of Abelian and non-Abelian lattice gauge theories in 1 + 1 and 2 + 1 dimensions using ultracold atoms in optical lattices.
Quantum simulations of high-energy physics, and especially of gauge theories, is an emerging and exciting direction in quantum simulations. However, simulations of such theories, compared to simulations of condensed matter physics, must satisfy extra restrictions, such as local gauge invariance and relativistic structure. In this paper we discuss these special requirements, and present a method for quantum simulation of lattice gauge theories using ultracold atoms. This method allows us to include local gauge invariance as a fundamental symmetry of the atomic Hamiltonian, arising from natural atomic interactions and conservation laws (and not as a property of a low-energy sector). This allows us to implement elementary gauge invariant interactions for three lattice gauge theories: U(1) (compact QED), ZN and SU(N) (Yang-Mills), which can be used to build quantum simulators in 1+1 dimensions. We also present a loop method, which uses the elementary interactions as building blocks in the effective construction of quantum simulations for d+1 dimensional lattice gauge theories (d>1), but unlike in previous proposals, here gauge invariance and Gauss's law are natural symmetries, which do not have to be imposed as a constraint. We discuss in detail the quantum simulation of 2+1 dimensional compact QED and provide a numerical proof of principle. The simplicity of the already gauge-invariant elementary interactions of this model suggests it may be useful for future experimental realizations.
We present a quantum simulation scheme for the Abelian-Higgs lattice gauge theory using ultracold bosonic atoms in optical lattices. The model contains both gauge and Higgs scalar fields, and exhibits interesting phases related to confinement and the Higgs mechanism. The model can be simulated by an atomic Hamiltonian, by first mapping the local gauge symmetry to an internal symmetry of the atomic system, the conservation of hyperfine angular momentum in atomic collisions. By including auxiliary bosons in the simulation, we show how the Abelian-Higgs Hamiltonian emerges effectively. We analyze the accuracy of our method in terms of different experimental parameters, as well as the effect of the finite number of bosons on the quantum simulator. Finally, we propose possible experiments for studying the ground state of the system in different regimes of the theory, and measuring interesting high energy physics phenomena in real time.
Abelian and non‐Abelian gauge theories are of central importance in many areas of physics. In condensed matter physics, Abelian U (1) lattice gauge theories arise in the description of certain quantum spin liquids. In quantum information theory, Kitaev's toric code is a lattice gauge theory. In particle physics, Quantum Chromodynamics (QCD), the non‐Abelian gauge theory of the strong interactions between quarks and gluons, is non‐perturbatively regularized on a lattice. Quantum link models extend the concept of lattice gauge theories beyond the Wilson formulation, and are well suited for both digital and analog quantum simulation using ultracold atomic gases in optical lattices. Since quantum simulators do not suffer from the notorious sign problem, they open the door to studies of the real‐time evolution of strongly coupled quantum systems, which are impossible with classical simulation methods. A plethora of interesting lattice gauge theories suggests itself for quantum simulation, which should allow us to address very challenging problems, ranging from confinement and deconfinement, or chiral symmetry breaking and its restoration at finite baryon density, to color superconductivity and the real‐time evolution of heavy‐ion collisions, first in simpler model gauge theories and ultimately in QCD.
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.
Gauge theories are ubiquitous in physics. Many intriguing phenomena in condensed matter physics owe to the action of the electromagnetic field, which is an Abelian gauge theory. The numerical treatment of many-body systems is inherently complex due to the exponentially growing size of the Hilbert space. While in one dimension an area law guarantees that numerical methods on classical computers can deal with strongly correlated systems, in higher dimensions the quantum simulation comes as the panacea for the many-body problem. The present thesis comprises the elaboration of experimentally feasible methods for the quantum simulation of dynamical Abelian gauge fields with ultra-cold gases of neutral atoms and the theoretical analysis of the related model Hamiltonians. As neutral atoms do not interact with external vector potentials like charged particles would do, the gauge fields have to be artificially engineered. The elements of a gauge theory that need to be replicated on a quantum simulator vary depending on the subject of investigation. The key ingredient at the root of many condensed matter phenomena, from the quantum Hall effect to superconductivity and chiral topological insulators, is the Berry phase. Whilst artificial static gauge fields have been widely explored, much remains to do regarding the realization of artificial dynamical gauge fields. In Chapter 3 we present a method based on the amplitude modulation of a one-dimensional optical lattice, which allows for an unprecedented degree of control over a wide range of parameters. The method also comprises the generation of a density-dependent complex phase, fundamental to the creation of anyonic pseudo-particles. The anyons are amenable of observation through interferometric measurement, realizable with the same experimental set-up. With regard to gauge theories, the Berry phase is just the visible tip of the iceberg. Below the waterline, there is more to consider in order to comprehensively reproduce a gauge theory, like the electric and magnetic fields in quantum electrodynamics. Moreover, a full account for the inherent symmetry is crucial to investigate phenomena proper of non-Abelian gauge theories in the context of high-energy physics, such as confinement. For this collection of topics, one can turn to lattice gauge theories. In Chapter 5, we consider a class of lattice gauge theories particularly suitable for quantum simulation, the Quantum Link Model. The study of the Abelian U(1) Quantum Link Model on a ladder geometry reveals a highly non-trivial phase diagram, featuring a symmetry-protected topological phase. In both Chapters, innovative solutions for the experimental realization of the model Hamiltonians are designed and proposed. To gain numerical access to the ground-state properties and the dynamics of the systems investigated we make use of state-of-the-art numerical methods based on Tensor Networks. The elements of the numerical analysis carried out throughout this thesis are presented in Chapter 6. In the last part we offer an outlook on research perspectives related to the topics discussed in the thesis.