Abstract
In this short note we wonder about the explicit expression of the expanding of the pth Lovelock product. We use the 1990s’ works of S. A. Fulling et al. on the symmetries of the Riemann tensor, and we show that the number of independent scalars appearing in this expanding is equal to the number of Young diagrams with all row lengths even in the decomposition of the pth plethysm of the Young diagram representing the symmetries of the Riemann tensor.
Introduction
Lovelock theories are a set of modified gravity theories that can be seen as generalisations of General Relativity (GR) in higher dimension. They could have interesting cosmological implications (see [1,2,3,4,5]) or connections with string/Mtheories in which higherorder curvature terms appear naturally (see [6]).
They can be represented in the form of an action by a sum of scalar contractions of multiple copies of the Riemann curvature tensor. The contraction of p copies is called the pth Lovelock product. In even dimension, the nonvanishing term of highestdegree coincides to the Gauss–Bonnet–Chern scalar of the spacetime manifold, hence exhibits a promising relation with geometry.
Usually the Lovelock products are written as a product, and are handled in this form. This product is expanded only for small degrees, like \(p = 1\), 2 or 3. The astonishing complexity of the expanding for \(p=3\) in comparison to \(p = 1\) or 2 discourages to continue the expanding for further degrees. However the question is worth asking: what is the explicit formulation for the expanding of the general pth Lovelock product? The only terms appearing in such a development are the Riemann tensor, the Ricci tensor and the scalar curvature of the spacetime. But how many are they? And how are they combined? This is the topic of the present note. We do not solve entirely the problem, but give an answer to one of the questions: the number of independent scalars appearing in the expanding of the pth Lovelock product.
The answer we bring was in fact contained in a 25 years old paper from Fulling et al. [7]. This field of research finds its origin in computational aspects of the heat kernel in the context of quantum field theory and gravitation. Algorithms to simplify tensor calculus were developed, such as for the Computer Algebra System (CAS) REDUCE (see [8]) or Mathematica (see [9]).
Apparently we are the first one to make an explicit connection with Lovelock theories.
Notations
We represent the spacetime by a Lorentzian manifold \(({\mathcal {V}},g_{\mu \nu })\) of dimension \(n+1\), \(n \in {\mathbb {N}}\) standing for the spatial dimension. We choose \(c=\kappa =1\) for unit and \((1,+n)\) for the signature of \(g_{\mu \nu }\). We note
D  the LeviCivita connection of \(({\mathcal {V}},g_{\mu \nu })\), 
\(\mathrm {R}_{\mu \nu \rho \sigma }\)  the Riemann tensor of D, 
\(\mathrm {R}_{\mu \rho }\)  the Ricci tensor of D, 
\(\mathrm {R}\)  the curvature scalar of D, 
\({\text {d}}v = \sqrt{g}{\text {d}}^{n+1} x\)  the volume element of \({\mathcal {V}}\). 
In its twice covariant and twice contravariant form, using its symmetries, the Riemann tensor can be written
as well.
We introduce \(p_n = \left\lfloor \dfrac{n+1}{2} \right\rfloor \) and
the generalised Kronecker symbol. We define
\({\mathbb {R}}_p = \dfrac{1}{2^p}\delta _{\alpha _1 \beta _1 \alpha _2 \beta _2 \cdots \alpha _p \beta _p}^{\gamma _1 \delta _1 \gamma _2 \delta _2 \cdots \gamma _p \delta _p}\mathrm {R}_{\gamma _1 \delta _1}^{\alpha _1 \beta _1}\mathrm {R}_{\gamma _2 \delta _2}^{\alpha _2 \beta _2} \ldots \mathrm {R}_{\gamma _p \delta _p}^{\alpha _p \beta _p}\) the pth Lovelock product. 
\({\mathbb {R}}_0 = 1\), 
\({\mathbb {R}}_1 = \mathrm {R}\) is the scalar curvature, 
\({\mathbb {R}}_2 = \mathrm {R}^2  4 \mathrm {R}_\alpha ^\gamma \mathrm {R}^\alpha _\gamma + \mathrm {R}_{\alpha \beta }^{\gamma \delta }\mathrm {R}^{\alpha \beta }_{\gamma \delta }\) corresponds to the Gauss–Bonnet term for \(n+1=4\), 
\(\begin{aligned} {\mathbb {R}}_3 =&\, \mathrm {R}^3 +2\mathrm {R}_{\alpha \beta }^{\gamma \delta }\mathrm {R}_{\gamma \delta }^{\varepsilon \eta }\mathrm {R}_{\varepsilon \eta }^{\alpha \beta } +3\mathrm {R}\mathrm {R}_{\alpha \beta }^{\gamma \delta }\mathrm {R}_{\gamma \delta }^{\alpha \beta } \\&+8\mathrm {R}_{\alpha \beta }^{\gamma \eta }\mathrm {R}_{\gamma \delta }^{\varepsilon \beta }\mathrm {R}_{\varepsilon \eta }^{\alpha \delta } 12\mathrm {R}\mathrm {R}_\alpha ^\beta \mathrm {R}_\beta ^\alpha +16\mathrm {R}_\alpha ^\beta \mathrm {R}_\beta ^\gamma \mathrm {R}_\gamma ^\alpha \\&24\mathrm {R}_\alpha ^\beta \mathrm {R}_{\gamma \delta }^{\alpha \varepsilon }\mathrm {R}_{\beta \varepsilon }^{\gamma \delta } +24\mathrm {R}_\alpha ^\beta \mathrm {R}_\gamma ^\delta \mathrm {R}_{\beta \delta }^{\alpha \gamma }\end{aligned}\), and so on, until 
\({\mathbb {R}}_p = 0\) for \(p > p_n\), because of the antisymmetries of \(\mathrm {R}_{\alpha \beta }^{\gamma \delta }\). 
Then the action of a Lovelock theory is
with \(\lambda _p\) real constants. In the following we shall focus on each \({\mathbb {R}}_p\).
Young diagrams
Even though a computer can deal with this computation, the quick explosion of the number of terms puts the question of an explicit formula for the expanding of the \({\mathbb {R}}_p\)’s.
First of all, what are the terms involved in such a decomposition? If we write \({\mathcal {S}}_n\) the symmetric group on a set of n elements, we get the formula:
This sum is on (2p)! terms, which are obviously not linearly independent. The extraction of a basis among these terms is a problem which has been solved in [7], using tools of the group representation theory which we shall shortly present here.
For all \(k \ge 1\), every ktensor \(T_{a_1 \ldots a_k}\) can be mapped to a representation of \({\mathcal {S}}_k\). Just as this representation can be decomposed into irreducible representations of \({\mathcal {S}}_k\) encoded by Young diagrams of size k, the tensor \(T_{a_1 \ldots a_k}\) can be decomposed as well on a basis \({\mathcal {T}}_k\) of ktensors corresponding to Young diagrams of size k. More precisely, the tensors of \({\mathcal {T}}_k\) have peculiar symmetries which are encoded in standard Young tableaux of size k. We note with \(\longleftrightarrow \) this correspondence.
Let us explain how to proceed to such a decomposition: for each tableau of size k, take \(T_{a_1 \ldots a_k}\), symmetrise on the indices lying in each row, and then antisymmetrise on the indices lying in each column. For instance,
where the combinatorial factors \(\frac{1}{3}=\frac{2}{6}\) and \(\frac{1}{6}\) are the normalised numbers of standard Young tableaux of the same Young diagram. The normalisation constant is the sum on the diagrams of the squared number of standard tableaux of this diagram, which turns out to be k!. For example, for \(k=3\),
and we find \(1^2+2^2+1^2 = 3!\). Thus each 3tensor can be decomposed into:
The product of two tensors \(U_{a_1 \ldots a_k} \in {\mathcal {T}}_k\) and \(U'_{b_1 \ldots b_l} \in {\mathcal {T}}_l\), whose symmetries correspond to the diagrams \({\mathfrak {U}}\) and \({\mathfrak {U}}'\), corresponds itself to the outer product of \({\mathfrak {U}}\) and \(\mathfrak {U'}\), namely \({\mathfrak {U}}\cdot {\mathfrak {U}}'\). This product can in turn be decomposed into irreducible representations of \({\mathcal {S}}_{k+l}\), following the Littlewood–Richardson rule. For example, if \(U_{abc}\) and \(U'_{abc}\) are 3tensors represented by
then , and
An interesting theorem proved in [7] states that among these irreducible representations of \({\mathcal {S}}_{k+l}\), those of which all rows have an even length are invariant under the orthogonal group \(O(k+l)\). Moreover, they form a basis of these invariant representations. In terms of tensors on a manifold, the invariant representations under the action of \(O(k+l)\) correspond to the scalars built from the contractions of \(U_{a_1 \ldots a_k}\) and \(U'_{b_1 \ldots b_l}\). Hence, the space of the scalars built from the contractions of \(U_{a_1 \ldots a_k}\) and \(U'_{b_1 \ldots b_l}\) has the same dimension as the space of the irreducible representations of \(S_{k+l}\) which are invariant under \(O(k+l)\) and which appear in the decomposition of \({\mathfrak {U}}\cdot {\mathfrak {U}}'\). So, a basis of independent scalars will have the same cardinal as the number of diagrams with even row length in the decomposition of \({\mathfrak {U}}\cdot {\mathfrak {U}}'\).
Intuitively, contracting a pair of indices of the tensors can be understood as crossing a pair of cells off the Young diagram. If the two cells lie in different rows, the result vanishes because of the antisymmetrisation between the rows. If the two cells lie in the same row, the contraction is nontrivial. Hence, all rows must have even lengths so that the resulting empty diagram correspond to a nontrivial scalar.
However, the equality of the dimensions does not imply a simple bijective correspondence between the even row length diagrams and the independent scalars: most of the time, such a correspondence does not exist. Keeping our example, we have two even row length representations:
and two independent scalars built from the contractions of \(U_{a_1 \ldots a_k}\) and \(U'_{b_1 \ldots b_l}\):
but no canonical bijection between them.
In case \(U_{a_1 \ldots a_k} = U'_{b_1 \ldots b_l}\), the list of irreducible representations is restricted by the symmetries under the exchange of the two tensors: this is not an outer product anymore, but a new operation called a plethysm, \(\otimes \). This is the case we are interested in.
Plethysms of the Riemann tensor
Indeed, our aim is to determine a basis of scalars on which the \({\mathbb {R}}_p\)’s can be decomposed. Now, each \({\mathbb {R}}_p\) is a sum of all the possible contractions of p Riemann tensors. If we notice that the Riemann tensor has symmetries verifying:
we can conclude that we have to study the decomposition of
onto irreducible representations. In this decomposition, the number of even row length diagrams will be the number of independent scalars which can be made by contractions of p copies of \(\mathrm {R}_{\mu \nu }^{\rho \sigma }\). For instance, keeping only the even row length diagrams, we get
As we explained, there is no onetoone correspondence between the diagrams and the scalars. However, it is possible to sort them in three subsets which are bijectively connected, as we did in the previous array. If the diagram contains:

two rows, it represents a scalar involving only the scalar curvature \(\mathrm {R}\);

three rows, it represents a scalar involving \(\mathrm {R}\) and the Ricci tensor \(\mathrm {R}_{\mu \nu }\);

four rows or more, it represents a scalar involving \(\mathrm {R}\), \(\mathrm {R}_{\mu \nu }\) and the Riemann tensor \(\mathrm {R}_{\mu \nu }^{\rho \sigma }\).
Some tables were computed in [7], which allow us to count the number of scalars for the first \({\mathbb {R}}_p\)’s:
Unfortunately, these numbers were calculated by a computer; there is no explicit formula to determine them. As well for the explicit form of the scalars.
A fortiori in the computation of \({\mathbb {R}}_p\). After having summed upon all the permutations of \({\mathcal {S}}_{2p}\):
there is currently no explicit formula about the factors in front of each of these scalars. All we know is that their sum is (2p)!, and that the symmetries ensure that all factors can be divided by \(2^p\).
For the rest, there is no formula. Yet there exist algorithms able to deal with the computation. One can find such algorithms and applications for Maple in [10,11,12,13]. There are also algorithms for the language REDUCE, [14], or Java, [15]. Algorithms for tensor simplification in Mathematica (package Tools of Tensor Calculus) can be found in [16, 17]. The program Cadabra can be used as well.
Conclusion
We give an answer to the question of the number of independent scalars in the expanding of the pth Lovelock product: it is equal to the number of Young diagrams with all row lengths even in the decomposition of the pth plethysm of the Young diagram (2, 2) that encodes the symmetries of the Riemann tensor:
The following questions are still open: can one find an explicit formula for this number? Afterwards, how many each of those scalars are present in the expanding
We only know that their sum is (2p)!, and the symmetries ensure that the number of their appearances is a multiple of \(2^p\). In small dimensions, this is not a big deal. In higherdimensional theories however, e.g. a string theory with \(n+1=26\), the number of independent scalars as well as their factors explode.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This article does not contain any observational data because it is a theoretical work.]
References
S. Nojiri, S.D. Odintsov, M. Sasaki, Gauss–Bonnet dark energy. Phys. Rev. D 71, 123509 (2005)
S. Nojiri, S.D. Odintsov, Modified Gauss–Bonnet theory as gravitational alternative for dark energy. Phys. Lett. B 631, 1–6 (2005)
S. Nojiri, S.D. Odintsov, Introduction to modified gravity and gravitational alternative for dark energy. eConf C0602061, 06 (2006)
S. Nojiri, S.D. Odintsov, Introduction to modified gravity and gravitational alternative for dark energy. Int. J. Geom. Methods Mod. Phys. 4, 115 (2007)
G. Cognola, E. Elizalde, S. Nojiri, S.D. Odintsov, S. Zerbini, Dark energy in modified Gauss–Bonnet gravity: latetime acceleration and the hierarchy problem. Phys. Rev. D 73, 084007 (2006)
T. Torii, H. Shinkai, \(N+1\) formalism in Einstein–Gauss–Bonnet gravity. Phys. Rev. D 78, 084037 (2008)
S.A. Fulling, R.C. King, B.G. Wybourne, C.J. Cummins, Normal forms for tensor polynomials. I. The Riemann tensor. Class. Quantum Gravity 9(5), 1151 (1992)
A.A. Bel’kov, A.V. Lanyov, A. Schaale, Calculation of heatkernel coefficients and usage of computer algebra. Comput. Phys. Commun. 95(2), 123–130 (1996)
M.J. Booth, HeatK: a mathematica program for computing heat kernel coefficients. High Energy Phys. Theory (1998). arXiv:hepth/9803113
R. Portugal, An algorithm to simplify tensor expressions. Comput. Phys. Commun. 115(2), 215–230 (1998). Computer Algebra in Physics Research
R. Portugal, Algorithmic simplification of tensor expressions. J. Phys. A Math. Gen. 32(44), 7779 (1999)
R. Portugal, B.F. Svaiter, Grouptheoretic approach for symbolic tensor manipulation: I. Free indices. Math. Phys. (2001). arXiv:mathph/0107031
L.R.U. Manssur, R. Portugal, B.F. Svaiter, Grouptheoretic approach for symbolic tensor manipulation: II. Dummy indices. Int. J. Mod. Phys. C 13(07), 859–879 (2002)
V.A. Ilyin, A.P. Kryukov, ATENSOR—REDUCE program for tensor simplification. Comput. Phys. Commun. 96, 36–52 (1996)
V. Ilyin, A. Kryukov, A. Rodionov, G. Shpiz, The use of group and algebraic properties of tensor expressions in an objectoriented CA system. Programm. Comput. Softw. 26(1), 39–41 (2000)
A. Balfagon, X. Jaen, Simplifying tensor polynomials with indices. Gen. Relativ. Quantum Cosmol. (1998). arXiv:grqc/9809022
A. Balfagon, X. Jaen, Nondimensional simplification of tensor polynomials with indices. Gen. Relativ. Quantum Cosmol. arXiv:grqc/9912062 (1999)
Acknowledgements
I would like to thanks Professor Stephen Fulling for having made himself available and for the useful references he gave to me.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP^{3}
About this article
Cite this article
Lachaume, X. On the number of terms in the Lovelock products. Eur. Phys. J. C 79, 266 (2019). https://doi.org/10.1140/epjc/s1005201967766
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s1005201967766