Gauge-independent approach to inflation in quadratic gravity

Submitted 24 Apr 2026 UTC (this version) , Announced 25 Apr 2026, 02:07 UTC v1 v2 v3

You are viewing version 1. A newer version is available — version 3, revised 28 Jun 2026.

We investigate the scalar sector of linear cosmological perturbations in quadratic gravity. Working in the Einstein frame, we derive the equations of motion in a gauge-independent manner and express them in terms of three sets of gauge-invariant variables. This approach allows us to distinguish genuine physical effects from gauge artefacts, which is particularly relevant for assessing the stability of perturbations in this theory. In the superhorizon limit, we obtain the leading-order behaviour of the relevant gauge-invariant variables and analyse the perturbations in several commonly used gauges. We find that the Newtonian gauge exhibits an apparent instability, characterised by the exponential growth of the metric perturbations. However, this growth is non-generic and gauge-dependent; in the other gauges analysed in this work, the perturbations remain well behaved within the perturbative regime. Physical observables can thus be consistently computed, and the apparent instability is identified as a gauge artefact rather than a pathology of the theory. Our analysis also demonstrates how the evolution behaviour of a gauge-invariant variable changes under the frame transformation and clarifies the relation between results obtained in the Jordan and Einstein frames.

Skip past document tools to paper content

Files

Download PDF · 1.2 MB

TeX Source .tar.gz · 286 KB

Ancillary files · 3.6 MB Download all

Cite

@article{palomares2026gauge,
  title = {Gauge-independent approach to inflation in quadratic gravity},
  author = {Palomares, Adrian and Shapiro, Ilya L. and Gonzalez-Garcia, Maria C. and Harada, Tomohiro and others},
  journal = {arXiv preprint arXiv:2604.22725},
  year = {2026},
  doi = {10.48550/arXiv.2604.22725}
}

Paper Information

Version History

[v3] latest 28 Jun 2026 UTC

Latest — matches the published version (JCAP). Added the Planck 2018 comparison in Sec. 4.
[v2] 19 May 2026 UTC

Revised the scalar spectral-index discussion; corrected Eq. (4.7).
[v1] viewing 24 Apr 2026 UTC

Original submission — the version you're viewing.

Full version history

Accessibility

Metadata

Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and Nongalactic Astrophysics (astro-ph.CO); High Energy Physics — Theory (hep-th)
arXiv DOI: 10.48550/arXiv.2604.22725
License: CC BY 4.0
Journal: Journal of Cosmology and Astroparticle Physics, 2026(05), 012
Comments: v3: 18 pages, 6 figures. Updated discussion of scalar spectral index in Sec. 4. Added comparison with Planck 2018 data. Matches published version.
Who cites this: Google Scholar NASA ADS Semantic Scholar

1 Introduction

Inflation [15, 44, 45, 26, 31, 3] is a short period of accelerated expansion in the very early Universe that not only addresses the problems of the standard Big Bang framework, such as the horizon and flatness problems, but also seeds the primordial inhomogeneities through the quantum fluctuations of fields. After inflation, these fluctuations re-enter the Hubble horizon and leave measurable imprints in the cosmic microwave background (CMB) and the large-scale structure.

Cosmological perturbation theory provides a mathematical framework to study the dynamics of inflation and to connect theory with observations [28, 35, 34]. It relies on the assumption that deviations from homogeneity and isotropy remain small, allowing for an expansion in perturbation variables around a homogeneous and isotropic background. It is therefore important to ensure that perturbations indeed remain within the perturbative regime. However, it should be stressed that the amplitude of perturbations is not a gauge-invariant statement; individual metric components may exhibit large or growing behaviour depending on the gauge choice, without implying a breakdown of the theory itself. Consequently, statements about the stability of solutions must ultimately rely on gauge-invariant quantities [12] or on physically meaningful observables such as the curvature perturbation $\mathcal{R}$ .

According to the latest observational constraints from the CMB experiments such as Planck [2], BICEP/Keck [1], and ACT [32, 16], one of the most successful inflationary scenarios is the Starobinsky model [45]. In this framework, the Einstein–Hilbert action is extended by a quadratic Ricci scalar $R^{2}$ correction that introduces a scalar degree of freedom commonly referred to as the scalaron. This provides a purely geometrical origin of inflation and, in the Einstein frame, is equivalent to a single-field inflationary model with a plateau-like potential along which the field slowly rolls; see, e.g., Ref. [19] for a review. From a theoretical perspective, it is also well-motivated within the effective field theory (EFT) approach to gravity [22, 49], in which higher-curvature corrections naturally arise as higher-dimensional operators suppressed by a cutoff scale.

Both the Starobinsky model and Einstein’s theory of general relativity are expected to break down at sufficiently high energies, as neither provides an ultraviolet (UV) completion of gravity. From an EFT perspective, the gravitational action can be extended by including higher powers of $R$ as well as other curvature invariants. To the second order in the curvature, a more natural extension of Einstein’s gravity theory would thus include $R^{2}$ , $R_{\mu\nu}R^{\mu\nu}$ , and $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}$ . The resulting framework, known as quadratic gravity, was first systematically studied by Stelle¹ [46, 47], and it was shown that the inclusion of these additional quadratic terms renders the theory perturbatively renormalisable [24, 25, 10]. However, this improved UV behaviour comes at the cost of introducing additional propagating degrees of freedom. In addition to the massless graviton and the scalaron arising from the $R^{2}$ term, a massive spin-2 mode and an additional scalar mode come into play [46, 47]; see also Refs. [20, 27, 42, 18].

At the classical level, the presence of higher derivatives is associated with the Ostrogradsky instability [37], which manifests itself through an unbounded Hamiltonian; see also Ref. [53] for a review. At the quantum level, the massive spin-2 state, which comes with the wrong sign for the kinetic term, can be quantised with a negative norm to avoid this instability [38, 40, 42]. While this raises concerns about unitarity, it is important to note that quadratic gravity can still be consistently interpreted as an EFT valid below a cutoff scale, or as a sector of a more complete theory in which these issues may be resolved. Various approaches to dealing with the ghost degree of freedom have been explored in the literature [39, 23, 6, 7, 4, 13, 21, 43, 5, 29], with different phenomenological interpretations depending on the physical regime considered.

In the context of inflationary cosmology, quadratic gravity has been previously studied at the level of linear perturbations [50, 17, 36, 20, 27, 41, 18, 14]. It has been found that the tensor sector remains well behaved, with the additional massive spin-2 mode not spoiling the standard evolution of gravitational waves. Vector modes, which are absent in standard single-field inflation, become dynamical in this theory; however, their amplitude decreases as inflation proceeds, and they therefore do not lead to observable consequences.

In contrast, analyses of the scalar sector have led to differing interpretations. On the one hand, Ref. [20], where the analysis is done in the Einstein frame, concluded that the growth of certain perturbations observed in the Newtonian gauge is a gauge artefact rather than a physical instability. On the other hand, the more recent analysis of Ref. [18], where the analysis is performed in the Jordan frame, suggests that instabilities might persist even once the Newtonian gauge is avoided. It is important to note that these conclusions often rely on specific metric components or gauge-dependent variables, complicating their physical interpretation. Moreover, the different frame choices play a non-trivial role in comparing the two analyses.

This situation motivates a careful reanalysis of the scalar sector in a fully gauge-independent manner. Such an approach allows us to isolate the physical degrees of freedom and to determine whether any instability is present at the level of observables. The aim of the present work is precisely to address this issue and to clarify the behaviour of scalar perturbations.

2 Setup

At quadratic order in the curvature, the gravitational action is not restricted to the $R^{2}$ term that appears in Starobinsky inflation [45].² In general, it may also include the scalars $R_{\mu\nu}R^{\mu\nu}$ and $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}$ , leading to the most general local action built from curvature invariants up to second order.³ The corresponding action reads⁴

\displaystyle S=\frac{M_{\mathrm{P}}^{2}}{2}\int d^{4}x\,\sqrt{-g}\,\left[R+\alpha R^{2}+\beta R_{\mu\nu}R^{\mu\nu}+\gamma R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\right]\,,

(2.1)

where $\alpha$ , $\beta$ , and $\gamma$ are constant coefficients of mass dimension $-2$ , and $M_{\rm P}\equiv 1/\sqrt{8\pi G}$ is the reduced Planck mass.

Using the fact that the Gauss–Bonnet term, which is given by

\displaystyle\mathcal{G}=R^{2}-4R_{\mu\nu}R^{\mu\nu}+R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\,,

(2.2)

is topological in four dimensions [30, 33], the Riemann tensor-squared term, i.e., the $\gamma$ term, can be eliminated in favour of $R^{2}$ and $R_{\mu\nu}R^{\mu\nu}$ . The action can then be written as

\displaystyle S=\frac{M_{\mathrm{P}}^{2}}{2}\int d^{4}x\,\sqrt{-g}\,\left[R+(\alpha-\gamma)R^{2}+(\beta+4\gamma)R_{\mu\nu}R^{\mu\nu}\right]\,.

(2.3)

Alternatively, using the identity relating the Weyl tensor-squared term to the other invariants, namely [51]

\displaystyle C_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma}=\mathcal{G}-\frac{2}{3}R^{2}+2R_{\mu\nu}R^{\mu\nu}\,,

(2.4)

one may eliminate the Ricci tensor-squared term, arriving at the following action:

\displaystyle S=\frac{M_{\mathrm{P}}^{2}}{2}\int d^{4}x\,\sqrt{-g}\,\left[R+\lambda R^{2}-\frac{\omega}{2}C_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma}\right]\,,

(2.5)

where the topological Gauss–Bonnet term has been ignored, and the coefficients $\lambda$ and $\omega$ are given by

\displaystyle\lambda=\alpha+\frac{1}{3}(\beta+\gamma)\,,\qquad\omega=-\left(\beta+4\gamma\right)\,.

(2.6)

The action (2.5) has recently been studied in Ref. [18] in the context of inflationary cosmology. The parameters $\lambda$ and $\omega$ are restricted to positive values in the current work so as to avoid tachyonic instabilities in the spectrum. Readers may refer to Ref. [18] for a more detailed discussion; see also e.g., Refs. [20, 27].

It is well known that $f(R)$ gravity is equivalent to the scalar–tensor theory; see, for instance, Ref. [19] for a review. As such, the $R^{2}$ term in the action (2.5), provided that its coefficient $\lambda$ is non-zero, can be mapped onto a scalar degree of freedom via the introduction of an auxiliary field $\varphi$ . The action then reads

\displaystyle S=\frac{M_{\mathrm{P}}^{2}}{2}\int d^{4}x\,\sqrt{-g}\,\left[R+2\lambda\varphi R-\lambda\varphi^{2}-\frac{\omega}{2}C_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma}\right]\,.

(2.7)

One can easily see that varying the action with respect to the field $\varphi$ gives the constraint equation $\varphi=R$ , given that $\lambda\neq 0$ . Substituting $\varphi=R$ then recovers the original action (2.5). Via the Weyl rescaling, also commonly known as the conformal transformation,

\displaystyle g_{\mu\nu}\to g^{\mathrm{E}}_{\mu\nu}=f(\varphi)g_{\mu\nu}\,,

(2.8)

where we have used the index “E” to denote Einstein-frame quantities, and $f(\varphi)=1+2\lambda\varphi$ , the action (2.7) can be brought to the Einstein frame as follows:

\displaystyle S=\int d^{4}x\,\sqrt{-g^{\mathrm{E}}}\,\left[\frac{M_{\mathrm{P}}^{2}}{2}R^{\mathrm{E}}-\frac{1}{2}g_{\mathrm{E}}^{\mu\nu}\partial_{\mu}\phi^{\rm E}\partial_{\nu}\phi^{\rm E}-V^{\mathrm{E}}-\frac{\omega M^{2}_{\rm P}}{4}C^{\mathrm{E}}_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma}_{\mathrm{E}}\right]\,.

(2.9)

Here, $\phi^{\mathrm{E}}$ is the canonically normalised field, which is given by

\displaystyle\phi^{\mathrm{E}}\equiv\sqrt{\frac{3}{2}}M_{\mathrm{P}}\ln f\,,

(2.10)

and $V^{\mathrm{E}}$ is the Einstein-frame potential, which is given by

\displaystyle V^{\mathrm{E}}=\frac{M_{\mathrm{P}}^{2}}{8\lambda}\left[1-\exp\left(-\sqrt{\frac{2}{3}}\frac{\phi^{\mathrm{E}}}{M_{\mathrm{P}}}\right)\right]^{2}\,.

(2.11)

We note that the Weyl-squared term is invariant under the Weyl rescaling. As we shall work extensively in the Einstein frame, we shall drop the index “E” from now on for brevity, unless otherwise stated. The Einstein-frame action (2.9) has been studied in Refs. [20, 27] in the context of inflationary cosmology.

Figure 1. Schematic evolution of the gauge-invariant metric perturbations Φ (solid) and Ψ (dashed) in the Newtonian gauge. Both grow exponentially during inflation, consistent with the apparent instability discussed in Sec. 4.

2.1 Background equations

We consider a spatially flat Friedmann–Lemaître–Robertson–Walker (FLRW) background which, in the Einstein frame, is described by the metric

\displaystyle ds^{2}=-dt^{2}+a^{2}(t)\delta_{ij}dx^{i}dx^{j}\,.

(2.12)

Since the Weyl-squared term in the action (2.9), namely the $\omega$ term, vanishes at the background level, the background equations are identical to those of the standard single-field inflation model. In particular, the background equations of motion are given by the Friedmann equation and the Klein–Gordon equation,

\displaystyle 3M_{\mathrm{P}}^{2}H^{2}=\frac{\dot{\bar{\phi}}^{2}}{2}+V(\bar{\phi})\,,\qquad 0=\ddot{\bar{\phi}}+3H\dot{\bar{\phi}}+V^{\prime}(\bar{\phi})\,,

(2.13)

where the dot indicates the derivative with respect to cosmic time $t$ , and $H\equiv\dot{a}/a$ is the Hubble parameter. Here, we have used the notation $\bar{\phi}$ to denote that it is the background part of the inflaton field that depends only on time, $\bar{\phi}=\bar{\phi}(t)$ .

2.2 Perturbed equations

Let us now consider linear perturbations around the background. Varying the action (2.9) with respect to $\delta g^{\mu\nu}$ , we obtain

$\displaystyle 0$	$\displaystyle=\left(R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R\right)-\frac{1}{M_{\mathrm{P}}^{2}}\left(\nabla_{\mu}\phi\nabla_{\nu}\phi-\frac{1}{2}g_{\mu\nu}\nabla_{\rho}\phi\nabla^{\rho}\phi-g_{\mu\nu}V\right)$
	$\displaystyle\quad-\omega\bigg(\frac{1}{6}g_{\mu\nu}R^{2}-\frac{1}{2}g_{\mu\nu}R_{\rho\sigma}R^{\rho\sigma}-\frac{2}{3}g_{\mu\nu}\nabla^{2}R+g_{\mu\nu}\nabla_{\rho}\nabla_{\sigma}R^{\rho\sigma}+2R_{\mu}{}^{\rho}R_{\nu\rho}-\frac{2}{3}RR_{\mu\nu}$
	$\displaystyle\quad\quad+\nabla^{2}R_{\mu\nu}+\frac{2}{3}\nabla_{\nu}\nabla_{\mu}R-\nabla_{\rho}\nabla_{\mu}R_{\nu}{}^{\rho}-\nabla_{\rho}\nabla_{\nu}R_{\mu}{}^{\rho}\bigg)\,.$	(2.14)

The structure of the equations of motion (2.14) can be interpreted as the usual Einstein tensor $G_{\mu\nu}\equiv R_{\mu\nu}-g_{\mu\nu}R/2$ and the energy–momentum tensor of the scalar inflaton field $T_{\mu\nu}\equiv\nabla_{\mu}\phi\nabla_{\nu}\phi-(1/2)g_{\mu\nu}\nabla_{\rho}\phi\nabla^{\rho}\phi-g_{\mu\nu}V$ , together with the contribution coming from the Weyl-squared term. One can check in a straightforward manner that the terms multiplied by $\omega$ , i.e., the extra contribution coming from the Weyl-squared term, vanish on the FLRW background, as we mentioned earlier. Therefore, the Weyl-squared term only affects the perturbation dynamics.⁵

Considering only the scalar sector, we introduce perturbations of the metric as

\displaystyle ds^{2}=-(1+2A)dt^{2}+2a\partial_{i}Bdtdx^{i}+a^{2}\left[(1+2\psi)\delta_{ij}-2\partial_{i}\partial_{j}E\right]dx^{i}dx^{j}\,,

(2.15)

while the scalar field is perturbed as

\displaystyle\phi(t,\mathbf{x})\equiv\bar{\phi}(t)+\delta\phi(t,\mathbf{x})\,,

(2.16)

where $\bar{\phi}(t)$ is the background part of the inflaton. Substituting Eqs. (2.15) and (2.16) into Eq. (2.14), we find

	$\displaystyle 0$	$\displaystyle=6H\dot{\psi}-6H^{2}A-2H\triangle\dot{E}-2H\triangle\left(\frac{B}{a}\right)-2\triangle\frac{\psi}{a^{2}}-\frac{1}{M^{2}_{\rm P}}\left[\dot{\bar{\phi}}\delta\dot{\phi}-A\dot{\bar{\phi}}^{2}+V^{\prime}(\bar{\phi})\delta\phi\right]$
		$\displaystyle\quad-\frac{2\omega}{3a^{4}}\triangle\triangle\left(A-\psi+a^{2}\ddot{E}+a^{2}H\dot{E}+a\dot{B}\right)\,,$		(2.17)

from the $00$ -component,

	$\displaystyle 0$	$\displaystyle=\partial_{i}\left\{-2\dot{\psi}+2HA-\frac{\dot{\bar{\phi}}}{M^{2}_{\rm P}}\delta\phi\right.$
		$\displaystyle\quad\left.-\frac{2\omega}{3a^{2}}\triangle\left[\dot{A}-\dot{\psi}+a^{2}\dddot{E}+3a^{2}H\ddot{E}+a^{2}\left(2H^{2}+\dot{H}\right)\dot{E}+a\ddot{B}+aH\dot{B}\right]\right\}\,,$		(2.18)

from the $0i$ -component, and

$\displaystyle 0$	$\displaystyle=\left(\partial_{i}\partial_{j}-\frac{1}{3}\triangle\delta_{ij}\right)\left\{-\frac{\psi}{a^{2}}-\frac{A}{a^{2}}-\ddot{E}-3H\dot{E}-\frac{\dot{B}}{a}-2H\frac{B}{a}-\omega\left[\frac{\ddot{A}}{a^{2}}-\frac{\ddot{\psi}}{a^{2}}+H\left(\frac{\dot{A}}{a^{2}}-\frac{\dot{\psi}}{a^{2}}\right)\right.\right.$
	$\displaystyle\quad\left.\left.-\frac{\triangle}{3a^{4}}\left(A-\psi\right)+\ddddot{E}+6H\dddot{E}+\left(4\dot{H}+11H^{2}\right)\ddot{E}+\left(\ddot{H}+7H\dot{H}+6H^{3}\right)\dot{E}\right.\right.$
	$\displaystyle\quad\left.\left.+\frac{\dddot{B}}{a}+3H\frac{\ddot{B}}{a}+\left(2H^{2}+\dot{H}\right)\frac{\dot{B}}{a}-\frac{\triangle}{3a^{2}}\left(\ddot{E}+H\dot{E}+\frac{\dot{B}}{a}\right)\right]\right\}\,,$	(2.19)

from the spatial traceless component. Here, $\triangle\equiv\delta^{ij}\partial_{i}\partial_{j}$ .

At this stage, one may fix a gauge and study the perturbation dynamics in the chosen gauge. Alternatively, one may construct gauge-invariant variables and examine the system in a gauge-independent manner. In this work, we adopt the latter approach. Under a coordinate transformation $\tilde{x}_{\mu}=x_{\mu}+\lambda_{\mu}$ with $\lambda_{i}=\partial_{i}\lambda$ , the scalar sector perturbations transform as follows:

$\displaystyle A$	$\displaystyle\rightarrow\tilde{A}=A-\dot{\lambda}_{0}\,,$	(2.20)
$\displaystyle B$	$\displaystyle\rightarrow\tilde{B}=B-a\dot{\lambda}+\frac{\lambda_{0}}{a}\,,$	(2.21)
$\displaystyle E$	$\displaystyle\rightarrow\tilde{E}=E+\lambda\,,$	(2.22)
$\displaystyle\psi$	$\displaystyle\rightarrow\tilde{\psi}=\psi-H\lambda_{0}\,,$	(2.23)
$\displaystyle\delta\phi$	$\displaystyle\rightarrow\delta\tilde{\phi}=\delta\phi-\dot{\bar{\phi}}\lambda_{0}\,.$	(2.24)

These relations can be combined to construct gauge-invariant variables such as

$\displaystyle\Psi$	$\displaystyle=\psi+a^{2}H\left(\dot{E}+\frac{B}{a}\right)\,,$	$\displaystyle\Phi$	$\displaystyle=A+\frac{d}{dt}\left[a^{2}\left(\dot{E}+\frac{B}{a}\right)\right]\,,$
$\displaystyle\mathcal{R}$	$\displaystyle=\psi-\frac{H}{\dot{\bar{\phi}}}\delta\phi\,,$	$\displaystyle\chi$	$\displaystyle=a^{2}\left(\frac{B}{a}+\dot{E}\right)+\frac{\delta\phi}{\dot{\bar{\phi}}}\,,$
$\displaystyle\mathcal{A}$	$\displaystyle=A-\frac{d}{dt}\left(\frac{\delta\phi}{\dot{\bar{\phi}}}\right)\,,$	$\displaystyle\mathcal{A}$	${}_{\psi}=A-\frac{d}{dt}\left(\frac{\psi}{H}\right)\,.$	(2.25)

Expressing Eqs. (2.17)–(2.19) in terms of the gauge-invariant variables $\Psi$ , $\Phi$ , and $\chi$ , for instance, leads to

$\displaystyle 0$	$\displaystyle=3H(H\Phi-\dot{\Psi})-H^{2}\epsilon_{1}\Phi+\triangle\frac{\Psi}{a^{2}}+H^{2}\epsilon_{1}(\dot{\chi}-3H\chi)+\frac{\omega}{3a^{4}}\triangle\triangle\left(\Phi-\Psi\right)\,,$	(2.26)
$\displaystyle 0$	$\displaystyle=\partial_{i}\left\{H\Phi-\dot{\Psi}-H^{2}\epsilon_{1}\chi-\frac{\omega}{3a^{2}}\triangle\left(\dot{\Phi}-\dot{\Psi}\right)\right\}\,,$	(2.27)
$\displaystyle 0$	$\displaystyle=\left(\partial_{i}\partial_{i}-\frac{1}{3}\delta_{ij}\triangle\right)\left\{\Psi+\Phi+\omega\left[\left(\ddot{\Phi}-\ddot{\Psi}\right)+H\left(\dot{\Phi}-\dot{\Psi}\right)-\frac{\triangle}{3a^{2}}\left(\Phi-\Psi\right)\right]\right\}\,,$	(2.28)

where we have introduced the first Hubble slow-roll parameter $\epsilon_{1}$ defined as

\displaystyle\epsilon_{1}\equiv-\frac{\dot{H}}{H^{2}}\,,

(2.29)

which characterises the deviation from the exact de Sitter (dS) background. We note that Eqs. (2.26)–(2.28) recover the expressions given in Ref. [20].

One may also write the perturbed equations of motion in terms of $\mathcal{A}$ , $\mathcal{R}$ , and $\chi$ as follows:

$\displaystyle 0$	$\displaystyle=3H(H\mathcal{A}-\dot{\mathcal{R}})+\frac{\triangle}{a^{2}}\left(\mathcal{R}+H\chi\right)-H^{2}\epsilon_{1}\mathcal{A}+\frac{\omega}{3a^{4}}\triangle\triangle\left[\mathcal{A}-\mathcal{R}+\dot{\chi}-H\chi\right]\,,$	(2.30)
$\displaystyle 0$	$\displaystyle=\partial_{i}\left\{H\mathcal{A}-\dot{\mathcal{R}}+\frac{\omega}{3a^{2}}\triangle\left[\dot{\mathcal{R}}-\dot{\mathcal{A}}-\ddot{\chi}+H\dot{\chi}-H^{2}\epsilon_{1}\chi\right]\right\}\,,$	(2.31)
$\displaystyle 0$	$\displaystyle=\left(\partial_{i}\partial_{j}-\frac{1}{3}\delta_{ij}\triangle\right)\left\{-(\mathcal{R}+\mathcal{A})-\dot{\chi}-H\chi+\omega\left[\ddot{\mathcal{R}}-\ddot{\mathcal{A}}+H(\dot{\mathcal{R}}-\dot{\mathcal{A}})-\frac{\triangle}{3a^{2}}(\mathcal{R}-\mathcal{A})\right.\right.$
	$\displaystyle\quad\left.\left.-\dddot{\chi}+\left(1-2\epsilon_{1}\right)H^{2}\dot{\chi}+\frac{\triangle}{3a^{2}}\dot{\chi}-(1-2\epsilon_{1}+\epsilon_{2})H^{3}\epsilon_{1}\chi-\frac{H}{3a^{2}}\triangle\chi\right]\right\}\,,$	(2.32)

where

\displaystyle\epsilon_{n>1}\equiv\frac{\dot{\epsilon}_{n-1}}{H\epsilon_{n-1}}\,.

(2.33)

In terms of $\mathcal{A}_{\psi}$ , $\mathcal{R}$ , and $\Psi$ , instead, the perturbed equations of motion are given by

$\displaystyle 0$	$\displaystyle=(3-\epsilon_{1})H^{2}\mathcal{A}_{\psi}+(3-\epsilon_{1})\epsilon_{1}H^{2}\mathcal{R}-H\epsilon_{1}\dot{\mathcal{R}}+\frac{\triangle}{a^{2}}\Psi+\frac{\omega}{3a^{4}}\triangle\triangle\left[\mathcal{A}_{\psi}-(1-\epsilon_{1})\Psi+\frac{\dot{\Psi}}{H}\right]\,,$	(2.34)
$\displaystyle 0$	$\displaystyle=\partial_{i}\left\{H(\mathcal{A}_{\psi}+\epsilon_{1}\mathcal{R})-\frac{\omega}{3a^{2}}\triangle\left[\dot{\mathcal{A}}_{\psi}-(1-2\epsilon_{1})\dot{\Psi}+\frac{\ddot{\Psi}}{H}+H\epsilon_{1}\epsilon_{2}\Psi\right]\right\}\,,$	(2.35)
$\displaystyle 0$	$\displaystyle=\left(\partial_{i}\partial_{j}-\frac{1}{3}\delta_{ij}\triangle\right)\left\{\mathcal{A}_{\psi}+(1+\epsilon_{1})\Psi+\frac{\dot{\Psi}}{H}+\omega\ddot{\mathcal{A}}_{\psi}+\omega H\dot{\mathcal{A}}_{\psi}-\frac{\omega}{3a^{2}}\triangle\left[\mathcal{A}_{\psi}-(1-\epsilon_{1})\Psi\right]\right.$
	$\displaystyle\quad\left.+\frac{\omega\dddot{\Psi}}{H}+3\omega\epsilon_{1}\ddot{\Psi}-\omega H(1-2\epsilon_{1}-3\epsilon_{1}\epsilon_{2})\dot{\Psi}-\frac{\omega}{3a^{2}}\triangle\left(\frac{\Psi}{H}\right)+\omega H^{2}\epsilon_{1}\epsilon_{2}(1-\epsilon_{1}+\epsilon_{2}+\epsilon_{3})\Psi\right\}\,.$	(2.36)

Figure 2. Regions of parameter space considered in the analysis.

3 Evolution of gauge-invariant variables

From the three systems of perturbed equations of motion obtained in the previous section, namely Eqs. (2.26)–(2.28), Eqs. (2.30)–(2.32), and Eqs. (2.34)–(2.36), one can derive a closed evolution equation for each of the gauge-invariant variables. In this section, we present the resultant expressions for such evolution equations. We then analyse the dynamical behaviour of the gauge-invariant variables by solving the evolution equations in the dS limit and taking the superhorizon limit. The detailed derivation steps are relegated to Appendix A.

It is convenient to perform the calculation in Fourier space, i.e.,

\displaystyle X(t,\mathbf{x})=\int d^{3}k\,X_{\mathbf{k}}(t)\,e^{i\mathbf{k}\cdot\mathbf{x}}\,,

(3.1)

where $X$ represents the gauge-invariant variable, $X=\{\Psi,\Phi,\mathcal{R},\chi,\mathcal{A},\mathcal{A}_{\psi}\}$ . For simplicity, the wavenumber subscript “ $\mathbf{k}$ ” will be dropped, $X_{\mathbf{k}}\rightarrow X$ .

3.1 Evolution of $\Psi$ and $\Phi$

From Eqs. (2.26)–(2.28), we obtain fourth-order evolution equations for the gauge-invariant variables $\Psi$ and $\Phi$ as

	$\displaystyle 0$	$\displaystyle=\ddddot{\Phi}+H\alpha_{3}\dddot{\Phi}+H^{2}\alpha_{2}\ddot{\Phi}+H^{3}\alpha_{1}\dot{\Phi}+H^{4}\alpha_{0}\Phi\,,$		(3.2)
	$\displaystyle 0$	$\displaystyle=\ddddot{\Psi}+H\beta_{3}\dddot{\Psi}+H^{2}\beta_{2}\ddot{\Psi}+H^{3}\beta_{1}\dot{\Psi}+H^{4}\beta_{0}\Psi\,.$		(3.3)

In Appendix A, we provide more details of the intermediate steps leading to the evolution equations, as well as the coefficients $\alpha_{i}$ and $\beta_{i}$ . In the superhorizon limit where $k\ll aH$ , and to the zeroth order in the slow-roll parameters $\epsilon_{i}$ ( $i=1,2,\cdots$ ), i.e., in the dS limit, Eqs. (3.2) and (3.3) become

	$\displaystyle 0$	$\displaystyle=\ddddot{\Phi}+\left(\frac{1}{H^{2}\omega}-1\right)H^{2}\ddot{\Phi}+\frac{H}{\omega}\dot{\Phi}\,,$		(3.4)
	$\displaystyle 0$	$\displaystyle=\ddddot{\Psi}+\left(\frac{1}{H^{2}\omega}-1\right)H^{2}\ddot{\Psi}+\frac{H}{\omega}\dot{\Psi}\,.$		(3.5)

Both $\Phi$ and $\Psi$ obey identical evolution equations at this order of approximation. Using the ansatz $\Phi,\Psi\propto e^{xHt}$ and solving the resulting algebraic equation for $x$ , we obtain

\displaystyle\Phi,\Psi

\displaystyle=C^{\Phi,\Psi}_{1}+C^{\Phi,\Psi}_{2}e^{-Ht}+K^{\Phi,\Psi}_{+}e^{\frac{1}{2}(1+\theta)Ht}+K^{\Phi,\Psi}_{-}e^{\frac{1}{2}(1-\theta)Ht}\,,

(3.6)

where

\displaystyle\theta

\displaystyle\equiv\sqrt{1-\frac{4}{H^{2}\omega}}\,,

(3.7)

and $C^{\Phi,\Psi}_{1}$ , $C^{\Phi,\Psi}_{2}$ , $K_{+}^{\Phi,\Psi}$ , and $K_{-}^{\Phi,\Psi}$ are constants of integration for $\Phi$ and $\Psi$ .

From Eq. (3.7), it is evident that $\omega=\omega_{\mathrm{crit}}\equiv 4/H^{2}$ is a critical value to determine whether $\theta$ is real or pure imaginary. In either case, however, the last two terms in the solution (3.6) always grow exponentially in time, causing the instability problem, as pointed out in Refs. [20, 27]; see also Ref. [18] for the analysis in the Jordan frame.

3.2 Evolution of $\mathcal{R}$

We now turn to the gauge-invariant variable $\mathcal{R}$ , whose evolution equation takes the form

\displaystyle 0

\displaystyle=\ddddot{\mathcal{R}}+H\gamma_{3}\dddot{\mathcal{R}}+H^{2}\gamma_{2}\ddot{\mathcal{R}}+H^{3}\gamma_{1}\dot{\mathcal{R}}+H^{4}\gamma_{0}\mathcal{R}\,.

(3.8)

The derivation steps and expressions for the coefficients $\gamma_{i}$ up to $\mathcal{O}(\epsilon_{i})$ are given in Appendix A. In the superhorizon limit, Eq. (3.8) reduces to

\displaystyle 0

\displaystyle=\ddddot{\mathcal{R}}+6H\dddot{\mathcal{R}}+\left(11+\frac{1}{\omega H^{2}}\right)H^{2}\ddot{\mathcal{R}}+\left(6+\frac{3}{H^{2}\omega}\right)H^{3}\dot{\mathcal{R}}\,,

(3.9)

up to the zeroth order in the slow-roll parameters $\epsilon_{i}$ . Similarly to the previous case of $\Phi$ and $\Psi$ , with the ansatz $\mathcal{R}\sim e^{xHt}$ , the leading-order solution is found as

\displaystyle\mathcal{R}=C_{1}^{\mathcal{R}}+C_{2}^{\mathcal{R}}e^{-3Ht}+K_{+}^{\mathcal{R}}e^{-\frac{3}{2}\left(1+\frac{\theta}{3}\right)Ht}+K_{-}^{\mathcal{R}}e^{-\frac{3}{2}\left(1-\frac{\theta}{3}\right)Ht}\,,

(3.10)

where $\theta$ is defined in Eq. (3.7), and $C^{\mathcal{R}}_{1}$ , $C^{\mathcal{R}}_{2}$ , $K_{+}^{\mathcal{R}}$ , and $K_{-}^{\mathcal{R}}$ are integration constants. The first two terms correspond to the standard slow-roll solution, $\mathcal{R}_{\mathrm{SR}}\sim C+D/a^{3}$ , consisting of a conserved mode and a decaying mode on superhorizon scales, while the additional two modes come from the Weyl-squared contribution.

For $\omega<\omega_{\mathrm{crit}}=4/H^{2}$ , $\theta$ is pure imaginary and the additional modes exhibit oscillating behaviour with exponentially decreasing amplitude. For $\omega>\omega_{\mathrm{crit}}=4/H^{2}$ , $\theta$ is real, and the additional modes decay exponentially. In either case, the extra modes coming from the Weyl-squared term decay with time, implying that $\mathcal{R}$ approaches a constant value on superhorizon scales, as in standard inflation. In other words, the gauge-invariant curvature perturbation $\mathcal{R}$ , which is directly related to the CMB observables, freezes outside the Hubble horizon. This conclusion agrees with the result reported in Refs. [20, 27, 18].

3.3 Evolution of $\chi$

The gauge-invariant variable $\chi$ satisfies

\displaystyle 0=\ddddot{\chi}+H\nu_{3}\dddot{\chi}+H^{2}\nu_{2}\ddot{\chi}+H^{3}\nu_{1}\dot{\chi}+H^{4}\nu_{0}\chi\,.

(3.11)

The derivation steps and expressions for the coefficients $\nu_{i}$ up to $\mathcal{O}(\epsilon_{i})$ are given in Appendix A. In the superhorizon limit, together with the dS limit, the evolution equation for $\chi$ reads

\displaystyle 0=\ddddot{\chi}+2H\dddot{\chi}+\left(-3+\frac{1}{H^{2}\omega}\right)H^{2}\ddot{\chi}+\frac{3H}{\omega}\dot{\chi}\,.

(3.12)

Hence, the superhorizon solution is given by

\displaystyle\chi=C^{\chi}_{1}+C_{2}^{\chi}e^{-3Ht}+K_{+}^{\chi}e^{\frac{1}{2}\left(1+\theta\right)Ht}+K_{-}^{\chi}e^{\frac{1}{2}\left(1-\theta\right)Ht}\,,

(3.13)

where $\theta$ is defined in Eq. (3.7), and $C^{\chi}_{1}$ , $C^{\chi}_{2}$ , $K_{+}^{\chi}$ , and $K_{-}^{\chi}$ are integration constants.

The dependence on $\omega$ is the same as in the $\Psi$ and $\Phi$ cases. The last two modes, introduced by the higher-derivative contributions associated with the Weyl-squared term, suffer from the exponential instability on superhorizon scales.

3.4 Evolution of $\mathcal{A}$

The evolution equation for $\mathcal{A}$ is given by

\displaystyle 0=\ddddot{\mathcal{A}}+H\mu_{3}\dddot{\mathcal{A}}+H^{2}\mu_{2}\ddot{\mathcal{A}}+H^{3}\mu_{1}\dot{\mathcal{A}}+H^{4}\mu_{0}\mathcal{A}\,.

(3.14)

The derivation steps and exact expressions for the coefficients $\mu_{i}$ are given in Appendix A. Taking the same limit as before, namely the superhorizon limit and the dS limit, leads to the following equation:

\displaystyle 0=\ddddot{\mathcal{A}}+12H\dddot{\mathcal{A}}+\left(53+\frac{1}{H^{2}\omega}\right)H^{2}\ddot{\mathcal{A}}+\left(102+\frac{5}{H^{2}\omega}\right)H^{3}\dot{\mathcal{A}}+\left(72+\frac{6}{H^{2}\omega}\right)H^{4}\mathcal{A}\,.

(3.15)

The solution is given by

\displaystyle\mathcal{A}=C_{1}^{\mathcal{A}}e^{-2Ht}+C_{2}^{\mathcal{A}}e^{-3Ht}+K_{+}^{\mathcal{A}}e^{-\frac{7}{2}\left(1+\frac{\theta}{7}\right)Ht}+K_{-}^{\mathcal{A}}e^{-\frac{7}{2}\left(1-\frac{\theta}{7}\right)Ht}\,,

(3.16)

where $\theta$ is defined in Eq. (3.7), and $C^{\mathcal{A}}_{1}$ , $C^{\mathcal{A}}_{2}$ , $K_{+}^{\mathcal{A}}$ , and $K_{-}^{\mathcal{A}}$ are integration constants.

In the case of $\mathcal{A}$ , one can see that the dependence on $\omega$ is the same as for $\mathcal{R}$ . We conclude that all the modes of $\mathcal{A}$ decay at the leading order.

3.5 Evolution of $\mathcal{A}_{\psi}$

Finally, let us examine the evolution equation for $\mathcal{A}_{\psi}$ ,

\displaystyle 0=\ddddot{\mathcal{A}}_{\psi}+H\rho_{3}\dddot{\mathcal{A}}_{\psi}+H^{2}\rho_{2}\ddot{\mathcal{A}}_{\psi}+H^{3}\rho_{1}\dot{\mathcal{A}}_{\psi}+H^{4}\rho_{0}\mathcal{A}_{\psi}\,.

(3.17)

The derivation steps and expressions for the coefficients $\rho_{i}$ up to $\mathcal{O}(\epsilon_{i})$ are given in Appendix A. In the superhorizon limit, together with the dS limit, the evolution equation for $\mathcal{A}_{\psi}$ becomes

\displaystyle 0=\ddddot{\mathcal{A}}_{\psi}+6H\dddot{\mathcal{A}}_{\psi}+\left(11+\frac{1}{H^{2}\omega}\right)H^{2}\ddot{\mathcal{A}}_{\psi}+\left(6+\frac{3}{H^{2}\omega}\right)H^{3}\dot{\mathcal{A}}_{\psi}\,.

(3.18)

The solution is then given by

\displaystyle\mathcal{A}_{\psi}=C_{1}^{\mathcal{A}_{\psi}}+C_{2}^{\mathcal{A}_{\psi}}e^{-3Ht}+K_{+}^{\mathcal{A}_{\psi}}e^{-\frac{3}{2}\left(1+\frac{\theta}{3}\right)Ht}+K_{-}^{\mathcal{A}_{\psi}}e^{-\frac{3}{2}\left(1-\frac{\theta}{3}\right)Ht}\,,

(3.19)

where $\theta$ is defined in Eq. (3.7), and $C^{\mathcal{A}_{\psi}}_{1}$ , $C^{\mathcal{A}_{\psi}}_{2}$ , $K_{+}^{\mathcal{A}_{\psi}}$ , and $K_{-}^{\mathcal{A}_{\psi}}$ are integration constants.

We note that the $\mathcal{A}_{\psi}$ solution (3.19) takes the same form as the $\mathcal{R}$ solution (3.10). In other words, we have three decaying modes and one constant mode. This outcome, which is found in a gauge-independent way, agrees with the analysis of Ref. [20]. However, it differs from the result of Ref. [18], where a linearly growing solution is reported instead of the constant mode.

In Ref. [18], the linearly growing mode is found in the flat gauge to take the form

\displaystyle\mathcal{A}_{\psi}^{\rm DF}\approx c_{4}\left(1+\frac{t}{18\lambda H}\right)\,,

(3.20)

where $\lambda$ , which corresponds to $\beta$ in the notation of Ref. [18], is given in Eq. (2.6), $c_{4}$ is the integration constant, and we have put the superscript “DF” to indicate that it is the solution reported in Ref. [18]. It is important to note that the analysis of Ref. [18] is performed in the Jordan frame, where the action takes the form of Eq. (2.5). Therefore, $H$ , $t$ , and $\mathcal{A}_{\psi}^{\rm DF}$ are actually the Jordan-frame quantities. Furthermore, the second term in Eq. (3.20) is of first order in the slow-roll parameters; in the Jordan frame, the first Hubble slow-roll parameter is approximately given by $\epsilon_{1}^{\rm J}\approx 1/(36\lambda H^{2})$ . To the zeroth order in the slow-roll parameters, the solution (3.20) would thus correspond to a constant mode.

In our case, where the analysis is performed in the Einstein frame, the constant solution is the outcome of the usage of the leading-order contributions in the slow-roll parameters. As shown in Eq. (A.50), the leading order for $\rho_{0}$ is already $\mathcal{O}(\epsilon_{2})$ . If we take into account the contributions from terms of first order in the slow-roll parameters, the solution that corresponds to the constant solution $\mathcal{A}_{\psi}=C_{1}^{\mathcal{A}_{\psi}}$ becomes

\displaystyle\mathcal{A}_{\psi}=C_{1}^{\mathcal{A}_{\psi}}e^{\epsilon_{2}Ht}\approx C_{1}^{\mathcal{A}_{\psi}}\left(1+\epsilon_{2}Ht\right)\,.

(3.21)

This next-to-leading order matches the linear-growth behaviour found in Ref. [18]. We stress again that $\mathcal{A}_{\psi}$ , $H$ , $\epsilon_{2}$ , and $t$ in Eq. (3.21) are the Einstein-frame quantities. We can also show via Weyl rescaling that the solutions, Eq. (3.20) and Eq. (3.21), are, in fact, equivalent. The detailed derivation is presented in Appendix B.

It is also worth mentioning that if we use the relation,

\displaystyle\mathcal{A}_{\psi}=\mathcal{A}-\frac{d}{dt}\left(\frac{\mathcal{R}}{H}\right)\,,

(3.22)

which comes from the definitions of $\mathcal{A}_{\psi}$ and $\mathcal{A}$ , substituting the solutions (3.10) and (3.16) would lead to the incorrect result of $\mathcal{A}_{\psi}\propto e^{-3Ht/2}$ . This is because the approximated solutions do not carry the information about the constraints between the variables. This is where the gauge-independent approach proves useful, as no variables are constructed from other variables; each evolution equation for the gauge-invariant variables is worked out from the system of equations consisting of gauge-invariant variables.

4 Analysis of gauges

As the analysis performed in Sec. 3 is carried out in terms of the gauge-invariant variables, the results are valid in any gauge. However, the analysis of the metric perturbations differs depending on the gauge choice. In this section, we analyse how the metric variables evolve in several commonly used gauges.

Let us first summarise the leading-order behaviour of the gauge-invariant variables found in the previous section:

\displaystyle\Phi,\Psi,\chi\propto e^{\frac{1}{2}(1+\theta)Ht}\,,\quad\mathcal{R}\simeq\text{const.}\,,\quad\mathcal{A}\propto e^{-2Ht}\,,\quad\mathcal{A}_{\psi}\simeq\text{const.}

(4.1)

Strictly speaking, the leading-order behaviour of $\Phi$ , $\Psi$ , and $\chi$ depends on the value of $\omega$ . If $\omega<4/H^{2}$ , we would have $\Phi,\Psi,\chi\propto e^{Ht/2}$ , while if $\omega>4/H^{2}$ , the growth rate ranges from $e^{Ht/2}$ to $e^{Ht}$ . However, as the exact dependence is irrelevant for the qualitative conclusions of our analysis, we shall consider the value of $\omega$ that leads to the weakest growth rate of the dominant mode, i.e., $e^{Ht/2}$ , throughout this section.

Newtonian gauge

The Newtonian gauge is defined by the conditions $E=0$ and $B=0$ . The remaining metric variables $A$ and $\psi$ reduce to

\displaystyle\psi_{\mathrm{N}}=\Psi\propto e^{\frac{1}{2}Ht}\,,\quad A_{\mathrm{N}}=\Phi\propto e^{\frac{1}{2}Ht}\,.

(4.2)

It is also possible to read the scalar-field perturbation; it behaves as

\displaystyle\frac{\delta\phi_{\mathrm{N}}}{\dot{\bar{\phi}}}=\chi\propto e^{\frac{1}{2}Ht}\,.

(4.3)

As such, in the Newtonian gauge, all the perturbation variables grow exponentially with time. As a consequence, the fundamental assumption of perturbation theory that perturbations remain small compared to the background quantities is violated. In other words, the linear perturbation theory breaks down in this gauge. This implies that the Newtonian gauge is not suitable for analysing the perturbative dynamics in this framework.

Synchronous gauge

The synchronous gauge is defined by the conditions $A=0$ and $B=0$ . The metric variables behave as

\displaystyle\psi_{\mathrm{S}}=-H\int\mathcal{A}_{\psi}\,dt\propto t\,,\quad E_{\mathrm{S}}=\int\frac{1}{a^{2}}\left(\int\Phi\,dt^{\prime}\right)dt\propto e^{-\frac{3}{2}Ht}\,,

(4.4)

and the scalar-field perturbation behaves as

\displaystyle\frac{\delta\phi_{\mathrm{S}}}{\dot{\bar{\phi}}}=-\int\mathcal{A}\,dt\propto e^{-2Ht}\,.

(4.5)

The metric variable $\psi_{\mathrm{S}}$ exhibits a linear growth, and the other quantities in this gauge decay.

Flat slicing

The flat slicing is fixed by the condition $\psi=0$ . For the threading, i.e., the spatial coordinate transformation, one may choose either $B=0$ or $E=0$ . In this gauge, the perturbations evolve as

\displaystyle\frac{\delta\phi_{\mathrm{F}}}{\dot{\bar{\phi}}}=-\frac{\mathcal{R}}{H}\simeq\text{const.}\,,\quad A_{\mathrm{F}}=\mathcal{A}_{\psi}\simeq\text{const.}\,,

(4.6)

and depending on the threading, we have either

\displaystyle E_{\mathrm{F}}=\int\frac{\Psi}{a^{2}H}\,dt\propto e^{-\frac{3}{2}Ht}\,,

(4.7)

for $B=0$ , or

\displaystyle B_{\mathrm{F}}=\frac{\Psi}{aH}\propto e^{-\frac{1}{2}Ht}\,,

(4.8)

for $E=0$ . Note that $A_{\mathrm{F}}$ corresponds to the gauge-invariant variable $\mathcal{A}_{\psi}$ shown in Eq. (3.22). All the perturbations in the flat gauge either decay or remain constant in time. Therefore, the linear perturbation theory remains valid.

Comoving slicing

The comoving slicing is fixed by the condition $\delta\phi=0$ . For the threading, the literature typically adopts either $B=0$ or $E=0$ . In this gauge, the metric perturbations are

\displaystyle\psi_{\mathrm{C}}=\mathcal{R}\simeq\text{const.}\,,\quad A_{\mathrm{C}}=\mathcal{A}\propto e^{-2Ht}\,,

(4.9)

and depending on the choice for the threading, one may have

\displaystyle E_{\mathrm{C}}=\int\frac{\chi}{a^{2}}\,dt\propto e^{-\frac{3}{2}Ht}\,,

(4.10)

for $B=0$ , or

\displaystyle B_{\mathrm{C}}=\frac{\chi}{a}\propto e^{-\frac{1}{2}Ht}\,,

(4.11)

for $E=0$ . The leading-order contributions are either constant or decaying with time. Consequently, the linear perturbation theory remains valid; the comoving slicing exhibits bounded metric perturbations.

In Ref. [18], working in the Jordan frame, the authors analysed the unitary gauge defined by $\delta R=0$ and $E=0$ , which corresponds to $\delta\phi=0$ and $E=0$ in the Einstein frame. In particular, they showed that the gauge-invariant variable,

\displaystyle\mathcal{B}\equiv a(B+a\dot{E})+\psi/H\,,

(4.12)

grows as $\mathcal{B}\propto e^{Ht/2}$ . On this basis, it was argued that the growth of the metric component $g_{0i}=a\partial_{i}B$ signals an instability. In our analysis of the comoving slice, as $B_{\mathrm{C}}\propto e^{-Ht/2}$ , we see that $g_{0i}=a\partial_{i}B_{\mathrm{C}}\propto e^{Ht/2}$ also features such a growth. Notably, as we have demonstrated earlier, the same behaviour arises in the flat gauge as well. However, we propose a different physical interpretation of this behaviour.

First, the growth of $g_{0i}$ reflects a gauge effect rather than a physical instability. By performing an appropriate gauge transformation, e.g., imposing $B=0$ , the growing behaviour in $g_{0i}$ is removed, while all the other scalar perturbations remain bounded, resulting in an isotropic solution. In particular, the curvature perturbation $\mathcal{R}$ remains constant on superhorizon scales. This indicates that the growth does not correspond to a dynamical degree of freedom.

Second, a growing $g_{0i}$ component may break the causality condition, thus making the coordinate system, i.e., the gauge choice, pathological [48]. However, by examining whether the congruence defined by the worldlines of $dx^{i}=0$ remains timelike throughout the inflationary trajectory, one may show that the growing $g_{0i}$ does not lead to the violation of causality in the present case.⁶ Let us consider the ADM decomposition [8, 9, 52],

\displaystyle ds^{2}=-\alpha^{2}dt^{2}+\gamma_{ij}\left(dx^{i}+\beta^{i}dt\right)\left(dx^{j}+\beta^{j}dt\right)\,,

(4.13)

where $\alpha$ is the lapse function, $\beta^{i}$ is the shift vector, and $\gamma_{ij}$ is the spatial metric. To linear order, we identify

\displaystyle\alpha_{\mathrm{C}}\simeq 1+A_{\mathrm{C}}\,,\quad\beta_{i\mathrm{C}}=a\partial_{i}B_{\mathrm{C}}\,.

(4.14)

For the threading condition $E=0$ , the spatial metric at linear order is given by

\displaystyle\gamma^{ij}_{\mathrm{C}}\simeq a^{-2}(1-2\psi_{\mathrm{C}})\delta^{ij}\,,

(4.15)

from which it follows that

\displaystyle\beta^{i}_{\mathrm{C}}\simeq a^{-1}\delta^{ij}\partial_{j}B_{\mathrm{C}}\,.

(4.16)

We see from Eq. (4.13) that

\displaystyle g_{00\mathrm{C}}=-\alpha^{2}_{\mathrm{C}}+\beta_{i\mathrm{C}}\beta^{i}_{\mathrm{C}}\simeq-(1+A_{\mathrm{C}})^{2}+\partial_{i}B_{\mathrm{C}}\partial^{i}B_{\mathrm{C}}<0\,.

(4.17)

Therefore, the comoving slice, despite exhibiting a growing $g_{0i}$ , preserves the timelike character of the congruence of worldlines $dx^{i}=0$ , and hence, it does not break the causal structure and defines a regular coordinate system. Following the same reasoning, one may also arrive at the same conclusion for the flat gauge.

In summary, the apparent exponential instability of the Newtonian gauge is absent in all the other gauges considered; the synchronous, flat, and comoving gauges are well-behaved coordinate systems. This observation confirms that the instability seen in the Newtonian gauge is a gauge artefact rather than a physical effect.

5 Conclusion

In this work, we have investigated the stability of scalar perturbations during inflation in quadratic gravity with a Weyl-squared term. Working in the Einstein frame, we have adopted a gauge-independent approach based on gauge-invariant variables, which allows us to distinguish genuine physical effects from gauge artefacts.

We have derived the equations of motion for the scalar perturbations and expressed them explicitly in terms of the gauge-invariant variables. The resulting evolution equations have then been solved in the superhorizon limit and in the de Sitter limit. This analysis has allowed us to determine the leading-order time dependence of the relevant gauge-invariant variables. We have shown that while some of these variables exhibit exponentially growing behaviour, the physically relevant observables remain well behaved. In particular, the curvature perturbation $\mathcal{R}$ approaches a constant on superhorizon scales, consistent with the behaviour expected in standard single-field inflationary scenarios.

To better understand the implications for the scalar perturbations, we have subsequently analysed several commonly used gauge choices. In the Newtonian gauge, we found that the scalar perturbations grow exponentially with time. Consequently, they may eventually become comparable to the background quantities, apparently invalidating the perturbative expansion in this gauge. On the other hand, in the other gauges considered, namely the flat, comoving, and synchronous gauges, no such exponential instability has been observed. We have thus identified the exponential instability observed in the Newtonian gauge as a gauge artefact rather than a physical instability.

Our results are consistent with those of Ref. [20]. The Weyl-squared term in quadratic gravity does not make the inflationary background unviable, provided that a well-defined gauge is chosen. Additionally, our work extends the analysis of Ref. [20] by working systematically with multiple sets of gauge-invariant variables, which clarifies the role of the constraints between them.

We have also shown that our Einstein-frame analysis, once the frame difference is properly taken into account, agrees with the Jordan-frame analysis performed in Ref. [18], which reopened the question of the phenomenological viability of quadratic gravity. However, our physical interpretation of the results differs from that of Ref. [18]. In the comoving gauge, for instance, instead of identifying the growth of the metric component $g_{0i}$ as a signal of the breakdown of cosmological perturbation theory, we have emphasised that the apparent instability does not necessarily propagate to the physical observables. This conclusion rests on the facts that the curvature perturbation $\mathcal{R}$ , which is directly related to CMB observables, approaches a constant on superhorizon scales, and that the causal structure remains unbroken. Furthermore, as we have demonstrated, the scalar perturbations remain bounded in several regular, well-defined gauges.

We stress that our analysis is restricted to linear perturbations around the flat FLRW background in the superhorizon limit with the de Sitter approximation. A number of important questions therefore remain open. First, it would be meaningful to extend the present analysis beyond the leading-order slow-roll approximation in order to assess how the growing modes behave in a realistic inflationary background where the Hubble parameter varies in time. Second, a detailed computation of the cosmological observables, such as the power spectrum, the spectral index, and the tensor-to-scalar ratio, in the presence of the Weyl-squared term would allow for a direct comparison with current CMB observational data. Finally, our analysis does not address the fate of the massive spin-2 ghost mode. We leave these important questions for future work.

Acknowledgments

We thank Cristiano Germani, Misao Sasaki, and Anna Tokareva for discussions. YZ and AP are supported by the Fundamental Research Funds for the Central Universities, and by the Project 12475060 supported by NSFC, Project 24ZR1472400 sponsored by Natural Science Foundation of Shanghai, and Shanghai Pujiang Program 24PJA134. JK is supported by National Natural Science Foundation of China (NSFC) under Grant No. 12505079.

Appendix A Evolution equations

Evolution equation for $\Phi$

The evolution equation for $\Phi$ can be obtained through the following steps:

1.

From Eq. (2.27), we find $\chi$ .
2.

Taking the time derivative of $\chi$ , we find $\dot{\chi}$ .
3.

We substitute $\chi$ and $\dot{\chi}$ into Eq. (2.26) and solve for $\ddot{\Psi}$ .
4.

We then plug $\ddot{\Psi}$ into Eq. (2.28) and find the solution for $\dot{\Psi}$ .
5.

Taking the time derivative of this equation and using the results of $\ddot{\Psi}$ and $\dot{\Psi}$ , we isolate $\Psi$ in terms of $\Phi$ and its derivatives.
6.

After obtaining the solution for $\Psi$ , we again take the time derivative and use the results for $\dot{\Psi}$ and $\Psi$ .

Following these steps would result in the evolution equation of $\Phi$ ,

\displaystyle 0=\ddddot{\Phi}+H\alpha_{3}\dddot{\Phi}+H^{2}\alpha_{2}\ddot{\Phi}+H^{3}\alpha_{1}\dot{\Phi}+H^{4}\alpha_{0}\Phi\,.

(A.1)

As the exact expressions for the coefficients $\alpha_{i}$ are rather lengthy, we present them in the subhorizon and superhorizon limits, up to the order unity in $aH/k$ and $k/(aH)$ , respectively. Furthermore, we take terms up to the first order in the slow-roll parameters. Then, the coefficients are given by

$\displaystyle\alpha_{3}$	$\displaystyle\approx 8+2\epsilon_{1}-\epsilon_{2}\,,$	(A.2)
$\displaystyle\alpha_{2}$	$\displaystyle\approx\frac{2k^{2}}{a^{2}H^{2}}+5+\frac{1}{H^{2}\omega}+24\epsilon_{1}-9\epsilon_{2}\,,$	(A.3)
$\displaystyle\alpha_{1}$	$\displaystyle\approx\frac{k^{2}}{a^{2}H^{2}}\left(4+2\epsilon_{1}-\epsilon_{2}\right)-74-\frac{13}{H^{2}\omega}+113\epsilon_{1}-29\epsilon_{2}+\frac{2\epsilon_{1}}{H^{2}\omega}-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.4)
$\displaystyle\alpha_{0}$	$\displaystyle\approx\frac{k^{4}}{a^{4}H^{4}}+\frac{k^{2}}{a^{2}H^{2}}\left(-16+\frac{1}{H^{2}\omega}+\frac{70}{3}\epsilon_{1}-4\epsilon_{2}\right)$
	$\displaystyle\quad+204+\frac{159}{H^{2}\omega}-380\epsilon_{1}+153\epsilon_{2}-\frac{70\epsilon_{1}}{H^{2}\omega}+\frac{21\epsilon_{2}}{2H^{2}\omega}\,,$	(A.5)

in the subhorizon limit, and

$\displaystyle\alpha_{3}$	$\displaystyle\approx 2\epsilon_{1}-\epsilon_{2}\,,$	(A.6)
$\displaystyle\alpha_{2}$	$\displaystyle\approx-1+\frac{1}{H^{2}\omega}+2\epsilon_{1}\,,$	(A.7)
$\displaystyle\alpha_{1}$	$\displaystyle\approx\frac{1}{H^{2}\omega}+3\epsilon_{1}+\epsilon_{2}+\frac{2\epsilon_{1}}{H^{2}\omega}-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.8)
$\displaystyle\alpha_{0}$	$\displaystyle\approx-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.9)

in the superhorizon limit.

Evolution equation for $\Psi$

The evolution equation for $\Psi$ can be obtained through the following steps:

1.

From Eq. (2.27), we find $\chi$ .
2.

Taking the time derivative of $\chi$ , we find $\dot{\chi}$ .
3.

We substitute $\chi$ and $\dot{\chi}$ into Eq. (2.26) and solve for $\ddot{\Phi}$ .
4.

Substituting $\ddot{\Phi}$ into Eq. (2.28), we find $\dot{\Phi}$ .
5.

We then take the time derivative of the resulting expression and use the solutions of $\ddot{\Phi}$ and $\dot{\Phi}$ to isolate $\Phi$ .
6.

Finally, we take one more time derivative and use the solutions for $\dot{\Phi}$ and $\Phi$ .

Following these steps would result in the evolution equation of $\Psi$ ,

\displaystyle 0=\ddddot{\Psi}+H\beta_{3}\dddot{\Psi}+H^{2}\beta_{2}\ddot{\Psi}+H^{3}\beta_{1}\dot{\Psi}+H^{4}\beta_{0}\Psi\,.

(A.10)

As the exact expressions for the coefficients $\beta_{i}$ are lengthy, we present them in the subhorizon and superhorizon limits, up to the order unity in $aH/k$ and $k/(aH)$ , respectively. Up to the first order in the slow-roll parameters, they are given by

$\displaystyle\beta_{3}$	$\displaystyle\approx 8+2\epsilon_{1}-\epsilon_{2}\,,$	(A.11)
$\displaystyle\beta_{2}$	$\displaystyle\approx\frac{2k^{2}}{a^{2}H^{2}}+5+24\epsilon_{1}-9\epsilon_{2}+\frac{1}{H^{2}\omega}\,,$	(A.12)
$\displaystyle\beta_{1}$	$\displaystyle\approx\frac{k^{2}}{a^{2}H^{2}}\left(4+2\epsilon_{1}-\epsilon_{2}\right)-74+\frac{11}{H^{2}\omega}+113\epsilon_{1}-29\epsilon_{2}+\frac{2\epsilon_{1}}{H^{2}\omega}-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.13)
$\displaystyle\beta_{0}$	$\displaystyle\approx\frac{k^{4}}{a^{4}H^{4}}+\frac{k^{2}}{a^{2}H^{2}}\left(-16+\frac{1}{H^{2}\omega}+\frac{70\epsilon_{1}}{3}-4\epsilon_{2}\right)$
	$\displaystyle\quad+204-\frac{63}{H^{2}\omega}-380\epsilon_{1}+153\epsilon_{2}+\frac{74\epsilon_{1}}{H^{2}\omega}-\frac{45\epsilon_{2}}{2H^{2}\omega}\,,$	(A.14)

in the subhorizon limit, and

$\displaystyle\beta_{3}$	$\displaystyle\approx 4\epsilon_{1}-\epsilon_{2}\,,$	(A.15)
$\displaystyle\beta_{2}$	$\displaystyle\approx-1+\frac{1}{H^{2}\omega}+2\epsilon_{1}\,,$	(A.16)
$\displaystyle\beta_{1}$	$\displaystyle\approx\frac{1}{H^{2}\omega}+\epsilon_{1}+\epsilon_{2}+\frac{2\epsilon_{1}}{H^{2}\omega}-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.17)
$\displaystyle\beta_{0}$	$\displaystyle\approx-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.18)

in the superhorizon limit.

Evolution equation for $\mathcal{R}$

The evolution equation for $\mathcal{R}$ can be obtained through the following steps:

1.

From Eq. (2.30), we isolate $\mathcal{A}$ and calculate $\dot{\mathcal{A}}$ and $\ddot{\mathcal{A}}$ .
2.

We then substitute them into Eq. (2.31) and Eq. (2.32).
3.

After the substitution, Eq. (2.31) becomes $F(\dddot{\mathcal{R}},\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\dddot{\chi},\ddot{\chi},\dot{\chi},\chi)=0$ and Eq. (2.32) becomes $G(\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\ddot{\chi},\dot{\chi},\chi)=0$ ; we find $\dddot{\chi}$ from the former and $\ddot{\chi}$ from the latter.
4.

We take the time derivative of $G(\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\ddot{\chi},\dot{\chi},\chi)=0$ , substitute $\dddot{\chi}$ and $\ddot{\chi}$ found in the previous step, and find $\dot{\chi}$ from the resultant equation.
5.

We take another time derivative, use the solutions for $\ddot{\chi}$ and $\dot{\chi}$ , and find $\chi$ .
6.

We repeat the process one last time using the solutions for $\dot{\chi}$ and $\chi$ .

Following these steps would result in the evolution equation of $\mathcal{R}$ ,

\displaystyle 0=\ddddot{\mathcal{R}}+H\gamma_{3}\dddot{\mathcal{R}}+H^{2}\gamma_{2}\ddot{\mathcal{R}}+H^{3}\gamma_{1}\dot{\mathcal{R}}+H^{4}\gamma_{0}\mathcal{R}\,.

(A.19)

As the exact expressions for the coefficients $\gamma_{i}$ are lengthy, we present them in the subhorizon and superhorizon limits, up to the order unity in $aH/k$ and $k/(aH)$ , respectively. Up to the first order in the slow-roll parameters, they are given by

$\displaystyle\gamma_{3}$	$\displaystyle\approx 8+2\epsilon_{1}+\epsilon_{2}\,,$	(A.20)
$\displaystyle\gamma_{2}$	$\displaystyle\approx 2\left(\frac{k}{aH}\right)^{2}+19+\frac{2}{H^{2}\omega}+4\epsilon_{1}+5\epsilon_{2}+\frac{4\epsilon_{1}}{3H^{2}\omega}-\frac{\epsilon_{2}}{2H^{2}\omega}\,,$	(A.21)
$\displaystyle\gamma_{1}$	$\displaystyle\approx\left(\frac{k}{aH}\right)^{2}(4+2\epsilon_{1}+\epsilon_{2})+12+\frac{5}{H^{2}\omega}-\frac{1}{2H^{4}\omega^{2}}$
	$\displaystyle\quad-3\epsilon_{1}+4\epsilon_{2}+\frac{2\epsilon_{1}}{H^{2}\omega}-\frac{5\epsilon_{1}}{6H^{4}\omega^{2}}+\frac{\epsilon_{2}}{2H^{4}\omega^{2}}\,,$	(A.22)
$\displaystyle\gamma_{0}$	$\displaystyle\approx\left(\frac{k}{aH}\right)^{4}+\left(\frac{k}{aH}\right)^{2}\left(-2+\frac{2}{H^{2}\omega}+\frac{10\epsilon_{1}}{3}+\frac{4\epsilon_{1}}{3H^{2}\omega}-\frac{\epsilon_{2}}{2H^{2}\omega}\right)$
	$\displaystyle\quad+\frac{1}{H^{2}\omega}-\frac{1}{4H^{6}\omega^{3}}-\frac{\epsilon_{1}}{3H^{2}\omega}+\frac{\epsilon_{2}}{2H^{2}\omega}-\frac{5\epsilon_{1}}{6H^{4}\omega^{2}}-\frac{\epsilon_{2}}{2H^{4}\omega^{2}}-\frac{\epsilon_{1}}{2H^{6}\omega^{3}}+\frac{3\epsilon_{2}}{8H^{6}\omega^{3}}\,,$	(A.23)

in the subhorizon limit, and

$\displaystyle\gamma_{3}$	$\displaystyle\approx 6+\epsilon_{2}+\frac{4\epsilon_{1}H^{2}\omega}{1+2H^{2}\omega}\,,$	(A.24)
$\displaystyle\gamma_{2}$	$\displaystyle\approx 11+\frac{1}{H^{2}\omega}+2\epsilon_{1}+3\epsilon_{2}-\frac{6\epsilon_{1}}{1+2H^{2}\omega}\,,$	(A.25)
$\displaystyle\gamma_{1}$	$\displaystyle\approx 6+\frac{3}{H^{2}\omega}-3\epsilon_{1}+2\epsilon_{2}+\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.26)
$\displaystyle\gamma_{0}$	$\displaystyle\approx 0\,,$	(A.27)

in the superhorizon limit.

Evolution equation for $\chi$

The evolution equation for $\chi$ can be obtained through the following steps:

1.

From Eq. (2.30), we isolate $\mathcal{A}$ and calculate $\dot{\mathcal{A}}$ and $\ddot{\mathcal{A}}$ .
2.

We then substitute them into Eq. (2.31) and Eq. (2.32).
3.

After the substitution, Eq. (2.31) becomes $F(\dddot{\mathcal{R}},\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\dddot{\chi},\ddot{\chi},\dot{\chi},\chi)=0$ and Eq. (2.32) becomes $G(\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\ddot{\chi},\dot{\chi},\chi)=0$ ; we find $\dddot{\mathcal{R}}$ from the former and $\ddot{\mathcal{R}}$ from the latter.
4.

We take the time derivative of $G(\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R},\ddot{\chi},\dot{\chi},\chi)=0$ and substitute $\dddot{\mathcal{R}}$ and $\ddot{\mathcal{R}}$ found in the previous step, and find $\dot{\mathcal{R}}$ from the resultant equation.
5.

We take another time derivative, use the solutions for $\ddot{\mathcal{R}}$ and $\dot{\mathcal{R}}$ , and find $\mathcal{R}$ .
6.

We repeat the process one last time using the solutions for $\dot{\mathcal{R}}$ and $\mathcal{R}$ .

Following these steps would result in the evolution equation of $\chi$ ,

\displaystyle 0=\ddddot{\chi}+H\nu_{3}\dddot{\chi}+H^{2}\nu_{2}\ddot{\chi}+H^{3}\nu_{1}\dot{\chi}+H^{4}\nu_{0}\chi\,.

(A.28)

As the exact expressions for the coefficients $\nu_{i}$ are lengthy, we present them in the subhorizon and superhorizon limits, up to the order unity in $aH/k$ and $k/(aH)$ , respectively. Up to the first order in the slow-roll parameters, they are given by

$\displaystyle\nu_{3}$	$\displaystyle\approx 8-2\epsilon_{1}+\epsilon_{2}\,,$	(A.29)
$\displaystyle\nu_{2}$	$\displaystyle\approx 2\left(\frac{k}{aH}\right)^{2}+23+\frac{1}{H^{2}\omega}-24\epsilon_{1}+6\epsilon_{2}\,,$	(A.30)
$\displaystyle\nu_{1}$	$\displaystyle\approx\left(\frac{k}{aH}\right)^{2}\left(4-2\epsilon_{1}+\epsilon_{2}\right)-4+\frac{7}{H^{2}\omega}-\frac{7\epsilon_{1}}{3}+2\epsilon_{2}-\frac{2\epsilon_{1}}{H^{2}\omega}+\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.31)
$\displaystyle\nu_{0}$	$\displaystyle\approx\left(\frac{k}{aH}\right)^{4}+\left(\frac{k}{aH}\right)^{2}\left(2+\frac{1}{H^{2}\omega}-\frac{14\epsilon_{1}}{3}+\epsilon_{2}\right)-112+\frac{61}{H^{2}\omega}$
	$\displaystyle\quad+\frac{772\epsilon_{1}}{3}-50\epsilon_{2}-\frac{47\epsilon_{1}}{H^{2}\omega}+\frac{25\epsilon_{2}}{2H^{2}\omega}\,,$	(A.32)

in the subhorizon limit, and

$\displaystyle\nu_{3}$	$\displaystyle\approx 2+\frac{2\epsilon_{1}}{1+12H^{2}\omega}\left(\frac{k}{aH}\right)^{-2}+\epsilon_{2}-\frac{2\epsilon_{1}}{1+12H^{2}\omega}\,,$	(A.33)
$\displaystyle\nu_{2}$	$\displaystyle\approx-3+\frac{1}{H^{2}\omega}-\frac{2\epsilon_{1}}{1+12H^{2}\omega}\left(\frac{k}{aH}\right)^{-2}+\frac{11\epsilon_{1}}{9}-\epsilon_{2}+\frac{25\epsilon_{1}}{9(1+12H^{2}\omega)}\,,$	(A.34)
$\displaystyle\nu_{1}$	$\displaystyle\approx\frac{36}{1+12H^{2}\omega}+\frac{3}{(1+12H^{2}\omega)H^{2}\omega}+\frac{2\epsilon_{1}}{(1+12H^{2}\omega)H^{2}\omega}\left(\frac{k}{aH}\right)^{-2}+\frac{280H^{2}\omega\epsilon_{1}}{3(1+12H^{2}\omega)}$
	$\displaystyle\quad+\frac{9\epsilon_{1}}{1+12H^{2}\omega}+\frac{12\epsilon_{2}}{1+12H^{2}\omega}-\frac{2\epsilon_{1}}{(1+12H^{2}\omega)H^{2}\omega}+\frac{\epsilon_{2}}{(1+12H^{2}\omega)H^{2}\omega}\,,$	(A.35)
$\displaystyle\nu_{0}$	$\displaystyle\approx-\frac{\epsilon_{1}}{H^{2}\omega}-\frac{12\epsilon_{1}}{1+12H^{2}\omega}\,,$	(A.36)

in the superhorizon limit.

Evolution equation for $\mathcal{A}$

The evolution equation for $\mathcal{A}$ can be obtained through the following steps:

1.

From Eq. (2.31), we find $\dot{\mathcal{R}}$ and compute $\ddot{\mathcal{R}}$ .
2.

Taking the time derivative of Eq. (2.31) and substituting $\ddot{\mathcal{R}}$ and $\dot{\mathcal{R}}$ , we obtain the first equation that is independent of $\mathcal{R}$ .
3.

We then substitute $\dot{\mathcal{R}}$ into Eq. (2.30) and find $\mathcal{R}$ .
4.

Plugging $\mathcal{R}$ , $\dot{\mathcal{R}}$ , and $\ddot{\mathcal{R}}$ into Eq. (2.32), we obtain the second equation that is independent of $\mathcal{R}$ .
5.

From the first equation, we find $\dddot{\chi}$ and feed it to the second equation from which we can find $\ddot{\chi}$ .
6.

We take the time derivative of the resulting equation and substitute $\dddot{\chi}$ and $\ddot{\chi}$ into it, from which we can find $\dot{\chi}$ .
7.

We repeat the same process twice more.

Following these steps would result in the evolution equation of $\mathcal{A}$ ,

\displaystyle 0=\ddddot{\mathcal{A}}+H\mu_{3}\dddot{\mathcal{A}}+H^{2}\mu_{2}\ddot{\mathcal{A}}+H^{3}\mu_{1}\dot{\mathcal{A}}+H^{4}\mu_{0}\mathcal{A}\,.

(A.37)

The coefficients $\mu_{i}$ are given, without taking any limit, as follows:

$\displaystyle\mu_{3}$	$\displaystyle=12-2\epsilon_{1}+\epsilon_{2}\,,$	(A.38)
$\displaystyle\mu_{2}$	$\displaystyle=53+\frac{1}{\omega H^{2}}-36\epsilon_{1}+9\epsilon_{2}+6\epsilon_{1}^{2}-9\epsilon_{1}\epsilon_{2}+3\epsilon_{2}\epsilon_{3}+2\left(\frac{k}{aH}\right)^{2}\,,$	(A.39)
$\displaystyle\mu_{1}$	$\displaystyle=102-159\epsilon_{1}+26\epsilon_{2}+78\epsilon_{1}^{2}-75\epsilon_{1}\epsilon_{2}+18\epsilon_{2}\epsilon_{3}-12\epsilon_{1}^{3}-9\epsilon_{1}\epsilon_{2}^{2}+30\epsilon_{1}^{2}\epsilon_{2}+3\epsilon_{2}\epsilon_{3}^{2}$
	$\displaystyle\quad-15\epsilon_{1}\epsilon_{2}\epsilon_{3}+3\epsilon_{2}\epsilon_{3}\epsilon_{4}+\frac{5}{H^{2}\omega}-\frac{2\epsilon_{1}}{H^{2}\omega}+\frac{\epsilon_{2}}{H^{2}\omega}+\left(8-2\epsilon_{1}+\epsilon_{2}\right)\left(\frac{k}{aH}\right)^{2}\,,$	(A.40)
$\displaystyle\mu_{0}$	$\displaystyle=72-204\epsilon_{1}+24\epsilon_{2}+204\epsilon_{1}^{2}-140\epsilon_{1}\epsilon_{2}+26\epsilon_{2}\epsilon_{3}-84\epsilon_{1}^{3}+150\epsilon_{1}^{2}\epsilon_{2}-33\epsilon_{1}\epsilon_{2}^{2}$
	$\displaystyle\quad-57\epsilon_{1}\epsilon_{2}\epsilon_{3}+9\epsilon_{2}\epsilon_{3}^{2}+9\epsilon_{2}\epsilon_{3}\epsilon_{4}+12\epsilon_{1}^{4}-42\epsilon_{1}^{3}\epsilon_{2}+25\epsilon_{1}^{2}\epsilon_{2}\epsilon_{3}+29\epsilon_{1}^{2}\epsilon_{2}^{2}-3\epsilon_{1}\epsilon_{2}^{3}$
	$\displaystyle\quad-11\epsilon_{1}\epsilon_{2}^{2}\epsilon_{3}-8\epsilon_{1}\epsilon_{2}\epsilon_{3}^{2}-8\epsilon_{1}\epsilon_{2}\epsilon_{3}\epsilon_{4}+\epsilon_{2}\epsilon_{3}^{3}+3\epsilon_{2}\epsilon_{3}^{2}\epsilon_{4}+\epsilon_{2}\epsilon_{3}\epsilon_{4}^{2}+\epsilon_{2}\epsilon_{3}\epsilon_{4}\epsilon_{5}$
	$\displaystyle\quad+\frac{6}{H^{2}\omega}-\frac{8\epsilon_{1}}{H^{2}\omega}+\frac{2\epsilon_{2}}{H^{2}\omega}+\frac{2\epsilon_{1}^{2}}{H^{2}\omega}-\frac{3\epsilon_{1}\epsilon_{2}}{H^{2}\omega}+\frac{\epsilon_{2}\epsilon_{3}}{H^{2}\omega}$
	$\displaystyle\quad+\frac{1}{H^{2}\omega}\left(\frac{k}{aH}\right)^{2}-\frac{26\epsilon_{1}}{3}\left(\frac{k}{aH}\right)^{2}+2\epsilon_{2}\left(\frac{k}{aH}\right)^{2}+2\epsilon_{1}^{2}\left(\frac{k}{aH}\right)^{2}$
	$\displaystyle\quad-3\epsilon_{1}\epsilon_{2}\left(\frac{k}{aH}\right)^{2}+\epsilon_{2}\epsilon_{3}\left(\frac{k}{aH}\right)^{2}+8\left(\frac{k}{aH}\right)^{2}+\frac{k^{4}}{a^{4}H^{4}}\,.$	(A.41)

Evolution equation for $\mathcal{A}_{\psi}$

The evolution equation for $\mathcal{A}_{\psi}$ can be obtained through the following steps:

1.

From Eq. (2.36), we find $\dddot{\Psi}$ , and from Eq. (2.35), we find $\ddot{\Psi}$ .
2.

Taking the time derivative of Eq. (2.35) and substituting the expressions for $\dddot{\Psi}$ and $\ddot{\Psi}$ , we find $\dot{\Psi}$ .
3.

Taking another time derivative and using the expressions for $\ddot{\Psi}$ and $\dot{\Psi}$ , we find $\Psi$ .
4.

Taking one last time derivative and using the expressions for $\dot{\Psi}$ and $\Psi$ , we obtain one equation that is independent of $\Psi$ .
5.

Substituting the expressions for $\Psi$ and its derivatives in Eq. (2.34) gives another equation that is independent of $\Psi$ .
6.

Calling these two equations $F(\dddot{\mathcal{A}}_{\psi},\ddot{\mathcal{A}}_{\psi},\dot{\mathcal{A}}_{\psi},\mathcal{A}_{\psi},\dddot{\mathcal{R}},\ddot{\mathcal{R}},\dot{\mathcal{R}},\mathcal{R})=0$ and $G(\ddot{\mathcal{A}}_{\psi},\dot{\mathcal{A}}_{\psi},\mathcal{A}_{\psi},\ddot{\mathcal{R}},\allowbreak\dot{\mathcal{R}},\mathcal{R})=0$ , we find $\dddot{\mathcal{R}}$ from $F$ and $\ddot{\mathcal{R}}$ from $G$ .
7.

Taking the time derivative of $G$ and using the expressions for $\dddot{\mathcal{R}}$ and $\ddot{\mathcal{R}}$ , we find $\dot{\mathcal{R}}$ .
8.

Taking another derivative and using the expressions for $\ddot{\mathcal{R}}$ and $\dot{\mathcal{R}}$ , we find $\mathcal{R}$ .
9.

We take the time derivative once more and substitute the expressions for $\dot{\mathcal{R}}$ and $\mathcal{R}$ into it.

Following these steps would result in the evolution equation of $\mathcal{A}_{\psi}$ ,

\displaystyle 0=\ddddot{\mathcal{A}}_{\psi}+H\rho_{3}\dddot{\mathcal{A}}_{\psi}+H^{2}\rho_{2}\ddot{\mathcal{A}}_{\psi}+H^{3}\rho_{1}\dot{\mathcal{A}}_{\psi}+H^{4}\rho_{0}\mathcal{A}_{\psi}\,.

(A.42)

As the exact expressions for the coefficients $\rho_{i}$ are lengthy, we present them in the subhorizon and superhorizon limits, up to the order unity in $aH/k$ and $k/(aH)$ , respectively. Up to the first order in the slow-roll parameters, they are given by

$\displaystyle\rho_{3}$	$\displaystyle\approx 12-2\epsilon_{1}-\epsilon_{2}\,,$	(A.43)
$\displaystyle\rho_{2}$	$\displaystyle\approx 41+\frac{1}{H^{2}\omega}-20\epsilon_{1}-13\epsilon_{2}+2\left(\frac{k}{aH}\right)^{2}\,,$	(A.44)
$\displaystyle\rho_{1}$	$\displaystyle\approx 22+\frac{11}{H^{2}\omega}-\frac{193\epsilon_{1}}{3}-49\epsilon_{2}-\frac{\epsilon_{2}}{H^{2}\omega}+8\left(\frac{k}{aH}\right)^{2}-2\epsilon_{1}\left(\frac{k}{aH}\right)^{2}-\epsilon_{2}\left(\frac{k}{aH}\right)^{2}\,,$	(A.45)
$\displaystyle\rho_{0}$	$\displaystyle\approx 84+\frac{9}{H^{2}\omega}-164\epsilon_{1}+37\epsilon_{2}+\frac{42\epsilon_{1}}{H^{2}\omega}-\frac{49\epsilon_{2}}{2H^{2}\omega}-4\left(\frac{k}{aH}\right)^{2}+\frac{1}{H^{2}\omega}\left(\frac{k}{aH}\right)^{2}$
	$\displaystyle\quad+\frac{22\epsilon_{1}}{3}\left(\frac{k}{aH}\right)^{2}-6\epsilon_{2}\left(\frac{k}{aH}\right)^{2}+\left(\frac{k}{aH}\right)^{4}\,,$	(A.46)

in the subhorizon limit, and

$\displaystyle\rho_{3}$	$\displaystyle\approx 6+2\epsilon_{1}-\epsilon_{2}-\frac{2\epsilon_{1}}{1+2H^{2}\omega}-\frac{2\epsilon_{1}}{1+4H^{2}\omega}\,,$	(A.47)
$\displaystyle\rho_{2}$	$\displaystyle\approx 11+\frac{1}{H^{2}\omega}+2\epsilon_{1}-6\epsilon_{2}-\frac{12\epsilon_{1}}{1+2H^{2}\omega}-\frac{6\epsilon_{1}}{1+4H^{2}\omega}\,,$	(A.48)
$\displaystyle\rho_{1}$	$\displaystyle\approx 6+\frac{3}{H^{2}\omega}-3\epsilon_{1}-11\epsilon_{2}-\frac{18\epsilon_{1}}{1+2H^{2}\omega}+\frac{4\epsilon_{1}}{1+4H^{2}\omega}-\frac{\epsilon_{2}}{H^{2}\omega}\,,$	(A.49)
$\displaystyle\rho_{0}$	$\displaystyle\approx-6\epsilon_{2}-\frac{3\epsilon_{2}}{H^{2}\omega}\,,$	(A.50)

in the superhorizon limit.

Appendix B Conformal transformation

The conformal transformation, also known as the Weyl rescaling, allows one to go from one frame to another. For instance, through the Weyl rescaling, we can change the action (2.7), which we call the Jordan-frame action, to the Einstein-frame action (2.9). In this section, we first investigate relationships between Jordan-frame quantities and Einstein-frame quantities. We then discuss the behaviour of the gauge-invariant variable $\mathcal{A}_{\psi}$ in both frames. In the following discussion, we shall use the superscript J (E) to denote the Jordan (Einstein) frame.

Let us recall the conformal transformation we considered in Sec. 2,

\displaystyle g_{\mu\nu}^{\mathrm{J}}\to g_{\mu\nu}^{\mathrm{E}}=f(\varphi)g_{\mu\nu}^{\mathrm{J}}\,,

(B.1)

where $\varphi$ is the auxiliary field which is identified with the Ricci scalar in the Jordan frame, namely $\varphi=R^{\mathrm{J}}$ . Comparing the line element in the Jordan frame to that in the Einstein frame at the background level, one may see that

\displaystyle dt^{\mathrm{E}}=\sqrt{f}dt^{\mathrm{J}}\,,\quad a^{\mathrm{E}}=\sqrt{f}a^{\mathrm{J}}\,,

(B.2)

where $t$ is cosmic time, and $a$ is the scale factor. From this observation, we obtain the relation between the Jordan-frame Hubble parameter $H^{\mathrm{J}}\equiv(da^{\mathrm{J}}/dt^{\mathrm{J}})/a^{\mathrm{J}}$ and the Einstein-frame Hubble parameter $H^{\mathrm{E}}\equiv(da^{\mathrm{E}}/dt^{\mathrm{E}})/a^{\mathrm{E}}$ as follows:

\displaystyle H^{\mathrm{E}}=\frac{1}{\sqrt{f}}H^{\mathrm{J}}+\frac{f^{\prime}\dot{\varphi}}{2f^{3/2}}\,,

(B.3)

where $\dot{\varphi}\equiv d\varphi/dt^{\mathrm{J}}$ .

At the level of the first-order perturbations, the comparison of the line element in different frames gives rise to

\displaystyle A^{\mathrm{E}}=A^{\mathrm{J}}+\frac{f^{\prime}\delta\varphi}{2f}\,,\quad\psi^{\mathrm{E}}=\psi^{\mathrm{J}}+\frac{f^{\prime}\delta\varphi}{2f}\,,\quad B^{\mathrm{E}}=B^{\mathrm{J}}\,,\quad E^{\mathrm{E}}=E^{\mathrm{J}}\,,

(B.4)

where $f$ here is to be understood as the background part of $f$ , and $\delta\varphi$ would correspond to the perturbation of the Ricci scalar in the Jordan frame, $\delta\varphi=\delta R^{\mathrm{J}}$ . We note that if $\delta R^{\mathrm{J}}=0$ , which is the condition for the unitary gauge, then the metric perturbation variables become frame-independent. Therefore, the analysis performed in this gauge would remain the same under the frame change. In general, however, the evolution of the perturbation variables depends on the frame choice. Furthermore, the choice of the gauge is frame-dependent. For instance, the Newtonian gauge in the Einstein frame is identical to the Newtonian gauge in the Jordan frame, while the flat gauge in the Jordan frame cannot be transferred to the flat gauge in the Einstein frame as $\psi^{\mathrm{J}}=0$ and $\psi^{\mathrm{E}}=0$ cannot be simultaneously satisfied.

To understand the discrepancy between the result of Ref. [18] on $\mathcal{A}_{\psi}$ , namely Eq. (3.20), and our result on $\mathcal{A}_{\psi}$ , namely Eq. (3.21), let us focus on the evolution of the gauge-invariant variable $\mathcal{A}_{\psi}$ in the Jordan-frame flat gauge. In the Jordan-frame flat gauge, where $\psi^{\mathrm{J}}=0$ and $E=0$ , as $\mathcal{A}^{\mathrm{J}}_{\psi}=A^{\mathrm{J}}$ , $\delta\varphi$ is given by

\displaystyle\delta\varphi=-6H^{\mathrm{J}}\dot{\mathcal{A}}^{\mathrm{J}}_{\psi}-24(H^{\mathrm{J}})^{2}\mathcal{A}^{\mathrm{J}}_{\psi}-12\dot{H}^{\mathrm{J}}\mathcal{A}^{\mathrm{J}}_{\psi}+\frac{2k^{2}}{(a^{\mathrm{J}})^{2}}\left(\mathcal{A}^{\mathrm{J}}_{\psi}+a^{\mathrm{J}}\dot{B}^{\mathrm{J}}+3a^{\mathrm{J}}H^{\mathrm{J}}B^{\mathrm{J}}\right)\,.

(B.5)

From Eq. (B.4), we find

	$\displaystyle\mathcal{A}^{\mathrm{E}}_{\psi}$	$\displaystyle=A^{\mathrm{E}}-\frac{d}{dt^{\mathrm{E}}}\left(\frac{\psi^{\mathrm{E}}}{H^{\mathrm{E}}}\right)$
		$\displaystyle=\mathcal{A}^{\mathrm{J}}_{\psi}+\frac{f^{\prime}\delta\varphi}{2f}-\frac{1}{\sqrt{f}}\frac{d}{dt^{\mathrm{J}}}\left[\left(\frac{1}{\sqrt{f}}H^{\mathrm{J}}+\frac{f^{\prime}\dot{\varphi}}{2f^{3/2}}\right)^{-1}\left(\frac{f^{\prime}\delta\varphi}{2f}\right)\right]\,.$		(B.6)

Using the solution (3.20), we find $\dot{\mathcal{A}}^{\mathrm{J}}_{\psi}\approx 2H^{\mathrm{J}}\epsilon^{\mathrm{J}}_{1}\mathcal{A}^{\mathrm{J}}_{\psi}$ , where $\epsilon^{\mathrm{J}}_{1}$ is the first Hubble slow-roll parameter in the Jordan frame⁷,

\displaystyle\epsilon^{\mathrm{J}}_{1}\approx\frac{1}{36\lambda(H^{\mathrm{J}})^{2}}\,,

(B.7)

which holds under the slow-roll approximation; see also Ref. [18]. We may thus express the difference, $\Delta\mathcal{A}_{\psi}\equiv\mathcal{A}^{\mathrm{E}}_{\psi}-\mathcal{A}^{\mathrm{J}}_{\psi}$ , as follows:

\displaystyle\Delta\mathcal{A}_{\psi}\approx-\mathcal{A}^{\mathrm{J}}_{\psi}+\frac{3\epsilon^{\mathrm{J}}_{1}}{2}\mathcal{A}^{\mathrm{J}}_{\psi}\,,

(B.8)

up to the first order in the Jordan-frame slow-roll parameters, together with the $\lambda(H^{\mathrm{J}})^{2}\gg 1$ limit. We thus see that

\displaystyle\mathcal{A}^{\mathrm{E}}_{\psi}\approx\frac{3\epsilon^{\mathrm{J}}_{1}}{2}\mathcal{A}^{\mathrm{J}}_{\psi}\,.

(B.9)

Without taking into account the slow-roll contribution, one would observe $\mathcal{A}^{\mathrm{E}}_{\psi}\approx 0$ .

Let us now examine the growth rate of $\mathcal{A}^{\mathrm{E}}_{\psi}$ in the Jordan frame. Taking the time derivative, we obtain

\displaystyle\frac{d\ln\mathcal{A}^{\mathrm{E}}_{\psi}}{dt^{\mathrm{J}}}\approx H(2\epsilon^{\mathrm{J}}_{1}+\epsilon^{\mathrm{J}}_{2})\,,

(B.10)

up to the leading order in the slow-roll parameters and in the $\lambda(H^{\mathrm{J}})^{2}\gg 1$ limit, where $\epsilon^{\mathrm{J}}_{2}\equiv\dot{\epsilon}^{\mathrm{J}}_{1}/(H^{\mathrm{J}}\epsilon^{\mathrm{J}}_{1})$ . Using $H^{\mathrm{E}}dt^{\mathrm{E}}=H^{\mathrm{J}}dt^{\mathrm{J}}+\mathcal{O}(\epsilon^{\mathrm{J}}_{1})$ , we obtain the growth rate of $\mathcal{A}^{\mathrm{E}}_{\psi}$ in the Einstein frame as

\displaystyle\frac{d\ln\mathcal{A}^{\mathrm{E}}_{\psi}}{dt^{\mathrm{E}}}

\displaystyle\approx H^{\mathrm{E}}(2\epsilon^{\mathrm{J}}_{1}+\epsilon^{\mathrm{J}}_{2})\,.

(B.11)

Since $\epsilon^{\mathrm{J}}_{2}\approx 2\epsilon^{\mathrm{J}}_{1}$ under the same slow-roll approximation and $\epsilon^{\mathrm{J}}_{1}\approx\epsilon^{\mathrm{E}}_{2}/4$ , we get

\displaystyle\frac{d\ln\mathcal{A}^{\mathrm{E}}_{\psi}}{dt^{\mathrm{E}}}

\displaystyle\approx H^{\mathrm{E}}\epsilon^{\mathrm{E}}_{2}\,,

(B.12)

recovering the behaviour we observed in the Einstein-frame analysis, namely Eq. (3.21).

Another way to show the equivalence is by showing the equivalence of the perturbed equations of motion. Under the conformal transformation with the choice of

\displaystyle E^{\mathrm{E}}=0\,,\quad\psi^{\mathrm{E}}=\frac{f^{\prime}\delta\varphi}{2f}\,,

(B.13)

which corresponds to the Jordan-frame flat gauge, the Einstein-frame perturbed equations of motion become⁸

$\displaystyle 0$	$\displaystyle=-108\lambda(H^{\mathrm{J}})^{2}\dot{(H^{\mathrm{J}})}A^{\mathrm{J}}+18\lambda(\dot{H}^{\mathrm{J}})^{2}A^{\mathrm{J}}-36\lambda H^{\mathrm{J}}\ddot{H}^{\mathrm{J}}A^{\mathrm{J}}-54\lambda(H^{\mathrm{J}})^{3}\dot{A}^{\mathrm{J}}-36\lambda H^{\mathrm{J}}\dot{H}^{\mathrm{J}}\dot{A}^{\mathrm{J}}$
	$\displaystyle\quad-18\lambda(H^{\mathrm{J}})^{2}\ddot{A}^{\mathrm{J}}+H^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}-12\lambda(H^{\mathrm{J}})^{3}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}+36\lambda H^{\mathrm{J}}\dot{H}^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}+6\lambda\ddot{H}^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}$
	$\displaystyle\quad+6\lambda(H^{\mathrm{J}})^{2}\frac{k^{2}}{a^{\mathrm{J}}}\dot{B}^{\mathrm{J}}-6\lambda\dot{H}^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}\dot{B}^{\mathrm{J}}+6\lambda H^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}\ddot{B}^{\mathrm{J}}-42\lambda(H^{\mathrm{J}})^{2}\frac{k^{2}}{(a^{\mathrm{J}})^{2}}A^{\mathrm{J}}-18\lambda\dot{H}^{\mathrm{J}}\frac{k^{2}}{(a^{\mathrm{J}})^{2}}A^{\mathrm{J}}$
	$\displaystyle\quad+6\lambda H^{\mathrm{J}}\frac{k^{4}}{(a^{\mathrm{J}})^{3}}B^{\mathrm{J}}+2\lambda\frac{k^{4}}{(a^{\mathrm{J}})^{3}}\dot{B}^{\mathrm{J}}-\frac{\omega}{3}\frac{k^{4}}{(a^{\mathrm{J}})^{3}}\dot{B}^{\mathrm{J}}+2\lambda\frac{k^{4}}{(a^{\mathrm{J}})^{4}}A^{\mathrm{J}}-\frac{\omega}{3}\frac{k^{4}}{(a^{\mathrm{J}})^{4}}A^{\mathrm{J}}\,,$	(B.14)

and

$\displaystyle 0$	$\displaystyle=-3a^{\mathrm{J}}(H^{\mathrm{J}})^{2}B^{\mathrm{J}}-2a^{\mathrm{J}}\dot{H}^{\mathrm{J}}B^{\mathrm{J}}-108\lambda a^{\mathrm{J}}(H^{\mathrm{J}})^{2}\dot{H}^{\mathrm{J}}B^{\mathrm{J}}-54\lambda a^{\mathrm{J}}(\dot{H}^{\mathrm{J}})^{2}B^{\mathrm{J}}-72\lambda a^{\mathrm{J}}H^{\mathrm{J}}\ddot{H}^{\mathrm{J}}B^{\mathrm{J}}$
	$\displaystyle\quad-12\lambda a^{\mathrm{J}}\dddot{H}^{\mathrm{J}}B^{\mathrm{J}}+2H^{\mathrm{J}}A^{\mathrm{J}}+144\lambda H^{\mathrm{J}}\dot{H}^{\mathrm{J}}A^{\mathrm{J}}+36\lambda\ddot{H}^{\mathrm{J}}A^{\mathrm{J}}+36\lambda(H^{\mathrm{J}})^{2}\dot{A}^{\mathrm{J}}+36\lambda\dot{H}^{\mathrm{J}}\dot{A}^{\mathrm{J}}$
	$\displaystyle\quad+12\lambda H^{\mathrm{J}}\ddot{A}^{\mathrm{J}}+24\lambda(H^{\mathrm{J}})^{2}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}-12\lambda\dot{H}^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}B^{\mathrm{J}}-4\lambda H^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}\dot{B}^{\mathrm{J}}+\frac{2\omega}{3}H^{\mathrm{J}}\frac{k^{2}}{a^{\mathrm{J}}}\dot{B}^{\mathrm{J}}$
	$\displaystyle\quad-4\lambda\frac{k^{2}}{a^{\mathrm{J}}}\ddot{B}^{\mathrm{J}}+\frac{2\omega}{3}\frac{k^{2}}{a^{\mathrm{J}}}\ddot{B}^{\mathrm{J}}+12\lambda H^{\mathrm{J}}\frac{k^{2}}{(a^{\mathrm{J}})^{2}}A^{\mathrm{J}}-4\lambda\frac{k^{2}}{(a^{\mathrm{J}})^{2}}\dot{A}^{\mathrm{J}}+\frac{2\omega}{3}\frac{k^{2}}{(a^{\mathrm{J}})^{2}}\dot{A}^{\mathrm{J}}\,,$	(B.15)

where we have utilised the Jordan-frame background equations of motion [18],

	$\displaystyle\dddot{H}^{\mathrm{J}}$	$\displaystyle=-\frac{72H^{\mathrm{J}}\ddot{H}^{\mathrm{J}}\lambda+2\dot{H}^{\mathrm{J}}(1+27\dot{H}^{\mathrm{J}}\lambda)+3(H^{\mathrm{J}})^{2}(1+36\dot{H}^{\mathrm{J}}\lambda)}{12\lambda}\,,$		(B.16)
	$\displaystyle\ddot{H}^{\mathrm{J}}$	$\displaystyle=-\frac{(H^{\mathrm{J}})^{2}+36(H^{\mathrm{J}})^{2}\dot{H}^{\mathrm{J}}\lambda-6(\dot{H}^{\mathrm{J}})^{2}\lambda}{12H^{\mathrm{J}}\lambda}\,.$		(B.17)

We can eliminate $B^{\mathrm{J}}$ by manipulating Eqs. (B.14) and (B.15), obtaining the evolution equation for $A^{\mathrm{J}}$ , which is identically $\mathcal{A}^{\mathrm{J}}_{\psi}$ as we are in the Jordan-frame flat gauge. The resultant equation is given by

\displaystyle 0

\displaystyle=\ddddot{\mathcal{A}}^{\mathrm{J}}_{\psi}+\tau_{1}H^{\mathrm{J}}\dddot{\mathcal{A}}^{\mathrm{J}}_{\psi}+\tau_{2}(H^{\mathrm{J}})^{2}\ddot{\mathcal{A}}^{\mathrm{J}}_{\psi}+\tau_{3}(H^{\mathrm{J}})^{3}\dot{\mathcal{A}}^{\mathrm{J}}_{\psi}+\tau_{4}(H^{\mathrm{J}})^{4}\mathcal{A}^{\mathrm{J}}_{\psi}\,.

(B.18)

The coefficients $\tau_{i}$ are, in the subhorizon limit, given by

\displaystyle\tau_{1}

\displaystyle\approx 10\,,\quad\tau_{2}\approx 2\left(\frac{k}{a^{\mathrm{J}}H^{\mathrm{J}}}\right)^{2}\,,\quad\tau_{3}\approx 6\left(\frac{k}{a^{\mathrm{J}}H^{\mathrm{J}}}\right)^{2}\,,\quad\tau_{4}\approx\left(\frac{k}{a^{\mathrm{J}}H^{\mathrm{J}}}\right)^{4}\,.

(B.19)

In the superhorizon limit, if we further impose the condition $\lambda(H^{\mathrm{J}})^{2}\gg 1$ , the coefficients $\tau_{i}$ are given by

\displaystyle\tau_{1}

\displaystyle\approx 6\,,\quad\tau_{2}\approx 11+\frac{24\lambda}{\omega}\,,\quad\tau_{3}\approx 6+\frac{72\lambda}{\omega}\,,\quad\tau_{4}\approx-\frac{\omega+12\lambda}{3H^{2}\omega\lambda}\,.

(B.20)

These results are identical to those reported in Ref. [18].

References

[1] P. A. R. Ade et al. (2021) Improved Constraints on Primordial Gravitational Waves using Planck, WMAP, and BICEP/Keck Observations through the 2018 Observing Season. Phys. Rev. Lett. 127 (15), pp. 151301. External Links: 2110.00483, Document Cited by: §1.
[2] Y. Akrami et al. (2020) Planck 2018 results. X. Constraints on inflation. Astron. Astrophys. 641, pp. A10. External Links: 1807.06211, Document Cited by: §1.
[3] A. Albrecht and P. J. Steinhardt (1982) Cosmology for Grand Unified Theories with Radiatively Induced Symmetry Breaking. Phys. Rev. Lett. 48, pp. 1220–1223. External Links: Document Cited by: §1.
[4] D. Anselmi, E. Bianchi, and M. Piva (2020) Predictions of quantum gravity in inflationary cosmology: effects of the Weyl-squared term. JHEP 07, pp. 211. External Links: 2005.10293, Document Cited by: §1.
[5] D. Anselmi, F. Fruzza, and M. Piva (2021) Renormalization-group techniques for single-field inflation in primordial cosmology and quantum gravity. Class. Quant. Grav. 38 (22), pp. 225011. External Links: 2103.01653, Document Cited by: §1.
[6] D. Anselmi (2017) On the quantum field theory of the gravitational interactions. JHEP 06, pp. 086. External Links: 1704.07728, Document Cited by: §1.
[7] D. Anselmi (2018) Fakeons And Lee-Wick Models. JHEP 02, pp. 141. External Links: 1801.00915, Document Cited by: §1.
[8] R. L. Arnowitt, S. Deser, and C. W. Misner (1959) Dynamical Structure and Definition of Energy in General Relativity. Phys. Rev. 116, pp. 1322–1330. External Links: Document Cited by: §4.
[9] R. L. Arnowitt, S. Deser, and C. W. Misner (2008) The Dynamics of general relativity. Gen. Rel. Grav. 40, pp. 1997–2027. External Links: gr-qc/0405109, Document Cited by: §4.
[10] I. G. Avramidi and A. O. Barvinsky (1985) ASYMPTOTIC FREEDOM IN HIGHER DERIVATIVE QUANTUM GRAVITY. Phys. Lett. B 159, pp. 269–274. External Links: Document Cited by: §1.
[11] R. Bach (1921) Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krümmungstensorbegriffs. Math. Z. 9 (1), pp. 110–135. External Links: Document Cited by: footnote 1.
[12] J. M. Bardeen (1980) Gauge Invariant Cosmological Perturbations. Phys. Rev. D 22, pp. 1882–1905. External Links: Document Cited by: §1.
[13] C. M. Bender and P. D. Mannheim (2008) No-ghost theorem for the fourth-order derivative Pais-Uhlenbeck oscillator model. Phys. Rev. Lett. 100, pp. 110402. External Links: 0706.0207, Document Cited by: §1.
[14] E. Bianchi and M. Gamonal (2025) Precision predictions of Starobinsky inflation with self-consistent Weyl-squared corrections. Phys. Rev. D 112 (12), pp. 124006. External Links: 2506.10081, Document Cited by: §1.
[15] R. Brout, F. Englert, and E. Gunzig (1978) The Creation of the Universe as a Quantum Phenomenon. Annals Phys. 115, pp. 78. External Links: Document Cited by: §1.
[16] E. Calabrese et al. (2025) The Atacama Cosmology Telescope: DR6 constraints on extended cosmological models. JCAP 11, pp. 063. External Links: 2503.14454, Document Cited by: §1.
[17] T. Clunan and M. Sasaki (2010) Tensor ghosts in the inflationary cosmology. Class. Quant. Grav. 27, pp. 165014. External Links: 0907.3868, Document Cited by: §1.
[18] A. De Felice, R. Kawaguchi, K. Mizui, and S. Tsujikawa (2023) Starobinsky inflation with a quadratic Weyl tensor. Phys. Rev. D 108 (12), pp. 123524. External Links: 2309.01835, Document Cited by: Appendix B, Appendix B, Appendix B, Appendix B, §1, §1, §1, §2, §3.1, §3.2, §3.5, §3.5, §3.5, §3.5, §4, §5, footnote 3, footnote 4.
[19] A. De Felice and S. Tsujikawa (2010) f(R) theories. Living Rev. Rel. 13, pp. 3. External Links: 1002.4928, Document Cited by: §1, §2.
[20] N. Deruelle, M. Sasaki, Y. Sendouda, and A. Youssef (2011) Inflation with a Weyl term, or ghosts at work. JCAP 03, pp. 040. External Links: 1012.5202, Document Cited by: §1, §1, §1, §2.2, §2, §2, §3.1, §3.2, §3.5, §5, footnote 1.
[21] J. F. Donoghue and G. Menezes (2019) Unitarity, stability and loops of unstable ghosts. Phys. Rev. D 100 (10), pp. 105006. External Links: 1908.02416, Document Cited by: §1.
[22] J. F. Donoghue (1994) General relativity as an effective field theory: The leading quantum corrections. Phys. Rev. D 50, pp. 3874–3888. External Links: gr-qc/9405057, Document Cited by: §1.
[23] M. B. Einhorn and D. R. T. Jones (2015) Naturalness and Dimensional Transmutation in Classically Scale-Invariant Gravity. JHEP 03, pp. 047. External Links: 1410.8513, Document Cited by: §1.
[24] E. S. Fradkin and A. A. Tseytlin (1981) Renormalizable Asymptotically Free Quantum Theory of Gravity. Phys. Lett. B 104, pp. 377–381. External Links: Document Cited by: §1.
[25] E. S. Fradkin and A. A. Tseytlin (1982) Renormalizable asymptotically free quantum theory of gravity. Nucl. Phys. B 201, pp. 469–491. External Links: Document Cited by: §1.
[26] A. H. Guth (1981) The Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems. Phys. Rev. D 23, pp. 347–356. External Links: Document Cited by: §1.
[27] M. M. Ivanov and A. A. Tokareva (2016) Cosmology with a light ghost. JCAP 12, pp. 018. External Links: 1610.05330, Document Cited by: §1, §1, §2, §2, §3.1, §3.2.
[28] H. Kodama and M. Sasaki (1984) Cosmological Perturbation Theory. Prog. Theor. Phys. Suppl. 78, pp. 1–166. External Links: Document Cited by: §1.
[29] J. Kubo, J. Kuntz, J. Rezacek, and P. Saake (2022) Inflation with massive spin-2 ghosts. JCAP 11, pp. 049. External Links: 2207.14329, Document Cited by: §1.
[30] C. Lanczos (1938) A Remarkable property of the Riemann-Christoffel tensor in four dimensions. Annals Math. 39, pp. 842–850. External Links: Document Cited by: §2.
[31] A. D. Linde (1982) A New Inflationary Universe Scenario: A Possible Solution of the Horizon, Flatness, Homogeneity, Isotropy and Primordial Monopole Problems. Phys. Lett. B 108, pp. 389–393. External Links: Document Cited by: §1.
[32] T. Louis et al. (2025) The Atacama Cosmology Telescope: DR6 power spectra, likelihoods and $\Lambda$ CDM parameters. JCAP 11, pp. 062. External Links: 2503.14452, Document Cited by: §1.
[33] D. Lovelock (1971) The Einstein tensor and its generalizations. J. Math. Phys. 12, pp. 498–501. External Links: Document Cited by: §2.
[34] K. A. Malik and D. Wands (2009) Cosmological perturbations. Phys. Rept. 475, pp. 1–51. External Links: 0809.4944, Document Cited by: §1.
[35] V. F. Mukhanov, H. A. Feldman, and R. H. Brandenberger (1992) Theory of cosmological perturbations. Part 1. Classical perturbations. Part 2. Quantum theory of perturbations. Part 3. Extensions. Phys. Rept. 215, pp. 203–333. External Links: Document Cited by: §1.
[36] W. Nelson (2010) Restricting Fourth Order Gravity via Cosmology. Phys. Rev. D 82, pp. 124044. External Links: 1012.3353, Document Cited by: §1.
[37] M. Ostrogradsky (1850) Mémoires sur les équations différentielles, relatives au problème des isopérimètres. Mem. Acad. St. Petersbourg 6 (4), pp. 385–517. Cited by: §1.
[38] A. Pais and G. E. Uhlenbeck (1950) On Field theories with nonlocalized action. Phys. Rev. 79, pp. 145–165. External Links: Document Cited by: §1.
[39] A. Salvio and A. Strumia (2014) Agravity. JHEP 06, pp. 080. External Links: 1403.4226, Document Cited by: §1.
[40] A. Salvio and A. Strumia (2016) Quantum mechanics of 4-derivative theories. Eur. Phys. J. C 76 (4), pp. 227. External Links: 1512.01237, Document Cited by: §1.
[41] A. Salvio (2017) Inflationary Perturbations in No-Scale Theories. Eur. Phys. J. C 77 (4), pp. 267. External Links: 1703.08012, Document Cited by: §1.
[42] A. Salvio (2018) Quadratic Gravity. Front. in Phys. 6, pp. 77. External Links: 1804.09944, Document Cited by: §1, §1.
[43] A. Salvio (2021) Dimensional Transmutation in Gravity and Cosmology. Int. J. Mod. Phys. A 36 (08n09), pp. 2130006. External Links: 2012.11608, Document Cited by: §1.
[44] A. A. Starobinsky (1979) Spectrum of relict gravitational radiation and the early state of the universe. JETP Lett. 30, pp. 682–685. Cited by: §1.
[45] A. A. Starobinsky (1980) A New Type of Isotropic Cosmological Models Without Singularity. Phys. Lett. B 91, pp. 99–102. External Links: Document Cited by: §1, §1, §2.
[46] K. S. Stelle (1977) Renormalization of Higher Derivative Quantum Gravity. Phys. Rev. D 16, pp. 953–969. External Links: Document Cited by: §1.
[47] K. S. Stelle (1978) Classical Gravity with Higher Derivatives. Gen. Rel. Grav. 9, pp. 353–371. External Links: Document Cited by: §1.
[48] R. M. Wald (1984) General Relativity. Chicago Univ. Pr., Chicago, USA. External Links: Document Cited by: §4.
[49] S. Weinberg (2008) Effective Field Theory for Inflation. Phys. Rev. D 77, pp. 123541. External Links: 0804.4291, Document Cited by: §1.
[50] S. Weinberg (2010) Asymptotically Safe Inflation. Phys. Rev. D 81, pp. 083535. External Links: 0911.3165, Document Cited by: §1.
[51] H. Weyl (1918) Gravitation and electricity. Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. ) 1918, pp. 465. Cited by: §2.
[52] L. Witten (Ed.) (1962) Gravitation: an introduction to current research. Wiley, New York. Cited by: §4.
[53] R. P. Woodard (2015) Ostrogradsky’s theorem on Hamiltonian instability. Scholarpedia 10 (8), pp. 32243. External Links: 1506.02210, Document Cited by: §1.

Gauge-independent approach to inflation in quadratic gravity

Abstract

1 Introduction

2 Setup

2.1 Background equations

2.2 Perturbed equations

3 Evolution of gauge-invariant variables

3.1 Evolution of Ψ\Psi and Φ\Phi

3.2 Evolution of ℛ\mathcal{R}

3.3 Evolution of χ\chi

3.4 Evolution of 𝒜\mathcal{A}

3.5 Evolution of 𝒜ψ\mathcal{A}_{\psi}

4 Analysis of gauges

Newtonian gauge

Synchronous gauge

Flat slicing

Comoving slicing

5 Conclusion

Acknowledgments

Appendix A Evolution equations

Evolution equation for Φ\Phi

Evolution equation for Ψ\Psi

Evolution equation for ℛ\mathcal{R}

Evolution equation for χ\chi

Evolution equation for 𝒜\mathcal{A}

Evolution equation for 𝒜ψ\mathcal{A}_{\psi}

Appendix B Conformal transformation

References

3.1 Evolution of $\Psi$ and $\Phi$

3.2 Evolution of $\mathcal{R}$

3.3 Evolution of $\chi$

3.4 Evolution of $\mathcal{A}$

3.5 Evolution of $\mathcal{A}_{\psi}$

Evolution equation for $\Phi$

Evolution equation for $\Psi$

Evolution equation for $\mathcal{R}$

Evolution equation for $\chi$

Evolution equation for $\mathcal{A}$

Evolution equation for $\mathcal{A}_{\psi}$