This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Softly broken conformal symmetry with higher curvature terms

Sumanta Chakraborty111[email protected]
School of Mathematical and Computational Sciences
and
School of Physical Sciences
Indian Association for the Cultivation of Science, Kolkata-700032, India
Abstract

In a scalar-coupled-gravity model, the quadratically divergent counter term appearing in the mass renormalization of the scalar fields must inherit corrections arising out of gravitational interactions. In this work we have explicitly demonstrated that there are no such corrections of gravitational origin to the quadratic divergences in the mass counter terms. This statement holds true irrespective of the nature of the gravitational interaction, i.e., whether gravity is described by general relativity or f(R) theory. Interestingly, it also turns out that the one loop effective action of scalar-coupled-gravity system will be well-behaved if and only if the f(R)f(R) theory is free from ghosts. In particular, the results derived in the context of f(R) theory are shown to be in exact agreement with the corresponding results derived from the equivalent scalar-tensor representation. Our analysis suggests the tantalizing possibility that the masses of the scalar fields can be consistently kept smaller than some Ultra Violet (UV) cutoff scale and is independent of the nature of the gravity theory, which may involve higher curvature corrections. All these will be true provided the matter fields and the gravity theory can be embedded consistently into a UV complete theory at the Planck scale.

1 Introduction

The discovery of the Higg’s Boson at the Large Hadron Collider (LHC) has provided the missing bit of the Standard Model, thus cementing its place as the most successful model describing the micro world [1, 2, 3, 4, 5, 6, 7, 8, 9]. However, it has also opened up the Pandora’s box, paving way for several intriguing questions to emerge into the limelight. In particular, the apparent discrepancy between the electroweak (mEWm_{\rm EW}) and the Planck (mPlm_{\rm Pl}) scale requires an immediate answer. This discrepancy, which originates from the very small ratio (mEW/mPl)1017(m_{\rm EW}/m_{\rm Pl})\sim 10^{-17}, requires an abnormal fine tuning in order to arrive at the observed value for the Higg’s mass. This fine tuning problem is also known as the gauge hierarchy problem and has been one of the key research direction, in the arena of theoretical high energy physics, for the last decade (see [10] and the references therein). There have been several proposals, of very different kind and sometimes exotic, to resolve this issue. These include low energy supersymmetry [11, 12], technicolor [13, 14] and spatial extra dimensions [15, 16, 17], among others. However, as the recent LHC data suggests, there have been no sign whatsoever, in favour of any of these models [18, 19, 20, 21, 22, 23, 24]. This motivates the suggestion that any solution to the gauge hierarchy problem will possibly deviate very little from the Standard Model of particle physics. Following which an alternative method, based on the implementation of approximate conformal symmetry in the effective low energy theory, has recently been invoked in order to avoid the gauge hierarchy problem without deviating much from the Standard Model [25, 26, 27].

The idea of approximate conformal symmetry, or softly broken conformal symmetry can be explained along the following lines. One starts from the assumption that there exists some UV finite theory, which inherits a satisfactory resolution of the gauge hierarchy problem. The UV finite theory also introduces some distinguished UV scale Λ\Lambda (\sim Planck scale mPlm_{\rm Pl}). Integrating out the degrees of freedom with energy scales greater than Λ\Lambda in the UV finite theory, one arrives at a low energy effective action, which presumably will resemble the Standard Model to a very good accuracy. The classical conformal symmetry is broken in the Standard Model by the presence of the mass term in the Lagrangian for the Higg’s field, but only weakly. Since the mass of the Higg’s field is much small compared to the UV cutoff scale Λ\Lambda. In the context of softly broken conformal symmetry one not only demands the bare mass parameters to be small compared to the distinguished UV scale Λ\Lambda, but also requires the cancellation of the quadratic divergences arising from the counter terms in the renormalized mass scales of the theory. It must be emphasized that in the perturbative approach considered here, such a cancellation of the quadratic divergences has to be performed by taking into account all the loop orders. In other words, we must add all the contributions to the quadratic divergences arising out of all the loop orders together and then shall adjust the bare couplings accordingly, so that the quadratic divergences vanish. Since it is very difficult to compute higher loop effects in an interacting theory in an explicit manner, one generically demonstrates the cancellation of quadratically divergent term at the one loop order and then higher loop contributions are ascertained to be small [28, 29, 30, 31]. Since the two loop effects depend primarily on the quadratic of the one loop effect, it is expected that vanishing of quadratic divergence at one loop order will keep the two loop contribution to be small, which can be cancelled by slight modification of the bare parameters [26]. Furthermore, since the bare couplings do not appear in the physical processes, adjusting the same to cancel the quadratic divergences will not affect the physics of the system in any way. Hence for the theory at energy scale Λ\Lambda, the fields will effectively be massless and conformal symmetry will be (weakly) respected. Note that the above argument requires the matter fields to be renormalizable and the bare couplings are related to the running couplings at the scale Λ\Lambda, i.e., λbare=λ(Λ)\lambda_{\rm bare}=\lambda(\Lambda). Therefore, in the context of softly broken conformal symmetry, the physical masses can be kept as small as one desires in a perturbative treatment as their quantum corrections has no quartic or quadratic divergences depending on the cut-off scale Λ\Lambda. Rather they may have a weak Logarithmic dependence on the cutoff [26, 27, 32, 33, 34].

It has been demonstrated recently in [27] that the physical masses can be kept small enough in a self-consistent manner even if the gravitational perturbations originating from the Einstein-Hilbert action are taken into account. However, near the Planck scale it is not at all justified to use simply the Einstein-Hilbert term to describe the gravitational dynamics, rather one should take into account higher curvature corrections as well. There can be several possibilities for such higher curvature corrections, to be added to the Einstein-Hilbert action. Restricting the attention to those theories for which Ostrogradsky’s instability can be avoided [35], it turns out that there are only a handful of such correction terms to the gravitational action. These include, f(R)f(R) gravity (for reviews see, [36, 37, 38] and for applications in the context of the gauge hierarchy problem see, [39, 40, 41, 42, 43, 44]), Gauss-Bonnet term or, in general, the full Lanczos-Lovelock series (for various geometrical aspects, see [45, 46, 47] while thermodynamical aspects have been discussed in [48]) and the Horndeski theories [49, 50, 51, 52, 53]. In four spacetime dimensions, the only non-trivial dynamics due to the higher curvature terms is from the f(R)f(R) theories of gravity (Horndeski theories include additional scalar fields and thus will further complicate the situation). The Lovelock Lagrangians will make contribution only in the presence of higher spacetime dimensions. As the motivation of this work is precisely not to explore exotic possibilities, such as extra dimensions, we will concentrate with the f(R)f(R) theory in four spacetime dimensions, as the one describing gravitational interaction at the scale Λ\Lambda.

The paper is organized as follows: In 2 we will discuss the basic set up with f(R)f(R) gravity and nn real scalar field. We will also present the perturbative expansion of the gravity plus matter action upto quadratic order. Subsequently, performing a path integral over the perturbations we will determine the effective action in 3. From the effective action we can read off the corrections to the mass of the particles and hence we can comment on breaking of conformal symmetry. For completeness, in 4 we have discussed the equivalence of the above result involving f(R)f(R) gravity with the scalar-tensor framework. Finally we conclude with a discussion on the results obtained.

Notations and Conventions: We will work with mostly positive signature convention, such that the flat spacetime metric in Cartesian coordinates in four dimensional spacetime becomes diag(1,1,1,1)\textrm{diag}(-1,1,1,1). Lowercase Roman letters a,b,a,b,\ldots denote spacetime indices and Uppercase Roman letters A,B,A,B,\ldots count all the scalar fields in the problem. We also set the fundamental constants cc and \hbar to unity.

2 f(R) gravity coupled with scalar fields: Perturbative expansion

In this section, we will be studying the perturbations of both gravitational and scalar degrees of freedom for an interacting theory involving f(R)f(R) gravity coupled with nn scalar fields. As emphasized in the introduction itself, in four spacetime dimensions, f(R)f(R) gravity provides one of the most non-trivial higher curvature corrections to the Einstein-Hilbert action, free from Ostrogradsky’s ghost. The final aim is to probe the mass renormalization of these scalar fields and determining the condition for vanishing of quadratic divergences in the one loop effective action for the f(R)f(R) theory coupled with nn scalar fields. For this purpose, we will first express the action for the full system upto quadratic order in the gravitational as well as scalar field perturbation, whose subsequent integration over the gravitational and scalar perturbation will result into the one loop effective action222Certain aspects of one loop effective action for f(R)f(R) gravity in the context of de Sitter background has been studied in [54, 55, 56, 57]. While for general ideas about one loop effective action, the reader may consult [58]., which we describe in the next section.

To begin with, we write down the gravitational plus matter action involving f(R)f(R) gravity coupled with nn scalar field, which takes the following form,

𝒜=2κ2d4xgf(R)+d4xg{12gabaΦAbΦAV(ΦAΦA)},\displaystyle\mathcal{A}=\frac{2}{\kappa^{2}}\int d^{4}x\sqrt{-g}f(R)+\int d^{4}x\sqrt{-g}\left\{-\frac{1}{2}g^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi_{A}-V(\Phi^{A}\Phi_{A})\right\}~{}, (1)

where f(R)f(R) is an arbitrary function of the Ricci scalar, ΦA=δABΦB\Phi_{A}=\delta_{AB}\Phi^{B} and V(ΦAΦA)V(\Phi^{A}\Phi_{A}) is an arbitrary function of the scalar fields, depending on the combination ΦAΦA\Phi^{A}\Phi_{A}. Further, κ2=32πG\kappa^{2}=32\pi G, where GG is the Newton’s constant and AA takes values from 1,,n1,\ldots,n with repeated index denoting summation over all the scalar fields. Given the above action, we wish to expand the metric around the flat background and hence express the gravitational action upto quadratic order in the perturbation. Similarly, the scalar field will also be expanded around some background value and the matter action will involve both the background fields and perturbations upto quadratic order. For this purpose, we introduce the following perturbation for the metric as well as for the scalar field, which reads,

gab=ηab+κhab;ΦA=ϕA+sA.\displaystyle g_{ab}=\eta_{ab}+\kappa h_{ab}~{};\qquad\Phi^{A}=\phi^{A}+s^{A}~{}. (2)

Here ηab\eta_{ab} is the background Minkowski spacetime and ϕA\phi^{A} is the background value for the scalar field. Note that we will not consider the back-reaction of the scalar field on the background spacetime and hence ϕA\phi^{A} can have non-zero value even though the background spacetime is flat. This is akin to the notions of test fields living in the flat spacetime. Since we are perturbing around a flat background, which has vanishing Ricci scalar, it follows that we can also expand f(R)f(R) around R=0R=0. This yields,

f(R)=f(R=0)+f(R=0)R+12f′′(R=0)R2+13!f′′′(R=0)R3+𝒪(R4).\displaystyle f(R)=f(R=0)+f^{\prime}(R=0)R+\frac{1}{2}f^{\prime\prime}(R=0)R^{2}+\frac{1}{3!}f^{\prime\prime\prime}(R=0)R^{3}+\mathcal{O}(R^{4})~{}. (3)

Here, f(R=0)f(R=0) acts as an effective cosmological constant term, which is not compatible with flat background and hence we must have f(R=0)=0f(R=0)=0. Note that this excludes the presence of any inverse powers of Ricci scalar in the theory. Further, the Ricci scalar, when expanded around the flat background depends on habh_{ab} linearly to the leading order [39]. Thus the term R3R^{3} will start contributing to the action only at cubic order in habh_{ab}. Hence, to the quadratic order, there will be no contribution in the gravitational action from the terms involving R3R^{3} and higher powers of RR. Therefore, for the purpose of this work, it will suffice if we restrict our attention upto the terms quadratic in the Ricci scalar in the expansion of f(R)f(R) presented in 3. Following this strategy, the gravitational Lagrangian upto quadratic order in habh_{ab}, can be expressed in the following form [39],

grav2κ2gf(R)\displaystyle\mathcal{L}_{\rm grav}\equiv\frac{2}{\kappa^{2}}\sqrt{-g}f(R) f(R=0)(2κ2gR)+12f′′(R=0)(2κ2gR2)\displaystyle\simeq f^{\prime}(R=0)\left(\frac{2}{\kappa^{2}}\sqrt{-g}R\right)+\frac{1}{2}f^{\prime\prime}(R=0)\left(\frac{2}{\kappa^{2}}\sqrt{-g}R^{2}\right)
=f(R=0)(12habhab12hhahbhab+ahabchbc)\displaystyle=f^{\prime}(R=0)\left(\frac{1}{2}h_{ab}\square h^{ab}-\frac{1}{2}h\square h-\partial_{a}h\partial_{b}h^{ab}+\partial_{a}h^{ab}\partial_{c}h^{c}_{b}\right)
+f′′(R=0)(abhabh)2.\displaystyle+f^{\prime\prime}(R=0)\left(\partial_{a}\partial_{b}h^{ab}-\square h\right)^{2}~{}. (4)

In order to arrive at the above expression we have not invoked any gauge choice, therefore this is an appropriate place to choose a particular gauge. It is customary to work in the Lorentz gauge, i.e., to impose the condition a{hab(1/2)ηabh}=0\partial_{a}\{h^{ab}-(1/2)\eta^{ab}h\}=0. We can either impose this gauge condition directly in 2 or, we can add a gauge fixing term to the gravitational Lagrangian. Such a gauge fixing term, in the present context, takes the following form,

gf=1ξ(ahab12bh)2+1η(abhab12h)(abhab32h),\displaystyle\mathcal{L}_{\rm gf}=\frac{1}{\xi}\left(\partial_{a}h^{ab}-\frac{1}{2}\partial^{b}h\right)^{2}+\frac{1}{\eta}\left(\partial_{a}\partial_{b}h^{ab}-\frac{1}{2}\square h\right)\left(\partial_{a}\partial_{b}h^{ab}-\frac{3}{2}\square h\right)~{}, (5)

where ξ\xi and η\eta are constants to be fixed later. We see that under the Lorentz gauge condition, a{hab(1/2)ηabh}=0\partial_{a}\{h^{ab}-(1/2)\eta^{ab}h\}=0, the above gauge fixing Lagrangian identically vanishes, as it should. Thus the total Lagrangian density involving both gravitational as well as the gauge fixing term, when expanded upto quadratic order in the perturbation, will predominantly depend on the combinations {f(R=0)+(1/ξ)}\{f^{\prime}(R=0)+(1/\xi)\} as well as {f′′(R=0)+(1/η)}\{f^{\prime\prime}(R=0)+(1/\eta)\} respectively. Thus to simplify the total Lagrangian we may as well choose the gauge fixing coefficients ξ\xi and η\eta, such that, ξ1=f(R=0)\xi^{-1}=-f^{\prime}(R=0) as well as, η1=f′′(R=0)\eta^{-1}=-f^{\prime\prime}(R=0). With these choices for ξ\xi and η\eta we obtain the total Lagrangian density of gravity and gauge fixing term together, yielding,

grav+gf\displaystyle\mathcal{L}_{\rm grav}+\mathcal{L}_{\rm gf} =f(R=0)2habPab;cdhcd+f′′(R=0)4(h)2,\displaystyle=-\frac{f^{\prime}(R=0)}{2}h_{ab}P^{ab;cd}\square h_{cd}+\frac{f^{\prime\prime}(R=0)}{4}\left(\square h\right)^{2}~{}, (6)

where, Pab;cd(1/2)(ηabηcdηacηbdηadηbc)P^{ab;cd}\equiv(1/2)(\eta^{ab}\eta^{cd}-\eta^{ac}\eta^{bd}-\eta^{ad}\eta^{bc}). Following the same line of arguments, as adopted for the gravitational perturbation above, it is possible to expand the matter Lagrangian containing terms upto quadratic order in habh_{ab} as well as in sAs^{A}. Such a decomposition has been performed in A. We quote here the final result for the expansion of the matter Lagrangian along with the gravitational Lagrangian and the gauge fixing term, upto quadratic order in the perturbations, yielding,

tot\displaystyle\mathcal{L}_{\rm tot} grav+gf+matter\displaystyle\equiv\mathcal{L}_{\rm grav}+\mathcal{L}_{\rm gf}+\mathcal{L}_{\rm matter}
=12habPab;cd(f(R=0)+κ22V0)hcdκ2h(sAAV)\displaystyle=-\frac{1}{2}h_{ab}P^{ab;cd}\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}\right)h_{cd}-\frac{\kappa}{2}h\Big{(}s^{A}\partial_{A}V\Big{)}
+12δABsAsB12sAsBABV+f′′(R=0)4h2h,\displaystyle\hskip 85.35826pt+\frac{1}{2}\delta_{AB}s^{A}\square s^{B}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V+\frac{f^{\prime\prime}(R=0)}{4}h\square^{2}h~{}, (7)

where, V0V_{0} is the scalar potential constructed out of the background scalar field ϕA\phi^{A} in Minkowski spacetime. Also in arriving at the above expression we have assumed the background scalar fields ϕA\phi^{A} to be constants. The above setup will be sufficient for describing the conformal symmetry through mass renormalization in the presence of higher curvature terms. The above expression for the Lagrangian density tot\mathcal{L}_{\rm tot} can be casted into a more suitable form, by using the explicit expression for Pab;cdP^{ab;cd} as well as the following decomposition of the gravitational perturbation, hab=Hab+(1/4)ηabhh_{ab}=H_{ab}+(1/4)\eta_{ab}h, where hh is the trace of the gravitational perturbation and HabH_{ab} denotes the traceless part. This results into,

tot\displaystyle\mathcal{L}_{\rm tot} =18h(f(R=0)+κ22V02f′′(R=0)2)h+12Hab(f(R=0)+κ22V0)Hab\displaystyle=-\frac{1}{8}h\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}-2f^{\prime\prime}(R=0)\square^{2}\right)h+\frac{1}{2}H_{ab}\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}\right)H^{ab}
κ2h(AV)sA12sA(δAB+ABV)sB.\displaystyle\hskip 56.9055pt-\frac{\kappa}{2}h\Big{(}\partial_{A}V\Big{)}s^{A}-\frac{1}{2}s^{A}\left(-\delta_{AB}\square+\partial_{A}\partial_{B}V\right)s^{B}~{}. (8)

Note that the traceless part of the gravitational perturbation does not couple to the scalar fields, while the trace part couples with sAs^{A}. Moreover, the information about the background field is contained in the potential term V0V_{0} and as we will see later, this term will be of prime importance in the mass renormalization scenario. Thus we may re-express the above Lagrangian in the following form,

tot\displaystyle\mathcal{L}_{\rm tot} =12Hab(f(R=0)+κ22V0)Hab\displaystyle=\frac{1}{2}H_{ab}\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}\right)H^{ab}
12(h2sA)(f(R=0)+κ22V02f′′(R=0)2κAVκAVδAB+ABV)(h2sA).\displaystyle-\frac{1}{2}\begin{pmatrix}\dfrac{h}{2}&s^{A}\end{pmatrix}\begin{pmatrix}f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}-2f^{\prime\prime}(R=0)\square^{2}&\kappa\partial_{A}V\\ \\ \kappa\partial_{A}V&-\delta_{AB}\square+\partial_{A}\partial_{B}V\end{pmatrix}\begin{pmatrix}\dfrac{h}{2}\\ \\ s^{A}\end{pmatrix}~{}. (9)

This provides a natural division of the total Lagrangian density into two parts, one depending on the nine gravitational degrees of freedom encoded in the traceless tensor HabH_{ab} and the other corresponds to (n+1)(n+1) degrees of freedoms. These involve the trace of the gravitational perturbation hh and nn scalar degrees of freedom sAs^{A} respectively. As evident from 2, we have a higher order differential operator 2\square^{2} acting on the trace of the perturbation hh, which has a coefficient proportional to f′′(R)f^{\prime\prime}(R). Such higher derivative terms arise solely due to the presence of higher curvature corrections to the Einstein-Hilbert action. Interestingly, for theories with f′′(R=0)=0f^{\prime\prime}(R=0)=0, such higher derivative corrections will be absent and the Lagrangian, upto quadratic order in the perturbations will be identical to the general relativistic counterpart [27]. The above analysis provides us the final form for the Lagrangian involving the gravitational perturbation habh_{ab}, the matter perturbations sAs^{A}, as well as the background field configurations ϕA\phi^{A}. In the next section, we will integrate out both the gravitational and the matter perturbations, thus determining the effective Lagrangian for the background scalar field ϕA\phi^{A}, which will be essential to comment on the issue of mass renormalization.

3 Effective action and mass renormalization in f(R) gravity

In the previous section, we have derived the Lagrangian density for gravity and matter, where the gravitational sector is described by f(R)f(R) gravity and the matter sector consists of nn real scalar fields. In the Lagrangian we have keept terms upto quadratic order in the metric as well as matter perturbations around flat Minkowski background, see 2. The gravitational perturbation has been decomposed into its traceless part HabH_{ab} and the trace hh, which couples with the scalar perturbation sAs^{A}. Thus when we are computing the effective action for the background scalar field ϕA\phi^{A} by integrating over the gravitational degrees of freedom and scalar perturbations, this interaction will affect the effective action for the scalar field. Furthermore, the trace part of the gravitational perturbation involves higher curvature terms (appearing as higher derivative operators) and hence these will affect the effective action for the background scalar field as well. Since the Lagrangian is quadratic in the perturbations, the path integral over the gravitational as well as scalar perturbations can be computed, leading to the following functional determinant,

\displaystyle\mathcal{M} =(f(R=0)+κ22V0)9/2\displaystyle=\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}\right)^{-9/2}
×det.((f(R=0)+κ22V02f′′(R=0)2)κ2(BV)κ2(BV)δAB+ABV)1/2.\displaystyle\hskip 56.9055pt\times\textrm{det.}\begin{pmatrix}\left(f^{\prime}(R=0)\square+\frac{\kappa^{2}}{2}V_{0}-2f^{\prime\prime}(R=0)\square^{2}\right)&\frac{\kappa}{2}\left(\partial_{B}V\right)\\ \\ \frac{\kappa}{2}\left(\partial_{B}V\right)&-\delta_{AB}\square+\partial_{A}\partial_{B}V\end{pmatrix}^{-1/2}~{}. (10)

The first term comes from the nine traceless modes in HabH_{ab}, which are decoupled from the rest of the degrees of freedom. While the second factor, which is the determinant of a (n+1)×(n+1)(n+1)\times(n+1) matrix, comes from integrating out the trace part of hh and scalar perturbations sAs^{A}. Due to the coupling of the trace part hh with the scalar field perturbation sAs^{A}, the functional determinant involves cross terms. Thus we obtain, in the Fourier space, the following expression for the functional determinant \mathcal{M},

\displaystyle\mathcal{M} =(f(R=0)p2+κ22V0)9/2\displaystyle=\left(-f^{\prime}(R=0)p^{2}+\frac{\kappa^{2}}{2}V_{0}\right)^{-9/2}
×det.((f(R=0)p2+κ22V02f′′(R=0)p4)κ2BVκ2BVδABp2+ABV)1/2,\displaystyle\hskip 56.9055pt\times\textrm{det.}\begin{pmatrix}\left(-f^{\prime}(R=0)p^{2}+\frac{\kappa^{2}}{2}V_{0}-2f^{\prime\prime}(R=0)p^{4}\right)&\frac{\kappa}{2}\partial_{B}V\\ \\ \frac{\kappa}{2}\partial_{B}V&\delta_{AB}p^{2}+\partial_{A}\partial_{B}V\end{pmatrix}^{-1/2}~{}, (11)

where, we have used the result, =p2\square=-p^{2} in the Fourier space. Since we are adopting the mostly positive signature convention, we know that p2<0p^{2}<0 for causal fields. The first term in the functional determinant does not depend on the scalar field and hence the effect of the scalar field on the effective action is completely contained in the second term. This necessitates the evaluation of the second term, which is the determinant of a (n+1)×(n+1)(n+1)\times(n+1) matrix. Finding the determinant, can in principle be a humongous task, but to determine the quadratically divergent terms in the effective action, we simply need the sum of the eigenvalues of this functional determinant. The sum of eigenvalues can be found out, by simply expanding this determinant to first two leading orders in p2-p^{2}, which yields,

(1)n\displaystyle(-1)^{n}~{} det.((f(R=0)p2+κ22V2f′′(R=0)p4)κ2BVκ2BVδABp2+ABV)\displaystyle\textrm{det.}\begin{pmatrix}\left(-f^{\prime}(R=0)p^{2}+\frac{\kappa^{2}}{2}V-2f^{\prime\prime}(R=0)p^{4}\right)&\frac{\kappa}{2}\partial_{B}V\\ \\ \frac{\kappa}{2}\partial_{B}V&\delta_{AB}p^{2}+\partial_{A}\partial_{B}V\end{pmatrix}
=2f′′(R=0)(p2)n+2+f(R=0)(p2)n+1+2f′′(R=0)(A=1nAAV)(p2)n+1+𝒪(p2)n\displaystyle\hskip-28.45274pt=-2f^{\prime\prime}(R=0)\left(-p^{2}\right)^{n+2}+f^{\prime}(R=0)\left(-p^{2}\right)^{n+1}+2f^{\prime\prime}(R=0)\left(\sum_{A=1}^{n}\partial_{A}\partial_{A}V\right)\left(-p^{2}\right)^{n+1}+\mathcal{O}\left(-p^{2}\right)^{n}
=2f′′(R=0)i=1n+2(p2Mi2)+𝒪(p2)n,\displaystyle\hskip-28.45274pt=-2f^{\prime\prime}(R=0)\prod_{i=1}^{n+2}\left(-p^{2}-M_{i}^{2}\right)+\mathcal{O}(-p^{2})^{n}~{}, (12)

where, the sum of the eigenvalues Mi2M_{i}^{2}, is determined by the coefficient of the (p2)n+1(-p^{2})^{n+1} term in the above expansion of the determinant, yielding,

i=1n+2Mi2=f(R=0)2f′′(R=0)+(A=1nAAV).\displaystyle\sum_{i=1}^{n+2}M_{i}^{2}=\frac{f^{\prime}(R=0)}{2f^{\prime\prime}(R=0)}+\left(\sum_{A=1}^{n}\partial_{A}\partial_{A}V\right)~{}. (13)

The above expression for the summation over all the eigenvalues is intimately connected with stability of the theory. Note that the positivity of the left hand side of 13 demands, f(R=0)f^{\prime}(R=0) and f′′(R=0)f^{\prime\prime}(R=0) to be positive, which is crucial for the stability of the f(R)f(R) model under consideration. Further, we also require AAV\partial_{A}\partial_{A}V to be positive, which ensures that the background scalar field is near the minima of the scalar potential. This in turn ensures stability of the matter sector as well. Therefore we can conclude that the existence of such positive eigenvalues for the functional determinant is intimately connected with the stability of the f(R)f(R) model and the scalar field Lagrangian respectively. Thus after all these algebraic manipulations, the functional determinant takes the following form,

[2f′′(R=0)]1/2(f(R=0)p2+κ22V0)9/2[i=1n+2(p2Mi2)]1/2,\displaystyle\mathcal{M}\propto\left[2f^{\prime\prime}(R=0)\right]^{-1/2}\left(-f^{\prime}(R=0)p^{2}+\frac{\kappa^{2}}{2}V_{0}\right)^{-9/2}\left[\prod_{i=1}^{n+2}\left(-p^{2}-M_{i}^{2}\right)\right]^{-1/2}~{}, (14)

where some numerical factors have been neglected. It is worth emphasizing that, 14 has no general relativity limit, since the analysis leading to 14 demands f′′(R=0)0f^{\prime\prime}(R=0)\neq 0. For the situation with f′′(R=0)=0f^{\prime\prime}(R=0)=0, we will have to go back to 3, which will reproduce the correct general relativity limit.

Having determined the functional determinant in the presence of higher curvature terms arising out of the path integral over the perturbations, let us work out the effective Lagrangian by wick rotating the background spacetime coordinates. This amounts to transforming to the Euclidean domain, yielding, p2=pE2p^{2}=-p_{\rm E}^{2}. Substituting the above transformation to the Euclidean domain in the functional determinant presented in 14, whose Logarithm yields the effective Lagrangian Γ(ϕA)\Gamma(\phi^{A}) for the background scalar fields as,

Γ(ϕA)\displaystyle\Gamma(\phi^{A}) =0Λd4pE(2π)4log\displaystyle=\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\log\mathcal{M}
=120Λd4pE(2π)4{9ln[κ2(f(R=0)pE2+κ22V0)]+i=1n+2ln[κ2(pE2Mi2)]+ln(2f′′(R=0)κ2)}\displaystyle\hskip-28.45274pt=-\frac{1}{2}\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\left\{9\ln\left[\kappa^{2}\left(f^{\prime}(R=0)p_{\rm E}^{2}+\frac{\kappa^{2}}{2}V_{0}\right)\right]+\sum_{i=1}^{n+2}\ln\left[\kappa^{2}\left(p_{\rm E}^{2}-M_{i}^{2}\right)\right]+\ln\left(\frac{2f^{\prime\prime}(R=0)}{\kappa^{2}}\right)\right\}
=120Λd4pE(2π)4[(n+11)ln(κ2pE2)+9ln(1+κ2V02f(R=0)pE2)+i=1n+2ln(1Mi2pE2)\displaystyle\hskip-28.45274pt=-\frac{1}{2}\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\Bigg{[}\left(n+11\right)\ln\left(\kappa^{2}p_{\rm E}^{2}\right)+9\ln\left(1+\frac{\kappa^{2}V_{0}}{2f^{\prime}(R=0)p_{\rm E}^{2}}\right)+\sum_{i=1}^{n+2}\ln\left(1-\frac{M_{i}^{2}}{p_{\rm E}^{2}}\right)
+9lnf(R=0)+ln(2f′′(R=0)κ2)].\displaystyle\hskip 56.9055pt+9\ln f^{\prime}(R=0)+\ln\left(\frac{2f^{\prime\prime}(R=0)}{\kappa^{2}}\right)\Bigg{]}~{}. (15)

Here Λ\Lambda is the cutoff scale of the problem, which is of the same order as the Planck scale mplκ1m_{\rm pl}\sim\kappa^{-1}. The above integral involves three separate pieces, (a) integral over ln(κ2pE2)\ln(\kappa^{2}p_{\rm E}^{2}), (b) integral over ln{1(m2/pE2)}\ln\{1-(m^{2}/p_{\rm E}^{2})\} and (c) integral over constant pieces from the f(R)f(R) gravity model. The first and third one, i.e., involving lnpE2\ln p_{\rm E}^{2} and constant terms when integrated over the four dimensional Euclidean manifold yields quartic divergences,

0Λd4pE(2π)4\displaystyle\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}} [(n+11)ln(κ2pE2)+9lnf(R=0)+ln(2f′′(R=0)κ2)]\displaystyle\Big{[}(n+11)\ln\left(\kappa^{2}p_{\rm E}^{2}\right)+9\ln f^{\prime}(R=0)+\ln\left(\frac{2f^{\prime\prime}(R=0)}{\kappa^{2}}\right)\Big{]}
=Λ432π2[(n+11)ln(κ2Λ2)(n+11)2+9lnf(R=0)+ln(2f′′(R=0)κ2)].\displaystyle=\frac{\Lambda^{4}}{32\pi^{2}}\left[(n+11)\ln\left(\kappa^{2}\Lambda^{2}\right)-\frac{(n+11)}{2}+9\ln f^{\prime}(R=0)+\ln\left(\frac{2f^{\prime\prime}(R=0)}{\kappa^{2}}\right)\right]~{}. (16)

Thus the quartically divergent term also depends on the presence of the higher curvature corrections, i.e., on the structure of the f(R)f(R) Lagrangian. There are two possible ways to get rid of the quartically divergent term:

  • If we assume that near the Planck scale, some form of supersymmetry will be realized, then the Fermionic degrees of freedom will have a contribution to the quartically divergent term, which will be identical but of opposite sign compared to the Bosonic contribution above. Thus the quartically divergent term can be avoided. We must emphasize that the supersymmetry is employed at the Planck scale and not at any low energy scale.

  • In general relativity, the only way to get rid of the quartic divergent term is to employ Planck scale supersymmetry [27], as described above. However, in the context of f(R)f(R) gravity, the above divergent term can also be avoided by choosing ln(2f′′(R=0)/κ2)+9lnf(R=0)=(n+11)ln(κ2Λ2)+(1/2)(n+11)\ln(2f^{\prime\prime}(R=0)/\kappa^{2})+9\ln f^{\prime}(R=0)=-(n+11)\ln(\kappa^{2}\Lambda^{2})+(1/2)(n+11), without requiring supersymmetry at all. In particular, for the Starobinsky model, f(R)=R+αR2f(R)=R+\alpha R^{2} the above condition yields, ln(4αmPl2)=(n+11)ln(Λ2/mPl2)+(1/2)(n+11)\ln(4\alpha m_{\rm Pl}^{2})=-(n+11)\ln(\Lambda^{2}/m_{\rm Pl}^{2})+(1/2)(n+11). Thus for Λ<mPl\Lambda<m_{\rm Pl}, we can choose αmPl2>(1/4)\alpha m_{\rm Pl}^{2}>(1/4), while for Λ=mPl\Lambda=m_{\rm Pl}, αmPl2\alpha m_{\rm Pl}^{2} is uniquely determined by the number of scalar field species in the problem. This suggests that the dimensionless coupling parameter αmPl2\alpha m_{\rm Pl}^{2} acts as a natural cutoff scale for the theory, whose appropriate choice will cancel the quartically divergent term. Therefore, use of the higher curvature terms may allow one to set the quartic divergent terms to zero, without invoking supersymmetry and may give an idea about the coupling parameters appearing in the f(R)f(R) model.

On the other hand, the integral of ln[1(m2/pE2)]\ln[1-(m^{2}/p_{\rm E}^{2})] over the four dimensional Euclidean manifold has both quadratically divergent as well as Logarithmically divergent term. The contribution to the quadratically divergent term from the effective action can be expressed in the following form,

Γquad(ϕA)=Λ232π2{f(R=0)2f′′(R=0)+(AAAV)92κ2V0}+𝒪(lnΛ).\displaystyle\Gamma^{\rm quad}(\phi^{A})=\frac{\Lambda^{2}}{32\pi^{2}}\left\{\frac{f^{\prime}(R=0)}{2f^{\prime\prime}(R=0)}+\left(\sum_{A}\partial_{A}\partial_{A}V\right)-\frac{9}{2}\kappa^{2}V_{0}\right\}+\mathcal{O}(\ln\Lambda)~{}. (17)

Thus we observe that alike the quartically divergent term, the quadratically divergent contribution to the effective action also depends heavily on the presence of the parameter f′′(R=0)f^{\prime\prime}(R=0). Further the stability of the f(R)f(R) theory demands f′′(R)f^{\prime\prime}(R) as well as f(R)f^{\prime}(R) to be positive, which in turn leads to a positive contribution to the quadratically divergent term of the effective action. Using the following generic form for the potential,

V(ϕA)=12mAB2ϕAϕB+14!λABCDϕAϕBϕCϕD+𝒪(κ2),\displaystyle V(\phi^{A})=\frac{1}{2}m_{AB}^{2}\phi^{A}\phi^{B}+\frac{1}{4!}\lambda_{ABCD}\phi^{A}\phi^{B}\phi^{C}\phi^{D}+\mathcal{O}(\kappa^{2})~{}, (18)

where mAB2m_{AB}^{2} is the mass matrix of the nn scalar fields and λABCD\lambda_{ABCD} are the dimensionless coupling constants of quartic interaction between the scalar fields, the quadratically divergent part of the effective action reads,

Γquad(ϕA)=Λ232π2{f(R=0)2f′′(R=0)+(A=1nmAA2)+(12A=1nλAACD94κ2mAB2)ϕAϕB+𝒪(ϕ4)}.\displaystyle\Gamma^{\rm quad}(\phi^{A})=\frac{\Lambda^{2}}{32\pi^{2}}\left\{\frac{f^{\prime}(R=0)}{2f^{\prime\prime}(R=0)}+\left(\sum_{A=1}^{n}m_{AA}^{2}\right)+\left(\frac{1}{2}\sum_{A=1}^{n}\lambda_{AACD}-\frac{9}{4}\kappa^{2}m_{AB}^{2}\right)\phi^{A}\phi^{B}+\mathcal{O}(\phi^{4})\right\}~{}. (19)

Given the above expression for the quadratically divergent part of the effective action, one can read off the corrections to the mass matrix mAB2m_{AB}^{2} as the coefficient of quadratic terms in the background scalar field, which takes the form

δmAB2=Λ216π2(12A=1nλAACD94κ2mAB2).\displaystyle\delta m_{AB}^{2}=-\frac{\Lambda^{2}}{16\pi^{2}}\left(\frac{1}{2}\sum_{A=1}^{n}\lambda_{AACD}-\frac{9}{4}\kappa^{2}m_{AB}^{2}\right)~{}. (20)

It is evident that, in the absence of gravitational interaction, the second term in the above expression will be absent, since it explicitly depends on the gravitational constant. If initially the masses of the scalar fields were small enough, i.e., mAB2Λ2m_{AB}^{2}\ll\Lambda^{2}, then for κmPl1Λ1\kappa\sim m_{\rm Pl}^{-1}\sim\Lambda^{-1}, it follows that κ2mAB2𝒪(1)\kappa^{2}m_{AB}^{2}\ll\mathcal{O}(1). Therefore, the corrections to the mass matrix due to quadratic divergences in the one loop effective action have negligible contributions from the gravitational corrections, be it Einstein gravity or higher curvature theory. Hence the renormalized mass matrix will depend solely on the bare couplings present in the theory and can be set to zero by choosing the scale Λ\Lambda and bare coupling parameters appropriately (for a similar scenario in the context of Higg’s Boson, see [32]). Then we have δmAB2𝒪(lnΛ)\delta m_{AB}^{2}\sim\mathcal{O}(\ln\Lambda) and hence the masses of the scalar fields can be consistently kept small all the way upto Planck scale. Therefore, the conformal invariance of the theory will only be softly broken.

4 Equivalence of the effective action and mass renormalization in the scalar-tensor representation

In the previous sections, we have explicitly demonstrated how the presence of higher curvature terms in the guise of f(R)f(R) gravity affects the effective action but still keeps the corrections to the counter term in the mass renormalization negligible. We have also demonstrated that the stability of the f(R)f(R) theory is intimately connected with the existence of a well-defined effective action for the gravity plus scalar system. However, we also know that any f(R)f(R) Lagrangian can equivalently be expressed in the scalar-tensor representation as well [59, 60, 61]. Thus the above conclusions should hold true in the scalar-tensor representation as well. This is what we will explicitly establish in this section. For this purpose, it is instructive to start with the standard f(R)f(R) Lagrangian along with the matter sector involving nn scalar fields, and from which we will make a transition to the Einstein frame. This procedure involves three steps. First of all, one rewrites the original Lagrangian for f(R)f(R) gravity in the following form,

Jordan=2κ2g[Rf(χ){χf(χ)f(χ)}]+gLmatter,\displaystyle\mathcal{L}_{\rm Jordan}=\frac{2}{\kappa^{2}}\sqrt{-g}\left[Rf^{\prime}(\chi)-\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}\right]+\sqrt{-g}L_{\rm matter}~{},

where χ\chi is an auxiliary field. Note that the variation of the above Lagrangian density with respect to the auxiliary field χ\chi yields, the equation of motion of χ\chi to be, R=χR=\chi. Then the on-shell value of the above Lagrangian becomes identical to the Lagrangian for f(R)f(R) gravity coupled with matter field. At the second step one uses the conformal transformation, g¯ab=Ω2gab\bar{g}_{ab}=\Omega^{2}g_{ab}. Under such a conformal transformation the Ricci scalar gets modified, such that, R=Ω2R¯6g¯abaΩbΩ+6Ω2¯lnΩR=\Omega^{2}\bar{R}-6\bar{g}^{ab}\nabla_{a}\Omega\nabla_{b}\Omega+6\Omega^{2}\bar{\square}\ln\Omega. Therefore, the above Lagrangian in terms of the conformally transformed metric g¯ab\bar{g}_{ab} becomes,

Jordan\displaystyle\mathcal{L}_{\rm Jordan} =2κ2Ω4g¯[f(χ){Ω2R¯6g¯abaΩbΩ+6Ω2¯lnΩ}{χf(χ)f(χ)}]+Ω4g¯L¯matter\displaystyle=\frac{2}{\kappa^{2}}\Omega^{-4}\sqrt{-\bar{g}}\left[f^{\prime}(\chi)\left\{\Omega^{2}\bar{R}-6\bar{g}^{ab}\nabla_{a}\Omega\nabla_{b}\Omega+6\Omega^{2}\bar{\square}\ln\Omega\right\}-\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}\right]+\Omega^{-4}\sqrt{-\bar{g}}\bar{L}_{\rm matter}
=2κ2g¯{Ω2f(χ)}(R¯6g¯abalnΩblnΩ+6¯lnΩ)\displaystyle=\frac{2}{\kappa^{2}}\sqrt{-\bar{g}}\left\{\Omega^{-2}f^{\prime}(\chi)\right\}\left(\bar{R}-6\bar{g}^{ab}\nabla_{a}\ln\Omega\nabla_{b}\ln\Omega+6\bar{\square}\ln\Omega\right)
2κ2g¯Ω4{χf(χ)f(χ)}+Ω4g¯L¯matter.\displaystyle\hskip 56.9055pt-\frac{2}{\kappa^{2}}\sqrt{-\bar{g}}\Omega^{-4}\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}+\Omega^{-4}\sqrt{-\bar{g}}\bar{L}_{\rm matter}~{}. (21)

The third and last step involves relating Ω\Omega to the auxiliary field χ\chi and introduce a scalar field ψ\psi, such that Ω2=f(χ)\Omega^{2}=f^{\prime}(\chi) and κψ=26lnΩ\kappa\psi=2\sqrt{6}\ln\Omega. With these identifications, the gravitational Lagrangian takes the following form in the Einstein frame,

E\displaystyle\mathcal{L}_{\rm E} =2κ2g¯R¯12g¯g¯ab¯aψ¯bψ+12κ2g¯¯lnΩ\displaystyle=\frac{2}{\kappa^{2}}\sqrt{-\bar{g}}\bar{R}-\frac{1}{2}\sqrt{-\bar{g}}\bar{g}^{ab}\bar{\nabla}_{a}\psi\bar{\nabla}_{b}\psi+\frac{12}{\kappa^{2}}\sqrt{-\bar{g}}\bar{\square}\ln\Omega
2κ2g¯Ω4{χf(χ)f(χ)}+Ω4g¯Lmatter.\displaystyle\hskip 56.9055pt-\frac{2}{\kappa^{2}}\sqrt{-\bar{g}}\Omega^{-4}\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}+\Omega^{-4}\sqrt{-\bar{g}}L_{\rm matter}~{}. (22)

In the above expression for the Lagrangian, the term depending on ¯lnΩ\bar{\square}\ln\Omega will not contribute, since it will yield a boundary term when integrated over four dimensional spacetime with conformally transformed metric g¯ab\bar{g}_{ab}. Thus neglecting such boundary contributions we obtain the Lagrangian of the gravity plus matter system in the conformally transformed frame, to yield,

E\displaystyle\mathcal{L}_{\rm E} =2κ2g¯R¯+g¯{12g¯ab¯aψ¯bψW(ψ)}\displaystyle=\frac{2}{\kappa^{2}}\sqrt{-\bar{g}}\bar{R}+\sqrt{-\bar{g}}\left\{-\frac{1}{2}\bar{g}^{ab}\bar{\nabla}_{a}\psi\bar{\nabla}_{b}\psi-W(\psi)\right\}
+g¯{12Ω2δABg¯abaΦAbΦBΩ4V(Φ)}.\displaystyle\hskip 56.9055pt+\sqrt{-\bar{g}}\left\{-\frac{1}{2}\Omega^{-2}\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-\Omega^{-4}V(\Phi)\right\}~{}. (23)

Here we have introduced the quantity W(ψ)W(\psi), which can be defined as,

W(ψ)2κ2Ω4{χf(χ)f(χ)};κψ=6lnf(χ).\displaystyle W(\psi)\equiv\frac{2}{\kappa^{2}}\Omega^{-4}\left\{\chi f^{\prime}(\chi)-f(\chi)\right\};\qquad\kappa\psi=\sqrt{6}\ln f^{\prime}(\chi)~{}. (24)

The Lagrangian in the Einstein frame, as depicted in 4 must be contrasted with the Lagrangian presented in [27]. There are two main differences between the two Lagrangians — (a) The kinetic term for the scalar field ΦA\Phi^{A} in the Lagrangian of 4 is not canonical, as it couples to the scalar degree of freedom arising from the f(R)f(R) model. While in [27], the kinetic terms for the scalar fields are strictly canonical; (b) The potential term is no longer simply V(ΦAΦA)V(\Phi_{A}\Phi^{A}), rather it is coupled with a function of the scalar degree of freedom from the f(R)f(R) gravity model, which is also different from [27]. If we consider the limit f(R)Rf(R)\rightarrow R, then we will have Ω1\Omega\rightarrow 1 and hence the above Lagrangian will indeed reduce to that of [27]. This can be taken to be a consistency check of the computation presented here.

In what follows we will resort to the same strategy as in the previous section, i.e., expand the above Lagrangian around flat spacetime, such that g¯ab=ηab+hab\bar{g}_{ab}=\eta_{ab}+h_{ab}. If we want a correspondence with the f(R)f(R) gravity, then for the background spacetime we must have Ω=1\Omega=1 and hence ψ=0\psi=0 for the background spacetime. Thus in the above Lagrangian ψ\psi itself can be considered as a perturbation about flat background. Therefore, in the scalar-tensor representation we have three perturbation variables, the gravitational perturbation habh_{ab}, scalar perturbation ψ\psi and matter perturbation sAs^{A}. We will now expand the gravity plus matter Lagrangian to quadratic order in these perturbation variables and integrate over them in order to derive the effective action.

In order to proceed further, we will borrow the results from the previous sections and hence determine the Ricci scalar upto quadratic order in the gravitational perturbation habh_{ab}. This can be achieved by setting f(R=0)=1f^{\prime}(R=0)=1 and f′′(R=0)=0f^{\prime\prime}(R=0)=0 in 6, such that the Einstein-Hilbert term in the Lagrangian, along with the gauge fixing term yields,

gr+gf\displaystyle\mathcal{L}_{\rm gr}+\mathcal{L}_{\rm gf} =12habhab14hh=12habPab;cdhcd;Pab;cd12(ηabηcdηacηbdηadηbc).\displaystyle=\frac{1}{2}h_{ab}\square h^{ab}-\frac{1}{4}h\square h=-\frac{1}{2}h_{ab}P^{ab;cd}\square h_{cd};\qquad P^{ab;cd}\equiv\frac{1}{2}\left(\eta^{ab}\eta^{cd}-\eta^{ac}\eta^{bd}-\eta^{ad}\eta^{bc}\right)~{}. (25)

The matter Lagrangian constructed out of the scalar ψ\psi originating from the scalar-tensor representation of the f(R)f(R) gravity, when expanded to quadratic order in the perturbation variables can be expressed as,

matterscalartensor\displaystyle\mathcal{L}_{\rm matter}^{\rm scalar-tensor} =g¯{12g¯ab¯aψ¯bψW(ψ)}\displaystyle=\sqrt{-\bar{g}}\left\{-\frac{1}{2}\bar{g}^{ab}\bar{\nabla}_{a}\psi\bar{\nabla}_{b}\psi-W(\psi)\right\}
=κ2hψ(W/ψ)12ηabaψbψ12ψ2(2W/ψ2),\displaystyle=-\frac{\kappa}{2}h\psi\left(\partial W/\partial\psi\right)-\frac{1}{2}\eta^{ab}\partial_{a}\psi\partial_{b}\psi-\frac{1}{2}\psi^{2}\left(\partial^{2}W/\partial\psi^{2}\right)~{}, (26)

where the potential term W(ψ)W(\psi) has been expanded as a Taylor series around the background ψ=0\psi=0. Finally the original matter Lagrangian involving nn scalar fields can also be expanded upto quadratic order in the perturbations, which has been performed in B. Therefore the total Lagrangian involving all the perturbations at the quadratic order takes the following form,

gr\displaystyle\mathcal{L}_{\rm gr} +gf+matterscalartensor+matter\displaystyle+\mathcal{L}_{\rm gf}+\mathcal{L}_{\rm matter}^{\rm scalar-tensor}+\mathcal{L}_{\rm matter}
=12Hab(+κ22V0)Hab18h(+κ22V0)hκ2hψ{(W/ψ)2κV06}12ψ2{(2W/ψ2)+2κ2V03}\displaystyle=\frac{1}{2}H_{ab}\left(\square+\frac{\kappa^{2}}{2}V_{0}\right)H^{ab}-\frac{1}{8}h\left(\square+\frac{\kappa^{2}}{2}V_{0}\right)h-\frac{\kappa}{2}h\psi\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}-\frac{1}{2}\psi^{2}\left\{\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}\right\}
12ηabaψbψκ2hsAAV12δABηabasAbsB12sAsBABV2(κψ6)sAAV.\displaystyle-\frac{1}{2}\eta^{ab}\partial_{a}\psi\partial_{b}\psi-\frac{\kappa}{2}hs^{A}\partial_{A}V-\frac{1}{2}\delta_{AB}\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V-2\left(-\frac{\kappa\psi}{\sqrt{6}}\right)s^{A}\partial_{A}V~{}. (27)

Here HabH_{ab} is the traceless part of the gravitational perturbation and hh is the trace part. It should also be emphasized that the perturbation ψ\psi in the scalar-tensor sector is actually originating from the higher curvature corrections present in the f(R)f(R) theory of gravity. Since our interest lies in the determination of the effective action for the background scalar field, we need to integrate over all the perturbed quantities, HabH_{ab}, hh, ψ\psi and sAs^{A}. Such a functional integral over all the perturbed quantities yield the following functional determinant,

\displaystyle\mathcal{M} =(+κ22V0)9/2\displaystyle=\left(\square+\frac{\kappa^{2}}{2}V_{0}\right)^{-9/2}
×det.(+κ22V0κ2{(W/ψ)2κV06}κ2BVκ2{(W/ψ)2κV06}+{(2W/ψ2)+2κ2V03}(2κ6)AVκ2BV(2κ6)AVδAB+ABV)1/2.\displaystyle\times\textrm{det.}\begin{pmatrix}\square+\frac{\kappa^{2}}{2}V_{0}&\frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&\frac{\kappa}{2}\partial_{B}V\\ \frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&-\square+\left\{\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}\right\}&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V\\ \frac{\kappa}{2}\partial_{B}V&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V&-\delta_{AB}\square+\partial_{A}\partial_{B}V\end{pmatrix}^{-1/2}~{}. (28)

Note that in the case of f(R)f(R) gravity, the nn scalar fields were coupled with the trace of the gravitational perturbation. In the present context, along with the trace part, the scalar fields are also coupled to ψ\psi, the field appearing from the transition of f(R)f(R) theory to scalar-tensor representation. It is instructive to transform the above functional determinant to the Fourier space, which amounts to transforming \square to p2-p^{2} in the above expression. Therefore, the functional determinant in the Fourier space becomes,

\displaystyle\mathcal{M} =(p2+κ22V0)9/2\displaystyle=\left(-p^{2}+\frac{\kappa^{2}}{2}V_{0}\right)^{-9/2}
×det.(p2+κ22V0κ2{(W/ψ)2κV06}κ2BVκ2{(W/ψ)2κV06}p2+{(2W/ψ2)+2κ2V03}(2κ6)AVκ2BV(2κ6)AVδABp2+ABV)1/2.\displaystyle\times\textrm{det.}\left(\begin{array}[]{ccc}-p^{2}+\frac{\kappa^{2}}{2}V_{0}&\frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&\frac{\kappa}{2}\partial_{B}V\\ \frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&p^{2}+\left\{\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}\right\}&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V\\ \frac{\kappa}{2}\partial_{B}V&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V&\delta_{AB}p^{2}+\partial_{A}\partial_{B}V\end{array}\right)^{-1/2}~{}. (32)

In order to find out the functional determinant one needs to work out the determinant of the (n+2)×(n+2)(n+2)\times(n+2) matrix originating from the nn scalar fields, the trace of the gravitational perturbation hh and the additional scalar field ψ\psi. This in practice is a very complicated computation to perform, but for our purpose of determining the leading order divergent contributions in the effective action, it will suffice to consider the first two leading order powers of the momentum. This yields,

(1)n+1\displaystyle\left(-1\right)^{n+1} det.(p2+κ22V0κ2{(W/ψ)2κV06}κ2BVκ2{(W/ψ)2κV06}p2+{(2W/ψ2)+2κ2V03}(2κ6)AVκ2BV(2κ6)AVδABp2+ABV)\displaystyle\textrm{det.}\begin{pmatrix}-p^{2}+\frac{\kappa^{2}}{2}V_{0}&\frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&\frac{\kappa}{2}\partial_{B}V\\ \frac{\kappa}{2}\left\{\left(\partial W/\partial\psi\right)-\frac{2\kappa V_{0}}{\sqrt{6}}\right\}&p^{2}+\left\{\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}\right\}&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V\\ \frac{\kappa}{2}\partial_{B}V&-\left(\frac{2\kappa}{\sqrt{6}}\right)\partial_{A}V&\delta_{AB}p^{2}+\partial_{A}\partial_{B}V\end{pmatrix}
(p2+κ22V0)[p2{(2W/ψ2)+2κ2V03}][(p2)n(p2)n1A=1nAAV]\displaystyle\hskip-28.45274pt\simeq\left(-p^{2}+\frac{\kappa^{2}}{2}V_{0}\right)\left[-p^{2}-\left\{\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}\right\}\right]\left[\left(-p^{2}\right)^{n}-\left(-p^{2}\right)^{n-1}\sum_{A=1}^{n}\partial_{A}\partial_{A}V\right]
=(p2)n+2(p2)n+1{κ22V0+(2W/ψ2)+2κ2V03+AAAV}\displaystyle=\left(-p^{2}\right)^{n+2}-\left(-p^{2}\right)^{n+1}\left\{-\frac{\kappa^{2}}{2}V_{0}+\left(\partial^{2}W/\partial\psi^{2}\right)+\frac{2\kappa^{2}V_{0}}{3}+\sum_{A}\partial_{A}\partial_{A}V\right\}
=i=1n+2(p2Mi2),\displaystyle=\prod_{i=1}^{n+2}\left(-p^{2}-M_{i}^{2}\right)~{}, (33)

where, Mi2M_{i}^{2} are certain characteristic mass scales associated with this problem, satisfying the following result,

iMi2=(2W/ψ2)+AAAV+κ2V06.\displaystyle\sum_{i}M_{i}^{2}=\left(\partial^{2}W/\partial\psi^{2}\right)+\sum_{A}\partial_{A}\partial_{A}V+\frac{\kappa^{2}V_{0}}{6}~{}. (34)

Again the left hand side of the above equation must be positive definite, which requires the potential W(ψ)W(\psi) as well as the potential V(ϕ)V(\phi) to have a minimum. This shows another crucial difference with [27], as in the present context the positive definiteness of the eigenvalues Mi2M_{i}^{2} not only requires the potential V(ΦAΦA)V(\Phi^{A}\Phi_{A}) to have a minima, but also it demands existence of minima for W(ψ)W(\psi) as well.

Thus once again the stability of the theory is intimately connected with the positivity of Mi2M_{i}^{2}, which is extremely important for (almost) conformal invariance of the theory. Hence the equivalence between the stability of the f(R)f(R) theory and its scalar-tensor representation is manifest from the above analysis.

Let us proceed further and determine the effective action by taking the Logarithm of the functional determinant presented above by integrating over the four momentum. It is advantageous to translate the above results into Euclidean manifold by performing a Wick rotation. Under such a transformation, p2pE2p^{2}\rightarrow-p_{\rm E}^{2} and hence the effective Lagrangian in the Euclidean domain will read,

Γ(ϕA)\displaystyle\Gamma(\phi^{A}) =0Λd4pE(2π)4log\displaystyle=\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\log\mathcal{M}
=120Λd4pE(2π)4{9ln[κ2(pE2+κ22V0)]+i=1n+2ln[κ2(pE2Mi2)]}\displaystyle\hskip-28.45274pt=-\frac{1}{2}\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\left\{9\ln\left[\kappa^{2}\left(p_{\rm E}^{2}+\frac{\kappa^{2}}{2}V_{0}\right)\right]+\sum_{i=1}^{n+2}\ln\left[\kappa^{2}\left(p_{\rm E}^{2}-M_{i}^{2}\right)\right]\right\}
=120Λd4pE(2π)4[(n+11)ln(κ2pE2)+9ln(1+κ2V02pE2)+i=1n+2ln(1Mi2pE2)].\displaystyle\hskip-28.45274pt=-\frac{1}{2}\int_{0}^{\Lambda}\frac{d^{4}p_{\rm E}}{(2\pi)^{4}}\Bigg{[}\left(n+11\right)\ln\left(\kappa^{2}p_{\rm E}^{2}\right)+9\ln\left(1+\frac{\kappa^{2}V_{0}}{2p_{\rm E}^{2}}\right)+\sum_{i=1}^{n+2}\ln\left(1-\frac{M_{i}^{2}}{p_{\rm E}^{2}}\right)\Bigg{]}~{}. (35)

Here also, the integral has two main ingredients — (a) terms involving ln(κ2pE2)\ln(\kappa^{2}p_{\rm E}^{2}) and (b) terms involving ln[1(m2/pE2)]\ln[1-(m^{2}/p_{\rm E}^{2})]. The integral over ln(κ2pE2)\ln(\kappa^{2}p_{\rm E}^{2}) will lead to quartically divergent contribution, which can be set to zero by assuming existence of supersymmetry at a high energy scale. This is because, existence of supersymmetry will induce an identical but opposite contribution coming from the Fermionic sector as well, which will make the total contribution of Bosonic and Fermionic system to be vanishing. On the other hand the integral involving ln[1(m2/pE2)]\ln[1-(m^{2}/p_{\rm E}^{2})] will yield a quadratically divergent contribution along with a Logarithmic correction term, such that the effective action to leading order becomes,

Γquad(ϕA)=Λ232π2[(2W/ψ2)+A=1nAAV+κ2V0692κ2V0].\displaystyle\Gamma^{\rm quad}(\phi^{A})=\frac{\Lambda^{2}}{32\pi^{2}}\Big{[}\left(\partial^{2}W/\partial\psi^{2}\right)+\sum_{A=1}^{n}\partial_{A}\partial_{A}V+\frac{\kappa^{2}V_{0}}{6}-\frac{9}{2}\kappa^{2}V_{0}\Big{]}~{}. (36)

Simplifying further and using the generic form for the scalar potential as presented in 18, along with the expression for (d2W/dψ2)(d^{2}W/d\psi^{2}) from C we obtain the following expression for the effective action,

Γquad(ϕA)=Λ232π2[13f(R=0)2f′′(R=0)+A=1nmAA2+(12A=1nλAACD136κ2mCD2)ϕCϕD+𝒪(ϕ4)].\displaystyle\Gamma^{\rm quad}(\phi^{A})=\frac{\Lambda^{2}}{32\pi^{2}}\Bigg{[}\frac{1}{3}\frac{f^{\prime}(R=0)^{2}}{f^{\prime\prime}(R=0)}+\sum_{A=1}^{n}m_{AA}^{2}+\left(\frac{1}{2}\sum_{A=1}^{n}\lambda_{AACD}-\frac{13}{6}\kappa^{2}m_{CD}^{2}\right)\phi^{C}\phi^{D}+\mathcal{O}(\phi^{4})\Bigg{]}~{}. (37)

It is evident from the above expression that except for some numerical factors of 𝒪(1)\mathcal{O}(1), the quadratically divergent piece of the effective action in the scalar-tensor representation is identical to the one in f(R)f(R) theory. This explicitly demonstrates the equivalence between the two. Further, the conclusion regarding smallness of the quadratically divergent counter term in mass renormalization also remain unchanged. To see this explicitly, we write down the corrections δmAB2\delta m_{AB}^{2} to the mass matrix mAB2m_{AB}^{2}, below

δmCD2=Λ216π2(12A=1nλAACD136κ2mCD2).\displaystyle\delta m_{CD}^{2}=-\frac{\Lambda^{2}}{16\pi^{2}}\left(\frac{1}{2}\sum_{A=1}^{n}\lambda_{AACD}-\frac{13}{6}\kappa^{2}m_{CD}^{2}\right)~{}. (38)

As evident from the above expression, if the elements of the mass matrix mAB2m_{AB}^{2} were much smaller than the scale Λ\Lambda, we have κ2mAB2𝒪(1)\kappa^{2}m_{AB}^{2}\ll\mathcal{O}(1) as well. Therefore, the corrections to the mass matrix arising out of the gravitational interaction are negligible. Hence the masses will remain smaller even when the gravitational and higher loop effects are taken into account. This suggests that the conformal symmetry of the original Lagrangian will remain weakly broken, as desired. Note that we had arrived at the same conclusion in the context of f(R)f(R) theory as well. Furthermore, if κ2mAB2𝒪(1)\kappa^{2}m_{AB}^{2}\ll\mathcal{O}(1), and the potential due to ψ\psi dominates at high energy, it follows that the quadratically divergent term can be made smaller altogether.

This analysis serves two purposes for us. Firstly, it strengthens the equivalence between the f(R)f(R) theory and its scalar-tensor representation in the context of one loop effective action and mass renormalization. Secondly, it demonstrates the robustness of the fact that gravitational interaction has very little effect on the mass renormalization of the matter fields, provided the original masses were small (compared to the scale Λ\Lambda) to begin with. Moreover this is true even in the context of higher curvature gravity.

5 Concluding Remarks

The gauge hierarchy problem and its possible resolution has taken the centerstage of the high energy physics for the last decade. Even after advocating several intriguing and exotic possibilities to bypass the gauge hierarchy problem, none has been realized so far in the experiments. This has provided significant motivation to look for other alternative scenarios, where the gauge hierarchy problem can be addressed without deviating much from the Standard Model. One such possibility is the idea of softly broken conformal invariance, where the bare couplings of the theory are chosen in such a manner that counter term to the mass renormalization is unaffected by quadratically divergent contributions arising out of higher loop corrections. Since gravitational interaction is universal it will necessarily couple with the matter fields, thereby modifying the scenario presented above. As the scale at which bare couplings are evaluated is 𝒪(mPl)\mathcal{O}(m_{\rm Pl}), it is expected that the gravitational interaction will inherit higher curvature corrections. Following which, we have discussed the effect of such higher curvature corrections, in the form of f(R)f(R) gravity and its implications for mass renormalization scenario.

Our analysis makes it clear that gravitational interactions, be it Einstein gravity or f(R) gravity, has very little effect on the mass renormalization scenario, provided the bare masses of the scalar fields in the Lagrangian were small compared to the cut off scale Λ\Lambda (𝒪(mPl)\sim\mathcal{O}(m_{\rm Pl})) to begin with. Therefore, the quadratically divergent piece in the counter term becomes identical to the contribution from flat spacetime and can be set to zero by choosing the bare couplings appropriately. Thus the masses of the scalar fields can be kept identical to the original values m2m^{2}, satisfying m2Λ2m^{2}\ll\Lambda^{2}. This suggests that the conformal symmetry will be approximately preserved at the energy scale Λ\Lambda.

Even though the higher curvature corrections do not affect the mass renormalization scenario directly, it does have indirect consequences. First of all, the functional determinant, crucial in finding out the one loop effective action, will have positive eigenvalues if and only if the f(R)f(R) theory is stable, i.e., free from any ghost modes. Secondly, the quartically divergent term in the effective action can be eliminated without any necessity to invoke supersymmetry, but by choosing the couplings in the f(R)f(R) model in a suitable manner. Finally, we have also demonstrated that all these results mentioned above hold correct in the scalar-tensor representation as well. This shows another instance of equivalence between f(R)f(R) gravity with its scalar-tensor representation. In a nutshell, following the analysis of this work we can safely conclude that weakly (or, softly) broken conformal invariance for Standard Model seems to be a viable candidate to address the gauge hierarchy problem and is minimally affected by the gravitational interactions, described by either general relativity or higher curvature corrections transcending general relativity.

Acknowledgements

The author (S.C.) thanks Hermann Nicolai for useful discussions and suggestions at various stages of this work and acknowledges Max-Planck Society for awarding Max-Planck-India Mobility Grant. S.C. also thanks AEI, Potsdam for warm hospitality and financial support, where initial stages of this work were carried out. The research of S.C. is supported in part by the INSPIRE Faculty fellowship from Department of Science and Technology, Government of India (Reg. No. DST/INSPIRE/04/2018/000893).

Appendices

Appendix A Expansion of the matter Lagrangian upto quadratic order in the perturbations

The matter Lagrangian involving nn real scalar fields, minimally coupled with gravity can also be expanded upto quadratic order in the matter perturbation sAs^{A} and gravitational perturbation habh_{ab}. The computation of the action expanded upto second order, can be performed along the following lines,

matter\displaystyle\mathcal{L}_{\rm matter} =g{δAB(12gabaΦAbΦB)V(Φ)}\displaystyle=\sqrt{-g}\left\{\delta_{AB}\left(-\frac{1}{2}g^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}\right)-V(\Phi)\right\}
=[1+κ2hκ24(hαβhαβ12h2)]{12δAB[(ηabκhab+κ2hachcb)a(ϕA+sA)b(ϕB+sB)]\displaystyle=\left[1+\frac{\kappa}{2}h-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)\right]\Bigg{\{}-\frac{1}{2}\delta_{AB}\left[\left(\eta^{ab}-\kappa h^{ab}+\kappa^{2}h^{ac}h^{b}_{c}\right)\partial_{a}\left(\phi^{A}+s^{A}\right)\partial_{b}\left(\phi^{B}+s^{B}\right)\right]
V(ϕ)sAAV12sAsBABV}\displaystyle\hskip 56.9055pt-V(\phi)-s^{A}\partial_{A}V-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V\Bigg{\}}
=[1+κ2hκ24(hαβhαβ12h2)]{12δAB[(ηabκhab+κ2hachcb)\displaystyle=\left[1+\frac{\kappa}{2}h-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)\right]\Bigg{\{}-\frac{1}{2}\delta_{AB}\Big{[}\left(\eta^{ab}-\kappa h^{ab}+\kappa^{2}h^{ac}h^{b}_{c}\right)
×(aϕAbϕB+2aϕAbsB+asAbsB)]V(ϕ)sAAV12sAsBABV}\displaystyle\hskip 56.9055pt\times\left(\partial_{a}\phi^{A}\partial_{b}\phi^{B}+2\partial_{a}\phi^{A}\partial_{b}s^{B}+\partial_{a}s^{A}\partial_{b}s^{B}\right)\Big{]}-V(\phi)-s^{A}\partial_{A}V-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V\Bigg{\}}
=[1+κ2hκ24(hαβhαβ12h2)][12δAB(ηabaϕAbϕB)V(ϕ)\displaystyle=\left[1+\frac{\kappa}{2}h-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)\right]\Bigg{[}-\frac{1}{2}\delta_{AB}\left(\eta^{ab}\partial_{a}\phi^{A}\partial_{b}\phi^{B}\right)-V(\phi)
12δAB(κhab+κ2hachcb)aϕAbϕBδABηabaϕAbsBsAAV+δABκhabaϕAbsB\displaystyle\hskip 28.45274pt-\frac{1}{2}\delta_{AB}\left(-\kappa h^{ab}+\kappa^{2}h^{ac}h^{b}_{c}\right)\partial_{a}\phi^{A}\partial_{b}\phi^{B}-\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-s^{A}\partial_{A}V+\delta_{AB}\kappa h^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}
12δAB(ηabasAbsB)12sAsBABV+𝒪(higher order terms)]\displaystyle\hskip 28.45274pt-\frac{1}{2}\delta_{AB}\left(\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}\right)-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V+\mathcal{O}(\textrm{higher~{}order~{}terms})\Bigg{]}
=L0+[κ2hκ24(hαβhαβ12h2)]L0+κ2δABhabaϕAbϕB+κ24δABhhabaϕAbϕB\displaystyle=L_{0}+\left[\frac{\kappa}{2}h-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)\right]L_{0}+\frac{\kappa}{2}\delta_{AB}h^{ab}\partial_{a}\phi^{A}\partial_{b}\phi^{B}+\frac{\kappa^{2}}{4}\delta_{AB}hh^{ab}\partial_{a}\phi^{A}\partial_{b}\phi^{B}
κ22δABhachcbaϕAbϕBδABηabaϕAbsBsAAV+κ2h(δABηabaϕAbsBsAAV)\displaystyle\hskip 28.45274pt-\frac{\kappa^{2}}{2}\delta_{AB}h^{ac}h^{b}_{c}\partial_{a}\phi^{A}\partial_{b}\phi^{B}-\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-s^{A}\partial_{A}V+\frac{\kappa}{2}h\left(-\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-s^{A}\partial_{A}V\right)
+δABκhabaϕAbsB12δAB(ηabasAbsB)12sAsBABV\displaystyle\hskip 28.45274pt+\delta_{AB}\kappa h^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-\frac{1}{2}\delta_{AB}\left(\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}\right)-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V
=L0+(κ2hL0+κ2δABhabaϕAbϕBδABηabaϕAbsBsAAV)+[κ24(hαβhαβ12h2)L0\displaystyle=L_{0}+\left(\frac{\kappa}{2}hL_{0}+\frac{\kappa}{2}\delta_{AB}h^{ab}\partial_{a}\phi^{A}\partial_{b}\phi^{B}-\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-s^{A}\partial_{A}V\right)+\Bigg{[}-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)L_{0}
+κ24δAB(hhab2hachcb)aϕAbϕB+κ2h{δABηabaϕAbsBsAAV}\displaystyle\hskip 28.45274pt+\frac{\kappa^{2}}{4}\delta_{AB}\left(hh^{ab}-2h^{ac}h^{b}_{c}\right)\partial_{a}\phi^{A}\partial_{b}\phi^{B}+\frac{\kappa}{2}h\left\{-\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-s^{A}\partial_{A}V\right\}
+δABκhabaϕAbsB12δAB{ηabasAbsB}12sAsBABV].\displaystyle\hskip 28.45274pt+\delta_{AB}\kappa h^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}-\frac{1}{2}\delta_{AB}\left\{\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}\right\}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V\Bigg{]}~{}. (39)

Here we have defined, L0(1/2)δAB(ηabaϕAbϕB)V(ϕ)L_{0}\equiv-(1/2)\delta_{AB}\left(\eta^{ab}\partial_{a}\phi^{A}\partial_{b}\phi^{B}\right)-V(\phi), as the scalar field Lagrangian in flat spacetime. Thus keeping terms quadratic in the gravitational and scalar perturbation, we obtain the following form of the Lagrangian,

matterquadratic\displaystyle\mathcal{L}^{\rm quadratic}_{\rm matter} =κ24(hαβhαβ12h2)L0κ2h(δABηabaϕAbsB+sAAV)12δAB(ηabasAbsB)\displaystyle=-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)L_{0}-\frac{\kappa}{2}h\left(\delta_{AB}\eta^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}+s^{A}\partial_{A}V\right)-\frac{1}{2}\delta_{AB}\left(\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}\right)
12sAsBABV+κ24δAB(hhab2hachcb)aϕAbϕB+δABκhabaϕAbsB.\displaystyle\hskip 28.45274pt-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V+\frac{\kappa^{2}}{4}\delta_{AB}\left(hh^{ab}-2h^{ac}h^{b}_{c}\right)\partial_{a}\phi^{A}\partial_{b}\phi^{B}+\delta_{AB}\kappa h^{ab}\partial_{a}\phi^{A}\partial_{b}s^{B}~{}. (40)

Further simplification can be performed by assuming the background scalar field ϕA\phi^{A} to be constant. This is consistent with the flat background considered in this work. Therefore the last two terms in the above expression does not contribute and the matter Lagrangian density upto quadratic order in the perturbation can be expressed as,

matter\displaystyle\mathcal{L}_{\rm matter} =κ24(hαβhαβ12h2)L0κ2h(sAAV)12δAB(ηabasAbsB)12sAsBABV\displaystyle=-\frac{\kappa^{2}}{4}\left(h^{\alpha\beta}h_{\alpha\beta}-\frac{1}{2}h^{2}\right)L_{0}-\frac{\kappa}{2}h\left(s^{A}\partial_{A}V\right)-\frac{1}{2}\delta_{AB}\left(\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}\right)-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V
=habPab;cd(κ24L0)hcdκ2h(sAAV)+12δABsAsB12sAsBABV.\displaystyle=h_{ab}P^{ab;cd}\left(\frac{\kappa^{2}}{4}L_{0}\right)h_{cd}-\frac{\kappa}{2}h\left(s^{A}\partial_{A}V\right)+\frac{1}{2}\delta_{AB}s^{A}\square s^{B}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V~{}. (41)

where in the last line we have neglected some total derivative terms. Note that with the choice ϕA=constant\phi^{A}=\textrm{constant}, the scalar field Lagrangian for the flat background becomes V0-V_{0}, where V0V_{0} is the potential associated with the background scalar fields. This is the expression we have used in the main text.

Appendix B Expansion of the matter Lagrangian upto quadratic order in the perturbations in scalar-tensor representation

Let us consider the matter Lagrangian involving nn scalar fields in the scalar-tensor representation of the f(R)f(R) gravity and its expansion upto quadratic order in the perturbations, which takes the following form,

matter\displaystyle\mathcal{L}_{\rm matter} =g¯{12Ω2δABg¯abaΦAbΦBΩ4V(Φ)}\displaystyle=\sqrt{-\bar{g}}\left\{-\frac{1}{2}\Omega^{-2}\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-\Omega^{-4}V(\Phi)\right\}
=g¯{12exp(κψ6)δABg¯abaΦAbΦBexp(2κψ6)V(Φ)}\displaystyle=\sqrt{-\bar{g}}\left\{-\frac{1}{2}\exp\left(-\frac{\kappa\psi}{\sqrt{6}}\right)\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-\exp\left(-2\frac{\kappa\psi}{\sqrt{6}}\right)V(\Phi)\right\}
g¯[12δABg¯abaΦAbΦBV(Φ)]+(κψ6)g¯[12δABg¯abaΦAbΦB2V(Φ)]\displaystyle\simeq\sqrt{-\bar{g}}\left[-\frac{1}{2}\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-V(\Phi)\right]+\left(-\frac{\kappa\psi}{\sqrt{6}}\right)\sqrt{-\bar{g}}\left[-\frac{1}{2}\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-2V(\Phi)\right]
+12(κψ6)2g¯[12δABg¯abaΦAbΦB4V(Φ)]\displaystyle\hskip 56.9055pt+\frac{1}{2}\left(-\frac{\kappa\psi}{\sqrt{6}}\right)^{2}\sqrt{-\bar{g}}\left[-\frac{1}{2}\delta_{AB}\bar{g}^{ab}\partial_{a}\Phi^{A}\partial_{b}\Phi^{B}-4V(\Phi)\right]
=κ2hsAAV12δABηabasAbsB12sAsBABV2(κψ6)sAAV\displaystyle=-\frac{\kappa}{2}hs^{A}\partial_{A}V-\frac{1}{2}\delta_{AB}\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V-2\left(-\frac{\kappa\psi}{\sqrt{6}}\right)s^{A}\partial_{A}V
+κ24(hαβhαβ12h2)V02(κψ6)2V0(κψ6)κhV0.\displaystyle\hskip 56.9055pt+\frac{\kappa^{2}}{4}\left(h_{\alpha\beta}h^{\alpha\beta}-\frac{1}{2}h^{2}\right)V_{0}-2\left(-\frac{\kappa\psi}{\sqrt{6}}\right)^{2}V_{0}-\left(-\frac{\kappa\psi}{\sqrt{6}}\right)\kappa hV_{0}~{}. (42)

Here we have assumed that the background scalar field ϕA\phi^{A} is a constant, such that all the derivatives of ϕA\phi^{A} can be set to zero. Note that the above quadratic Lagrangian for the matter field depends not only on the scalar perturbation sAs^{A}, but also on the gravitational perturbation habh_{ab} and scalar-tensor perturbation ψ\psi. Thus the total Lagrangian involving perturbations upto quadratic order becomes,

gr\displaystyle\mathcal{L}_{\rm gr} +gf+matterscalartensor+matter\displaystyle+\mathcal{L}_{\rm gf}+\mathcal{L}_{\rm matter}^{\rm scalar-tensor}+\mathcal{L}_{\rm matter}
=12habPab;cdhcdκ2hψ(W/ψ)12ηabaψbψ12ψ2(2W/ψ2)\displaystyle=-\frac{1}{2}h_{ab}P^{ab;cd}\square h_{cd}-\frac{\kappa}{2}h\psi\left(\partial W/\partial\psi\right)-\frac{1}{2}\eta^{ab}\partial_{a}\psi\partial_{b}\psi-\frac{1}{2}\psi^{2}\left(\partial^{2}W/\partial\psi^{2}\right)
κ2hsAAV12δABηabasAbsB12sAsBABV2(κψ6)sAAV\displaystyle-\frac{\kappa}{2}hs^{A}\partial_{A}V-\frac{1}{2}\delta_{AB}\eta^{ab}\partial_{a}s^{A}\partial_{b}s^{B}-\frac{1}{2}s^{A}s^{B}\partial_{A}\partial_{B}V-2\left(-\frac{\kappa\psi}{\sqrt{6}}\right)s^{A}\partial_{A}V
κ24(hαβhαβ12h2)L0+2(κψ6)2L0+(κψ6)κhL0,\displaystyle-\frac{\kappa^{2}}{4}\left(h_{\alpha\beta}h^{\alpha\beta}-\frac{1}{2}h^{2}\right)L_{0}+2\left(-\frac{\kappa\psi}{\sqrt{6}}\right)^{2}L_{0}+\left(-\frac{\kappa\psi}{\sqrt{6}}\right)\kappa hL_{0}~{}, (43)

which has been used in the main text.

Appendix C Scalar potential in the scalar-tensor representation

To demonstrate the equivalence of the results derived in the context of scalar-tensor representation with the corresponding results for f(R)f(R) gravity we need to evaluate derivatives of the scalar potential W(ψ)W(\psi). This is non-trivial, since the potential is known only an an implicit function of the scalar field ψ\psi. In this appendix we will determine the scalar potential and its derivatives with respect to the scalar field, which will be useful in various contexts in this paper. The scalar potential in the conformally transformed frame associated with the scalar field ψ\psi can be read off from 24, which reads,

W(ψ)=2κ2exp(26κψ){χf(χ)f(χ)};f(χ)=exp(κψ6)\displaystyle W(\psi)=\frac{2}{\kappa^{2}}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}~{};\qquad f^{\prime}(\chi)=\exp\left(\frac{\kappa\psi}{\sqrt{6}}\right) (44)

Thus taking derivative of the function W(ψ)W(\psi) with respect to ψ\psi, we obtain,

dWdψ\displaystyle\frac{dW}{d\psi} =46κexp(26κψ){χf(χ)f(χ)}+2κ2exp(26κψ)χf′′(χ)(dχdψ).\displaystyle=-\frac{4}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}+\frac{2}{\kappa^{2}}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime\prime}(\chi)\left(\frac{d\chi}{d\psi}\right)~{}. (45)

Given the relation between χ\chi and ψ\psi in 44, we obtain,

dψdχ=6κf′′(χ)f(χ).\displaystyle\frac{d\psi}{d\chi}=\frac{\sqrt{6}}{\kappa}\frac{f^{\prime\prime}(\chi)}{f^{\prime}(\chi)}~{}. (46)

Substituting this expression for (dψ/dχ)(d\psi/d\chi) in the expression for (dW/dψ)(dW/d\psi) derived above we obtain,

dWdψ\displaystyle\frac{dW}{d\psi} =46κexp(26κψ){χf(χ)f(χ)}+2κ2exp(26κψ)χf′′(χ)(6κf′′(χ)f(χ))1\displaystyle=-\frac{4}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}+\frac{2}{\kappa^{2}}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime\prime}(\chi)\left(\frac{\sqrt{6}}{\kappa}\frac{f^{\prime\prime}(\chi)}{f^{\prime}(\chi)}\right)^{-1}
=46κexp(26κψ){χf(χ)f(χ)}+26κexp(26κψ)χf(χ).\displaystyle=-\frac{4}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}+\frac{2}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime}(\chi)~{}. (47)

Finally, the computation of the second derivative of W(ψ)W(\psi) proceeds along the following lines,

d2Wdψ2\displaystyle\frac{d^{2}W}{d\psi^{2}} =43exp(26κψ){χf(χ)f(χ)}46κexp(26κψ)χf′′(χ)(dχdψ)\displaystyle=\frac{4}{3}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\chi f^{\prime}(\chi)-f(\chi)\right\}-\frac{4}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime\prime}(\chi)\left(\frac{d\chi}{d\psi}\right)
23exp(26κψ)χf(χ)+26κexp(26κψ){f(χ)+χf′′(χ)}(dχdψ)\displaystyle-\frac{2}{3}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime}(\chi)+\frac{2}{\sqrt{6}\kappa}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{f^{\prime}(\chi)+\chi f^{\prime\prime}(\chi)\right\}\left(\frac{d\chi}{d\psi}\right)
=exp(26κψ){23χf(χ)43f(χ)}23exp(26κψ)χf(χ)\displaystyle=\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\frac{2}{3}\chi f^{\prime}(\chi)-\frac{4}{3}f(\chi)\right\}-\frac{2}{3}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\chi f^{\prime}(\chi)
+13exp(26κψ){f(χ)2f′′(χ)+χf(χ)}\displaystyle+\frac{1}{3}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\frac{f^{\prime}(\chi)^{2}}{f^{\prime\prime}(\chi)}+\chi f^{\prime}(\chi)\right\}
=43f(χ)exp(26κψ)+13exp(26κψ){f(χ)2f′′(χ)+χf(χ)}.\displaystyle=-\frac{4}{3}f(\chi)\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)+\frac{1}{3}\exp\left(-\frac{2}{\sqrt{6}}\kappa\psi\right)\left\{\frac{f^{\prime}(\chi)^{2}}{f^{\prime\prime}(\chi)}+\chi f^{\prime}(\chi)\right\}~{}. (48)

This expression when evaluated for the background spacetime, where ψ=0\psi=0 and on-shell χ=R=0\chi=R=0. Thus we obtain the above second derivative term to yield,,

d2Wdψ2\displaystyle\frac{d^{2}W}{d\psi^{2}} =43f(R=0)+13f(R=0)2f′′(R=0)\displaystyle=-\frac{4}{3}f(R=0)+\frac{1}{3}\frac{f^{\prime}(R=0)^{2}}{f^{\prime\prime}(R=0)} (49)

From our consideration of f(R)f(R) gravity, it follows that f(R=0)=0f(R=0)=0 and f(R=0)=1f^{\prime}(R=0)=1, which yields, (d2W/dψ2)f′′(R=0)1(d^{2}W/d\psi^{2})\sim f^{\prime\prime}(R=0)^{-1}. This result has been used in the main text.

References