Matching Lagrangian and Hamiltonian Simulations in (2+1)-dimensional U(1) Gauge Theory
C. F. Groß, S. Romiti, L. Funcke, K. Jansen, A. Kan, S. Kühn, C. Urbach
TL;DR
The paper tackles the problem of reconciling Lagrangian (path integral) and Hamiltonian lattice formulations for a compact $U(1)$ gauge theory in $(2+1)$ dimensions by taking the temporal continuum limit using anisotropic lattices and nonperturbatively determining the renormalised anisotropy $\xi_{\mathrm{ren}}$ and Sommer scale $r_0/a_s$. The authors perform extensive Lagrangian MC simulations at multiple anisotropies, extract the static potentials, and match to Hamiltonian data obtained from exact diagonalization on small volumes, carefully controlling finite-volume and truncation effects with multiple analysis strategies (cA and cB). They demonstrate that, after temporal continuum extrapolation, Lagrangian results agree with Hamiltonian results within $<2\sigma$ across the matching points, validating the proposed cross-formulation matching approach. The work provides a practical pathway to leverage the strengths of both formulations and sets the stage for extensions to non-Abelian theories and larger systems, with potential applications in quantum simulation and higher-dimensional lattice gauge theories.
Abstract
At finite lattice spacing, Lagrangian and Hamiltonian predictions differ due to discretization effects. In the Hamiltonian limit, i.e. at vanishing temporal lattice spacing $a_t$, the path integral approach in the Lagrangian formalism reproduces the results of the Hamiltonian theory. In this work, we numerically calculate the Hamiltonian limit of a U$(1)$ gauge theory in $(2+1)$ dimensions. This is achieved by Monte Carlo simulations in the Lagrangian formalism with lattices that are anisotropic in the time direction. For each ensemble, we determine the ratio between the temporal and spatial scale with the static quark potential and extrapolate to $a_t \to 0$. Our results are compared with the data from Hamiltonian simulations at small volumes, showing agreement within $<2σ$. These results can be used to match the two formalisms.
