The Ising Model on
Richard C. Brower1 and Evan K. Owen1
1Department of Physics, Boston University, Boston, MA 02215-2521, USA
Abstract
We define a 2-dimensional Ising model on a triangulated sphere, , designed to approach the exact conformal field theory (CFT) in the continuum limit. Surprisingly, the derivation leads to a set of geometric constraints that the lattice field theory must satisfy. Monte Carlo simulations are in agreement with the exact Ising CFT on . We discuss the inherent benefits of using non-uniform simplicial lattices and how these methods may be generalized for use with other quantum theories on curved manifolds.
Contents
1 Introduction
Lattice Monte Carlo has proven to be a powerful method to numerically solve non-perturbative quantum field theories for condensed matter and relativistic high energy physics β most celebrated in the QCD sector of the standard model. But for the most part the high precision results Β [1] are restricted to flat Euclidean space discretized on hypercubic lattices. Extensions to curved manifolds would open up new frontiers. For example the simulation of conformal Β [2] or near conformal theoriesΒ [3] on discretization of a RiemannΒ [4] sphere or on a cylinder, for radial quantization Β [5]. For conformal field theories, unlike toroidal lattices, the finite volume errors for spatial images are removed, giving direct access to conformal parameters.
However the problem with curved manifolds, even for spherical manifolds in 2 or more dimensions Β [6], is that there are only a finite number of uniform discretizations. For the 2 sphere there are 5 Platonic solids. The largest, the icosahedron, consists of 20 equilateral triangles invariant under the finite 120 element subgroup, , of . For the 3 sphere, the largest uniform sub-manifold consists of 600 equilateral tetrahedrons in the 14400 element Coxeter group subgroup of O. Similar restrictions apply to Anti-de Sitter spaceΒ [7, 8]. This means that for a uniform discretization on constant curvature manifolds, there is a fundamental minimum lattice spacing relative to the curvature. To avoid this limitation we seek a method for simulating a theory on a non-uniform lattices, which exactly approaches the symmetries of a smooth manifold as the effective lattice spacing goes to zero.
For classical physics, expressed as a system of partial differential equation, the problem of discretization on curved manifolds is solved by the Finite Element Method (FEM)Β [9]. Solutions to the discrete equations of motion on piecewise flat manifolds, compose of d dimensional simplicies (e.g. 2d triangles, 3d tetrahedrons, etc.), converge to the exact continuum on a suitable sequence of refined lattices. The same simplicial lattices were also introduced in 1961 for the metric field in Regge Calculus (RC)Β [10] to discretize the Einstein-Hilbert action resulting in powerful tool to construct numerical solutions to Einstein gravity. However quantum fields on these discrete manifolds are not so forgiving. Finite element methods fail.
One way to see the difficulty for quantum fields theories is to note that the ultraviolet divergences are sensitive to lattice cut-off, which is no longer independent of position. As a consequence in general there is no global second order fixed point. Removing the UV cut-off fails to converge to the quantum field theory or even to give the continuum renormalized perturbation theory. Our first remedy implemented in the Quantum Finite Elements (QFE) projectΒ [11] was to modify the FEM discretization by additional quantum counter terms to cancel the local cut-off dependence of UV divergent perturbation loops. Implemented for the super renormalizable theory enabled accurate lattice simulations for CFT data for 2d on Β [4] and for 3d on Β [2, 12]. However subsequent studies suggested that exact results for lattice theory in the continuum limit also required tuning the bare dimensionless coupling () to zero by fixing UV renormalized parameters.
Here we seek a more general approach, applicable to strong coupling infrared fixed points. To this end, we studied the universally equivalent lattice Ising model. Surprisingly we found a solution for the 2d Ising model on a triangulated sphere with only nearest neighbor couplings. By smoothing the simplicial geometry, combined with matching the lattice coupling, this enabled simulations to reach the CFT in the continuum. A first step to this matching condition was identified in Ref.Β [13] in the analysis of the Ising model in flat space as a function of a global affine transformation. To restore PoincarΓ© invariance of quantum correlators fixes the map from the geometry (edge lengths of triangles) to the couplings on the triangular Ising lattice as functionΒ (3). This map was found analytically using the star-triangle relationΒ [14, 15] and the free fermion sector of the trivalent dual Ising modelΒ [16].
In Sec.Β 2 , we show how to generalize flat affine analysis to any triangulation of the Riemann sphere. The Kramers Wannier transformation maps the triangulated Ising model to a dual Ising model on a trivalent lattice, which is subsequently mapped to free Wilson-Majorana fermionsΒ [16]. All three representations give equivalent correlators. With suitable smoothness assumptions, the fermion representation is used to determine the geometry at short distances on each tangent plane of the curved manifold. The reader may prefer first to skip the technical details in subsections.Β 2.1 - 2.3, returning when needed. In Sec.Β 3, this map is applied to our target application on as a sequence of refined lattices approaching the continuum. Extensive Monte Carlo simulations agree with the exact Ising minimal CFT two point function on the sphere. In Sec.Β 3.4 we discuss further tests and generalizations. We conjecture that a local affine transformation to the tangent planes is sufficient for any lattice field on a smooth manifold, when implemented with a suitable ancillary numerical algorithm.
2 Geometry of 2d Ising Graphs
The heart of the problem for lattice field theory on curved manifolds is how to reconcile two conflicting representations of geometry. In Regge calculus, the geometry consists of a collection of simplicies (e.g. triangles in 2d) with flat interiors. The edge lengths, , on the graph are a replacement for metric, . Hence the title of Reggeβs seminal 1961 paperΒ [10] on General relativity without coordinates! The continuum requires taking edge lengths to zero and re-introducing a differentiable metric . G. Feinberg, R. Friedberg, T. D. Lee, and H. C. RenΒ [17] give a detail procedure applied to spherical manifolds. In contrast a lattice quantum field theory on this same simplicial graph is defined by local dimensionless couplings on the edges, , with no metric. The quantum field geometry emerges dynamically determined by computing correlators as one approaches a second order phase boundary. To reconcile Regge geometry and lattice fields on a curved manifold requires finding a map coupling constants, , and edge lengths, ,
(1) |
consistent with the target continuum geometry.
Interestingly this problem already arises in flat space for the 2d Ising model studied in [13]. An affine transformation on an equilateral triangle takes it to a general simplex with 3 distinct edge lengths, . For a scalar field in this uniform affine lattice, it is reasonable to introduce 3 corresponding couplings, as illustrated on the right in Fig.Β 1. This preserves the discrete translational invariance of on the lattice.
For free scalar field theory with lattice action: , linear finite elements provides the correct map,
(2) |
The couplings are expressed as the ratio of Voronoi dual lengths, , between circumcenter of two adjacent triangles with common edge length . This restores rotational symmetry in the continuum for the resultant FEM Laplace-Beltrami operator. Incidentally this is an example of the elegant Discrete Exterior CalculusΒ [9] (DEC) which applies to general simplicial manifold in any dimension.
In contrast for the Affine Ising latticeΒ [13] the correct map is
(3) |
to restore rotational symmetry for critical Ising CFT on . This is a non-perturbative quantum effect at the Wilson Fisher fixed point, not part of classical FEM methods. The map in Eq.Β (3) also fixes the critical surface at
(4) |
Both are consequence of the star-triangle identityΒ [14, 15] between the triangular lattice with couplings and its Kramers Wannier dual with with couplings fixed by . The geometry is then fixed by the loop expansion for free Wilson-Majorana fermions on the trivalent dual lattice.
The take away is that even on , restoring PoincarΓ© invariance require solving the the quantum theory. The problem we now face is how to generalize this to curved manifolds, forgoing the dependance on analytical tools of the 2d flat space Ising model. The hope is that the map in Eq.Β (3) can still be apply locally on each tangent plane as we take the continuum limit.
2.1 Kramers Wannier Duality
A general triangulated surface with no boundaries is defined by a set of vertices, edges, and triangular faces satisfying Eulerβs theorem, . The topology is fixed by the genus , . Constant curvature metric exist for the positive curvature sphere at , zero curvature torus at and negative curvature hyperbolic Riemann surfaces for .
The graph dual to any triangulated Riemann surface is trivalent graph as illustrated in Fig.Β 2 with a one to one match of edges and dual edges.
The Ising model triangular graph can be define the sum over the edges of the triangulated graphs with action,
(5) |
Similarly on the dual graph we can define a dual Ising spin system
(6) |
Properly the dual Ising spins are now disorder variables, , at dual sites but for notational simplicity we label them by without the star on dual sites . The coupling constants for the triangle and trivalent dual Ising models are paired as illustrated in Fig.Β 3. In passing we note the special simplicity the trivalent dual of 2d triangle simplicial complex for any Riemann triangulated surface is at the heart of the random graph solution to 2d string theory as a large N matrix model in the double scaling limitΒ [18].
For any fixed triangulation, there is a general Kramers Wannier mapΒ [19] found by comparing strong and weak loop expansions.
On the triangular graph, the low temperature expansion is a power series in the number of broken bonds,
(7) |
Since the dual lattice is trivalent the path of broken bounds form non-intersecting loops and enumerates the loops ensemble.
These same loop enumeration also give the high temperature for aligned spins on the dual lattice for sphere () or the topologically equivalent complex plane,
(8) |
where is the number of faces on the triangular sphere. For , partition functions in Eqs,Β (7-8) are equivalent if we assert the identity,
(9) |
or its equivalent to the symmetric form
(10) |
Although we use the term βexpansionβ, both Eq.Β (7) and Eq.Β (8) are exact. We note that for higher genus Riemann surfaces () such as the modular torus, the non-contractible loops require addition care with boundary conditions.
This is a powerful map central to our construction. It fixes the ratio of the partition functions or equivalently the difference of the free energies ,
(11) |
Taking derivatives with respect to the link coupling, , all correlation function for even Ising energy operators on the edges of triangular lattice are mapped to dual correlation functions. For example if we consider the connected two point energy-energy correlators between any two edges and , we have
(12) |
which is mapped to the dual by the identity,
(13) |
using the chain rule, it on Eq.Β (10).
At present we donβt have enough information to determine the geometry of the quantum system. The positions of the vertices, the lengths of the edges, and the locations of the dual sites within the triangular faces are all unknown quantities. Only if the lattice model has a well-defined continuum limit at a second order phase boundary, can we find the emergent quantum geometry through its correlation functions. To implement this, we now map the trivalent Ising partition function to an equivalent Wilson-Majorana free fermion partition function.
2.2 Wilson-Majorana fermion loop expansion
We introduce Wilson-Majorana fermion on the trivalent dual lattice, with fields (). Each field is a two-component spinor that obeys the charge conjugation constraint , i.e. and . The action is
(14) |
with local hop** parameters, and Wilson spinor propagator,
(15) |
The vectors, , are defined as a unit vector on the dual links from to , so that Wilson factor are projection operator, , with two eigenvalues . Wilson-Majorana fermion with real Grassmann variables has a symmetry property identifying directed links with the reflected direction :
(16) |
where . This is an additional reflection symmetry, independent of so called hermiticity for Wilson Fermions. So there is no need to add links in both directions. This is similar to the convention introduced in Ref.Β [11] for Wilson fermions, except now the fermions are moved from the triangulated simplex to sites on the dual lattice. The geodesics between dual sites are straight lines illustrated in Fig.4.
Now we show that free fermion partition function,
(17) |
with Grassmann path integral measure
(18) |
with appropriate hop** parameters: is equivalent to the Ising partition function on the dual lattice (8). We can expand the exponential in Eq.Β (17),
(19) |
discarding all terms above first order which vanish in a Grassmann integral. Now, following the standard rules for integration of Grassmann variables, the only nonzero terms are those which include every pair exactly once on each site . The set of nonzero terms is exactly described by the same set of unique loop configurations that we used in Sec. 2.1. Due to Eq.Β (16), it does not matter which direction we choose to traverse each loop, the result will be the same either way. Discarding irrelevant constant factors, the fermion partition function becomes
(20) |
where is the number of closed loops in .
The evaluation depends on the product of adjacent projection operators. We may choose an arbitrary coordinate system with across each edge, given as a rotation from the dyadic along the x axis
(21) |
or introducing complex variable as dyadic,
(22) |
where have used the constraint . In the loop expansion each corner has the spinor matrix, which is evaluated between the non-zero Grassmann integral . This takes the trace, , resulting in the loop expansion,
(23) |
Here our notation is a bit compressed. Fermions live on dual sites and propagate on directed links, , along unit vectors with couplings . For a fixed loop as illustrated in Fig.Β 4 we may relabel the sites in sequence a with angles at each vertex . Of course the vertex angles depend on the path. So a proper notation without relabeling sites for the rotation at vertex for a general path is determined by the scalar product . This requires 3 site labels for the rotation angle: . The sign is undetermined because the loop is unchanged if we reverse the direction due the reflection identity in Eq.Β (16).
In the affine case there are 3 distinct links enumerated by 3 out-going (or in-going) vectors, in a bipartite graph. In Ref.Β [13], we proved the identity
(24) |
and cyclic permutations. Remarkably this can be generalized for any trivalent lattice to the identity
(25) |
where the six angles are defined in Fig. 5. It follows by matching terms in loop expansion (8) and (23) or proven algebraically by extending the analysis above for each of the 4 paths through the link with or on the left and or on the right. In flat space this simplifies to square of the affine identity in Eq.Β (24), with the condition that . We can use Eq.Β (10) to relate the triangular lattice coupling to the corresponding dual lattice coupling and by this association we now have three different models with equivalent partition functions.
2.3 Lattice continuum limit
We have now shown that the Ising model on the simplicial triangular lattice, its trivalent dual and the free Wilson-Majorana fermion all have equivalent partition functions, and therefore they all describe systems with equivalent dynamics. But we havenβt yet identified the critical point of the system, nor have we determined the appropriate geometry of the continuum theory (assuming such a theory exists). This requires a smooth local lattice theory, most likely close to the uniform flat space triangulated lattice studied in Ref.Β [13].
The first step is we need to have a smooth definition of the scalar curvature that at present are delta function singularities at the triangular manifold. This can be done to using the theorem in the remarkable paper on Lattice Gravity Near the Continuum Limit Β [17] that proves that in 2d the scalar curvature, , is given by the ratio of the deficit angle at the vertices of the triangulated manifold and the dual area on the trivalent lattice as illustrated in Fig. 4. Thus we can we can introduce a smooth approximation to the manifold by spreading the singular curvature uniformly over the dual area and introducing a modified fermion action analogous to the Dirac fermions in Ref.Β [11] for the simplicial lattices,
(26) |
Now is a unit tangent vector at site on the geodesic from to and is the rotation (or discrete spin connection) to the vector at site on the reverse geodesic to . Due to local curvature there are two distinct tangent vectors at each end of each link that are no longer reflected: . Instead they obey the discrete tetra hypothesis introduced in Ref.Β [11],
(27) |
Here the local curvature between dual lattice points requires replacing the in EqΒ 16 by
(28) |
Now in a smooth gauge with , we can expand (26) in the effective lattice spacing using
(29) |
and
(30) |
where is a vector from to with length and is the continuum spin connection. The action becomes
(31) |
where is the covariant derivative for the spinor field and in the second line we have used and discarded all terms of .
We would like to show that this is equivalent to the continuum action for a free fermion on a Riemannian manifold,
(32) |
In order to get Eq.Β (31) into this form, we need the and in the lattice action to be contracted, which is not possible for an arbitrary choice of lattice vectors in a non-uniform lattice. However, provided that all adjacent triangles have the same circumradius, the following identity is true for a lattice which is the circumcenter dual of a non-uniform simplicial lattice in 2 dimensions:
(33) |
where is the lattice vector in the simplicial lattice dual to and is the area of the triangular face dual to site .
In order to apply this identity, it is necessary for to be proportional to the corresponding triangular lattice length . Substituting this all into the action we obtain
(34) |
with a dimensionless mass parameter
(35) |
In the limit we identify the limit of the discrete integration measure and find that the lattice action converges to the continuum action in Eq.Β (32), as required. To restore local rotational symmetry for the continuum fermion implies that the critical hop** parameter values for each link are defined by
(36) |
Now, in order to have a well-defined critical point, we must satisfy this relation for every link on the lattice simultaneously, but upon inspection we find that this is only possible if all of the triangular faces have equal perimeter. Combining Eq.Β (25) and (36) we obtain an expression which relates the dual lattice Ising coupling to the geometry of the lattice
(37) |
where is the triangle perimeter. We can also recover the critical couplings for the triangular lattice through Eq.Β ( 10).
The two geometrical constraints of equal triangle circumradius and equal triangle perimeter place strict limitations on the set of simplicial lattices for which it is possible to define a critical theory with a well-defined continuum limit. They are natural generalizations of the flat space affine solution Β [13], which gave exact Ising correlator on flat space and on the genus modular torus. The zero mass condition in Eq.Β (35) reduces to Eq.Β (4).
3 Ising model on a 2-sphere
We now proceed to test whether these local constraints are sufficient in the continuum to give the critical Ising model on the Riemann sphere.
We define a base discretization of a 2-sphere illustrated in Fig. 6 by introducing equilateral triangles on each of the 20 faces of one of the simplicial Platonic solids. These are then projecting radially onto a unit sphere define by 3 vectors in . The result is smooth but non-uniform triangulation of the sphere that in the continuum limit approaches an affine map to each tangent plane. At finite refinement the triangulated Regge manifoldΒ [10] consist of piecewise flat triangle, with all curvature is confined to singularities at the vertices.
First we note that the projected triangulated sphere illustrate on right in Fig.6 does give critical Ising model in the continuum, but it fails to recover spherical isometries for the 2d Ising CFT on . To fix this we proceed to move the position of the vertices on the sphere to to minimize non-uniformities in the triangle circumradius and perimeter as suggested in Sec. Β 2.3. We show that Monte Carlo simulations extrapolated to the continuum on these modified smooth spherical lattices are in good agreement with the exact solution of the 2d Ising CFT on . The geometric constraints of uniform circumradius and perimeter are indeed required to reach the desired continuum limit quantum field theory.
We use the simplicial Ising action (5) with coupling constants,
(38) |
as a function of the edge lengths, , and its circumcenter dual lengths, , perpendicular to the edge . It is important to note that the dual lattice edge lengths are not calculated by using the geodesic distance between triangle circumcenters in the 3-dimensional embedding space. Under the conventions of Regge calculus, the manifold is defined on the flat triangular faces of the simplicial complex so the dual lattice lengths are computed by following intrinsic Regge geodesics as straight lines between flat triangular faces. The only curvature consists of delta function singularities at the vertex proportional to the deficit angle from adjacent triangles. For piecewise Regge manifolds in high dimensions singular curvature are on 2d co-dimension hinges (2d points , 3d edges, 4d triangles etc.). Because the perimeters of pairs of triangles which share an edge are not always equal we instead define in Eq.Β (37) as the geometric mean of the perimeters of the two triangles
3.1 Geometric uniformity
The solution requires two steps. One is to establish a more uniform Regge geometric manifold to match the continuum spherical manifold. This is necessary to related the discrete simplicial geometry to a differential co-ordinate on the sphere as described Ref.Β [17] and utilized to go local continuum on tangent planes described in Sec.Β 2.3 above.
The only simplicial discretizations of a 2-sphere which can be constructed from uniform triangles are the platonic solids: tetrahedron, octahedron, and icosahedron111The other two platonic solids, the cube and dodecahedron, are not included here because they are not simplicial complexes. They are, in fact, the trivalent dual graphs of the octahedron and icosahedron, respectively, while the tetrahedron is self-dual.. We are therefore unable to construct arbitrarily refined discretizations of a sphere which satisfy the constraints of uniform circumradius and perimeter exactly. Instead, we will generate a sequence of lattices such that the non-uniformity in these two quantities goes to zero in the continuum limit.
We define the non-uniformity in the circumradius and perimeter as
(39) |
where here the angle brackets denote an average over all triangles in the simplicial complex. These quantities can be understood as the normalized variance in the circumradius and perimeter over the entire lattice. Our goal is to move the vertices of the basic discretization (without adding or removing any edges) so that both of these quantities are minimized while retaining the point group symmetry of the original lattice. We do this by minimizing the sum . In general, there are not enough degrees of freedom to find a solution such that , however we will show that the minimum value of goes to zero as the square of the effective lattice spacing. As shown in Sec. 2.3, this is sufficient to restore local rotational symmetry in the continuum close to each tangent plane of the critical Ising model.
3.2 Projection for Spherical Symmetry
The spin-spin correlation function on the sphere is calculated by projecting onto spherical harmonics to test spherical symmetry. This is analogous to the discrete Fourier expansion on a hypercubic lattice to recover PoincarΓ© invariance at long distances. However the transform on a simplicial sphere is a bit more involved as explained in detail in AppendixΒ A . The result is the expansion,
(40) |
with . The coefficients are well approximate by
(41) |
for . In the continuum limit spherical symmetry demands that only the diagonal terms survive,
(42) |
and with independent of m, the scalar two point function only depends on the geodesic through . In practice we have only performed tests on the m dependent diagonal term for harmonics .
Here, is the number of lattice sites and the quantity is a discrete integration measure for each site. Following the circumcenter-based conventions of discrete exterior calculusΒ [9], it is proportional to the area of the dual simplex associated with the site (i.e. the Voronoi area) as shown in Figure 7.
Because we are using a non-uniform lattices, we adopt a lattice spacing definition as a global average over all of the sites. For a lattice discretization of a sphere with vertices, we simply define the lattice spacing to be equal to the square root of the average Voronoi area,
(43) |
where is the radius of the sphere.
3.3 Restoring Rotational Symmetry
The 2-sphere is invariant under the orthogonal group O(3), which has an infinite set of irreducible representations labeled by the familiar index used to describe the spherical harmonics, . For the spin-spin correlation function in our lattice model, restoration of rotational symmetry in the continuum limit requires that for each , all of the measured coefficients for must become degenerate as . To check this, we define a measurement of rotational symmetry breaking
(44) |
which captures the maximum deviation between the coefficients for a given value of .
Because our lattices have been constructed to be symmetric under a discrete subgroup of O(3), some of these coefficients will automatically be degenerate. The full octahedral symmetry group contains a 3-dimensional irreducible representation which maps exactly onto the irreducible representation of O(3). Similarly, the full icosahedral symmetry group contains the 3-dimensional and 5-dimensional irreducible representation and which map exactly onto the and irreducible representation of O(3), respectively. The corresponding coefficients of the 2-point function on lattices with octahedral or icosahedral symmetry do not break rotational symmetry (up to statistical errors), and therefore they provide a good indication for what the symmetry-breaking measurement should look like for an unbroken irreducible representation.
In Fig. 8 we show the rotational symmetry breaking measurement as a function of the lattice spacing using the basic discretization of the icosahedron. The measurement is clearly approaching a nonzero value in the continuum limit for , which indicates that this construction does not restore rotational symmetry.
Because the triangular faces of the basic discretization of the 2-sphere fail to satisfy the constraints of equal circumradius and equal perimeter, it is perhaps unsurprising that the higher coefficients of the spin-spin correlation function do not converge to zero in the continuum limit. One might have hoped that because the triangular faces in the basic discretization have locally uniform circumradius and perimeter (i.e. deviations in the circumradius and perimeter of neighboring triangles go to zero in the continuum limit), this might have been sufficient to satisfy the geometric constraints required by our derivation in Sec.Β 3.1. However, it is clear from our measurements here that variations in triangle geometry over long distances result in a lattice theory which fails to fully restore continuum symmetries. We therefore conclude that the critical couplings derived in Sec.Β 2.3 do not result in a lattice theory with a well-defined continuum limit if these geometrical constraints are only satisfied locally.
To remedy this issue, we repeat the Monte Carlo simulations of the previous section, but this time we use the modified lattice construction described in Appendix B.2, which explicitly minimizes non-uniformities in the circumradius and perimeter of triangular faces so that global variations in these quantities go to zero in the continuum limit. We again plot the symmetry breaking measurement as a function of lattice spacing in Fig. 9. For both the octahedral and icosahedral discretizations, the rotational symmetry-breaking measurement goes to zero for all measured irreducible representation within statistical uncertainty. This result indicates that global uniformity in the triangle geometry is necessary to generate a sequence of lattices for which this model restores rotational symmetry in the continuum limit. It is especially promising that this procedure works even for the octahedral lattice, which requires much larger variations in triangle shape in order to fully tesselate the sphere, which can be seen explicitly in Fig. 10 comparing the octahedral and icosahedral examples.
For a quantitative comparison of the unmodified basic lattice and the modified lattice, in Fig. 11 we show the non-uniformity measure as a function of the lattice spacing as defined in Eq.Β (43) for both the octahedral and icosahedral lattices. We can clearly see that the non-uniformity in the unmodified lattice approaches a nonzero value in the continuum limit, whereas in the modified lattice the non-uniformity goes to zero roughly quadratically in the lattice spacing.
It is worth noting that although the triangle circumradius and perimeter are the quantities that appeared in our derivation of the Ising critical couplings, in general there are many other ways to define the measure of uniformity for a simplicial lattice. As an example, we tested our simulation of the Ising model on a discretized sphere using the optimization procedure described in [20], which adjusts the positions of the lattice sites so that the Voronoi areas of all sites become approximately equal. However, just as we saw when using the basic discretization, this construction fails to restore rotational symmetry in the continuum limit. The rotational symmetry breaking is especially strong using a octahedral base lattice, as shown earlier in Fig.Β 8. We also tested several other methods for adjusting the vertices with similar resultsΒ [21, 22, 23, 24]. We therefore conclude that the definition of uniformity based on the circumradius and perimeter is indeed necessary to ensure a valid continuum limit for the critical Ising model.
It is worth noting that the restoration of rotational symmetries in a lattice model of a sphere is a challenging problem which has been encountered in previous works. In [25] attempts were made to simulate the 3d Ising CFT on the manifold of radial quantization using an icosahedral discretization of the sphere and uniform couplings. Although this construction was shown to have a well-defined critical point, rotational symmetry was not restored in the continuum limit. In [4, 2], simulations of critical theory were performed using a generalization of the finite element method. Again, it was shown that a well-defined critical point exists after adding a perturbative mass counter-term to account for the non-uniform UV divergence inherent in the lattice. However, as shown in Fig.Β 12, higher precision measurements of the scalar 2-point function reveal a slight breaking of rotational symmetry in the continuum limit, very similar to the same results presented in Fig.Β 8 for the Ising model on the basic discretization of the sphere. It therefore seems likely that some additional geometric constraints may be necessary in order to restore rotational symmetry in these theories as well. Itβs possible that the same constraints used here (uniform triangle circumradius and perimeter) may also work for other theories, but although we have begun to study this possibility it is unclear if this is the case.
3.4 Agreement with the Ising CFT
Now that we have confirmed that the spin-spin correlation function in our lattice theory becomes rotationally symmetric in the continuum limit, we would like to check that it also agrees with the exactly known analytical result for the 2d Ising CFT on a 2-sphere:
(45) |
where and we have expanded in a series of Legendre polynomials which have coefficients
(46) |
which we can measure directly from lattice configurations generated by our Monte Carlo simulations. Eliminating and solving for we find
(47) |
To check that the lattice simulation agrees with the analytic result, we first calculate a conformal symmetry breaking measurement
(48) |
which should go to zero in the continuum limit. This quantity is plotted as a function of lattice spacing in Fig.Β 13, showing the expected behavior for both the octahedral and icosahedral lattice for all irrupts of O(3) up to .
Finally, we measure the scaling exponent of the operator on the lattice via
(49) |
which is plotted as a function of lattice spacing in Fig. 14. Extrapolating to the continuum limit by fitting to a quadratic polynomial in , we obtain the results with for the octahedral lattice and with for the icosahedral lattice, both in excellent agreement with the exact value of and with a relative uncertainty of about .
Our results indicate that by using the modified discretization of , our lattice simulation accurately captures the properties of the lowest -odd operator . The 2d Ising CFT of course contains an infinite set of operators related by the Virasoro algebra. Measurement of additional operators using our lattice model is a subject for future study outside the present scope, however based on the high level of accuracy of our results and the delicate nature of a properly-tuned conformal field theory, we believe it is likely that our lattice formulation is sufficient to capture the properties of all of the operators in the 2d Ising CFT in the continuum limit, given sufficient computational resources.
Another approach taken recently is to use the so-called βfuzzy sphereβ which projects the states of the theory in the basis of spherical harmonics instead of using a traditional spatial latticeΒ [26, 27]. In this case, the lattice cutoff is replaced by a maximum spherical harmonic quantum number, which is a more manifest way to ensure that rotational symmetry is restored in the continuum limit. This method shows promising results for the lowest operators of the 3d Ising CFT, though it is unclear how difficult it would be to generalize to other theories.
4 Conclusion
We have demonstrated that there is a nearest neighbor Ising model properly implemented on triangulation of the sphere which we conjecture yields the exact minimal Ising CFT in the continuum limit. This is based on both theoretical support and Monte Carlo simulations. There are more stringent numerical tests and theoretical arguments being pursued to support this conjecture. We are increasing the statistical accuracy for the correlation function as well as computing the scalar 4 point function and the correlator for the energy momentum tensor. The energy momentum tensor plays a crucial theoretical role as the exact marginal operator conjugate to the metric tensor . Our working hypothesis is that smoothing the geometry is the first step to extract the spherical differential from a Regge piecewise flat manifold.
The benefit of the 2d Ising soluble theory is both its theoretical foundation in our affine analysis in flat space in Ref.[13] and comparison with the exact solution on . The 3 state Potts model and SUSY tricritical Ising model (TIM) provide interesting further examples to try. To understand this in a larger context beyond solvable lattice models, we are develo** similar analysis for theory where the map from the geometry of edge lengths to coupling is no longer known analytically. We expect a smooth interpolation of the map from FEM mapΒ (2) at zero bare coupling to the Ising map (3) at infinite coupling. But the general dependence on the bare coupling, , must be found numerically. This is a first step in develo** efficient numerical algorithms of the affine map for general renormalizable lattice field theories. To go to higher dimensions, we are starting with the 3d Ising theory in radial quantized form on and on the Riemann sphere, , as simplicial refinement of the 600 cell.
In conclusion it is useful to summarize our intuitive picture for the central role of the affine parameter in constructing more general solutions to lattice field theories on smooth curved manifolds. In d-dimension a global affine transformation, , extends the parameters of the Euclidean PoincarΓ© group by an additional parameters. These are equivalent to a general metric tensor, on each tangent plane. The discrete simplicial geometry has been extensively studiedΒ [28] in the context of Regge Calculus on higher dimensional triangular lattices. Each piecewise flat simplex is an affine subspace with the parameters represented by edge lengths of the d-simplex. The gauge potential (or Christoffel symbol) define the parallel transport between adjacent simplicies across the share boundary.
In the quantum field theory the affine transformation is generated by the components of the conserved energy momentum operator. In a conformal theory, it is a marginal traceless operator. The trace providing the relevant operator, breaking conformal invariance. We believe the fundamental geometric problem is constructing the map to the tangent plane, re-introduce the differential metric in the continuum limit of the Regge manifold[17] that matches the coordinate induced by the energy momentum operator in the quantum field theory. While extensions to general lattice field theories are both non-trivial theoretically and algorithmically challenging, we are optimistic that systematic sequence of solutions for higher dimensional examples, including gauge and fermion fields, will systematically developed the requisite tools with the ultimate goal of high performance 4d gauge theories leveraging methods for lattice QCD at the Exascale.
Acknowledgements
We thank Cameron Cogburn, Liam Fitzpatrick, George Fleming, Anna-Maria GlΓΌck, Ami Katz, **-Yun Lin, Nobuyuki Matsumoto and Chung-I Tan for very helpful discussions. This work was supported by the U.S. Department of Energy (DOE) under Award No.Β DE-SC0019139 and Award No.Β DE-SC0015845.
References
- [1] Flag review 2021. The European Physical Journal C, 82(10), October 2022.
- [2] RichardΒ C. Brower, GeorgeΒ Tamminga Fleming, AndrewΒ D. Gasbarro, Dean Howarth, TimothyΒ G. Raben, Chung-I. Tan, and Evan Weinberg. Radial lattice quantization of 3D field theory. Physical Review D, 2020.
- [3] T.Β Appelquist, A.Β Avakian, R.Β Babich, R.Β C. Brower, M.Β Cheng, M.Β A. Clark, S.Β D. Cohen, G.Β T. Fleming, J.Β Kiskis, E.Β T. Neil, J.Β C. Osborn, C.Β Rebbi, D.Β Schaich, and P.Β Vranas. Toward tev conformality. Physical Review Letters, 104(7), February 2010.
- [4] RichardΒ C. Brower, Michael Cheng, EvanΒ S. Weinberg, GeorgeΒ T. Fleming, AndrewΒ D. Gasbarro, TimothyΒ G. Raben, and Chung-I Tan. Lattice field theory on Riemann manifolds: Numerical tests for the 2-d Ising CFT on . Phys. Rev., D98(1):014502, 2018.
- [5] Slava Rychkov. EPFL Lectures on Conformal Field Theory in Dimensions. Springer, 1 2016.
- [6] JohnΒ L. Cardy. Universal amplitudes in finite-size scaling: generalization to arbitrary dimensionality. J.Phys.A, A18:L757βL760, 1985.
- [7] RichardΒ C. Brower, CameronΒ V. Cogburn, A.Β Liam Fitzpatrick, Dean Howarth, and Chung-I Tan. Lattice setup for quantum field theory in . Phys. Rev. D, 103:094507, May 2021.
- [8] RichardΒ C. Brower, CameronΒ V. Cogburn, and Evan Owen. Hyperbolic lattice for scalar field theory in . Phys. Rev. D, 105:114503, Jun 2022.
- [9] Mathieu Desbrun, AnilΒ N. Hirani, Melvin Leok, and JerroldΒ E. Marsden. Discrete exterior calculus. arXiv: Differential Geometry, 2005.
- [10] TullioΒ Eugenio Regge. General relativity without coordinates. Il Nuovo Cimento (1955-1965), 19:558β571, 1961.
- [11] RichardΒ C. Brower, GeorgeΒ T. Fleming, AndrewΒ D. Gasbarro, TimothyΒ G. Raben, Chung-I Tan, and EvanΒ S. Weinberg. Lattice Dirac Fermions on a Simplicial Riemannian Manifold. Phys. Rev., D95(11):114510, 2017.
- [12] Venkitesh Ayyar, RichardΒ C. Brower, GeorgeΒ T. Fleming, Anna-MariaΒ E. GlΓΌck, EvanΒ K. Owen, TimothyΒ G. Raben, and Chung-I Tan. The operator product expansion for radial lattice quantization of 3d theory, 2023.
- [13] RichardΒ C. Brower and EvanΒ K. Owen. Ising model on the affine plane. Physical Review D, 108(1), July 2023.
- [14] SergeiΒ V. Pokrovsky and Yu.Β A. Bashilov. Star-triangle relations in the exactly solvable statistical models. Communications in Mathematical Physics, 84:103β132, 1982.
- [15] RodneyΒ J. Baxter. Exactly solved models in statistical mechanics. Academic Press, 1982.
- [16] Ulli Wolff. Ising model as Wilson-Majorana fermions. Nuclear Physics B, 2020.
- [17] G.Β Feinberg, R.Β Friedberg, T.Β D. Lee, and H.Β C. Ren. Lattice Gravity Near the Continuum Limit. Nucl. Phys., B245:343, 1984.
- [18] P.Di Francesco, P.Β Ginsparg, and J.Β Zinn-Justin. 2d gravity and random matrices. Physics Reports, 254(1):1β133, 1995.
- [19] H.Β A. Kramers and G.Β H. Wannier. Statistics of the Two-Dimensional Ferromagnet. Part I. Phys. Rev., 60:252β262, Aug 1941.
- [20] Max Tegmark. An Icosahedron-based Method for Pixelizing the Celestial Sphere. The Astrophysical Journal Letters, 470:L81 β L84, 1996.
- [21] Guoliang Xu. Discrete Laplace-Beltrami Operator on Sphere and Optimal Spherical Triangulations. Int. J. Comput. Geom. Appl., 16:75β93, 2006.
- [22] Cory Ahrens and Gregory Beylkin. Rotationally invariant quadratures for the sphere. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 465:3103 β 3125, 2009.
- [23] Shin-ichi Iga and Hirofumi Tomita. Improved smoothness and homogeneity of icosahedral grids using the spring dynamics method. J. Comput. Phys., 258:208β226, 2014.
- [24] Bengt Fornberg and JordanΒ M. Martel. On spherical harmonics based numerical quadrature over the surface of a sphere. Advances in Computational Mathematics, 40:1169 β 1184, 2014.
- [25] RichardΒ C. Brower, GeorgeΒ Tamminga Fleming, and Herbert Neuberger. Lattice radial quantization: 3D Ising. Physics Letters B, 721:299β305, 2012.
- [26] Wei Zhu, Chao Han, Emilie Huffman, JohannesΒ S. Hofmann, and Yin-Chen He. Uncovering conformal symmetry in the Ising transition: State-operator correspondence from a fuzzy sphere regularization, arXiv:2210.13482, 2023.
- [27] Liangdong Hu, Yin-Chen He, and W.Β Zhu. Operator Product Expansion Coefficients of the 3D Ising Criticality via Quantum Fuzzy Sphere, arXiv:2303.08844, 2023.
- [28] JΒ W Barrett. The geometry of classical regge calculus. Classical and Quantum Gravity, 4(6):1565, nov 1987.
- [29] JohnΒ E. Dennis and Bobby Schnabel. Numerical methods for unconstrained optimization and nonlinear equations. In Prentice Hall series in computational mathematics, 1983.
Appendix A Simplicial Spherical Harmonics
On a hypercubic lattice the analysis of translational and rotational symmetries using discrete Fourier transform is obligatory. Here the analogous procedure on a triangulated sphere is the transform to discrete spherical harmonics. This requires a careful discussion of integration over a piecewise simplicial manifold.
For example on a 2d simplicial manifold for the sphere, the integral of a smooth function with values on each vertex is defined by
(50) |
where the measure is the scaled circumcenter Delaunay dual area: . For any reasonable refinement the error is with with given in Eq.Β (43). Indeed this is a natural generalization of the trapezoidal rule on a simplicial complex for . Many higher order integration schemes are possible but are not needed for our current analysis.
We now apply this to spherical harmonic, , evaluated on each site on the sphere . The latice addition theorem,
(51) |
is still exact and the integration rule gives orthogonality,
(52) |
for smooth modes with . This is applied to scalar two point function,
(53) |
where . The integration procedure allows us to invert the expansion,
(54) |
with expansion coefficient for low modes modes given by
(55) |
Using the addition theorem, spherical symmetry implies
(56) |
so that in the continuum is function the spherical geodesic through . In Sec.3.2, substituting , this procedure applies equally well to smooth quantum Ising correlators as one approaches a second order critical surface.
Appendix B Smoothing the Simplicial Manifold.
B.1 Vertex degrees of freedom
On our graph illustrated in Fig.Β 6 with refinement level has faces, edges and vertices. Embedded on the sphere the 3d unit vectors represent dof. After removing the 3 rotations and fixing the scale by the sphereβs radius, the independent degrees of freedom are equal to the number of coupling constants or the corresponding edge lengths .
In our implementation, we also seek to retain as much symmetry as possible, namely the discrete subgroup of of the original platonic solid. This can be accomplished by a judicious choice of the degrees of freedom of the problem, which we will describe here for an icosahedral discretization. It is important to note that the simplicial graph remains fixed during this procedure. This method works equally well for discretizations with octahedral or tetrahedral symmetry, and can also be generalized for discretizations of . It is also possible to generalize to non-spherical manifolds, though we have not yet had a reason to do so.
We first identify βorbitsβ which are sets of vertices which transform into one another under the icosahedral group transformations. We use the full icosahedral group which includes rotations and reflections (120 group elements), but this method will also work for the chiral icosahedral group which includes only rotations (60 group elements). The number of distinct vertices in an orbit (the orbitβs degeneracy) depends on whether its vertices lie on any symmetry axes of the icosahedron. For example, an orbit with vertices at the midpoints of the icosahedral edges has a degeneracy of 30 (one per icosahedral edge), while an orbit with vertices on one of the reflection axes of an icosahedral face has a degeneracy of 60 (three per icosahedral face). An orbit which does not lie on any symmetry axes has a degeneracy of 120 (six per icosahedral face).
We parameterize an orbitβs position by its barycentric coordinates within an icosahedral face. The barycentric coordinates describe a position on an icosahedral face, which is then projected onto the unit sphere. Using barycentric coordinates allows us to define the coordinates of all vertices in an orbit simultaneously on all 20 icosahedral faces. In addition, permuting the order of the 3 barycentric coordinate values generates all of the vertices within a single icosahedral face.
In order to preserve icosahedral symmetry, we require that orbits with vertices on a symmetry axis remains on that symmetry axis during the minimization procedure. Thus, though a point on a sphere has two degrees of freedom in general, this constraint reduces the number of degrees of freedom for some orbits (e.g. an orbit with vertices at the midpoints of the icosahedral edges has no degrees of freedom). The reduced set of orbit degrees of freedom, denoted where runs over all of the remaining degrees of freedom, can be freely adjusted without breaking icosahedral symmetry. Once we determine the values of which minimize , we simply use the action of the icosahedral group elements to compute the vertex coordinates of all of the lattice sites in each orbit as described above.
This reduction by imposing symmetries reduces the dof continues to match the constraint of a single triangle term. However as described in the text we consider the over constrained system with both area (A) and perimeter (P) forms. The use of over constraint optimization appears to be important for these highly non-linear optimization appears to be important.
B.2 Iterative method for generating uniform spherical meshes
In Sec. 3.3, we show that rotational symmetry of the spin-spin correlation function was broken in the continuum limit for simulations of the critical Ising model on the basic discretization of a sphere. The failure to restore rotational symmetry in the continuum limit can be traced back to the fact that our derivation of the critical couplings on a simplicial lattice required all of the triangles to have equal circumradius and perimeter, which is not the case for the basic discretization of the sphere. In this appendix I will describe an iterative method for modifying the basic discretization of to make the triangles more uniform.
After identifying the reduced set of degrees of freedom , we use Newtonβs method to solve the non-linear system of equations
(57) |
We use the barycentric coordinates of the vertices from the basic discretization as the initial guess , then the -th iteration of Newtonβs methodΒ [29] sets
(58) |
where is the non-uniformity measure computed on the lattice with the vertex coordinates determined by the orbit coordinates . We compute the partial derivatives via first-order finite differences with a step size of , which is efficient for double-precision floating point numbers. The parameter is a preconditioning factor and is chosen to ensure that is strictly decreasing for successive iterations. We continue the iterative process until the quantity becomes less than .