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.
Although gauge invariance is a postulate in fundamental theories of nature such as quantum electrodynamics, in quantum-simulation implementations of gauge theories it is compromised by experimental imperfections. In a recent paper [Halimeh and Hauke, Phys. Rev. Lett. 125, 030503 (2020)], it has been shown in finite-size spin-
1/2 quantum link lattice gauge theories that upon introducing an energy-penalty term of sufficiently large strength
V, unitary gauge-breaking errors at strength $\ensuremath{\lambda}$ are suppressed $\ensuremath{\propto}{\ensuremath{\lambda}}^{2}/{V}^{2}$ up to all accessible evolution times. Here, we show numerically that this result extends to quantum link models in the thermodynamic limit and with larger spin
S. As we show analytically, the dynamics at short times is described by an adjusted gauge theory up to a timescale that is at earliest ${\ensuremath{\tau}}_{\text{adj}}\ensuremath{\propto}\sqrt{V/{V}_{0}^{3}}$, with
V0 an energy factor. Moreover, our analytics predicts that a renormalized gauge theory dominates at intermediate times up to a timescale ${\ensuremath{\tau}}_{\text{ren}}\ensuremath{\propto}exp(V/{V}_{0})/{V}_{0}$. In both emergent gauge theories,
V is volume independent and scales at worst $\ensuremath{\sim}{S}^{2}$. Furthermore, we numerically demonstrate that robust gauge invariance is also retained through a single-body gauge-protection term, which is experimentally straightforward to implement in ultracold-atom setups and NISQ devices.
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.
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.
Currently, there are intense experimental efforts to realize lattice gauge theories in quantum simulators. Except for specific models, however, practical quantum simulators can never be fine-tuned to perfect local gauge invariance. There is thus a strong need for a rigorous understanding of gauge-invariance violation and how to reliably protect against it. As we show through analytic and numerical evidence, in the presence of a gauge invariance-breaking term the gauge violation accumulates only perturbatively at short times before proliferating only at very long times. This proliferation can be suppressed up to infinite times by energetically penalizing processes that drive the dynamics away from the initial gauge-invariant sector. Our results provide a theoretical basis that highlights a surprising robustness of gauge-theory quantum simulators.
Efficient quantum simulation protocols for any quantum theories demand efficient protection protocols for its underlying symmetries. This task is nontrivial for gauge theories as it involves local symmetry/invariance. For non-Abelian gauge theories, protecting all the symmetries generated by a set of mutually noncommuting generators, is particularly difficult. In this paper, a global symmetry-protection protocol is proposed. Using the novel loop-string-hadron formalism of non-Abelian lattice gauge theory, we numerically demonstrate that all of the local symmetries get protected even for large time by this global symmetry protection scheme. With suitable protection strength, the dynamics of a (
1+1)-dimensional SU(2) lattice gauge theory remains confined in the physical Hilbert space of the theory even in presence of explicit local symmetry violating terms in the Hamiltonian that may occur in both analog and digital simulation schemes as an error. The whole scheme holds for SU(3) gauge theory as well.
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.