Abstract
Requiring the existence of a unitary, causal and local UV-completion places a set of positivity bounds on the corresponding effective field theories (EFTs). We discuss the obstructions and possibility in applying the positivity bound to cosmology, in particular the EFT of cosmological perturbations. Taking a \(c_T=1\) beyond-Horndeski EFT as an illustrative example, we derive such bounds, which incorporate the cosmological correction of order \(H^2/\Lambda ^2\), \(\Lambda \) being the cutoff scale. The derived bounds are applied to slow-roll inflation with beyond Horndeski operators. It is found that the cosmological positivity bounds may be either stronger or weaker than their flat space counterpart.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The effective field theory (EFT) of cosmological perturbations is a powerful tool to study perturbations around a given cosmological background. Since the EFT of inflation [1], the relevant idea has been also applied to other cosmological fields, such as the EFT of dark energy [2,3,4,5] which captures the physics of scalar-tensor theories [6,7,8,9,10] (for a review, see [11, 12]) at the cosmological scale. As another example, based on the EFT approach, it has been found that fully stable nonsingular cosmologies exist in theories beyond Horndeski [13,14,15,16,17,18,19,20].
The full UV-complete theory of gravity is yet unknown. Instead of starting top-down from a UV theory, usually one works directly with the EFT, which captures the physics of the underlying theory at certain scales. However, not all low-energy EFTs have a consistent UV theory, see e.g. [21, 22]. Assuming the UV-complete theory is causal, unitary and local Lorentz-invariant, one can derive dispersion relations relating the IR limit of a scattering amplitude with its UV behavior, which place a set of bounds on the properties of the corresponding low-energy EFTs, the so-called positivity bound [23,24,25,26,27,28,29,30,31]. The positivity bounds have been applied to various EFTs [32,33,34,35,36,37,38,39].
Recently, Ref. [40] derived positivity bounds on a covariant shift-symmetric Horndeski theory (which might explain the current accelerated expansion), and paired these bounds with a cosmological parameter estimation analysis. It is natural to ask what will happen if we incorporate the cosmological background evolution. It is convenient for our purpose to work with the EFT of cosmological perturbations. However, the background evolution is itself the biggest obstruction in applying the positivity arguments because it breaks time-translation symmetry and makes Lorentz-invariant scattering ill-defined. In the limit of a Lorentz-invariant background, the positivity bounds saturated by the UV completions of single-field inflation have been investigated in [41].
Theoretically, an EFT is obtained after one integrates out physics above the cutoff scale \(\Lambda \). On the other hand, the curvature of a homogeneous FRW universe is proportional to \(H^2, \dot{H}\), so one can use \(H^2, \dot{H}\) as additional dimensionful parameters in constructing the EFT [42,43,44]. In this paper, we assume that the background varies slowly enough so that we can treat the \(\mathcal {O}(H^{2n}/\Lambda ^{2n},\dot{H}^n/\Lambda ^{2n})\) corrected Lagrangian coefficients as constants [41, 42, 45, 46] in calculation of the scattering amplitude. Despite these corrections, positivity argument in cosmology is still plagued by difficulties such as asymptotic states and particle production in the cosmological background, which are expected to introduce unknown corrections scale as \(\mathcal {O}(H^2/M^2)\), M being the scattering energy scale, in the bound itself. We will argue in Sect. 3.2 that under certain assumptions it might be possible to extract part of the positivity information in cosmology even if one does not know how to calculate the \(\mathcal {O}(H^2/M^2)\) corrections in the positivity bound. We then derive the bounds, incorporating the cosmological background, for a specific \(c_T=1\) beyond-Horndeski EFT.
This paper is structured as follows. The effective Goldstone Lagrangian is derived in Sect. 2. Section 3.1 presents the familiar Minkowski positivity bound. Section 3.2 discusses existing obstructions in deriving a cosmological positivity bound, what corrections they may introduce and under what circumstance can we neglect them. Then in Sect. 3.3, we obtain bounds with leading cosmological correction. Applications of our bounds to the cosmological scenarios of interest are discussed in Sect. 3.4.
2 The effective Goldstone Lagrangian
We first derive the EFT of cosmological perturbations to be bounded by positivity. We want to focus on the Goldstone EFT, so we will work in the decoupling limit [1]. Such limit, however, becomes subtle in a \(c_T\ne 1\) theory [47]. It is also noticed that the EFTs of modified gravity at cosmological scales have been strictly constrained by GW170817 to \(c_T=1\) [48,49,50,51] (note that it may not be the case at scales not observed by LIGO [52]). Also, as mentioned, the stable nonsingular cosmological models can be implemented only in theories beyond Horndeski (We have little evidence whether \(c_T=1\) in the early universe though.). Thus we are well-motivated to consider a \(c_T=1\) beyond-Horndeski EFT as an illustrative example.Footnote 1
The shift-symmetric \(c_T=1\) beyond-Horndeski theory can be written as [9, 49]
where \(M_p\) is the reduced Planck mass and \(\Lambda \) is the EFT cutoff.Footnote 2 All coefficients B(X), \(G_{2,3}(X)\) and fields are dedimensionalised by \(\phi \rightarrow \phi /M_p, \ \partial \rightarrow \partial /\Lambda \) and \(X\equiv \phi ^\mu \phi _\mu /(M_p^2\Lambda ^2)\). Subscript X denotes partial derivatives with respect to X, for instance \(B_X\equiv \frac{\partial }{\partial X}B\).
In the unitary gauge (\(\delta \phi =0\)), the Lagrangian (1) is equivalent to [49]
where \(K^{\nu }_{ \ \mu }\) and \(R^{(3)}\) are the extrinsic curvature tensor and Ricci scalar of the spacelike uniform-\(\phi \) hypersurface, respectively, and \(Q(X)\equiv -\int \sqrt{-X}G_{3X}(X)dX\).
An arbitrary time slicing \((t,{\varvec{x}})\) is related to the unitary gauge time \((\tilde{t},\tilde{{\varvec{x}}})\) by \(\tilde{t}=t+\pi (t,{\varvec{x}})\) and \({\varvec{x}}=\tilde{{\varvec{x}}}\), then
where \(\pi \) is a Goldstone field. Quantities in the unitary gauge are labeled with tildes. Due to the derivative coupling, the scattering process \(\pi \pi \rightarrow \pi \pi \) is dominated by sub-Hubble contribution, where the Goldstone mode decouples from gravity [1]. We are thus allowed to choose the standard FRW metric
as the metric in the new coordinate system \((t,{\varvec{x}})\). Relevant Stuckelberg tricks are given in Appendix A.
It is convenient to define the dimensionless parameters
where \(\epsilon _H\) describes evolution of the universe. We will assume \(|\ddot{\phi }/(H\dot{\phi })|\ll 1\), so that we can safely neglect \(\ddot{\phi }\). In a \(\phi \)-dominating universe, \(\epsilon \) is determined by the Friedman equation and related to \(\epsilon _H\) by the equation of motion of \(\phi \), in particular, \(\epsilon =\epsilon _H\) if \(\phi \) is canonical. We thus have the time derivative of a function f as
where \(\dot{\epsilon }_H\equiv H\epsilon ^{(1)}_H\simeq 2H\epsilon _H^2\) if \(\phi \) dominates.
At the tree level, it is sufficient to consider \(S^{(2)}\), \(S^{(3)}\) and \(S^{(4)}\). We assume \(S^{(2)}\) dominates and \(S^{(3)}\), \(S^{(4)}\) are under perturbative control [56, 57]. Exploiting the fact that the scattering process is almost instant compared to the variation of the background field \(\phi \) (i.e: \(\bar{X}\)), after some integration by parts, one has
where
All bared quantities are evaluated on the background \(\bar{X}=-\dot{\phi }^2/(M_p^2\Lambda ^2)=-2(H/\Lambda )^2\epsilon \). In the rest of this paper, the results are presented using \(\epsilon \) and \(\epsilon _H\) instead of \(\bar{X}\) and \(\dot{H}\). We will also suppress the upper bar of background quantities for simplicity. The sound speed squared is
which is approximately constant since \(\frac{d}{dt}c_s^2/\Lambda \sim \epsilon _H H^3/\Lambda ^3\) is of higher order in \(H/\Lambda \). Truncation to leading order in \(H/\Lambda \) is valid if the correction is \(<\mathcal{O}(1)\).Footnote 3 For unity \(B_X,\epsilon G_{2XX},\epsilon ^{1/2}G_{3X}\), it is sufficient to have \(H\lesssim 0.1\Lambda \). Rescale the spacial coordinates \(x^i\rightarrow a c_s x^i\) and define the canonically normalised field \(\pi _c=\sqrt{2c_s^3U}M_p \Lambda \pi \), we have
where \((\partial \pi _c)^2=\dot{\pi }_c^2-(\partial _i\pi _c)^2\).
The final Lagrangian for the UV scattering is (the subscript c is omitted)
see Appendix B for the details of derivation.Footnote 4 The explicit expressions of \(\alpha ,\beta \) in terms of \(G_2(X)\), \(G_3(X)\) and B(X) in (1) are given in Appendix C. The coefficients of the final Lagrangian (11), as expected, do not contain B(X) or Q(X), since in the covariant Lagrangian (1) the Ricci curvature R is invariant and only the X dependent part of \(G_3(X)\) is relevant, though they appear in coefficients before individual vertices (for example, Eq. (B.12) contains B(X)). This can serve as a quick consistency check of calculation.
3 Positivity bounds in cosmology
3.1 Positivity in flat space
We briefly review the Minkowski positivity argument, see e.g. [23, 27, 36] for details. In a Lorentz-invariant UV theory with unitarity, locality and causality, the \(2\rightarrow 2\) scattering amplitude is expected to be an analytic function of the Mandelstam variables (s, t, u) with poles and branch cuts, satisfying the Froissart–Martin bound [58, 59].
Consider a massive scalar field with mass m. The Mandelstam variables are not independent \(s+t+u=4m^2\). We denote the \(2\rightarrow 2\) amplitude by \(\mathcal {A}(s,t)\). For fixed t, it is an analytic function \(\mathcal {A}_t(s)\) of s. \(\mathcal {A}_t(s)\) can be extended to the complex s-plane by crossing symmetry and analytic continuation. Consider the following Cauchy integral at fixed t
Exactly speaking, the LHS of (12) should be an integral over all non-analyticities enclosed by \(\mathcal {C}\). However, since the analytic structure of (11) is simple, we explicitly write down the integral as sum of residues. Typical positivity argument then requires pushing to the forward limit (\(t\rightarrow 0\)). However, such a limit is singular in a theory with massless gauge particles, the gravitational theory in particular (see e.g. [23]). Recently, it is suggested that such singularity can be regulated by compatifying one spatial dimension [39]. The resulting amplitude (with the Kaluza–Klein modes substracted) remains finite in the forward limit but receives additional contribution from the dilaton and graviphoton generated by compactification. Fortunately, in the theory (1) considered here, the dilaton and graviphoton do not contribute at the order of interest. Therefore, in effect, we can simply drop the singular term \(\sim \frac{s^2}{M_p^2t}\) and continue with the standard positivity argument. Now we are allowed to pass to the forward limit \(t\rightarrow 0\). Subscript t will be dropped whenever we are in the forward limit. The analytic structure of \(\mathcal {A}(s)\) and the integration contour \(\mathcal {C}\) are depicted in Fig. 1. By the Froissart-Martin bound \(|\mathcal {A}_t(s)|\sim \mathcal {O}(s\ln ^2s)\) as \(s\rightarrow \infty \) [58, 59], the contribution from the semi-circular arcs of the contour go to zero when pushed to infinity. We are thus left with \(\frac{1}{\pi }\left( \int _{-\infty }^{0}+\int _{4m^2}^{+\infty }\right) \frac{Im(\mathcal {A}_t(s))}{(s-\mu ^2)^3}ds\). By the optical theorem we arrive at the following equality
RHS is positive definite if \(0<\mu ^2<4m^2\). There are three poles included on LHS. Since the EFT (11) only contains derivative interactions, residues at \(s=m^2\) and \(s=3m^2\), associated with propagators in the exchange diagrams, are proportional to powers of \(m^2\) and thus become negligible when \(s\gg m^2\). Then the final bound is
Since \(s\gg m^2\sim \mu ^2\), this is equivalently \(\mathcal {A}''(s\rightarrow 0)\ge 0\). Besides, combine the optical theorem with the partial wave expansion \(\mathcal {A}(s,t)=16\pi \sqrt{s/(s-4m^2)}\sum _l (2l+1)P_l(\cos \theta )a_l(s)\), one obtains another bound for \(s\ge 4m^2\) [60] (for recent exploitation of this bound, see e.g. [27])
Apply this bound to Eq. (12), one reaches the positivity of \(\partial _t^n\mathcal {A}''(s\rightarrow 0,t\rightarrow 0)\).
3.2 Positivity in cosmology
Conventional EFTs (as well as the underlying UV theories) are Poincare invariant. The EFT of cosmological perturbations, on the other hand, are obtained by breaking the time-diffeomorphism invariance with a gauge choice (unitary gauge). When the time-translation symmetry is broken because of the evolving background, the notion of Mandelstam variables becomes ill-defined. We focus on scattering process with energy scale \(M^2\gg m^2\) because the Goldstones are derivatively coupled, while keeping \(M^2\ll \Lambda ^2\) so the EFT remains valid.
The cosmological background evolution manifests in the study of positivity mainly in two ways. One is the cosmological correction in the Lagrangian coefficients, which we have already considered in the previous section. In a slowly varying background, we will treat these Lagrangian coefficients as constants when calculating the amplitude [41, 45, 46]. Another is that the time-dependent background affects the perturbative calculation of the amplitude and breaks time translation symmetry. These effects will further influence the positivity derivation. We do not yet know how to obtain a robust positivity bound in an evolving background. It has to be pointed out that we will not derive a reliable bound in some general time-dependent curved background in this subsection. Instead, we will analyze the major obstructions in obtaining such a bound and argue that when certain assumptions hold, one might use (14) and (15), neglecting cosmological corrections to the bound, to extract some of the positivity information in cosmology.
We start from the cosmological mode function
This mode function assumes flat space solution (up to a constant phase shift) \(\frac{1}{\sqrt{2k}}e^{-ik\tau }\) on scales much smaller than the curvature (\(|k\tau |\gg 1\)). For the universe with \(a\propto t^p\) (\(p=1/2\) if radiation dominant, \(p=2/3\) if matter dominant), \(\nu =\frac{|3p-1|}{2|-p+1|}\), while for quasi-de Sitter space \(\nu \simeq 3/2\). For inflationary universe \(\tau \in (-\infty ,0)\) so modes are initially sub-Hubble, while for decelerated expansion \(\tau \in (0,+\infty )\) so modes finally enter horizon. Due to the \(e^{\pm ik\tau }\) asymptotic behavior of \(u_k(\tau )\) and the relation \(H^{(1)}_\nu (ze^{i\pi })=-e^{-i\nu \pi }H^{(2)}_\nu (z)\) one can obtain the free field Feynman propagator in the usual way by calculating free field two point functionFootnote 5
The propagator depends on x and y separately since time translation is broken. Using the asymptotic expansion of Hankel functions the leading irreversible part of \(D_F(x,y)\) is estimated to be of order \(\frac{x^0-y^0}{kx^0y^0}\sim \frac{1}{k^2x^0y^0}\).
The first obstruction in evaluating the amplitude is the construction of asymptotic state \(|\Omega \rangle \). Due to background evolution, the energy argument used in Minkowski to obtain \(|\Omega \rangle \propto \exp \left( -iT\int _{-\infty }^{t_0} H_I dt\right) |0\rangle \) is no longer applicable. Moreover, the amplitude \(\langle n_1 \ldots n_i|\Omega \rangle \), \(\langle n_1 \ldots n_i|\) being occupation states at some later time, is generally non-vanishing because of the cosmological evolution. However, since we only study sub-Hubble scattering process, we assume an asymptotic state parallel to the Minkowski one
where \(\tau _0\) is the time of scattering and \(\tau _i\) is some time well after the scattered momentum modes entering horizon.Footnote 6 By this assumption we have neglected all particle production effects (and in particular any non-perturbative non-analyticities they may bring about) from the time-dependent background. It is only valid for sub-Hubble high energy scattering, a more careful treatment of asymptotic states in de Sitter spacetime is presented in [61]. Now the \(2\rightarrow 2\) amplitude is \(\langle p_1 p_2|\exp \left( -iT\int _{\tau _i}^{+\infty } H_I d\tau \right) |p_3 p_4\rangle \). The external legs are sub-Hubble with definite momentum \({\varvec{p}}_i\), we thus further assume contraction of all external legs yields the flat space solution \(e^{-ip\cdot x}\). We should, however, keep the cosmological mode function \(H_{\nu }\) in the propagator since the \(k^0\) integral crosses \(k^0=0\). This assumption is crucial in preserving crossing symmetry \(\omega \leftrightarrow -\omega \), \({\varvec{k}}\leftrightarrow -{\varvec{k}}\) at the Feynman diagram level.
With assumptions discussed above, the only difference in evaluating the tree level \(2\rightarrow 2\) amplitude is the integral \(\int dx^0\) and \(\int dy^0\). In Minkowski, these two enforce energy conservation between the initial and final states i.e: \(\delta (p_1+p_2-k^0)\delta (k^0-p_3-p_4)\). In an evolving background, we have to estimate
where \(a(\nu )=(4\nu ^2-1)/8\). The last line is obtained by slightly rotating the integration line in the complex plane (i.e. \(\infty \rightarrow (1\pm i\epsilon )\infty \)). The integrand of \(\int dk^0/(2\pi )\) is regular (note that the propagator \(\frac{i}{k^2+i\epsilon }\) has no pole on the real line due to \(i\epsilon \)) so the first term in (19) is simply \(-2\pi i\delta (p_1+p_2-k^0)\), which enforces energy conservation. The correction term is characterized by an incomplete gamma function, which peaks at \(k^0=p_1+p_2\) and oscillates and decays as \(|p_1+p_2-k^0|\rightarrow \infty \) with \(\int _0^{+\infty }\Gamma (0,-ix)dx=i\) and \(\lim _{\epsilon \rightarrow 0}\int _{-\epsilon }^{+\epsilon }\Gamma (0,-ix)dx=0\). In particular it is the correction part that contributes when \(p_1+p_2\ne k^0\). Based on these assumptions and observations we propose
where \(\delta \) functions enforce energy and momentum conservation. \(\mathcal {A}_{min}\) stands for the explicitly Minkowski part, which is calculable using the standard techniques. \(\mathcal {A}_{cos}\) means cosmological correction. It is of order \(\tau _i^{-2}/p^2\sim H^2/M^2\). \(\rho \) may be viewed as a distribution (possibly complex) over \(\Delta E=|{\varvec{p}}_1|+|{\varvec{p}}_2|-|{\varvec{p}}_3|-|{\varvec{p}}_4|\). We have to emphasize that we did not derive (20), but rather assumed it based on observations in this subsection. This allows us to run positivity argument on \(\mathcal {A}_{min}\) without worrying about the unknown \(H^2/M^2\) correction since \(\delta (0)\) dominates over \(\rho (\Delta E=0)\) and thus one might use (14) and (15) to extract part of the positivity information for an EFT in the cosmological background.
3.3 Applying the bounds
The tree level \(2\rightarrow 2\) amplitude corresponding to (11) in the center of mass frame is
Detailed calculation of (21) but with \(\beta _4=0\) has been presented in Ref. [41]. The Lagrangian (11) is actually non-relativistic, in that uncontracted time derivatives are present. However, if it indeed captures the physics of some UV-complete theory below the high energy cutoff \(\Lambda \) and above the decoupling scale \(E_{mix}\lesssim \epsilon _H^{1/2}H\) [1], positivity derived from locality and unitarity should be inherited. To the leading order in \(H/\Lambda \), the positivity bound (14) reads (without loss of generality we set \(G_{2X}=-1/2\) hereafter)
Applying bound (15) yields (\(n=1\))
We have to stress again that for (14) and (15) to be trustworthy, all assumptions made in Sect. 3.2 have to hold.
In the calculation, we did not assume the correction is even powers of \(H/\Lambda \). But it turns out the leading order correction is indeed \(H^2/\Lambda ^2\), as expected in the introduction section, so the bounds do not distinguish between contraction and expansion. As commented before, the cosmological evolution breaks time-translation symmetry of the EFT, so it is not surprising that the bound in Minkowski spacetime (or the limit \(H/\Lambda \rightarrow 0\)) may be violated for a relatively large \(H^2/\Lambda ^2\), even if \(H^2/\Lambda ^2<1\).
3.4 Discussion
\(\underline{\textit{In the limit }H/\Lambda \rightarrow 0}\)
We can ignore the \(H^2/\Lambda ^2\) correction. Without the corrections, the bounds (22) and (23) are
For \(1+\epsilon _H>0\), we have the positivity constraint on \(B_X\) as
In comparison, the Minkowski bound only gives \(G_{2XX}\ge 0\) (see Appendix D). Ref. [40] reports \(G_{4X}\le 0\) (in the notation here, it corresponds to \(B_X\le 0\)) for a shift-symmetric Horndeski Lagrangian with only \(G_2(X)\) and \(G_4(X)\). The covariant theory (\(c_T=1\)) studied here is essentially different from that in [40] (\(c_T\ne 1\)), in which the bound \(G_{4X}\le 0\) is actually equivalent to the subluminal condition \(c_T\le 1\). In fact, the \(G_{4X}\le 0\) bound in [40] is derived from \(Y^{(2,1)}\ge 0\) in [27]. The second bound in Eq. (24) has similar origin to \(Y^{(2,1)}\ge 0\) and it also implies \(B_X\le 0\). However, as \(B_X\) also contributes in the tree level \(\pi \pi \rightarrow \pi \pi \) scattering, we have an additional bound in Eq. (24) which further constrains \(B_X\).
In addition, the subluminality of \(c_s^2\) brings another bound
This relation is automatically satisfied if \(G_{3X}\ge 0\) and \(\epsilon _H<1\). However, if \(G_{3X}=0\) and \(\epsilon _H>1\), it requires \(\epsilon G_{2XX}\ge -2(\epsilon _H-1)B_X\), which is stronger than (25) for \(\epsilon _H>3\). Note it is possible to have \(\epsilon _H\sim \mathcal {O}(1)\) if the scattering energy scale M satisfies \(H\sim E_{mix}\ll M\ll \Lambda \).
\(\underline{\textit{With } H^2/\Lambda ^2 \textit{ correction}}\)
An interesting example is the slow-roll inflation, where \(0<\epsilon \simeq \epsilon _H\ll 1\), so the bounds (22) and (23) with \(H^2/\Lambda ^2\) correction can be simplified. To see this, setting \(\epsilon =\epsilon _H=0\) in (22) and (23), we have
This suggests \(B_X=0\) unless we consider the slow-roll suppressed parts. This implies that for the potential-driving dS inflation, the \(c_T=1\) beyond-Horndeski EFT (1) reduces to GR. However, for the \(\dot{\phi }\)-driving inflation, such as k-inflation [62, 63] and G-inflation [64], since \(\epsilon \ll 1\) may be violated, the constraint on \(B_X\) will be released.
Inspired by the previous example, we look at the GR limit (we no longer assume \(\epsilon \ll 1\) here), in which \(\phi \) is not coupled to the Ricci scalar (\(B\equiv 1/2\)). The corresponding EFT is called Galileon [24]. Assuming \(G_{2XXX}=G_{3XX}=0\) for simplicity, we have
The cosmological positivity bound itself might be weaker than its Minkowski counter part. For example, let \(G_{3X}=0\) then cosmological bound (28) also allows for a negative branch of \(\epsilon G_{2XX}\) in addition to \(\epsilon G_{2XX}\ge 0\). We are also interested in the possibility of obtaining stronger bounds. The combined constraint of the cosmological bound (28), the subluminal condition (26) and the Minkowski bound \(G_{2XX}\ge 0\) is plotted in Fig. 2 with a color coding for different values of \((H/\Lambda )^2\). The phase space of \(\epsilon G_{2XX}\) and \(\sqrt{2\epsilon }G_{3X}\) becomes more constrained as \((H/\Lambda )^2\) gets larger. Another point worth mentioning is one can now answer whether its UV completion would require the Minkowski bounds to get weaker/stronger when extended to cosmology. It is an interesting issue since future data/theoretical restrictions might be able to indicate whether the cosmological positivity bound is stronger or weaker than its flat space counterpart.
4 Conclusion
We have investigated the application of positivity bounds in the EFT of cosmological perturbations. As an illustrative example, we considered a \(c_T=1\) beyond-Horndeski EFT (1). We explicitly showed by calculation that the leading cosmological correction to positivity bounds indeed comes at \(H^2/\Lambda ^2\) and \(\dot{H}/\Lambda ^2\) order, consistent with our observation in the introduction. It is also observed that the positivity bounds found in the limit \(H/\Lambda \rightarrow 0\) (or in Minkowski spacetime) might be violated when H is not far smaller than the cutoff scale \(\Lambda \), since the coefficient before \(H^2/\Lambda ^2\) correction is at \(10^2\) order. The bound with cosmological corrections could be either weaker or stronger. We also discussed the applications of our bound. It is found that positivity favors a suppressed \(B_X\) (comparable in size with \(\epsilon G_{2XX}\) or \(\sqrt{2}\epsilon ^{1/2}G_{3X}\)) for slow-roll inflation.
Lagrangian (1) can be used to implement fully stable cosmological bounce. Nonpathological bouncing models built in Refs. [15, 17,18,19,20]Footnote 7 all have \(G_{2XX}/G_{2X}<0\) somewhere, which seems to be inconsistent with the bound (24) at first sight. There is no tension for now. Typically, to violate the null energy condition (NEC, see [67] for a review), one requires that the operator \(X^2\) is not negligible (depending on the value of \(\phi \)) at the NEC-violating regime, while the beyond-Horndeski operator takes effect as a stabiliser that controls gradient stability. Usually, such models display obvious \(\phi \)-dependence and nonnegligible \(\ddot{\phi }\) around the bounce point, which invalidates the assumptions we used to derive the bounds here. Thus our bounds cannot be directly applied to the bouncing models. It is possible to relax these assumptions in more complete study. We might come back to relevant issues in future works.
It is also interesting to integrate out the IR part of the RHS of (13) within the regime of validity of the EFT to give a more precise bound [36]. Recently, the positivity bounds with heavy spinning intermediate states have been studied in inflation but from a covariant point of view [68], and also Ref. [69] has explored positivity in the Higgs-Dilaton inflation model. It is also well-motivated to go beyond the decoupling limit and study the EFT with graviton and high-spin particles included [45, 70].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All theoretical assumptions and essential steps to derive the results are presented in the paper. No extra data is needed to reach the conclusion.]
Notes
In self-accelerating cosmologies one often takes \(\Lambda \sim H\) in the Galileon terms to have an order one effect on the background. We do not consider such models in this paper and will always assume \(\Lambda \gg H\).
Now we have \(\bar{X}=-\dot{\phi }^2/(M_p^2\Lambda ^2)\sim const.\) and \(H/\Lambda <\mathcal{O}(1)\). To guarantee a slowly varying background, one should, in principle, additionally require \(-\epsilon _H H/\Lambda \ll 1\). This condition is automatically satisfied for physical value of \(\epsilon _H\) when \(H/\Lambda \ll 1\) is true.
The Lagrangian (11) is non-relativistic. Non-relativistic vertices with odd number of derivatives may contribute amplitude proportional to \(s^{n/2}\), resulting in new branch cuts in the s plane, see Ref. [41]. As is shown in Appendix B, fortunately, higher derivative operators are under control in the theory we consider and no new branch cuts are generated at the order of interest. Also (11) does not contribute any other non-analyticities more complicated than the familiar cuts and poles crossing symmetric in the complex s plane.
There is possible divergence at \(k^0=0\) since \(H_\nu ^{(1,2)}(z\rightarrow 0)\sim z^{-\nu }\). This is regulated by the negligible scalar mass m so that \(H^{(1,2)}_\nu (k\tau )\rightarrow H^{(1,2)}_\nu (\omega \tau )\) with \(\omega ^2=k^2+m^2>0\), thus the integration does not encounter any divergence at \(k^0=0\).
In the rest of this subsection we assume that the universe is in decelerated expansion and modes enter horizon. The calculation is the same for accelerated expansion with the substitution \(\tau \rightarrow -\tau \).
By “nonpathological” we require the bouncing models to be free of gradient and ghost instability throughout the whole evolution history of the universe. In all the models cited, due to the higher derivative operators in theories beyond Horndeski, \(c_s^2\) is always positive, thus there is no strong coupling problem and perturbative unitarity is preserved, see e.g. [65], see also [66] for showing the strong coupling problem in the P(X) theory.
References
C. Cheung, P. Creminelli, A.L. Fitzpatrick, J. Kaplan, L. Senatore, JHEP 0803, 014 (2008). https://doi.org/10.1088/1126-6708/2008/03/014. arXiv:0709.0293 [hep-th]
G. Gubitosi, F. Piazza, F. Vernizzi, JCAP 1302, 032 (2013) [JCAP 1302, 032 (2013)] https://doi.org/10.1088/1475-7516/2013/02/032 arXiv:1210.0201 [hep-th]
J.K. Bloomfield, É.É. Flanagan, M. Park, S. Watson, JCAP 1308, 010 (2013). https://doi.org/10.1088/1475-7516/2013/08/010. arXiv:1211.7054 [astro-ph.CO]
J. Gleyzes, D. Langlois, F. Piazza, F. Vernizzi, JCAP 1308, 025 (2013). https://doi.org/10.1088/1475-7516/2013/08/025. arXiv:1304.4840 [hep-th]
D. Langlois, M. Mancarella, K. Noui, F. Vernizzi, JCAP 1705(05), 033 (2017). https://doi.org/10.1088/1475-7516/2017/05/033. arXiv:1703.03797 [hep-th]
G.W. Horndeski, Int. J. Theor. Phys. 10, 363 (1974). https://doi.org/10.1007/BF01807638
C. Deffayet, X. Gao, D.A. Steer, G. Zahariade, Phys. Rev. D 84, 064039 (2011). https://doi.org/10.1103/PhysRevD.84.064039. arXiv:1103.3260 [hep-th]
T. Kobayashi, M. Yamaguchi, J. Yokoyama, Prog. Theor. Phys. 126, 511 (2011). https://doi.org/10.1143/PTP.126.511. arXiv:1105.5723 [hep-th]
J. Gleyzes, D. Langlois, F. Piazza, F. Vernizzi, Phys. Rev. Lett. 114(21), 211101 (2015). https://doi.org/10.1103/PhysRevLett.114.211101. arXiv:1404.6495 [hep-th]
D. Langlois, K. Noui, JCAP 1602(02), 034 (2016). https://doi.org/10.1088/1475-7516/2016/02/034. arXiv:1510.06930 [gr-qc]
D. Langlois, Int. J. Mod. Phys. D 28(05), 1942006 (2019). https://doi.org/10.1142/S0218271819420069. arXiv:1811.06271 [gr-qc]
T. Kobayashi, Rep. Prog. Phys. 82(8), 086901 (2019). arXiv:1901.07183 [gr-qc]
Y. Cai, Y. Wan, H.G. Li, T. Qiu, Y.S. Piao, JHEP 1701, 090 (2017). https://doi.org/10.1007/JHEP01(2017)090. arXiv:1610.03400 [gr-qc]
P. Creminelli, D. Pirtskhalava, L. Santoni, E. Trincherini, JCAP 1611(11), 047 (2016). https://doi.org/10.1088/1475-7516/2016/11/047. arXiv:1610.04207 [hep-th]
Y. Cai, H.G. Li, T. Qiu, Y.S. Piao, Eur. Phys. J. C 77(6), 369 (2017). https://doi.org/10.1140/epjc/s10052-017-4938-y. arXiv:1701.04330 [gr-qc]
Y. Cai, Y.S. Piao, JHEP 1709, 027 (2017). https://doi.org/10.1007/JHEP09(2017)027. arXiv:1705.03401 [gr-qc]
R. Kolevatov, S. Mironov, N. Sukhov, V. Volkova, JCAP 1708(08), 038 (2017). https://doi.org/10.1088/1475-7516/2017/08/038. arXiv:1705.06626 [hep-th]
S. Mironov, V. Rubakov, V. Volkova, JCAP 1810(10), 050 (2018). https://doi.org/10.1088/1475-7516/2018/10/050. arXiv:1807.08361 [hep-th]
G. Ye, Y.S. Piao, Commun. Theor. Phys. 71(4), 427 (2019). https://doi.org/10.1088/0253-6102/71/4/427. arXiv:1901.02202 [gr-qc]
G. Ye, Y.S. Piao, Phys. Rev. D 99(8), 084019 (2019). https://doi.org/10.1103/PhysRevD.99.084019. arXiv:1901.08283 [gr-qc]
G. Obied, H. Ooguri, L. Spodyneiko, C. Vafa,. arXiv:1806.08362 [hep-th]
H. Ooguri and C. Vafa, Nucl. Phys. B 766, 21 (2007). arXiv:hep-th/605264
A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis, R. Rattazzi, JHEP 0610, 014 (2006). https://doi.org/10.1088/1126-6708/2006/10/014. arXiv:hep-th/0602178
A. Nicolis, R. Rattazzi and E. Trincherini, JHEP 1005, 095 (2010) Erratum: [JHEP 1111, 128 (2011)] https://doi.org/10.1007/JHEP05(2010)095, https://doi.org/10.1007/JHEP11(2011)128 arXiv:0912.4258 [hep-th]
B. Bellazzini, L. Martucci, R. Torre, JHEP 1409, 100 (2014). https://doi.org/10.1007/JHEP09(2014)100. arXiv:1405.2960 [hep-th]
B. Bellazzini, JHEP 1702, 034 (2017). https://doi.org/10.1007/JHEP02(2017)034. arXiv:1605.06111 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, S.Y. Zhou, Phys. Rev. D 96, 081702(R) (2017). https://doi.org/10.1103/PhysRevD.96.081702. arXiv:1702.06134 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, S.Y. Zhou, JHEP 1803, 011 (2018). https://doi.org/10.1007/JHEP03(2018)011. arXiv:1706.02712 [hep-th]
V. Chandrasekaran, G.N. Remmen, A. Shahbazi-Moghaddam, JHEP 1811, 015 (2018). https://doi.org/10.1007/JHEP11(2018)015. arXiv:1804.03153 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, S.Y. Zhou, JHEP 1903, 182 (2019). https://doi.org/10.1007/JHEP03(2019)182. arXiv:1804.10624 [hep-th]
J. Tokuda, JHEP 1905, 216 (2019). https://doi.org/10.1007/JHEP05(2019)216. arXiv:1902.10039 [hep-th]
B. Bellazzini, C. Cheung, G.N. Remmen, Phys. Rev. D 93(6), 064076 (2016). https://doi.org/10.1103/PhysRevD.93.064076. arXiv:1509.00851 [hep-th]
C. Cheung, G.N. Remmen, JHEP 1604, 002 (2016). https://doi.org/10.1007/JHEP04(2016)002. arXiv:1601.04068 [hep-th]
C. Cheung, G.N. Remmen, Phys. Rev. Lett. 118(5), 051601 (2017). https://doi.org/10.1103/PhysRevLett.118.051601. arXiv:1608.02942 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, S.Y. Zhou, JHEP 1709, 072 (2017). https://doi.org/10.1007/JHEP09(2017)072. arXiv:1702.08577 [hep-th]
B. Bellazzini, F. Riva, J. Serra, F. Sgarlata, Phys. Rev. Lett. 120(16), 161101 (2018). https://doi.org/10.1103/PhysRevLett.120.161101. arXiv:1710.02539 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, JHEP 1804, 083 (2018). https://doi.org/10.1007/JHEP04(2018)083. arXiv:1710.09611 [hep-th]
B. Bellazzini, F. Riva, J. Serra, F. Sgarlata. arXiv:1903.08664 [hep-th]
B. Bellazzini, M. Lewandowski, J. Serra. arXiv:1902.03250 [hep-th]
S. Melville, J. Noller. arXiv:1904.05874 [astro-ph.CO]
D. Baumann, D. Green, H. Lee, R.A. Porto, Phys. Rev. D 93(2), 023523 (2016). https://doi.org/10.1103/PhysRevD.93.023523. arXiv:1502.07304 [hep-th]
N. Kaloper, M. Kleban, A.E. Lawrence, S. Shenker, Phys. Rev. D 66, 123510 (2002). https://doi.org/10.1103/PhysRevD.66.123510. arXiv:hep-th/0201158
N. Afkhami-Jeddi, S. Kundu, A. Tajdini, JHEP 1810, 156 (2018). https://doi.org/10.1007/JHEP10(2018)156. arXiv:1805.07393 [hep-th]
N. Afkhami-Jeddi, S. Kundu, A. Tajdini, JHEP 1904, 056 (2019). https://doi.org/10.1007/JHEP04(2019)056. arXiv:1811.01952 [hep-th]
N. Arkani-Hamed, J. Maldacena. arXiv:1503.08043 [hep-th]
N. Arkani-Hamed, D. Baumann, H. Lee, G.L. Pimentel. arXiv:1811.00024 [hep-th]
P. Creminelli, J. Gleyzes, J. Noreña, F. Vernizzi, Phys. Rev. Lett. 113(23), 231301 (2014). https://doi.org/10.1103/PhysRevLett.113.231301. arXiv:1407.8439 [astro-ph.CO]
B. P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Phys. Rev. Lett. 123, no. 1, 011102 (2019) https://doi.org/10.1103/PhysRevLett.123.011102, arXiv:1811.00364 [gr-qc]
P. Creminelli, F. Vernizzi, Phys. Rev. Lett. 119(25), 251302 (2017). https://doi.org/10.1103/PhysRevLett.119.251302. arXiv:1710.05877 [astro-ph.CO]
J. Sakstein, B. Jain, Phys. Rev. Lett. 119(25), 251303 (2017). https://doi.org/10.1103/PhysRevLett.119.251303. arXiv:1710.05893 [astro-ph.CO]
D. Langlois, R. Saito, D. Yamauchi, K. Noui, Phys. Rev. D 97, 061501(R) (2018). https://doi.org/10.1103/PhysRevD.97.061501. arXiv:1711.07403 [gr-qc]
C. de Rham, S. Melville, Phys. Rev. Lett. 121(22), 221101 (2018). https://doi.org/10.1103/PhysRevLett.121.221101. arXiv:1806.09417 [hep-th]
P. Creminelli, M. Lewandowski, G. Tambalo, F. Vernizzi, JCAP 1812, 025 (2018). https://doi.org/10.1088/1475-7516/2018/12/025. arXiv:1809.03484 [astro-ph.CO]
P. Creminelli, G. Tambalo, F. Vernizzi, V. Yingcharoenrat, JCAP 1910(10), 072 (2019). https://doi.org/10.1088/1475-7516/2019/10/072. arXiv:1906.07015 [gr-qc]
P. Creminelli, G. Tambalo, F. Vernizzi, V. Yingcharoenrat. arXiv:1910.14035 [gr-qc]
A. Ashoorioon, R. Casadio, M. Cicoli, G. Geshnizjani, H.J. Kim, JHEP 1802, 172 (2018). https://doi.org/10.1007/JHEP02(2018)172. arXiv:1802.03040 [hep-th]
A. Ashoorioon, JHEP 1812, 012 (2018). https://doi.org/10.1007/JHEP12(2018)012. arXiv:1807.06511 [hep-th]
M. Froissart, Phys. Rev. 123, 1053 (1961). https://doi.org/10.1103/PhysRev.123.1053
A. Martin, Phys. Rev. 129, 1432 (1963). https://doi.org/10.1103/PhysRev.129.1432
A. Martin, Nuovo Cim. A 42, 930 (1965). https://doi.org/10.1007/BF02720568
D. Marolf, I.A. Morrison, M. Srednicki, Class. Quantum Grav. 30, 155023 (2013). https://doi.org/10.1088/0264-9381/30/15/155023. arXiv:1209.6039 [hep-th]
C. Armendariz-Picon, T. Damour and V. F. Mukhanov, Phys. Lett. B 458, 209 (1999). arXiv:hep-th/9904075
J. Garriga and V. F. Mukhanov, Phys. Lett. B 458, 219(1999). arXiv:hep-th/9904176
T. Kobayashi, M. Yamaguchi, J. Yokoyama, Phys. Rev. Lett. 105, 231302 (2010). arXiv:1008.0603 [hep-th]
C. de Rham, S. Melville, Phys. Rev. D 95(12), 123523 (2017). https://doi.org/10.1103/PhysRevD.95.123523. arXiv:1703.00025 [hep-th]
M. Koehn, J.L. Lehners, B. Ovrut, Phys. Rev. D 93(10), 103501 (2016). https://doi.org/10.1103/PhysRevD.93.103501. arXiv:1512.03807 [hep-th]
V. A. Rubakov, Phys. Usp. 57, 128 (2014) [Usp. Fiz. Nauk 184, no. 2, 137 (2014)] https://doi.org/10.3367/UFNe.0184.201402b.0137 arXiv:1401.4024 [hep-th]
S. Kim, T. Noumi, K. Takeuchi, S. Zhou. arXiv:1906.11840 [hep-th]
M. Herrero-Valea, I. Timiryasov, A. Tokareva. arXiv:1905.08816 [hep-ph]
H. Lee, D. Baumann, G.L. Pimentel, JHEP 1612, 040 (2016). https://doi.org/10.1007/JHEP12(2016)040. arXiv:1607.03735 [hep-th]
G. Cusin, M. Lewandowski, F. Vernizzi, JCAP 1804, 061 (2018). https://doi.org/10.1088/1475-7516/2018/04/061. arXiv:1712.02782 [astro-ph.CO]
Acknowledgements
We would like to thank Brando Bellazzini, Matthew Lewandowski and Javi Serra for insightful comments and discussions on the t-channel singularity and positivity argument. GY would like to thank Yong Cai for helpful discussions. This work is supported by NSFC, nos. 11575188, 11690021.
Author information
Authors and Affiliations
Corresponding author
Appendices
The Stuekelberg trick
In the unitary guage
where \(\tilde{g}^{00}\) is given in Eq. (3). To expand Lagrangian (2), we still need the expression of the extrinsic tensor. The normal of the uniform-\(\phi \) hypersurface is
Recall that we are allowed to raise and lower indices with the unperturbed FRW metric in the decoupling limit
The extrinsic curvature K is
with the relevant expressions as follows
As a quick consistency check, one can use the above results to expand \(K=-\nabla _\mu n^\mu \) to quadratic order in \(\pi \)
It coincides with eq. (B.12) of Ref. [71] (neglecting metric fluctuations) except for the term \(3H(t-\pi )=3H-3(\dot{H}\pi +\frac{1}{2}\ddot{H}\pi ^2)+\mathcal {O}(\pi ^3)\), an negligible mass term suppressed by \(\dot{H}=-\epsilon _H H^2\). According to the Gauss–Codazzi formula, the 3d Ricci scalar \(R^{(3)}\) is
On the RHS, the Ricci scalar R is invariant and \(R_{\mu \nu }\) can be easily calculated using the spatially flat FRW metric
Now we are well-equipped to expand Lagrangian (2) in powers of \(\pi \) and its derivatives.
Derivation of Goldstone Lagrangian (11)
The equation of motion (EoM) of the free Goldstone field is
Each \(\pi \) field can have at most two derivatives. In fact, only \(K_{\mu \nu }\) contributes second derivatives of \(\pi \). Thus the n-th order Lagrangian \(L^{(n)}\) contains at most \((n+2)\) derivatives. We first consider the part of \(L^{(3)}\) with up to four derivatives
which includes all possible three point interactions with at most four derivatives that may yield nonvanishing amplitudes in the center of mass (CM) frame. Note that in the CM frame, vertices with no time-derivatives (e.g: \(\partial _i\partial _j\pi \partial _i\pi \partial _j\pi \)) do not contribute in exchange diagrams since the exchanged virtue particle has vanishing 3-momentum. After some integration by parts, we have
where \(\mathcal {D}_n\equiv nH+d/dt\) is defined, and \(g_n, \ n=1,2,\ldots ,6\) are only dependent on time. Insert the EoM (B.1) and switch to the rescaled coordinates and normalised field, we get
Now consider the part with higher-order derivatives
After some integration by parts, we find that the higher derivatives cancel out and
remains, which can be safely neglected in the CM frame. The calculation of \(S^{(4)}\) is similar but more involved. In particular, higher-order derivative operators may contribute in contact diagrams. We first consider operators with at most five derivatives and then look at the higher derivative part. The part of \(S^{(4)}\) with at most five derivatives is
The highest derivative part of \(S^{(4)}\) divides into to two sectors. The first sector consists solely of spacial derivatives
It is easy to check that both the \(h_{11}\) and \(h_{12}\) vertices cancel out in the CM frame. Vertices in the other sector are
with the coefficients
Performing integration by part again to the terms proportional to B(X), we have
So in conclusion, the higher derivative operators introduce one new vertex \((\dot{\pi } \partial _i\partial _j\pi \partial _i\dot{\pi } \partial _j \pi -\dot{\pi } \partial _i\dot{\pi } \partial _i \pi \nabla ^2\pi )\) and modify the coefficients
Putting together all the results in this Appendix, we get Lagrangian (11).
Coefficients in (11)
We list here the explicit expressions of the coefficients in (11), calculated to the leading order in \(H/\Lambda \),
Positivity in the Minkowski spacetime
To derive positivity bounds in the Minkowski spacetime for (1), one should switch back to \(\dot{\phi }^2\) and \(\dot{H}\) by inserting (5), and pass to the \(H,\dot{H}\rightarrow 0\) limit. The extrinsic curvature K vanishes in the Minkowski spacetime. Thus positivity only constrains \(G_2(X)\) and its derivatives. The Minkowski bound as well as the sound speed are (\(G_{2X}=-1/2\))
Absence of superluminality places the bound \(G_{2XX}\ge 0\). An interesting case is that if \(G_2(X)\sim X^n\), in which \(X^n\) is the first nonnegligible higher-order derivative operator in the \(G_2(X)\) polynomial, the positivity bound (D.1D.2) implies \(G_{2XXX}\le 0\) if \(G_{2XX}=0\) and \(G_{2XXXX}\ge 0\) if \(G_{2XX}=G_{2XXX}=0\), consistent with the result of Ref. [29].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Ye, G., Piao, YS. Positivity in the effective field theory of cosmological perturbations. Eur. Phys. J. C 80, 421 (2020). https://doi.org/10.1140/epjc/s10052-020-7973-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7973-z