Tensor Networks for Lattice Gauge Theories beyond one dimension:
a Roadmap

Abstract

Tensor network methods are a class of numerical tools and algorithms to study many-body quantum systems in and out of equilibrium, based on tailored variational wave functions. They have found significant applications in simulating lattice gauge theories approaching relevant problems in high-energy physics. Compared to Monte Carlo methods, they do not suffer from the sign problem, allowing them to explore challenging regimes such as finite chemical potentials and real-time dynamics. Further development is required to tackle fundamental challenges, such as accessing continuum limits or computations of large-scale quantum chromodynamics. In this work, we review the state-of-the-art of Tensor Network methods and discuss a possible roadmap for algorithmic development and strategies to enhance their capabilities and extend their applicability to open high-energy problems. We provide tailored estimates of the theoretical and computational resource scaling for attacking large-scale lattice gauge theories.

Gauge theories play a role of paramount importance in our understanding and description of the fundamental constituents of matter, their spectrum, and their interactions. At low energies, gauge theories characterize a large variety of collective phases of matter and phenomena, such as ferromagnetic superconductivity, spin liquids, topological order, and the fractional quantum Hall effect [1, 2, 3]. At high energies, as elegantly summarised in the Standard Model of particle physics, they are at the heart of the microscopical description of the building blocks of our universe, i.e. quarks, leptons and their interactions mediated by gauge bosons [4, 5].

A powerful approach to studying and simulating gauge theories in nonperturbative regimes lies in Lattice Gauge Theories (LGTs), in which the matter and the gauge degrees of freedom are discretized and regularized on a finite lattice. LGTs were originally introduced by Wilson to encode Quantum Chromodynamics (QCD) on a lattice, as a model for quark confinement beyond the perturbative regime [6, 7]. In LGTs, matter and antimatter fermionic fields are defined on lattice sites, whereas the gauge fields live on the links connecting nearest-neighbor sites. This approach has opened the doors to the application of powerful numerical methods, such as Monte Carlo (MC), to the simulations of LGTs on classical computers [8]. In the last decades, MC methods have provided a wide variety of significant results on LGTs in the context of high-energy physics, such as phases diagrams at equilibrium, characterization of the quark-gluon plasma, precise determination of the masses of quarks, mesons, and baryons, hadronic and nucleon form factors, hadronic spectra, and predictions for dark-matter models [9]. Furthermore, MC simulations of LGTs currently represent a powerful numerical tool to predict and interpret data from multiple large-scale high-energy experiments, such as the ones performed at the Large Hadron Collider (LHC).

Despite their impressive success, MC sampling methods are limited in some regimes of parameters of LGTs, such as in the presence of finite baryon chemical potentials, topological $\theta$-terms, or for simulating out-of-equilibrium dynamics in real-time. In these cases, the notorious sign problems make the MC numerical approach ineffective and inaccurate [10].

Ranging from these problems, sign-problem-free methods based on Tensor Networks (TNs) have found significant applications in the simulations of LGTs in the last years [11]. TNs were originally introduced as a class of variational wave functions in the field of quantum many-body physics. They provide a compressed representation of physical states based on their entanglement content, capable of efficiently reproducing equilibrium properties, such as phase diagrams, and real-time dynamics of interacting quantum systems [12, 13, 14]. Nowadays, they represent one of the state-of-the-art numerical tools for simulating quantum many-body systems, even with strong correlations.

In the context of high-energy physics, TN methods have proven noteworthy achievements in simulating LTGs in (1+1) dimensions, for both Abelian and non-Abelian gauge groups [15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43]. They have recently found applications to Abelian LGTs up to (3+1) dimensions [44, 45, 46, 47, 48, 49], and also in simulating (2+1)-dimensional non-Abelian SU(2) models [50]. Despite their effectiveness in these first important applications, further and intensive developments are still required to tackle, with TN methods, high-energy physics problems at the center of current research efforts, such as large-scale non-Abelian LGTs and their continuum limits.

In this work, we present a general overview of TN methods for LGTs, and we discuss a possible roadmap in terms of algorithmic development and strategies to improve TN capabilities, toward the ambitious long-term goal of applying TNs to (3+1)-dimensional QCD.

Importantly, TN methods share a common language with quantum computers and simulators. Thus, these developments could also be relevant for encoding, validating, and benchmarking the current and future quantum computations and simulations of LGTs on experimental quantum hardware [51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61].

The paper is organized into sections as follows. In Sec. I, we give a general overview of TN methods, particularly the computational complexity of the most used algorithms for ground state computations and real-time dynamics. In Sec. II, we introduce the main concepts related to LGTs and the main strategies for simulating them with TN methods. In Sec. III, we present a possible roadmap of algorithmic development and optimization strategies crucial for making the TN approach competitive as a complementary method to MC techniques for simulating challenging LGT models. In Sec. IV, we draw our conclusions.

I Tensor Networks Overview

Figure 1: Examples of tensor network structures: (a) Matrix Product States (MPS); (b) Projected Entangled Pair States (PEPS); (c) Tree Tensor Networks (TTN) for an underlying one-dimensional system; (d) TTN for an underlying two-dimensional square lattice. The physical links with local dimension $d$ and the virtual links with bond dimension $\chi$ are highlighted in all the figures.

In this section, we present a general overview of TN methods with a particular focus on Tree Tensor Networks (TTNs), the latter being particularly useful for LTGs in higher dimensions [44, 46, 50]. However, this work’s main concepts and ideas can be easily generalized and applied to other TN structures.

Consider a quantum many-body (QMB) system defined on a lattice of $N$ sites. The generic site $j$ is described by a $d$-dimensional local Hilbert space $\mathcal{H}_{j}$, spanned by a local basis of vectors ${\ket{i}}_{1\leq i\leq d}$. The quantum states of the whole system live on the total Hilbert space $\mathcal{H}=\mathcal{H}_{1}\otimes\mathcal{H}_{2}\otimes\dots\otimes\mathcal{H}_{N}$, that is the tensor product of the local Hilbert space of the lattice sites, with dimension $d^{N}$. Then, any pure state of the system $\ket{\psi}$ can be exactly expanded in terms of a complete basis set of $\mathcal{H}$:

$$\ket{\psi}=\sum_{i_{1},i_{2},\dots,i_{N}=1}^{d}c_{i_{1},i_{2},...,i_{N}}\ket{i_{1},i_{2},...,i_{N}}\,,$$ (1)

where $\ket{i_{1},i_{2},...,i_{N}}$ represents the tensor product of the local basis vectors, i.e. $\ket{i_{1}}\otimes\ket{i_{2}}\otimes\ket{...}\otimes\ket{i_{N}}$. The coefficients of the linear combination $c_{i_{1},i_{2},...,i_{N}}$ are in general complex scalars; their number scales as $d^{N}$, i.e. they scale exponentially with the system size $N$.

This is a fundamental limitation when solving a QMB problem on a classical computer since an exponential scaling with the number of degrees of freedom implies that the exact representation described in Eq. 1 is completely unfeasible from a computational and numerical point of view.

Nonetheless, a great variety of natural QMB systems happens to be described by ground and thermal equilibrium states that own little-to-moderate entanglement content. The physical states of these systems, instead of exploring the exponentially large dimension of the Hilbert space, live in a small corner of it, which can be efficiently targeted and parameterized. This property is formally described by the entanglement area law, fulfilled by low-energy states of local Hamiltonians [62]: the entanglement between a partition of the system and the rest is proportional to the area of the boundary between them, instead of its volume, as happens for the majority of states in the Hilbert space. Thus, obeying area law implies that the state contains much fewer quantum correlations than expected for a generic (or random) QMB state. Small corrections to the area law exist for instance close to a transition point for one-dimensional quantum systems (logarithmic corrections). However, the entanglement remains overall moderate [63]. From a theoretical point of view, the entanglement area law has been rigorously proven for (i) one-dimensional gapped local Hamiltonians, where the locality means that a lattice site interacts only with neighboring sites, without two-body all-to-all interactions [64, 65, 66]; (ii) for quantum states at thermal equilibrium, independently from the dimensionality of the system [67]. Even though rigorous proof for QMB systems in higher dimensions is lacking, several numerical and phenomenological shreds of evidence suggest that area law still holds in the presence of local interactions [68, 69, 62, 70, 71].

The area law has important implications on the TN simulation of quantum lattice models: indeed, it is possible to obtain an approximate but efficient representation capable of describing the main properties of these states if the entanglement content is low-to-moderate [62]; the condition applies for example to ground-states and first excited states of local Hamiltonians. TNs give a natural language for this representation, by replacing the complete tensor of rank-$N$ $c_{i_{1},i_{2},...,i_{N}}$ of Eq. 1 with a chain of smaller tensors interconnected using auxiliary bond indices. The network keeps a number $N$ of physical indices of dimension $d$ (one for each lattice site), whereas the dimension of the bond indices (called bond dimension) is a control parameter $\chi$ that can be tuned in the numerical simulations and is related to the Schmidt decomposition [72, 18].

The key advantage of passing from the exact representation of Eq. 1 to a TN representation is that the number of parameters in the TN is of the order $O(\mathrm{poly}(d)\mathrm{poly}(N)\mathrm{poly}(\chi))$, e.g., $O(N\chi\max(\chi,d)^{2})$ for the TTN. The scaling with the system size is now polynomial and not exponential. In this way, we obtain an efficient representation of the quantum state in terms of computational complexity. It is worth noting that the bond dimension $\chi$ determines the degree of entanglement and quantum correlations encoded in the TN, e.g. for $\chi{=}1$ the TN describes a product state (no entanglement), whereas one recovers the exact but inefficient representation in the limit $\chi{\lesssim}d^{N}$. Tuning $\chi$ properly allows interpolating between these two extreme regimes, efficiently reproducing the entanglement of the quantum state.

The most widely used TN architectures are represented in Fig. 1. Matrix product states (MPS) are an established ansatz for one-dimensional systems, in which the structure of the lattice is reproduced with a network of tensors, one for each lattice site [73]. As shown in Fig. 1(a), each tensor in the bulk of the network has three indices: one physical leg of dimension $d$ representing the local degrees of freedom, and two virtual legs of dimension $\chi$ connected to the neighboring sites. In open boundary conditions, the tensors at the boundaries have one trivial leg together with one physical and one virtual leg. MPS intrinsically satisfies area law and allows for efficient computation of scalar products between two states and physical observables. Currently, the MPS-based Density Matrix Renormalization Group (DMRG) stands as one of the most consolidated and accurate techniques for numerical simulations of one-dimensional QMB systems as well as quasi-one-dimensional systems such as ladder structures [74]. The computational complexity of this ground state searching algorithm for MPS is of the order $O(Nd\chi^{3}+Nd^{2}\chi^{2})$ or $O(Nd^{3}\chi^{3})$, depending if the algorithm optimizes a single MPS tensor at a time, or two-tensors simultaneously [74, 75, 76]. Two-site optimization is usually important to avoid getting stuck in local minima or meta-stable configurations during the energy variational minimization [77]. The subspace expansion is an intermediate approach with the benefits of the two-tensor update and a tunable computational cost in between the two approaches [18].

The generalization of the MPS ansatz to two- or higher-dimensional lattices is represented by Projected Entangled Pair State (PEPS) [72]. In this case, each tensor in the bulk has a physical leg of dimension $d$, and a number of $\chi$-dimensional virtual legs depending on the coordination number of the considered lattice. For example, this coordination number is four in the case of a two-dimensional square lattice, as shown in Fig. 1(b). PEPS directly encode in their structure the area law of entanglement, however, their exact contraction is an exponentially hard problem, meaning that PEPS can not be efficiently contracted for numerical computing, e.g. scalar products of states or physical observables [78]. To circumvent this problem, approximate contraction methods have been developed during the last years, and are still at the center of current research efforts [72]. But even with exploiting these approximate techniques, the computational complexity for ground state optimization remains quite high, e.g. of the order of $O(Nd^{2}\chi^{8})$ [79, 80], limiting the maximum reachable bond dimensions (typical values are of the order $\chi\approx 10$).

Another important family of TN ansätze is represented by Tree Tensor Networks (TTN), in which the wave function is decomposed into a hierarchical network of tensors that do not contain internal loops [81, 18]. This way, the network can be efficiently contracted and manipulated in polynomial time. A particular class of TTN is represented by binary tree tensor networks, reported in Fig. 1(c)-(d) for one- and two-dimensional lattices. In these structures, tensors in the lowest layer have two physical legs of dimension $d$ (representing two lattice sites) and a virtual leg of dimension $\chi$, whereas, in the upper layers, they have three virtual legs of dimensions up to $\chi$. The network intrinsically encodes a renormalization procedure, in which, at each layer, two sites are mapped into a single effective one. In finite-range models, ground searching algorithms for binary TTN architectures display a numerical complexity of the order $O(Nd^{2}\chi^{2}+N\chi^{4})$, see [18, 76]. This is a much more favorable scaling concerning equivalent algorithms for other TN structures, such as PEPS, that allows reaching quite large values of bond dimensions ($\chi\approx 500$) [82]. The drawback of loopless structures, such as binary TTN, is that the area law may not be explicitly reproduced in dimensions higher than one [83], which becomes a limiting factor when large systems are addressed. The convergence and the precision of the numerical results obtained via a variational optimization of TTN can be analyzed and kept under control, e.g. by exploiting the large range of available bond dimensions. Furthermore, it is possible to explicitly encode the area law of high dimensional systems in the TTN ansatz by introducing an additional layer of independent disentanglers, acting on different couples of lattice sites and connected to the corresponding physical legs. This process augments the expressive power of TTN, and the resulting ansatz is known as augmented Tree Tensor Network (aTTN) [84]. The computational complexity of variationally optimizing an aTTN structure, which means optimizing both the tensors and the disentanglers, is of the order $O(N\chi^{4}d^{4}+N\chi d^{7})$. We point out that the scaling of the computational costs with the local dimension $d$ is particularly severe in the case of aTTN due to the presence of the disentanglers layer.

Besides variational optimization for ground state searching, the previous TN families can also be exploited to simulate the real-time dynamics of local Hamiltonians via at least four methods [85]. One of the most widely used approaches, the Time Evolved Block Decimation (TEBD) algorithm, is based on a Suzuki-Trotter decomposition of the time evolution exponential [86]. The total evolution time is discretized in small time steps. The corresponding evolution operator is computed as products of local terms, such as two-body operators, and repeatedly applied to the TN wave function to generate the time-evolved state. Each application can determine an increase in the bond dimension of the network, so an optimized truncation is needed to maintain an efficient and manageable description of the quantum state. This truncation reduces the bond dimension back to $\chi$ and is performed through a singular value decomposition that minimizes the distance between the evolved and the truncated state. In general, the TEBD method allows the simulation of the real-time dynamics for nearest-neighbor or finite-range Hamiltonians; one time-step with an MPS for a one-dimensional system with local interactions comes with a computational cost that is below a two-tensor sweep for the ground-state search algorithm.

Another method for simulating the evolution of quantum states via TN is the Time-Dependent Variational Principle (TDVP), which does not rely on the Suzuki-Trotter decomposition [87, 88]. In general, TDVP constrains the time evolution to the specific TN manifold considered, such as MPS or TTN, of a given initial bond dimension [89]. This is obtained by projecting the action of the Hamiltonian into the tangent space of the TN manifold and then solving the time-dependent Schrödinger equation within this manifold. This approach automatically preserves the energy and the norm of the quantum states during the time evolution. The TDVP algorithm and the variational ground state search rely both on a set of Krylov vectors and therefore have the same computational scaling for one time step compared to one sweep.

These algorithms represent important and efficient tools for simulating with TN the real-time dynamics of QMB systems. While equilibrium states satisfy the aforementioned area law, out-of-equilibrium time evolution can generate a linear growth of entanglement. In this case, the time-evolved state requires an exponential growth of the bond dimension as a function of the total time [90]. For this reason, TN methods are currently limited to studying the dynamics for low-to-moderate times, or close-to-equilibrium phenomena [91]. In this framework, further developments are extremely important to avoid or at least mitigate this barrier, by devising new algorithms or optimizing existing strategies [92, 93].

II Tensor Networks for Hamiltonian Lattice Gauge Theories

In the traditional MC approach to LGT, the action of a continuum gauge theory is regularized by working on a finite and discrete Euclidean spacetime — i.e., both space and (imaginary) time are discretized [8]. Instead, TN (and quantum) simulations typically rely on the Hamiltonian formalism, where time remains a real, continuous variable while $D$-dimensional space is replaced by a cubic lattice $\Lambda$. Simultaneously, Hamiltonian LGTs present features that distinguish them from other lattice models commonly simulated via TN [7]. We now discuss these properties in more detail and outline the main steps that have to be taken to exploit TN algorithms in LGT. We focus on matter-coupled LGTs of the Yang-Mills type, such as those routinely employed in high-energy physics to describe nature’s fundamental interactions; the paradigmatic example is lattice QCD, the SU(3) LGT describing quarks, gluons and their strong interactions.

II.1 LGT building blocks

Figure 2: Graphical representation of the degrees of freedom of a 2D LGT: fermionic matter fields $\hat{\psi}_{\mathbf{x,\alpha}}^{\vphantom{dagger}}$, defined on lattice sites, and gauge fields (the parallel transporter, $\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta}$, and the chromo-electric fields, $\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}$ and $\hat{R}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}$), living on lattice links. A local gauge transformation at $\mathbf{x}$ acts on a matter site and all its attached links.

As depicted in Fig. 2, LGTs involve two types of degrees of degrees of freedom, matter and gauge, hosted respectively on lattice sites $\mathbf{x}\in\Lambda$ and links ($\mathbf{x},{\bf\it\mu}$), where ${\bf\it\mu}$ denotes one of the lattice basis vectors.

Matter fields — such as the electron or quark fields. As for these examples, we assume matter consists of Dirac fermions and employ staggered fermions [94] to tame the fermion doubling problem, i.e., the proliferation of propagating fermionic degrees of freedom on the lattice. Then, matter is represented by a multiplet $\hat{\psi}_{\mathbf{x,\alpha}}^{\vphantom{dagger}}$ of anti-commuting fields, $\{\hat{\psi}_{\mathbf{x,\alpha}}^{\vphantom{dagger}},\hat{\psi}_{\mathbf{y,\beta}}^{\dagger\,}\}=\delta_{\alpha\beta}\delta_{\mathbf{xy}}$. Assuming a single matter flavor in the fundamental representation of the gauge group $\mathcal{G}$, gauge transformations are generated by $Q^{\nu}_{\mathbf{x}}=\sum_{\alpha,\beta}\hat{\psi}_{\mathbf{x,\alpha}}^{\dagger\,}\lambda^{\nu}_{\alpha\beta}\hat{\psi}_{\mathbf{x,\beta}}^{\vphantom{dagger}}$, where $\{\lambda^{\nu}\}_{\nu=1}^{\dim\mathcal{G}}$ are the hermitian generators of $\mathcal{G}$ — e.g., the electric charge for U(1) or the three spin matrices for SU(2). The generalization to multiple matter flavors is straightforward.

Gauge fields — such as the photon or gluon fields. They are represented by bosonic operators, namely the parallel transporter $\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta}$ and the generators of its left and right gauge transformations, $\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}$ and $\hat{R}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}$,

$$\commutator*{\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}missing}{\hat{U}_{\mathbf{y,{\bf\it\mu^{\smash{\prime}}}}}^{\vphantom{dagger}\alpha\beta}missing} =-\delta_{\mathbf{xy}}\delta_{{\bf\it\mu\mu^{\smash{\prime}}}}\sum\nolimits_{\gamma}\lambda^{\nu}_{\alpha\gamma}\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\gamma\beta}\,,$$ (2a)

$$\commutator*{\hat{R}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}missing}{\hat{U}_{\mathbf{y,{\bf\it\mu^{\smash{\prime}}}}}^{\vphantom{dagger}\alpha\beta}missing} =+\delta_{\mathbf{xy}}\delta_{{\bf\it\mu\mu^{\smash{\prime}}}}\sum\nolimits_{\gamma}\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\gamma}\lambda^{\nu}_{\gamma\beta}\,;$$ (2b)

In the Abelian $\mathrm{U}(1)$ case there is only one generator: the electric field, $\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}\mathop{=}\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}\mathop{=}\hat{R}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}$, for which parallel transporters act as raising operators, $\commutator*{\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}missing}{\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}}\mathop{=}\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}$.

In terms of the above ingredients, a possible discretization of a matter coupled Yang-Mills theory is defined by the Kogut-Susskind Hamiltonian [7]

$$H_{\rm LGT}= -\frac{c\hbar}{2a}\sum_{\mathbf{x},{\bf\it\mu}}\sum_{\alpha,\beta}\quantity(s_{\mathbf{x},{\bf\it\mu}}\hat{\psi}_{\mathbf{x,\alpha}}^{\dagger\,}\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta}\hat{\psi}_{\mathbf{x+{\bf\it\mu},\beta}}^{\vphantom{dagger}}+\text{h.c.})$$

$$+mc^{2}\sum_{\mathbf{x}}\sum_{\alpha}s_{\mathbf{x}}\hat{\psi}_{\mathbf{x,\alpha}}^{\dagger\,}\hat{\psi}_{\mathbf{x,\alpha}}^{\vphantom{dagger}}$$

$$+\frac{c\hbar g^{2}}{2a^{D-2}}\sum_{\mathbf{x},{\bf\it\mu}}\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}$$

$$-\frac{c\hbar}{2g^{2}a^{4-D}}\sum_{\square}\mathrm{Tr}(\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}+\hat{U}_{\mathbf{\square}}^{\dagger\,})\,,$$ (3)

where $c$ is the speed of light, $\hbar$ is the Plank constant, $a$ is the lattice spacing, $g$ is the gauge coupling, and $m$ is the mass parameter. The first $H_{\rm LGT}$ term describes matter hop** between neighboring lattice sites, mediated by the gauge field; the second term is the mass-energy; $s_{\mathbf{x},{\bf\it\mu}}$ and $s_{\mathbf{x}}$ are phases that arise due to the use of staggered fermions. The last two terms represent the (chromo)electric and (chromo)magnetic energy of the gauge field, respectively. The electric energy density is given by the Casimir operator:

$$\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}=\sum_{\nu}(\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu})^{2}=\sum_{\nu}(\hat{R}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu})^{2}\,.$$ (4)

The magnetic energy density is a plaquette term that, on a cubic lattice, corresponds to a four-body interaction:

$$\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}=\;\sum_{\mathclap{\alpha,\beta,\gamma,\delta}}\;\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta}\hat{U}_{\mathbf{x+{\bf\it\mu},{\bf\it\mu^{\prime}}}}^{\vphantom{dagger}\beta\gamma}\hat{U}_{\mathbf{x+{\bf\it\mu^{\prime}}\!,{\bf\it\mu}}}^{\dagger\,\gamma\delta}\hat{U}_{\mathbf{x,{\bf\it\mu^{\prime}}}}^{\dagger\,\delta\alpha}$$ (5)

where ${\bf\it\mu}$ and ${\bf\it\mu^{\prime}}$ span the plaquette’s plane. Plaquette terms only exist in $D>1$, contributing to the increased complexity of quantum and TN simulations of LGTs in higher dimensions [56].

II.2 Gauge field truncation

The link Hilbert space is the space of square-integrable functions on the gauge group, $L^{2}(\mathcal{G})$, which is infinite-dimensional for a continuous $\mathcal{G}$ [95].

In one space dimension, gauge degrees of freedom are unphysical (absence of transverse polarizations) and can thus be integrated out, albeit at the price of introducing non-local interactions [96].

Beyond one dimension, the removal is much more delicate, because it requires first decoupling the gauge field’s longitudinal component [97]. When impossible or inconvenient to remove, gauge degrees of freedom might have to be truncated to perform TN or quantum simulation. Among known truncation recipes are Quantum Link Models (QLM) [98, 99, 100, 101], which have been already adopted for quantum simulation of LGTs [102, 52, 103, 104, 105, 56, 60, 58, 106], finite subgroups [26, 30, 107], digitization of gauge fields [108], and fusion-algebra deformation [109].

Another adopted solution is truncating the spectrum of the electric energy density operator $\norm{\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}missing}\leq\Theta$ on each link [50, 110]. The cutoff is conveniently imposed in the irreducible representation (irrep) basis $\{\ket{jmn}\}$ [95] of $L^{2}(\mathcal{G})$, where $\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}$ is diagonal:

$$\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}\ket{jmn}=C_{2}(j)\ket{jmn}\,.$$ (6)

Here $m$ and $n$ are indices in the $j$-irrep of $\mathcal{G}$ and $C_{2}(j)$ is the quadratic Casimir of $j$ [95]. In the strong coupling limit, where the electric energy term dominates $H_{\rm LGT}$, this truncation is equivalent to an energy cutoff [110].

II.3 Gauss law and the dressed site

The most distinctive feature of gauge theories is arguably the presence of local constraints, analogous to the Gauss law of classical electrodynamics, relating the configuration of the gauge field to the spatial distribution of charges [111]. At the quantum level, Gauss law is the statement that only gauge invariant states are physical, namely, $\hat{G}_{\mathbf{x}}^{\vphantom{dagger}\nu}\ket*{\Psi_{\text{phys}}}=0\;\forall\mathbf{x},\nu$, where $\hat{G}_{\mathbf{x}}^{\vphantom{dagger}\nu}$ are the generators of local gauge transformations at $\mathbf{x}$:

$$\hat{G}_{\mathbf{x}}^{\vphantom{dagger}\nu}=\hat{Q}_{\mathbf{x}}^{\vphantom{dagger}\nu}+\hat{q}_{\mathbf{x}}^{\vphantom{dagger}\nu}+\sum_{{\bf\it\mu}}[\hat{L}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\nu}+\hat{R}_{\mathbf{x-{\bf\it\mu},{\bf\it\mu}}}^{\vphantom{dagger}\nu}]\,,$$ (7)

with $\hat{q}_{\mathbf{x}}^{\vphantom{dagger}\nu}$ representing eventual static background charges (typically vanishing). On the lattice, Gauss law provides a set of vertex constraints, each involving a lattice site and its $2D$ neighboring links.

Due to Gauss law, the physical Hilbert space of LGTs is much smaller than the tensor product of all local sites and link Hilbert spaces. Properly exploiting gauge symmetries can thus significantly speed up numerical simulations [16]. Strategies that solve Gauss law by eliminating (partially or entirely) either the gauge fields or the matter fields have been developed. Nonetheless, such approaches come with specific limitations: the range of interaction has to be extended, moreover, integrating-out gauge fields become problematic in $D>1$ [97], while the recipe for removing matter is a model (matter content) dependent [112].

Another possibility is to enforce Gauss law using a dressed site construction, sketched in Fig. 3 and outlined below. Dressed sites have local dimensions typically larger than those resulting from the aforementioned approaches, but they are obtained from a model-independent prescription which has the advantage of preserving the locality of the interactions [16, 110].

Figure 3: Pictorial representation of the dressed site formalism adopted for TN simulations of LGTs: (a) starting from the original formulation of matter and gauge fields, (b) each truncated gauge link is split into two representations, one per half-link; each is equipped with a proper fermionic rishon mode $\zeta$. (c) All the half-links are absorbed into the attached matter site, forming a gauge-invariant dressed site (d) whose Hilbert space spans all the possible gauge singlets.

Rishons.

As a first step, every link is decomposed into a pair of left ($L$) and right ($R$) rishon degrees of freedom, each associated with a Hilbert space spanned by the basis states $\ket{jm}$, identifying $\ket{jmn}\hookrightarrow\ket{jm}_{L}\mathop{\otimes}\ket{jn}_{R}$, and writing parallel transporters as rishon bilinears [50]:

$$\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta}\to\sum_{k}\zeta^{L(k)\alpha}_{\mathbf{x},+{\bf\it\mu}}\zeta^{R(k)\beta\,\dagger}_{\mathbf{x}+{\bf\it\mu},-{\bf\it\mu}}\,\,.$$ (8)

Abelian link symmetries.

Physical gauge link configurations, i.e. those with the left and right rishons in the same irrep, are selected introducing a local link symmetry at the TN simulation level [16, 110]. Notice this is always Abelian, regardless of the Abelian or non-Abelian nature of the gauge group.

Gauge invariant computational basis.

Crucially, the gauge generators $\hat{G}_{\mathbf{x}}^{\vphantom{dagger}\nu}$ now involve only the matter site at $\mathbf{x}$ and its $2D$ neighboring rishons. Fusing these degrees of freedom in a composite site, Gauss law becomes an internal constraint that singles out the dressed site Hilbert space as their gauge invariant subspace:

$$\mathcal{H}_{\text{dress}}=\ker G\subset\mathcal{H}_{\text{matt}}\otimes(\mathcal{H}_{\text{rish}})^{\otimes 2D}\,.$$ (9)

The expansion of the gauge singlet basis states of $\mathcal{H}_{\text{dress}}$ in terms of the matter and rishon bases is computed via Clebsch-Gordan decomposition [110].

Defermionization.

It is possible to effectively eliminate fermionic matter, and treat dressed sites as large spins, for any gauge theory where the gauge field has a well-defined parity. Specifically, a local parity operator $P_{\mathbf{x},{\bf\it\mu}}=P_{\mathbf{x},{\bf\it\mu}}^{\dagger}$ such that $P_{\mathbf{x},{\bf\it\mu}}^{2}=1$ must satisfy $\{\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}\alpha\beta},P_{\mathbf{x},{\bf\it\mu}}\}=0$, as it happens for $\mathbb{Z}_{2N}$, U(N), and SU(2N) [113, 112, 50]. In this case, it is possible to take fermionic rishons, and as a result, all physical (gauge invariant) dressed site operators are genuinely local, i.e. they mutually commute at a nonzero distance (as spins or bosons) [114]. In particular, this applies to the Hamiltonian $H_{\rm LGT}$, making gauge-defermionization particularly convenient for higher-dimensional systems, where Jordan-Wigner strings result in long-range interactions [115].

II.4 Scaling of the local basis dimension

Table 1 lists the dressed site dimension $d=\dim\mathcal{H}_{\text{dress}}$ associated with the first few nontrivial gauge truncations of three representative LGT models in $D=2,3$ space dimensions. All the considered LGTs include dynamical matter, represented by one fermionic field multiplet in the fundamental representation of the gauge group. The $\ell$-th row of Table 1 is obtained kee** only the first $\ell$ nonzero electric energy levels (i.e., using the $\ell$-th smallest quadratic Casimir eigenvalue as cutoff $\Theta$, see Sec. II.2). As Table 1 shows, the local dimension increases rapidly with $\ell$. For 3-dimensional non-Abelian LGTs, $d\sim O(10^{4})$ is reached already within the first two truncations, making the study of the untruncated limit prohibitive.

Differently from the models typically encountered in condensed matter physics, the local dimension of LGTs can thus be a limiting factor for TN simulation — especially when $d$ becomes comparable to commonly used TN bond dimensions ($100\lesssim\chi\lesssim 500$ for TTN). In these cases, strategies aimed at further compressing the local computational basis are needed (see Sec. III.1). As just discussed, such truncation strategies are particularly crucial for high-dimensional LGTs.

Several numerical analyses suggest that, in some cases, a small-to-moderate truncation of the gauge group is enough for accurately approximating the continuum limits, at least for low-energy states [24, 26, 32, 116, 117, 118]. However, the optimal gauge truncation depends on the Hamiltonian parameters $m$ and $g$.

$\ell$	$d$
	$(2+1)$-dimensions			$(3+1)$-dimensions
	U(1)	SU(2)	SU(3)	U(1)	SU(2)	SU(3)
1	35	30	164	267	178	3096
2	165	168	752	3437	3670	52476
3	455	600	3738	18487	35280	813438
4	969	1650	19878	64953	214958	17490134
5	1771	3822	43698	177155	967466	69232482
6	2925	7840	82128	408421	3509062	228461186
7	4495	14688	212496	835311	10828494	1245755754
8	6545	25650	333538	1561841	29473038	2782999996

Table 1: Dressed site Hilbert space dimension $d$ for increasing number $\ell$ of allowed electric energy density levels in some 2- and 3-dimensional paradigmatic LGTs with dynamical matter and gauge groups U(1), SU(2), and SU(3).

As an example, we consider the (2+1)D U(1) LGT including dynamical matter (QED), whose Hamiltonian can be obtained from Sec. II.1:

$$H_{\text{QED}} =\frac{c\hbar}{2a}\sum_{\mathbf{x}}\Big{[}\text{-i}\hat{\psi}_{\mathbf{x}}^{\dagger\,}\hat{U}_{\mathbf{x,{\bf\it\mu_{x}}}}^{\vphantom{dagger}}\hat{\psi}_{\mathbf{x+{\bf\it\mu_{x}}}}^{\vphantom{dagger}}$$ (10)

$$-(-1)^{j_{\mathbf{x}}+j_{\mathbf{y}}}\hat{\psi}_{\mathbf{x}}^{\dagger\,}\hat{U}_{\mathbf{x,{\bf\it\mu_{y}}}}^{\vphantom{dagger}}\hat{\psi}_{\mathbf{x+{\bf\it\mu_{y}}}}^{\vphantom{dagger}}+\text{H.c.}\Big{]}$$

$$+mc^{2}\sum_{\mathbf{x}}(-1)^{j_{\mathbf{x}}+j_{\mathbf{y}}}\hat{\psi}_{\mathbf{x}}^{\dagger\,}\hat{\psi}_{\mathbf{x}}^{\vphantom{dagger}}$$

$$+\frac{g^{2}c\hbar}{2a}\sum_{\mathbf{x},{\bf\it\mu}}\hat{E}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}2}-\frac{c\hbar}{2g^{2}a}\sum_{\square}\mathrm{Tr}(\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}+\hat{U}_{\mathbf{\square}}^{\dagger\,}),$$

Since the Abelian U(1) group has only one generator, the gauge fields $E_{\mathbf{x}}$ and $\hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}}$ can be represented as

$$E_{\mathbf{x},{\bf\it\mu}} =\sigma^{z}_{\mathbf{x},{\bf\it\mu}}(\ell) \hat{U}_{\mathbf{x,{\bf\it\mu}}}^{\vphantom{dagger}} =\zeta_{\mathbf{x},+{\bf\it\mu}}(\ell)\cdot\zeta_{\mathbf{x}+{\bf\it\mu},-{\bf\it\mu}}(\ell)$$ (11)

where $\sigma^{z}(\ell)$ is the spin $z$-operator in the $\ell$ SU(2) irrep, while $\zeta(\ell)$ is a $\ell\times\ell$ ladder operator with Fermi statistics.

We focus on a single plaquette in open boundary conditions, as it provides the minimal setting allowing for both electric and magnetic effects. Then, to characterize the convergence in the gauge truncation $\ell$, we consider a candidate observable $O$ and compute its ground state expectation value $\langle\hat{O}\rangle_{\ell}$ for increasing $\ell$. We iterate until the relative deviation between consecutive truncations drops below some threshold $\epsilon_{\text{trunc}}$: $|\langle\hat{O}\rangle_{\ell^{*}}-\langle\hat{O}\rangle_{\ell^{*}-1}|<\epsilon_{\text{trunc}}|\langle\hat{O}\rangle_{\ell^{*}}|$ for some $\ell^{*}$. Fig. 4(a) shows the minimal truncation $\ell^{*}$ at which the magnetic energy operator $\hat{O}=\real\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}$ is converged to $\epsilon_{\text{trunc}}=10^{-5}$. We explore a grid of model parameters, whose extent has been chosen according to standard MC literature [119, 120, 121, 122, 8, 123, 124, 125, 126, 127, 128, 129, 130]. $\real\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}$ is used as a benchmark due to its relevance in the weak coupling regime, where the continuum limit of $D<3$ lattice QED is located [8]. As Fig. 4(b) shows, $\ell^{*}$ depends heavily on the coupling, growing asymptotically like $\ell^{*}\sim g^{-1}$ as $g$ is decreased, while $m$ plays almost no role. An analogous inverse dependence of the minimal gauge truncation on the coupling is expected for non-Abelian LGT in arbitrary dimensions. Moreover, the continuum limit of non-Abelian LGTs in $D\leq 3$ is also expected at $g\to 0$ [8], further substantiating the need to compress the local dimension in TN simulations of LGT whenever extrapolation to the continuum is in order.

Apart from the growth of the local dimension, extrapolation to the continuum is further complicated by the fact that the continuum limit of a lattice quantum field theory corresponds to a critical point of the underlying lattice model [131]. Close to criticality, quantum correlations are boosted and violations of the entanglement area law are expected [79]. The higher entanglement entropy in the proximity of the continuum ($g,m\ll 1$ regime) is already captured by the single-plaquette analysis of Fig. 4(c). Continuum limits of LGTs are thus an area of potential advantage for quantum computation over classical methods, as the former is not limited by entanglement. Nonetheless, quantum computation is also affected by the need to relax gauge truncations when $g\to 0$, either by increasing the number of qubits used to encode a dressed site, which is at least $\lceil\log_{2}(d)\rceil$, or by using hybrid devices, that have both qubits and bosonic modes [132].

Figure 4: Exact diagonalization of a QED plaquette for a grid of masses and couplings, $m\in[10^{-2},10^{1}]$ and $g^{2}\in[10^{-1},10^{1}]$. (a,b) Minimal gauge truncation $\ell^{*}$ required to reach a precision $\epsilon_{\text{trunc}}=10^{-5}$ in the magnetic energy $\expectationvalue*{\real\hat{U}_{\mathbf{\square}}^{\vphantom{dagger}}missing}$. (c) Corresponding entanglement entropy $S$ associated with a symmetric bipartition of the plaquette.

III Roadmap for advanced LGT simulations via tensor networks

As detailed in the previous sections, LGT models present some peculiar features that make TN simulations particularly challenging, especially for large system sizes and for studying the continuum limits in terms of gauge field truncation, lattice spacing, and volume.

State-of-the-art techniques, such as TTN algorithms, have been applied for simulating ground state properties of QED in (2+1)- and (3+1)-dimensions for small-to-intermediate sizes [44, 46]. Very recently, they have been also applied to the SU(2) Yang-Mills model in (2+1)-dimensions [50]. In all these simulations, small non-trivial representations of the gauge groups have been exploited, e.g. three electric field levels for QED and the first two irreducible representations of SU(2) for the Yang-Mills model.

Nowadays, lattice computations with MC-based techniques are performed on large lattices, e.g. of the order $64^{3}\times 128$ sites (space and time discretization), and with no truncation of the gauge fields. These large sizes are required to control finite-volume effects and to perform extrapolations toward the continuum limits [133]. In the last decades, the impressive progress in algorithmic development, high-performance optimizations, and the availability of increasingly powerful supercomputer facilities have played a major role in the advancement of MC-based LGT computations. Indeed, this progress has opened the doors to large-scale simulations, that currently represent the standard approach for studying non-perturbative phenomena in quantum field theory.

However, MC techniques are generally based on computations of path integrals in which the integrand functions are overall positive. Many physically relevant scenarios, such as finite baryon density regimes or real-time dynamics of quarks, give rise to a change in the sign of the integrands and highly oscillating behaviors. Thus, numerical evaluations suffer from the near cancellation of the opposite-sign contributions to the integrals. This is the essence of the infamous sign problem, a long-standing issue of LGT simulations with MC methods [10].

Hence the quest of conceiving, develo**, and optimizing alternative approaches that enable simulating these regimes, being the latter at the heart of many open problems related to our understanding of high-energy physics.

As described in the previous sections, TNs represent a promising complementary method, which found the first applications in simulating non-trivial instances of high-dimensional LGTs on small-to-intermediate lattice sizes. TNs are intrinsically sign-problem-free, enabling the simulation of both static properties at equilibrium, such as low-energy states, and real-time dynamics, even in the presence of finite chemical potentials or non-trivial topological terms. It is worth noting that, in addition to local observables and correlation functions, TNs allow the numerical computations of entanglement properties, such as entanglement entropies and central charges, that could potentially shield new light on LGT phenomena [32].

Nevertheless, TN simulations of high-dimensional LGTs still represent a challenging problem, especially for large lattice sizes or higher representations of gauge groups needed for analyzing continuum limits. In this framework, further and intensive developments are required to tackle TNs’ current problems related to LGTs, such as QCD’s non-perturbative effects on lattices of sizes comparable with MC simulations. In this regard, we note that sign-problem-free TN ansätze can also be used in combination with variational MC methods to tackle high-dimensional lattice gauge theories with arbitrary gauge groups [134].

In the following, we present a possible roadmap in terms of algorithmic development and optimization strategies that we foresee to be crucial for making the TN approach competitive as a complementary method to MC techniques. Therein, the first two sections, i.e. Secs. III.1 and III.2, can be approached with existing TN algorithms and a good intuition on LGT problems; then, Secs. III.3 and III.4 outline optimization for existing algorithms to leverage HPC systems; finally, we discuss new classes of ansätze to tackle finite temperature problems in Sec. III.5. In some parts, we focus on TTNs, but the vast majority of the presented concepts and techniques can be straightforwardly applied to other TN ansätze.

III.1 Local basis truncation

Figure 5: Graphical representation of (a) the pseudo site DMRG (PS-DMRG) approach, in which a single site having large local dimension $d$ is replaced with $n_{ps}$ pseudo sites with a smaller local dimension, e.g two; (b) the local basis optimization embedded in the MPS ansatz (LBO-MPS), so that an additional layer of tensors connected to the physical legs of the MPS performs the reduction from a large local basis with dimension $d$ into an effective basis with smaller dimension $d^{\prime}$.

One of the main issues in simulating LGTs with TN methods lies in the very large local basis dimension $d$ that one needs to handle to represent matter and gauge-field degrees of freedom properly. To some extent, this situation is very similar to some condensed matter models, e.g. the Holstein model, involving lattice fermions coupled with phonons [135], or bosonic systems coupled to optical cavities [136, 137]. Also in these cases, the local Hilbert space is in principle infinite-dimensional, and a truncation to a fixed cutoff is needed for performing TN simulations. For one-dimensional systems of this type, some efficient algorithms based on MPS have been developed in the last years [138], e.g. the pseudosite DMRG (PS-DMRG) method [139], and the DMRG with local basis optimization (DMRG-LBO) [140, 141, 142].

The key idea of the PS-DMRG is to replace a single site having large local dimension $d$ with $n_{ps}\approx\mathrm{log}_{\rm\scriptscriptstyle 2}(d)$ pseudo sites of local dimension 2, as shown Fig. 5(a). Since a large class of optimization algorithms for TNs scale at least quadratically with the local dimension but linearly with the total number of sites, as detailed in Sec. I, one obtains a more efficient and manageable representation according to this procedure.

The price to pay lies in the range of the interactions: short-range interactions in the Hamiltonian are transformed into long-range operators due to the pseudo-site encoding of the local degrees of freedom. As a consequence, PS-DMRG should require a larger bond dimension and a larger number of variational steps to converge, and the benefits offered by the pseudo-sites could progressively fade for increasing values of $n_{ps}$ at fixed bond dimension. PS-DMRG has been applied to one-dimensional QMB systems with $d$ up to $O(100)$ [138].

The core of the DMRG-LBO algorithm, instead, lies in a local basis optimization protocol which enables a controlled and efficient truncation of the local Hilbert space [143]. For each site $\mathbf{x^{\prime}}$ of the lattice, the optimized local basis is computed by starting from its reduced density matrix, i.e.

$$\rho_{\mathbf{x^{\prime}}}=\mathrm{Tr}_{\mathbf{x}\neq\mathbf{x^{\prime}}}\outerproduct{\psi}{\psi},$$ (12)

where $\ket{\psi}$ is a general state of the whole system and the trace is over all the degrees of freedom which do not involve the site $\mathbf{x^{\prime}}$. By performing the diagonalization procedure, the eigenvalues $\lambda_{\alpha}$ and the eigenvectors $v_{\alpha}$ of $\rho_{\mathbf{x^{\prime}}}$ can be easily determined. The set of values $\lambda_{\alpha}$ represent the probabilities associated with the states $v_{\alpha}$. If $\lambda_{\alpha}$ is small, e.g. below a certain numerical threshold, the related eigenvector $v_{\alpha}$ can be discarded from the local basis of the site $\mathbf{x^{\prime}}$, with a controllable loss of accuracy for the state $\ket{\psi}$. Thus, for reducing the local basis dimension of $\mathbf{x^{\prime}}$ from $d$ to a smaller value $d^{\prime}$, an optimal choice is kee** the $d^{\prime}$ eigenvectors of $\rho_{\mathbf{x^{\prime}}}$ with the largest probabilities. Then, the original state $\ket{\psi}$ can be projected on the new basis, without losing the relevant physical information. Let us notice that the site $\mathbf{x^{\prime}}$ can also be a generic unit cell of the system, composed of a certain number of lattice sites.

A crucial point of the LBO procedure is the knowledge of the original state $\ket{\psi}$, generally the ground state of the system, that is not known prior. This issue can be overcome in several ways: by performing exact diagonalization of the system’s Hamiltonian with local dimension $d$ for small lattice sizes, to determine $\ket{\psi}$, and then truncating the basis from $d$ to $d^{\prime}$ for increasing values of the cutoff $d^{\prime}$. From this procedure, we can obtain an optimized local basis ensuring a controlled approximation of the original ground state. This optimized basis can then be exploited in optimization algorithms for simulating larger lattice sizes, such as DMRG. Another strategy directly incorporates the LBO procedure in the tensor network ansatz, as shown Fig. 5(b): by inserting an additional tensor on each physical leg of the MPS, the large local basis with dimension $d$ is transformed into an effective basis with smaller dimension $d^{\prime}$. In this way, the MPS tensors only see the effective basis in the optimization procedures, with a significant reduction of the computational costs described in Sec. I. This method has been used for both static DMRG and time evolution algorithms, such as TEBD, for the study of one-dimensional quantum impurity models and correlated electron-phonon systems [140, 141, 144].

In the context of LGTs, the dimension of the local basis $d$ can easily go beyond values of the order of $10^{6}$, especially for higher-dimensional non-Abelian models and large representations of the gauge groups, as shown in Sec. II. In this scenario, numerical simulations with TNs are practically infeasible without an optimized scheme for truncating the local degrees of freedom. Techniques like PS-DMRG might offer some benefits for small system sizes, such as unveiling the most relevant degrees of freedom in the low-energy states, but it is difficult to scale them up for large sizes due to the long-range interactions induced between the pseudo-sites. Also, the local constraints imposed by Gauss law would become highly non-local when splitting a single site into multiple pseudo-sites representing the matter and link fields.

In principle, LBO-based procedures could instead represent a well-grounded route for addressing the problem. Their use in condensed matter, e.g. bosonic systems, is a rather consolidated approach, whereas their application to TN simulations of LGTs currently is an uncharted but promising territory. The main steps that we foresee as needed and important in this direction are the following:

• Employing exact diagonalization, testing the convergence of LBO procedures for one-dimensional systems, such as the $\varphi^{4}$-theory or the Schwinger model, for which analytical solutions, at least in some regimes of the phase diagram, and numerical results are widely available, also in the limit of no gauge field truncations. In this way, we can obtain valuable information about the scaling of the basis cutoffs concerning the final accuracy of the state representation for small system sizes.

• Performing the same analysis on (2+1)-dimensional LGTs, such as QED or $SU(N)$ models, for one unit cell, like a single lattice-plaquette, to systematically study the effects of the magnetic interactions on the local degrees of freedom. Indeed, the QLM representation of LGTs, detailed in Sec. II, generally exploits the “electric field” basis, in which the electric field terms of the Hamiltonian and Gauss law are diagonal. In this scheme, the magnetic interactions correspond to non-diagonal operators which can increase the number of local electric states to include for an accurate description of the system, especially for small values of the coupling constant $g$ of Sec. II.1, as highlighted in the numerical analysis in Sec. II.4.

• Exploiting the optimized local bases obtained from exact diagonalization as input of TN simulations for larger sizes, testing the effects on the global ground state accuracy and in computing physically relevant quantities, such as the mass gap [130].

• In the same spirit of LBO-MPS, implementing LBO protocols directly in TN ansätze that are more suitable for simulating high-dimensional LGT models, such as TTN. This step could be of great benefit in particular for aTTNs, which encode the area law for the entanglement but are severely limited by large local bases (see Sec. I).

By following and combining all these steps, we expect to reduce the effective local basis of LGT models, potentially enabling TN simulations for large representations of Abelian and non-Abelian gauge groups.

It is worth noting that constructing optimal bases for numerical and quantum computation of LGTs is an active area of research. Several approaches that have been recently proposed involve performing canonical transformations of the gauge degrees of freedom before truncation [107, 145, 146]. By exploiting a resource-efficient protocol of this type, Ref. [107] has shown that the number of local states required to reach a $1\%$ accuracy level when computing the expectation value of the plaquette operators in two-dimensional (2+1)-dimensional QED can be reduced by more than $94\%$ compared to the unoptimized truncation. Integrating these approaches into TN algorithms could greatly benefit LGT simulations.

III.2 Tailored initial states

In TN algorithms for ground state searching, the optimization procedure generally starts from a random TN initial state $\ket*{\psi_{\mathrm{init}}}$, i.e. the tensors in the network are filled with random coefficients at the beginning. This strategy usually guarantees that the probability of overlap** with the true ground state $|\innerproduct*{\psi_{\mathrm{init}}}{\psi_{\mathrm{gs}}}|^{2}$ is not vanishing. To reach a small error in the final energy, this procedure typically requires from 10 to 50 optimization sweeps for LGTs simulations, depending on the specific models, the Hamiltonian parameters, and the lattice size. Since the time for completing a sweep can be very long, especially for large bond dimensions, strategies for reducing the number of needed sweeps could be beneficial for scaling up system sizes. From this perspective, constructing appropriate states to be used as initial guesses can speed up the convergence, similar to the choice of the trial wave function for variational Monte Carlo simulations. We consider the following options:

• Physical insight: Initial states can be constructed by following physical intuition, at least in those regimes in which analytical or partial numerical results are available. For instance, initial guesses can be constructed by starting from the TN ground states numerically obtained for a lower representation to simulate large spin representations of the gauge fields.

• Machine learning: Machine learning-assisted protocols can improve the construction of tailored initial states in the different regimes of the model parameters. For instance, feed-forward neural networks have been proposed as trial wave functions for quantum Monte Carlo simulations [147], and machine learning techniques have been used to feed TN simulations [148]. Similarly, neural networks might reveal great potential in constructing initial states for LGTs to be used in large-scale TN simulations, in which reducing the number of sweeps is a key point for feasibility.

• Tensor network results: Following the idea of the physical insight, it is also possible to feed neighboring ground states as initial guesses into a ground state search. This option exists especially when scanning a phase diagram and varying parameters in a small increment such that the overlap between neighboring wave functions is sufficient; this overlap decreases for two points on the opposite sides of a quantum critical point. The same idea can be implemented by preparing an initial guess quenching from an easily accessible ground state to the target parameters; the quench itself does not have to be adiabatic or free of numerical errors, but must only have sufficient overlap with the ground state. The advantage here is that one quench can generate multiple initial guesses along the quench for different parameters.

III.3 Leverage HPC techniques for local optimization

We dedicate the two following sections to the numerical optimization of the TN algorithms. In this section, we give an overview of the topic and we discuss possible strategies to improve the optimization. The more technical steps are discussed in the following Sec. III.4.

To scale up TN simulations of LGTs, in particular regarding lattice sizes, another important factor is the number of optimization steps to be carried out. The number of optimization steps scales linearly with the number of sweeps as well as with the system size for MPS, PEPS, and TTN. The choice of the number of sweeps is set such that the algorithm reaches convergence when computing ground or low energy states. Let us briefly describe the general procedure for ground state searches: we focus on the TTN optimization, however, the main points described here can be applied to other TN structures, such as MPS or PEPS. For a complete and technical description of the algorithms and implementation details, see Ref. [18].

Consider a generic QMB Hamiltonian $H$ and a generic normalized state $\ket{\psi}$, defined on the same Hilbert space. To numerically determine the ground state of $H$, the following global minimization problem has to be solved:

$$\min_{\ket{\psi}}\left\{E({\ket{\psi}})\right\}=\min_{\ket{\psi}}\bra{\psi}H\ket{\psi}\,.$$ (13)

If $\ket{\psi}$ is written in terms of the TTN ansatz introduced in Sec. I, the variational parameters are the coefficients in the TTN. In this case, the global optimization problem of Eq. 13 is broken down into a sequence of smaller optimizations, each of which involves only a minimal subset of tensors in the TTN. The algorithm solves the optimization via an eigenproblem searching for the eigenvector with the lowest eigenvalue. Without any loss of generality, one single tensor at a time is optimized in the simplest case, as shown in Fig. 6(a). In detail, the energy is computed by contracting the Hamiltonian between the TTN and its complex conjugate. Then, we start the optimization procedure from a target tensor $T$, by computing its environment, i.e. the network without the tensors $T$ and $T^{\dagger}$, which represents the effective Hamiltonian $H_{\text{eff}}$ for the local problem. At this stage, an eigenproblem of $H_{\text{eff}}$ is solved, and the tensor $T$ is updated with the newly found ground state. The whole procedure is sequentially iterated for all the tensors in the network, performing an optimization sweep.

For each operation, efficient algorithms from linear algebra are typically used, e.g. the Arnoldi algorithm implemented in the ARPACK library [149, 150]. We recall that the numerical complexity of this procedure for a single TTN-tensor is $O(d^{2}\chi^{2}+\chi^{4})$ [76]. Therefore, a single optimization can be time-consuming when $\chi$ is very large, e.g. $\chi\approx 1000$, as for simulating high-dimensional LGTs. We point out the established and promising future parallelization schemes for the single tensor optimization:

• opemMP: An efficient openMP implementation of the contraction between the effective operators with the tensor can speed up simulations. Moreover, the Arnoldi algorithm of ARPACK is optimized for large-scale linear algebra operations and supports intra-node multi-core parallelization based on openMP [151]; thus, ARPACK does not become a bottleneck in the openMP implementation. Nonetheless, many simulations remain expensive in computation time even with 64 or more cores available in HPC facilities; therefore, we consider more approaches beyond the well-established openMP path.

• Accelerators: Graphics Processing Units (GPU) and Tensor Processing Units (TPU) offer a path to accelerate linear algebra routines, where both have demonstrated their usefulness: GPUs have reported speedups of up to a factor of 10 due to the efficient tensor manipulations [152, 153, 154, 155]; tensor processing units have shown great potential in large-scale simulations of several quantum systems, e.g. drastically reducing the computational time of DMRG calculations with very large bond dimensions from months to hours [156, 157, 158, 159]. Tensor processing units are application-specific integrated circuits originally introduced for machine learning; we consider the integration and tuning of TPUs therefore as a step after the successful integration of GPUs. While single GPUs can solve TTN-problems up to a bond dimension of $\chi<1000$, multi-GPU support is available for libraries; HPC systems typically provide hardware with four GPUs per node.

• Multi-node approaches to local tensor optimizations: Both CPU and GPU algorithms can be further scaled by using multiple nodes. The underlying linear algebra routines of the local eigenvalue problem are parallelizable via libraries such as ScaLAPACK or MAGMA. Both libraries provide routines for distributed memory machines [160]; MAGMA supports moreover CPU and GPUs. In this way, the workload of the eigenproblem procedure can be split into several computation nodes. Then, it is important to analyze the performances as a function of the bond dimension $\chi$, to test the effectiveness of this approach against the latency of the inter-node communications.

• Tuning of parameters and algorithms: accelerators developed for machine learning applications have excellent support for lower and real precision. Tuning parameters over the different sweeps is beneficial, e.g. increasing the precision towards the end of the sweep. This approach profits from faster single-precision implementations during the first sweeps. Selecting algorithms like random singular value decompositions can also bring benefits [161].

III.4 Sweeps and HPC parallelization

So far, we have parallelized single tensor optimizations within a sweep, but the sweep itself was sequential, i.e. serial. Recent works formulated parallel versions of MPS algorithms for ground state search and time evolution, e.g. via the Message Passing Interface (MPI) [162, 163, 164]. The main difference between the serial and parallel algorithms is the effective operators used in the optimization. In the serial version, the effective operators contain the information of the most recent version of all other tensors. This update is delayed in the parallel version, i.e. the tensor that entered the effective operator is not necessarily the one of the current sweep but can be the version of an earlier sweep.

Figure 6: Effective operators and parallel tensor networks. (a) Procedure for optimizing a TTN to find the ground state of a QMB system: the energy is computed by contracting the Hamiltonian $H$ (yellow tensor) with the TTN, representing the state $\ket{\psi}$, and its hermitian conjugate, representing $\bra{\psi}$. The variational optimization starts from a target tensor $T$ (red tensor), by computing its effective Hamiltonian $H_{\text{eff}}$ and then solving the local eigenvalue problem for the latter. The tensor $T$ is then updated with the newly found ground state, and the procedure iterates over all the tensors in the network (sweep). (b) The workload itself consists of optimizing each tensor held by the MPI thread $t$, which requires effective operators calculated by other MPI threads. We dub delays $\Delta_{i}$ the number of optimization cycles needed to obtain the information of tensors in the i-th MPI thread in another MPI thread via MPI communication. Matrix product states naturally split into sub-chains which communicate with one or two neighboring MPI threads to obtain updated effective operators. Delays for updates scale with the distance between two MPI threads along the chain. Each MPI thread can use threading or openMP, e.g. in a hybrid openMP-MPI approach. (c) Similarly, TTNs can be split into sub-trees for each MPI thread allowing for optimizing the sub-tree without communication with other MPI threads. Delays due to updating scale logarithmically as any distance in a tree network.

If the delay becomes an obstacle to convergence, there is the option to modify parameters during the sweeps. Typically, ten to fifty sweeps are necessary to converge to a solution. As the initial state is usually random, MPI can be used especially at the beginning. To ensure convergence, one can consider serial steps at the end; even a gradual reduction of the MPI processes as the sweeps proceed is possible and gradually reduces the delays.

Considering the MPS scenario of a chain in Fig. 6(b), we split the chain into equal parts of $(N/n_{\rm\scriptscriptstyle MPI-threads})$ sites. Each part of the chain communicates with its two neighbors apart from the two boundaries. The effective operators take into account the tensors of the same MPI process with zero delay as in the serial case. The tensors of the i-th neighboring MPI process have a delay of $i$. The worst-case scenario of the delay scales linearly with the number of MPI processes. The delay can be avoided by communicating the effective operators after each update through the chain, which is a quasi-serial step with no more than two MPI processes active at the same time.

The problem becomes more complicated for the TTNs suggested for LGT, but we expect a benefit for the parallelization of a TTN versus an MPS for higher dimensional systems. Fig. 6(c) shows an example of how each MPI process gets assigned a sub-tree within the complete TTN. Unlike the MPS, the number of neighboring MPI processes for communication is at least three and increases with $(N/n_{\rm\scriptscriptstyle MPI-threads})$ tensors per thread. For simplicity, we assume equally shaped subtrees for all MPI processes. The delay of the tensor update is now $2\cdot\mathrm{log}_{\rm\scriptscriptstyle 2}(N)$ in the worst-case scenario.

One-dimensional systems with nearest-neighbor interactions thus exhibit a delay of $1$ in the worst-case scenario in the MPS, while the delay is up to $2\cdot\mathrm{log}_{\rm\scriptscriptstyle 2}(N)$ for the nearest neighbors in the center of the TTN. Rather, higher dimensional systems change this aspect, e.g., for an $N\times N$ two-dimensional system mapped to 1D via a zig-zag map**. The MPS has a worst-case delay of the tensor update of $N$ for the slow index. In contrast, the TTN has the same log behavior and a maximum delay at the center of the TTN as $2\cdot\mathrm{log}_{\rm\scriptscriptstyle 2}(N^{2})$. Thus, the worst-case delay is equal for $16\times 16$ systems; increasing $N$ further, TTNs exhibit smaller maximum delays during parallel sweeps. Moreover, the TTN is unaffected by the type of map** used; in contrast, the worst-case delay for the MPS grows to $2N$ for the snake map** and to at least $N^{2}/2$ for the Hilbert curve [165]. Equal arguments hold for 3D systems and delays of $N^{2}$ (MPS, zig-zag) versus $2\mathrm{log}_{\rm\scriptscriptstyle 2}(N^{3})$ (TTN, any map**).

To get an intuition of what parallelized simulations can solve, we sketch out the specifications for a parallel simulation on the pre-exascale cluster Leonardo hosted by Cineca. We choose an MPI approach together with the GPUs. Leonardo has 3456 nodes with four GPUs totaling 13824 GPUs available for the complete cluster. Bond dimensions on the order of $\chi=450$ consume 54GB of memory without effective operators (assuming double complex precision, 40 Lanczos vectors) and allow to solve the eigenproblem on the GPU without temporarily storing data on the CPU. We use the single-tensor per MPI-thread with $\chi=450$ as a baseline where we extract a rough empirical estimate with Leonardo; in detail, we use a 2D quantum Ising model with $\mathbb{Z}_{2}$ symmetry in the vicinity of the quantum critical point and the initial tensor optimizations [166, 167]. Due to the delay of the tensor in the effective operators, the minimum number of sweeps must be beyond 24. Then, we consider the scaling of the TTN previously introduced and generate Table 2 with an overview of different system sizes and bond dimensions. These results provide a coarse-grained estimate, since plaquette terms, different symmetries, entanglement generation, and optimization time within later sweeps could further impact the computational time.

Our estimate predicts that a system of $256\times 256$ sites takes about two months for bond dimension $\chi=450$ on 1024 GPU nodes of Cineca’s leonardo. Future improvements are likely to bring this simulation time down, e.g., the next-generation GPUs in comparison to the A100 or further optimization in data movement. In contrast, a three-dimensional system with large entanglement and many sites requires three to four orders of magnitude improvement, where cluster size and other improvements have to come together to reach this challenge. Furthermore, Table 2 provides an estimate of the boundary for a potential quantum advantage in simulating lattice gauge theories with quantum computers or simulators.

System size	$\chi$	Factor	Estimated walltime
$64\times 64$	$450$	$T_{\rm\scriptscriptstyle base}$	$4.16~{}\mathrm{days}$
$64\times 64$	$900$	$16\cdot T_{\rm\scriptscriptstyle base}$	$66.6~{}\mathrm{days}$
$256\times 256$	$450$	$28\cdot T_{\rm\scriptscriptstyle base}$	$116.5~{}\mathrm{days}$
$256\times 256$	$900$	$448\cdot T_{\rm\scriptscriptstyle base}$	$5.1~{}\mathrm{years}$
$16\times 16\times 16$	$450$	$4\cdot T_{\rm\scriptscriptstyle base}$	$16.6~{}\mathrm{days}$
$16\times 16\times 16$	$900$	$64\cdot T_{\rm\scriptscriptstyle base}$	$266~{}\mathrm{days}$
$64\times 64\times 64$	$450$	$1984\cdot T_{\rm\scriptscriptstyle base}$	$23~{}\mathrm{years}$
$64\times 64\times 64$	$900$	$31744\cdot T_{\rm\scriptscriptstyle base}$	$362~{}\mathrm{years}$

Table 2: Estimated simulation time. We derive the baseline from a single-tensor optimization of a $64\times 64$ quantum Ising simulation with $\mathbb{Z}_{2}$ symmetry taking $7192\mathrm{s}$ on a A100 GPU. Further, we assume that single-tensor update, one tensor and one GPU per MPI thread, and 50 sweeps for the baseline. To extrapolate to larger systems, we assume a scaling with $\mathcal{O}(\chi^{4}N^{D-1})$ as well as seven (thirty-one) tensors per MPI thread for $256\times 256$ ($64\times 64\times 64$) systems. The empirical scalings are approximately a factor of $2.3$ for doubling the system size and $13$ for doubling the bond dimension, which we obtain from smaller simulations with $\chi=225$ and for $32\times 32$ qubits. The times are valid for any $d<\chi$.

III.5 Finite temperature regime

To date, TN simulations of high-dimensional LGTs including dynamical matter are exploring zero temperature regimes, which are important to understand the low-energy properties of the models. To explore finite temperature phenomena, particularly relevant for open research problems such as the QCD phase diagram, technical and numerical challenges have to be tackled, e.g. devising and testing efficient TN algorithms for targeting quantum states at equilibrium. As suggested in the next paragraph, we foresee two possible paths toward finite temperature TN states.

Matrix product density operators (MPDOs) and locally purified tensor networks (LPTNs) provide already today the option to tackle finite temperature regimes via an imaginary time evolution [168, 169, 170]. Herein, the algorithm starts at the infinite temperature state and starts “cooling” the system via a specified number of time steps and specified step size to reach a given temperature. In its original formulation, both approaches are one-dimensional chains. Matrix product density operator can be formulated as TTN but faces some challenges in terms of the question of positivity [171] or integrating symmetries. In contrast, tree tensor operators (TTO) are the tree-equivalent of an LPTN; they are also a positive loopless representation of density matrices, recently introduced in [172]. However, TTOs cannot represent the infinite temperature state necessary for the imaginary time evolution approach. Instead, a possible use of the TTO employed in LGT simulations consists of a variational algorithm to target finite-temperature states or reconstruct open-system quantum dynamics, by efficiently compressing the relevant information. The TTO enables useful measures, e.g. computing the entanglement of formation as already shown for representative one-dimensional models at finite temperature [172].

IV Conclusions

The field of TN methods for LGTs has shown great potential in the last decade, during which significant efforts have been devoted to develo** numerical algorithms and strategies that can be seen as a complementary approach to MC simulations for high-energy physics. The validity of sign-problem-free TN algorithms has been proven for one-dimensional LGT models for both Abelian and non-Abelian scenarios. Recently, TN methods have also been applied to higher-dimensional LGTs with simple truncated gauge groups and small-to-intermediate lattice sizes. On the one hand, these results prove the effectiveness of TN methods for simulating LGTs even in regimes that are problematic for other numerical methods; on the other hand, they highlight the challenges that one needs to tackle to address state-of-the-art research problems, such as accessing the continuum limits or simulating high-dimensional QCD on large lattices.

In this work, after a general overview of TN methods and their use for LGT simulations, we have described these challenges, starting from the problem of the very large local basis required for complex gauge groups and then discussing several computational bottlenecks in terms of bond dimensions and system sizes.

To mitigate and possibly overcome these problems soon, we have presented a feasible roadmap, in terms of algorithmic developments and numerical strategies that might have a concrete impact in extending the range of applicability of TN algorithms to current research problems in high-energy physics. We foresee that all the presented steps could potentially have a key role in making the TN approach competitive as a complementary method to MC techniques for simulating high-dimensional LGTs, such as large-scale QCD.