The implementation and characterization of minimal instances of complex many-body systems have fundamental importance for the development of quantum simulators. This thesis reports on the implementation of two such minimal instances: a minimal instance for ℤ₂ lattice gauge theories coupled to matter and a minimal instance for spin pumping. ℤ₂ lattice gauge theories are characterized by a ℤ₂ gauge degree-of-freedom on every lattice link. Matter particles moving across these links pick up a phase depending on the traversed link's gauge field. To conserve the local gauge symmetry during this motion, also the gauge field itself changes. A corresponding minimal instance consists of a single matter particle on two lattice sites, which are connected by a link. The presented implementation of this minimal instance is based on two-component ultracold rubidium atoms in a periodically-driven optical double-well potential with a state-dependent energy offset between neighboring sites. In this implementation, one component represents the matter, while the other component represents the gauge field. The resulting effective Floquet Hamiltonian exhibits ℤ₂ symmetry for specific modulation parameters, if the periodic driving is resonant with the on-site interaction energy. The dynamics was investigated for different initial states and compared to a numerical analysis. This numerical analysis is in agreement with the measurements and reveals nontrivial dynamics as expected from a ℤ₂ lattice gauge theory coupled to matter. Furthermore, symmetry-breaking terms are identified and routes to overcome these limitations are discussed. Finally, a way to couple minimal instances to a one-dimensional extended system is proposed. The results constitute a first step towards quantum simulation of gauge theories and provide important insights for future studies using Floquet-based techniques. A quantum spin pump generates a spin transport in response to a cyclic and adiabatic variation of a one-dimensional Hamiltonian. The spins are transported in opposite directions and thereby exhibit a vanishing charge transport. In a spin-conserving system with homogeneously filled bands, the spin transport per pump cycle is quantized and deeply connected to the pump cycle's topology. Therefore, such a spin pump can be interpreted as a dynamical version of a two-dimensional time-reversal symmetric quantum spin Hall system. In the experiment, a minimal instance of such a spin pump was implemented with ultracold rubidium atoms in an optical double-well potential. In the limit of piecewise isolated instances throughout the pump cycle, where each instance shifts by one lattice site per half pump cycle, a one-dimensional spin pump is realized. To characterize the response of the pump, the spin separation and the occurring spin currents are measured. For the detection of the spin separation, the center-of-mass positions of both spin components are analyzed in in-situ absorption images. For the detection of spin currents, a novel detection method was developed, which connects the superexchange oscillations after a projection onto static double wells to the instantaneous spin current. This newly developed method can be applied to a general class of systems and in combination with single-site detection, it also allows for a local detection of instantaneous spin currents. The results demonstrate a corner stone for the implementation of a spin pump, which can be extended, e.g. by adding time-reversal-invariant spin--orbit interactions or by breaking time-reversal symmetry. This extension then results either in a system described by a nontrivial ℤ₂ invariant or a quantum spin Hall system described by a spin-Chern number.
The implementation and characterization of minimal instances of complex many-body systems have fundamental importance for the development of quantum simulators. This thesis reports on the implementation of two such minimal instances: a minimal instance for ℤ₂ lattice gauge theories coupled to matter and a minimal instance for spin pumping. ℤ₂ lattice gauge theories are characterized by a ℤ₂ gauge degree-of-freedom on every lattice link. Matter particles moving across these links pick up a phase depending on the traversed link's gauge field. To conserve the local gauge symmetry during this motion, also the gauge field itself changes. A corresponding minimal instance consists of a single matter particle on two lattice sites, which are connected by a link. The presented implementation of this minimal instance is based on two-component ultracold rubidium atoms in a periodically-driven optical double-well potential with a state-dependent energy offset between neighboring sites. In this implementation, one component represents the matter, while the other component represents the gauge field. The resulting effective Floquet Hamiltonian exhibits ℤ₂ symmetry for specific modulation parameters, if the periodic driving is resonant with the on-site interaction energy. The dynamics was investigated for different initial states and compared to a numerical analysis. This numerical analysis is in agreement with the measurements and reveals nontrivial dynamics as expected from a ℤ₂ lattice gauge theory coupled to matter. Furthermore, symmetry-breaking terms are identified and routes to overcome these limitations are discussed. Finally, a way to couple minimal instances to a one-dimensional extended system is proposed. The results constitute a first step towards quantum simulation of gauge theories and provide important insights for future studies using Floquet-based techniques. A quantum spin pump generates a spin transport in response to a cyclic and adiabatic variation of a one-dimensional Hamiltonian. The spins are transported in opposite directions and thereby exhibit a vanishing charge transport. In a spin-conserving system with homogeneously filled bands, the spin transport per pump cycle is quantized and deeply connected to the pump cycle's topology. Therefore, such a spin pump can be interpreted as a dynamical version of a two-dimensional time-reversal symmetric quantum spin Hall system. In the experiment, a minimal instance of such a spin pump was implemented with ultracold rubidium atoms in an optical double-well potential. In the limit of piecewise isolated instances throughout the pump cycle, where each instance shifts by one lattice site per half pump cycle, a one-dimensional spin pump is realized. To characterize the response of the pump, the spin separation and the occurring spin currents are measured. For the detection of the spin separation, the center-of-mass positions of both spin components are analyzed in in-situ absorption images. For the detection of spin currents, a novel detection method was developed, which connects the superexchange oscillations after a projection onto static double wells to the instantaneous spin current. This newly developed method can be applied to a general class of systems and in combination with single-site detection, it also allows for a local detection of instantaneous spin currents. The results demonstrate a corner stone for the implementation of a spin pump, which can be extended, e.g. by adding time-reversal-invariant spin--orbit interactions or by breaking time-reversal symmetry. This extension then results either in a system described by a nontrivial ℤ₂ invariant or a quantum spin Hall system described by a spin-Chern number.
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.
A central requirement for the faithful implementation of large-scale lattice gauge theories (LGTs) on quantum simulators is the protection of the underlying gauge symmetry. Recent advancements in the experimental realizations of large-scale LGTs have been impressive, albeit mostly restricted to Abelian gauge groups. Guided by this requirement for gauge protection, we propose an experimentally feasible approach to implement large-scale non-Abelian SU ( N ) and U ( N ) LGTs with dynamical matter in d + 1 D , enabled by two-body spin-exchange interactions realizing local emergent gauge-symmetry stabilizer terms. We present two concrete proposals for 2 + 1 D SU ( 2 ) and U ( 2 ) LGTs, including dynamical bosonic matter and induced plaquette terms, that can be readily implemented in current ultracold-molecule and next-generation ultracold-atom platforms. We provide numerical benchmarks showcasing experimentally accessible dynamics, and demonstrate the stability of the underlying non-Abelian gauge invariance. We develop a method to obtain the effective gauge-invariant model featuring the relevant magnetic plaquette and minimal gauge-matter coupling terms. Our approach paves the way towards near-term realizations of large-scale non-Abelian quantum link models in analog quantum simulators. Published by the American Physical Society 2024
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.
This thesis investigates advances in quantum simulation methods for lattice gauge theories, with a focus on (2+1)-dimensional quantum electrodynamics (QED), which shares important features with (3+1)-dimensional quantum chromodynamics (QCD), such as confinement and asymptotic freedom. Two main projects are developed. The first project investigates the ongoing coupling in a compact pure U(1) gauge theory using a step-scaling function approach. A quantum variational method allows calculations over a wide range of couplings. Plaquette expectation value results are compared with classical Monte Carlo simulations to obtain, in principle, the physical value of the lattice spacing. This method can potentially be extended to the study of QED, which also includes fermionic matter. The second project investigates the static potential between two charges, analyzing the Coulomb, confining, and string-breaking regimes. It involves the development of a tailored variational approach that incorporates system symmetries and mutual information to represent fermionic degrees of freedom. Results from a trapped-ion quantum device agree well with classical simulations, validating the method. Furthermore, this work evaluates superconducting quantum devices, noting issues with noise but also demonstrating improvements in hardware and potential through error limitation. Overall, this work underscores the feasibility of variational quantum algorithms for lattice gauge theory simulations and demonstrates their promise for advancing theoretical physics with quantum computers. This thesis explores advancements in quantum simulation methods for lattice gauge theories, focusing on (2+1)-dimensional Quantum Electrodynamics (QED), which shares key features with (3+1)-dimensional Quantum Chromodynamics (QCD), such as confinement and asymptotic freedom. Two main projects are developed. The first investigates the running coupling in a compact U(1) pure gauge theory using a step scaling function approach. A quantum variational method enables computation across a wide range of couplings. The plaquette expectation value is matched with classical Monte Carlo simulations to obtain, in principle, the physical value of the lattice spacing. This method can be eventually extended to study QED, where fermionic matter is included. The second project examines the static potential between two charges, analyzing Coulomb, confining, and string-breaking regimes. It involves developing a custom variational Ansatz that incorporates system symmetries and mutual information to represent fermionic degrees of freedom. Results from a trapped-ion quantum device align well with exact classical simulations, validating the method. Additionally, the thesis evaluates superconducting devices, identifying noise challenges but noting improvements in hardware and the potential of error mitigation. Overall, this work highlights the viability of variational quantum algorithms for lattice gauge theory simulations and demonstrates their promise for advancing theoretical physics with quantum computing.
Simulating quantum dynamics of lattice gauge theories (LGTs) is an exciting frontier in quantum science. Programmable quantum simulators based on neutral atom arrays are a promising approach to achieve this goal, since strong Rydberg blockade interactions can be used to naturally create low energy subspaces that can encode local gauge constraints. However, realizing regimes of LGTs where both matter and gauge fields exhibit significant dynamics requires the presence of tunable multi-body interactions such as those associated with ring exchange, which are challenging to realize directly. Here, we develop a method for generating such interactions based on time-periodic driving. Our approach utilizes controlled deviations from time-reversed trajectories, which are accessible in constrained PXP-type models via the application of frequency modulated global pulses. We show that such driving gives rise to a family of effective Hamiltonians with multi-body interactions whose strength is non-perturbative in their respective operator weight. We apply this approach to a two-dimensional U(1) LGT on the Kagome lattice, where we engineer strong six-body magnetic plaquette terms that are tunable relative to the kinetic energy of matter excitations, demonstrating access to previously unexplored dynamical regimes. Potential generalizations and prospects for experimental implementations are discussed.