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

We describe a simple technique for generating a cold-atom lattice pierced by a uniform magnetic field. Our method is to extend a one-dimensional optical lattice into the “dimension” provided by the internal atomic degrees of freedom, yielding a synthetic two-dimensional lattice. Suitable laser coupling between these internal states leads to a uniform magnetic flux within the two-dimensional lattice. We show that this setup reproduces the main features of magnetic lattice systems, such as the fractal Hofstadter-butterfly spectrum and the chiral edge states of the associated Chern insulating phases.

We present a general strategy to simulate a D+1-dimensional quantum system using a D-dimensional one. We analyze in detail a feasible implementation of our scheme using optical lattice technology. The simplest nontrivial realization of a fourth dimension corresponds to the creation of a bi-volume geometry. We also propose single- and many-particle experimental signatures to detect the effects of the extra dimension.

Time-periodic driving like lattice shaking offers a low-demanding method to generate artificial gauge fields in optical lattices. We identify the relevant symmetries that have to be broken by the driving function for that purpose and demonstrate the power of this method by making concrete proposals for its application to two-dimensional lattice systems: We show how to tune frustration and how to create and control band touching points like Dirac cones in the shaken kagome lattice. We propose the realization of a topological and a quantum spin Hall insulator in a shaken spin-dependent hexagonal lattice. We describe how strong artificial magnetic fields can be achieved for example in a square lattice by employing superlattice modulation. Finally, exemplified on a shaken spin-dependent square lattice, we develop a method to create strong non-Abelian gauge fields.

Many phenomena occurring in strongly correlated quantum systems still await conclusive explanations. The absence of isolated free quarks in nature is an example. It is attributed to quark confinement, whose origin is not yet understood. The phase diagram for nuclear matter at general temperatures and densities, studied in heavy-ion collisions, is not settled. Finally, we have no definitive theory of high-temperature superconductivity. Though we have theories that could underlie such physics, we lack the tools to determine the experimental consequences of these theories. Quantum simulators may provide such tools. Here we show how to engineer quantum simulators of non-Abelian lattice gauge theories. The systems we consider have several applications: they can be used to mimic quark confinement or to study dimer and valence-bond states (which may be relevant for high-temperature superconductors).