Gauge symmetry plays a key role in our description of subatomic matter. The vanishing photon mass, the long-ranged Coulomb law, and asymptotic freedom are all due to gauge invariance. Recent years have seen tantalizing progress in the microscopic reconstruction of gauge theories in engineered quantum simulators. Yet, many of these are plagued by a fundamental question: When gauge symmetry is only approximate in the quantum device, do we actually quantum-simulate a gauge theory? Here, we answer this question in the affirmative for a paradigm gauge theory akin to quantum electrodynamics. Analytically, we derive a renormalized gauge symmetry that is at least exponentially accurate. Further, numerically computing the phase diagram in the thermodynamic limit, we find that the long-distance behavior of the gauge theory is only compromised upon reaching a sharp quantum phase transition. This behavior is enabled by an energy penalty term, which lends a mass to the Higgs boson to which the coherent gauge breaking couples. Our results not only lend validity to ongoing gauge-theory quantum simulations, they also probe the fundamental question of how gauge symmetry could emerge in nature.
Gauge symmetry plays a key role in our description of subatomic matter. The vanishing photon mass, the long-ranged Coulomb law, and asymptotic freedom are all due to gauge invariance. Recent years have seen tantalizing progress in the microscopic reconstruction of gauge theories in engineered quantum simulators. Yet, many of these are plagued by a fundamental question: When gauge symmetry is only approximate in the quantum device, do we actually quantum-simulate a gauge theory? Here, we answer this question in the affirmative for a paradigm gauge theory akin to quantum electrodynamics. Analytically, we derive a renormalized gauge symmetry that is at least exponentially accurate. Further, numerically computing the phase diagram in the thermodynamic limit, we find that the long-distance behavior of the gauge theory is only compromised upon reaching a sharp quantum phase transition. This behavior is enabled by an energy penalty term, which lends a mass to the Higgs boson to which the coherent gauge breaking couples. Our results not only lend validity to ongoing gauge-theory quantum simulations, they also probe the fundamental question of how gauge symmetry could emerge in nature.
Abstract The modern description of elementary particles, as formulated in the standard model of particle physics, is built on gauge theories1. Gauge theories implement fundamental laws of physics by local symmetry constraints. For example, in quantum electrodynamics Gauss’s law introduces an intrinsic local relation between charged matter and electromagnetic fields, which protects many salient physical properties, including massless photons and a long-ranged Coulomb law. Solving gauge theories using classical computers is an extremely arduous task2, which has stimulated an effort to simulate gauge-theory dynamics in microscopically engineered quantum devices3–6. Previous achievements implemented density-dependent Peierls phases without defining a local symmetry7, 8, realized mappings onto effective models to integrate out either matter or electric fields9–12, or were limited to very small systems13–16. However, the essential gauge symmetry has not been observed experimentally. Here we report the quantum simulation of an extended U(1) lattice gauge theory, and experimentally quantify the gauge invariance in a many-body system comprising matter and gauge fields. These fields are realized in defect-free arrays of bosonic atoms in an optical superlattice of 71 sites. We demonstrate full tunability of the model parameters and benchmark the matter–gauge interactions by sweeping across a quantum phase transition. Using high-fidelity manipulation techniques, we measure the degree to which Gauss’s law is violated by extracting probabilities of locally gauge-invariant states from correlated atom occupations. Our work provides a way to explore gauge symmetry in the interplay of fundamental particles using controllable large-scale quantum simulators.
<!--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.
Although gauge invariance is a postulate in fundamental theories of nature such as quantum electrodynamics, in quantum-simulation implementations of gauge theories it is compromised by experimental imperfections. In a recent paper [Halimeh and Hauke, Phys. Rev. Lett. 125, 030503 (2020)], it has been shown in finite-size spin-1/2 quantum link lattice gauge theories that upon introducing an energy-penalty term of sufficiently large strength V, unitary gauge-breaking errors at strength $\ensuremath{\lambda}$ are suppressed $\ensuremath{\propto}{\ensuremath{\lambda}}^{2}/{V}^{2}$ up to all accessible evolution times. Here, we show numerically that this result extends to quantum link models in the thermodynamic limit and with larger spin S. As we show analytically, the dynamics at short times is described by an adjusted gauge theory up to a timescale that is at earliest ${\ensuremath{\tau}}_{\text{adj}}\ensuremath{\propto}\sqrt{V/{V}_{0}^{3}}$, with V0 an energy factor. Moreover, our analytics predicts that a renormalized gauge theory dominates at intermediate times up to a timescale ${\ensuremath{\tau}}_{\text{ren}}\ensuremath{\propto}exp(V/{V}_{0})/{V}_{0}$. In both emergent gauge theories, V is volume independent and scales at worst $\ensuremath{\sim}{S}^{2}$. Furthermore, we numerically demonstrate that robust gauge invariance is also retained through a single-body gauge-protection term, which is experimentally straightforward to implement in ultracold-atom setups and NISQ devices.
In the last decade the non-equilibrium dynamics of isolated quantum systems has raised a huge interest for both its conceptual and practical implications. Simulation of quantum dynamics represents by now a very active research effort, with highly controllable quantum devices composed of hundreds of qubits already being realized in numerous setups. These offer the unprecedented possibility to access real-time quantum dynamics and strongly correlated quantum many-body states, opening numerous avenues not only for future quantum technologies, but also for long-standing theoretical problems. One of the most sought-after applications is the computation of real-time evolution in theories of fundamental interactions. Since Wilson's proposal in 1974, the equilibrium phase diagrams of lattice gauge theories have been successfully investigated with Monte Carlo simulations in a wide range of parameters. Nonequilibrium properties, on the other hand, cannot be accessed with conventional techniques. Thanks to the recent advances in numerics (e.g. tensor networks) and experiments (quantum simulation), new promising tools are now available for tackling these questions. Remarkable works have already demonstrated that applying these techniques to simple theories, such as one-dimensional quantum electrodynamics, can help to detect the signatures of confinement and pair creation. Despite these impressive achievements, investigating the non-equilibrium dynamics of gauge theories with quantum simulators turned out to be extremely challenging. This is mostly due to the complex constrained dynamics of these theories, which make their simulation with realistic atomic platforms particularly difficult. At the same time, the dynamical constraints can play a key role in determining novel interesting phenomena and peculiar non-equilibrium properties. These phenomena -- which include, for example, quantum scars, fractons, Hilbert space fragmentation -- can lead to anomalous dynamics, eventually evading the paradigm of thermalization, which predicts the relaxation of physical observable to their thermodynamic values. The aim of this thesis is twofold: first, we want to address through a combination of numerical and analytical tools some of the open questions regarding the non-equilibrium dynamics of quantum many-body systems with constrained Hilbert spaces, including lattice gauge theories. In addition, the work reported here is part of a large effort of the community towards the quantum simulation of complex phenomena of condensed matter and high-energy physics.
Quantum-simulator hardware promises new insights into problems from particle and nuclear physics.A major challenge is to reproduce gauge invariance, as violations of this quintessential property of lattice gauge theories can have dramatic consequences, e.g., the generation of a photon mass in quantum electrodynamics.Here, we introduce an experimentally friendly method to protect gauge invariance in U(1) lattice gauge theories against coherent errors in a controllable way.Our method employs only single-body energy-penalty terms, thus enabling practical implementations.As we derive analytically, some sets of penalty coefficients render undesired gauge sectors inaccessible by unitary dynamics for exponentially long times.Further, for few-body error terms, we show numerically that this is achieved with resources exhibiting little dependence on system size.These findings constitute an exponential improvement over previously known results from energy-gap protection or perturbative treatments.In our method, the gaugeinvariant subspace is protected by an emergent global symmetry, meaning it can be immediately applied to other symmetries.In our numerical benchmarks for continuous-time and digital quantum simulations, gauge protection holds for all calculated evolution times (up to t > 10 10 /J for continuous time, with J the relevant energy scale).Crucially, our gauge-protection technique is simpler to realize than the associated ideal gauge theory, and can thus be readily implemented in current ultracold-atom analog simulators as well as digital noisy intermediate-scale quantum devices.
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.