Although the Hamiltonian formalism is, so far, favored for quantum computation of lattice gauge theory, the path integral formalism would never be useless. The advantages of the path integral formalism are the knowledge and experience accumulated by classical lattice simulation and manifest Lorentz invariance. In this article, we will discuss quantum computation of lattice gauge theory in the path integral formalism, utilize a quantum sampling algorithm to generate gauge configurations, and demonstrate a benchmark test of ${Z}_{2}$ lattice gauge theory on a four-dimensional hypercube.
Although the Hamiltonian formalism is, so far, favored for quantum computation of lattice gauge theory, the path integral formalism would never be useless. The advantages of the path integral formalism are the knowledge and experience accumulated by classical lattice simulation and manifest Lorentz invariance. In this article, we will discuss quantum computation of lattice gauge theory in the path integral formalism, utilize a quantum sampling algorithm to generate gauge configurations, and demonstrate a benchmark test of Z2 lattice gauge theory on a four-dimensional hypercube.
Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical-lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.
Abstract Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical-lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.
In these proceedings, we review recent advances in applying quantum computing to lattice field theory. Quantum computing offers the prospect to simulate lattice field theories in parameter regimes that are largely inaccessible with the conventional Monte Carlo approach, such as the sign-problem afflicted regimes of finite baryon density, topological terms, and out-of-equilibrium dynamics. First proof-of-concept quantum computations of lattice gauge theories in (1+1) dimensions have been accomplished, and first resource-efficient quantum algorithms for lattice gauge theories in (1+1) and (2+1) dimensions have been developed. The path towards quantum computations of (3+1)-dimensional lattice gauge theories, including Lattice QCD, requires many incremental steps of improving both quantum hardware and quantum algorithms. After reviewing these requirements and recent advances, we discuss the main challenges and future directions.
In recent years, the quantum computing method has been used to address the sign problem in traditional Monte Carlo lattice gauge theory (LGT) simulations. We propose that the Coulomb gauge (CG) should be used in quantum simulations of LGT. Since the redundant degrees of freedom of gauge fields can be eliminated in CG, the Hamiltonian in CG does not need to be gauge invariant, allowing the gauge field to be discretized naively. Then the discretized gauge fields and fermion fields should be placed on momentum and position lattices, respectively. Under this scheme, the CG condition and Gauss’s law can be conveniently preserved by solving for the polarization vectors from algebraic equations. Furthermore, we discuss the mapping of gauge fields to qubits and evaluate the associated qubit and gate cost of this framework. We point out that this formalism is efficient for simulating hadron scattering processes on future fault-tolerant quantum computers. Finally, we calculate the vacuum expectation value of the U(1) plaquette operator and the Wilson loop on a classical device to test the performance of our discretization scheme.
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.
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.