Abstract
Many cosmological observables derive from primordial vacuum fluctuations evolved to late times. These observables represent statistical draws from some underlying quantum or statistical field theoretic framework where infinities arise and require regularization. After subtraction, renormalization conditions must be imposed by measurements at some scale, mindful of scheme and background dependence. We review this process on backgrounds that transition from finite duration inflation to radiation domination, and show how in spite of the ubiquity of scaleless integrals, ultraviolet (UV) divergences can still be meaningfully extracted from quantities that nominally vanish when dimensionally regularized. In this way, one can contextualize calculations with hard cutoffs, distinguishing between UV and infrared (IR) scales corresponding to the beginning and end of inflation from UV and IR scales corresponding to the unknown completion of the theory and its observables. This distinction has significance as observable quantities cannot depend on the latter, although they will certainly depend on the former. One can also explicitly show the scheme independence of the coefficients of UV divergent logarithms. Furthermore, certain IR divergences are shown to be an artifact of the de Sitter limit and are cured for finite duration inflation. For gravitational wave observables, we stress the need to regularize stress tensors that do not presume a prior scale separation in their definition (as with the standard Isaacson form), deriving an improved stress tensor fit to purpose. We conclude by highlighting the inextricable connection between inferring \(N_\textrm{eff}\) bounds from vacuum tensor perturbations and the process of background renormalization.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introductory remarks
Infinities often arise when computing physical observables in any quantum or statistical field theoretic framework. A well-defined prescription to regularize and renormalize these divergences has been developed on flat backgrounds,Footnote 1 and a transposition of this formalism to curved backgrounds is also possible, albeit with numerous caveats and subtleties that one must be mindful of depending on the context [3,4,5].Footnote 2
Divergences can generically be classed into two categories with distinct physical interpretations. Short distance or ultraviolet (UV) divergences are unambiguously interpreted as an artifact of admitting arbitrarily high energies or momenta in any given calculational setup as a mathematical idealization. Once these infinities have been appropriately subtracted, causality and locality conspire through decoupling [8, 9] to limit the consequences of this idealization to a handful of relevant and marginal operators in a parametrically controlled derivative expansion (see e.g., [1, 2, 10]).
Long wavelength or infrared (IR) divergences on the other hand require additional care in their interpretation, as their implications can range from the harmless to the severe. At the very least, they indicate that one has additional work to do to arrive at a physical quantity. For instance, IR divergences often feature in intermediate expressions in theories with gapless excitations and are rendered benign through cancellations when computing physical observables (as is the case in QEDFootnote 3). IR divergences could also be signaling the breakdown of a particular perturbative scheme, which can nevertheless be tamed through resummation, as is the case when one studies thermalization in an out of equilibrium context [12,13,14], or in QCD scattering via the factorization properties of its soft and collinear limits [15, 16]. In their most problematic incarnation, IR divergences are a harbinger of the instability of the putative background one is attempting perturbation theory around. Precisely, which of the latter two possibilities are signaled by certain IR divergences encountered on de Sitter (dS) or quasi de Sitter backgrounds remains an open question (see e.g., [17,18,19,20,21,22,23,24,25,26,27,28,29,30,31]).
In operational terms, a class of IR divergences in cosmology trace to complications that arise on time-dependent backgrounds when standard background field quantization methods can no longer be taken for granted. Large quantum corrections to the background could invalidate any purported classical background/fluctuation split, which is a limiting case of the general complication of doing perturbation theory around a time evolving background that must satisfy the tadpole condition at any given order in \(\hbar \). Although addressing these issues may seem to necessitate the full regalia of non-equilibrium techniques, notable efforts within the context of stochastic inflation and its background statistical field theory limit can be found in [32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53], as well as within the dynamical renormalization group and open effective field theory approaches [54,55,56].
Nevertheless, in situations where one can presume the validity of background field quantization, dealing with divergences in a variety of cosmological applications is a well-understood prescription.Footnote 4 This is so much so that it is often taken for granted and elided in many practical applications in the literature, where the ability to meaningfully extract physically observable quantities is taken as given once divergences have purportedly been tamed. However, as the adage goes, just because something is infinite does not mean it is zero.Footnote 5 The purpose of this article is to review the details of subtracting and renormalizing divergent quantities on backgrounds that should be of practical interest to all cosmologists—one that transitions from an arbitrary, but finite duration of inflation through to a phase of radiation domination. Doing so throws up qualitative differences and novelties relative to the analogous procedure on backgrounds corresponding to a single epoch (whether the inflationary, radiation, or matter-dominated backgrounds) that warrants a discussion even for the simplest possible scenario of non-interacting, minimally coupled test scalar fields.
Foremost, we note the ubiquity of scaleless integrals for sufficiently light (though not necessarily massless) fields even when one transitions between epochs at a particular energy scale. Nevertheless, despite the fact that scaleless integrals nominally vanish in mass-independent regularization schemes, it is still possible to cleanly separate UV and IR divergent contributions (using techniques borrowed from matching calculations in non-relativistic QCD and QED [2, 59]) and compare these to the contributions one would have calculated in mass-dependent regularization schemes, such as through imposing hard cutoffs in physical momenta.Footnote 6 This is useful, as UV and IR divergences have distinct physical interpretations—whereas UV divergences are to be subtracted with local counterterms, IR divergences cancel among themselves once physical observables are computed.Footnote 7 Moreover, even as one finds the expected scheme dependence for the coefficients of nominal power law divergences, one finds identical coefficients for UV divergent logarithms, whether one dimensionally regularizes, point splits, or uses hard cutoffs in physical momenta.
Furthermore, one can demonstrate that certain IR divergences encountered in inflationary cosmology are an artifact of the idealization of a past infinite dS geometry and are absent in computations on backgrounds that transition in and out of inflation, whereas unsurprisingly, UV divergences persist. Specifically, we show how the end of inflation does not regulate UV divergences, but instead parameterizes the coefficients of divergent quantities through the ratio of the scales corresponding to the beginning and end of inflation and must still be subtracted in the prescribed way. The implications of this for vacuum contributions to measurable quantities with blue spectra is discussed, as one must be cautious against including contributions that could be nothing more than the Fourier transform of a UV divergence that is to be subtracted on the way to computing observable quantities.
We conclude with a discussion on following through on renormalizing divergences after having subtracted them in the context of calculations that attempt to compute quantum corrections to a given (tree level) background in some form. In simple terms, it is to be stressed that all physical observations are necessarily of fully dressed quantities, and the putative classical background one performs background field quantization around is only to be viewed as a calculational fiction that serves as bootstrap into computing physical observables. Calculations of quantum corrections tell us nothing of their absolute values. Once renormalization conditions are fixed by measurements at a particular scale, all one can compute is how these quantities change with scale. We discuss the implications of this point for the interpretation of \(N_{\textrm{eff}}\) bounds from vacuum tensor perturbations in the early universe, which can be boiled down to attempting to calculate a corrected background (i.e., shifted tadpole condition) from an appropriately derived stress tensor for gravitational waves. A definition of the latter that is fit for the purposes of regularization forces us to work with a form that does not assume a prior (time dependent) scale separation in its definition, as is the case with the commonly used Isaacson form. We retrace the derivation of the stress tensor for gravitational waves and derive an improved version suitable for regularization. We comment in closing how can one in principle compute the stress tensor for gravitational waves in a fully covariant formalism, bypassing entirely the need to compute it via correlation functions through Hadamard regularization techniques.
1.1 Outline and scope
The outline of this article is as follows, we first fix conventions and recap how UV and IR divergences arise in computations of standard cosmological observables, stressing that tracers corresponding to energy densities must be extractable from regularized stress tensors or derivatives of two point functions and their convolutions. For sufficiently light degrees of freedom, we show the ubiquity of scaleless integrals, taking care to address the order of various limits when one looks to extract divergences. Taking a cue from non-relativistic QED and QCD, we then show how to split scaleless integrals into UV and IR contributions that otherwise cancel in dimensional regularization. Focusing only on the UV log-divergent parts, one can make sense of calculations in the literature that impose hard cutoffs in physical momenta, finding identical coefficients for the UV divergent logs no matter the scheme. We then consider the process of regularization on backgrounds that transition in and out of inflation to radiation domination. Although scales corresponding to the beginning and end of inflation can be shown to merely parameterize rather than regulate UV divergences, one finds that nominally IR divergent contributions on a dS background are cured in the examples we consider.Footnote 8 In attempting to repeat this process for divergences associated with vacuum tensor perturbations, one immediately encounters the need to work with a form of the stress tensor that does not assume a prior scale separation in its construction if one is to integrate over all momenta in intermediate steps. We derive an improved stress tensor for gravitational waves, highlighting its advantages relative to the Isaacson form for applications to primordial observables, and address the relevance of our observations for extracting various cosmological bounds, before offering our concluding remarks. Various details are deferred to the appendices.
This article is intended as a practical tour for the regularization and renormalization of nominally divergent quantities on backgrounds of cosmological interest using well-established techniques, although applied to a context where following through on the details is informative to the point of novelty. For this reason, we focus on the simplest possible applications one could think of given the richness of the problems already encountered there—that of minimally coupled non-interacting test scalar fields, and vacuum tensor perturbations sourced by the background expansion. Moreover, we work in a formalism that should be familiar to most practicing cosmologists: two-point functions, power spectra, and spectral densities, all constructed through the intermediary of mode functions derived on a Friedmann–Robertson–Lemaître–Walker (FRLW) slicing, as opposed to working in a fully covariant formalism (see e.g., [3, 4] and references therein). The reason for this is as practical as it is editorial—although the classic references exert a great deal of effort in the study of the regularization of divergences, they are notably sparse in detail when it comes to the process of following through on renormalization though imposing renormalization conditions,Footnote 9 which are typically imposed on observables that convolve Fourier space quantities. In the interests of accessibility for the target audience, full covariance is sacrificed for clarity.
2 Preliminaries: regularization of stress tensors and correlation functions
All physical observations consist of some sort of energy or momentum transfer between propagating degrees of freedom and some form of detector or tracer, whether directly or indirectly. Although correlation functions serve as a convenient calculational intermediary between any given (effective) description valid during the primordial epoch and observables at late times, they are not necessarily directly observable by themselves. They can, however, be related to observations at later times by acting upon them with the appropriate derivatives to extract energy and momentum, and subsequently convolving them with transfer functions that encapsulate how they are processed by the intervening cosmological evolution (see e.g., [60] for a review). Correlation functions are typically computed in Fourier space, whereas the observations they relate to are made at some fixed temporal and spatial location and involve the coincident limits of bilinear or higher point functions, necessitating subtraction of UV divergences associated with this limit. Well-defined coincident limits also implicitly depend on the IR behavior of correlation functions, in that any divergences encountered in the latter must cancel between all contributions in convolution with the transfer function for well-defined physical observables in any self-consistent calculational setup. In what follows, we elaborate on the process of extracting and subtracting these divergences as appropriate on backgrounds that transition through different epochs. We first focus upon the divergences associated with vacuum two-point correlation functions and the associated energy momentum tensors of scalar fields, after which we shift our attention to gravitational waves. To do this, we need to establish some preliminary facts and conventions for the discussion that follows.
The energy momentum tensor for a non-interacting, minimally coupled test scalar field \(\phi \) on an FRLW background is given by
from which we can extract
where we work in conformal time, and primes denote derivatives with respect to conformal time. The above is a local density that we can rewrite as the coincident limit of a bilinear form as
where
Given the Fourier transform convention for the corresponding field operator \({\hat{\phi }}\)
where the argument distinguishes the field operator in position space from its Fourier component, and the definitionFootnote 10
We can express the two-point correlation function as
where we have assumed statistical isotropy to perform the angular integrals, and \(r:= |x-y|\), and will work with the adiabatic vacuum associated with a given background in what follows. For inflationary spacetimes, this will be the usual Bunch–Davies vacuum state. The coincident limit of Eq. (7) can be expressed as
and the coincident limit of Eq. (4) can similarly be expressed as
where we have used the shorthand
In terms of canonically normalized mode functions \(\phi _k(\tau )\) of the appropriate adiabatic vacuum, the free field operator admits the expansion
where \([{\hat{a}}_{k}, {\hat{a}}^\dag _{-k'}] = (2\pi )^3\delta ^3(k + k')\), so that
and so that Eq. (9) can be expressed as
On a purely dS background, the mode functions for a massless field are given by
so that the late time power spectrum for a massless test scalar is exactly scale invariant with amplitude determined from the Bunch–Davies vacuum as \({\mathcal {P}}_\phi = \left( \frac{H}{2\pi }\right) ^2\), where H is the Hubble factor that defines the dS background, so that Eq. (8) reduces to
This above is evidently divergent in both the UV and IR. Qualitatively similar divergences are encountered when one constructs the corresponding energy momentum tensor, as we attend to in the next section, warranting a detour on the different approaches one might adopt to regularize expressions like the above where important caveats immediately arise.
2.1 Regularization scheme (in)dependence
Given the absence of any scale in the integrand in Eq. (15), the integral vanishes in mass-independent regularization schemes such as dimensional or zeta function regularization (see e.g., the relevant chapters of [1, 2]). One might perhaps be wary of this and imagine instead regulating such an expression by imposing hard cutoffs in both the UV and the IR. However, one is immediately presented with a choice as to precisely how. For instance, [55] adopts cutoffs in terms of physical momenta on the basis that since IR divergences must cancel in all physical processes, the IR scales associated with these must be expressed in terms of physical scales. On the other hand, [61] argues that it is more practical to adopt cutoffs in terms of comoving momenta for IR divergences given that the existence of a pre-inflationary phase ought to serve as a natural regulator where the distinction becomes less relevant (in the sense that it leads to only sub-leading corrections).Footnote 11 Although we explicitly demonstrate the nature of a pre-inflationary phase as an IR regulator in subsequent sections, we wish to stress that aside from the expected scheme dependence that will drop out of physical quantities once renormalization conditions are imposed consistently,Footnote 12 using hard cutoffs in physical momenta works particularly straightfowardly for matching with the logarithmic UV divergences one can extract from scaleless integrals, and moreover leads to straightforward identification of the requisite counterterms. Simply put, one can arrive at the same expressions for the logarithmic running of physical quantities regardless of regularization scheme with sufficient care, as is to be expected. The fact that UV and IR divergences can be extracted and separated from scaleless integrals may come as a surprise to those used to discarding them, so it behooves us to elaborate on this in detail.
2.2 UV and IR divergences in mass-(in)dependent schemes
Reconsider the scaleless integral Eq. (15), which can formally be rewritten as
where the formal manipulations that result in the above render this integral to be Euclidean by default. We see that Eq. (16) is a specific case of the more general form [2]
Formally, Eq. (17) evaluates toFootnote 13
which permits analytic continuation to non-integer values of D. Re-expressing the two-point function Eq. (15) via Eq. (16) asFootnote 14
we see via Eq. (18) that this evaluates in \(D = 4 - \delta \) dimensions to two equal and opposite contributions of the form
where \(\gamma _E\) is the Euler–Mascheroni constant, and \(\mu \) is some arbitrary mass scale necessitated by dimensional deformation. The sum of the two contributions can be written as
where we have artificially given a separate label to the dimensional deformation parameters \(\delta \) and \(\mu \) from the two terms to distinguish the UV and IR divergent contributions in Eq. (19), illustrating the anatomy of how dimensional regularization works in canceling two separately divergent contributions by default.
It is informative to compare this result with the outcome of imposing hard cutoffs. Whether we chose to do so in Eq. (15) in terms of physical momenta (where \(\Lambda _{\mathrm{UV/ IR}} = a\, k_\mathrm{UV/ IR}\)) or in terms of comoving momenta (where \(\Lambda _\mathrm{UV/ IR} = k_{\mathrm{UV/ IR}}\)) is immaterial in the context of logarithmic divergences which only sees ratios of these scales:
From this, we see that in spite of the fact that scaleless integrals vanish under dimensional regularization, factorizing them into a sum of scaleful integrals allows one to match the coefficients of the UV divergent logarithms in Eq. (21) with those in Eq. (22) obtained by imposing hard cutoffs in physical momenta. As we show in subsequent sections, this will also be true no matter the background.
3 Non-interacting test scalar fields
In this section, we examine divergences in the two point correlation function and energy momentum tensor for non-interacting, minimally coupled massless test scalar fields on dS and quasi dS backgrounds, as well as that for sufficiently light massive scalar fields on a dS background. All divergent integrals turn out to be scaleless, a feature that persists even when one considers a background that transitions from a pre-inflationary epoch through to inflation and exiting to a terminal phase of radiation domination. Nevertheless, one can extract UV divergences via the techniques elaborated in Sect. 2.2 and compare with what one would have obtained with a hard cutoff in physical momenta, recovering identical coefficients for the logarithmic divergences.
3.1 Divergences: (quasi) dS backgrounds
On backgrounds that deviate from dS, one has to be careful to factor in the difference in the scale factor from the pure dS form of \(a(\tau ) = -1/(H\tau )\). For constant but non-zero \(\epsilon := -\dot{H}/H^2\), as is the case during power law inflation for instance, one has \(a(\tau ) = 1/[-\tau H_0]^{\nu -1/2}\), where \(\nu = \frac{3 -\epsilon }{2(1-\epsilon )}\) (and where the integration constant \(H_0\) corresponds to the value of H at \(t = 0\) in cosmological time—cf. [60]). The net result for the coincident limit of the two-point function for a massless scalar field on a background corresponding to constant \(\epsilon \) is given by
or more generally,
where the ellipses denote terms that vanish in the \(\tau \rightarrow 0\) limit and the \(\sim \) indicates a numerical pre-factor that is close to unity for \(n_s \approx 1\) (and tends to it in the dS limit). In the dS limit, we find the relatively simple expression
which supplements Eq. (15) with a sub-leading correction in the late time limit, notable relative to the analogous expression on quasi dS Eq. (24) in that Eq. (25) is exact for all times. The scaleless nature of Eq. (24) implies that it vanishes when regularized in any mass-independent scheme. Instead, one might contemplate imposing a hard UV or IR cutoff in physical momenta by setting \(k_{\mathrm{UV/IR}} = a \Lambda _{\mathrm{UV/IR}}\), and subtracting the UV divergence with the necessary counterterm. Doing so for the expression Eq. (25), one finds (see e.g., [55])
where \(\mu \) is some arbitrary renormalization scale. We note that the counterterm that subtracts the UV divergence in Eq. (26) is given by
corresponding to a scheme-dependent renormalization of the cosmological constant.Footnote 15 That these expressions are independent of time is a consequence of having imposed a physical cutoff on a dS invariant background. The remaining IR divergence is indicative of the fact that we have not yet arrived at something that can be processed into an observable quantity. It could end up being canceled by other contributions when we compute a well-defined observable, or it could herald the need for resummation in which case it will also eventually get canceled. It could also indicate that the background we are attempting quantization around is not what it seems [65], and additional physical inputs are required to proceed. As we will show explicitly in what follows, were we to abandon the assumption that inflation was past dS eternal, then all IR divergences cancel among themselves and are in effect regulated by the scale corresponding to the beginning of inflation.
It is informative to compare what we would have obtained if we had dimensionally regularized Eq. (25) instead. We first note that the scaleless nature of the integral permits us to change variables to \(q:= k/(a H_0)\) for any fixed time. Hence, the integral we need to evaluate can be factorized as in Eq. (19) as:
where \({\widetilde{m}}:= \mu /H_0\) is some auxiliary dimensionless mass scale. The first and second terms above are power law and log divergent in the UV, respectively, whereas the third term is IR divergent. The UV divergences must, of course, be subtracted by an appropriate counterterm. One finds after cancellations between the contributions from the first and second terms of Eq. (28), a remaining UV divergence
which is to be compared to Eq. (27).
The situation for quasi dS is more complicated if one were to regularize it in a mass-dependent scheme, as is evident from Eq. (24). Nevertheless, it is still worth elaborating upon provided we simplify matters by further specifying that the background corresponds to that of eternal power law inflation, defined by a constant but non-zero \(\epsilon \), so that \(n_s - 1 = -2\epsilon - 2\epsilon ^2 +...\). We will address the more realistic case of finite duration inflation next. One finds from inspection of the integrand of Eq. (24):
that the first term results in
and the second term results in
where whether \(\Lambda \) is an IR or UV cutoff depends on the value of \(n_s\). By rewriting Eq. (24) as a function of the slow roll parameter \(\epsilon \)
we find that in the quasi dS limit (\(\epsilon \ll 1\)) the first term gives a logarithmic divergent contribution
and the second term a power law UV divergence
The interpretation of the IR divergences is as discussed above, while the UV divergence must be subtracted with a local counterterm if we are to obtain physically meaningful quantities. For small \(\epsilon \), the counterterm is given by
where again \(\mu \) is some renormalization scale and given that \(\Lambda _{\textrm{UV}} \gg \mu \), we have neglected the sub-leading dependence on \(\mu \) in the second equality. We first note that the required counterterm is time dependent, which should not come as a surprise given that the background is no longer maximally symmetric. It behooves us to elaborate on the specific form of the local counterterm that could possibly have this particular time dependence. Noting that on the specified power law inflating background, \(\dot{H}, H^2 \sim a^{-2 \epsilon }\), so that curvature squared invariants evaluated on this background have the required secular dependence. That is, Eq. (36) derives from
which are the usual leading curvature squared counterterms encountered in the effective field theory treatment of gravity [66,67,68,69].
As before, we can retrace the same computation using dimensional regularization. We first consider the separate contributions to the integrand Eq. (33). The logarithmic divergent contribution can be re-expressed as
where we have switched to the dimensionless variable \(q:= k/H_0\), and similarly for \({\widetilde{m}}:= \mu /H_0\). By isolating the UV pole, we find that the presence of the non-integer exponents eliminates the \(\delta \) poles and we obtain that in the quasi dS limit the first term resultsFootnote 16
The second term of Eq. (33) can be rewritten as
where just as we did on dS space, we work with dimensionless variables \(q:= k/aH_0\) and \({\widetilde{m}}:= \mu /H_0\). Using Eq. (18), we see that power law UV divergences cancel among themselves, and so do not necessitate any counterterms. In conclusion, we find that the counterterm in the quasi dS limit results in
The generalization to massive fields is straightforward on dS backgrounds, where analytic expressions for the mode functions can be obtained:
where
and where \(H^{(1)}_{\nu _m}\) is the corresponding Hankel function with degree \(\nu _m\). Presuming \(0 < m^2 \le 9H_0^2/4\) so that \(\nu _m\) is still real, the coincident limit of the two-point function at late times can then be computed as
It is notable that in spite of the presence of the additional mass scale m, the integral remains scaleless.Footnote 17 Here also, we can make the change of variable to \(q = k/(aH)\), so that the above can be recast as
where the first thing to note is that the IR divergence encountered for a non-interacting massless scalar on dS is eliminated given that \(\nu _m < 3/2\).Footnote 18 Proceeding exactly as before, we can compare the UV divergence obtained from imposing a hard cutoff in physical momenta to that obtained by factorizing the scaleless integral in dimensional regularization. In the limit \(m^2/H_0^2 \ll 1\), one finds that the required counterterms are given by
and
where again, one takes the limit \(\delta \rightarrow 0\) to regularize the integrals before taking the limit \(m^2/H_0^2 \rightarrow 0\). In both cases, the required counterterm corresponds to a renormalization of the cosmological constant.
Having labored over the details of regularizing and renormalizing divergences for the two point function of test scalar fields, repeating the exercise for the associated stress tensor may seem a straightforward extension. However, we immediately encounter a difficulty: it is not always possible to construct a counterterm that subtracts the UV divergences encountered from background geometric invariants if the regularization scheme itself does not respect this symmetry. This is not to a concern to be casually dismissed,Footnote 19 as persisting with this regularization scheme could lead us to the erroneous conclusion that the background we attempted to quantize around is transmuting into something else under renormalization if not worked through to the end. It is here that dimensional and related zeta function regularization techniques distinguish themselves in theories with general covariance, as they effortlessly preserve the symmetries of the background even if the precise mechanism by which this occurs can seem non-trivial. For this reason, it is worth explicitly tracing through this process in detail.Footnote 20
Consider a minimally coupled non-interacting test scalar field on dS space in the Bunch–Davies vacuum. The rotational invariance of the vacuum state allow us to write the non-vanishing components as
and
with all other components of the energy momentum tensor vanishing. From the asymptotic forms of Eq. (42), one can infer that both integrals are UV divergent. The energy density in the massless limit is straightforwardly computed via Eq. (14), and found to be
and the corresponding pressure is found to be
Although one can regularize both components through imposing physical cutoffs, one is immediately confronted by the fact that the required counterterm for the leading divergences will not be proportional to the metric or the Ricci tensor on the presumed dS background (which would correspond to renormalizations of the cosmological and Newton’s constants). This is not the case when one implements dimensional regularization, which may seem rather non-trivial considering the forms that Eqs. (48) and (49) take. Although a fully covariant formalism to regularize stress tensors using mass-independent schemes is the industry standard (as elaborated upon in [3, 4]), it is nevertheless informative to trace through this process for the foliation specific forms Eqs. (48) and (49), as we do in Appendix A.
The important lesson to draw from this is that regularizing the divergence of just one particular component of the stress tensor (such as the energy density) is not enough. Computing physically sensible quantities derived from the energy momentum tensor in a reliable manner necessitates constructing the appropriate counterterm, without which renormalization conditions cannot be consistently imposed. If the required counterterm cannot be constructed from background quantities in a particular regularization scheme, then all subsequent conclusions will necessarily be scheme dependent, and therefore unphysical. For this reason, regularization schemes that preserve general covariance such as dimensional or zeta function regularization are preferred in this context. In spite of this caveat, however, one can still be forgiven for using hard cutoffs in physical momenta when restricted to calculating logarithmic divergences, as one can show the result to be identical to what would have been obtained in a mass-independent scheme. We will return to this point with regard to the regularization of the stress tensor for gravitational waves in the next section.
3.2 Divergences: scalar fields and finite duration inflation
Having acquainted ourselves with the basics of regularizing and renormalizing divergences for familiar quantities, one would like to generalize this to backgrounds that realistically model the universe we inhabit. In particular, one might wonder if the fact that we only obtained scaleless integrals in the previous subsections is an artifact of considering the unrealistic scenario of infinite duration inflation. We show that this situation persists even when we consider a cosmology that transitions between different epochs.
For inflation to have finite duration by definition, we must be considering an epoch before and after inflation, which we choose to be radiation domination in both cases. We consider the scale factor to evolve as
where \(a_{\textrm{R}}\) is the scale factor at reheating, and \(\tau _\textrm{I}\) and \(\tau _{\textrm{R}}\) correspond to the (negative) conformal time at the start and end of inflationFootnote 21 respectively, and
is the total amount e-folds of inflation. The domain of \(\tau \) is \((-\infty ,\infty )\) with inflation occurring during negative conformal time. With these definitions, the Hubble rate during inflation is given by
In what follows, we keep the normalization \(a_{\textrm{R}}\) arbitrary, although one can readily set \(a_{\textrm{R}} \equiv 1\) for convenience in what follows. Here again, we focus on a massless, minimally coupled non-interacting scalar field for illustrative purposes. The mode functions during the terminal stage of radiation domination can be rewritten for the purposes of a matching to the end of inflation as
The mode functions during inflation are given by
where the presence of non-trivial Bogoliubov coefficients come from having matched to a radiation dominated pre-inflationary phase initiated in the adiabatic vacuum, where the mode functions are given by
One first obtains \(\alpha ^{\textrm{I}}_k\) and \(\beta _k^{\textrm{I}}\) by matching to the pre-inflationary radiation dominated epoch, so that
Similarly, after the matching between inflation and radiation dominated era, one finds that \(\alpha ^{\textrm{R}}_k\) and \(\beta _k^\textrm{R}\) are given by
We now use these results to find expressions for the coincident limits of the two point function and \(\rho \) during the terminal stage of radiation domination. The two-point correlation function coincidence limit can be expressed as
where the first line has used \(|\alpha _k^{\textrm{I}} |^2 - |\beta _k^\textrm{I} |^2=|\alpha _k^{\textrm{R}} |^2 - |\beta _k^{\textrm{R}} |^2 = 1\), and the second line splits the integrand into strictly power law contributions and oscillatory contributions. From Eqs. (58) and (59), we find that
which nominally appears to have aggravated the IR divergence of the two point function. However, as we demonstrate in Appendix B, although the oscillatory terms can indeed be neglected for the purposes of extracting UV divergences, the oscillations freeze in the IR and exactly cancel the contributions from \(|\beta ^{\textrm{R}} _k|_{\textrm{power}}^2\). Specifically, one finds that
which cancels the contributions from \(1 + 2|\beta ^{\textrm{R}} _k|_\textrm{power}^2\), leaving only the UV divergence resulting from the final term of Eq. (62) to reckon with:
where as before, \(e^{-{\mathcal {N}}_{\textrm{tot}}} = a_{\textrm{I}}/a_{\textrm{R}}\). Two things are to be immediately noted. Firstly, that the physical UV and IR scales \(k_{\mathrm{IR/ UV}} = a_{\mathrm{I/R}} H\) associated with the beginning and end of inflation do not by themselves regulate the UV divergences. Instead, they merely parameterize the divergence through their ratio \(k_{\textrm{IR}}/k_{\textrm{UV}} = e^{-{\mathcal {N}}_\textrm{tot}} \) in the pre-factor above. Furthermore, the pre-factor itself diverges as \({\mathcal {N}}_{\textrm{tot}} \rightarrow \infty \), indicative of the restoration of the pathologies of a past infinite dS space in that limit, where, moreover, a logarithmic IR divergence reappears. This is perhaps best illustrated by Fig. 1, where we plot all contributions of the power spectrum for finite duration inflation (identified through the logarithmic integrand of Eq. 60) along with what would have resulted for a past-infinite dS cosmology matched to a terminal phase of radiation domination.Footnote 22
The UV divergence is unsurprisingly unchanged and can be subtracted with a cosmological constant counterterm if one were to impose a cutoff in physical momenta.Footnote 23
In computing the energy density \(\rho \), we begin with
and use Eq. (55) to express the energy density during radiation domination as
where the integrated contribution of \(\Omega ^\phi _{\textrm{osc}}\), defined as \(\rho _{\textrm{osc}}\) is given in Eq. (B13), and it is explicitly shown not to contribute to any UV divergences. As was the case with the two point function, the contributions form Eq. (61) that nominally appear to aggravate IR divergences in the context of Eq. (65) are canceled by contributions from the oscillatory terms that freeze out in the IR. One can expand the sum of all contributions in the IR to find the IR safe scaling \(\Omega ^\phi _{\textrm{tot}} \propto k^4\), to be compared to what would have been obtained had there been no pre-inflationary phase, where \(\Omega ^\phi _{\textrm{tot}} \propto k^2\). We illustrate this behavior, and the processing of the logarithmic spectra power density as we go deeper into the radiation dominated regime in Fig. 2, where the sub-horizon decay compensates for the \(k^{2}\) scaling for the modes that exited the Hubble horizon during inflation to produce a scale invariant spectral density during radiation domination. We further note the additional long wavelength suppression of the spectral density for a pre-inflationary phase relative to past eternal dS.
Returning to Eq. (65), we see that upon inserting Eq. (61), the only divergences that need to be regulated are given by the contributions
where again we recast the logarithmic integration into the formally equivalent 4D Euclidean form as per Eq. (16), and change integration variables to physical momenta \(q = k/(a_{\textrm{R}}H)\). We stress that all factors of H in the expressions above correspond to the Hubble parameter during the intermediate phase on inflation, which is presumed dS and therefore fixed as per Eq. (54).
One can proceed from here as we did in the previous subsection in comparing the results from imposing cutoffs in physical momenta with that of dimensionally regularizing factorized scaleless integrals for the energy density, with the caveat that the counterterms are strictly speaking only to be identified only through a scheme that preserves diffeomorphism invariance as per the discussion at the end of the previous subsection. By imposing cutoffs in physical momenta: \(k = a\Lambda _{\textrm{UV}}\), we see that the first term in Eq. (66) corresponds to a divergence of the form
and the third term corresponds to a divergence of the form
which would nominally be subtracted by a counterterm proportional to R were we to insist on hard cutoff regularization. The former, when varied with respect to the metric, yields the contribution \(R_{\mu \nu } \sim 1/a^4\) and thus corresponds to a renormalization of Newton’s constant. Finally, the second term in Eq. (66) results in a divergence of the form
where the scale \(\Lambda _{\textrm{IR}}\) does not have the same significance as before given the IR safe behavior of the spectral density, and where the above also corresponds to a renormalization of Newton’s constant. We note that the scales corresponding to the beginning and end of inflation appear in the coefficient of the logarithm, whereas the UV scale corresponding to the unknown completion the theory appears inside the logarithm.
Were we to now dimensionally regularize the divergences as advised, we can perform a similar factorization of the scaleless integrals as in the previous subsection. The nominally power law divergent parts can be isolated as
where we see that power law UV divergences cancel among themselves, and so do not necessitate any counterterms. On the other hand, the UV divergent logarithmic term can be isolated and factorized as
By isolating the logarithmic UV poles, we find
from which we read off an identical coefficient as computed in Eq. (69).Footnote 24 For completeness, we show in Appendix C that the coefficient of the logarithmic divergence obtained from point split regularization in the FRLW slicing is also identical, with the same power law divergences identified in physical cutoff regularization up to the expected scheme dependence in the coefficients of the latter.
To summarize our findings in this subsection: the scales corresponding to the beginning and end of inflation must in principle be separated from any UV and IR scales parameterizing the unknown completion of our theory and well-defined observable quantities. Although physical quantities cannot depend on the latter, they may certainly depend on the former. We found that all IR divergences encountered in the simplified settings we worked in were regulated by the existence of a pre-inflationary phase, and therefore an artifact of the approximation of a past infinite dS phase. A highly pertinent question is whether this persists once we move to incorporate higher point interactions and couplings with other test fields. Unsurprisingly, UV divergences persist for backgrounds corresponding to finite duration inflation, and the scale corresponding to the end of inflation parameterizes their coefficients rather than regulating them. Upon subtraction of these divergences with local counterterms and the imposition of renormalization conditions, one is able to draw meaningful physical conclusions. However, the two point function and stress tensor of a test scalar field are of relatively academic interest given the assumed negligibility of the scalar field background, and therefore inability to fix renormalization conditions from observation. The analogous set of questions for vacuum tensor perturbations presents a far more interesting application given the assumption of an evolving background gravitational field (that of FRLW cosmology), perturbations around which represent gravitational waves, which is where we turn our attention toward the next.
4 Gravitational waves
Before delving into the substance of this section, it is informative to contrast the results obtained in the previous section to analogous expressions typically found in the literature in the context of gravitational waves (see e.g., [70,71,72,73,74,75,76,77,78,79,80,81,82,83]), where imposing hard cutoffs on the energy density of gravitational waves results in expressions of the form:
where \(k_*\) is some reference IR scale, and the approximation is only valid when \(n_t \rightarrow 0\) [70]. We deconstruct and rederive the energy density for vacuum tensor perturbations in what follows, but before doing so, it is useful to compare what one would have obtained in retracing the steps leading to Eq. (73) for a massless test scalar field, which would have resulted in the expression
which can directly be compared to the divergences computed in Eqs. (67)–(69) from hard cutoffs in physical momenta and Eq. (72) from dimensional regularization, all of which are understood to be intermediate expressions that are to be subtracted and renormalized.
An immediate reservation one might express for expressions such as Eq. (73) is the appearance of cutoffs in what should be a physical result. Although one might argue that the effects of UV and IR modes are negligible relative to what can be extracted from Eq. (73), its form nevertheless suggests that the expression above is an intermediate result on the way to computing a physical energy density. Moreover, one might be concerned in applying the formula Eq. (73) to the case of blue tilted spectra (i.e., for positive \(n_t \sim {\mathcal {O}}(1)\), so that \(\rho _{\textrm{GW}} \sim (k_\textrm{UV}/k_*)^{n_t}\) as derived in e.g., [70]), that some part of this expression is nothing other than the Fourier transform of a UV divergence that gets subtracted in the usual way. The particular case of \(n_t = 3\) is particularly interesting in this context, as part of it is exactly mimicked by the familiar quadratic UV divergence from the perspective of cutoff regularization, necessitating greater care in the interpretation of such power spectra. In spite of this caution, it is both practical and straightforward to follow through this process to the end to ensure that one is computing well-defined physical observables. In the specific context of vacuum tensor perturbations, however, additional subtleties must be accounted for.
The formula for the stress energy tensor of gravitational waves was first derived by Isaacson in the context astrophysically sourced gravitational waves [84] (see also [85, 86]), which is nevertheless extensively referenced in computations of the stress energy tensor of cosmological gravitational wave backgrounds,Footnote 25 and is given byFootnote 26
However, retracing the steps used in its derivation, it becomes immediately clear that one needs to proceed with extra care for applications in a cosmological context, in particular when considering questions of renormalized stress tensors in prescriptions that involve integrations over all momenta.Footnote 27 This is because the Isaacson form presumes a prior scale separation between fast and slow frequencies defined relative to the curvature scale of the background (a criteria that is time dependent), and repeatedly relies on this scale separation along with the implicit averaging prescription to facilitate various approximations resulting in the simplified final form Eq. (75). In the context of an expanding spacetime, with modes of observational relevance that might have crossed any a priori defined scale more than once over cosmic evolution, undoing the steps that relied on these approximations is warranted. We do so in Appendix D, retracing the derivation of the stress tensor for gravitational waves, finding the resulting expression for the energy density.Footnote 28:
where \({\mathcal {H}}:= a'/a\). The derivation is straightforward, and follows from the same starting point as the derivation leading to Eq. (75), but with any steps that invoked a time averaging prescription or frequency separation left undone (we elaborate on the details in Appendix D).
It is worth stressing that Eq. (76) is the temporal component of a covariantly conserved tensor, and is under no obligation to be conserved in isolation. This is a corollary of the fact that on FRLW backgrounds, a locally conserved energy cannot be defined. Moreover, it is also under no obligation to be positive definite. In fact, were one to insist of constructing the spectral density associated with the vacuum expectation value of Eq. (76), one can show that it crosses zero at a comoving scale corresponding to the horizon scale at any given time, consistent with the operational ambiguity of associating a background/fluctuation split for wavelengths commensurate with the background curvature. However, none of this is of any operational concern for our purposes, as we stress that Eq. (76) is to be viewed as the components of a covariantly conserved tensor corresponding to a massless spin two excitation, whose role in renormalization of background quantities is well understood in the covariant context, but obscured and widely conflated for a physical contribution to the number of relativistic species in foliation specific computations as we elaborate upon next. The specific computation we are interested in performing is the renormalization of the graviton stress tensor on a background corresponding to radiation domination preceded by a finite period of inflation. In doing so, we will compare and contrast the results obtained from both the Isaacson and improved forms of the stress tensor, before revisiting the question of \(N_{\textrm{eff}}\) bounds from vacuum tensor modes and concluding.
4.1 Divergences: vacuum tensor modes and finite duration inflation
Working in transverse-traceless (TT) gauge (see Appendix D for the relevant details and caveats), we expand the tensor perturbations as
with polarization tensors normalized as \(\epsilon _{ij}^{s} \epsilon _{ij}^{r*}=4 \delta ^{rs}\), \(k^i \epsilon _{ij}^{r}=0\). The normalizations are chosen so that the relevant mode functions during inflation and the pre and post-inflationary phases of radiation domination are given for each polarization just as for massless minimally coupled scalars.Footnote 29 These are:
during the pre-inflationary phase,
during inflation, and
during the terminal radiation dominated phase. The corresponding Bogoliubov coefficients are the same as those given in Eqs. (58) and (59).
An immediate corollary of the above is that the two-point correlation function of each graviton polarization is identical to that of a massless, minimally coupled scalar. Therefore, as illustrated in Fig. 1a and b, one finds that the IR divergences exhibited on a past infinite dS background are also cured for the graviton two-point function on a background corresponding to finite duration inflation.
The energy density of gravitational waves presuming the Isaacson form of the stress tensor Eq. (75) results in (with the reduced Planck mass defined as \(M^2_{\textrm{pl}} = \frac{1}{8 \pi G_N}\)):
as the tensor mode counterpart of Eq. (64), after having summed the contributions from the two independent polarizations.
Using the mode functions specified by Eqs. (80), the relations 59, and tracing through the steps of the previous section, we find
where, as we did for the scalar case, we similarly separate the spectral density into oscillatory and power law contributions, and all contributions to \(\rho _{\textrm{gw}}\) can be found in Eq. (B15). Even though the Isaacson form of the stress tensor is not strictly valid when incorporating wavelengths greater than the Hubble scale at any given time, naïvely persisting with it for all wavelengths would show an IR regular spectral density \(\Omega ^{\textrm{gw}}_{\textrm{total}} \propto k^2\), with oscillatory contributions contributions giving negligible contributions in the UV. Consequently, one only has the resulting UV divergent contributions to regulate:
which, up to overall factors, is formally identical to the contributions Eq. (66), and whose subtraction proceeds along the same lines.
Were we to consider the improved stress tensor Eq. (76) (which does not invoke a scale separation or time averaging prescription), one would obtain
as the counterpart of Eq. (81) that is now valid for for all wavelengths. Using the mode functions and normalizations specified above, one finds
where we can again separate the spectral densityFootnote 30 into oscillatory and power law contributions, where all contributions to \(\rho ^{\textrm{Imp}}_{\textrm{gw}}\) can be found in Eq. (B16).
One again finds that the spectral density summing all contributions in the IR goes as \(\Omega ^{\textrm{gw}}_{\textrm{total}} \propto k^2\), albeit with a negative overall coefficient (cf. the discussion below Eq. 76), with the following divergent contributions in the UV that necessitate subtraction
For illustrative purposes, we plot the power spectral densities of the (time unaveraged) Isaacson and improved forms of the stress tensors in Fig. 3. For sub-horizon modes, where a positive spectral density results, the improved stress tensor evaluated at any given time does not exhibit oscillations.Footnote 31 In proceeding to regularizing divergences, we can identity the various UV divergences is different schemes, finding identical coefficients for the log divergences in all of them. By imposing cutoffs in physical momenta (\(k = a\Lambda _{\textrm{UV}}\)) on the identifiably UV divergent terms above, we obtain
and
If instead we were to now isolate the power law UV divergent parts and dimensionally regularize, we would obtain
which, as for the dimensionally regularized scalar case Eq. (70), has the divergent contributions canceling among themselves and not necessitating any counterterms. The logarithmic divergence can be expressed as
Lastly, one can point split regularize Eq. (83) by commuting the coincident limit with the momentum integrations, so that one has to evaluate
which can be shown to result in the UV divergent contributions
where as before \(\sigma = a r\) and \(k_p:= k/a\) are physical quantities. We mote that the coefficient of the logarithmic divergence is identical, with the minus sign reflecting the fact that \(\sigma \rightarrow 0\) inside the point split logarithm, whereas \(\Lambda _{\textrm{UV}} \rightarrow \infty \) with hard cutoff regularization, the results of which can be collected and summarized as
and also compared to the answer obtained via dimensional regularization
After having subtracting divergences with the appropriate counterterms, a finite remainder remains that needs to be fixed by the imposition of renormalization conditions by observations at a given scale. This is to have a predictive theory with which we can calculate the results for any subsequent observations. As cautioned in the previous section, one may not be able to do this reliably unless one uses regularization schemes that preserve the symmetries of the background so that the required counterterms can be consistently identified (see Appendix A for more details). For this reason, we stick to dimensional regularization in what follows, although covariant point splitting methods also offer a practical alternativeFootnote 32 [3, 90,91,92,93,94,95].
To understand which counterterms we need to add to reabsorb the divergences in dimensional regularization, we need only to look at the scale factor dependence of the divergences in Eq. (A9). However, we immediately notice that the divergences we have computed do not necessitate higher derivative counterterms beyond those already in the Einstein–Hilbert action. To understand why this is, we trace through a treatment that uses adiabatic regularization to renormalize the stress tensor of a non-minimally coupled test scalar field [96], where mode functions are adiabatically expanded to regularize divergences and identify counterterms. Higher orders in the adiabatic expansion necessitate successively higher-order counterterms. The adiabatic solution of order zero is regularized by a cosmological constant counterterm, the second-order solution by a curvature counterterm, with curvature squared counterterms needed to renormalize divergences that appear only at fourth order in the adiabatic expansion. In our example, the simplicity of the example of a minimally coupled massless field permits the exact computation of the mode functions via a matching calculation, obviating the need for any adiabatic approximation. Terms that would correspond to higher-order adiabatic corrections would only be necessitated were one to consider massive fields, couplings to other massive scalar fields, or by incorporating the effects of loops and higher-order gravitational and matter coupling non-linearities (see [97,98,99,100,101] for corresponding studies of adiabatic expansions for fields of different spins and masses which necessitate higher-order counterterms).
5 Renormalized stress tensors (and \(N_{\textrm{eff}}\) bounds)
We turn our attention in this section to the second and most consequential step in the process of renormalization—that of extracting physical observables after imposing renormalization conditions. We begin the discussion with the relatively academic exercise of renormalizing the stress tensor of a test scalar field on a background that transitions in and out of inflation. By virtue of not having a classically evolving background and energy density, the only effects of a test scalar will be in renormalizing background couplings in the context of the effective theory of gravity [66,67,68,69]. We return to the more interesting and physically relevant case of primordial gravitational waves next.
Our starting point is the bare matter and gravitational actions, along with the requisite counterterms:
To impose renormalization conditions after having regularized divergences, we first consider the background equations of motion
where we stress that the couplings that appear in Eq. (95) are to be understood as bare couplings, and the presence of the counterterm shifts the tadpole condition in a manner that we will shortly make precise. Given the consistency of dimensional regularization with general covariance, we can proceed by considering the above for any given component. For the 00 component, we have
where \(\rho ^{\textrm{cl}}_{\textrm{bg}}\) is the to be renormalized classical background energy density that sources the expanding geometry around which we have computed the stress tensor for the test scalar field, with corresponding energy density \(\rho _\phi \) defined as
where \(\rho _\phi ^{\textrm{cl}} \equiv 0\) for a test scalar by assumption. The background satisfies
via Eq. (52) during the terminal radiation dominated phase, where it is to be stressed again that H is the Hubble constant during the intermediate phase of inflation that enters the definition of the scale factor during radiation domination via Eq. (52). We need to identify the counterterm that absorbs the divergence exhibited in Eq. (72):
where \(\rho _{\textrm{finite}} \equiv \rho _\phi - \rho _\mathrm{\phi , div}\). We are immediately presented with a choice here— after subtracting the pole, do we proceed to (multiplicatively) renormalize Newton’s constant, or (additively) renormalize the background whose unshifted value is determined by \(\rho ^\textrm{cl}_{\textrm{bg}}\)? It turns out that this choice is rendered moot by the tadpole condition that determines the background equations of motion at any given order in \(\hbar \), in that whichever choice we make will lead us to the same shifted tadpole condition. We thus proceed by reabsorbing the pole by adding a counterterm that multiplies the Ricci scalar in the Einstein–Hilbert action with coefficient B defined as
By assigning
one subtracts the pole contribution. By defining a scale dependent gravitational coupling as
we can rewrite Eq. (100) as
where the finite remainder from the counterterm and \(\rho _{\phi , \mathrm div}\) are absorbed by the scale dependent gravitational coupling, allowing us to start imposing renormalization conditions to fix the finite parts. We do so by determining the Newtonian constant via a measurement at some energy scale \(\mu _*\), with which we can eliminate all reference to \(G_B\) and \(B_0\) via
and substituting the result into Eq. (103) to obtain
Picking \(\mu _*\) to be some scale where we have determined Newton’s constantFootnote 33 to be \(8\pi G_{N}(\mu _*) = M_{\textrm{pl}}^{-2}\) where \(M_{\textrm{pl}}= 2.435 \times 10^{18}\) GeV, we can finally express \(G_{N}(\mu )\) as
which can be used to express Eq. (104) in its fully covariant form as
where the shifted background stress tensor is defined as the sum of tree level and finite contributions on the left hand side of Eq. (104). Several things are to be immediately noted here— foremost is the minuscule nature of the scale dependence of the gravitational coupling should we phrase it that way. We could also simply view it as a multiplicative renormalization of the background matter content that sources the expansion history.Footnote 34 Given that virtual effects from test scalar fields serve only to renormalize background quantitiesFootnote 35 and impart scale dependence in observables associated with other propagating degrees of freedom (and that too, in a highly suppressed manner [63, 64]), this is the furthest we can take this exercise. The situation for gravitational waves is more interesting.
Retracing the steps above with the dimensionally regularized result for gravitational waves on a finite duration background in Eq. (A9), we end up with the renormalized background
which should be the starting point for determining any constraints on vacuum sourced primordial gravitational waves from \(N_{\textrm{eff}}\) bounds. The latter is in essence the question of how vacuum tensor perturbations renormalize the background expansion through \(1/a^4\) contributions that mimic additional relativistic species. Unlike the case for virtual test scalars, however, gravitational waves have a classically evolving background upon which they represent perturbations—the background geometry itself. Therefore, we have additional means to potentially measure the contributions from vacuum tensor modes.
We first reconsider the spectral density for gravitational waves \(\Omega ^{\textrm{gw}}(k,\tau )\), whose amplitude on the scale invariant plateau for sub-horizon modes is well defined, and given by
as plotted in Fig. 3. Let us presume that we have the means to determine the ratio \(H^2/M_{\textrm{pl}}^2\) during inflation via measurement of the tensor to scalar ratio at some pivot scale via B-mode anisotropy observations, or via the measurement of the spectral density of the stochastic gravitational wave background at some fixed scale via interferometeric means, or both.Footnote 36 In the context of Eq. (109), which can now be re-expressed as
where \(\delta _{\textrm{r}}\) is a constant since the putative tree level background and the stochastic background of vacuum tensor modes both scale as \(\propto (a/a_{\textrm{R}})^4\). Therefore, recalling that the quantities that parameterized the background on the left hand side of Eq. (97) were also implictly bare quantities, one finds that the shifted tadpole condition one obtains upon renormalization is indistinguishable from a rescaling of the scale factor normalization at reheating, or to simple shift the temperature redshift relation in an otherwise unobservable mannerFootnote 37.
Therefore, vacuum tensor fluctuations by their very nature only serve to renormalize background quantities, and do not enter as an additional effective light species as registered by \(N_{\textrm{eff}}\) bounds. This should be immediately apparent from the physical nature of \(N_{\textrm{eff}}\) bounds as measuring the ratio of propagating light species that have undergone freeze-out relative to the entropy density of the universe, which does not apply to vacuum fluctuations. This is, of course, not true for gravitons that are physically produced by some mechanism in the early universe; however, the latter will also feature a bounded integrated spectral density.
6 Concluding remarks
Divergences in primordial observables are not something cosmologists have the luxury of ignoring: every cosmological tracer corresponding to a density fluctuation samples and convolves the coincident limit of a field bilinear, necessitating subtraction. Merely regularizing, however, is not enough. The process of arriving at a physical observable is incomplete unless one follows through by constructing the requisite counterterms and fixing any finite contributions that could accompany any subtraction via the imposition of renormalization conditions. Failure to do so runs the risk of drawing unphysical conclusions that include scheme (e.g., cutoff) dependence in observables where there should not be any, or over-interpreting contributions to physical observables that are absorbed or otherwise accounted for in the process of renormalization.
Fortunately, the regularization and renormalization of divergences on cosmological backgrounds is a well understood if often elided process. In following through the details of this procedure at some length, we hope to have guided the reader through how this works in practice in a foliation specific formalism that should be familiar to most cosmologists, uncovering various novelties along the way. Not only have we elaborated on how to make sense of what one might obtain from putting hard cutoffs in physical momenta relative to what one might have obtained from dimensional regularization, we provided demonstrations of the scheme independence of logarithmic divergences and explicitly tracked this process on backgrounds that have a beginning and end to inflation. Certain nominally IR divergent quantities on backgrounds that model inflation as past infinite dS space are cured when one considers finite duration inflation. Whether this generalizes beyond the simple examples elaborated upon this review to interacting theories seems like a highly pertinent question to follow up on. We furthermore stressed the need to work with an improved stress tensor for gravitational waves that does not presume a prior scale separation in the context of cosmology, and demonstrated how the process of attempting to extract \(N_{\textrm{eff}}\) bounds from vacuum tensor fluctuations is inextricable from the process of background renormalization.
Data availability
Not applicable.
Notes
A number of practical corollaries follow from the idealization of a Minkowski background that no longer apply on curved backgrounds. These include the ability to define one particle state as irreducible unitary representations of the background symmetry group [6], the existence of a global timelike Killing vector through which positive and negative frequency solutions can be defined [3, 4] and energy scales cleanly identified to impose a separation of scales [2], in addition to the existence of in and out states and asymptotic flatness that premise the existence of an S-matrix [7].
Where IR divergences due to arbitrarily large numbers of soft quanta are compensated by phase space factors in certain scattering processes [11].
Unattributed quote recounted in Ch. 1.3 of [6].
The moral of which seemingly inverts the previous adage: just because something is zero, does not mean it is not infinite.
With the caveat that well-defined observables can be identified, which presume that some of the IR divergences in question do not signal the invalidity of the particular background quantization.
Whether this generalizes to a wider class of IR divergences, especially when higher point interactions are included is an important question that demands to be followed up on.
This is perhaps a historical corollary of the fact that many of the foundational references were written in a time where measurements of the observables they were considering (necessary for the imposition of renormalization conditions) seemed like a distant prospect, which is no longer the case.
Below and in the rest of what follows, the equal time expectation values are shorthand for in–in correlation functions. For non-interacting test scalar fields evaluated in the adiabatic vacuum, this reduces to Eq. (6) and the following.
Logarithmic divergences are special in that they involve the ratios of scales for some observable at some time, where the distinction between comoving and physical cutoffs becomes irrelevant.
That is to say, a suitable counterterm can be subtracted that does not invalidate the background field quantization prescription one has presumed.
The integral evaluates to \(\big |\frac{x^{A + D/2}}{2A + D} {}_2F_1[B,\,A + D/2,\,1 + A + D/2,\,-x]\big |^\infty _0\) with Eq. (18) coming from the upper limit along with additional divergent contributions from the upper and lower limits if \(A - B + D/2 > 0\) or if \( A + D/2 < 0\), which are subleading to the divergences in Eq. (18) for integer values of A and B as \(D\rightarrow 4\).
Dimensional regularization requires us to deform the dimension of every quantity that depends on spacetime dimension, including the mode functions on the background in question. This is especially crucial in the context of loop corrections in the presence of interactions [62,63,64], where spuriously large loop corrections might otherwise be inferred. However, because we only consider bubble diagrams of non-interacting fields in what follows (with no external momenta), the result of doing so contributes only additional finite contributions and will be elided in what follows.
We note that imposing a comoving cutoff in the limits of Eq. (26) instead of a physical cutoff would have resulted in a time dependence in the required counterterms (at odds with the dS invariance of the vacuum state) and would have necessitated further gymnastics to arrive at any physically meaningful quantity.
Note that we are required to take the limits in the order \(\delta \rightarrow 0\) and then \(\epsilon \rightarrow 0\). To do the opposite would mean to have regularized on a dS background first and then deformed the background in the hopes that no new divergences will have appeared through this process. One can show that this is not justified on general grounds [3], and is seen directly from the proliferation of higher-order \(\delta \) poles encountered when taking the limits in the opposite order.
This can be understood from the fact that on dS, the quantity nominally labeled mass in Eq. (43) is constructed from eigenvalues of the Casimir operators corresponding to conformal dimension and spin expressed in units of the dS radius, which remains the only scale in the problem. We thank Paolo Benincasa for pointing this out to us.
A short-lived conclusion on dS backgrounds the minute any interactions are incorporated.
An issue that did not arise for the two-point function given that its nature as a scalar bilinear.
Nevertheless, it remains true that the coefficients of the UV divergent logarithms would match regardless of whether one dimensionally regularizes or one imposes hard cutoffs in physical momenta.
Note that this puts the initial singularity at \(\tau = 2\tau _{\textrm{I}}\); however, the only manner in which the pre-inflationary phase bears on late time observables is through the choice to begin with the adiabatic vacuum evolved to the start of the inflationary epoch at \(\tau _{\textrm{I}}\).
Where factorizing the divergence in dimensional regularization as in the previous sub-section would instead see the UV contributions cancel among themselves.
One can also show that the analogous computation for the pressure component also necessitates a counterterm corresponding to a renormalization of \(G_{N}\) (i.e., resulting in a divergent contribution proportional to the spatial components of the Ricci tensor when varied with respect to the background metric) resulting in a renormalized stress tensor that is traceless on a radiation domination background. We do so explicitly for the case of tensor modes in Appendix A.
Implicit in the expectation value of Eq. (75) is an additional (Brill–Hartle) spatial and temporal averaging prescription. We presume this as implicit when discussing the Isaacson form of the stress tensor in what follows.
From now on, even if we drop the hat in the notation, \(h_{ij}\) is an operator as defined in Eq. (77)
The EOM for \(h^{ j}_{i} \) in TT gauge can be derived from the first order expansion of Einstein equation: \( \hat{h}^{\prime \prime j} _{i} + 2 {\mathcal {H}} \hat{h}^{ \prime j} _{i} - \partial _k^2 \hat{h}^{ j} _{i}=0.\)
We stress that the spectral density as defined in Eq. (85) is to be viewed as only a calculational definition for the purposes of comparison to the literature, and not be to viewed as the power spectral density of vacuum fluctuations without additional caveats.
The oscillatory behavior of the time unaveraged Isaacson stress tensor can be understood from the fact that the magnitude of the time derivative squared of a linearized gravitational wave is by itself not a constant of the linearized equations of motion (which requires restoring the spatial derivative contributions), unlike for the improved form.
The point split regularization elaborated upon here is contingent on the FRLW slicing, which permits a Fourier expansion, and so cannot be considered fully covariant.
Note that measuring the strength of the gravitational coupling can only be done via a Cavendish type experiment, typically done at laboratory scales where we have independent knowledge of the masses whose mutual gravitational force we can determine. This yet another manner in which gravity is distinguished among forces as the only force whose coupling strength we measure in the UV (i.e., mm scale) and run into the IR, rather than the other way around.
This interpretation is to be preferred if one would like keep the graviton to be canonically normalized throughout all of cosmic history, something that is implicitly taken for granted for most quoted observational results.
Noting that given the vanishing background energy density of the test scalar field, it contributes vanishingly to the curvature perturbation.
In practice, both B-mode polarization measurements and the detection of stochastic backgrounds through interferometry measure momentum transfer of gravitational waves and not the energy density associated with them. Consequently, the relevant quantity one can infer by such measurements would be the analog of the Poynting vector associated with a flux of gravitational waves, which would nevertheless still be sensitive to the ratio \(H^2/M_{\textrm{pl}}^2\).
We should also stress that although we kept the scale dependent factor in Eq. (111) for completeness, it can effectively be set to unity given the current upper bounds on the tensor to scalar ratio \(r_*\) or about \(r_* \lesssim 3 \times 10^{-2}\) [102,103,104], so that \(H^2/(8\pi ^2M_{\textrm{pl}}^2) = \frac{r_*}{16}\Delta ^2_{{\mathcal {R}}}\lesssim 10^{-12},\) in combination with the fact that the log of the ratio between laboratory and Hubble scales is no more than order \(10^2\).
One can also independently derive what follows by expanding the action to second-order in perturbations and varying with respect to the background metric, taking care to properly address gauge fixing and ghost terms that are necessary in the context of quantum expectation values, the net result of which will be Eqs. (D30) and (D31) [89].
In this derivation we refer to the scalar-vector-tensor decomposition and the fact that, after fixing of the residual gauge, only the transverse traceless part of the metric \(h_{ij}\) are the propagating degrees of freedom.
References
H. Kleinert, V. Schulte-Frohlinde, Critical Properties of phi**4-theories (World Scientific, Singapore, 2001). (ISBN 978-981-0246-58-7, 978-981-0246-59-4)
C.P. Burgess, Introduction to Effective Field Theory (Cambridge University Press, Cambridge, 2020). (ISBN 978-1-139-04804-0, 978-0-521-19547-8)
N.D. Birrell, P.C.W. Davies, Quantum Fields in Curved Space (Cambridge University Press, Cambridge, 1984). (ISBN 978-0-521-27858-4, 978-0-521-27858-4)
L.E. Parker, D. Toms, Quantum Field Theory in Curved Spacetime: Quantized Field and Gravity (Cambridge University Press, Cambridge, 2009). (ISBN 978-0-521-87787-9, 978-0-521-87787-9, 978-0-511-60155-2)
V. Mukhanov, S. Winitzki, Introduction to Quantum Effects in Gravity (Cambridge University Press, Cambridge, 2007). (ISBN 978-0-521-86834-1, 978-1-139-78594-5)
S. Weinberg, The Quantum Theory of Fields. Vol. 1. Foundations (Cambridge University Press, Cambridge, 2005). (ISBN 978-0-521-67053-1, 978-0-511-25204-4)
R.M. Wald, Existence of the S matrix in quantum field theory in curved space-time. Ann. Phys. 118, 490–510 (1979)
K. Symanzik, Small distance behavior in field theory and power counting. Commun. Math. Phys. 18, 227–246 (1970)
T. Appelquist, J. Carazzone, Infrared singularities and massive fields. Phys. Rev. D 11, 2856 (1975)
A.V. Manohar, Introduction to Effective Field Theories. arXiv:1804.05863 [hep-ph]
F. Bloch, A. Nordsieck, Note on the radiation field of the electron. Phys. Rev. 52, 54–59 (1937)
E.A. Calzetta, B.L.B. Hu, Nonequilibrium Quantum Field Theory (Oxford University Press, Oxford, 2009). (ISBN 978-1-00-929003-6, 978-1-00-928998-6, 978-1-00-929002-9, 978-0-511-42147-1, 978-0-521-64168-5)
J. Berges, Introduction to nonequilibrium quantum field theory. AIP Conf. Proc. 739(1), 3-62 (2004). arXiv:hep-ph/0409233
J. Maciejko, An Introduction to Nonequilibrium Many-body Theory. Lecture Notes (Springer, Berlin, 2007), p.104
Z. Kunszt, From scattering amplitudes to cross-sections in QCD. arXiv:hep-ph/9603235
G. Luisoni, S. Marzani, QCD resummation for hadronic final states. J. Phys. G 42(10), 103101 (2015). [arXiv:1505.04084 [hep-ph]]
L.H. Ford, Quantum instability of De Sitter space-time. Phys. Rev. D 31, 710 (1985)
E. Mottola, Thermodynamic instability of de Sitter space. Phys. Rev. D 33, 1616–1621 (1986)
I. Antoniadis, E. Mottola, Graviton fluctuations in De Sitter space. J. Math. Phys. 32, 1037–1044 (1991)
A.D. Dolgov, M.B. Einhorn, V.I. Zakharov, The vacuum of de Sitter space. Acta Phys. Pol. B 26, 65–90 (1995). [arXiv:gr-qc/9405026 [gr-qc]]
P.R. Anderson, C. Molina-Paris, E. Mottola, Cosmological horizon modes and linear response in de Sitter spacetime. Phys. Rev. D 80, 084005 (2009). [arXiv:0907.0823 [gr-qc]]
A. Higuchi, Decay of the free-theory vacuum of scalar field theory in de Sitter spacetime in the interaction picture. Class. Quantum Gravity 26, 072001 (2009). [arXiv:0809.1255 [gr-qc]]
C.P. Burgess, R. Holman, L. Leblond, S. Shandera, Breakdown of semiclassical methods in de Sitter space. JCAP 10, 017 (2010). [arXiv:1005.3551 [hep-th]]
S.B. Giddings, M.S. Sloth, Semiclassical relations and IR effects in de Sitter and slow-roll space-times. JCAP 01, 023 (2011). [arXiv:1005.1056 [hep-th]]
V.K. Onemli, R.P. Woodard, Quantum effects can render w \(<\) -1 on cosmological scales. Phys. Rev. D 70, 107301 (2004). [arXiv:gr-qc/0406098 [gr-qc]]
E.O. Kahya, V.K. Onemli, Quantum stability of a w \(<\) -1 phase of cosmic acceleration. Phys. Rev. D 76, 043512 (2007). [arXiv:gr-qc/0612026 [gr-qc]]
A.M. Polyakov, Infrared instability of the de Sitter space. arXiv:1209.4135 [hep-th]
E.T. Akhmedov, F.K. Popov, V.M. Slepukhin, Infrared dynamics of the massive \(\phi \)4 theory on de Sitter space. Phys. Rev. D 88, 024021 (2013). arXiv:1303.1068 [hep-th]
E.T. Akhmedov, Physical meaning and consequences of the loop infrared divergences in global de Sitter space. Phys. Rev. D 87, 044049 (2013). arXiv:1209.4448 [hep-th]
P.R. Anderson, E. Mottola, Instability of global de Sitter space to particle creation. Phys. Rev. D 89, 104038 (2014). arXiv:1310.0030 [gr-qc]
D. Green, A. Premkumar, Dynamical RG and critical phenomena in de Sitter space. JHEP 04, 064 (2020). arXiv:2001.05974 [hep-th]
A.A. Starobinsky, Stochastic de Sitter (Inflationary) stage in the early universe. Lect. Notes Phys. 246, 107–126 (1986)
J.M. Bardeen, G.J. Bublik, Quantum fluctuations and inflation. Class. Quantum Gravity 4, 573 (1987)
S.J. Rey, Dynamics of inflationary phase transition. Nucl. Phys. B 284, 706–728 (1987)
A.S. Goncharov, A.D. Linde, V.F. Mukhanov, The global structure of the inflationary universe. Int. J. Mod. Phys. A 2, 561–591 (1987)
Y. Nambu, M. Sasaki, Stochastic approach to chaotic inflation and the distribution of universes. Phys. Lett. B 219, 240–246 (1989)
K.I. Nakao, Y. Nambu, M. Sasaki, Stochastic dynamics of new inflation. Prog. Theor. Phys. 80, 1041 (1988)
Y. Nambu, Stochastic dynamics of an inflationary model and initial distribution of universes. Prog. Theor. Phys. 81, 1037 (1989)
S. Mollerach, S. Matarrese, A. Ortolan, F. Lucchin, Stochastic inflation in a simple two field model. Phys. Rev. D 44, 1670–1679 (1991)
D.S. Salopek, J.R. Bond, Stochastic inflation and nonlinear gravity. Phys. Rev. D 43, 1005–1031 (1991)
A.D. Linde, D.A. Linde, A. Mezhlumian, From the Big Bang theory to the theory of a stationary universe. Phys. Rev. D 49, 1783–1826 (1994). arXiv:gr-qc/9306035
A.A. Starobinsky, J. Yokoyama, Equilibrium state of a selfinteracting scalar field in the De Sitter background. Phys. Rev. D 50, 6357–6368 (1994). arXiv:astro-ph/9407016
F. Finelli, G. Marozzi, A.A. Starobinsky, G.P. Vacca, G. Venturi, Generation of fluctuations during inflation: comparison of stochastic and field-theoretic approaches. Phys. Rev. D 79, 044007 (2009). arXiv:0808.1786 [hep-th]
K. Enqvist, S. Nurmi, D. Podolsky, G.I. Rigopoulos, On the divergences of inflationary superhorizon perturbations. JCAP 04, 025 (2008). arXiv:0802.0395 [astro-ph]
F. Finelli, G. Marozzi, A.A. Starobinsky, G.P. Vacca, G. Venturi, Stochastic growth of quantum fluctuations during slow-roll inflation. Phys. Rev. D 82, 064020 (2010). arXiv:1003.1327 [hep-th]
L.P. Levasseur, Lagrangian formulation of stochastic inflation: Langevin equations, one-loop corrections and a proposed recursive approach. Phys. Rev. D 88(8), 083537 (2013). arXiv:1304.6408 [hep-th]
V. Vennin, A.A. Starobinsky, Correlation functions in stochastic inflation. Eur. Phys. J. C 75, 413 (2015). arXiv:1506.04732 [hep-th]
H. Assadullahi, H. Firouzjahi, M. Noorbala, V. Vennin, D. Wands, Multiple fields in stochastic inflation. JCAP 06, 043 (2016). arXiv:1604.04502 [hep-th]
J.M. Ezquiaga, J. García-Bellido, V. Vennin, The exponential tail of inflationary fluctuations: consequences for primordial black holes. JCAP 03, 029 (2020). arXiv:1912.05399 [astro-ph.CO]
K. Ando, V. Vennin, Power spectrum in stochastic inflation. JCAP 04, 057 (2021). arXiv:2012.02031 [astro-ph.CO]
G. Ballesteros, J. Rey, M. Taoso, A. Urbano, Stochastic inflationary dynamics beyond slow-roll and consequences for primordial black hole formation. JCAP 08, 043 (2020). arXiv:2006.14597 [astro-ph.CO]
Y. Tada, V. Vennin, Statistics of coarse-grained cosmological fields in stochastic inflation. JCAP 02(02), 021 (2022). arXiv:2111.15280 [astro-ph.CO]
D. Cruces, Review on stochastic approach to inflation. Universe 8(6), 334 (2022). arXiv:2203.13852 [gr-qc]
D. Boyanovsky, H.J. de Vega, Dynamical renormalization group approach to relaxation in quantum field theory. Ann. Phys. 307, 335–371 (2003). arXiv:hep-ph/0302055
C.P. Burgess, L. Leblond, R. Holman, S. Shandera, Super-hubble de Sitter fluctuations and the dynamical RG. JCAP 03, 033 (2010). arXiv:0912.1608 [hep-th]
C.P. Burgess, R. Holman, G. Tasinato, Open EFTs, IR effects & late-time resummations: systematic corrections in stochastic inflation. JHEP 01, 153 (2016). arXiv:1512.00169 [gr-qc]
N. Bartolo, S. Matarrese, M. Pietroni, A. Riotto, D. Seery, On the physical significance of infra-red corrections to inflationary observables. JCAP 01, 015 (2008). arXiv:0711.4263 [astro-ph]
D. Seery, Infrared effects in inflationary correlation functions. Class. Quantum Gravity 27, 124005 (2010). arXiv:1005.1649 [astro-ph.CO]
A.V. Manohar, The HQET/NRQCD Lagrangian to order alpha/m-3. Phys. Rev. D 56, 230–237 (1997). arXiv:hep-ph/9701294
J. Chluba, J. Hamann, S.P. Patil, Features and new physical scales in primordial observables: theory and observation. Int. J. Mod. Phys. D 24(10), 1530023 (2015). arXiv:1505.01834 [astro-ph.CO]
M. Baumgart, R. Sundrum, De Sitter diagrammar and the resummation of time. JHEP 07, 119 (2020). arXiv:1912.09502 [hep-th]
L. Senatore, M. Zaldarriaga, On loops in inflation. JHEP 12, 008 (2010). arXiv:0912.2734 [hep-th]
A. del Rio, R. Durrer, S.P. Patil, Tensor bounds on the hidden universe. JHEP 12, 094 (2018). arXiv:1808.09282 [gr-qc]
M. Baumgart, J.J. Heckman, L. Thomas, CFTs blueshift tensor fluctuations universally. JCAP 07(07), 034 (2022). arXiv:2109.08166 [hep-ph]
P. Creminelli, S. Dubovsky, A. Nicolis, L. Senatore, M. Zaldarriaga, The phase transition to slow-roll eternal inflation. JHEP 09, 036 (2008). arXiv:0802.1067 [hep-th]
J.F. Donoghue, General relativity as an effective field theory: the leading quantum corrections. Phys. Rev. D 50, 3874–3888 (1994). arXiv:gr-qc/9405057
J.F. Donoghue, Introduction to the effective field theory description of gravity. arXiv:gr-qc/9512024
J.F. Donoghue, The effective field theory treatment of quantum gravity. AIP Conf. Proc. 1483(1), 73–94 (2012). arXiv:1209.3511 [gr-qc]
C.P. Burgess, Quantum gravity in everyday life: general relativity as an effective field theory. Living Rev. Relativ. 7, 5–56 (2004). arXiv:gr-qc/0311082
P.D. Meerburg, R. Hložek, B. Hadzhiyska, J. Meyers, Multiwavelength constraints on the inflationary consistency relation. Phys. Rev. D 91(10), 103505 (2015). arXiv:1502.00302 [astro-ph.CO]
M. Maggiore, Stochastic backgrounds of gravitational waves. ICTP Lect. Notes Ser. 3, 397–414 (2001). arXiv:gr-qc/0008027
M. Gasperini, G. Veneziano, String theory and pre-big bang cosmology. Nuovo Cim. C 38(5), 160 (2016). arXiv:hep-th/0703055
T.L. Smith, E. Pierpaoli, M. Kamionkowski, A new cosmic microwave background constraint to primordial gravitational waves. Phys. Rev. Lett. 97, 021301 (2006). arXiv:astro-ph/0603144
L.A. Boyle, P.J. Steinhardt, Probing the early universe with inflationary gravitational waves. Phys. Rev. D 77, 063504 (2008). arXiv:astro-ph/0512014
J. Lizarraga, I. Sendra, J. Urrestilla, Correlations between cosmic strings and extra relativistic species. Phys. Rev. D 86, 123014 (2012). arXiv:1207.6266 [astro-ph.CO]
S. Henrot-Versille, F. Robinet, N. Leroy, S. Plaszczynski, N. Arnaud, M.A. Bizouard, F. Cavalier, N. Christensen, F. Couchot, S. Franco et al., Improved constraint on the primordial gravitational-wave density using recent cosmological data and its impact on cosmic string models. Class. Quantum Gravity 32(4), 045003 (2015). arXiv:1408.5299 [astro-ph.CO]
G. Cabass, L. Pagano, L. Salvati, M. Gerbino, E. Giusarma, A. Melchiorri, Updated constraints and forecasts on primordial tensor modes. Phys. Rev. D 93(6), 063508 (2016). arXiv:1511.05146 [astro-ph.CO]
X.J. Liu, W. Zhao, Y. Zhang, Z.H. Zhu, Detecting relic gravitational waves by pulsar timing arrays: effects of cosmic phase transitions and relativistic free-streaming gases. Phys. Rev. D 93(2), 024031 (2016). arXiv:1509.03524 [astro-ph.CO]
L. Pagano, L. Salvati, A. Melchiorri, New constraints on primordial gravitational waves from Planck 2015. Phys. Lett. B 760, 823–825 (2016). arXiv:1508.02393 [astro-ph.CO]
J. Li, Z.C. Chen, Q.G. Huang, Measuring the tilt of primordial gravitational-wave power spectrum from observations. Sci. China Phys. Mech. Astron. 62(11), 110421 (2019) (Erratum: Sci. China Phys. Mech. Astron. 64 (2021) no.5, 250451). arXiv:1907.09794 [astro-ph.CO]
M. Benetti, L.L. Graef, S. Vagnozzi, Primordial gravitational waves from NANOGrav: a broken power-law approach. Phys. Rev. D 105(4), 043520 (2022). arXiv:2111.04758 [astro-ph.CO]
M. Berbig, A. Ghoshal, Impact of high-scale Seesaw and Leptogenesis on inflationary tensor perturbations as detectable gravitational waves. arXiv:2301.05672 [hep-ph]
W. Giarè, M. Forconi, E. Di Valentino, A. Melchiorri, Towards a reliable calculation of relic radiation from primordial gravitational waves. Mon. Not. R. Astron. Soc. 520, 2 (2023). arXiv:2210.14159 [astro-ph.CO]
R.A. Isaacson, Gravitational radiation in the limit of high frequency. II. Nonlinear terms and the effective stress tensor. Phys. Rev. 166, 1272–1279 (1968)
M. Maggiore, Gravitational waves. Vol. 1: Theory and Experiments (Oxford University Press, Oxford, 2007). (ISBN 978-0-19-171766-6, 978-0-19-852074-0)
M.A.H. Maccallum, A.H. Taub, The averaged lagrangian and high-frequency gravitational waves. Commun. Math. Phys. 30, 153–169 (1973)
C. Caprini, D.G. Figueroa, Cosmological backgrounds of gravitational waves. Class. Quantum Gravity 35(16), 163001 (2018). arXiv:1801.04268 [astro-ph.CO]
B. Allen, A. Folacci, A.C. Ottewill, The renormalized graviton stress–energy tensor in curved vacuum space-times. Phys. Rev. D 38, 1069 (1988)
A. Negro, S.P. Patil, Hadamard regularization of the graviton stress tensor. arXiv:2403.16806 [hep-th]
S.L. Adler, J. Lieberman, Y.J. Ng, Regularization of the stress energy tensor for vector and scalar particles propagating in a general background metric. Ann. Phys. 106, 279 (1977)
S.M. Christensen, Regularization, renormalization, and covariant geodesic point separation. Phys. Rev. D 17, 946–963 (1978)
P.C.W. Davies, S.A. Fulling, S.M. Christensen, T.S. Bunch, Energy momentum tensor of a massless scalar quantum field in a Robertson–Walker universe. Ann. Phys. 109, 108–142 (1977)
S.M. Christensen, Vacuum expectation value of the stress tensor in an arbitrary curved background: the covariant point separation method. Phys. Rev. D 14, 2490–2501 (1976)
T.S. Bunch, S.M. Christensen, S.A. Fulling, Massive quantum field theory in two-dimensional Robertson–Walker space-time. Phys. Rev. D 18, 4435–4459 (1978)
T.S. Bunch, P.C.W. Davies, Nonconformal renormalized stress tensors in Robertson–Walker space-times. J. Phys. A 11, 1315–1328 (1978)
T.S. Bunch, Adiabatic regularization for scalar fields with arbitrary coupling to the scalar curvature. J. Phys. A 13, 1297–1310 (1980)
A. Landete, J. Navarro-Salas, F. Torrenti, Adiabatic regularization and particle creation for spin one-half fields. Phys. Rev. D 89, 044030 (2014). arXiv:1311.4958 [gr-qc]
D. Glavan, T. Prokopec, T. Takahashi, Late-time quantum backreaction of a very light nonminimally coupled scalar. Phys. Rev. D 94, 084053 (2016). arXiv:1512.05329 [gr-qc]
A. Ferreiro, F. Torrenti, Ultraviolet-regularized power spectrum without infrared distortions in cosmological spacetimes. Phys. Lett. B 840, 137868 (2023). arXiv:2212.01078 [gr-qc]
F.J. Marañón-González, J. Navarro-Salas, Adiabatic regularization for spin-1 fields. Phys. Rev. D 108(12), 125001 (2023). arXiv:2310.11860 [gr-qc]
C. Animali, P. Conzinu, G. Marozzi, On adiabatic renormalization with a physically motivated infrared cut-off. JCAP 05(05), 026 (2022). arXiv:2201.05602 [gr-qc]
P. Campeti, E. Komatsu, New constraint on the tensor-to-scalar ratio from the Planck and BICEP/Keck array data using the profile likelihood. Astrophys. J. 941(2), 110 (2022). arXiv:2205.05617 [astro-ph.CO]
P.A.R. Ade et al., [BICEP and Keck], Improved constraints on primordial gravitational waves using Planck, WMAP, and BICEP/Keck Observations through the 2018 Observing Season. Phys. Rev. Lett. 127(15), 151301 (2021). arXiv:2110.00483 [astro-ph.CO]
P.A.R. Ade et al., [BICEP2 and Keck Array], BICEP2 / Keck Array x: Constraints on Primordial Gravitational Waves using Planck, WMAP, and New BICEP2/Keck Observations through the 2015 Season. Phys. Rev. Lett. 121, 221301 (2018). arXiv:1810.05216 [astro-ph.CO]
J.C. Collins, Renormalization (Cambridge University Press, Cambridge, 2023). (ISBN 978-0-521-31177-9, 978-0-511-86739-2, 978-1-00-940180-7, 978-1-00-940176-0, 978-1-00-940179-1)
J.F. Koksma, T. Prokopec, The cosmological constant and Lorentz invariance of the vacuum state. arXiv:1105.6296 [gr-qc]
D.R. Brill, J.B. Hartle, Method of the self-consistent field in general relativity and its application to the gravitational geon. Phys. Rev. 135, B271–B278 (1964)
Acknowledgements
We are grateful to Paolo Benincasa and Koenraad Schalm for many discussions and comments on the draft. We are especially indebted to Cliff Burgess for valuable discussions and insights that permeate this review, and to Alessandro Bettini for his patience with the manuscript. AN is grateful to Dimitrios Krommydas and Alice Garoffolo for the useful discussions, and the Casimir Research School for travel funds to visit the Perimeter Institute, where some of the work leading to this review was initiated.
Funding
Author A. Negro was supported by the Casimir PhD Travel Grant to visit the Perimeter Institute, where some of the work leading to this review was initiated.
Author information
Authors and Affiliations
Contributions
Equal contribution.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Appendices
Appendix A: Dimensional regularization of stress tensors in FRLW
In this appendix, we show how dimensional regularization renders covariant counterterms for the divergences associated with the stress energy tensors for scalar fields and tensor perturbations in a foliation specific formalism. We first consider the example of a massive scalar field on an FRLW background, and consider the analogs of Eqs. (48) and (49) in cosmic time where we furthermore neglect the effects of background expansion. This is to facilitate working with transparent analytic expressions that, moreover, are non-vanishing (as would be the case for a massless scalar field), with the further justification that we are only interested in computing the relevant counterterms to subtract UV divergences and can thus be forgiven for this approximation for illustrative purposes. Details of how one dimensional regularizes energy momentum tensors for more realistic examples in a fully covariant approach can be found in e.g., [3, 4]. What follows below closely tracks the treatment of [105, 106].
Working in \(D= 4 - \delta \) dimensions, where the background metric is of the FRLW form in cosmic time, one finds the following expressions for the vacuum expectation values of the stress tensor:
both components of which nominally have the same degree of divergence in the UV, but with different coefficients. Imposing hard cutoffs in physical momenta would necessitate a counterterm that cannot be constructed from background geometric invariants. Instead, we proceed via Eq. (18), with \(A=0\), \(B=-\frac{1}{2}\) in the first integral above, and \(A=1\), \(B=\frac{1}{2}\) for the second integral, to find
so that the dimensionally regularized components of the stress energy tensor become
for the energy density, and
for the pressure components, where in the last equality we have used \(\Gamma (x+1) = x \Gamma (x) \) to re-express
From this, we see that the stress tensor has a divergence of the form
which can straightforwardly be subtracted by a cosmological constant-like counterterm.
Similarly, we follow through the same logic to study the divergencies appearing in computing the energy density and pressure of gravitational waves. We find that even if at the operator level this is not evident, once one regularize using dimensional regualrization the equation of state (\(P=\frac{1}{3} \rho \) in the case under analysis) is satisfied and the trace of the energy tensor is proportional to the Ricci scalar (\(T_{\mu }{}^{\mu }=R=0\) in the case under analysis), consistent with subtraction with a counterterm that comes from varying the background curvature with respect to the metric (and thus corresponds to a renormalization of \(G_{ N}\), cf. the discussion following Eq. (94)).
Following the procedure described in Appendix D, we derive the energy density and pressure of gravitational waves during RD era that result respectively
where in the second equality of the pressure we use the EOM. From the result above it appears that the equation of state is not satisfied. However, specifying the result in the case of finite inflation and following the procedure in Sect. 4.1, we find that by using physical cutoff and dimensional regularization respectively, the regularized pressure results in
By recalling the result found in Sect. 4.1 for the energy density
we can see that only the result regularized using dimensional regularization gives a traceless stress energy tensor and satisfies the equation of state for radiation-like species.
Appendix B: Oscillatory contributions to divergent integrals
In deriving various expressions in Sect. 3.2 and beyond, we neglected oscillatory contributions coming from \(\alpha ^\mathrm{R*}_k\beta ^{\textrm{R}}_k \) as well as in computing the modulus square of \(|\beta _k^{\textrm{R}}|^2\) in final expressions for the UV divergences we are left to regulate, such as Eqs. (63) and (66). In this appendix we show that this is justified focusing on the details for the scalar case, with the extension to analogous computations for gravitational waves a straightforward extension. We reconsider Eq. (66) but with the neglected oscillatory contributions included:
where \(\rho _{\textrm{osc}}\) is given by
Equation (66) presumes that \(\rho _{\textrm{osc}}\) renders vanishing contributions. Making use of Eqs. (58) and (59), one can integrate the various terms and expand the result in the limit \(k \rightarrow \infty \), upon which we obtain
up to terms of order \(\sim \frac{1}{k} \). We note that this contribution is manifestly finite, and oscillatory in the upper limit in a manner that would be eliminated via the analog of the \(i\epsilon \) prescription for the Minkowski space limit of all the two point propagators in the in–in formalism. Similarly, for the tensor perturbations, the full expression for the energy density including the oscillatory contributions is given for the Isaacson form of the stress tensor Eq. (D26), by
and for the improved form of the stress tensor Eq. (76) as:
which again results in oscillating but finite contributions in the UV limit that can similarly be discarded. Importantly, even though the oscillatory contributions are negligible in the UV, they become relevant when the oscillations freeze as \(k\rightarrow 0\), also softening the IR behavior for the spectral power density relative to what would have been on a past infinite dS background.
Appendix C: Point split comparison to physical cutoff regularization
In what follows, we compare the results of previous sections had we commuted taking the coincidence limit before integrating over \(\textbf{k}\) to show agreement between point split regularization and physical momentum cutoff regularization. Recalling the steps that led up to Eq. (8), we are interested in computing quantities that derive from the coincidence limit of the two point function
where in the second equality we use the Fourier transform convention of Eq. (5). Similarly, in the derivation of the energy density for a massless test scalar field, we are interested in computing the coincidence limit
Defining \(r:= |x-y|\), we now look to evaluate the following point split quantities
We note that in the derivations in the main body of this article, we freely commuted the limit \(\lim _{r \rightarrow 0}\) with the integral over \(\textbf{k}\). However, this is strictly speaking only a well-defined procedure if the integral is absolutely convergent. In what follows, we compute the integral over \(\textbf{k}\) before taking the coincidence limit. We start by computing Eq. (C17) for a non-interacting, minimally coupled massless scalar field on a dS background, obtaining
where the third equality involves use of the principle value expression \(\int _0^{\infty } \mathrm{{d}}x \sin x =1\), and the last equality is expressed in terms of the physical distance \(\sigma = a r\), with \(k_p:= k/a\). As expected, Eq. (C20) shows that the two-point function diverges in the coincident limit \(\sigma \rightarrow 0\) in the same manner as Eq. (26) obtained by imposing hard momentum cutoffs. In a similar manner, we can repeat the computation for the energy density given by Eq. (C18), obtaining
where going from the second to the third line involves integrating by parts and again using the principal value scheme. Again, we reproduce the divergences of Eq. (50) obtained by hard cutoffs in physical momenta, up to the expected scheme dependence which as we will show shortly, which drops out when computing the coefficients of logarithmic divergences. The comparison we are most interested in exhibiting this, however, is for the the case of finite duration of inflation. We exhibit the procedure for the energy density given that the treatment for the two point function proceeds identically. Using the results of Eqs. (55) and (66) in the context of Eq. (C19), we find
Changing integration variables to \(q=kr\), one can identify the terms that survive in the \(r\rightarrow 0\) limit, given by
We note that the power law divergences identified using physical momentum cutoffs in Eqs. (67), (68) can be read off from above up to the expected scheme difference in the coefficients. However, as advertised, the logarithmic divergence is reproduced with the same coefficients as those obtained with a physical momentum cutoff Eq. (69), or via dimensional regularization Eq. (72).
Appendix D: Improved stress tensor for gravitational waves
The Isaacson form of the stress tensor is defined as the averaged high frequency part of the second-order expansion of Einstein equations ([84] in the conventions and notation of [85])
where \(g_{\mu \nu } \) is the background metric (defined as \({\tilde{g}}_{\mu \nu } =g_{\mu \nu } +h_{\mu \nu } \)) and \(\delta ^2R_{\mu \nu }\) is the second-order perturbation of the Ricci tensor, and therefore quadratic in \(h_{\mu \nu }\). The averaging scheme used in [84] is the Brill–Hartle (BH) averaging scheme [107] which as a corollary allows one to neglect divergences, freely integrate by parts within expectation values, and to commute covariant derivatives (thus implicitly assuming that the curvature scale of the background is much smaller than the frequencies of interest). After the BH averaging (and fixing the gauge as \(D_{\rho }h^{\rho \nu }=0 \), \(h_{\mu }{}^{ \mu }=h=0\)), the resulting stress energy tensor is given by
Consequently, the energy density for a stochastic background of gravitational waves is found to be
where Eq. (D26) is valid only for sufficiently high-frequency signals such that the curvature of the background can be neglected. Therefore, it behooves us to re-examine the derivation of the stress tensor for gravitational waves without resorting to approximations that may be at odds with the need to incorporate wavelengths beyond this approximation in any intermediate steps in following through the process of renormalization on cosmological spacetimes. In the following we re-derive Eq. (D26) without the assumptions of having an high frequency signal propagating on a flat background.
We compute the stress energy tensor of gravitational waves \(T^\textrm{gw}_{\mu \nu }\) following [84, 85] where the stress energy tensor of gravitational waves is defined as the averaged second-order perturbed Einstein equationsFootnote 38
In the equation above, \(g_{\mu \nu }\) is the Friedman metric in the mostly plus convention in conformal time and (see [85] for details)
Using the definitions above and fixing the gauge (\(D_{\rho }h^{\rho \nu }=0 \), \(h_{\mu }{}^{ \mu }=h=0\)) the stress energy tensor in (D27) results in
At this stage, Brill–Hartle averaging would result in the Maccallum–Taub averaged stress tensor [86], which upon further integrations by parts within the spatial and temporal averaged integrals in addition to commuting covariant derivatives would bring the latter into the Isaacson form Eq. (D25). Instead, we persist with Eq. (D29) as it is. To find the energy density of gravitational waves \(\rho _{\textrm{gw}}\), we have to specify the covariant derivatives in Eq. (D29). Using that in conformal time the only non-vanishing Christoffel symbols are \(\Gamma _{00}^{ 0}=\frac{a^{\prime }}{a}\), \(\Gamma _{0j}^{ i}=\frac{a^{\prime }}{a} \delta _{j}{}^{ i}\) and \(\Gamma _{ij}^{ 0}=\frac{a^{\prime }}{a}\delta _{ij}\), and considering only the transverse traceless part of the metric as the propagating degrees of freedom,Footnote 39\(T_{0}{}^{ 0}\) results in
Consequently, in the coincidence limit (\(\rho _{\textrm{gw}}:= \lim _{y\rightarrow x}\rho _{\textrm{gw}}(\tau ;x,y)\)) the energy density of gravitational waves can be expressed as
In spite of not invoking any additional averaging prescriptions, the expectation value featuring in the improved stress tensor above is still doing a lot of heavy lifting. We stress that this is purely a quantum expectation value (strictly, an in–in correlation function) at some fixed time with no extra spatial or temporal averaging invoked. Furthermore, the expectation value presumes a density matrix, which we take to be Bunch–Davies vacuum for questions of vacuum tensor perturbations as discussed in the main body of the draft. A far more interesting story beyond the scope of the present commences once one incorporates the effects non-trivial density matrices, and interactions induced by gravitational non-linearities, as well as those induced by matter couplings.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Negro, A., Patil, S.P. An Étude on the regularization and renormalization of divergences in primordial observables. Riv. Nuovo Cim. 47, 179–228 (2024). https://doi.org/10.1007/s40766-024-00053-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40766-024-00053-0