Lattice gauge theories are fundamental to such distinct fields as particle physics, condensed matter or quantum information theory. The recent progress in the control of artificial quantum systems already allows for studying Abelian lattice gauge theories in tabletop experiments. However, the realization of non-Abelian models remains challenging. Here, we employ a coherent quantum control scheme to enforce non-Abelian gauge invariance, and discuss this idea in detail for a one-dimensional SU(2) lattice gauge system. We comment on how to extend our scheme to other non-Abelian gauge symmetries and higher spatial dimensions. Because of its wide applicability, the presented coherent control scheme provides a promising route for the quantum simulation of non-Abelian lattice gauge theories.
Lattice gauge theories are fundamental to such distinct fields as particle physics, condensed matter or quantum information theory. The recent progress in the control of artificial quantum systems already allows for studying Abelian lattice gauge theories in tabletop experiments. However, the realization of non-Abelian models remains challenging. Here, we employ a coherent quantum control scheme to enforce non-Abelian gauge invariance, and discuss this idea in detail for a one-dimensional SU(2) lattice gauge system. We comment on how to extend our scheme to other non-Abelian gauge symmetries and higher spatial dimensions. Because of its wide applicability, the presented coherent control scheme provides a promising route for the quantum simulation of non-Abelian lattice gauge theories.
Abstract The design of quantum many body systems, which have to fulfill an extensive number of constraints, appears as a formidable challenge within the field of quantum simulation. Lattice gauge theories are a particular important class of quantum systems with an extensive number of local constraints and play a central role in high energy physics, condensed matter and quantum information. Whereas recent experimental progress points towards the feasibility of large-scale quantum simulation of abelian gauge theories, the quantum simulation of non-abelian gauge theories appears still elusive. In this paper we present minimal non-abelian lattice gauge theories, whereby we introduce the necessary formalism in well-known abelian gauge theories, such as the Jaynes–Cumming model. In particular, we show that certain minimal non-abelian lattice gauge theories can be mapped to three or four level systems, for which the design of a quantum simulator is standard with current technologies. Further we give an upper bound for the Hilbert space dimension of a one dimensional SU(2) lattice gauge theory, and argue that the implementation with current digital quantum computer appears feasible.
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.
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.
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.
Lattice gauge theories are fundamental to various fields, including particle physics, condensed matter, and quantum information theory. Recent progress in the control of quantum systems allows for studying Abelian lattice gauge theories in table-top experiments. However, several challenges remain, such as implementing dynamical fermions in higher spatial dimensions and magnetic field terms. Here, we map U(1) Abelian lattice gauge theories in arbitrary spatial dimensions onto qudit systems with local interactions. We propose a variational quantum simulation scheme for the qudit system with a local Hamiltonian, that can be implemented on a universal qudit quantum device as the one developed in []. We describe how to implement the variational imaginary-time evolution protocol for ground-state preparation as well as the variational real-time evolution protocol to simulate nonequilibrium physics on universal qudit quantum computers, supplemented with numerical simulations. Our proposal can serve as a way of simulating lattice gauge theories, particularly in higher spatial dimensions, with minimal resources, regarding both system sizes and gate count. Published by the American Physical Society 2024
Can high-energy physics be simulated by low-energy, non-relativistic, many-body systems such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure an atomic system to manifest both local gauge invariance and Lorentz invariance. In particular, local gauge invariance can arise either as an effective low-energy symmetry, or as an exact symmetry, following from the conservation laws in atomic interactions. Hence, one could hope that such quantum simulators may lead to a new type of (table-top) experiments which will be used to study various QCD (quantum chromodynamics) phenomena, such as the confinement of dynamical quarks, phase transitions and other effects, which are inaccessible using the currently known computational methods. In this report, we review the Hamiltonian formulation of lattice gauge theories, and then describe our recent progress in constructing the quantum simulation of Abelian and non-Abelian lattice gauge theories in 1 + 1 and 2 + 1 dimensions using ultracold atoms in optical lattices.