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, explaining their usefulness for current NISQ devices even in the 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.
Abstract Quantum simulation of a lattice gauge theory demands imposing on-site constraints. Ideally, the dynamics remain confined within the physical Hilbert space, where all the states satisfy those constraints. For a non-Abelian gauge theory, implementing these local Gauss’ law constraints is non-trivial. The presence of noise in current quantum devices further complicates efforts to confine the theory to the physical Hilbert space. The SU(3) gauge theory, describing the strong interaction of nature contains 8 mutually non-commuting local constraints. An efficient Hamiltonian simulation for the same should preserve all of these simultaneously - which stands as a notoriously difficult task. In this work, we explore two symmetry protection protocols for simulating SU(3) gauge theory in 1+1 dimensions. The first protocol does not require the imposition of any local symmetry but relies on protecting global symmetries, which are Abelian within the preferred choice of framework, namely the loop-string-hadron framework. The second protocol employs a protection scheme that is local, Abelian, and generalizable to higher dimensions. The symmetry protection schemes presented here are important steps towards quantum simulating the full theory of Quantum Chromodynamics.
Quantum error mitigation (QEM) is at the very heart of near-term quantum simulations and lattice gauge theories are no exceptions, rather their physical symmetries provide natural consistency checks on noise quantum states. In this work, we exploit the parity and fermion-number symmetries of a gauge theory, the (1+1)-dimensional Schwinger model, under depolarising noise and investigate symmetry verification under digital quantum simulation. We investigate two set-ups - symmetry- sector post-selection in adiabatic state preparation followed by real-time measurements of the chiral condensate and symmetry verification within a variational quantum eigensolver (VQE). In the first case, post-selection reduces the bias in the chiral condensate consistently removing up to 60% of the quantum noise induced error in our system. Motivated by the observed regularity of the residual bias (in the low-noise regime), we further introduce a global-noise calibration obtained from classically accessible smaller lattices and implemented on larger lattices recovering noiseless chiral condensate values within statistical uncertainty. However, in VQE, symmetry verification does not seem to generally improve the optimised parameters or the fidelity of the prepared states, although it reduces the bias in the estimated ground-state energy. This demonstates that improving a noisy cost-function estimator in variational algorithms does not necessarily improve the outcome of the algorithm. Our results show the strength of symmetry verification in different approaches while establishing that its usefulness critically depends on where it is applied in the computational workflow, and provide practical guidance for symmetry-assisted quantum error mitigation in quantum simulations of lattice gauge theories.
Quantum simulation of lattice gauge theories (LGTs) provides a powerful framework for understanding nonperturbative phenomena. However, to realize the hope of answering challenging physics questions on near-term devices it is crucial to develop resource-efficient formulations, in particular for non-Abelian LGTs and beyond (1+1) dimensions. In this work, we address this issue by focusing on the difficulty of simulating fermionic degrees of freedom and on mitigating the Hilbert space redundancy, i.e., the presence of exponentially many nonphysical states that do not obey gauge invariance. First, we show a procedure that removes the matter and improves the hardware-resource efficiency. We demonstrate it for the simplest non-Abelian group addressable with this procedure, D 8 , in the cases of both one and two spatial dimensions. Then, with the objective of running a variational quantum simulation on real quantum hardware, we map the D 8 LGT onto qudit systems with local interactions. We propose a variational scheme for the qudit system with a local Hamiltonian, which can be implemented on a universal qudit quantum device. Our results show the effectiveness of the matter-removing procedure, solving the redundancy problem, and reducing the amount of quantum resources. This approach can serve as a way of simulating LGTs in high spatial dimensions, with non-Abelian gauge groups, and including dynamical fermions.
Lattice gauge theories provide a first-principles, non-perturbative formulation of the fundamental interactions of the Standard Model, and their Hamiltonian reformulation on a quantum simulator offers a promising route to regimes---real-time dynamics, finite baryon density---that lie beyond the reach of Euclidean Monte Carlo methods. With the ultimate goal of overcoming these shortcomings, over the last decade, quantum simulations of Abelian lattice gauge theories have expanded from the first proofs of principle to the experimental study of confinement and string breaking by pair production. One of the next frontiers lies in the simulation of non-Abelian theories, which are significantly more demanding both in local Hilbert space dimension and in symmetry-protection requirements, and ultimately essential for addressing open problems in high-energy physics. In this thesis, we investigate dihedral non-Abelian lattice gauge theories
DN---whose small order and finite local dimension make
D3 and
D4 natural targets for near-term quantum platforms---as a minimal yet physically rich arena for the study of non-Abelian gauge dynamics. After introducing dihedral groups and the associated lattice gauge theories, we propose a gauge-fixed ladder model that reduces the effective dimensionality while preserving the essential physics. We use it to show that the
D3 theory on a ladder displays a smooth crossover---rather than a sharp phase transition---between electric- and magnetic-dominated regimes, with the nonstabilizerness peaking in the crossover region. Furthermore, we introduce a formulation of the model compatible with the analysis of the Eigenstate Thermalization Hypothesis. We then study string breaking in pure-gauge
DN ladders in the presence of static charges through tensor-network DMRG simulations in the rishon formalism. We show that for odd
N static charges are screened by gluelumps---charge-glueball bound states enabled by the trivial centre of the group---while for even
N a fundamental flux string persists. Turning to the quantum-simulation side, we introduce a dynamical post-selection (DPS) protocol in which the local gauge charges are tested by mid-circuit measurements on auxiliary registers, and we show that gauge protection emerges through a sharp quantum Zeno transition in the spectrum of an associated Liouvillian. We verify the generality of this picture on
Z2,
Z3, and truncated
U(1) gauge groups, identifying an optimal window of measurement frequencies that survives also in the presence of noisy measurements. Finally, we benchmark DPS against an alternative post-processed symmetry verification scheme on a two-plaquette
D3 model designed for state-of-the-art qudit hardware. We find that both protocols significantly improve the reconstructed dynamics, with DPS tracking the exact evolution over longer times. Taken together, the results of this thesis position dihedral gauge theories as a concrete stepping stone from Abelian proofs of principle toward genuinely non-Abelian quantum simulation on near-term devices.
Simulations of field theories on noisy quantum computers must contend with errors introduced by that noise. For gauge theories, a large class of errors violate gauge symmetry, and thus may result in unphysical processes occurring in the simulation. We present a method, applicable to non-Abelian gauge theories, for suppressing coherent gauge drift errors through the repeated application of pseudorandom gauge transformation. In cases where the dominant errors are gauge-violating, we expect this method to be a practical way to improve the accuracy of NISQ-era simulations.
Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for
Zl LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.