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.
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.
A recent work considered quantum simulation of Quantum Electrodynamics on a lattice in the Coulomb gauge with gauge degrees of freedom represented in the occupation basis in momentum space. Here we consider the more efficient representation of the gauge degrees of freedom in field basis in position space and develop a quantum algorithm for real-time simulation. We show that the continuum Coulomb gauge Hamiltonian is equivalent to the temporal gauge Hamiltonian when acting on physical states consisting of fermion and transverse gauge fields. The Coulomb gauge Hamiltonian is discretized by using the Green's function of the discrete Laplacian operator under the Dirichlet boundary conditions. Both the continuum Coulomb gauge Hamiltonian and the discretized one proposed here guarantee that the unphysical longitudinal gauge fields are decoupled and commute with the corresponding Hamiltonian. Thus there is no need to impose any constraint. The local gauge field basis and the canonically conjugate variable basis are swapped efficiently using the quantum Fourier transform. We prove that the qubit cost to represent physical states and the gate count for real-time simulation scale polynomially with the lattice size, energy, time, accuracy, and Hamiltonian parameters in lattice units. The gate cost here for implementing the time evolution of the gauge field is reduced at least by a factor on the order of 108 for modest lattice size and accuracy level compared with the previous work.
The development of quantum technology and the advent of quantum computation have renewed interest in Hamiltonian formulations of lattice gauge theories. In contrast to Euclidean Monte Carlo calculations, Hamiltonian simulation requires a direct representation of the physical Hilbert space, an efficient treatment of enforcing Gauss' law as constraints, and a formulation of real-time dynamics in terms of degrees of freedom that can be encoded on quantum or quantum-inspired classical platforms. The starting point corresponds to finding a suitable basis for Hamiltonian lattice gauge theories. The existing literature focuses on several complementary approaches: electric basis, magnetic basis, gauge-fixed, quantum-link, qubit-regularised, finite-group, and orbifold formulations. This article primarily focuses on the prepotential and loop--string--hadron formulations, where non-Abelian Gauss laws are solved locally and the dynamics is written directly in terms of gauge-invariant loop, string and hadron excitations. The discussion covers the SU(2) and SU(3) constructions in one spatial dimension, the role of residual Abelian Gauss laws, and the extension to higher dimensions through point splitting. We conclude by highlighting its direct applications: eliminating redundant gauge degrees of freedom makes exact diagonalisation and tensor network calculations feasible for studying real-time dynamics, provides insights into thermalisation properties, enables mapping of physical degrees of freedom onto analog and digital quantum hardware, and enables quantum simulation of dynamics.
This thesis investigates advances in quantum simulation methods for lattice gauge theories, with a focus on (2+1)-dimensional quantum electrodynamics (QED), which shares important features with (3+1)-dimensional quantum chromodynamics (QCD), such as confinement and asymptotic freedom. Two main projects are developed. The first project investigates the ongoing coupling in a compact pure U(1) gauge theory using a step-scaling function approach. A quantum variational method allows calculations over a wide range of couplings. Plaquette expectation value results are compared with classical Monte Carlo simulations to obtain, in principle, the physical value of the lattice spacing. This method can potentially be extended to the study of QED, which also includes fermionic matter. The second project investigates the static potential between two charges, analyzing the Coulomb, confining, and string-breaking regimes. It involves the development of a tailored variational approach that incorporates system symmetries and mutual information to represent fermionic degrees of freedom. Results from a trapped-ion quantum device agree well with classical simulations, validating the method. Furthermore, this work evaluates superconducting quantum devices, noting issues with noise but also demonstrating improvements in hardware and potential through error limitation. Overall, this work underscores the feasibility of variational quantum algorithms for lattice gauge theory simulations and demonstrates their promise for advancing theoretical physics with quantum computers. This thesis explores advancements in quantum simulation methods for lattice gauge theories, focusing on (2+1)-dimensional Quantum Electrodynamics (QED), which shares key features with (3+1)-dimensional Quantum Chromodynamics (QCD), such as confinement and asymptotic freedom. Two main projects are developed. The first investigates the running coupling in a compact U(1) pure gauge theory using a step scaling function approach. A quantum variational method enables computation across a wide range of couplings. The plaquette expectation value is matched with classical Monte Carlo simulations to obtain, in principle, the physical value of the lattice spacing. This method can be eventually extended to study QED, where fermionic matter is included. The second project examines the static potential between two charges, analyzing Coulomb, confining, and string-breaking regimes. It involves developing a custom variational Ansatz that incorporates system symmetries and mutual information to represent fermionic degrees of freedom. Results from a trapped-ion quantum device align well with exact classical simulations, validating the method. Additionally, the thesis evaluates superconducting devices, identifying noise challenges but noting improvements in hardware and the potential of error mitigation. Overall, this work highlights the viability of variational quantum algorithms for lattice gauge theory simulations and demonstrates their promise for advancing theoretical physics with quantum computing.
Gauge theories establish the standard model of particle physics, and lattice gauge theory (LGT) calculations employing Markov Chain Monte Carlo (MCMC) methods have been pivotal in our understanding of fundamental interactions. The present limitations of MCMC techniques may be overcome by Hamiltonian-based simulations on classical or quantum devices, which further provide the potential to address questions that lay beyond the capabilities of the current approaches. However, for continuous gauge groups, Hamiltonian-based formulations involve infinite-dimensional gauge degrees of freedom that can solely be handled by truncation. Current truncation schemes require dramatically increasing computational resources at small values of the bare couplings, where magnetic field effects become important. Such limitation precludes one from `taking the continuous limit' while working with finite resources. To overcome this limitation, we provide a resource-efficient protocol to simulate LGTs with continuous gauge groups in the Hamiltonian formulation. Our new method allows for calculations at arbitrary values of the bare coupling and lattice spacing. The approach consists of the combination of a Hilbert space truncation with a regularization of the gauge group, which permits an efficient description of the magnetically-dominated regime. We focus here on Abelian gauge theories and use 2+1 dimensional quantum electrodynamics as a benchmark example to demonstrate this efficient framework to achieve the continuum limit in LGTs. This possibility is a key requirement to make quantitative predictions at the field theory level and offers the long-term perspective to utilise quantum simulations to compute physically meaningful quantities in regimes that are precluded to quantum Monte Carlo.
Gauge theories establish the standard model of particle physics, and lattice gauge theory (LGT) calculations employing Markov Chain Monte Carlo (MCMC) methods have been pivotal in our understanding of fundamental interactions. The present limitations of MCMC techniques may be overcome by Hamiltonian-based simulations on classical or quantum devices, which further provide the potential to address questions that lay beyond the capabilities of the current approaches. However, for continuous gauge groups, Hamiltonian-based formulations involve infinite-dimensional gauge degrees of freedom that can solely be handled by truncation. Current truncation schemes require dramatically increasing computational resources at small values of the bare couplings, where magnetic field effects become important. Such limitation precludes one from `taking the continuous limit' while working with finite resources. To overcome this limitation, we provide a resource-efficient protocol to simulate LGTs with continuous gauge groups in the Hamiltonian formulation. Our new method allows for calculations at arbitrary values of the bare coupling and lattice spacing. The approach consists of the combination of a Hilbert space truncation with a regularization of the gauge group, which permits an efficient description of the magnetically-dominated regime. We focus here on Abelian gauge theories and use 2 + 1 dimensional quantum electrodynamics as a benchmark example to demonstrate this efficient framework to achieve the continuum limit in LGTs. This possibility is a key requirement to make quantitative predictions at the field theory level and offers the long-term perspective to utilise quantum simulations to compute physically meaningful quantities in regimes that are precluded to quantum Monte Carlo.
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.