A key objective in nuclear and high-energy physics is to describe nonequilibrium dynamics of matter, e.g., in the early Universe and in particle colliders, starting from the standard model of particle physics. Classical computing methods, via the framework of lattice gauge theory, have experienced limited success in this mission. Quantum simulation of lattice gauge theories holds promise for overcoming computational limitations. Because of local constraints (Gauss's laws), lattice gauge theories have an intricate Hilbert-space structure. This structure complicates the definition of thermodynamic properties of systems coupled to reservoirs during equilibrium and nonequilibrium processes. We show how to define thermodynamic quantities such as work and heat using strong-coupling thermodynamics, a framework that has recently burgeoned within the field of quantum thermodynamics. Our definitions suit instantaneous quenches, simple nonequilibrium processes undertaken in quantum simulators. To illustrate our framework, we compute the work and heat exchanged during a quench in a Z_{2} lattice gauge theory coupled to matter in 1+1 dimensions. The thermodynamic quantities, as functions of the quench parameter, evidence a phase transition. For general thermal states, we derive a simple relation between a quantum many-body system's entanglement Hamiltonian, measurable with quantum-information-processing tools, and the Hamiltonian of mean force, used to define strong-coupling thermodynamic quantities.
A key objective in nuclear and high-energy physics is to describe nonequilibrium dynamics of matter, e.g., in the early Universe and in particle colliders, starting from the standard model of particle physics. Classical computing methods, via the framework of lattice gauge theory, have experienced limited success in this mission. Quantum simulation of lattice gauge theories holds promise for overcoming computational limitations. Because of local constraints (Gauss's laws), lattice gauge theories have an intricate Hilbert-space structure. This structure complicates the definition of thermodynamic properties of systems coupled to reservoirs during equilibrium and nonequilibrium processes. We show how to define thermodynamic quantities such as work and heat using strong-coupling thermodynamics, a framework that has recently burgeoned within the field of quantum thermodynamics. Our definitions suit instantaneous quenches, simple nonequilibrium processes undertaken in quantum simulators. To illustrate our framework, we compute the work and heat exchanged during a quench in a Z_{2} lattice gauge theory coupled to matter in 1+1 dimensions. The thermodynamic quantities, as functions of the quench parameter, evidence a phase transition. For general thermal states, we derive a simple relation between a quantum many-body system's entanglement Hamiltonian, measurable with quantum-information-processing tools, and the Hamiltonian of mean force, used to define strong-coupling thermodynamic quantities.
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.
Recently, quantum simulation of low-dimensional lattice gauge theories (LGTs) has attracted many interests, which may improve our understanding of strongly correlated quantum many-body systems. Here, we propose an implementation to approximate ℤ2 LGT on superconducting quantum circuits, where the effective theory is a mixture of a LGT and a gauge-broken term. By using matrix product state based methods, both the ground state properties and quench dynamics are systematically investigated. With an increase of the transverse (electric) field, the system displays a quantum phase transition from a disordered phase to a translational symmetry breaking phase. In the ordered phase, an approximate Gauss law of the ℤ2 LGT emerges in the ground state. Moreover, to shed light on the experiments, we also study the quench dynamics, where there is a dynamical signature of the spontaneous translational symmetry breaking. The spreading of the single particle of matter degree is diffusive under the weak transverse field, while it is ballistic with small velocity for the strong field. Furthermore, due to the emergent Gauss law under the strong transverse field, the matter degree can also exhibit confinement dynamics which leads to a strong suppression of the nearest-neighbor hopping. Our results pave the way for simulating the LGT on superconducting circuits, including the quantum phase transition and quench dynamics.
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.
A central open question in quantum thermodynamics is the identification of thermodynamic entropy away from equilibrium. Although thermodynamic entropy coincides with the von Neumann entropy for a Gibbs state at equilibrium, the thermodynamic role of quantum coherence generated during nonequilibrium evolution remains unclear. Here, we show that von Neumann entropy does not, in general, represent the thermodynamic entropy governing heat exchange in coherent nonequilibrium quantum systems. By integrating the resource theory of quantum coherence with thermodynamic principles, we develop a general framework for nonequilibrium quantum thermodynamics. We identify thermodynamic entropy with the energy entropy derived from energy-measurement statistics and introduce a dynamical temperature extending the equilibrium concept to nonequilibrium states. Consequently, we obtain an exact entropy-balance relation separating the entropy flux associated with heat exchange from the coherence-loss contribution to entropy production, establishing an operational connection between quantum coherence, heat flow, and total entropy change. Unlike approaches relying on equilibrium reference states or stationary Gibbs ensembles, our framework uses instantaneous dynamical quantities and remains valid throughout transient nonequilibrium evolution. It provides consistent dynamical definitions of temperature, work, heat, and free energy. Applying the formalism to an exactly solvable open quantum system, we show that the first and second laws hold throughout transient evolution and that equilibrium thermodynamics emerges dynamically in the weak-coupling long-time limit. Our results establish a unified framework for coherent nonequilibrium quantum thermodynamics and suggest opportunities for controlling heat dissipation through coherence engineering in quantum thermal technologies.
Abstract A hallmark of the computational campaign in nuclear and particle physics is the lattice-gauge-theory program. It continues to enable theoretical predictions for a range of phenomena in nature from the underlying Standard Model. The emergence of a new computational paradigm based on quantum computing, therefore, can introduce further advances in this program. In particular, it is believed that quantum computing will make possible first-principles studies of matter at extreme densities, and in and out of equilibrium, hence improving our theoretical description of the early universe, astrophysical environments, and high-energy particle collisions. Developing and advancing a quantum-computing-based lattice-gauge-theory program, therefore, have turned into a vibrant and fast-moving area of research in theoretical nuclear and particle physics. These lecture notes introduce the topic of quantum computing lattice gauge theories in a pedagogical manner, with an emphasis on theoretical and algorithmic aspects of the program, and on the most common approaches and practices, to keep the presentation focused and useful. The Hamiltonian formulation of lattice gauge theories is introduced within the Kogut–Susskind framework, the notion of Hilbert space and physical states is discussed, and some elementary numerical methods for performing Hamiltonian simulations are discussed. Quantum-simulation preliminaries and digital quantum-computing basics are presented, which set the stage for concrete examples of gauge-theory quantum-circuit design and resource analysis. A step-by-step analysis is provided for a simpler Abelian gauge theory, and an overview of our current understanding of the cost of quantum computing quantum chromodynamics is presented in the end. Examples and exercises supplement the material, and reinforce the concepts and methods introduced throughout.
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.