Abstract
We construct higher-order curvature invariants in causal set quantum gravity. The motivation for this work is twofold: First, to characterize causal sets, discrete operators that encode geometric information on the emergent spacetime manifold, e.g., its curvature invariants, are indispensable. Second, to make contact with the asymptotic-safety approach to quantum gravity in Lorentzian signature and find a second-order phase transition in the phase diagram for causal sets, going beyond the discrete analog of the Einstein–Hilbert action may be critical. Therefore, we generalize the discrete d’Alembertian, which encodes the Ricci scalar, to higher orders. We prove that curvature invariants of the form \(R^{2} -2 \Box R\) (and similar invariants at higher powers of derivatives) arise in the continuum limit.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and motivation
In this paper, we construct higher-order curvature operators for causal sets. Our motivation is twofold: First, geometric quantities such as curvature operators are important when one reconstructs a continuous spacetime from a discrete causal set—which is one of the key outstanding problems in causal set quantum gravity. Second, higher-order curvature operators are important when one uses causal sets to search for asymptotic safety in quantum gravity in Lorentzian signature—which is one of the key outstanding problems in asymptotically safe quantum gravity.
Below, we introduce these motivations in more detail.
Our first motivation comes from the reconstruction of continuum geometry from a discrete causal set. Causal set quantum gravity is based on a discretization of Lorentzian spacetimes [1], see [2] for a recent review. It substitutes Lorentzian continuum manifolds by networks of spacetime points, in which the links that connect the nodes of the network correspond to causal relations. Mathematically, such networks are partial orders. However, the set of partial orders which satisfy the causal-set requirements is much larger than the set of partial orders that encode Lorentzian manifolds [3].
Thus, a central challenge in causal set quantum gravity is to reconstruct continuum information from a causal set. We thus require geometric quantities to characterize a causal set and decide, whether or not a given causal set is the discrete counterpart of a continuum manifold, and if so, of which manifold. These quantities must be calculable purely in terms of the causal relations making up the causal set. Already existing geometric and topological quantities include measures of the spacetime dimensionality [4,5,6,7,8] as well as spatial dimensionality on antichains (the causal-set analog of a spatial hypersurface) [9], measures of geodesic distance [10,11,12], and a construction of the Ricci curvature scalar [13], for further examples, see the review [2]. Here, we will generalize the curvature scalar to higher orders and to derivatives of the curvature. This provides further diagnostics to characterize causal sets.
Our second motivation comes from the asymptotic-safety paradigm in Lorentzian-signature spacetimes. In the asymptotic-safety paradigm, gravity is quantized as a predictive quantum field theory [14,15,16,17]. This is possible, if this quantum field theory starts out in a quantum scale-invariant regime at very small distance scales, see, e.g., the recent reviews [18,19,20,21,22,23,24,25].
A main challenge is that, with few exception [26, 27], calculations are done in Euclidean signature. The functional Renormalization Group method [28], see [29] for a review, which these calculations use, can be extended to Lorentzian signature, but at the cost of significant technical challenges. Thus, a different framework to investigate the asymptotic-safety paradigm in Lorentzian signature is called for. In [30, 31], it was proposed that causal sets could provide such a framework. Following the proposal, the discreteness in causal sets is viewed as a regularization of the quantum gravitational path integral. A universal continuum limit can be taken, sending the regularization scale to zero, if a second-order phase transition exists in the phase diagram of causal sets. This same idea is explored in causal dynamical triangulations [32,33,34] and in other combinatorial approaches [35, 36]. First investigations of the phase diagram for causal sets exist, but show only first-order transitions if the action that is used contains only a curvature term [37,38,39]. There are also indications that the presence of matter could induce new phase transitions, albeit not higher-order ones [40]. Interestingly, Euclidean continuum studies suggest that an asymptotically safe regime has more than two relevant directions, which need to be tuned in order to reach the corresponding phase transition [41,42,43,44,45,46,47,48]. This suggests that it may be necessary to go beyond an action containing only a single curvature term in order to find a higher-order phase transition. This motivates us to construct higher-order curvature terms for causal sets.
This paper is organized as follows: In Sect. 2, we introduce key features of causal sets, before constructing a higher-curvature operator in Sect. 3, where we also investigate its continuum limit. We then generalize the operator to higher orders in the curvature in Sect. 4 and discuss the causal-set action with higher-order terms in Sect. 5, before we conclude in Sect. 6. Additional technical details are provided in an “Appendix”.
2 Lightning review of causal sets
The causal-set approach to quantum gravity is based on the Hawking–Malament theorem [49, 50], which states that, under some quite generic assumptions, the causal order contains all information in the metric except for the conformal factor. The causal order of spacetime points x, y is a partial order: For spacetime points at timelike or null separation, \(x \preceq y\) (x precedes y), if x is in the causal past of y.Footnote 1 For spacetime points at spacelike separation, there is no ordering.
A causal set C is a set of spacetime points, together with the relation \(\preceq \), such that the following holds:
-
(i)
If \(x \preceq y\) and \(y \preceq z\) (and \(x \ne z\)), then \(x \prec z\) (transitivity).
-
(ii)
If \(x \preceq y\) and \(y \preceq x\), then \(x = y\) (acyclicity or no closed-timelike-curves)
-
(iii)
\(|\{z \in C: x\preceq z \preceq y\}|< \infty \) (local finiteness).
The first two conditions hold for the causal order of spacetime points in any causal manifold. The last condition imposes spacetime discreteness, because it restricts the causal interval between any two points to finite cardinality.
Because of the discreteness, one can recover the additional piece of information to reconstruct the metric, namely the conformal factor: By counting the elements in any subset of the causal set, one obtains the volume, because on average each spacetime point \(x \in C\) is associated with a spacetime volume \(\ell ^{d}\), where d is the spacetime dimensionality and \(\ell \) is the discreteness scale. The association is a statistical one: Spacetime points are associated with spacetime volumes through a probability distribution, namely a Poisson distribution, which says that the probability to find n spacetime points in a volume V is given by
where \(\rho = \ell ^{-d}\) is the density. This statistical association circumvents a problem that regular, lattice-like discretizations have, namely the breaking of local Lorentz invariance [51].
Causal sets are the basis for a non-quantum-field theoretic quantization of gravity, in which the metric is discarded at the fundamental level, and with it most of the structure of differentiable Riemannian manifolds. Instead, spacetime manifolds and their geometry are expected to emerge from a discrete regime based on causal structure, at scales which are large compared to the discreteness scale.
To reconstruct a manifold from a manifold-like causal setFootnote 2 is in general an unsolved problem. For the other direction, namely to construct a causal set from a given manifold, one uses the Poisson distribution Eq. (1). One “sprinkles” spacetime points into the manifold according to the Poisson distribution, then constructs the links (i.e., the irreducible causal relations \(x \preceq y\), which satisfy that \(|\{z \in C, x\preceq z\preceq y\}|=0\)) and then “forgets” about the manifold and any additional structure associated with it (e.g., the tangent spaces attached to each point in the manifold). Such sprinklings will be crucial both in deriving the continuum limit of the operators we will consider, and also in performing numerical simulations of these operators.
3 The curvature squared operator and its continuum limit
On a manifold with boundaries, there are four different operators with mass-dimension four, i.e., constructed with four powers of derivatives. These are
The Riemann-invariant can also be traded for the square of the Weyl tensor, and in four dimensions, a linear combination of the first three becomes a topological invariant through the Gauss–Bonnet theorem.
In general, a basis can be set up using any four linear combinations of the above operators. As we will find, we can construct \(R^{2} - 2 \Box R\) by generalizing the operator B constructed in [13, 52,53,54,55].
The scalar curvature of a causal set can be extracted from the operator B [13, 52], which is a discrete operator that converges to \(\left( \Box - \frac{1}{2}R\right) \) in the continuum limit, i.e.,
where \(\ell \) is the discreteness scale and \(\phi (x)\) is a scalar field (which should be twice differentiable and finite within a region of compact support). By setting \(\phi (x)\) to a constant (\(\phi (x) = -2\) within a compact region including a neighborhood of x), we extract the scalar curvature:
Based on Eq. (4), we conjecture that higher orders in the Ricci scalar can be obtained as follows: Given that \(\psi (x)=B \phi (x) \) is just another scalar field, we can apply the discrete operator B to \(\psi (x)\) and take the continuum limit:
Setting \(\phi (x)\) to a constant value (\(\phi (x) = 4\)), we find
For constant-curvature manifolds, this expression directly gives \(R^{2}\). On a general manifold, we obtain a combination of \(R^{2}\) and \(\Box R\). If \(B^{2}\) is used to construct an action, it reduces to \(R^{2}\) on manifolds without boundaries, where \(\Box R\) is a total derivative that gives a vanishing contribution.
To show that Eq. (6) holds, we first review how to take the continuum limit of B and then generalize to \(B^{2}\).
3.1 Review of the B-operator in causal sets
A discrete derivative operator contains the sum over field values at nearest neighbors, next-to-nearest-neighbors, etc., of a given point. This rationale underlies the construction of B in causal sets [52]. There, the nearest neighbors are elements with a causal connection and no other element in-between; the next-to-nearest-neighbors are causally connected elements with one element in-between and so on. Here, it is not the graph-distance that determines the neighbor-relations, but instead a causal notion of distance. In order to build either a retarded (advanced) operator, only causally related elements to the past (future) of a given point are included. We therefore need the layers \(L_{i}(x)\), which contain points to the past (future) of a point which have a fixed number of points in-between themselves and x. The first layer, \(L_{1}(x)\), contains all elements that share a link with the element at x. The i-th layer is defined using \(x\prec y\) to denote that x precedes y and is not equal to y.
i.e., the i-th layer includes points y in the past of x with \(i-1\) points lying in the causal interval between x and y. Accordingly, the second layer includes all causal intervals which are chains containing three elements in total (the top and bottom element and one intermediate one). In contrast, three-element chains which are not causal intervals are not included (see Fig. 1)
.
Thus, the discrete derivative-squared operator B is defined by its action on a scalar field \(\phi (x)\) according to
The prefactor \(1/\ell ^{2}\) is there to account for the mass-dimension of B; \(\ell ^{2} B\) is a dimensionless quantity in any number of spacetime dimensions d.
The parameters \(\alpha _{d}\), \(\beta _{d}\), \(n_{d}\) and \(C_{i}^{(d)}\), see Table 1 are chosen in such a way that \(\lim _{\ell \rightarrow 0}B(\phi (x))\) converges to \(\left( \Box - \frac{1}{2} R(x) \right) \!\phi (x)\) for a causal set generated by sprinkling points into a d-dimensional manifold [13, 54, 56].
For causal sets obtained by a Poisson sprinkling into a d-dimensional Lorentzian manifold \(({\mathcal{M}},g)\), with metric \(g_{\mu \nu }\), with sprinkling density \(\rho = \ell ^{-d}\), the expectation value of the random variable \(B(\phi (x))\) can be written as
where \(J^{-}(x)\) is the causal past of sx and \({\mathcal{V}}(x,y)\) is the volume of the causal interval between points x and y, see “Appendix 2” for more details.
For compactness, we summarize the summation over past layers as
with
With this notation, we can rewrite \(\langle B(\phi (x)) \rangle \) as
In the continuum limit, \(\ell \rightarrow 0\), we can compute \({\mathcal{I}}_{d}[\phi ](x)\) by following [55]. In summary, to compute the continuum limit of \({\mathcal{I}}_{d}[\phi ](x)\) the authors of [55] decompose the integration region \(J^{-}(x)\) into three sub-regions \(J^{-}(x) = W_{1} \cup W_{2} \cup W_{3}\). \(W_{2}\) and \(W_{3}\) are composed of spacetime points that are far away from x, and their contributions to \({\mathcal{I}}_{d}[\phi ](x)\) are sub-leading in the continuum limit \(\ell \rightarrow 0\). The leading contribution to \({\mathcal{I}}_{d}[\phi ](x)\) comes from an integration region \(W_{1} \subset J^{-}(x)\), which includes only points that are sufficiently close to x. Within the region \(W_{1}\), the authors of [55]: (1) expand \(\phi (y)\) in a Taylor series around x and (2) expand the metric \(g_{\mu \nu }\) and the causal volume \({\mathcal{V}}(x,y)\) in terms of Riemann normal coordinates around x.
For a detailed explanation of the steps involved in the calculation of \({\mathcal{I}}_{d}[\phi ](x)\) see, e.g., [54,55,56,57]. See also “Appendix 1” where we discuss the role of higher-order contributions to \({\mathcal{I}}_{d}[\phi ](x)\).
Computing \({\mathcal{I}}_{d}[\phi ](x)\) in a power series in the discreteness scale \(\ell \), we find
Here, \(\varDelta = \Box - \frac{1}{2}\, R(x) \) and \(\varOmega _{\phi }(x)\) contains possible higher-order contributions, such that \(\ell ^{2}\,\varOmega _{\phi }(x) \rightarrow 0\) when \(\ell \rightarrow 0\).
From Eqs. (13) and (12), we find
Thus, \(\langle B(\phi (x)) \rangle \) converges to \(\left( \Box - \frac{1}{2}\, R(x) \right) \!\phi (x)\) in the continuum limit (\(\ell \rightarrow 0\)). See “Appendix” In the continuum limit of \(\langle B(\phi (x))\rangle \), the relevant terms come from contributions up to second order in the Taylor expansion of \(\phi (x)\) and up to first order in the expansion in Riemann normal coordinates. The higher-order terms included in \(\varOmega _{\phi }(x)\) are suppressed by positive powers of the discreteness scale \(\ell \).
3.2 \(B^{2}\)-operator and its continuum limit
We define the discrete operator \(B^{2}\) by the successive application of B on a scalar field \(\phi (x)\), namely
We will next derive the continuum limit of the expectation value of this operator, to show that it produces the expected higher-derivative terms. As a first step, we write \(B(\phi (x))\) using the result in Eq. (8). The resulting expression contains \(B(\phi (x))\) and \(\sum _{y \in L_{i}(x)} B(\phi (y))\), both of which can again be written using Eq. (8). Thus, we find
For causal sets obtained by a sprinkling process, the expectation value of the random variable \(B^{2}(\phi (x))\) can be written as (see the “Appendix” for details)
In this expression, \(\ell \) occurs with powers that depend on d, but also as a \(1/\ell ^{4}\) prefactor. This prefactor carries the mass-dimension of \(B^{2}\) and is therefore not dimension-dependent.
Equation (17) can be rewritten in terms of \(\Box \phi \), \(R\, \phi \) and \(\varOmega _{\phi }\) using Eq. (13). Since \(\langle B^{2}(\phi (x)) \rangle \) contains an overall factor \({\ell }^{-4}\), we might expect that the term \({\ell }^{4} \, \varOmega _{\phi }(x)\) in the second term in Eq. (17) generates a finite contribution in the continuum limit (\({\ell }\rightarrow 0\)). Such a contribution would require the inclusion of higher-order terms in the Taylor-expansion of \(\phi (x)\) and higher-order terms in the expansion in Riemann normal coordinates. However, this \({\ell }^{4} \, \varOmega _{\phi }(x)\)-term cancels out with a similar contribution in the third term of Eq. (17). Therefore, taking the continuum limit \(\langle B^{2}(\phi (x)) \rangle \) does not require the explicit evaluation of the higher-order terms contained in \(\varOmega _{\phi }(x)\).
From Eq. (13), we find
The second line (18) corresponds to \({\mathcal{I}}[\phi ](x)\); thus, we can use the expression given by Eq. (13). The integrals in the third and fourth line, (19) and (20), have the same structure as \({\mathcal{I}}[\phi ](x)\) with \(\phi \) replaced by \(\varDelta \phi \) and \(\varOmega _{\phi }\), respectively. We can always substitute \(\varDelta \phi \) and \(\varOmega _{\phi }\) by some scalar field \(\psi (x)\), for which we use the prescription in Eq. (13). Therefore, we can compute the third and fourth line from Eq. (13). The resulting expressions are
Combining these results with (18), (19) and (20), we find
In here, we find terms at \({\mathcal{O}}(\ell ^{0})\) and \({\mathcal{O}}(\ell ^{2})\). These in fact cancel with similar terms from the first line of Eq. (17). We get the following result
Therefore, the continuum limit of \(\langle B^{2}(\phi (x)) \rangle \) converges to
3.3 Disentangling \(R(x)^{2}\) and \(\Box R(x)\)
The continuum limit of \(\langle B^{2}(\phi (x)) \rangle \) leads to a combination of \(R(x)^{2}\) and \(\Box R(x)\). For a constant scalar field, \(\phi (x)=4\), we find
To disentangle \(R(x)^{2}\) and \(\Box R(x)\), we consider a second object, namely the square of \(\langle B(\phi (x)) \rangle \), which allows to extract \(R(x)^{2}\) independently of \(\langle B^{2}(\phi (x)) \rangle \). From Eq. (4), we observe that
Combining Eqs. (26) and (27), we get
The two expressions \(\langle B^{2}\rangle \) and \(\langle B \rangle ^{2}\) both come with challenges when it comes to their numerical evaluation.
It was shown that \(\langle B \rangle \) fluctuates quite significantly; therefore we expect that \(\langle B \rangle ^{2}\) can also have rather large fluctuations. This may require large simulations for the mean value to converge sufficiently.
\(\langle B^{2}\rangle \) was not studied before, but the numerical challenge is clear: whereas \(\langle B \rangle \) requires information on four layers into the past of a point (in four spacetime dimensions), \(\langle B^{2}\rangle \) requires information on eight layers into the past. This requires large enough causal sets, such that boundary effects can be avoided in the numerical study. In preliminary numerical studies, we find that causal sets which are large enough so that \(\mathop {\textrm{lim}}\nolimits _{\ell \rightarrow 0}\, \langle B \rangle \) converges to the expected value, are not large enough so that \(\mathop {\textrm{lim}}\nolimits _{\ell \rightarrow 0}\, \langle B^{2} \rangle \) converges as well. A systematic study of the volume scaling of \(\mathop {\textrm{lim}}\nolimits _{\ell \rightarrow 0}\, \langle B^{2} \rangle \) is therefore called for, in particular for the so-called smeared operator, where the smearing dampens fluctuations [53,54,55].
4 Generalization to higher orders
We can generalize our construction of the \(B^{2}\)-operator to higher orders. We define recursively
with \(n=1\) being the standard B-operator given by (8). From the recursive definition of \(B^{n}(\phi (x))\), we can show that
with \(b_{k}\) defined as
For causal sets obtained by sprinkling process, we can show that the expectation value of the random variable \(B^{n}(\phi (x))\) satisfies the recursive relation, see the “Appendix” for details,
We now show by induction that this recursive relation for \(\langle B^{n}(\phi (x)) \rangle \) implies the following behavior
In Sect. 3, we showed that this formula is valid for \(n=1\) and \(n=2\). To complete the proof by induction, we need to show that (33) implies a similar relation for \(n+1\). Using (32) with \(n\rightarrow n+1\), we find
To evaluate the integrals in the last two lines, we can use a similar formula as in (13), which results in
Plugging these integrals back into (34), we find
with
which completes our proof by induction.
From Eq. (33), we can see that \(\langle B^{n} (\phi (x))\rangle \) has a continuum limit given by
To extract information on \(R(x)^{n}\) we can set \(\phi (x)\) to a constant value, which leads to
where the dots indicate a sequence of terms constructed with combinations of \(\Box \) and R(x).
Similarly to the case of \(B^{2}\), our construction of \(B^{n}\) provides the superposition \(R(x)^{n}\) with terms involving \(\Box R(x)\). For causal sets generated via sprinkling on manifolds with constant curvature scalar, only the first term on the rhs of (40) survives, thus, we find \(R(x)^{n} = \lim _{\ell \rightarrow 0} \, \langle B^{n}((-2)^{n}) \rangle \). For causal sets generated via sprinkling over a manifold with non-constant R(x), we can use lower-order operators to disentangle the different contributions.
5 Causal-set action with higher-derivative operators
The discrete operator \(B(\phi (x))\) allows us to define the Benincasa–Dowker action for causal sets [13], which is a discrete version of the Einstein–Hilbert action. We can generalize the Benincasa–Dowker action to include higher-curvature terms, e.g., by including the \(B^{2}\)-operator,
Here, we have introduced two couplings, namely the Newton coupling in front of the curvature term, and a coupling \(b^{2}\) in front of the curvature-squared term.
Based on the results of 3, the action (41) can be viewed as a discretization of
At the level of the action, the contribution \(\Box R\) in the higher-derivative term becomes a total derivative. If we assume a manifold without boundaries, the action therefore only contains the terms R and \(R^{2}\). On manifolds with boundaries, an additional boundary contribution \(\sim \Box R\) is present.
The Benincasa–Dowker action with \(b=0\) can be rewritten in terms of the number of order intervals in a causal set. An inclusive order interval \(I_{n}\) is the causal interval between two points i and j of cardinality n;
Thus, order intervals make up the layers in the definition of the d’Alembertian. We define, for a causal set C
The causal set action in four dimensions is [13]
where we have absorbed numerical factors of order 1 in the ratio of discreteness scale and Planck scale, \(\ell _{Pl }. \sim G_{N }^{1/2}\).
The generalized, higher-order action requires a generalization of order intervals to stacked order intervals, because the sum \(\sum _{y\in L_{i}(x)}\sum _{z\in L_{j}(y)}\) does not give rise to order intervals. This can be seen in Fig. 2, where we show that the combination of an order interval between \(e_{1}\) and \(e_{2}\) with an order interval between \(e_{2}\) and \(e_{3}\) (with \(e_{3} \prec e_{2} \prec e_{1}\)), is not the order interval between \(e_{1}\) and \(e_{3}\). We also show what stacked order intervals look like in the continuum, cf. Fig. 3.
Therefore, we define a stacked order interval \(I_{n,m}(x,y,z)\) as the union of two order intervals, for which the point at the top of the lower interval is also the point at the bottom of the upper interval:
With this definition, the higher-order action can be written as
where \(b^{2}\) and \({\tilde{b}}^{2}\) are related by a factor \(\ell ^{4}\) and numerical factors of order one. Herein, \(N_{n,m}\) counts the number of stacked order intervals \(I_{n,m}\). We note that \(N_{n,m}\ne N_{m,n}\) for \(n\ne m\), because the causal ordering of the three points matters.
This provides a way to study higher-order dynamics in causal sets.
6 Conclusions and outlook
In this paper, we have presented a way of extracting higher-order scalar curvature in causal sets. Our approach is based on the successive application of the discrete B-operator on scalar fields.
We have shown that the operator \(B^{2}\) has a well-defined continuum limit (averaged over sprinklings) which converges to a combination of \(R(x)^{2}\) and \(\Box R(x)\). We extended the construction to higher-order and, based on a induction process, we have demonstrated that continuum limit of the discrete \(B^{n}\) is related to \(R(x)^{n}\) and other terms involving combinations of \(\Box \) and R(x).
Based on our construction of higher-order operators in causal sets, we can define a discrete action. Its continuum limit contains higher-order curvature terms beyond the Einstein–Hilbert action. The definition of such an action is motivated by a possible connection between causal sets and asymptotic safety, where causal sets are used as a regularization of the Lorentzian path integral, for which we search an asymptotically safe continuum limit. The latter is signaled by a second (or higher)-order phase transition in the phase diagram of causal sets. So far, results based on the Benincasa–Dowker action indicate that the causal set phase diagram exhibits only a first-order phase transition.
We conjecture that a curvature-squared term could be the missing ingredient for a second-order phase transition in the causal set phase diagram. This is motivated by several studies on asymptotically safe gravity based on functional renormalization group techniques, which indicates that the \(R^{2}\)-operator constitutes a relevant direction associated with an ultraviolet fixed point [41,42,43,44,45,46,47,48].
The present paper paves the way for a numerical study of the phase diagram of causal sets with an \(R^{2}\) operator.
Our work also motivates another new direction, namely the construction of new operators that converge to curvature-invariants beyond the Ricci-scalar, e.g., \(R_{\mu \nu } R^{\mu \nu }\) and \(R_{\mu \nu \alpha \beta } R^{\mu \nu \alpha \beta }\). While the definition of objects with “open indices” from causal sets is a challenging task, because it requires the notion of a tangent space, curvature invariants are scalars and can therefore (in principle) be constructed from the causal set. In practise, Riemann invariants appear in an expansion in Riemann normal coordinates, which is used as parts of the procedure of taking the \(\ell \rightarrow 0\) limit of the discrete operators B. Thus, we expect that definitions of new discrete operators, based on expressions inspired by Eq. (8), but with, for instance, different coefficients and different number of layers, can give us information about other curvature-invariants in a causal set.
Data Availability
Data Availability Statement: We added a Mathematica notebook containing explicit expressions used in this paper as supplementary material.
Notes
Note that \(x \preceq x\).
A typical causal set is not manifold-like, in the sense that it does not arise with high probability from the Poisson distribution and/or that it cannot be embedded into any manifold with curvature scales much bigger then the discreteness scale.
References
L. Bombelli, J. Lee, D. Meyer, R. Sorkin, Space-time as a causal set. Phys. Rev. Lett. 59, 521–524 (1987)
S. Surya, The causal set approach to quantum gravity. Living Rev. Rel. 22(1), 5 (2019)
J. Henson, D.P. Rideout, R.D. Sorkin, S. Surya, Onset of the Asymptotic Regime for Finite Orders (2015), p. 4
J. Myrheim, Statistical Geometry (1978), p. 8
D.D. Reid, The manifold dimension of a causal set: tests in conformally flat space-times. Phys. Rev. D 67, 024034 (2003)
A. Eichhorn, S. Mizera, Spectral dimension in causal set quantum gravity. Class. Quantum Gravity 31, 125007 (2014)
L. Glaser, S. Surya, Towards a definition of locality in a manifoldlike causal set. Phys. Rev. D 88(12), 124026 (2013)
M. Roy, D. Sinha, S. Surya, Discrete geometry of a small causal diamond. Phys. Rev. D 87, 044046 (2013)
A. Eichhorn, S. Surya, F. Versteegen, Spectral dimension on spatial hypersurfaces in causal set quantum gravity. Class. Quantum Gravity 36(23), 235013 (2019)
G. Brightwell, R. Gregory, The structure of random discrete space-time. Phys. Rev. Lett. 66, 260–263 (1991)
D. Rideout, P. Wallden, Spacelike distance from discrete causal order. Class. Quantum Gravity 26, 155013 (2009)
A. Eichhorn, S. Surya, F. Versteegen, Induced spatial geometry from causal structure. Class. Quantum Gravity 36(10), 105005 (2019)
D.M.T. Benincasa, F. Dowker, The scalar curvature of a causal set. Phys. Rev. Lett. 104, 181301 (2010)
M. Reuter, Nonperturbative evolution equation for quantum gravity. Phys. Rev. D 57, 971–985 (1998)
W. Souma, Nontrivial ultraviolet fixed point in quantum gravity. Prog. Theor. Phys. 102, 181–195 (1999)
O. Lauscher, M. Reuter, Ultraviolet fixed point and generalized flow equation of quantum gravity. Phys. Rev. D 65, 025013 (2002)
M. Reuter, F. Saueressig, Renormalization group flow of quantum gravity in the Einstein–Hilbert truncation. Phys. Rev. D 65, 065016 (2002)
A. Eichhorn, An asymptotically safe guide to quantum gravity and matter. Front. Astron. Space Sci. 5, 47 (2019)
A.D. Pereira, Quantum spacetime and the renormalization group: progress and visions, in Progress and Visions in Quantum Theory in View of Gravity: Bridging Foundations of Physics and Mathematics (2019), p. 4
A. Eichhorn, Asymptotically safe gravity, in 57th International School of Subnuclear Physics: In Search for the Unexpected (2020), p. 2
J.M. Pawlowski, M. Reichert, Quantum gravity: a fluctuating point of view. Front. Phys. 8, 551848 (2021)
M. Reichert, Lecture notes: functional renormalisation group and asymptotically safe quantum gravity. PoS 384, 005 (2020)
A. Bonanno, A. Eichhorn, H. Gies, J.M. Pawlowski, R. Percacci, M. Reuter, F. Saueressig, G.P. Vacca, Critical reflections on asymptotically safe gravity. Front. Phys. 8, 269 (2020)
A. Eichhorn, Status Update: Asymptotically Safe Gravity-Matter Systems (2022), p. 1
A. Eichhorn, M. Schiffer, Asymptotic Safety of Gravity with Matter (2022), p. 12
E. Manrique, S. Rechenberger, F. Saueressig, Asymptotically safe Lorentzian gravity. Phys. Rev. Lett. 106, 251302 (2011)
J. Fehre, D.F. Litim, J.M. Pawlowski, M. Reichert, Lorentzian quantum gravity and the graviton spectral function. arxiv, 11 (2021)
C. Wetterich, Exact evolution equation for the effective potential. Phys. Lett. B 301, 90–94 (1993)
N. Dupuis, L. Canet, A. Eichhorn, W. Metzner, J.M. Pawlowski, M. Tissier, N. Wschebor, The nonperturbative functional renormalization group and its applications. Phys. Rep. 910, 1–114 (2021)
A. Eichhorn, Towards coarse graining of discrete Lorentzian quantum gravity. Class. Quantum Gravity 35(4), 044001 (2018)
A. Eichhorn, Steps towards Lorentzian quantum gravity with causal sets. J. Phys. Conf. Ser. 1275(1), 012010 (2019)
J. Ambjorn, S. Jordan, J. Jurkiewicz, R. Loll, Second- and first-order phase transitions in CDT. Phys. Rev. D 85, 124044 (2012)
J. Ambjorn, A. Görlich, J. Jurkiewicz, A. Kreienbuehl, R. Loll, Renormalization group flow in CDT. Class. Quantum Gravity 31, 165003 (2014)
J. Ambjorn, J. Gizbert-Studnicki, A. Görlich, J. Jurkiewicz, R. Loll, Renormalization in quantum theories of geometry. Front. Phys. 8, 247 (2020)
C.A. Trugenberger, Combinatorial quantum gravity: geometry from random bits. JHEP 09, 045 (2017)
B. Bahr, S. Steinhaus, Numerical evidence for a phase transition in 4d spin foam quantum gravity. Phys. Rev. Lett. 117(14), 141302 (2016)
S. Surya, Evidence for a phase transition in 2D causal set quantum gravity. Class. Quantum Gravity 29, 132001 (2012)
L. Glaser, D. O’Connor, S. Surya, Finite size scaling in 2d causal set quantum gravity. Class. Quantum Gravity 35(4), 045006 (2018)
W.J. Cunningham, S. Surya, Dimensionally restricted causal set quantum gravity: examples in two and three dimensions. Class. Quantum Gravity 37(5), 054002 (2020)
L. Glaser, Phase transitions in 2d orders coupled to the Ising model. Class. Quantum Gravity 38(14), 145017 (2021)
O. Lauscher, M. Reuter, Flow equation of quantum Einstein gravity in a higher derivative truncation. Phys. Rev. D 66, 025026 (2002)
P.F. Machado, F. Saueressig, On the renormalization group flow of f(R)-gravity. Phys. Rev. D 77, 124045 (2008)
A. Codello, R. Percacci, C. Rahmede, Investigating the ultraviolet properties of gravity with a Wilsonian renormalization group equation. Ann. Phys. 324, 414–469 (2009)
D. Benedetti, P.F. Machado, F. Saueressig, Asymptotic safety in higher-derivative gravity. Mod. Phys. Lett. A 24, 2233–2241 (2009)
D. Benedetti, F. Caravelli, The Local potential approximation in quantum gravity. JHEP 06, 017 (2012). (Erratum: JHEP 10, 157 (2012))
K. Falls, D.F. Litim, K. Nikolakopoulos, C. Rahmede, Further evidence for asymptotic safety of quantum gravity. Phys. Rev. D 93(10), 104022 (2016)
K.G. Falls, D.F. Litim, J. Schröder, Aspects of asymptotic safety for quantum gravity. Phys. Rev. D 99(12), 126015 (2019)
K. Falls, N. Ohta, R. Percacci, Towards the determination of the dimension of the critical surface in asymptotically safe gravity. Phys. Lett. B 810, 135773 (2020)
S.W. Hawking, A.R. King, P.J. Mccarthy, A new topology for curved space-time which incorporates the causal, differential, and conformal structures. J. Math. Phys. 17, 174–181 (1976)
D.B. Malament, The class of continuous timelike curves determines the topology of spacetime. J. Math. Phys. 18, 1399–1404 (1977)
L. Bombelli, J. Henson, R.D. Sorkin, Discreteness without symmetry breaking: a theorem. Mod. Phys. Lett. A 24, 2579–2587 (2009)
R.D. Sorkin, Does Locality Fail at Intermediate Length-scales, vol. 3 (2007), pp. 26–43
M.T.D. Benincasa, F. Dowker, B. Schmitzer, The random discrete action for 2-dimensional spacetime. Class. Quantum Gravity 28, 105018 (2011)
F. Dowker, L. Glaser, Causal set d’Alembertians for various dimensions. Class. Quantum Gravity 30, 195016 (2013)
A. Belenchia, D.M.T. Benincasa, F. Dowker, The continuum limit of a 4-dimensional causal set scalar d’Alembertian. Class. Quantum Gravity 33(24), 245018 (2016)
L. Glaser, A closed form expression for the causal set d’Alembertian. Class. Quantum Gravity 31, 095007 (2014)
C. Pfeiffer, Higher-Curvature Terms for Causal Sets (2022)
Acknowledgements
This work is supported by a research grant (29405) from VILLUM fonden.
Funding
Open access funding provided by University Library of Southern Denmark.
Author information
Authors and Affiliations
Corresponding author
Supplementary Information
Below is the link to the electronic supplementary material.
Appendices
Appendix 1. Higher-order contributions to Eq. (13)
In this appendix, we detail the evaluation of Eq. (10), which leads to Eq. (13). We do not aim at rigorous mathematical proof. Instead, the main goal of this appendix is to provide support for the scaling of the last term in Eq. (13).
We follow the strategy of [54, 56], namely we define the operator
for even values of d. We define \({\mathcal{O}}_{d} = {\mathcal{O}}_{d-1}\) for odd values of d. This operator allows us to compute \({\mathcal{I}}_{d}[\phi ](x)\) as follows:
where
To evaluate \({\mathcal{I}}_{d}^{(0)}[\phi ](x)\), it is convenient to decompose the integration regions \(J^{-}(x)\) into three sub-regions \(J^{-}(x) = W_{1} \cup W_{2} \cup W_{3}\) [54, 55]. Here, \(W_{2}\) and \(W_{3}\) correspond to sets of points in \(J^{-}(x)\) that are far away from x. The “near-region” \(W_{1}\) is defined by
with \(u = (t - r)/\sqrt{2}\) and \(v = (t + r)/\sqrt{2}\) denoting radial null coordinates. In [54,55,56], it is shown that the contributions from \(W_{2}\) and \(W_{3}\) are sub-leading. This is crucial in order for B to reduce to a local operator in the continuum limit, as it should. We now assume that this locality property extends to higher order, such that we only need to focus on higher-order contributions from the near region \(W_{1}\). Thus, we can approximate
Next, we expand \(\phi (y)\) in a Taylor series around \(y=x\). Additionally, we can expand \(\sqrt{-g(y)}\) and \({\mathcal{V}}(x,y)\) in terms of Riemann normal coordinates around \(y=x\). The steps of this calculation are similar to those presented in [54, 55]. Performing the explicit calculation of Eq. (54) and acting with the operator \({\mathcal{O}}_{d}\), we can obtain the result of \({\mathcal{I}}_{d}[\phi ](x)\).
For \(d=2\), our calculations leads to
where \(P_{2}(l^{2})\) has a polynomial dependency on \(l^{2}\). We note that one can recast the first and second terms as
with \(\alpha _{2}\) and \(\beta _{2}\) given in Table 1. Since the last term in Eq. (55) is exponentially suppressed in the continuum limit, we can safely ignore it in our calculation of \(\langle B^{2}(\phi (x)) \rangle \). Thus, we can conclude that the only possibly relevant higher-order contribution to \({\mathcal{I}}_{2}[\phi ](x)\) scales with \(l^{4}\) as stated in (13).
We have also explicitly checked that the same result holds for \(d=3,4,5,6\) and 7. For completeness, we add a Mathematica notebook containing the main results as supplementary material.
Appendix 2. Expectation value of discrete operators
In this appendix, we present some details on the derivation of the expectation value of discrete operators defined in causal sets.
In the construction of causal sets in terms of a sprinkling process, the distribution of points is given by the Poisson distribution, for which the probability to find n points in a volume V at sprinkling density \(\rho \) is given by
We imagine spacetime to be discretized by small cells, labelled by the index I and of spacetime volume \(\delta V\), small compared to \(1/\rho \), such that the probability of finding more than one element in one cell is essentially zero. We then introduce two random variables,
and
In this second definition, I is understood to lie in the causal past of x.
The expectation value of \(B(\phi (x))\) contains the expectation value of \(\sum _{y\in L_{i}(x)} \phi (y)\). Using the definition of the random variables \(\chi _{I}\) and \({\tilde{\chi }}_{I}^{(i)}(x)\), we can write
This we can rewrite, using that the expectation value of a sum is the sum of expectation values and using that \(\chi _{I}\) and \({\tilde{\chi }}_{I}^{(i)}(x)\) are independent, such that the expectation value of their product is the product of their expectation values, thus
Finally, we use the Poisson distribution to determine the expectation value of \(\chi _{I}\) and \({\tilde{\chi }}_{I}^{(i)}(x)\). The probability for \(\chi _{I}=1\) is given by \(P(\chi _{I}=1)= \rho \, \delta V\) for small enough \(\delta V\), where the exponential can be expanded to first order. At the same order in \(\delta V\), \(P(\chi _{I}=0)= 1-\rho \, \delta V\). Thus,
Further, we have that \(P({\tilde{\chi }}_{I}^{(i)}(x)=1) = {\frac{1}{(i-1)!}(\rho \,{\mathcal{V}}(x, y\in I))^{i-1} \,} e^{- \rho \, {\mathcal{V}}(x, y\in I)}\), which allows us to deduce that
It follows that
Combining Eqs. (60), (61) and (64) and taking the limit \(\delta V\rightarrow 0\), we find
We can proceed with similar arguments in the evaluation of the expectation value of \(B^{2}(\phi (x))\). From Eq. (16), we can conclude that the expectation value of \(B^{2}(\phi (x))\) contains \(\left\langle \sum _{y\in L_{i}(x)} \sum _{z\in L_{j}(y)} \phi (z) \right\rangle \). Using the random variables \(\chi \) and \({\tilde{\chi }}\), we can write
Here, we have restricted \(I'\) to lie in the causal past of I in order for the rhs to equal the sum over layers on the lhs.
In the second step, we have already used that each of the random variables takes values 0 or 1 only and thus the expectation value is simply given to the probability that each random variable takes the value 1 simultaneously. Next, we factorize this probability into four independent probabilities. Here, we use that for a Poisson process, the probability to have n elements in a volume V depends only on n and V and is therefore independent of how many elements there are in another volume \(V'\) which has no overlap with V. Accordingly, it holds that
In Eq. (66), we have exactly such a situation, where we are considering four non-overlapping volumes and the number of elements within them; cf. Fig. 4.
Accordingly, we have that
Taking the limit \(\delta V \rightarrow 0\), we find
We can generalize the last result in the following way
which implies the recursive relation
We have used this recursive relation in Sect. 4 to derive the continuum limit of the operator \(B^{n}(\phi (x))\).
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
de Brito, G.P., Eichhorn, A. & Pfeiffer, C. Higher-order curvature operators in causal set quantum gravity. Eur. Phys. J. Plus 138, 592 (2023). https://doi.org/10.1140/epjp/s13360-023-04202-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjp/s13360-023-04202-y