We introduce a method for quantum simulation of U(1) lattice gauge theories coupled to matter, utilizing alkaline-earth(-like) atoms in state-dependent optical lattices.The proposal enables the study of both gauge and fermionic matter fields without integrating out one of them in one and two dimensions.We focus on a realistic and robust implementation that utilizes the long-lived metastable clock state available in alkaline-earth(-like) atomic species.Starting from an ab initio modeling of the experimental setting, we systematically carry out a derivation of the target U(1) gauge theory.This approach allows us to identify and address conceptual and practical challenges for the implementation of lattice gauge theories that-while pivotal for a successful implementation-have never been rigorously addressed in the literature: those include the specific engineering of lattice potentials to achieve the desired structure of Wannier functions and the subtleties involved in realizing the proper separation of energy scales to enable gauge-invariant dynamics.We discuss realistic experiments that can be carried out within such a platform using the fermionic isotope 173 Yb, addressing via simulations all key sources of imperfections, and provide concrete parameter estimates for relevant energy scales in both one-and two-dimensional settings.
Recent advancements in the field of quantum simulation have significantly expanded the potential for applications, particularly in the context of lattice gauge theories (LGTs). Maintaining gauge invariance throughout a simulation remains a central challenge, especially for large-scale non-Abelian LGTs with dynamical matter, which are particularly complex in terms of engineering for experiments. Gauge-symmetry breaking is inevitable in established rishon-based schemes for alkaline-earth-like atoms (AELAs) and controlling the magnitude of its effect is an open challenge. Here we first construct a minimal model to quantum simulate non-Abelian LGTs ensuring that the gauge constraints are met and explicitly derive their unambiguous non-Abelian nature. Second, we present a proposal for a gauge protection scheme using native interactions in AELAs enabling the simulation of toy models of non-Abelian U ( 2 ) LGTs with dynamical fermionic matter in ( 2 + 1 ) dimensions on large scales. Due to the simplicity of the gauge protection mechanism, based on a Zeeman shift in combination with superexchange interactions, our scheme can be naturally included in other rishon-based quantum simulation protocols. Third, we extend our approach to a fully scalable, hybrid digital-analog simulator for U ( N ) LGTs based on Rydberg AELA with variable rishon number. The proposed general mechanism for gauge protection provides a promising path towards the simulation of non-Abelian LGTs relevant to particle physics.
Quantum simulations of high-energy physics, and especially of gauge theories, is an emerging and exciting direction in quantum simulations. However, simulations of such theories, compared to simulations of condensed matter physics, must satisfy extra restrictions, such as local gauge invariance and relativistic structure. In this paper we discuss these special requirements, and present a method for quantum simulation of lattice gauge theories using ultracold atoms. This method allows us to include local gauge invariance as a fundamental symmetry of the atomic Hamiltonian, arising from natural atomic interactions and conservation laws (and not as a property of a low-energy sector). This allows us to implement elementary gauge invariant interactions for three lattice gauge theories: U(1) (compact QED),
ZN and SU
(N) (Yang-Mills), which can be used to build quantum simulators in
1+1 dimensions. We also present a loop method, which uses the elementary interactions as building blocks in the effective construction of quantum simulations for
d+1 dimensional lattice gauge theories (
d>1), but unlike in previous proposals, here gauge invariance and Gauss's law are natural symmetries, which do not have to be imposed as a constraint. We discuss in detail the quantum simulation of
2+1 dimensional compact QED and provide a numerical proof of principle. The simplicity of the already gauge-invariant elementary interactions of this model suggests it may be useful for future experimental realizations.
A central requirement for the faithful implementation of large-scale lattice gauge theories (LGTs) on quantum simulators is the protection of the underlying gauge symmetry. Recent advancements in the experimental realizations of large-scale LGTs have been impressive, albeit mostly restricted to Abelian gauge groups. Guided by this requirement for gauge protection, we propose an experimentally feasible approach to implement large-scale non-Abelian SU ( N ) and U ( N ) LGTs with dynamical matter in d + 1 D , enabled by two-body spin-exchange interactions realizing local emergent gauge-symmetry stabilizer terms. We present two concrete proposals for 2 + 1 D SU ( 2 ) and U ( 2 ) LGTs, including dynamical bosonic matter and induced plaquette terms, that can be readily implemented in current ultracold-molecule and next-generation ultracold-atom platforms. We provide numerical benchmarks showcasing experimentally accessible dynamics, and demonstrate the stability of the underlying non-Abelian gauge invariance. We develop a method to obtain the effective gauge-invariant model featuring the relevant magnetic plaquette and minimal gauge-matter coupling terms. Our approach paves the way towards near-term realizations of large-scale non-Abelian quantum link models in analog quantum simulators. Published by the American Physical Society 2024
Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical-lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.
Abstract Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical-lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.