Tensor network states, and in particular projected entangled pair states (PEPS), suggest an innovative approach for the study of lattice gauge theories, both from a pure theoretic point of view, and as a tool for the analysis of the recent proposals for quantum simulations of lattice gauge theories.In this paper we present a framework for describing locally gauge invariant states on lattices using PEPS.The PEPS constructed hereby shall include both bosonic and fermionic states, suitable for all combinations of matter and gauge fields in lattice gauge theories defined by either finite or compact Lie groups.
Lattice gauge theories (LGTs) provide a powerful framework for studying non-perturbative phenomena in gauge theories. However, conventional approaches such as Monte Carlo (MC) simulations in imaginary time are limited, as they do not allow real time evolution and suffer from a sign problem in many important cases. Using Gauged Gaussian fermionic projected entangled pair states (GGFPEPS) as a variational ground state ansatz offers an alternative for studying LGTs through a sign-problem-free variational MC. As this method is extended to larger and more complex systems, understanding its numerical behavior becomes essential. While conventional action based MC has been extensively studied, the performance and characteristics of non-action-based MC within the GGFPEPS framework are far less explored. In this work, we investigate these algorithmic aspects, identifying an optimal update size for GGFPEPS-based MC simulations for
Z2 in
2+1 dimensions. We show that gauge fixing generally slows convergence, and demonstrate that not exploiting the translation-invariance can, in some cases, improve the computational time scaling of error convergence. We expect that these improvements will allow advancing the simulation to larger and more complex systems.
We show that two different tensors defining the same translational invariant injective projected entangled pair state (PEPS) in a square lattice must be the same up to a trivial gauge freedom. This allows us to characterize the existence of any local or spatial symmetry in the state. As an application of these results we prove that a SU(2) invariant PEPS with half-integer spin cannot be injective, which can be seen as a Lieb–Shultz–Mattis theorem in this context. We also give the natural generalization for U(1) symmetry in the spirit of Oshikawa–Yamanaka–Affleck, and show that a PEPS with Wilson loops cannot be injective.