The postulate of gauge invariance in nature does not lend itself directly to implementations of lattice gauge theories in modern setups of quantum synthetic matter. Unavoidable gauge-breaking errors in such devices require gauge invariance to be enforced for faithful quantum simulation of gauge-theory physics. This poses major experimental challenges, in large part due to the complexity of the gauge-symmetry generators. Here, we show that gauge invariance can be reliably stabilized by employing simplified local pseudogenerators designed such that within the physical sector they act identically to the actual local generator. Dynamically, they give rise to emergent exact gauge theories up to time scales polynomial and even exponential in the protection strength. This obviates the need for implementing often complex multibody full gauge symmetries, thereby further reducing experimental overhead in physical realizations. We showcase our method in the ${\mathbb{Z}}_{2}$ lattice gauge theory, and discuss experimental considerations for its realization in modern ultracold-atom setups.
The postulate of gauge invariance in nature does not lend itself directly to implementations of lattice gauge theories in modern setups of quantum synthetic matter. Unavoidable gauge-breaking errors in such devices require gauge invariance to be enforced for faithful quantum simulation of gauge-theory physics. This poses major experimental challenges, in large part due to the complexity of the gauge-symmetry generators. Here, we show that gauge invariance can be reliably stabilized by employing simplified local pseudogenerators designed such that within the physical sector they act identically to the actual local generator. Dynamically, they give rise to emergent exact gauge theories up to time scales polynomial and even exponential in the protection strength. This obviates the need for implementing often complex multibody full gauge symmetries, thereby further reducing experimental overhead in physical realizations. We showcase our method in the Z2 lattice gauge theory, and discuss experimental considerations for its realization in modern ultracold-atom setups.
With recent progress in quantum simulations of lattice-gauge theories, it is becoming a pressing question how to reliably protect the gauge symmetry that defines such models. Recently, an experimentally feasible gauge-protection scheme has been proposed that is based on the concept of a local pseudogenerator, which is required to act identically to the full gauge-symmetry generator in the target gauge sector, but not necessarily outside of it. The scheme has been analytically and numerically shown to reliably stabilize lattice gauge theories in the presence of perturbative errors on finite-size analog quantum-simulation devices. In this work, through uniform matrix product state calculations, we demonstrate the efficacy of this scheme for nonperturbative errors in analog quantum simulators up to all accessible evolution times in the thermodynamic limit, where it is a priori neither established nor expected that this scheme will succeed. Our results indicate the presence of an emergent gauge symmetry in an adjusted gauge theory even in the thermodynamic limit, which is beyond our analytic predictions. Additionally, we show through quantum circuit model calculations that gauge protection with local pseudogenerators also successfully suppresses gauge violations on finite quantum computers that discretize time through Trotterization. Our results firm up the robustness and feasibility of the local pseudogenerator as a viable tool for enforcing gauge invariance in modern quantum simulators and noisy intermediate-scale quantum devices.
Abstract Protection of gauge invariance in experimental realizations of lattice gauge theories based on energy-penalty schemes has recently stimulated impressive efforts both theoretically and in setups of quantum synthetic matter. A major challenge is the reliability of such schemes in non-abelian gauge theories where local conservation laws do not commute. Here, we show through exact diagonalization (ED) that non-abelian gauge invariance can be reliably controlled using gauge-protection terms that energetically stabilize the target gauge sector in Hilbert space, suppressing gauge violations due to unitary gauge-breaking errors. We present analytic arguments that predict a volume-independent protection strength V, which when sufficiently large leads to the emergence of an adjusted gauge theory with the same local gauge symmetry up to least a timescale ∝ V / V 0 3 . Thereafter, a renormalized gauge theory dominates up to a timescale ∝exp(V/V 0)/V 0 with V 0 a volume-independent energy factor, similar to the case of faulty abelian gauge theories. Moreover, we show for certain experimentally relevant errors that single-body protection terms robustly suppress gauge violations up to all accessible evolution times in ED, and demonstrate that the adjusted gauge theory emerges in this case as well. These single-body protection terms can be readily implemented with fewer engineering requirements than the ideal gauge theory itself in current ultracold-atom setups and noisy intermediate-scale quantum (NISQ) devices.
Quantum simulation is at the heart of the ongoing "second" quantum revolution, with various synthetic quantum matter platforms realizing evermore exotic condensed matter and particle physics phenomena at high levels of precision and control. The implementation of gauge theories on modern quantum simulators is especially appealing due to three main reasons: (i) it offers a new probe of high-energy physics on low-energy tabletop devices, (ii) it allows exploring condensed matter phenomena that are prominent in gauge theories even without a direct connection to high-energy physics, and (iii) it serves as a banner of experimental benchmarking given the plethora of local constraints arising from the gauge symmetry that need to be programmed and controlled. In order to faithfully model gauge-theory phenomena on a quantum simulator, stabilizing the underlying gauge symmetry is essential. In this brief review, we outline recently developed experimentally feasible methods introduced by us that have shown, in numerical and experimental benchmarks, reliable stabilization of quantum-simulator implementations of gauge theories. We explain the mechanism behind these \textit{linear gauge protection} schemes, and illustrate their power in protecting salient features such as gauge invariance, disorder-free localization, quantum many-body scars, and other phenomena of topical interest. We then discuss their application in experiments based on Rydberg atoms, superconducting qubits, and in particular ultracold neutral atoms in optical superlattices. We hope this review will illustrate some facets of the exciting progress in stabilization of gauge symmetry and in gauge-theory quantum simulation in general.
Quantum-simulator hardware promises new insights into problems from particle and nuclear physics.A major challenge is to reproduce gauge invariance, as violations of this quintessential property of lattice gauge theories can have dramatic consequences, e.g., the generation of a photon mass in quantum electrodynamics.Here, we introduce an experimentally friendly method to protect gauge invariance in U(1) lattice gauge theories against coherent errors in a controllable way.Our method employs only single-body energy-penalty terms, thus enabling practical implementations.As we derive analytically, some sets of penalty coefficients render undesired gauge sectors inaccessible by unitary dynamics for exponentially long times.Further, for few-body error terms, we show numerically that this is achieved with resources exhibiting little dependence on system size.These findings constitute an exponential improvement over previously known results from energy-gap protection or perturbative treatments.In our method, the gaugeinvariant subspace is protected by an emergent global symmetry, meaning it can be immediately applied to other symmetries.In our numerical benchmarks for continuous-time and digital quantum simulations, gauge protection holds for all calculated evolution times (up to t > 10 10 /J for continuous time, with J the relevant energy scale).Crucially, our gauge-protection technique is simpler to realize than the associated ideal gauge theory, and can thus be readily implemented in current ultracold-atom analog simulators as well as digital noisy intermediate-scale quantum devices.
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.
Gauge invariance is central to modern physics and underpins quantum simulations of lattice gauge theories (LGTs). Existing quantum simulation approaches employ Gauss's law either to energetically suppress gauge-violating processes in analog platforms or to detect and discard gauge-violating outcomes in digital devices. Here we introduce a third paradigm, in which Gauss's law is used to dynamically generate the gauge theory itself from a substantially simpler Hamiltonian. Starting from a readily programmable three-body XXX model, we employ experimentally efficient single-qubit U(1) gauge symmetry-generator terms that induce the dynamics of a U(1) LGT. We implement this approach using 101 qubits on a 156-qubit IBM quantum processor and observe real-time dynamics in quantitative agreement with the target LGT while reducing the entangling-gate depth per Trotter step by a factor of five compared with a direct implementation. Our results establish gauge protection as a resource for Hamiltonian engineering rather than merely symmetry preservation, opening a scalable resource-efficient route towards digital quantum simulations of increasingly complex gauge theories in higher spatial dimensions.