Simulating Lattice Gauge Theories within Quantum Technologies
MC Bañuls, R. Blatt, J Catani, Alessio Celi, JI Cirac, Marcello Dalmonte, L. Fallani, K Jansen, Maciej Lewenstein, Simone Montangero, Muschik Ca, Benni Reznik, E Rico, Luca Tagliacozzo, Karel Van Acoleyen, Frank Verstraete, U.‐J. Wiese, M Wingate, Jakub Zakrzewski, P. Zoller
Lattice gauge theories, which originated from particle physics in the context of Quantum Chromodynamics (QCD), provide an important intellectual stimulus to further develop quantum information technologies. While one long-term goal is the reliable quantum simulation of currently intractable aspects of QCD itself, lattice gauge theories also play an important role in condensed matter physics and in quantum information science. In this way, lattice gauge theories provide both motivation and a framework for interdisciplinary research towards the development of special purpose digital and analog quantum simulators, and ultimately of scalable universal quantum computers. In this manuscript, recent results and new tools from a quantum science approach to study lattice gauge theories are reviewed. Two new complementary approaches are discussed: first, tensor network methods are presented - a classical simulation approach -applied to the study of lattice gauge theories together with some results on Abelian and non-Abelian lattice gauge theories. Then, recent proposals for the implementation of lattice gauge theory quantum simulators in different quantum hardware are reported, e.g., trapped ions, Rydberg atoms, and superconducting circuits. Finally, the first proof-of-principle trapped ions experimental quantum simulations of the Schwinger model are reviewed.
Lattice gauge theories, which originated from particle physics in the context of Quantum Chromodynamics (QCD), provide an important intellectual stimulus to further develop quantum information technologies. While one long-term goal is the reliable quantum simulation of currently intractable aspects of QCD itself, lattice gauge theories also play an important role in condensed matter physics and in quantum information science. In this way, lattice gauge theories provide both motivation and a framework for interdisciplinary research towards the development of special purpose digital and analog quantum simulators, and ultimately of scalable universal quantum computers. In this manuscript, recent results and new tools from a quantum science approach to study lattice gauge theories are reviewed. Two new complementary approaches are discussed: first, tensor network methods are presented - a classical simulation approach -applied to the study of lattice gauge theories together with some results on Abelian and non-Abelian lattice gauge theories. Then, recent proposals for the implementation of lattice gauge theory quantum simulators in different quantum hardware are reported, e.g., trapped ions, Rydberg atoms, and superconducting circuits. Finally, the first proof-of-principle trapped ions experimental quantum simulations of the Schwinger model are reviewed.
Abstract Lattice gauge theories, which originated from particle physics in the context of Quantum Chromodynamics (QCD), provide an important intellectual stimulus to further develop quantum information technologies. While one long-term goal is the reliable quantum simulation of currently intractable aspects of QCD itself, lattice gauge theories also play an important role in condensed matter physics and in quantum information science. In this way, lattice gauge theories provide both motivation and a framework for interdisciplinary research towards the development of special purpose digital and analog quantum simulators, and ultimately of scalable universal quantum computers. In this manuscript, recent results and new tools from a quantum science approach to study lattice gauge theories are reviewed. Two new complementary approaches are discussed: first, tensor network methods are presented – a classical simulation approach – applied to the study of lattice gauge theories together with some results on Abelian and non-Abelian lattice gauge theories. Then, recent proposals for the implementation of lattice gauge theory quantum simulators in different quantum hardware are reported, e.g., trapped ions, Rydberg atoms, and superconducting circuits. Finally, the first proof-of-principle trapped ions experimental quantum simulations of the Schwinger model are reviewed. Graphical abstract
Abstract: Lattice gauge theories, which originated from particle physics in the context of Quantum Chromodynamics (QCD), provide an important intellectual stimulus to further develop quantum information technologies. While one long-term goal is the reliable quantum simulation of currently intractable aspects of QCD itself, lattice gauge theories also play an important role in condensed matter physics and in quantum information science. In this way, lattice gauge theories provide both motivation and a framework for interdisciplinary research towards the development of special purpose digital and analog quantum simulators, and ultimately of scalable universal quantum computers. In this manuscript, recent results and new tools from a quantum science approach to study lattice gauge theories are reviewed. Two new complementary approaches are discussed: first, tensor network methods are presented – a classical simulation approach – applied to the study of lattice gauge theories together with some results on Abelian and non-Abelian lattice gauge theories. Then, recent proposals for the implementation of lattice gauge theory quantum simulators in different quantum hardware are reported, e.g., trapped ions, Rydberg atoms, and superconducting circuits. Finally, the first proof-of-principle trapped ions experimental quantum simulations of the Schwinger model are reviewed. Graphical abstract:
Formulating gauge theories on a lattice offers a genuinely non-perturbative way of studying quantum field theories, and has led to impressive achievements. In particular, it significantly deepened our understanding of quantum chromodynamics. Yet, some very relevant problems remain inherently challenging, such as real time evolution, or the presence of a chemical potential, cases in which Monte Carlo simulations are hindered by a sign problem. In the last few years, a number of possible alternatives have been put forward, based on quantum information ideas, which could potentially open the access to areas of research that have so far eluded more standard methods. They include tensor network calculations, quantum simulations with different physical platforms and quantum computations, and constitute nowadays a vibrant research area. Experts from different fields, including experimental and theoretical high energy physics, condensed matter, and quantum information, are turning their attention to these interdisciplinary possibilities, and driving the progress of the field. The aim of this article is to review the status and perspectives of these new avenues for the exploration of lattice gauge theories.
Abelian and non‐Abelian gauge theories are of central importance in many areas of physics. In condensed matter physics, Abelian U (1) lattice gauge theories arise in the description of certain quantum spin liquids. In quantum information theory, Kitaev's toric code is a lattice gauge theory. In particle physics, Quantum Chromodynamics (QCD), the non‐Abelian gauge theory of the strong interactions between quarks and gluons, is non‐perturbatively regularized on a lattice. Quantum link models extend the concept of lattice gauge theories beyond the Wilson formulation, and are well suited for both digital and analog quantum simulation using ultracold atomic gases in optical lattices. Since quantum simulators do not suffer from the notorious sign problem, they open the door to studies of the real‐time evolution of strongly coupled quantum systems, which are impossible with classical simulation methods. A plethora of interesting lattice gauge theories suggests itself for quantum simulation, which should allow us to address very challenging problems, ranging from confinement and deconfinement, or chiral symmetry breaking and its restoration at finite baryon density, to color superconductivity and the real‐time evolution of heavy‐ion collisions, first in simpler model gauge theories and ultimately in QCD.
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.
Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for Zl LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.