Abstract
Hamiltonian simulations of quantum systems require a finite-dimensional representation of the operators acting on the Hilbert space \(\mathcal {H}\). Here we give a prescription for gauge links and canonical momenta of an SU(2) gauge theory, such that the matrix representation of the former is diagonal in \(\mathcal {H}\). This is achieved by discretising the sphere \(S_3\) isomorphic to SU(2) and the corresponding directional derivatives. We show that the fundamental commutation relations are fulfilled up to discretisation artefacts. Moreover, we directly construct the Casimir operator corresponding to the Laplace–Beltrami operator on \(S_3\) and show that the spectrum of the free theory is reproduced again up to discretisation effects. Qualitatively, these results do not depend on the specific discretisation of SU(2), but the actual convergence rates do.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
While the Hamiltonian of lattice gauge theories is known since 1975 [1], it only recently received a fresh interest. This is due to the development of tensor network state (TNS) and quantum computing (QC) methods over the last few years. These methods promise to provide the possibility to investigate lattice gauge theories (and other quantum systems) in regions of parameter space inaccessible to Monte Carlo methods, most prominently in situations when a sign problem is hindering the application of stochastic methods. In addition, with the Hamiltonian formulation of lattice field theories also real time simulations become possible, opening up new insights in the dynamical properties of physical systems.
Tensor network based methods have been introduced for lattice field theory methods in many works, see, e.g. Refs. [2,3,4,5,6]. The success of TNS lies on the fact that only a small subspace of the complete Hilbert space describes the physically often only relevant low energy physics. Therefore, various phenomena such as string breaking and real-time dynamics [7,8,9,10,11,12] or the phase structure of gauge theories at finite fermionic densities [13,14,15,16] have been investigated using TNS on moderately large lattice volumes.
More recently, quantum computer simulations have been performed for lattice gauge theories. In this approach, the number of required qubits grows only linearly with the number of lattice sites. There are also proposals to implement real-time dynamics for scalar quantum field theories and quantum electrodynamics [17,18,19]. Since quantum computations use the Hamiltonian formulation, they can completely avoid the sign problem. Quantum computers therefore allow to realise Feynman’s vision to simulate nature on a quantum mechanical, physical system [20].
The literature of quantum computations for lattice gauge theories has increased tremendously in the last years, see Refs. [4, 5, 21,22,23,24]. There are various approaches for implementing lattice gauge theories using optical lattices [25,26,27], atomic and ultra-cold quantum matter [28,29,30,31,32,33,34,35,36,37,38,39], and further proof-of-principle implementations on a real superconducting architecture [21,22,23, 40, 41] and real-time and variational simulations on a trapped ion system [42, 43]. For recent overviews see Refs. [3,4,5, 44].
A very important aspect of quantum computations is the quest for the most efficient discretisation scheme of the corresponding gauge group needed to apply both, TNS and QC methods, see e.g. Ref. [45]. Work in this direction, both for Abelian gauge theories with and without fermions has been performed by a number of groups already, see for instance Refs. [24, 46,47,48,49,50]. Also for non-Abelian SU(2) and SU(3) lattice gauge theories there are a number of works available [51,52,53,54,55,56,57,58,59,60,61]. For more algorithmic developments we refer to Refs. [62,63,64]. Another possible formulation is provided by the so-called quantum link model [65,66,67].
In particular for non-Abelian SU\((N_c)\) lattice gauge theories it is important to understand how to most efficiently digitise the gauge field operators \({\hat{U}}\) and the corresponding canonical momentum operators \({\hat{L}}\) and \({\hat{R}}\) constituting the Hamiltonian
In the above sums, \(\textbf{x}\) represent the coordinates of a d-dimensional lattice and k, l label the corresponding directions with \({\hat{l}}, {\hat{k}}\) unit vectors in these directions. \(c = 1, \ldots , N_c^2-1\) indexes the generators of the algebra, \(g_0\) is the (bare) gauge coupling constant and the plaquette operator is defined as
The \(\hat{U}\) are the gauge field operators as explained further below and the trace is taken in colour space.
In the literature the first and second sum in Eq. (1) are called respectively (chromo-)electric and (chromo-)magnetic part. Most of the investigations of non-Abelian lattice gauge theories in the Hamiltonian formalism chose a basis of the Hilbert space \(\mathcal {H}\) such that the electric part is diagonal. This leads for instance to the so-called character expansion or loop-string formulations, the status of which is elaborately discussed in Ref. [68].
In this paper we are going to explore a different pathway: following the ideas discussed for U(1) in Refs. [24, 49] we will develop a formulation with a basis of \(\mathcal {H}\) in which the non-Abelian gauge field operators are diagonal. For this purpose we use the digitisations we recently proposed in Refs. [69, 70], which provide a natural discretised parametrization of SU(2) and which can be extended to larger \(N_c\)-values. For more works related to digitised SU\((N_c)\) gauge fields see Refs. [71,72,73,74].
The remaining task is to find the corresponding digitised versions of the operators \({\hat{L}}, {\hat{R}}\) or directly the Casimir operator \({\hat{L}}^2 + {\hat{R}}^2\), which we are going to discuss in the following. We will show that it is possible to find discrete versions of \({\hat{L}}, {\hat{R}}\) fulfilling the fundamental commutation relations up to discretisation effects. Moreover, we show that in order to reproduce the spectrum of the free Hamiltonian, the aforementioned Casimir operator needs to be discretised directly. If this is done, spectrum and eigenstates of the free Hamiltonian are reproduced up to discretisation effects, the size of which depends on the specific choice of the partitioning of SU(2).
2 Commutators and state space
To be concrete, we define the set of coordinates of the d-dimensional spatial lattice as
with k labelling the directions as above. a is the lattice spacing which we set to \(a=1\) in the following and \(L_k\in \mathbb {N}\) the lattice extent in direction k. The quantization conditions are imposed at each point of the space time lattice. This gives freedom for any choice of the boundary conditions, which are inessential for the rest of our discussion.
States on the full lattice are constructed by tensor products of basis states for each lattice site and direction. This is why it is sufficient to discuss the discretisation for one lattice site and direction and, thus, we will drop the spatial coordinates \(\textbf{x}\) and the directions k.
Classically, for each lattice site and direction the gauge link U is an SU\((N_c)\) matrix in the fundamental representation, with \(N_c^2\) elements \(u_{ij}\). On the quantum level, the elements of the gauge fields \({\hat{u}}_{ij}\in \mathbb {L}\) become operators, with \(\mathbb {L}\) the linear operators \(\mathcal {H}\rightarrow \mathcal {H}\). Now, \(\hat{U}\) is a \(N_c\times N_c\) operator valued matrix, which is constrained as follows: given a gauge field state \(|U\rangle \in \mathcal {H}\) of the system with \(\hat{U}|U\rangle = U|U\rangle \) we require that \(U\in \textrm{SU}(N_c)\) in the fundamental representation. \(\hat{L}_{c},\hat{R}_c\in \mathbb {L}\) on the other hand represent the corresponding canonical momenta (in the adjoint representation), which are generating the left and right gauge transformations.
Given the \(\hat{U}\), the momenta are defined via the fundamental commutation relations
Here, \(t_c\) are the generators of the corresponding Lie algebra. Moreover, the \(\hat{L}_c\) resemble the group structure
with the the structure constants \(f_{abc}\) of the algebra, and likewise the \(\hat{R}_c\).
Specifically, for SU(2), the generators are given by the Pauli matrices \(t_c\) with indices \(c=1,2,3\). We parametrise the basis for the gauge field states as follows: \(U\in \)SU(2) can be parametrised with three real valued parameters \(y_0, y_1, y_2\) as follows
Since SU(2) is isomorphic to the sphere \(S_3\), we can also write \(y=(y_0, y_1, y_2, y_3)^t \in S_3\). Accordingly, we define operators \({\hat{y}}_j:\mathcal {H}\rightarrow \mathcal {H}\) by the following action
and
This defines the action of \({\hat{U}}:\mathcal {H}\rightarrow \mathcal {H}\) on a given state via
Therefore, the \(y_{0,1,2}\) can be regarded as quantum numbers labelling the states \(|y_0, y_1, y_2\rangle \equiv |U(y)\rangle \) which are simultaneous eigenstates of operators \({\hat{y}}_{0,1,2}\).
Alternatively, one could also work with three angles \(\vec \alpha \) which can be used to parametrise \(U = \exp (\textrm{i}\, \vec \alpha \cdot \vec t)\). Given \(\vec \alpha \), the \(y_i\) can be readily computed. For quantisation, each angle \(\alpha _i\) is then promoted to a linear operator \(\mathcal {H}\rightarrow \mathcal {H}\).
Formally, the canonical momenta are defined as Lie derivatives:
for a function f(U), \(f:\textrm{SU}(2) \rightarrow \mathbb {R}\).
The states parametrised by \(y_0, y_1\) and \(y_2\) can be discretised using one of the partitionings we proposed in Ref. [69], or any other partitioning of SU(2). In fact, the precise form of the partitioning becomes only relevant for our numerical experiments presented in later sections.
Next we will discuss how to discretise the momenta Eq. (6) for such a partitioning. A first approach to this problem can be found in Ref. [75]. However, while there we could define the momenta such that the fundamental commutation relations are fulfilled up to discretisation effects, the naïve approach of squaring the so constructed operators does not lead to a free Hamiltonian for which the spectrum converges.
3 Construction of triangulated derivatives
We consider an arbitrary finite subset \(\mathcal {D} = \{ D_i \} \subset \textrm{SU}(2)\). We will now discuss how to construct \({\hat{L}}, {\hat{R}}\) based on finite element methods, developed for triangulated manifolds. For a more in depth introduction to this type of methods we recommend Refs. [76,77,78]. To make use of these methods, we again employ the isomorphism between SU\((2)\) and \(S_3\): \(L_c\) and \(R_c\) can be also understood as covariant derivatives on \(S_3\) in directions
at point U. Furthermore \(\{ t_c \, U \, | \, c \in \{1,2,3\} \}\) forms an orthonormal basis of the tangent space at point U. The same holds for \(\{ U \, t_c \, | \, c \in \{1,2,3\} \}\). This means that for the continuous version of the operators
where \(\Delta \) denotes the Laplace–Beltrami operator on \(S_3\).
In the following we will construct the covariant derivative as well as the Laplace–Beltrami operator following the methods presented in Refs. [77, 78], respectively.
3.1 Construction of the gradient
To construct a discrete version of the covariant derivative, we first need to perform a Delaunay triangulation [79] of the points on \(S_3\) embedded in \(\mathbb {R}^4\). This triangulation connects the points of our partitioning to 3-simplices (tetrahedons), such that the ball spanned by the vertices of each simplex does not contain any of the other vertices. The result is a set of simplices
where \(i_0, \dots , i_3\) label the vertices \(D_{i_k}\) of each simplex. In our case in four dimensions the simplices are tetrahedrons, i.e. they are built from four vertices.
Next we discretise the functions by introducing the basis functions on \(S_3\) which have to property
on the vertices of our partitioning, while within a simplex connected to vertex j they are linear piece-wise functions that interpolate the values between the corresponding vertices. Within all other, not connected simplices \(\phi _j\) is identically zero. With these definitions we can construct a discrete version \(\tilde{f}\) of an arbitrary function \(f: \textrm{SU}(2) \rightarrow \mathbb {R}\)
For the linear interpolation, we introduce local coordinates \(\vec \alpha \) relative to vertex \(i_0\) by noting that every U in a simplex \(C\in \mathcal {C}\) can be written as
A sketch of this construction for the two dimensional case can be found in Fig. 1. We can then use \(\vec \alpha \) to approximate f(U) within C as
with \(\vec \nabla f_C\) corresponding to the covariant derivative in C we want to compute. In order to reproduce the function values at the vertices \(i_{1,2,3}\) with local coordinates \(\vec \alpha _{1,2,3}\), \(\vec {\nabla } f_C \) needs to fulfil the linear equation
For the special case of the basis function \({\tilde{f}} = \phi _i\) only simplices containing i will have a non trivial covariant derivative. As seen in Fig. 2 (again for the two dimensional case) it will be pointing in the direction of the normal vector of the face opposite to the vertex i.
Similarly, for \(R_c\) a right \(\vec \nabla \) can be constructed by introducing coordinates from
instead of Eq. (12) followed by the same steps as above.
A good approximation of the covariant derivative at a vertex i can be obtained by taking a weighted average over all simplices C which have i as one of their vertices:
with weights \(w_C\) and
The weight \(w_C\) can be calculated in different ways as e.g. presented in Ref. [77]. We consider here weighting by the simplex volume
Numerical experiments show that this choice of weights works well. Therefore, we leave investigations of alternative choices for future work. It might regain importance in conjunction with ensuring Gauss’ law.
The matrix elements of the operator \({\hat{L}}_c\) are then calculated as
The same holds for \(R_c\), the only difference being the different calculation of the local coordinates in Eq. (15).
3.2 Construction of the Laplace–Beltrami operator
As our approximation of the covariant derivative is based on linear interpolation, simply calculating \(\sum _c L_c^2\) is unlikely to give good results for the Laplace–Beltrami operator. It requires second order derivatives which are intrinsically ignored in linear approximations. Instead, a common approach is to approximate the operator by making use of Greens identity.
We start from the Laplace equation
and we first introduce the inner product
where the integral is carried out over the local coordinates defined in Eq. (12) and the integral over the volume is split into the sum of the integrals over simplices. We can project Eq. (20) to a basis function \(\phi \) defined in Eq. (10)
The left hand side can be computed using Green’s theorem
Here \(\vec {n}\) denotes the normal vector of the simplex C. As the normal vectors of the two simplices connected at a given face will oppose each other, the boundary term vanishes, when summing over all simplices. In the next step we are approximating the function u with its projection on the space spanned by the basis functions, i.e. \({\tilde{u}}=\sum _j u_j \phi _j\) obtaining the matrix equation
The gradient of the basis function inside a simplex is a constant and the integral over the volume can be computed explicitly
We approximate the integral on the right-hand side of Eq. (21) as a Riemann sum
As weights we will use the volumes of the cells of the barycentric dual of the triangulation. These distribute the volume of each simplex equally onto each of its vertices and are thus given by
Equating Eqs. (24) and 26 one obtains
Thus, the matrix form of \(\hat{\vec {L}}^2\) can then be calculated as
As the Laplacian is independent of local coordinates, \(\hat{\vec {R}}^2=\hat{\vec {L}}^2\) holds like in the continuum also for the discretised operators. Note that like for the linear operator \(\hat{\vec L}_{ij}\), the matrix form of the discretised operator \(\hat{\vec {L}}^2_{ij}\) is still local and sparse, even though we have used a global integral definition for its construction. This will no longer be the case if a higher order integration scheme is adopted in Eq. (26), in which case one has to take a matrix M on the right had side of the discretised Eq. (20) into account, i.e. \(S_{ij}u_j=M_{ij}f_j\). As a consequence one obtains \(\hat{\vec {L}}_{ij}^2=-M^{-1}_{ik}S_{kj}\) with \(M^{-1}\) a dense matrix.
3.3 Partitionings of SU(2)
For convenience we compile here the definitions for the partitionings of SU(2) we are going to use in the following. More details on the first four partitionings can be found in Ref. [69]. The rotated simple cubical and the rotated face centred partitionings are new compared to Ref. [69].
3.3.1 Genz points
We rely on the isomorphism Eq. (5) between \(S_3\) and SU(2) to define the set of Genz points for given \(m\ge 1\) as
This contains all integer partitions \(\{ j_0,\dots ,j_3\}\) of \(m\ge 1\) including all permutations and adding all possible sign combinations.
3.3.2 Linear partitioning
Very similarly, the linear partitioning is defined as the set of points in \(S_3\) based on the same isomorphism
with
M takes values \(m\ge M \ge \frac{m}{\sqrt{4}}\).
3.3.3 Volleyball partitioning
A variation of \(L_m\) is given by the Volleyball partitioning
with M defined in Eq. (32), which takes values \(m \le M \le \sqrt{4} \, m\). Additionally, the corners of the hypercube, in four dimensions also called \(C_8\), form
which is responsible for the name.
3.3.4 Fibonacci partitioning
For a Fibonacci like lattice on \(S_3\) we first generate a lattice the unit cube \([0,1)^3\) defined by
with
where \(\mathbb {Q}\) denotes the field of rational numbers. In Ref. [69] we have chosen \(a_1=\sqrt{2}\) and \(a_2=\sqrt{3}\). The set of points \(\Lambda _n\) can then be mapped to arbitrary manifolds, such as \(S_3\). In order to maintain a uniform density of points, this map needs to volume preserving. In spherical coordinates, defined by
it can be implemented by the functions
where the function \(\Phi _1(\psi )\) is defined via its inverse
3.3.5 Other uniform partitionings
Finally we can also use the functions defined in Eq. (37) to map other uniform point sets from the unit cube to the sphere. An obvious choice would be the simple cubic lattice defined by [80]
with a rotation matrix \(\text {R} \in \text {SO}(3)\). Here \(d_{\text {SC}}(n)\) denotes the lattice spacing needed to fit n points into the unit cube
The number of sites found inside the cube will be close to n. In general we however still expect a small difference between n and \(N\equiv |\Lambda _n^{\text {SC}}|\). While this is no issue for our application, an exact matching can in principle be achieved by additionally implementing and tuning a translational offset between the unit cube and the lattice.
The rotation matrix \(\text {R}\) is used to achieve misalignment of the lattice planes and the faces of the unit cube. This is required to ensure that lattice sites cross the cube boundary individually with varying lattice spacing. Thus no entire plane of lattice sites is found just in or outside the cube. For the cubical lattice successive rotations by an angle of \(\pi /8\) around \(\hat{e}_1\), \(\hat{e}_2\) and \(\hat{e}_3\) seem to work well.
To maximise the distance between points we also consider the face centred cubic lattice given by [80]
The lattice spacing for n points is here given by
and maximal as proved in Ref. [81]. R is kept from the simple cubical lattice. In the following we will refer to these partitionings as the rotated simple cubical (RSC) and the rotated face centred cubical (RFCC) partitioning respectively.
3.4 Operator convergence
The discretised Laplace–Beltrami operator directly enters the Hamiltonian. Thus, we have to make sure that first of all the spectrum of the discretised operator converges to the corresponding continuum spectrum. From the original publication by Kogut and Susskind [1] the spectrum should be determined by main angular momentum quantum number J and two independent magnetic quantum numbers \(m_L\) and \(m_R\) with \(J\ge m_L,m_R\ge 0\). The two magnetic quantum numbers emerge because every link connects to two lattice sites with independent gauge transformations (or left and right gauge transformations). Therefore, the continuum spectrum is given by
with multiplicity \((J+1)^2\). We note that the eigenvalues are usually written as \(\lambda = j(j+1)\) with \(j=0, 1/2, 1,...\) [1]. The form given above is obtained through rescaling by a factor 4 and identifying \(J=2j\). Then, it matches the spectrum Eq. (42) of the Laplace–Beltrami operator on \(S_3\) discussed above.
In addition to the spectrum we also require that the correct states, i.e. the wave functions, are obtained in the continuum limit. In order to show this we resort to the concept of convergence in the resolvent sense. Let \(\mathcal {R}\) be the set of resolvents of \(-\Delta \). In our case \(\mathcal {R}=\mathbb {C}\setminus \mathcal {S}\), because then with any given \(\rho \in \mathcal {R}\) the inverse of \((\rho -\Delta )\) exists and is bounded from above. Then, we need to show that
with \(\lim _{m\rightarrow \infty }\mathcal {D}_m = S_3\). Although, the functional analytic convergence analysis of the approximation is shown in Appendix A, the analysis in Appendix A only implies convergence of the spectrum without any further detail on the rate of convergence. At this point, we will therefore check Eq. (43) numerically because the convergence of the spectrum can be estimated against the convergence of resolvents using holomorphic functional calculus for the spectral projectors [82].
To do so, we first introduce the eigenfunctions \(Y_{J, l_1, l_2}\) of \(-\Delta \) in the continuum. They are given by the spherical harmonics in four dimensions [83].
Note that J is the same as above and the eigenvalues of the continuum \(\Delta \) are independently of \(l_1\) and \(l_2\) given by \(\lambda = J(J + 2)\). The \(l_{1,2}\) are not identical with the magnetic quantum numbers \(m_{L,R}\), however. Instead, the obey the condition \(J \ge l_1 \ge |l_2|\). It can readily be checked that this condition leads to the same multiplicity \((J+1)^2\) as above.
The spherical harmonics can be expressed in terms of the spherical coordinates introduced in Eq. (36) as
where
\(P^{-\mu }_{\nu } (x)\) here denote the Legendre functions of first kind and are given in terms of the hyper-geometric function \({}_2 F_1\) as
Similarly to their famous counterparts on \(S_2\), these form an orthonormal basis of the square integrable functions on \(S_3\). Thus we can express the discretised operator \(\Delta _{\mathcal {D}_m}\) in this basis by evaluating
Similarly to Eq. (26), we can approximate this integral numerically by evaluating the spherical harmonics at the vertices of \(\mathcal {D}_m\) and weighting them with the corresponding barycentric cell volume v(j).
If we then implement an upper limit for J by imposing \(J < J^{\max }\) we can finally evaluate and check Eq. (43). Such a truncation is acceptable, as bigger J correspond to bigger eigenvalues \(\lambda = J(J + 2)\) leading to decreasing contributions to the inverse operator \((\rho - \Delta )^{-1}\).
As the operator norm \(\Vert \cdot \Vert \) of an operator O we choose
where \(\lambda _{\max }\) denotes the biggest eigenvalue of \(O^{\dagger } O\).
4 Numerical experiments
In the following, we benchmark the performance of several representative partitionings as applied to different observables. A complete list including all the partitionings we considered for this work can be found in Appendix B.
4.1 Volume convergence
In Sect. 3 we have shown how to construct the Laplace–Beltrami operator based on a triangulation procedure in \(S_3\) based on the partitioning. For this we have used the barycentric cell volumes v(j) according to Eq. (27). The sum of all v(j) approximates the volume of \(S_3\), and by increasing the number of points in the partitioning we expect convergence towards Vol\((S_3)\).
The speed of convergence will certainly depend on the actual partitioning, and we expect this in turn to influence the approximation of the Laplace–Beltrami operator. This is in particular so because we have used Greens theorem neglecting the fact that we only approximate \(S_3\).
In Fig. 3 we plot
as a function of 1/N for different partitionings in a double logarithmic plot, where we recall that N is the number of elements in the respective partitioning. For the Genz, the Linear and the Volleyball partitionings we observe that the missing volume \(\delta V\) is proportional to \(N^{-y}\) with \(y\approx 2/3\) for Linear and Volleyball partitionings and \(y\approx 1/2\) for the Genz points.
Since the mean distance between two points is roughly \(N^{-1/3}\), we conclude that convergence towards \(S_3\) appears to be quadratic in the mean distance for the Linear and the Volleyball partitioning. For the Genz points on the other hand convergence is proportional to the mean distance to the power of 3/2, and thus significantly slower. We recall from [69] that the distance between neighbouring points is 1/m for the Linear partitioning \(L_m\) mostly independent of the direction, whereas it is between 1/m and \(\sqrt{2/m}\) for the Genz partitioning \(G_m\) depending on the direction and the point itself. In particular, the weights of the different points (derived from the associated volume) differ by up to a factor \(m^{3/2}\) for \(G_m\), while the corresponding weight factor for \(L_m\) is independent of m. Thus, Genz points are significantly less isotropically distributed on \(S_3\), which is responsible for the slower convergence.
The Fibonacci partitioning with \(a_1=\sqrt{2}\) and \(a_2=\sqrt{3}\) fixed for all N shows an irregular convergence behaviour: for small N it seems to be similar to the Linear partitioning, then it appears to converge like the Genz points for intermediate N-values, but gets in line again with the Linear partitioning for large N. Similar behaviour is also observed for other choices for \(a_1\) and \(a_2\), only the location of the bump changes.
The reason for this is the following: for a poor choice of the coefficients \(a_1\) and \(a_2\) the modulo operation in \(t_m^2\) and \(t_m^3\) can lead to an almost periodic behaviour, such that \(t_m^{2/3} \approx t_{m+p}^{2/3}\). If the period p is small, this means that the points \(t_m\) and \(t_{m+p}\) end up close together in the cube and on \(S_3\). Having multiple lattice sites in almost the same spot will do little to improve the quality of our Riemann sum and thus leads to the slowing down in convergence. The return to the convergence rate of the linear and Volleyball partitionings towards larger N is observed, because Eq. (35) ensures that \(t_m^{2/3} \ne t_{m+p}^{2/3}\). Their non-zero difference then becomes more and more significant with finer lattice spacing, and thus eventually removes the periodicity in the coordinates.
In order to overcome this irregular convergence pattern of the original Fibonacci partitioning, we choose \(a_1\) and \(a_2\) separately for each N. The distance of a potential close neighbour with period p can be calculated as
An upper bound for p is given by
as the face centred cubical packing maximises the distance between lattice points. Thus we can predict the distance to the closest neighbour for two coefficients \(a_1\) and \(a_2\) by evaluating
With this we can simply iterate over a suitable set of coefficients \(a_{1/2}\) until the desired minimum distance is reached. In our implementation we iterated over the square roots of the prime numbers until
was fulfilled.
The volume convergence of the original and the such optimised Fibonacci partitionings are compared in Fig. 4. We observe that the irregularities are mostly gone in the optimised version. However, since \(a_1\) and \(a_2\) parameters are optimised for each N, one can expect a uniform convergence rate, but the amplitude might still depend on N, which is what we see in the form of outliers. In the following we, therefore, use the Fibonacci partitioning with optimised values for \(a_1\) and \(a_2\) only.
This remaining irregularity can be cured by using the RFCC or the RSC partitionings, as also shown in Fig. 4. The smallest overall deviations from the volume of \(S_3\) are actually observed for the RFCC partitioning, but the RSC does not perform significantly worse.
4.2 Commutation relations
With the above definitions of \({\hat{L}}\) and \({\hat{R}}\) it is ensured that if applied to a constant vector one obtains zero. Much like in the one dimensional case of a finite difference operator, we expect \({\hat{L}}\) and \({\hat{R}}\) to work best if applied to slowly varying vectors in the algebra. Thus we choose some of the lower lying spherical harmonics \(Y_{J, l_1,l_2}\) defined in Eq. (44) as test functions. For each harmonic we can compute the corresponding error vector
and then the mean deviation weighted by barycentric cell volume v(i) as
Likewise, we define
with the appropriate structure constant \(f_{abc}\) for SU(2), and
In Fig. 5 we plot \(r_\textrm{LU}\) and \(r_\textrm{LL}\) for exemplary combinations of indices j and l as a function of 1/N. Results are shown for the different partitionings of SU(2) and different spherical harmonics.
We observe that \(r_\textrm{LU}\) approaches zero with increasing N. The convergence rate appears to be depending on the partitioning used: while Genz points seem to converge the slowest, the Linear and RFCC partitionings work best in this respect. As expected the deviations increase when using faster oscillating harmonics.
For \(r_\textrm{LL}\), and thus the deviations from the expected behaviour in the commutator of L with itself, the picture is less clear. We again see a decrease in \(r_\textrm{LL}\) with increasing N, however, the convergence rate appears slower and the scaling region might set in only at larger N compared to \(r_\textrm{LU}\).
Interestingly, the Linear partitioning shows the fastest convergence for \(r_\textrm{LL}\) compared to all the other partitionings investigated here.
4.3 Spectrum in the free theory
We compute the spectrum of the discretised Laplace–Beltrami operator \(-\Delta _{\mathcal {D}_m}\) for different partitionings \(\mathcal {D}\) and values of m numerically. We note that the lowest eigenvalue \(\lambda _1=0\) per construction, and therefore we are going to mostly exclude \(\lambda _1\) from the following discussion.
For the linear partitioning we show the 60 lowest eigenvalues \(\lambda _i\) in Fig. 6. While the different point styles distinguish values of m from 4 to 25, the line indicates the continuum spectrum from Eq. (42). It is clearly visible that with increasing m the spectrum of \(-\Delta _{L_m}\) converges towards the continuum spectrum with the correct multiplicity.
In Fig. 7 we show the convergence for different eigenvalues \(\lambda _\textrm{P}\) of the discretised Laplace–Beltrami operator separately. We plot the relative deviation from the expected continuum value \(\lambda \)
as a function of 1/N for different eigenvalues \(\lambda _k\) with \(k=2, 5, 6, 14, 15, 30, 31, 55\). Note that we order the eigenvalues such that \(\lambda _i \le \lambda _{i+1}\). Our choices for i, therefore, correspond to the first and the last eigenvalue in a multiplet. We observe convergence towards the expected continuum value for all the eigenvalues we investigated and all the partitionings.
The most regular and smooth convergence pattern is observed for the linear partitioning. The Volleyball partitioning behaves similarly, but with some dependence on the actual value of N. The convergence rate of the RFCC partitioning falls in line with the one of the Linear partitioning, but with somewhat smaller amplitude.
The Genz partitioning seems to be also converging, however, with a visibly slower convergence rate than the other partitionings towards large N-values. In particular for the last eigenvalues of a given multiplet we also observe sign changes in \(\lambda _\textrm{P}-\lambda \).
Empirically, the convergence rates appear to be independent of the index i and very similar to the rates of convergence of the volume.
4.4 Operator convergence
Finally, we discuss the operator convergence by checking Eq. (43) numerically. For this we pick a value from the resolvent set of \(\rho =-2\). Other \(\rho \)-values lead to similar and qualitatively equivalent results.
In Fig. 8 we plot
as a function of 1/N for \(\rho =-2\). As discussed in Sect. 3.4, we evaluate Eq. (56) using a finite subset of the spherical harmonics \(Y_{J, l_1, l_2}\) by imposing \(J < J_\textrm{max}\). The three different \(J_\textrm{max}\)-values are \(J_\textrm{max}=6\), \(J_\textrm{max}=8\) and \(J_\textrm{max}=11\).
Concentrating on the uppermost panel for \(J_\textrm{max}=6\) to start with, we observe gap convergence for all partitionings shown. The convergence rate is proportional to \(N^{-z}\) with \(z\approx 0.7\) for all partitionings apart from Genz. For the Genz partitioning the convergence is very slow with \(z\approx 0.1\). This picture remains the same for large N-values for the two other \(J_\textrm{max}\)-values.
For \(J_\textrm{max}=8\) and \(J_\textrm{max}=11\) another feature becomes visible: for \(N\rightarrow 0\) the gap plateaus at a value of \(1/|\rho |\). At the corresponding values of N there are not sufficiently many points in the partitioning to resolve all the \(Y_{J, l_1, l_2}\).
5 Discussion
There are a few points that deserve discussion. First, the results from the previous section indicate that the points in a partitioning should be as uniformly distributed as possible: the main difference between the Genz \(G_m\) and the Linear \(L_m\) partitionings is that in the Genz set points are denser around the poles. This leads to larger deviations from the mean distance for \(G_m\) compared to \(L_m\) at fixed m, which in turn means slower convergence to the volume of \(S_3\). This conclusion is strongly supported by the comparison of original Fibonacci and optimised Fibonacci partitioning, where the difference in convergence can be clearly traced back to the non-uniformity in the original Fibonacci version for certain values of N. For additional results supporting this conclusion we refer to Appendix B.
Since we define the Laplace–Beltrami operator via an integral relation Eq. (29), the aforementioned effects from non-uniformity are expected to also influence the spectrum of the discretised operator as well as the gap convergence. This explains the slower convergence rates observed for the Genz partitioning for most of the investigated quantities.
In addition, we observe plateaus in the gap in Fig. 8 for small values of N. The extent of the plateaus depends on \(J_\textrm{max}\). They originate from a sufficiently large N being required to resolve all the states up to a given \(J_\textrm{max}\). More specifically, J corresponds to an (angular) momentum. The highest momentum \(J_\text {max}\) that can be resolved on a lattice, is dictated by the inverse lattice spacing. Put differently, the lattice discretisation acts as an ultraviolet cutoff. Since the lattice spacing is proportional to \(N^{-1/3}\), the plateaus are expected for \(N\lesssim J_\text {max}^3\). This is well compatible with Fig. 8.
6 Conclusion and outlook
In this paper we have shown how to discretise the electric part in the Hamiltonian Eq. (1) for the gauge group SU(2), when the basis is chosen such that the gauge field operators \({\hat{U}}\) are diagonal. It turns out that the canonical momentum operators \({\hat{L}}\) and \({\hat{R}}\) can be constructed by discretising the corresponding Lie derivatives based on a triangulated partitioning of SU(2). Mostly independently on the choice of the partitioning the such constructed operators fulfil the fundamental commutation relations up to discretisation effects. However, when it comes to reproducing the free spectrum of the theory, it is not sufficient to insert these \({\hat{L}}\) and \({\hat{R}}\) squared into the Hamiltonian.
It is rather necessary to construct a discrete version of the electric part in the Hamiltonian directly by realising that it corresponds to the Laplace–Beltrami operator on \(S_3\). This operator can be discretised by means known from finite element methods.
Then, our results show that with sufficiently uniform partitionings the low lying eigenvalues of the discretised Laplace–Beltrami operator converge towards their continuum counterparts. The larger the number of points N in the partitioning, the more eigenvalues can be resolved. Likewise, the continuum wave functions are reproduced with \(N\rightarrow \infty \). Thus, we conclude that the discretised free Hamiltonian reproduces the free theory up to discretisation effects. The size of these artefacts can be reduced arbitrarily by increasing N.
In the future we will investigate the SU(2) discretisation proposed in this paper beyond the free theory. Moreover, the implementation of Gauss’ law and the consequences of the breaking of the fundamental commutation relations (albeit only by discretisation effects) will be important to understand.
Data availability statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There was no data generated. Access to the codes used to generate the figures will be granted on request.]
Notes
Let M be a compact manifold without boundary, \(k,r\in \mathbb {N}_0\), \(\alpha \in [0,1)\), \(p\ge 1\), and \(\frac{k-r-\alpha }{\dim M}\ge \frac{1}{p}\). Then, \(W_p^k(M)\subseteq C^{r,\alpha }(M)\).
We will suppress the projections \({\text {pr}}_{L_2(\textrm{SU}(2))|_n}\) for brevity, i.e., we will simply write \(\Delta _P|_n\) and \(\Delta |_n\) instead of \({\text {pr}}_{L_2(\textrm{SU}(2))|_n}\Delta _P|_n\) and \({\text {pr}}_{L_2(\textrm{SU}(2))|_n}\Delta |_n\). This has no impact on the following estimates since \(\left\Vert {{\text {pr}}_{L_2(\textrm{SU}(2))|_n}x}\right\Vert \le \left\Vert {x}\right\Vert \).
References
John B. Kogut, Leonard Susskind, Hamiltonian formulation of Wilson’s lattice gauge theories. Phys. Rev. D 11, 395–408 (1975). https://doi.org/10.1103/PhysRevD.11.395
Pietro Silvi, Enrique Rico, Tommaso Calarco, Simone Montangero, Lattice gauge tensor networks. New J. Phys. 16, 103015 (2014). https://doi.org/10.1088/1367-2630/16/10/103015
M. Dalmonte, S. Montangero, Lattice gauge theory simulations in the quantum information era. Contemp. Phys. 57, 388–412 (2016). https://doi.org/10.1080/00107514.2016.1151199
Mari Carmen Bañuls, Krzysztof Cichy, Review on novel methods for lattice gauge theories. Rep. Prog. Phys. 83, 024401 (2020). https://doi.org/10.1088/1361-6633/ab6311
Mari Carmen Bañuls, Rainer Blatt, Jacopo Catani, Alessio Celi, Juan Ignacio Cirac, Marcello Dalmonte, Leonardo Fallani, Karl Jansen, Maciej Lewenstein, Simone Montangero, Christine A. Muschik, Benni Reznik, Enrique Rico, Luca Tagliacozzo, Karel Van Acoleyen, Frank Verstraete, Uwe-Jens. Wiese, Matthew Wingate, Jakub Zakrzewski, Peter Zoller, Simulating lattice gauge theories within quantum technologies. Eur. Phys. J. D 74, 165 (2020). https://doi.org/10.1140/epjd/e2020-100571-8
M.C. Bañuls, K. Cichy, J. I. Cirac, K. Jansen, S. Kühn, Tensor networks and their use for lattice gauge theories. PoS(LATTICE 2018)022 (2019). https://doi.org/10.22323/1.334.0022
Boye Buyens, Jutho Haegeman, Karel Van Acoleyen, Henri Verschelde, Frank Verstraete, Matrix product states for gauge field theories. Phys. Rev. Lett. 113, 091601 (2014). https://doi.org/10.1103/PhysRevLett.113.091601
Stefan Kühn, J. Erez Zohar, Ignacio Cirac, Mari Carmen Bañuls, Non-abelian string breaking phenomena with matrix product states. J. High Energy Phys. 2015, 130 (2015). https://doi.org/10.1007/JHEP07(2015)130
T. Pichler, M. Dalmonte, E. Rico, P. Zoller, S. Montangero, Real-time dynamics in u(1) lattice gauge theories with tensor networks. Phys. Rev. X 6, 011023 (2016). https://doi.org/10.1103/PhysRevX.6.011023
Boye Buyens, Jutho Haegeman, Florian Hebenstreit, Frank Verstraete, Karel Van Acoleyen, Real-time simulation of the Schwinger effect with matrix product states. Phys. Rev. D 96, 114501 (2017). https://doi.org/10.1103/PhysRevD.96.114501
M.C.n Banuls, M.P. Heller, K. Jansen, J. Knaute, V. Svensson, From spin chains to real-time thermal field theory using tensor networks. Phys. Rev. Res. 2, 033301 (2020) (2019). https://doi.org/10.1103/PhysRevResearch.2.033301
Marco Rigobello, Simone Notarnicola, Giuseppe Magnifico, Simone Montangero, Entanglement generation in 1+1d QED scattering processes. Phys. Rev. D 104, 114501 (2021). https://doi.org/10.1103/physrevd.104.114501
Mari Carmen Bañuls, J. Krzysztof Cichy, Ignacio Cirac, Karl Jansen, Stefan Kühn, Density induced phase transitions in the Schwinger model: a study with matrix product states. Phys. Rev. Lett. 118, 071601 (2017). https://doi.org/10.1103/PhysRevLett.118.071601
Pietro Silvi, Enrique Rico, Marcello Dalmonte, Ferdinand Tschirsich, Simone Montangero, Finite-density phase diagram of a (1 + 1)-d non-abelian lattice gauge theory with tensor networks. Quantum 1, 9 (2017). https://doi.org/10.22331/q-2017-04-25-9
Timo Felser, Pietro Silvi, Mario Collura, Simone Montangero, Two-dimensional quantum-link lattice quantum electrodynamics at finite density. Phys. Rev. X 10, 041040 (2020). https://doi.org/10.1103/PhysRevX.10.041040
P. Silvi, Y. Sauer, F. Tschirsich, S. Montangero, Tensor network simulation of an SU(3) lattice gauge theory in 1d. Phys. Rev. D (2019). https://doi.org/10.1103/physrevd.100.074512
Tim Byrnes, Yoshihisa Yamamoto, Simulating lattice gauge theories on a quantum computer. Phys. Rev. A 73, 022328 (2006). https://doi.org/10.1103/PhysRevA.73.022328
Stephen P. Jordan, Keith S. M. Lee, John Preskill, Quantum algorithms for quantum field theories. Science 336, 1130–1133 (2012). https://doi.org/10.1126/science.1217069
Simon V. Mathis, Guglielmo Mazzola, Ivano Tavernelli, Toward scalable simulations of lattice gauge theories on quantum computers. Phys. Rev. D 102, 094501 (2020). https://doi.org/10.1103/PhysRevD.102.094501
Richard P. Feynman, Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982). https://doi.org/10.1007/BF02650179
Natalie Klco, Jesse R. Stryker, Martin J. Savage, Su(2) non-abelian gauge field theory in one dimension on digital quantum computers. Phys. Rev. D 101, 074512 (2020). https://doi.org/10.1103/PhysRevD.101.074512
Yasar Atas, Jinglei Zhang, Randy Lewis, Amin Jahanpour, Jan F. Haase, Christine A. Muschik, Su(2) hadrons on a quantum computer. Nat. Commun. 12, 6499 (2021). https://doi.org/10.1038/s41467-021-26825-4
Anthony Ciavarella, Natalie Klco, Martin J. Savage, Trailhead for quantum simulation of su(3) yang-mills lattice gauge theory in the local multiplet basis. Phys. Rev. D 103, 094501 (2021). https://doi.org/10.1103/PhysRevD.103.094501
Giuseppe Clemente, Arianna Crippa, Karl Jansen, Strategies for the determination of the running coupling of (2 + 1)-dimensional QED with quantum computing. Phys. Rev. D 106, 114511 (2022). https://doi.org/10.1103/PhysRevD.106.114511. arXiv:2206.12454 [hep-lat]
D. Banerjee, M. Dalmonte, M. Müller, E. Rico, P. Stebler, U.-J. Wiese, P. Zoller, Atomic quantum simulation of dynamical gauge fields coupled to fermionic matter: from string breaking to evolution after a quench. Phys. Rev. Lett. 109, 175302 (2012). https://doi.org/10.1103/PhysRevLett.109.175302
L. Tagliacozzo, A. Celi, A. Zamora, M. Lewenstein, Optical abelian lattice gauge theories. Ann. Phys. 330, 160–191 (2013). https://doi.org/10.1016/j.aop.2012.11.009
L. Tagliacozzo, A. Celi, P. Orland, M.W. Mitchell, M. Lewenstein, Simulation of non-abelian gauge theories with optical lattices. Nat. Commun. 4, 2615 (2013). https://doi.org/10.1038/ncomms3615
H.P. Büchler, M. Hermele, S.D. Huber, P.A. Matthew, P. Zoller. Fisher, Atomic quantum simulator for lattice gauge theories and ring exchange models. Phys. Rev. Lett. 95, 040402 (2005). https://doi.org/10.1103/PhysRevLett.95.040402
Erez Zohar, Benni Reznik, Confinement and lattice quantum electrodynamic electric flux tubes simulated with ultracold atoms. Phys. Rev. Lett. 107, 275301 (2011). https://doi.org/10.1103/PhysRevLett.107.275301
J. Erez Zohar, Ignacio Cirac, Benni Reznik, Simulating compact quantum electrodynamics with ultracold atoms: probing confinement and nonperturbative effects. Phys. Rev. Lett. 109, 125302 (2012). https://doi.org/10.1103/PhysRevLett.109.125302
P. Hauke, D. Marcos, M. Dalmonte, P. Zoller, Quantum simulation of a lattice Schwinger model in a chain of trapped ions. Phys. Rev. X 3, 041018 (2013). https://doi.org/10.1103/PhysRevX.3.041018
Erez Zohar, J. Ignacio Cirac, Benni Reznik, Cold-atom quantum simulator for su(2) Yang–Mills lattice gauge theory. Phys. Rev. Lett. 110, 125304 (2013). https://doi.org/10.1103/PhysRevLett.110.125304
Erez Zohar, J. Ignacio Cirac, Benni Reznik, Simulating (\(2+1\))-dimensional lattice qed with dynamical matter using ultracold atoms. Phys. Rev. Lett. 110, 055302 (2013). https://doi.org/10.1103/PhysRevLett.110.055302
D. Banerjee, M. Bögli, M. Dalmonte, E. Rico, P. Stebler, U.-J. Wiese, P. Zoller, Atomic quantum simulation of u(n) and su(n) non-abelian lattice gauge theories. Phys. Rev. Lett. 110, 125303 (2013). https://doi.org/10.1103/PhysRevLett.110.125303
Erez Zohar, J. Ignacio Cirac, Benni Reznik, Quantum simulations of lattice gauge theories using ultracold atoms in optical lattices. Rep. Prog. Phys. 79, 014401 (2016). https://doi.org/10.1088/0034-4885/79/1/014401
C. Laflamme, W. Evans, M. Dalmonte, U. Gerber, H. Mejía-Díaz, W. Bietenholz, U.-J. Wiese, P. Zoller, Cp(n-1) quantum field theories with alkaline-earth atoms in optical lattices. Ann. Phys. 370, 117–127 (2016). https://doi.org/10.1016/j.aop.2016.03.012
Daniel González-Cuadra, J. Erez Zohar, Ignacio Cirac, Quantum simulation of the abelian-Higgs lattice gauge theory with ultracold atoms. New J. Phys. 19, 063038 (2017). https://doi.org/10.1088/1367-2630/aa6f37
E. Rico, M. Dalmonte, P. Zoller, D. Banerjee, M. Bögli, P. Stebler, U.-J. Wiese, So(3) “nuclear physics’’ with ultracold gases. Ann. Phys. 393, 466–483 (2018). https://doi.org/10.1016/j.aop.2018.03.020
T.V. Zache, F. Hebenstreit, F. Jendrzejewski, M.K. Oberthaler, J. Berges, P. Hauke, Quantum simulation of lattice gauge theories using Wilson fermions. Quantum Sci. Technol. 3, 034010 (2018). https://doi.org/10.1088/2058-9565/aac33b
N. Klco, E.F. Dumitrescu, A.J. McCaskey, T.D. Morris, R.C. Pooser, M. Sanz, E. Solano, P. Lougovski, M.J. Savage, Quantum-classical computation of Schwinger model dynamics using quantum computers. Phys. Rev. A (2018). https://doi.org/10.1103/physreva.98.032331
Giulia Mazzola, Simon V. Mathis, Guglielmo Mazzola, Ivano Tavernelli, Gauge-invariant quantum circuits for \(u\)(1) and Yang–Mills lattice gauge theories. Phys. Rev. Res. 3, 043209 (2021). https://doi.org/10.1103/PhysRevResearch.3.043209
E.A. Martinez, C.A. Muschik, P. Schindler, D. Nigg, A. Erhard, M. Heyl, P. Hauke, M. Dalmonte, T. Monz, P. Zoller, R. Blatt, Real-time dynamics of lattice gauge theories with a few-qubit quantum computer. Nature 534, 516 (2016). https://doi.org/10.1038/nature18318
Christian Kokail, Christine Maier, Rick van Bijnen, Tiff Brydges, Manoj K. Joshi, Petar Jurcevic, Christine A. Muschik, Pietro Silvi, Rainer Blatt, Christian F. Roos, Peter Zoller, Self-verifying variational quantum simulation of the lattice Schwinger model. Nature 569, 355 (2019). https://doi.org/10.1038/s41586-019-1177-4
L. Funcke, T. Hartung, K. Jansen, S. Kühn, Review on quantum computing for lattice field theory, in 39th International Symposium on Lattice Field Theory. (2023). arXiv:2302.00467 [hep-lat]
Zohreh Davoudi, Indrakshi Raychowdhury, Andrew Shaw, Search for efficient formulations for Hamiltonian simulation of non-Abelian lattice gauge theories. Phys. Rev. D 104, 074505 (2021). https://doi.org/10.1103/PhysRevD.104.074505. arXiv:2009.11802 [hep-lat]
N. Klco, E.F. Dumitrescu, A.J. McCaskey, T.D. Morris, R.C. Pooser, M. Sanz, E. Solano, P. Lougovski, M.J. Savage, Quantum-classical computation of Schwinger model dynamics using quantum computers. Phys. Rev. A 98, 032331 (2018). https://doi.org/10.1103/PhysRevA.98.032331. arXiv:1803.03326 [quant-ph]
R. Lewis, R.M. Woloshyn, A qubit model for U(1) lattice gauge theory. (2019). arXiv:1905.09789 [hep-lat]
Danny Paulson et al., Towards simulating 2D effects in lattice gauge theories on a quantum computer. PRX Quantum 2, 030334 (2021). https://doi.org/10.1103/PRXQuantum.2.030334. arXiv:2008.09252 [quant-ph]
J.F. Haase, L. Dellantonio, A. Celi, D. Paulson, A. Kan, K. Jansen, C.A. Muschik, A resource efficient approach for quantum and classical simulations of gauge theories in particle physics. Quantum 5, 393 (2021). https://doi.org/10.22331/q-2021-02-04-393. arXiv:2006.14160 [quant-ph]
Nhung H. Nguyen, Minh C. Tran, Yingyue Zhu, Alaina M. Green, C. Huerta Alderete, Zohreh Davoudi, Norbert M. Linke, Digital quantum simulation of the Schwinger model and symmetry protection with trapped ions. PRX Quantum 3, 020324 (2022). https://doi.org/10.1103/PRXQuantum.3.020324. arXiv:2112.14262 [quant-ph]
Natalie Klco, Jesse R. Stryker, Martin J. Savage, SU(2) non-Abelian gauge field theory in one dimension on digital quantum computers. Phys. Rev. D 101, 074512 (2020). https://doi.org/10.1103/PhysRevD.101.074512. arXiv:1908.06935 [quant-ph]
Yasar Y. Atas, Jinglei Zhang, Randy Lewis, Amin Jahanpour, Jan F. Haase, Christine A. Muschik, SU(2) hadrons on a quantum computer via a variational approach. Nat. Commun. 12, 6499 (2021). https://doi.org/10.1038/s41467-021-26825-4. arXiv:2102.08920 [quant-ph]
Sarmed A. Rahman, Randy Lewis, Emanuele Mendicelli, Sarah Powell, SU(2) lattice gauge theory on a quantum annealer. Phys. Rev. D 104, 034501 (2021). https://doi.org/10.1103/PhysRevD.104.034501. arXiv:2103.08661 [hep-lat]
Anthony Ciavarella, Natalie Klco, Martin J. Savage, Trailhead for quantum simulation of SU(3) Yang–Mills lattice gauge theory in the local multiplet basis. Phys. Rev. D 103, 094501 (2021). https://doi.org/10.1103/PhysRevD.103.094501. arXiv:2101.10227 [quant-ph]
Sarmed A. Rahman, Randy Lewis, Emanuele Mendicelli, Sarah Powell, Self-mitigating Trotter circuits for SU(2) lattice gauge theory on a quantum computer. Phys. Rev. D 106, 074502 (2022). https://doi.org/10.1103/PhysRevD.106.074502. arXiv:2205.09247 [hep-lat]
Y.Y. Atas, J.F. Haase, J. Zhang, V. Wei, S.M.L. Pfaendler, R. Lewis, C.A. Muschik, Real-time evolution of SU(3) hadrons on a quantum computer. (2022). arXiv:2207.03473 [quant-ph]
G. Catumba, A. Hiraguchi, G.W.S. Hou, K. Jansen, Y.-J. Kao, C.J.D. Lin, A. Ramos, M. Sarkar, Study of SU(2) gauge theories with multiple Higgs fields in different representations, in 39th International Symposium on Lattice Field Theory. (2022). arXiv:2210.09855 [hep-lat]
S.A. Rahman, R. Lewis, E. Mendicelli, S. Powell, Real time evolution and a traveling excitation in SU(2) pure gauge theory on a quantum computer, in 39th International Symposium on Lattice Field Theory. (2022). arXiv:2210.11606 [hep-lat]
Erik J. Gustafson, Henry Lamm, Felicity Lovelace, Damian Musk, Primitive quantum gates for an SU(2) discrete subgroup: binary tetrahedral. Phys. Rev. D 106, 114501 (2022). https://doi.org/10.1103/PhysRevD.106.114501. arXiv:2208.12309 [quant-ph]
Roland C. Farrell, Ivan A. Chernyshev, Sarah J. M. Powell, Nikita A. Zemlevskiy, Marc Illa, Martin J. Savage, Preparations for quantum simulations of quantum chromodynamics in 1 + 1 dimensions. I. Axial gauge. Phys. Rev. D 107, 054512 (2023). https://doi.org/10.1103/PhysRevD.107.054512. arXiv:2207.01731 [quant-ph]
Roland C. Farrell, Ivan A. Chernyshev, Sarah J. M. Powell, Nikita A. Zemlevskiy, Marc Illa, Martin J. Savage, Preparations for quantum simulations of quantum chromodynamics in 1 + 1 dimensions. II. Single-baryon \(\beta \)-decay in real time. Phys. Rev. D 107, 054513 (2023). https://doi.org/10.1103/PhysRevD.107.054513. arXiv:2209.10781 [quant-ph]
M.S. Alam, S. Hadfield, H. Lamm, A.C.Y. Li, (SQMS), Primitive quantum gates for dihedral gauge theories. Phys. Rev. D 105, 114501 (2022). https://doi.org/10.1103/PhysRevD.105.114501. arXiv:2108.13305 [quant-ph]
Marcela Carena, Henry Lamm, Ying-Ying. Li, Wanqiang Liu, Improved Hamiltonians for quantum simulations of gauge theories. Phys. Rev. Lett. 129, 051601 (2022). https://doi.org/10.1103/PhysRevLett.129.051601. arXiv:2203.02823 [hep-lat]
E.J. Gustafson, H. Lamm, Robustness of gauge digitization to quantum noise. (2023). arXiv:2301.10207 [hep-lat]
S. Chandrasekharan, U.J. Wiese, Quantum link models: a discrete approach to gauge theories. Nucl. Phys. B 492, 455–474 (1997). https://doi.org/10.1016/S0550-3213(97)00006-0. arXiv:hep-lat/9609042
R. Brower, S. Chandrasekharan, U.J. Wiese, QCD as a quantum link model. Phys. Rev. D 60, 094502 (1999). https://doi.org/10.1103/PhysRevD.60.094502. arXiv:hep-th/9704106
Uwe-Jens. Wiese, From quantum link models to D-theory: a resource efficient framework for the quantum simulation and computation of gauge theories, Phil. Trans. A. Math. Phys. Eng. Sci. 380, 20210068 (2021). https://doi.org/10.1098/rsta.2021.0068. arXiv:2107.09335 [hep-lat]
Z. Davoudi, A.F. Shaw, J.R. Stryker, General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory. (2022). arXiv:2212.14030 [hep-lat]
Tobias Hartung, Timo Jakobs, Karl Jansen, Johann Ostmeyer, Carsten Urbach, Digitising SU(2) gauge fields and the freezing transition. Eur. Phys. J. C 82, 237 (2022). https://doi.org/10.1140/epjc/s10052-022-10192-5. arXiv:2201.09625 [hep-lat]
T. Jakobs, T. Hartung, K. Jansen, J. Ostmeyer, C. Urbach, Digitizing SU(2) gauge fields and what to look out for when doing so. PoS LATTICE2022, 015 (2023). https://doi.org/10.22323/1.430.0015. arXiv:2212.09496 [hep-lat]
Y. Ji, H. Lamm, S. Zhu (NuQS), Gluon field digitization via group space decimation for quantum computers. Phys. Rev. D 102, 114513 (2020). https://doi.org/10.1103/PhysRevD.102.114513. arXiv:2005.14221 [hep-lat]
A. Alexandru, P.F. Bedaque, S. Harmalkar, H. Lamm, S. Lawrence, N.C. Warrington (NuQS), Gluon field digitization for quantum computers. Phys. Rev. D 100, 114501 (2019). https://doi.org/10.1103/PhysRevD.100.114501. arXiv:1906.11213 [hep-lat]
A. Alexandru, P.F. Bedaque, R. Brett, H. Lamm, Spectrum of digitized QCD: glueballs in a S(1080) gauge theory. Phys. Rev. D 105, 114508 (2022). https://doi.org/10.1103/PhysRevD.105.114508. arXiv:2112.08482 [hep-lat]
Y. Ji, H. Lamm, S. Zhu, Gluon digitization via character expansion for quantum computers. (2022). arXiv:2203.02330 [hep-lat]
M. Garofalo, T. Hartung, K. Jansen, J. Ostmeyer, S. Romiti, C. Urbach, Defining canonical momenta for discretised SU(2) gauge fields, in 39th International Symposium on Lattice Field Theory (2022). arXiv:2210.15547 [hep-lat]
K. Crane, F. de Goes, M. Desbrun, P. Schröder, Digital geometry processing with discrete exterior calculus, in ACM SIGGRAPH 2013 courses, SIGGRAPH ’13 (2013)
Carlos D. Correa, Robert Hero, Kwan-Liu. Ma, A comparison of gradient estimation methods for volume rendering on unstructured meshes. IEEE Trans. Vis. Comput. Gr. 17, 305–319 (2011). https://doi.org/10.1109/TVCG.2009.105
K. Crane, The n-dimensional cotangent formula. (2019)
B.N. Delaunay, Sur la sphère vide. Bull. Acad. Sci. USSR 7, 793–800 (1934)
T. Hahn, ed., International Tables for Crystallography: Space Group Symmetry v. A, 5th ed. (Kluwer Academic, Tucson, AZ, 2001). https://doi.org/10.1107/97809553602060000100
T.C. Hales, Historical overview of the Kepler conjecture. Discrete Comput. Geom. 36, 5–20 (2006). https://doi.org/10.1007/s00454-005-1210-2
T. Hartung, \(\zeta \)-function of Fourier integral operator. Ph.D. thesis, King’s College London (2015)
Arthur Erdélyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Bateman manuscript project. High Transcend. Funct. 2, 133 (1953)
Tosio Kato, Perturbation Theory for Linear Operators (Springer, Berlin, 1966)
Acknowledgements
We thank A. Crippa, G. Clemente, J. Haase and M. A. Schweitzer for helpful discussions. This work is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) and the NSFC through the funds provided to the Sino-German Collaborative Research Center CRC 110 “Symmetries and the Emergence of Structure in QCD” (DFG Project-ID 196253076-TRR 110, NSFC Grant no. 12070131001) as well as the STFC Consolidated Rutherford Appleton Laboratory, Grant ST/T000988/1. This work is supported with funds from the Ministry of Science, Research and Culture of the State of Brandenburg within the Centre for Quantum Technologies and Applications (CQTA). This work is funded by the European Union’s Horizon Europe Framework Programme (HORIZON) under the ERA Chair scheme with Grant agreement no. 101087126.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Functional analytic point of view on convergence
1.1 1. Domain of the discretized derivative and Laplacian
We are generally looking for a discretisation of the Laplace–Beltrami in \(L_2(\textrm{SU}(2))\). However the discretised derivative \(\nabla _P\) – as constructed following Sect. 3.1 using a triangulated partition P of \(\textrm{SU}(2)\) – requires point-evaluations on the vertices of the partitioning P. Hence, we can only a priori define \(\nabla _P\) on functions in \(C(\textrm{SU}(2))\), and then need to consider the \(L_2(\textrm{SU}(2))\) extension of the thus defined \(\nabla _P|_{C(\textrm{SU}(2))}\).
Using the Sobolev Embedding for compact manifolds without boundaryFootnote 1 we obtain the (tightest) embeddings
In particular, this implies that we can define \(\nabla _P|_{W_2^2(\textrm{SU}(2))}\) using the point-evaluation formula. A priori this means that \(\nabla _P|_{W_2^2(\textrm{SU}(2))}\) maps \(W_2^2(\textrm{SU}(2))\) into \(L_2(\textrm{SU}(2))\) instead of the expected \(W_2^1(\textrm{SU}(2))\). It is now important to note that, in local coordinates, difference quotients \(D_i^h\) with step size h in direction i satisfy \(\left\Vert {D_i^hu}\right\Vert _{L_p(\Omega ')}\le \left\Vert {D_iu}\right\Vert _{L_p(\Omega )}\) for \(\Omega '\Subset \Omega \) provided h is sufficiently small. Lifting this to \(\textrm{SU}(2)\) means that \(\nabla _P|_{W_2^2(\textrm{SU}(2))}\) is relatively bounded by \(\nabla |_{W_2^2(\textrm{SU}(2))}\), i.e., \(\nabla _P|_{W_2^2(\textrm{SU}(2))}\) in fact maps \(W_2^2(\textrm{SU}(2))\) into \(W_2^1(\textrm{SU}(2))\) as expected and can be uniquely extended to the operator \(\nabla _P:\ W_2^1(\textrm{SU}(2))\rightarrow L_2(\textrm{SU}(2))\).
Finally, this implies that the discretised Laplace \(\Delta _P\) defined as the operator associated with the symmetric form \(\tau (x,y)=\langle \nabla _Px,\nabla _Py\rangle \) is a well-defined map \(\Delta _P:\ W_2^2(\textrm{SU}(2))\rightarrow L_2(\textrm{SU}(2))\).
1.2 2. Pointwise convergence
Further to the discretised gradient \(D^h\) defined via difference quotients in local coordinates being bounded by the gradient \(\nabla \), \(D^hf\rightarrow \nabla f\) holds in \(W_p^{k-1}(\Omega )\) for any \(f\in W_p^k(\Omega )\). Hence, again lifting this result to \(\textrm{SU}(2)\), we obtain pointwise convergence \(\nabla _P\rightarrow \nabla \) using the net of discretisations with directed set of partitionings \(P'\preceq P\) if and only if every vertex of \(P'\) is also a vertex of P. This also implies that the discretised Laplace \(\Delta _P=\nabla _P^*\nabla _P:\ W_2^2(\textrm{SU}(2))\rightarrow L_2(\textrm{SU}(2))\) converges pointwise to the Laplace \(\Delta =\nabla ^*\nabla :\ W_2^2(\textrm{SU}(2))\rightarrow L_2(\textrm{SU}(2))\).
Unfortunately, this pointwise convergence is not sufficient for convergence of the spectrum. To obtain the convergence of the spectrum, we need a notion called gap convergence which is equivalent to norm convergence for bounded operators and convergence in norm resolvent sense for closed operators with non-empty resolvent set [84]. Using Eq. (43), we have tested the convergence in norm resolvent sense numerically.
1.3 3. Finite order gap convergence
Let us consider an orthonormal basis \((\psi _j)_{j\in \mathbb {N}}\) of \(L_2(\textrm{SU}(2))\) with \(\forall j\in \mathbb {N}:\ \psi _j\in W_2^2(\textrm{SU}(2))\). Restricting the space \(L_2(\textrm{SU}(2))\) and \(W_2^2(\textrm{SU}(2))\) to the linear span \(L_2(\textrm{SU}(2))|_n\) (and \(W_2^2(\textrm{SU}(2))|_n\) with the respective topology) of the first n basis vectors induces restricted operatorsFootnote 2\(\Delta _P|_n\) and \(\Delta |_n\). For these, we obtain
Since \(\left\Vert {\cdot }\right\Vert _{W_2^2(\textrm{SU}(2))}\ge \left\Vert {\cdot }\right\Vert _{L_2(\textrm{SU}(2))}\) we observe for \(\varphi =\sum _{j=1}^n\alpha _j\psi _j\in \partial B_{W_2^2(\textrm{SU}(2))|_n}\)
and thus
Since norm convergence and gap convergence are equivalent for bounded operators, we can conclude that the restricted discretised Laplace converges in gap to the restricted continuum Laplace.
1.4 4. \(L_2\) with decay
Unfortunately, this gap convergence seems not to extend to all of \(L_2(\textrm{SU}(2))\). Instead, we consider a conic submanifold of “\(L_2\)-functions with decay”. A function \(\varphi \in L_2(\textrm{SU}(2))\) is an element of \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) if and only if for a given orthonormal basis \(\beta =(\psi _j)_{j\in \mathbb {N}}\) of \(L_2(\textrm{SU}(2))\) and a decay function \(\delta :\ \mathbb {N}\rightarrow \mathbb {R}_{>0}\) with \(\delta (n)\rightarrow 0\ (n\rightarrow \infty )\)
holds. In other words, we restrict the space of functions to those whose Fourier modes of order n and higher contribute no more than \(\delta (n-1)\) in norm. In this sense, this is similar to a UV cutoff although not quite as strong as still arbitrarily large Fourier modes are allowed, they just cannot have arbitrarily large Fourier coefficients.
For given n, we will use the notation
We note that this \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) is a closed conic submanifold of \(L_2(\textrm{SU}(2))\) since for \(\varphi \in L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) and \(r>0\) we obtain \(r\varphi \in L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) (conic), and for \(\varphi _k\in L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) and \(\varphi _k\rightarrow \varphi \) in \(L_2(\textrm{SU}(2))\) we have
i.e., \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) is closed.
1.5 5. Gap convergence with decay
Unfortunately, \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) is not a linear subspace since sums of its elements is in general not elements of \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\). However, it has the induced topology from \(L_2(\textrm{SU}(2))\) and thus the \(L(L_2(\textrm{SU}(2)))\) and \(L(W_2^2(\textrm{SU}(2)),L_2(\textrm{SU}(2)))\) norms computed by restricting the unit sphere of \(L_2(\textrm{SU}(2))\) and \(W_2^2(\textrm{SU}(2))\) respectively are consistent with the operator norms in \(L(L_{2,0(\beta ,\delta )}(\textrm{SU}(2)))\) and \(L(W^2_{2,0(\beta ,\delta )}(\textrm{SU}(2)),L_{2,0(\beta ,\delta )}(\textrm{SU}(2)))\). Here, we denote the restriction to \(W^2_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) as the set of \(L_2(\textrm{SU}(2))\) functions \(\varphi \) whose derivatives up to second order are in \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) including the condition that derivatives up to second order of \(\varphi ^\uparrow \) are bounded by \(\delta \). This is still a closed conic submanifold of \(L_2(\textrm{SU}(2))\) and of \(W_2^2(\textrm{SU}(2))\) using the same argument as in Eq. (A7) changing only the norm. It should be noted that this requires \(\beta \) to be an orthonormal basis that is contained in \(W_2^2(\textrm{SU}(2))\). In our case, this basis given by the spherical harmonics which are in \(W_2^\infty (\textrm{SU}(2))\), i.e., this restriction on \(\beta \) is irrelevant for the application we are considering.
Let us consider \(\varphi \in L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) such that \(\Delta \varphi ,\Delta _P\varphi \in L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) and \(\left\Vert {\varphi }\right\Vert _{W^2_2(\textrm{SU}(2))}=1\). Then, we observe
Using \(\delta (n)\rightarrow 0\) and the finite order gap convergence result, we conclude that for every \(\varepsilon >0\) there exists an \(n\in \mathbb {N}\) and a partitioning \(P_0\) such that every partitioning \(P\succeq P_0\) such that
Subsequently, we can find a partitioning \(P_0\) such that every partitioning \(P\succeq P_0\) satisfies
With these choices of n and \(P_0\), we obtain for \(P\succeq P_0\) (note \(\left\Vert {\varphi ^\downarrow }\right\Vert _{W_2^2(\textrm{SU}(2))}\le \left\Vert {\varphi }\right\Vert _{W^2_2(\textrm{SU}(2))}=1\))
Hence,
shows norm convergence and therefore gap convergence of \(\Delta _P\rightarrow \Delta \) as operators from \(W_{2,0(\beta ,\delta )}^2(\textrm{SU}(2))\) to \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\).
Since gap convergence is equivalent convergence in norm-resolvent sense, we obtain that for every \(\rho \) in the resolvent set \(\mathcal {R}(\Delta )\) of \(\Delta \), there exists \(P_0\) such that for every \(P\succeq P_0\) we also have \(\rho \in \mathcal {R}(\Delta _P)\) and
Finally, since the embedding
is bounded with \(\left\Vert {\iota }\right\Vert _{L(W_2^2(\textrm{SU}(2)),L_2(\textrm{SU}(2)))}\le 1\), we know that the resolvents \((\rho -\Delta _P)^{-1}\) and \((\rho -\Delta )^{-1}\) map into \(L_{2,0(\beta ,\delta )}\) as well and, as maps from \(L_{2,0(\beta ,\delta )}\) to \(L_{2,0(\beta ,\delta )}\), can they can be expressed as
In other words,
is bounded by
which directly implies convergence in norm-resolvent sense for the discretised Laplace in \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\).
As a final note, while \(L_2(\textrm{SU}(2))\) can be written in terms of an inductive limit of \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) with an increasing sequence of decay functions \(\delta \), the convergence does not seem to lift to the inductive limit because \(\varphi _n\rightarrow \varphi \) in \(L_2(\textrm{SU}(2))\) does not seem to imply that \(\varphi _n\) has to eventually be in the same \(L_{2,0(\beta ,\delta )}(\textrm{SU}(2))\) as the limit \(\varphi \). In fact, it is highly improbable that the discretised Laplace can converge in all of \(L_2(\textrm{SU}(2))\) in norm resolvent sense because the finite step size in the definition of \(\nabla _P\) should allow for highly oscillating functions with \(\nabla _P\varphi =0\) but \(\left\Vert {\nabla \varphi }\right\Vert =1\). Thus, \(\Delta _P\) cannot be norm convergent to \(\Delta \) as a map from all of \(W_2^2(\textrm{SU}(2))\) to \(L_2(\textrm{SU}(2))\), hence it cannot be convergent in norm-resolvent sense, and thus the embedding argument with \(\iota \) fails.
Appendix B: Supplementary results
While it was previously shown that the proposed canonical momentum operators, as well as the Laplace–Beltrami operator, converge to the correct continuum theory, the exact convergence behaviour seems to depend on the chosen partitioning. However, gaining a full and detailed understanding of how this choice affects e.g. the convergence rates of our observables, and which features of a given partitioning are desirable, proved to be rather difficult and ultimately beyond the scope of this paper.
Nevertheless we would like to share our results on the topic. Thus in this appendix, we will present the results obtained for some of the partitionings discarded earlier, such as the original and optimised Fibonacci and the RSC partitionings. Additionally, we will look at two more randomly generated partitionings.
The first additional partitioning is comprised of points which are distributed random uniformly (RU) on \(S_3\). We generate these points by generating N vectors \(\vec x \in \mathbb {R}^4\). First every element of x is drawn from a standard normal distribution. Thereafter, the vector is normalised to unit length. While these RU points are distributed uniformly on average, they are known to cluster locally.
The next partitioning is, therefore, generated from a given RU partitioning by maximising the distance between all next neighbours. We denote this partitioning as distance optimised random uniform (DoRU) partitionings. Given a RU partitioning, we numerically maximise the sum of the squared next-neighbour distances
with \(\langle i,j\rangle \) denoting next neighbour pairs.
1.1 1. Results
To evaluate the additional partitionings we repeat the same tests as done previously. The remaining data on the volume convergence is plotted in Fig. 9, the test of the commutation relations can be found Fig. 10 and the spectrum and operator convergence of the Laplace–Beltrami operator in Figs. 11 and 12, respectively.
The first thing worth noting is that the deficiencies of the unoptimised Fibonacci lattices carry over to all the discussed observables. Bumps similar to the ones observed in Fig. 3 can also be found in the commutators, spectrum and operator convergence. Optimising the coefficients \(a_1\) and \(a_2\) again fixes this mostly and leads to a more consistent convergence behaviour. The more noisy convergence behaviour, however, remains, with occasional outliers visible.
As one might expect from the initial volume convergence results found in Fig. 4, the RSC partitionings perform fairly similar to the RFCC partitionings in the other observables, too.
For the RU and DoRU partitionings the situation is a bit more intricate: in the volume, Fig. 9, RU shows larger deviations at fixed N, which is a result of the local clustering. But the convergence rate appears to be identical to the other shown partitionings. This is also true for all the other observables with the notable exception of \(r_\textrm{LL}\), where RU seem to show a slower convergence, similar to the ones observed for the Genz points. The DoRU partitioning, although initially in line with the RSC points, also seems to tend towards this slower convergence rate for larger N. At this point it is, however, unclear whether this is inherent to the partitioning or related to the fact that the optimisation with large N becomes more and more difficult. One more interesting result is that the DoRU appears to have the smallest amplitude in the gap convergence, see Fig. 12.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Jakobs, T., Garofalo, M., Hartung, T. et al. Canonical momenta in digitized Su(2) lattice gauge theory: definition and free theory. Eur. Phys. J. C 83, 669 (2023). https://doi.org/10.1140/epjc/s10052-023-11829-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11829-9