Lattice models in theoretical physics A major part of theoretical physics involves the construction and systematic analysis of mathematical models as a description of the physical world. For microscopic phenomena, in particular, the reference to models becomes quite explicit. The phenomena are often complex, and any theory that attempts to include every detail soon becomes intractable. It is more fruitful to develop models which ignore irrelevant details but, hopefully, capture the essential physics of the phenomena of interest. Thus we have the Heisenberg model of magnetic order, the Bardeen–Cooper– Schrieffer (BCS) model of superconductivity, and so on. It is important to note, at the outset, that the models we shall be discussing describe strongly interacting, and therefore highly correlated, systems of particles. These are difficult and interesting problems. Where interactions are absent, or weak, elementary treatments are possible and the resulting phenomena are generally unspectacular. Why lattice models? In solid-state phenomena there is usually an underlying lattice structure, and the symmetry properties of this lattice play an important role in the analysis. Even the process of electrical conduction in metals or semiconductors can be equally well described in terms of localized quantum states or in terms of the more usual continuum picture. In quantum field theory, which is formulated in a space–time continuum, a lattice is often introduced for computational purposes. One can think of this in two ways: as an approximation to the continuum, which is then recovered as a limit at the end of the calculations, or as a necessary means of regulating the theory (i.e. controlling divergences) in calculating the Feynman path integral.
Lattice models in theoretical physics A major part of theoretical physics involves the construction and systematic analysis of mathematical models as a description of the physical world. For microscopic phenomena, in particular, the reference to models becomes quite explicit. The phenomena are often complex, and any theory that attempts to include every detail soon becomes intractable. It is more fruitful to develop models which ignore irrelevant details but, hopefully, capture the essential physics of the phenomena of interest. Thus we have the Heisenberg model of magnetic order, the Bardeen–Cooper– Schrieffer (BCS) model of superconductivity, and so on. It is important to note, at the outset, that the models we shall be discussing describe strongly interacting, and therefore highly correlated, systems of particles. These are difficult and interesting problems. Where interactions are absent, or weak, elementary treatments are possible and the resulting phenomena are generally unspectacular. Why lattice models? In solid-state phenomena there is usually an underlying lattice structure, and the symmetry properties of this lattice play an important role in the analysis. Even the process of electrical conduction in metals or semiconductors can be equally well described in terms of localized quantum states or in terms of the more usual continuum picture. In quantum field theory, which is formulated in a space–time continuum, a lattice is often introduced for computational purposes. One can think of this in two ways: as an approximation to the continuum, which is then recovered as a limit at the end of the calculations, or as a necessary means of regulating the theory (i.e. controlling divergences) in calculating the Feynman path integral.
Gauge theories and topological phases play a fundamental role in different areas of physics. The first ones are at the basis of the Standard Model in the field of particle physics, describing the electroweak and strong interactions through a non-Abelian gauge theory. In condensed matter and statistical physics, gauge theories arise as low-energy effective descriptions of strongly correlated phenomena, such as quantum spin liquids and quantum Hall effect. In this realm there is a strong connection with topological phases and order, as emergent gauge fermions and bosons often describe collective excitations of new exotic states of matter of spin models. The discretization on a lattice is a possible way of dealing with the strongly coupled nature of these theories, due to the fact that this formulation at finite volume provides natural regularizing cut-offs, i.e. the lattice size and spacing. This allows for the investigation of different non-perturbative properties both numerically and analytically. Despite the success of these methods, there are various aspects which remain intractable due to the sign or complex action problems, like the out of equilibrium real time evolution or the analysis of quantum chromodynamics with finite chemical potential. In this respect, quantum simulators of many-body systems to simulate high energy physics arise as promising alternatives to face these problems in the near future. They are quantum systems that can be controlled and used to simulate more complicated systems, whose properties could not be analysed with classical computational, experimental or theoretical tools. In the last decades, there has been a huge development in the fields of quantum optics and atomic physics, allowing for the realization highly precise and controllable platforms by means of trapped ions, superconducting circuits, Rydberg atoms and ultracold atoms in optical lattices. This work of Thesis is part of these fields and has different purposes, all of them connected with the study of gauge theories and topological phases. Firstly, we want to develop a reformulation of lattice gauge theories in terms of gauge invariant fields, in a way to deal solely with physical variables directly in the action. Among several possible advantages, a crucial point is that this can be particularly helpful for the construction of consistent approximation schemes, such as mean-field theories, in order to understand and capture some of the physical features of the theory and make the mean-field approximation consistent with the Elitzur theorem, stating that a local gauge symmetry can not be spontaneously broken. As a second point, we face the problem of simulating higher dimensional gauge theories with ultracold atoms. One of the challenges in more than one dimension is indeed the realization of plaquette interaction terms in the Hamiltonian of lattice gauge theories: these can be engineered through four correlated hoppings in perturbation theory, or by means of constrained hoppings in the dual formulation. In this respect, our main target is to set up an ultracold atomic platform generating the plaquette term in two dimensions using only two correlated hoppings, and protecting gauge invariance through angular momentum conservation. The last point we address in the Thesis is related to the analysis of particles moving in static background gauge potentials, i.e. when the considered gauge field has no dynamical term in the action of the system. Indeed, the dynamics of quantum particles in the presence of static gauge fields gives rise to intriguing physical phenomena. In particular, using ultracold atom setups, the realization of artificial gauge potentials can be used to investigate the physics of topological semimetals, such as Weyl or Dirac type. In the last ten years, a lot of attention has been paid to their characterization, due to the appearence of clear theoretical predictions and very well-controlled experimental techniques. We investigate here the relation between topological phase transitions and van Hove singularities, i.e. the discontinuities in the energy derivative of the density of states, in three-dimensional gapless systems. In such materials, topological phase transitions can be defined by changes of the topological invariants of the Fermi sheets, happening at specific singular points. Moreover, Fermi surface singularities result in the presence of the so-called van Hove points. We then present a general argument to relate topological phase transitions and van Hove singularities, and show observable consequences that are related to the transport properties of the system. We exemplify our argument in Weyl systems by analyzing the three-dimensional Hofstadter model for various commensurate fluxes, which offers the opportunity to consider different kinds of Weyl metals and to understand the features of their density of states.
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.
In this article a survey is given of the present status of the quantum theory of many-particle systems with special emphasis on the underlying principles. Very little is said about applications. A brief introduction to some models, which are of interest for an approximate or qualitative description of actual physical systems, is followed by a discussion of two important phenomena in many-particle systems: quasi-particles and collective excitations. Next, an outline is given of mathematical methods which have been used for a precise treatment of such phenomena. A rather thorough discussion of the Bogoliubov model for interacting bosons, and the BCS model for fermions, serves as an illustration. Some new features, typical of many-particle systems, are discussed on the basis of these models. Also another approach to the many-body problem is discussed which is more logical and mathematically more rigorous. This approach differs from standard procedures in that the limit Ω-> infinity, N -> infinity is not taken at the end of the calculations but in the beginning. This quantum theory of infinite systems leads, among other things, to a better understanding of the models mentioned above.
Envisioned by Richard Feynman in the early 1980s, quantum simulation has received dramatic impetus thanks to the development of a variety of plateforms able to emulate a wide class of quantum Hamiltonians.During the past decade, most of the quantum simulators have implemented rather well-known models, hence permitting a direct comparison with theoretical calculations and a precise benchmarking of their reliability.The field has now reached a maturity such that one can address difficult problems, which cannot be solved efficiently using classical algorithms.These advances provide unprecedented opportunities to explore previously unreachable fields, test theoretical predictions, and inspire novel approaches.This contribution is an elementary introduction to quantum simulation.We discuss the challenges, define both digital and analog quantum simulators, and list the demanding conditions they require.We also provide a brief account of the contributions gathered in the dossier on Quantum simulation in the Compte rendus Physique of the French Academy of Sciences [1][2][3][4][5][6].The latter completes excellent reviews that appeared previously, see for instance . Universal models and the role of simulations in many-body physicsUnderstanding the behavior of macroscopic quantum systems is a major challenge of modern physics.The basic laws of low-energy physics are by now quite well known at the microscopic, say atomic, scale.Conversely, many fundamental questions remain open, and even debated, about the collective dynamics at the macroscopic scale.By "macroscopic scale", here we mean systems made up of a huge number of constituents, or degrees of freedom, say 10 6 , 10 23 , or even more, as relevant in condensed matter physics or in astrophysics, for instance.Such huge systems cannot be treated exactly, be it a the classical level and, even worse, at the quantum level.Yet, it is the main outcome of the thermodynamic approach that the collective behavior of a macroscopic system can drastically differ from that of its elementary constituents.For instance, the elementary interactions between the H 2 O molecules are fundamentally unchanged when a water bucket turns from the liquid phase to the solid phase at zero degree Celsius.Similarly, the interactions between the microscopic magnetic moments do not show any brutal change when a magnetic material gets magnetized underneath the Curie temperature.Hence, the dramatic effects observed in macroscopic systems are governed by large-scale instabilities, without obvious counterparts at the microscopic level.This observation takes a universal character, summarized in the celebrated motto "More is Different" [15].Such so-called emerging phenomena also appear in quantum systems, where new effects that are impossible in the classical world show up below some critical temperature or at zero temperature when some interaction parameter passes through a critical value.Celebrated examples include the superfluid transition in helium or super-conducting transitions and other metal-insulator transitions in electronic systems.Strikingly enough at first sight, while emerging phenomena only appear in very large scale macroscopic systems, their germs are contained in the mutual interactions of their elementary constituents.Hence, local two-body interactions are sufficient to explain a huge class of phase transitions, such as the liquid-solid and magnetic transitions mentioned above.The Boltzmann statistical approach proved particularly successful in describing this connection between the microscopic and macroscopic scales.To understand emerging phenomena on grounds as fundamental as possible, the programme is now well established: One tries to identify the basic microscopic terms that seem to be relevant and disregards all the other microscopic details.One then elaborates a model, as generic as possible, likely to reproduce the main experimental observations.The most usual examples are the Ising and Heisenberg models for magnetic transitions, or the Hubbard model for metal-insulator transitions [16][17][18].Then all is left to do is to check that the phenomenon of interest indeed emerges from the dynamics of the simplified model.The realization of this programme is nothing but a simulation.It consists in building up a simplified system that mimics the main properties of a real system.
The discovery of high-Tc superconductivity in cuprates in 1986 moved strongly correlated systems from exotic worlds interesting only for pure theorists to the focus of solid-state research. In recent decades, the majority of hot topics in condensed matter physics (high-Tc superconductivity, colossal magnetoresistance, multiferroicity, ferromagnetism in diluted magnetic semiconductors, etc.) have been related to strongly correlated transition metal compounds. The highly successful electronic structure calculations based on density functional theory lose their predictive power when applied to such compounds. It is necessary to go beyond the mean field approximation and use the many-body theory. The methods and models that were developed for the description of strongly correlated systems are reviewed together with the examples of response function calculations that are needed for the interpretation of experimental information (inelastic neutron scattering, optical conductivity, resonant inelastic X-ray scattering, electron energy loss spectroscopy, angle-resolved photoemission, electron spin resonance, and magnetic and magnetoelectric properties). The peculiarities of (quasi-) 0-, 1-, 2-, and 3- dimensional systems are discussed.
This Ph.D. thesis in mathematical physics concerns systems of interacting fermions with strong correlations. For these systems the physical properties can only be described in terms of the collective behavior of the fermions. Moreover, they are often characterized by a close competition between fermion localization versus delocalization, which can result in complex and exotic physical phenomena. Strongly correlated fermion systems are usually modelled by many-body Hamiltonians for which the kinetic- and interaction energy have the same order of magnitude. This makes them challenging to study as the application of conventional computational methods, like mean field- or perturbation theory, often gives unreliable results. Of particular interest are Hubbard-type models, which provide minimal descriptions of strongly correlated fermions. The research of this thesis focuses on such models defined on two-dimensional square lattices. One motivation for this is the so-called high-Tc problem of the cuprate superconductors. A main hypothesis is that there exists an underlying Fermi surface with nearly flat parts, i.e. regions where the surface is straight. It is shown that a particular continuum limit of the lattice system leads to an effective model amenable to computations. This limit is partial in that it only involves fermion degrees of freedom near the flat parts. The result is an effective quantum field theory that is analyzed using constructive bosonization methods. Various exactly solvable models of interacting fermions in two spatial dimensions are also derived and studied.