<!--HTML-->The central idea of this review talk is to consider quantum field theory models relevant for particle physics and replace the fermionic matter in these models by a bosonic one. This is mostly motivated by the fact that bosons are more "accessible"' and easier to manipulate for experimentalists, but this "substitution'" also leads to new physics and novel phenomena. It allows us to gain new information about among other things confinement and the dynamics of the deconfinement transition. We will thus consider bosons in dynamical lattices corresponding to the bosonic Schwinger or Z2 Bose-Hubbard models. Another central idea of this review concerns atomic simulators of paradigmatic models of particle physics theory such as the Creutz-Hubbard ladder, or Gross-Neveu-Wilson and Wilson-Hubbard models. Finally, we will briefly describe our efforts to design experimentally friendly simulators of these and other models relevant for particle physics.
<!--HTML-->The central idea of this review talk is to consider quantum field theory models relevant for particle physics and replace the fermionic matter in these models by a bosonic one. This is mostly motivated by the fact that bosons are more "accessible"' and easier to manipulate for experimentalists, but this "substitution'" also leads to new physics and novel phenomena. It allows us to gain new information about among other things confinement and the dynamics of the deconfinement transition. We will thus consider bosons in dynamical lattices corresponding to the bosonic Schwinger or Z2 Bose-Hubbard models. Another central idea of this review concerns atomic simulators of paradigmatic models of particle physics theory such as the Creutz-Hubbard ladder, or Gross-Neveu-Wilson and Wilson-Hubbard models. Finally, we will briefly describe our efforts to design experimentally friendly simulators of these and other models relevant for particle physics.
The central idea of this review k to consider quantum field theory models relevant for particle physics and replace the fermionic matter in these models by a bosonic one. This is mostly motivated by the fact that bosons are more 'accessible' and easier to manipulate for experimentalists, but this 'substitution' also leads to new physics and novel phenomena. It allows us to gain new information about among other things confinement and the dynamics of the deconfinement transition. We will thus consider bosons in dynamical lattices corresponding to the bosonic Schwinger or Z(2) Bose-Hubbard models. Another central idea of this review concerns atomic simulators of paradigmatic models of particle physics theory such as the ereuti-Hubbard ladder, or Cross-Nevey-Wilson and Wilson-Hubbard models. This article k not a general review of the rapidly growing field-it reviews activities related to quantum simulations for lattice field theories performed by the Quantum Optics Theory group at ICFO and their collaborators from 19 institutions all over the world. Finally, we will briefly describe our efforts to design experimentally friendly simulators of these and other models relevant for particle physics.This article is part of the theme issue 'Quantum technologies in particle physics'.
The central idea of this review is to consider quantum field theory models relevant for particle physics and replace the fermionic matter in these models by a bosonic one. This is mostly motivated by the fact that bosons are more 'accessible' and easier to manipulate for experimentalists, but this 'substitution' also leads to new physics and novel phenomena. It allows us to gain new information about among other things confinement and the dynamics of the deconfinement transition. We will thus consider bosons in dynamical lattices corresponding to the bosonic Schwinger or [Formula: see text] Bose-Hubbard models. Another central idea of this review concerns atomic simulators of paradigmatic models of particle physics theory such as the Creutz-Hubbard ladder, or Gross-Neveu-Wilson and Wilson-Hubbard models. This article is not a general review of the rapidly growing field-it reviews activities related to quantum simulations for lattice field theories performed by the Quantum Optics Theory group at ICFO and their collaborators from 19 institutions all over the world. Finally, we will briefly describe our efforts to design experimentally friendly simulators of these and other models relevant for particle physics. This article is part of the theme issue 'Quantum technologies in particle physics'.
<!--HTML-->Despite the importance of gauge theories for modern physics, solving their out-of-equilibrium dynamics on classical computers is extremely challenging. This difficulty is currently stimulating a worldwide effort to implement them in dedicated quantum simulators. In this talk, I will discuss recent progress towards quantum simulation of gauge theories using ultracold atoms. I will show recent breakthroughs to overcome the main challenge, the realization of a dynamics that respects gauge symmetry. In particular, I will present a recent experiment based on engineering of suitable energy penalties in an optical lattice, which has realized a many-body gauge theory in a 71-site Hubbard model and has certified the fulfilment of Gauss’s law for the first time. Further, I will discuss recent progress in understanding gauge breaking errors in this and related models as well as possibilities to mitigate them. I will also illustrate some of the fascinating physics attainable in quantum simulators of gauge theories even for simple target models and with realistic resources, such as dynamical topological quantum phase transitions. Finally, I will discuss the state of art and common issues of gauge quantum simulation, and thus aim at outlining a roadmap towards mature and practically relevant quantum simulation of gauge theories.
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.
<!--HTML-->Quantum link models provide an extension of Wilson's lattice gauge theory in which the link variables have operator-valued entries. For example, in a U(1) quantum link model the link variables are raising and lowering operators of quantum spins that belong to a link-based SU(2) embedding algebra. For non-Abelian SU(N), Spin(N), or Sp(N) quantum link models, the embedding algebras are SU(2N), Spin(2N), and Sp(2N), respectively. In contrast to Wilson's framework, quantum link models can be realized in a finite-dimensional link Hilbert space corresponding to a representation of the embedding algebra. This is well suited for a resource efficient implementation of quantum link models in quantum simulation experiments. The quantum link dynamics can be embodied with a finite number of well-controlled states of ultra-cold matter, including atoms in an optical lattice, ions in a trap, or quantum circuits. For example, using dual variables, a densely encoded quantum circuit has recently been constructed for a (2+1)-d U(1) quantum link model on a triangular lattice that shows qualitatively new nematic phases with rich confining dynamics. Quantum spins and quantum links are discrete quantum variables which give rise to collective low-energy excitations. In (2+1)-d, SU(N) quantum spins give rise to massless Goldstone bosons which undergo dimensional reduction to (1+1)-d asymptotically free CP(N-1) models. This can be realized in quantum simulation experiments with alkaline-earth atoms in an optical lattice. In (3+1)-d, Abelian quantum links give rise to massless photons which undergo dimensional reduction to (2+1)-d confining U(1) gauge theory, which can be embodied with spin-ice. In (4+1)-d, non-Abelian quantum links give rise to massless gluons which undergo dimensional reduction to (3+1)-d Yang-Mills theory. Quarks are naturally included as domain wall fermions. The dimensional reduction of discrete quantum variables defines D-theory, in which quantum field theories emerge from a minimal set of degrees of freedom, thus enabling resource efficient implementations in quantum simulation experiments. D-theory provides a concrete vision how to realize the ultimate long-term goal of quantum simulating QCD.
<!--HTML-->A vigorous program has formed in recent years in various physics disciplines to take advantage of near-term and future quantum-simulation and quantum-computing hardware to study complex quantum many-body systems, building upon the vision of Richard Feynman. Such activities have also started in nuclear physics, hoping to bring new and powerful experimental and computational tools to address a range of challenging problems in strongly interacting nuclear many-body systems. In this talk, I review a number of important developments, including proposals for simulating strongly interacting quantum field theories, and for quantum computations of hadron and nuclear structure. The hardware technologies that are expected to enable both the analog simulations and the digital quantum computations of these problems will be enumerated, and the case for hardware co-design in the upcoming years will be motivated.