Pith. sign in

REVIEW 2 major objections 4 minor 8 cited by

For massless scalars in de Sitter, Soft de Sitter Effective Theory can be renormalised and matched like a flat-space EFT.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 18:30 UTC pith:T4QEYAW7

load-bearing objection Solid SdSET matching paper with two new calculations and a real structural gap in the renormalisation of the initial-condition sector. the 2 major comments →

arxiv 2603.09438 v2 pith:T4QEYAW7 submitted 2026-03-10 hep-th astro-ph.COhep-ph

Renormalisation and matching of massless scalar correlation functions in Soft de Sitter Effective Theory

Martin Beneke , Patrick Hager , Andrea F. Sanfilippo This is my paper
classification hep-th astro-ph.COhep-ph MSC 81T1781T2083F05 PACS 04.62.+v11.10.Gh98.80.-k
keywords Soft de Sitter Effective Theoryde Sitter spacemassless scalarinfrared divergencessecular logarithmsrenormalisation and matchingnon-Gaussian initial conditionspower spectrum
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes that Soft de Sitter Effective Theory (SdSET) is a working effective field theory for the long-wavelength modes of a massless, minimally coupled scalar in de Sitter space, not just a heuristic extension of stochastic inflation. It sets up the theory in dimensional regularisation with an evanescent mass term and a non-Gaussian initial-condition functional, then shows by explicit matching that the renormalisation of SdSET follows the same rules as flat-space EFTs. Matching the tree-level four-point and six-point functions and the one-loop power spectrum of massless κφ⁴ theory fixes the effective couplings and initial-condition functions, and all matching coefficients are free of infrared divergences and secular logarithms. If correct, this gives a systematic, order-by-order path from the full quantum theory to the resummed late-time correlation functions that seed large-scale structure.

Core claim

On the paper's own terms, the discovery is that SdSET, with dimensional regularisation plus an evanescent mass that keeps the Hankel index at ν=3/2 and with an initial-condition functional whose local counterterms absorb time-integral poles, reproduces the full-theory correlation functions of the massless minimally coupled scalar at the orders tested. The tree-level four-point function fixes c₃,₁ = κ and the initial-condition function Ξ₃,₁; the six-point function fixes c₅,₁ = 0 + O(κ³) and Ξ₅,₁; the one-loop power spectrum fixes the mass-type coupling ĉ₁,₁ and Ξ₁,₁. In each case the matching coefficients are infrared-insensitive and free of secular terms, which the paper takes as evidence th

What carries the argument

The load-bearing object is the non-Gaussian initial-condition functional F[φ±] at the factorisation time t*, split into local counterterms ξ₂ₙ₊₁,₁ and renormalised functions Ξ₂ₙ₊₁,₁. It absorbs the tree-level 'time-UV' poles generated by EFT time integrals from t → −∞ and the mixed time/momentum poles at one loop. The analytic regulator (ν/aH)^{−2δ} on the bilinear term regularises the otherwise unregulated time integral, a comoving momentum cutoff Λ regulates infrared momenta, and a field redefinition removes super-leading φ₊ⁿ interactions.

Load-bearing premise

That every divergence in SdSET correlation functions — including the tree-level time-integral poles from t → −∞ and the mixed time/momentum poles at one loop — can be removed by local counterterms inside the initial-condition functional; the paper verifies this only at the orders computed and notes there is no general theory of such renormalisation yet.

What would settle it

Compute the one-loop correction to the six-point function or the two-loop power spectrum in SdSET and check whether every ε- and δ-pole is removable by local ξ₂ₙ₊₁,₁ counterterms; a leftover non-local subtraction, or a physical dependence on the factorisation time t* after matching, would disprove the renormalisation claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • SdSET correlators are finite at each order without input from the full theory: the counterterms ξ₂ₙ₊₁,₁ are fixed inside the EFT from the pole structure alone.
  • The matching coefficients c₃,₁, c₅,₁, ĉ₁,₁, Ξ₃,₁, Ξ₅,₁ and Ξ₁,₁ are infrared-insensitive and free of secular logarithms, so they can be used as short-distance inputs for resummation.
  • The six-point matching verifies the recursive subtraction structure for nested time integrals, strengthening the case that higher-point and higher-loop computations pose technical but not conceptual difficulty.
  • The full-theory mass counterterm, which is infrared-divergent in fixed-order perturbation theory, enters the EFT matching coefficients; the resummed correlators computed in SdSET are the objects on which a physical mass renormalisation condition can ultimately be imposed.
  • The one-loop power-spectrum matching demonstrates how the mass-type and stochastic coefficients inherit their values from the full theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Inference: if the locality of the initial-condition renormalisation holds to all orders, the Kramers-Moyal and diffusion coefficients of stochastic inflation should be computable as ordinary anomalous dimensions in SdSET, and the paper's setup supplies the matching framework for that computation.
  • Inference: the ln(k/(a*H)) and ln(μ/H) structures suggest the initial-condition functions run with the factorisation scale a*; formulating a renormalisation-group equation in a* would provide a resummation of late-time logarithms that the paper does not itself derive.
  • Inference: the same matching strategy should extend to light, not strictly massless, scalars and to other UV theories, provided the evanescent-mass scheme is replaced by a scheme that tracks the physical ν; the power-counting and counterterm logic would be unchanged.
  • Inference: because c₅,₁ starts only at O(κ³), the hierarchy among initial-condition functions at fixed n seems tied to the number of hard-region loops; verifying this pattern at higher n would give a predictive rule for which SdSET couplings need matching at each order.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. This paper develops the Soft de Sitter Effective Theory (SdSET) for a massless minimally coupled scalar in dS space, using dimensional regularisation supplemented by an evanescent mass term and a comoving-momentum IR cutoff. The authors construct the free SdSET action from a canonical transformation, formulate a non-Gaussian initial-condition functional, and then perform three explicit matching calculations against massless κφ⁴ theory: the tree-level trispectrum (fixing c₃,₁ = κ and Ξ₃,₁), the tree-level six-point function (fixing c₅,₁ = 0 + O(κ³) and Ξ₅,₁), and the one-loop power spectrum (fixing the finite part of the SdSET mass counterterm ĉ₁,₁ and the two-point initial-condition function Ξ₁,₁). The paper claims that these examples establish that SdSET renormalises and matches in the same way as flat-space effective field theories, and that SdSET is the appropriate EFT for superhorizon quantum dynamics.

Significance. If the framework’s central claim is accepted, this is a valuable step toward putting SdSET and the stochastic-inflation expansion on a systematic EFT footing. The explicit calculations are substantial: the six-point matching involves nested time integrals and multiple non-trivial momentum structures, and the one-loop power-spectrum matching requires the interplay of time-integral and momentum-integral divergences. The matching coefficients obtained at the computed orders are IR-finite and free of secular logarithms, and several checks are over-determined rather than fixed by construction. The paper is also unusually transparent about the limits of its own formalism, explicitly stating in Sec. 3.5.3 that no general theory of perturbative renormalisation of the non-Gaussian initial-condition functions is available. That transparency is a strength, but it also exposes the main gap: the paper’s abstract and conclusion generalise from three lowest-order examples to an all-order statement that is not proved.

major comments (2)
  1. [Sec. 3.5.3 and Conclusion] The central claim that SdSET renormalises and matches 'as for flat-space effective field theories' is load-bearing but is not established beyond the orders computed. The paper itself states (Sec. 3.5.3) that there is 'presently no general theory of perturbative renormalisation of the non-Gaussian initial-condition functions.' The examples verify the counterterm structure only at the first order at which each counterterm appears: ξ₃,₁ from the tree-level trispectrum (Eq. (4.7)), ξ₅,₁ from the six-point function (Eq. (5.27)), and ξ₁,₁ from the one-loop power spectrum (Eq. (6.17)). At higher loops, overlapping time integrals can generate double- and higher-order poles with momentum-dependent residues and, in principle, new time-localisation or derivative structures that are not present in the IC-counterterm ansatz (3.52). No argument is given that such structures can always be absorbed into
  2. [Sec. 3.4 / Eq. (3.52) and Sec. 6.2 / Eqs. (6.30)-(6.31)] Two related scheme choices are handled pragmatically but not fully resolved. First, the restriction to all-plus/all-minus CTP indices and the setting Ξ₂ₙ,₀ = 0 are justified by a power-counting degeneracy argument (Sec. 3.4), but the text acknowledges a redundancy in the IC functional that 'can be resolved only when considering power corrections and remains to be explored.' Second, the one-loop matching determines ĉ₁,₁ and Ξ₁,₁ only up to the unspecified full-theory mass-counterterm finite part δm̂²_fin; the paper explains that this is intentional and that δm̂²_fin should be fixed after resummation. Both points are internally consistent, but they mean that the matching coefficients themselves are not fully scheme-independent objects within the paper. This does not invalidate the worked examples, but it strengthens the need to temper the conclusion that the framework already provides 'ful
minor comments (4)
  1. [General typesetting] The manuscript text as provided contains what appears to be stray material from another draft: the block beginning '18 Extra stu!' after Sec. 3.3 includes equations numbered (2.48)-(2.50) and a Section 2.4 that do not belong to this paper’s logical flow. This is a serious production/cleanup issue that must be fixed before publication.
  2. [Sec. 4.2 / Eq. (4.11)] The full-theory tree-level trispectrum is quoted from [19]. It would help the reader if the conventions for the κ normalisation and the sign of the interaction term were stated explicitly next to Eq. (4.11), since the matching statement c₃,₁ = κ depends on this convention.
  3. [Sec. 5 / Eq. (5.38)] The full-theory six-point function depends on a function f(k₁,...,k₆) defined in Eq. (E.14). The matching of Ξ₅,₁ therefore cannot be checked from the main text alone; the authors should ensure that App. E is complete and that all symbols in (5.38) are defined before publication.
  4. [Sec. 3.5.1 / Eq. (3.50)] The analytic regulator (ν/a(t)H)^{-2δ} is introduced only in the bilinear interaction term; a brief comment on why a single regulator of this form suffices for all higher-point bilinear-vertex insertions would improve readability.

Circularity Check

0 steps flagged

No significant circularity: matching coefficients are fitted by construction, but the paper contains over-determined checks and explicitly flags its main structural limitation.

full rationale

The paper's matching coefficients are indeed fixed by equating SdSET correlators to full-theory correlators. For example, Eq. (4.18) states: 'The effective coupling c3,1 is uniquely determined by comparing the coefficients of the time-dependent logarithm... c3,1 = κ', and Eq. (4.19) then fixes Ξ3,1 to reproduce the remaining time-independent terms. This is standard EFT matching, not a disguised prediction: the paper does not claim to predict the trispectrum from SdSET alone. The genuinely non-circular content lies in the over-determined checks. In the six-point function, the time-dependent structure involving two nested time integrals is largely fixed by the previously matched c3,1 and Ξ3,1 before the new quantities c5,1 and Ξ5,1 are introduced; the result c5,1 = 0 + O(κ^3) in (5.39) is not forced by definition. In the one-loop power spectrum, the cancellation of both time-integral and momentum-integral poles requires the interplay of c1,1 and ξ1,1 before matching, and only two finite quantities (ĉ1,1 and Ξ1,1) remain to be matched to the full theory. The paper also explicitly acknowledges its main limitation: 'To the best of our knowledge, there is presently no general theory of perturbative renormalisation of the non-Gaussian initial-condition functions that we can build on, so we will refrain from making general statements about their all-order renormalisation or mixing structure beyond what has been stated above' (Sec. 3.5.3). This is an honest structural gap at higher orders, not a circular step. Self-citations to prior work are used for the framework and for some full-theory inputs, but the load-bearing matching equations are evaluated in this paper, and the evanescent-mass scheme is defended by an argument independent of the cited clarification ('Since the model we are considering does not possess such a shift symmetry, the use of the evanescent mass should not lead to any subtleties'). No derivation step reduces by construction to its own input.

Axiom & Free-Parameter Ledger

8 free parameters · 7 axioms · 4 invented entities

The ledger shows the paper's honest cost structure: eight effective/scheme parameters (the EFT couplings, the IC functions, and the scheme scales) are absorbed from the full theory by matching, and seven axioms are invoked, of which the evanescent-mass scheme, RPI coupling reduction, Ξ_{2n,0} = 0, and the local-counterterm assumption for IC renormalisation are substantive domain assumptions with partial external support. The matching computations are real over-determination checks — the six-point function has far more structure than the two coefficients (c5,1, Ξ5,1) that fix it — but the strongest architectural claim ('renormalisation and matching works as for flat-space EFTs') is not yet underpinned by a general renormalisation proof for the IC functional. Independent evidence for the main entities is thin: everything except the φ± fields is matched rather than predicted, which is normal for EFT construction but means the paper's value is in consolidating the framework, not in producing a falsifiable prediction.

free parameters (8)
  • c_{3,1} (SdSET quartic φ³₊φ₋ coupling) = κ
    Fixed by tree-level trispectrum matching (Eq. (4.18)); equals the full-theory quartic coupling at leading order. A matching condition, not data fitting, but a free EFT coefficient absorbed from the UV theory.
  • c_{5,1} (SdSET sextic φ⁵₊φ₋ coupling) = 0 + O(κ³)
    Fixed by the time-dependent terms of the six-point matching (Eq. (5.39)); vanishes at this order because no O(κ²) tree-diagram counterpart exists in the full theory.
  • ĉ_{1,1} (finite part of SdSET bilinear counterterm) = δm̂²_fin + ln(µf/µ)
    Determined by one-loop power-spectrum matching (Eq. (6.30)); inherits the undetermined finite part of the full-theory mass counterterm.
  • Ξ_{3,1}(k1..k4) (four-point initial-condition function) = Eq. (4.19): 3κ[⅓ ln(e^{γE} k_t/(a*H)) + momentum polynomials]
    Matched to the time-independent part of the full-theory trispectrum; re-used as an input in the six-point and one-loop computations.
  • Ξ_{5,1}(k1..k6) (six-point initial-condition function) = Eq. (5.40)
    Determined by six-point matching after fixing c5,1; contains double logarithms mirroring the two nested time integrals of the full-theory result.
  • Ξ_{1,1}(k) (two-point initial-condition function) = Eq. (6.31)
    Determined by one-loop power-spectrum matching; claimed IR-insensitive and independent of the IR regulator.
  • δm̂²_fin (finite part of full-theory mass counterterm) = undetermined
    Left free because perturbative dS correlators are IR-divergent and cannot define physical renormalisation conditions; enters ĉ1,1 and Ξ1,1 via matching (Eqs. (2.12), (6.30), (6.31)). Scheme-defining rather than fitted.
  • a* (time-factorisation scale) = free scheme scale
    Reference scale factor in the initial-condition functional, analogous to the renormalisation scale μ; physical results are claimed independent of it. A scheme choice, not a fitted number.
axioms (7)
  • domain assumption Bunch-Davies vacuum and Schwinger-Keldysh in-in formalism define the full-theory correlators
    Sec. 2: the full theory is quantised in the Bunch-Davies vacuum and evaluated with in-in perturbation theory using the conventions of App. A of [19].
  • ad hoc to paper Evanescent mass m²_d = H²(d−4)(d+2)/4 fixes ν = 3/2 in all dimensions without changing the ε → 0 limit
    Eq. (2.14), used to simplify the mode functions to (2.13). The scheme is disputed in [25] and defended in [27]; the paper assumes no shift-symmetry subtleties for κφ⁴ (Sec. 2). Every loop computation rests on this scheme.
  • domain assumption SdSET is reparametrisation-invariant, imposing c⁰_{2n−m+1,m−1} = H³ c⁰_{2n−m,m}
    Eq. (3.31), Secs. 3.2–3.3: RPI inherited from the field decomposition (3.2) reduces the 2n couplings of each vertex to a single one; load-bearing for the interaction basis and the field redefinitions in App. C.
  • domain assumption IR regulator Λ enters as k → k_Λ = √(k² + Λ²) with unchanged canonical commutation relations; dS-breaking terms drop out in matching
    Eqs. (2.17)–(2.19), Sec. 3.5.1, App. D. The IR-insensitivity of the matching coefficients and the cancellation of Λ-divergences depend on this.
  • ad hoc to paper Initial-condition functional restricted to all-plus/all-minus CTP indices, with Ξ_{2n,0} = 0
    Sec. 3.4, Eqs. (3.39)–(3.46): justified by power-counting degeneracy and leading-power matching; the paper notes the redundancy is resolvable only when power corrections are considered.
  • ad hoc to paper All UV divergences, including tree-level time-UV poles, are removable by local counterterms in the initial-condition functional
    Sec. 3.5.3: the paper states there is no general theory of IC renormalisation; verified per order via ξ3,1 (4.7), ξ5,1 (5.27), ξ1,1 (6.17). This is the weakest structural premise.
  • domain assumption Leading-power free two-point functions of φ± define the EFT, and the field redefinition (3.37) is exact to the orders used
    Sec. 3.1 and App. A: the canonical transformation leaves residual freedom γ(X) (App. A, Eq. (A.38)); the matched φ± spectra (3.21)–(3.23) set the free theory.
invented entities (4)
  • SdSET fields φ± (soft-mode effective fields) independent evidence
    purpose: Represent the superhorizon degrees of freedom; φ+ has scaling dimension −ε, φ− dimension (d+2)/2
    Introduced in [16,17] and re-derived here via canonical transformation (App. A). They carry falsifiable content through matched correlators and the equation-of-motion structure (3.6), and their two-point functions are benchmarked against the full theory (3.21)–(3.23).
  • Evanescent mass term m²_d no independent evidence
    purpose: Keeps ν = 3/2 for the Hankel mode functions in d ≠ 4 dimensions, simplifying all integrals
    Pure scheme device with no physical handle; consistency borrowed from [27] and from the pole-cancellation checks in this paper.
  • Analytic regulator (ν/a(t)H)^{−2δ} no independent evidence
    purpose: Regularises the time integral of the n = 0 bilinear SdSET vertex, which dimensional regularisation alone leaves divergent
    Ad hoc regulator; the δ-poles must cancel between c_{1,1} and ξ_{1,1} (Sec. 6.1, Eqs. (6.3)–(6.17)).
  • Initial-condition functional F[φ±] with Ξ functions no independent evidence
    purpose: Encodes the non-Gaussian correlations built up before the matching time t*; its counterterms absorb time-UV poles
    Matched, not predicted: the Ξ functions are fixed by requiring equality with full-theory correlators. The functional's structure (locality, CTP-index restriction) is an ansatz.

pith-pipeline@v1.3.0-alltime-deepseek · 77805 in / 27669 out tokens · 234287 ms · 2026-08-02T18:30:04.504746+00:00 · methodology

0 comments
read the original abstract

For light and massless scalar fields, cosmological correlation functions suffer from infrared divergences and secular logarithms. Soft de Sitter Effective Theory (SdSET) has been proposed by Cohen and Green as the effective description of the non-trivial dynamics of long-wavelength modes $k_{\rm phys} < H$ in de Sitter space, which is responsible for the infrared and late-time logarithms, and as a systematic extension of the stochastic approach. In this article, we construct SdSET in dimensional regularisation, including an initial-condition functional. We demonstrate by examples that renormalisation and matching works as for flat-space effective field theories. Adopting massless $\kappa \phi^4$ theory as the UV theory, we match the tree-level trispectrum and six-point function, and the one-loop power spectrum to SdSET, verifying explicitly that SdSET is the appropriate effective field theory for the quantum dynamics of superhorizon modes.

Figures

Figures reproduced from arXiv: 2603.09438 by Andrea F. Sanfilippo, Martin Beneke, Patrick Hager.

Figure 1
Figure 1. Figure 1: Pictorial representation of the three φ+φ+, φ+φ−, φ−φ− two-point functions used to connect the SdSET fields. The corresponding mathematical expressions for ν = 3 2 are given in (3.21)-(3.23). one infers the power counting of the position-space fields [16] φ+(t, x) ∼ λ α , φ−(t, x) ∼ λ β . (3.15) The field redefinition containing all gradient terms, obtained in App. A, is consistent with this power counting… view at source ↗
Figure 2
Figure 2. Figure 2: Sample tree-level φ+ eight-point function diagram with three insertions of the φ 3 +φ− vertex of both Schwinger-Keldysh types containing the various propagators shown in [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
Figure 14
Figure 14. Figure 14: The diagram contributing to P(η; k1, ..., k6). Only the diagram with (++)-type Schwinger-Keldysh vertices is shown. in the following. The (++)-vertex SK diagram is shown in [PITH_FULL_IMAGE:figures/full_fig_p068_14.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 8 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum correction to the diffusion term in stochastic inflation from composite-operator matching in Soft de Sitter Effective Theory

    hep-th 2026-04 unverdicted novelty 8.0

    The two-loop correction to the diffusion coefficient in stochastic inflation is computed for the first time via composite-operator renormalisation and matching in SdSET.

  2. Stochastic inflation as an open quantum system II: open effective field theory and stochastic matching

    hep-th 2026-05 unverdicted novelty 7.0

    Constructs open EFT for stochastic inflation with stochastic RG channel, nonlocal Wilson kernels, and derived master equations matched to full theory via method-of-regions.

  3. Stochastic inflation from a non-equilibrium renormalization group

    hep-th 2026-05 unverdicted novelty 7.0

    A generalized Fokker-Planck equation for stochastic inflation is derived from a Polchinski-type renormalization group flow on the density matrix, incorporating dissipative and diffusive corrections beyond the leading order.

  4. Stochastic inflation from a non-equilibrium renormalization group

    hep-th 2026-05 conditional novelty 7.0

    Stochastic inflation is the leading infrared limit of a coarse-grained Schwinger–Keldysh effective theory, and the same Fokker–Planck dynamics follows from a Polchinski-type renormalization-group flow for the reduced ...

  5. Classical conformal invariance and superhorizon dynamics in de Sitter

    hep-th 2026-07 conditional novelty 6.5

    Standard SdSET power counting fails for classically conformal φ⁴; leading superhorizon modes must be read from the two-loop anomalous dimension of the two-point function.

  6. Stochastic inflation as an open quantum system II: open effective field theory and stochastic matching

    hep-th 2026-05 unverdicted novelty 6.0

    Develops open EFT for stochastic inflation with a distinct stochastic RG channel, derives nonlocal master equations including Fokker-Planck and Klein-Kramers forms, and demonstrates stochastic renormalization with an ...

  7. Nonperturbative stochastic inflation in perturbative dynamical background

    astro-ph.CO 2026-04 unverdicted novelty 6.0

    Derives stochastic equations from Schwinger-Keldysh formalism that include quantum diffusion and classical metric perturbations for non-perturbative ultra-slow-roll inflation, validated on Starobinsky and critical Hig...

  8. Matching second-order classical and 1-loop quantum tensor power spectra in de Sitter spacetime

    hep-ph 2026-05 unverdicted novelty 5.0

    Classical part of 1-loop tensor power spectrum in de Sitter is IR divergent but cancels with vacuum part, enabling non-perturbative renormalization to extract unaffected physical information.

Reference graph

Works this paper leans on

36 extracted references · 29 linked inside Pith · cited by 6 Pith papers

  1. [1]

    Rajaraman,On the proper treatment of massless fields in Euclidean de Sitter space,Phys

    A. Rajaraman,On the proper treatment of massless fields in Euclidean de Sitter space,Phys. Rev. D82(2010) 123522 [1008.1271]

    Pith/arXiv arXiv 2010

  2. [2]

    dynamical mass

    M. Beneke and P. Moch,On “dynamical mass” generation in Euclidean de Sitter space,Phys. Rev. D87(2013) 064018 [1212.3058]

    Pith/arXiv arXiv 2013

  3. [3]

    Starobinsky,Dynamics of Phase Transition in the New Inflationary Universe Scenario and Generation of Perturbations,Phys

    A.A. Starobinsky,Dynamics of Phase Transition in the New Inflationary Universe Scenario and Generation of Perturbations,Phys. Lett. B117(1982) 175

    1982

  4. [4]

    Starobinsky,Stochastic de Sitter (inflationary) stage in the early Universe,Lect

    A.A. Starobinsky,Stochastic de Sitter (inflationary) stage in the early Universe,Lect. Notes Phys.246(1986) 107

    1986

  5. [5]

    Starobinsky and J

    A.A. Starobinsky and J. Yokoyama,Equilibrium state of a selfinteracting scalar field in the De Sitter background,Phys. Rev. D50(1994) 6357 [astro-ph/9407016]

    Pith/arXiv arXiv 1994

  6. [6]

    Garbrecht, F

    B. Garbrecht, F. Gautier, G. Rigopoulos and Y. Zhu,Feynman Diagrams for Stochastic Inflation and Quantum Field Theory in de Sitter Space,Phys. Rev. D91 (2015) 063520 [1412.4893]

    Pith/arXiv arXiv 2015

  7. [7]

    Andersen, M

    J.O. Andersen, M. Eriksson and A. Tranberg,Stochastic inflation from quantum field theory and the parametric dependence of the effective noise amplitude,JHEP02 (2022) 121 [2111.14503]

    Pith/arXiv arXiv 2022

  8. [8]

    Collins, R

    H. Collins, R. Holman and T. Vardanyan,The quantum Fokker-Planck equation of stochastic inflation,JHEP11(2017) 065 [1706.07805]

    Pith/arXiv arXiv 2017

  9. [9]

    C´ espedes, A.-C

    S. C´ espedes, A.-C. Davis and D.-G. Wang,On the IR divergences in de Sitter space: loops, resummation and the semi-classical wavefunction,JHEP04(2024) 004 [2311.17990]

    Pith/arXiv arXiv 2024

  10. [10]

    Mirbabayi,Infrared dynamics of a light scalar field in de Sitter,JCAP12(2020) 006 [1911.00564]

    M. Mirbabayi,Infrared dynamics of a light scalar field in de Sitter,JCAP12(2020) 006 [1911.00564]

    Pith/arXiv arXiv 2020

  11. [11]

    Prokopec, N.C

    T. Prokopec, N.C. Tsamis and R.P. Woodard,Stochastic Inflationary Scalar Electrodynamics,Annals Phys.323(2008) 1324 [0707.0847]

    Pith/arXiv arXiv 2008

  12. [12]

    Baumgart and R

    M. Baumgart and R. Sundrum,De Sitter Diagrammar and the Resummation of Time,JHEP07(2020) 119 [1912.09502]

    Pith/arXiv arXiv 2020

  13. [13]

    Moss and G

    I. Moss and G. Rigopoulos,Effective long wavelength scalar dynamics in de Sitter, JCAP05(2017) 009 [1611.07589]

    Pith/arXiv arXiv 2017

  14. [14]

    Gorbenko and L

    V. Gorbenko and L. Senatore,λϕ 4 in dS,1911.00022

    Pith/arXiv arXiv 1911

  15. [15]

    Mirbabayi,Markovian dynamics in de Sitter,JCAP09(2021) 038 [2010.06604]

    M. Mirbabayi,Markovian dynamics in de Sitter,JCAP09(2021) 038 [2010.06604]. 73

    Pith/arXiv arXiv 2021

  16. [16]

    Cohen and D

    T. Cohen and D. Green,Soft de Sitter Effective Theory,JHEP12(2020) 041 [2007.03693]

    Pith/arXiv arXiv 2020

  17. [17]

    Cohen, D

    T. Cohen, D. Green, A. Premkumar and A. Ridgway,Stochastic Inflation at NNLO, JHEP09(2021) 159 [2106.09728]

    Pith/arXiv arXiv 2021

  18. [18]

    Beneke and V.A

    M. Beneke and V.A. Smirnov,Asymptotic expansion of Feynman integrals near threshold,Nucl. Phys. B522(1998) 321 [hep-ph/9711391]

    Pith/arXiv arXiv 1998

  19. [19]

    Beneke, P

    M. Beneke, P. Hager and A.F. Sanfilippo,Cosmological correlators in massless ϕ4-theory and the method of regions,JHEP04(2024) 006 [2312.06766]

    Pith/arXiv arXiv 2024

  20. [20]

    Beneke, P

    M. Beneke, P. Hager and A.F. Sanfilippo, in preparation

  21. [21]

    ’t Hooft and M.J.G

    G. ’t Hooft and M.J.G. Veltman,Regularization and Renormalization of Gauge Fields,Nucl. Phys. B44(1972) 189

    1972

  22. [22]

    Bollini and J.J

    C.G. Bollini and J.J. Giambiagi,Lowest order divergent graphs in nu-dimensional space,Phys. Lett. B40(1972) 566

    1972

  23. [23]

    Weinberg,Quantum contributions to cosmological correlations,Phys

    S. Weinberg,Quantum contributions to cosmological correlations,Phys. Rev. D72 (2005) 043514 [hep-th/0506236]

    Pith/arXiv arXiv 2005

  24. [24]

    Senatore and M

    L. Senatore and M. Zaldarriaga,On Loops in Inflation,JHEP12(2010) 008 [0912.2734]

    Pith/arXiv arXiv 2010

  25. [25]

    Braglia and L

    M. Braglia and L. Pinol,One-loop renormalization of the effective field theory of inflationary fluctuations from gravitational interactions,Phys. Rev. D113(2026) 063513 [2504.07926]

    arXiv 2026

  26. [26]

    Cheung, P

    C. Cheung, P. Creminelli, A.L. Fitzpatrick, J. Kaplan and L. Senatore,The Effective Field Theory of Inflation,JHEP03(2008) 014 [0709.0293]

    Pith/arXiv arXiv 2008

  27. [27]

    D. Jain, E. Pajer and X. Tong,Unitary and Analytic Renormalisation of Cosmological Correlators,2509.02696

    Pith/arXiv arXiv

  28. [28]

    Melville and E

    S. Melville and E. Pajer,Cosmological Cutting Rules,JHEP05(2021) 249 [2103.09832]

    Pith/arXiv arXiv 2021

  29. [29]

    Namjoo, A.H

    M.H. Namjoo, A.H. Guth and D.I. Kaiser,Relativistic Corrections to Nonrelativistic Effective Field Theories,Phys. Rev. D98(2018) 016011 [1712.00445]

    Pith/arXiv arXiv 2018

  30. [30]

    Garny and M.M

    M. Garny and M.M. Muller,Kadanoff-Baym Equations with Non-Gaussian Initial Conditions: The Equilibrium Limit,Phys. Rev. D80(2009) 085011 [0904.3600]

    Pith/arXiv arXiv 2009

  31. [31]

    Beneke, A

    M. Beneke, A. Signer and V.A. Smirnov,Two loop correction to the leptonic decay of quarkonium,Phys. Rev. Lett.80(1998) 2535 [hep-ph/9712302]. 74

    Pith/arXiv arXiv 1998

  32. [32]

    Bodwin, E

    G.T. Bodwin, E. Braaten and G.P. Lepage,Rigorous QCD analysis of inclusive annihilation and production of heavy quarkonium,Phys. Rev. D51(1995) 1125 [hep-ph/9407339]

    Pith/arXiv arXiv 1995

  33. [33]

    Garny and U

    M. Garny and U. Reinosa,Renormalization out of equilibrium in a superrenormalizable theory,Phys. Rev. D94(2016) 045012 [1504.06643]

    Pith/arXiv arXiv 2016

  34. [34]

    Goldstein, C

    H. Goldstein, C. Poole and J. Safko,Classical Mechanics, Third Edition, Addison Wesley, San Francisco (2001)

    2001

  35. [35]

    Huber and D

    T. Huber and D. Maitre,HypExp 2, Expanding Hypergeometric Functions about Half-Integer Parameters,Comput. Phys. Commun.178(2008) 755 [0708.2443]

    Pith/arXiv arXiv 2008

  36. [36]

    Czakon,Automatized analytic continuation of Mellin-Barnes integrals,Comput

    M. Czakon,Automatized analytic continuation of Mellin-Barnes integrals,Comput. Phys. Commun.175(2006) 559 [hep-ph/0511200]. 75

    Pith/arXiv arXiv 2006