Strongly-coupled gauge theories far from equilibrium may exhibit unique features that could illuminate the physics of the early universe and of hadron and ion colliders. Studying real-time phenomena has proven challenging with classical-simulation methods, but is a natural application of quantum simulation. To demonstrate this prospect, we quantum compute non-equal time correlation functions and perform entanglement tomography of non-equilibrium states of a simple lattice gauge theory, the Schwinger model, using a trapped-ion quantum computer by IonQ Inc. As an ideal target for near-term devices, a recently-predicted [Zache et al., Phys. Rev. Lett. 122, 050403 (2019)] dynamical quantum phase transition in this model is studied by preparing, quenching, and tracking the subsequent non-equilibrium dynamics in three ways: i) overlap echos signaling dynamical transitions, ii) non-equal time correlation functions with an underlying topological nature, and iii) the entanglement structure of non-equilibrium states, including entanglement Hamiltonians. These results constitute the first observation of a dynamical quantum phase transition in a lattice gauge theory on a quantum computer, and are a first step toward investigating topological phenomena in nuclear and high-energy physics using quantum technologies.
Strongly-coupled gauge theories far from equilibrium may exhibit unique features that could illuminate the physics of the early universe and of hadron and ion colliders. Studying real-time phenomena has proven challenging with classical-simulation methods, but is a natural application of quantum simulation. To demonstrate this prospect, we quantum compute non-equal time correlation functions and perform entanglement tomography of non-equilibrium states of a simple lattice gauge theory, the Schwinger model, using a trapped-ion quantum computer by IonQ Inc. As an ideal target for near-term devices, a recently-predicted [Zache et al., Phys. Rev. Lett. 122, 050403 (2019)] dynamical quantum phase transition in this model is studied by preparing, quenching, and tracking the subsequent non-equilibrium dynamics in three ways: i) overlap echos signaling dynamical transitions, ii) non-equal time correlation functions with an underlying topological nature, and iii) the entanglement structure of non-equilibrium states, including entanglement Hamiltonians. These results constitute the first observation of a dynamical quantum phase transition in a lattice gauge theory on a quantum computer, and are a first step toward investigating topological phenomena in nuclear and high-energy physics using quantum technologies.
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.
Predicting the quantum dynamics of charged matter interacting with dynamical gauge fields poses an outstanding challenge in theoretical physics. Lacking a generally applicable computational method, quantum simulators offer a promising alternative. \n \nIn this thesis, we contribute to the quantum simulation of high-energy physics, focusing on the platform of ultracold atoms. Using Wilson fermions, we propose to improve implementations of lattice gauge theories based on mixtures of cold atoms in optical lattices. Numerical benchmarks indicate that this makes the realization of Schwinger pair production feasible with current technology. Our proposal is modular and an elementary building is demonstrated experimentally. We further identify dynamical topological transitions, which we discovered in the massive Schwinger model, as a suitable target for quantum simulators. Defining a gauge-invariant order parameter, these transitions are shown to persist beyond weak coupling. \n \nIn the second part of this thesis, we develop a framework for analyzing quantum simulators in terms of experimentally accessible irreducible correlation functions at equal times. We verify this approach numerically for the sine-Gordon model in thermal equilibrium, quantum simulated by two tunnel-coupled superfluids. Finally, we apply our analysis to the non-equilibrium dynamics of a spinor Bose gas, revealing suppressed effective interactions in a strongly-correlated infrared regime.
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.
Simulating quantum-mechanical systems is a very challenging issue due to the high computational costs. The main reason for this is related to the dimension of the Hilbert space that grows exponentially with the number of degrees of freedom, making an exact implementation impossible even for the most powerful today’s supercomputers. \nOn this ground it appears clear the need of a new simulation method, i.e. quantum simulation. The general idea is very simple: using a controllable quantum system, called quantum simulator, to emulate and to analyze another quantum system that usually results less controllable or accessible. Quantum simulation is currently a growing and multidisciplinary physical area that involves theoretical and experimental research. From the theoretical side, the main focus is on the study of simulation-models that create a mapping between the target physics and the simulator. \nIn the first two parts of this thesis, we explore these ideas by studying the ground-state properties and the real-time dynamics of a class of Zn lattice gauge theories in 1+1 dimensions, in which the gauge fields are coupled to fermionic matter. These models can be considered as quantum simulation-models of lattice 1+1 Quantum Electrodynamics (QED), which is the simplest gauge theory that shows non-trivial phenomena, like confinement, that are also observed in more complicated gauge theories, such as 3+1 Quantum Chromodynamics (QCD). \nIn the third part of this thesis, we unveil an interesting interplay of symmetry and topology by demonstrating the existence of symmetry-protected topological (SPT) phases in the presence of gauge interactions. More specifically, we introduce an alternative discretization of the Schwinger model leading to a new type of topological-QED. We use bosonization and Density-Matrix Renormalization Group (DMRG) techniques to analyze the phase diagram of the model, opening an interesting route to study topological phases of matter in the context of gauge theories.
Quantum link models (QLMs) are extensions of Wilson-type lattice gauge theories which realize exact gauge invariance with finite-dimensional Hilbert spaces. QLMs not only reproduce standard features of Wilson lattice gauge theories in equilibrium, but can also host new phenomena such as crystalline confined phases. The local constraints due to gauge invariance also provide kinetic restrictions that can influence substantially the real-time dynamics in these systems. We aim to characterize the nonequilibrium evolution in lattice gauge theories through the lens of dynamical quantum phase transitions, which provide general principles for real-time dynamics in quantum many-body systems. Specifically, we study quantum quenches for two representative cases, U(1) QLMs in (1+1)D and (2+1)D, for initial conditions exhibiting long-range order. Finally, we discuss the connection to the high-energy perspective and the experimental feasibility to observe the discussed phenomena in recent quantum simulator settings such as trapped ions, ultracold atoms, and Rydberg atoms.