-
Symmetry verification for noisy quantum simulations of non-Abelian lattice gauge theories
Authors:
Edoardo Ballini,
Julius Mildenberger,
Matteo M. Wauters,
Philipp Hauke
Abstract:
Non-Abelian gauge theories underlie our understanding of fundamental forces of modern physics. Simulating them on quantum hardware is an outstanding challenge in the rapidly evolving field of quantum simulation. A key prerequisite is the protection of local gauge symmetries against errors that, if unchecked, would lead to unphysical results. While an extensive toolkit devoted to identifying, mitig…
▽ More
Non-Abelian gauge theories underlie our understanding of fundamental forces of modern physics. Simulating them on quantum hardware is an outstanding challenge in the rapidly evolving field of quantum simulation. A key prerequisite is the protection of local gauge symmetries against errors that, if unchecked, would lead to unphysical results. While an extensive toolkit devoted to identifying, mitigating, and ultimately correcting such errors has been developed for Abelian groups, non-commuting symmetry operators complicate the implementation of similar schemes in non-Abelian theories. Here, we discuss two techniques for error mitigation through symmetry verification, tailored for non-Abelian lattice gauge theories implemented in noisy qudit hardware: dynamical post-selection (DPS), based on mid-circuit measurements without active feedback, and post-processed symmetry verification (PSV), which combines measurements of correlations between target observables and gauge transformations. We illustrate both approaches for the discrete non-Abelian group $D_3$ in 2+1 dimensions, illustrating their usefulness for current NISQ devices even in presence of fast fluctuating noise. Our results open new avenues for robust quantum simulation of non-Abelian gauge theories, for further development of error-mitigation techniques, and for measurement-based control methods in qudit platforms.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Probing confinement in a $\mathbb{Z}_2$ lattice gauge theory on a quantum computer
Authors:
Julius Mildenberger,
Wojciech Mruczkiewicz,
Jad C. Halimeh,
Zhang Jiang,
Philipp Hauke
Abstract:
Digital quantum simulators provide a table-top platform for addressing salient questions in particle and condensed-matter physics. A particularly rewarding target is given by lattice gauge theories (LGTs). Their constituents, e.g., charged matter and the electric gauge field, are governed by local gauge constraints, which are highly challenging to engineer and which lead to intriguing yet not full…
▽ More
Digital quantum simulators provide a table-top platform for addressing salient questions in particle and condensed-matter physics. A particularly rewarding target is given by lattice gauge theories (LGTs). Their constituents, e.g., charged matter and the electric gauge field, are governed by local gauge constraints, which are highly challenging to engineer and which lead to intriguing yet not fully understood features such as confinement of particles. Here, we simulate confinement dynamics in a $\mathbb{Z}_2$ LGT on a superconducting quantum chip. We synthesize the charge--gauge-field interaction using only 6 native two-qubit gates, enabling us to reach simulation times of up to 25 Trotter steps. We observe how tuning a term that couples only to the electric field confines the charges, a manifestation of the tight bond that the local gauge constraint generates between both. Moreover, we study a different mechanism, where a modification of the gauge constraint from a $\mathbb{Z}_2$ to a $\mathrm{U}(1)$ symmetry freezes the system dynamics. Our work showcases the dramatic restriction that the underlying gauge constraint imposes on the dynamics of an LGT, it illustrates how gauge constraints can be modified and protected, and it paves the way for studying other models governed by many-body interactions.
△ Less
Submitted 28 August, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Suppressing nonperturbative gauge errors in the thermodynamic limit using local pseudogenerators
Authors:
Maarten Van Damme,
Julius Mildenberger,
Fabian Grusdt,
Philipp Hauke,
Jad C. Halimeh
Abstract:
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. In a recent work [J. C. Halimeh \textit{et al.}, arXiv:2108.02203], an experimentally feasible gauge-protection scheme has been proposed that is based on the concept of a \textit{local pseudogenerator}, which is required to a…
▽ More
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. In a recent work [J. C. Halimeh \textit{et al.}, arXiv:2108.02203], an experimentally feasible gauge-protection scheme has been proposed that is based on the concept of a \textit{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 \textit{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 NISQ devices.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Gauge-Symmetry Protection Using Single-Body Terms
Authors:
Jad C. Halimeh,
Haifeng Lang,
Julius Mildenberger,
Zhang Jiang,
Philipp Hauke
Abstract:
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…
▽ More
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 $\mathrm{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, and, for few-body error terms, with resources independent of system size. These findings constitute an exponential improvement over previously known results from energy-gap protection or perturbative treatments. In our method, the gauge-invariant 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 (NISQ) devices.
△ Less
Submitted 11 August, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
