Abstract
We study numerically the curvature tensor in a three-dimensional discrete space. Starting from the continuous metric of a three-sphere, we transformed it into a discrete space using three integers \(n_1, n_2\), and \(n_3\). The numerical results are compared with the expected values in the continuous limit. We show that as the number of cells in the lattice increases, the continuous limit is recovered.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The difficulties that arise in attempts to quantize gravity have motivated the development of discrete gravity theories. In discrete gravity, as the naming suggests, the continuous spacetime is discretized and is no longer treated as a smooth manifold, with no unique approach to how the discretization is carried out. For example, lattice gauge theory is the study of gauge theories on a spacetime that has been discretized into a lattice [6]. Regge calculus is another proposed discrete approximation to general relativity. The formalism involves dividing spacetime into simplices with polyhedrons (Euclidean simplices) as its basic building blocks. Subsequently, the curvature of spacetime is approximated within each simplex [4]. One other framework is the Euclidean dynamical triangulation (EDT), which approximates the spacetime as a triangulated lattice, where the distances between neighboring points on the lattice are the edges of the triangles [1]. One last example is Loop quantum gravity, which is a theory of quantum gravity that postulates that spacetime is represented as a network of finite loops [5]. These approaches are all attempts to develop a theory of gravity that can merge general relativity with quantum mechanics.
Lately, a new approach of discrete gravity was proposed [3]. Each elementary cell in the discrete space is completely characterized by displacement operators connecting a cell to its neighbors by the spin connection. The curvature of the discrete space was defined and it was shown that as the elementary volume vanishes, the standard results for the continuous curved differentiable manifolds are fully recovered. This proposed discretization of space was modeled after QCD where instead of the SU(3) color group, the rotation symmetry of the tangent group is kept intact. The main advantage of this approach over others is that the continuous limit is manifest.
Recently, and within the lattice-like approach, the scalar curvature of discrete gravity in two dimensions was studied [2], based on the model proposed in [3]. Our aim in this paper is to study numerically the curvature tensor in three dimensions in discrete space. In the three-dimensional case, each cell has six neighboring cells which share with it a common boundary. Three integers that can be positive and negative, \(n_1, n_2, n_3\), are used to enumerate each of the elementary cells. In the continuous limit, these series of integers become coordinates on the manifold, this is presented in the first section of this paper. In the second section, we convert the continuous metric of a three-sphere into a lattice. We also investigate how the scalar curvature changes in the discrete space depending on the number of cells, and we demonstrate that it approaches the anticipated value in the continuous limit as the number of cells increases. In the third section, the expected values of the spin connections and the curvature tensor in the continuous case will be compared with the ones acquired in the discrete case.
2 Isotropic coordinates for a three-sphere
Starting from a three-sphere metric with a unit radius:
we can rewrite it as
where \(r = sin \chi \).
To plot the set of discrete points that will make the discrete three-sphere, we start from the regular coordinates given below:
We define \(\left( x_1, x_2, x_3\right) \) in terms of \(n_1\), \(n_2\) and \(n_3\) and in terms of \(\bar{r} = 2 \tan \frac{\chi }{2}\)
where
This finally gives
with the restriction \(n_{1}^{2}+n_{2}^{2}+n_{3}^{2}\le N^{2}\). The coordinates (x, y, z) will be given by:
The set of discrete points forming a three-sphere of radius one are displayed in Fig. 1.
3 Three dimensional lattice gravity
This case is simple because the rotation group \(SO\left( 3\right) \) has the same Lie Algebra as \(SU\left( 2\right) \). We take the connection:
Thus the curvature \(R_{\mu \nu }^{\quad ij}\left( n\right) =\epsilon ^{ijk}R_{\mu \nu }^{\quad k}\left( n\right) \) is given by (no summation on \(\mu ,\nu \) in what follows)
where
and \(\mathcal {\ell }_{\mu }\) is the length scale for each dimension. We are taking \(\mathcal {\ell }_{1} = \mathcal {\ell }_{2} = \mathcal {\ell }_{3} = \mathcal {\ell }\). We have denoted
The torsion is given by
where \(e_{\nu }^{k}\) are the vierbeins (check [3]). The latter form a set of orthonormal vector fields where \(\nu \) labels the general spacetime coordinate and k labels the local Lorentz spacetime. The vanishing of \(T_{\mu \nu }^{\quad i}\) provides nine conditions to solve for the nine unknowns \(\omega _{\mu }^{i}\left( n\right) \) (check appendix I). We then proceed to find the components of the curvature \(R_{\mu \nu }^{i}\) using Eqs. 1–3 (check appendix II).
The curvature tensor is given by
and the scalar curvature is
To show that the curvature tensor has the correct continuous limit, we note that as \(\mathcal {\ell }\rightarrow 0\)
This implies that
where we have used \(\omega _{\nu }^{i} \left( n + \widehat{\mu } \right) -\omega _{\nu }^{i} \left( n\right) = \mathcal {\ell }\partial _{\mu }\omega _{\nu }^{i} + O\left( \mathcal {\ell }^{2}\right) .\) Noting that
where \(\omega _{\mu }^{ij} = \epsilon ^{ijk}\omega _{\mu }^{k}\) recovers the familiar expression for the curvature tensor.
In the case when \(e_{\mu }^{i}\) is diagonal then
where the dotted index corresponds to the coordinate directions in the spacetime manifold while the undotted index represents the tangent space directions.
Considering the example of the three-sphere in isotropic coordinates we will have
Since \(\left( x^{1}\right) ^{2}+\left( x^{2}\right) ^{2}+\left( x^{3}\right) ^{2}=r^{2}=2\tan \frac{\theta }{2}\), one must use two coordinate charts. Therefore, one must have \(r^{2}\le 4\) and thus \(\left( n^{1}\right) ^{2}+\left( n^{2}\right) ^{2}+\left( n^{3}\right) ^{2}\le N^{2}.\) This restriction is imposed on the values of \(n_1, n_2, n_3\).
4 Continuous case
It is helpful to list the values of the spin connections and curvatures in the continuous limit. In a numerical calculation to test the accuracy of the program, we can compare the numerical values of \(\omega _{\mu }^{i}\), \(R_{\mu \nu }^{\quad ij}\) to those of the continuous limit. In particular, one can test the homogeneity of the space by comparing the Ricci tensor \(R_{\nu \sigma }\) to the metric \(g_{\nu \sigma }\)
Inverting we get
and the only non-vanishing curvatures are:
\(R_{\dot{1} \dot{2}, con}^{3}\), \(R_{\dot{2} \dot{3},con}^{1}\) and \(R_{\dot{3} \dot{1},con}^{2}\) in the continuous case (which are equal) are compared to \(R_{\dot{1} \dot{2}}^{3}\), \(R_{\dot{2} \dot{3}}^{1}\), and \(R_{\dot{3} \dot{1}}^{2}\) in the discrete case as a function of the index which corresponds to a point in this discretized space
The total curvature scalar is then
We also note that the continuous limit of \(\omega _{\mu }^{i}=\frac{1}{2}\epsilon ^{ijk}\omega _{\mu }^{jk}=\frac{1}{2}\epsilon ^{ijk}x^{j}e_{\mu }^{k}.\) In components we have
The expression appearing in the numerical \(\mathcal {\ell \omega }_{\mu }\) must correspond to
so that
The value of \(\ell _{\mu }\) has to be properly chosen for it to yield the correct values of the curvature tensors. For that reason, we iterated over multiple values of \(\ell _{\mu }\). \(\ell _{\mu } = 2/N\) turned out to be the optimal choice leading to the discretized form of \({\frac{\mathcal {\ell }}{2} \omega }_{i}^{j}\rightarrow \frac{\epsilon ^{ijk}n^{k}}{1+\frac{n^{l}n^{l}}{N^{2}}}\), upon replacing \(x^{i}\) by \(2\frac{n^{i}}{N}\).
Figure 2 illustrates the convergence of the mean curvature as a function of N to its expected value of 6. Figures 3 and 4 show the curvature in the continuous and discrete limit. In the continuous limit, \(R_{\dot{1} \dot{2}}^{3}\) has the same value as \(R_{\dot{2} \dot{3}}^{1}\) and \(R_{\dot{3} \dot{1}}^{2}\). Their plot is compared with each of the other plots in the discrete case in Fig. 3, while Fig. 4 presents \(R_{\dot{1} \dot{2}}^{1}\) and \(R_{\dot{1} \dot{2}}^{2}\) that vanish in the continuous case. Also, the Ricci curvature is plotted in Figs. 5 and 6. In Fig. 5, the values of \(R_{\dot{1}\dot{1}}\), \(R_{\dot{2}\dot{2}}\), and \(R_{\dot{3}\dot{3}}\) are equal in the continuous case and are compared to their values in the discrete case, while Fig. 6 shows the plots of \(R_{\dot{1}\dot{2}}\) and \(R_{\dot{1}\dot{3}}\) in the discrete case. The latter is expected to vanish in the continuous case. To compare the numerical values of the spin connection, Figs. 7, 8, 9, 10, 11, 12 and 13 are represented. These figures are a sample of the spin connections plotted in the discrete case versus the plots of the expected values in the continuous case, for \(N=12\). The plots in the discrete case were obtained by solving Eqs. 7–15 combined with Eq. 4 using nleqslv, which is an R package for solving nonlinear equations.
In the above figures, we compared the continuum to the discrete values. It is worth noting that the deviation from zero in Figs. 4 and 6 is not due to numerical errors but is rather linked to discretization. The limit we are reporting the results of is far from the continuum limit. The numerical solver nleqslv is based on Newton’s method whose precision is set to \(10^{-12}.\) In order to avoid getting stuck in local solutions of the system we iterated over 500 different initial guesses, all of which returned the solutions we reported.
The similarities between the continuum and the discrete are shown in all the figures. The discrepancies between them have to do with the choice of discretization, in this case \(N = 12\). We opted to report the errors in the scalar curvature R for which the continuum value is known to be 6. The scalar curvature is the evaluator of the goodness of the numerics.
Having established the rapid convergence of the scalar curvature to the continuous limit, we examine the properties of the discrete values of the tensors and whether they exhibit the same symmetries as the continuous case. We thus define:
and
In the continuous case, we have:
To test whether the symmetries of the Riemann tensor hold, we examine, in the discrete case, the differences:
for the small values of N. Figure 14 presents the root-mean-squared error of each of the differences given in Eq. 6 versus N. This shows that symmetries in the discrete limit do not hold, but the difference is getting smaller as N increases. The least-square fit to the RMS error as a function of N, using the fit function \(0.5 \times N^{-A}\), returns \(A = 1.97\) with \(r^2 = 0.98\).
5 Conclusion
In this paper, we used the definition of the curvature of the discrete space in the recently proposed model of discrete gravity. Three integers (positive or negative) were used to enumerate each of the elementary cells in this lattice-like approach. Considering the example of a three-sphere, the curvature was computed numerically. It was shown that as the number of cells increases, the continuous limit is recovered. In this formalism, the metric is given as input. To account for all geometries we must allow for metric fluctuations. Our future work includes studying the link between metric changes and quantum fluctuations and also handling the more difficult problem of studying four-dimensional gravity on the lattice. Our ultimate goal is to apply this method to quantum gravity.
Data availability statement
My manuscript has associated data in a data repository. The script used in the paper is available at the following link.
References
Simon Catterall, J. Kogut, R. Renken, Phase structure of four dimensional simplicial quantum gravity. Phys. Lett. B 328(3–4), 277–283 (1994)
Ali H. Chamseddine, Ola Malaeb, Sara Najem, Scalar curvature in discrete gravity. Eur. Phys. J. C 82(7), 651 (2022)
Ali H. Chamseddine, Viatcheslav Mukhanov, Discrete gravity. J. High Energy Phys. 2021(11), 1–13 (2021)
Tullio Regge, General relativity without coordinates. Il Nuovo Cimento (1955–1965) 19(3), 558–571 (1961)
Carlo Rovelli, Loop quantum gravity. Living Rev. Relativ. 11, 1–69 (2008)
Kenneth G. Wilson, Confinement of quarks. Phys. Rev. D 10(8), 2445 (1974)
Acknowledgements
A.H.C would like to thank Slava Mukhanov for suggesting the use of isotropic coordinates. The work of A. H. C is supported in part by the National Science Foundation Grant no. Phys-2207663.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix I
Writing the nine equations in detail, we have:
In this notation we have \(e_{\overset{.}{1}}^{1}\left( n+\overset{.}{2}\ \right) \equiv e_{\overset{.}{1}}^{1}\left( n_{1},n_{2}+1,n_{3}\right) \) thus shifting only the second coordinate.
Appendix II
We will also give an example of how the components of \(A_{\mu \nu }\left( n\right) \) and \(B_{\mu \nu }^{i}\left( n\right) \) look like
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/.
About this article
Cite this article
Chamseddine, A.H., Malaeb, O. & Najem, S. Curvature tensor in discrete gravity. Eur. Phys. J. C 83, 896 (2023). https://doi.org/10.1140/epjc/s10052-023-12061-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12061-1