Finite parts of inflationary loops II: A streamlined UV in-in algorithm and distinguishable signatures
Pith reviewed 2026-05-16 20:18 UTC · model grok-4.3
The pith
A streamlined algorithm for in-in loop integrals reveals an apparent difficulty renormalizing with Hamiltonian counterterms and isolates distinguishable finite parts in the one-loop bispectrum.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that a new algorithm for computing in-in loop integrals via dimensional regularization applies to arbitrary diagrams, uncovers a difficulty in using Hamiltonian counterterms for renormalization within the in-in formalism, and shows that finite one-loop corrections to the bispectrum in EFT inflation produce a contribution distinguishable from tree-level and counterterm terms.
What carries the argument
Streamlined dimensional regularization method for extracting UV contributions from in-in loop integrals with arbitrary legs and vertices
If this is right
- The algorithm enables systematic UV extraction for multi-leg and multi-vertex diagrams in inflationary perturbation theory.
- Renormalization of loop corrections in the in-in formalism requires care beyond direct use of Hamiltonian counterterms.
- Finite parts of loop corrections can generate observable effects in the primordial bispectrum that are independent of counterterm choices.
- For chosen interactions in EFT inflation, the one-loop bispectrum contains a term whose shape differs from the tree-level contribution.
Where Pith is reading between the lines
- This points to a possible need for a dedicated renormalization scheme in cosmological perturbation theory that differs from flat-space QFT practice.
- The distinguishable finite contributions could produce unique non-Gaussianity patterns testable with future CMB or large-scale structure data.
- Extending the method to higher-order loops or other EFT operators might reveal additional separable signatures in inflationary observables.
Load-bearing premise
The assumption that dimensional regularization fully isolates scheme-independent finite parts of the loops without residual dependence that would prevent distinguishing them from counterterms.
What would settle it
An explicit one-loop bispectrum computation in which the finite remainder after subtracting UV divergences is completely absorbed by adjusting tree-level coefficients or Hamiltonian counterterms with no leftover shape signature.
Figures
read the original abstract
We introduce a streamlined method for evaluating in-in loop integrals using dimensional regularization for diagrams with an arbitrary number of external legs and vertices, which complements earlier work and facilitates the extraction of the ultraviolet contributions. The method leads us to identify an apparent difficulty to renormalize with Hamiltonian counterterms within the in-in formalism. We also discuss the importance of the finite parts of loop corrections that can be distinguished from their associated counterterm contributions. As an application, we examine the one-loop primordial bispectrum in the context of the effective field theory of inflation, considering a specific set of interactions, and identifying a contribution distinguishable from its tree-level counterpart.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a streamlined algorithm for evaluating in-in loop integrals via dimensional regularization, applicable to diagrams with arbitrary numbers of external legs and vertices. It identifies an apparent difficulty in renormalizing such loops using Hamiltonian counterterms within the in-in formalism and stresses the importance of finite loop contributions that remain distinguishable from counterterm pieces. As an application, the authors compute the one-loop primordial bispectrum in the effective field theory of inflation for a specific set of interactions, reporting a contribution distinguishable from its tree-level counterpart.
Significance. If the method and distinguishability claims hold, the work offers a practical computational tool for handling ultraviolet contributions in inflationary loop calculations, which are typically cumbersome due to time-ordered contours and expanding backgrounds. The emphasis on finite parts not absorbable by standard counterterms could affect how one-loop corrections are interpreted in CMB observables and EFT parameter constraints. The generality to arbitrary diagrams is a potential strength for systematic higher-order calculations in cosmology.
major comments (2)
- [Abstract and application section] Abstract and application section: the claim of an 'apparent difficulty to renormalize with Hamiltonian counterterms' and a 'distinguishable' one-loop bispectrum contribution rests on the streamlined dim-reg extraction cleanly separating finite parts, but without explicit counterterm ansatz, matching conditions, or scheme-dependence tests shown, it is unclear whether the reported finite piece survives a broader local counterterm basis or alternative regulators.
- [Application section] Application section: the distinguishability of the one-loop bispectrum from tree-level and counterterm contributions is asserted for a specific interaction set, yet the absence of explicit equations, error analysis, or counterterm matching in the derivation leaves the central claim on distinguishability load-bearing but unverified from the supplied details.
minor comments (1)
- Notation for the in-in contour integrals and dimensional regularization parameters could be clarified with explicit definitions to aid reproducibility.
Simulated Author's Rebuttal
We thank the referee for their thorough review and constructive suggestions. We address each major comment below, clarifying the basis for our claims on renormalization difficulties and distinguishability while incorporating additional explicit details into the revised manuscript.
read point-by-point responses
-
Referee: [Abstract and application section] Abstract and application section: the claim of an 'apparent difficulty to renormalize with Hamiltonian counterterms' and a 'distinguishable' one-loop bispectrum contribution rests on the streamlined dim-reg extraction cleanly separating finite parts, but without explicit counterterm ansatz, matching conditions, or scheme-dependence tests shown, it is unclear whether the reported finite piece survives a broader local counterterm basis or alternative regulators.
Authors: We agree that the original presentation would benefit from greater explicitness. The apparent difficulty stems from the fact that, within the in-in formalism, the time-ordered contour structure prevents complete absorption of all UV divergences into a local Hamiltonian counterterm basis without generating non-local operators that violate the EFT power counting. In the revised manuscript we now include: (i) the explicit ansatz for the local counterterms (up to dimension-6 operators consistent with the EFT of inflation), (ii) the matching conditions obtained by requiring cancellation of the 1/ε poles in dimensional regularization, and (iii) a cross-check with a hard cutoff regulator that confirms the same finite remainder survives. These additions appear in a new subsection of the application section and in an expanded appendix. revision: yes
-
Referee: [Application section] Application section: the distinguishability of the one-loop bispectrum from tree-level and counterterm contributions is asserted for a specific interaction set, yet the absence of explicit equations, error analysis, or counterterm matching in the derivation leaves the central claim on distinguishability load-bearing but unverified from the supplied details.
Authors: We have expanded the application section to provide the full set of explicit one-loop integrals after UV subtraction, the resulting finite bispectrum shape function, and a direct comparison of its momentum dependence against both the tree-level template and the counterterm-induced shapes. Numerical integration errors are quantified via convergence tests under variation of the contour deformation parameter and the dimensional regulator. Counterterm matching is demonstrated by showing that the residual finite piece cannot be reproduced by any linear combination of the local operators allowed in the Hamiltonian counterterm basis. These equations and figures are now included in the main text. revision: yes
Circularity Check
Minor self-citation to complementary prior work; central derivation uses standard dim-reg and in-in formalism without reduction to inputs
full rationale
The paper introduces a streamlined method for evaluating in-in loop integrals with dimensional regularization as an original contribution that complements but does not depend upon prior work for its load-bearing steps. The identification of renormalization difficulties with Hamiltonian counterterms and the distinguishable finite parts in the one-loop bispectrum follow directly from applying the new algorithm to EFT inflation interactions. No self-definitional relations, fitted inputs renamed as predictions, or uniqueness theorems imported via self-citation are present; the claims rest on the explicit structure of time-ordered integrals and counterterm subtraction in the given formalism, remaining self-contained against standard QFT benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Dimensional regularization correctly isolates UV divergences in in-in integrals for inflationary backgrounds
- domain assumption Hamiltonian counterterms can be applied within the in-in formalism without additional time-ordering issues
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a streamlined method for evaluating in-in loop integrals using dimensional regularization... high-momentum limit... WKB ansatz uk(τ) = ... (Eq. 16-19)
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
one-loop primordial bispectrum... M4_3 (δg00)^3... distinguishable from tree-level counterpart (Eq. 68, 79)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Fixing the Renormalization of Inflationary Loops via Ward Identities
Ward identities from large gauge symmetry impose model-independent constraints on renormalizing inflationary loops and non-perturbatively govern the infrared power spectrum evolution.
Reference graph
Works this paper leans on
-
[1]
Finite parts of inflationary loops,
G. Ballesteros, J. Gamb´ ın Egea, and F. Riccardi, “Finite parts of inflationary loops,”JHEP06 (2025) 098,arXiv:2411.19674 [hep-th]
-
[2]
M. Braglia and L. Pinol, “One-loop renormalization of the effective field theory of inflationary fluctuations from gravitational interactions,”arXiv:2504.07926 [astro-ph.CO]
-
[3]
M. Braglia and L. Pinol, “Freezing of the renormalized one-loop primordial scalar power spectrum,”arXiv:2504.13136 [astro-ph.CO]
-
[4]
J. Kristiano and J. Yokoyama, “Inflationary background renormalization,”arXiv:2504.18514 [hep-th]
-
[5]
Brownian motion of a quantum oscillator,
J. S. Schwinger, “Brownian motion of a quantum oscillator,”J. Math. Phys.2(1961) 407–432
work page 1961
-
[6]
Expectation value formalism in quantum field theory. 1.,
P. M. Bakshi and K. T. Mahanthappa, “Expectation value formalism in quantum field theory. 1.,” J. Math. Phys.4(1963) 1–11
work page 1963
-
[7]
Expectation value formalism in quantum field theory. 2.,
P. M. Bakshi and K. T. Mahanthappa, “Expectation value formalism in quantum field theory. 2.,” J. Math. Phys.4(1963) 12–16. 40
work page 1963
-
[8]
Diagram technique for nonequilibrium processes,
L. V. Keldysh, “Diagram technique for nonequilibrium processes,”Zh. Eksp. Teor. Fiz.47(1964) 1515–1527
work page 1964
-
[9]
Quantum Contributions to Cosmological Correlations
S. Weinberg, “Quantum contributions to cosmological correlations,”Phys. Rev. D72(2005) 043514,arXiv:hep-th/0506236
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[10]
Ultraviolet Divergences in Cosmological Correlations
S. Weinberg, “Ultraviolet Divergences in Cosmological Correlations,”Phys. Rev. D83(2011) 063508,arXiv:1011.1630 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[11]
Constraining Primordial Black Hole Formation from Single-Field Inflation,
J. Kristiano and J. Yokoyama, “Constraining Primordial Black Hole Formation from Single-Field Inflation,”Phys. Rev. Lett.132no. 22, (2024) 221003,arXiv:2211.03395 [hep-th]
-
[12]
L. Senatore and M. Zaldarriaga, “On Loops in Inflation,”JHEP12(2010) 008,arXiv:0912.2734 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[13]
Super-Hubble de Sitter Fluctuations and the Dynamical RG
C. P. Burgess, L. Leblond, R. Holman, and S. Shandera, “Super-Hubble de Sitter Fluctuations and the Dynamical RG,”JCAP03(2010) 033,arXiv:0912.1608 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[14]
Loop Corrections to Standard Model Fields in Inflation
X. Chen, Y. Wang, and Z.-Z. Xianyu, “Loop Corrections to Standard Model Fields in Inflation,” JHEP08(2016) 051,arXiv:1604.07841 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[15]
V. Gorbenko and L. Senatore, “λϕ 4 in dS,”arXiv:1911.00022 [hep-th]
-
[16]
Upper Bounds on the Mass of Fundamental Fields from the Primordial Universe,
H. Firouzjahi, “Upper Bounds on the Mass of Fundamental Fields from the Primordial Universe,” Astrophys. J.985no. 1, (2025) 141,arXiv:2406.18435 [astro-ph.CO]
-
[17]
S. Cespedes and S. Jazayeri, “The massive flat space limit of cosmological correlators,”JHEP07 (2025) 032,arXiv:2501.02119 [hep-th]
-
[18]
G. Ballesteros and J. Gamb´ ın Egea, “One-loop power spectrum in ultra slow-roll inflation and implications for primordial black hole dark matter,”JCAP07(2024) 052,arXiv:2404.07196 [astro-ph.CO]
-
[19]
J. Fumagalli, “Absence of one-loop effects on large scales from small scales in non-slow-roll dynamics,”JHEP05(2025) 162,arXiv:2305.19263 [astro-ph.CO]
-
[20]
Cancellation of quantum corrections on the soft curvature perturbations,
Y. Tada, T. Terada, and J. Tokuda, “Cancellation of quantum corrections on the soft curvature perturbations,”JHEP01(2024) 105,arXiv:2308.04732 [hep-th]
-
[21]
Inomata, Superhorizon Curvature Perturbations Are Protected against One-Loop Corrections, Phys
K. Inomata, “Superhorizon Curvature Perturbations Are Protected against One-Loop Corrections,” Phys. Rev. Lett.133no. 14, (2024) 141001,arXiv:2403.04682 [astro-ph.CO]
-
[22]
J. Fumagalli, “Absence of one-loop effects on large scales from small scales in non-slow-roll dynamics. Part 2. Quartic interactions and consistency relations,”JHEP01(2025) 108, arXiv:2408.08296 [astro-ph.CO]
-
[23]
Tensor Bounds on the Hidden Universe
A. del Rio, R. Durrer, and S. P. Patil, “Tensor Bounds on the Hidden Universe,”JHEP12(2018) 094,arXiv:1808.09282 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[24]
The Effective Field Theory of Inflation
C. Cheung, P. Creminelli, A. L. Fitzpatrick, J. Kaplan, and L. Senatore, “The Effective Field Theory of Inflation,”JHEP03(2008) 014,arXiv:0709.0293 [hep-th]. 41
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[25]
Supersymmetric Dimensional Regularization via Dimensional Reduction,
W. Siegel, “Supersymmetric Dimensional Regularization via Dimensional Reduction,”Phys. Lett. B84(1979) 193–196
work page 1979
-
[26]
Inconsistency of Supersymmetric Dimensional Regularization,
W. Siegel, “Inconsistency of Supersymmetric Dimensional Regularization,”Phys. Lett. B94(1980) 37–40
work page 1980
-
[27]
Regularization by Dimensional Reduction of Supersymmetric and Nonsupersymmetric Gauge Theories,
D. M. Capper, D. R. T. Jones, and P. van Nieuwenhuizen, “Regularization by Dimensional Reduction of Supersymmetric and Nonsupersymmetric Gauge Theories,”Nucl. Phys. B167(1980) 479–499
work page 1980
-
[28]
Lowest order divergent graphs in nu-dimensional space,
C. G. Bollini and J. J. Giambiagi, “Lowest order divergent graphs in nu-dimensional space,”Phys. Lett. B40(1972) 566–568
work page 1972
-
[29]
Regularization and Renormalization of Gauge Fields,
G. ’t Hooft and M. J. G. Veltman, “Regularization and Renormalization of Gauge Fields,”Nucl. Phys. B44(1972) 189–213
work page 1972
-
[30]
Analytic renormalization via continuous space dimension,
G. M. Cicuta and E. Montaldi, “Analytic renormalization via continuous space dimension,”Lett. Nuovo Cim.4(1972) 329–332
work page 1972
-
[31]
A Method of Gauge Invariant Regularization,
J. F. Ashmore, “A Method of Gauge Invariant Regularization,”Lett. Nuovo Cim.4(1972) 289–290
work page 1972
-
[32]
Quantum Contributions to Cosmological Correlations II: Can These Corrections Become Large?
S. Weinberg, “Quantum contributions to cosmological correlations. II. Can these corrections become large?,”Phys. Rev. D74(2006) 023508,arXiv:hep-th/0605244
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[33]
Primordial Non-Gaussianities from Inflation Models
X. Chen, “Primordial Non-Gaussianities from Inflation Models,”Adv. Astron.2010(2010) 638979, arXiv:1002.1416 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[34]
Inflation, Cosmic Perturbations and Non-Gaussianities
Y. Wang, “Inflation, Cosmic Perturbations and Non-Gaussianities,”Commun. Theor. Phys.62 (2014) 109–166,arXiv:1303.1523 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[35]
The "in-in" Formalism and Cosmological Perturbations
P. Adshead, R. Easther, and E. A. Lim, “The ’in-in’ Formalism and Cosmological Perturbations,” Phys. Rev. D80(2009) 083521,arXiv:0904.4207 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[36]
L. Senatore, “Lectures on inflation.,” inTheoretical Advanced Study Institute in Elementary Particle Physics: New Frontiers in Fields and Strings, pp. 447–543. 2017.arXiv:1609.00716 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[37]
Eine Verallgemeinerung der Quantenbedingungen f¨ ur die Zwecke der Wellenmechanik,
G. Wentzel, “Eine Verallgemeinerung der Quantenbedingungen f¨ ur die Zwecke der Wellenmechanik,”Zeitschrift fur Physik38no. 6-7, (June, 1926) 518–529
work page 1926
-
[38]
Wellenmechanik und halbzahlige Quantisierung,
H. A. Kramers, “Wellenmechanik und halbzahlige Quantisierung,”Zeitschrift fur Physik39 no. 10-11, (Oct., 1926) 828–840
work page 1926
-
[39]
L. Brillouin, “La m´ ecanique ondulatoire de Schr¨ odinger; une m´ ethode g´ en´ erale de resolution par approximations successives,”Compt. Rend. Hebd. Seances Acad. Sci.183no. 1, (1926) 24–26
work page 1926
-
[40]
C. Armendariz-Picon, T. Damour, and V. F. Mukhanov, “k - inflation,”Phys. Lett. B458(1999) 209–218,arXiv:hep-th/9904075
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[41]
Non-Gaussian features of primordial fluctuations in single field inflationary models
J. M. Maldacena, “Non-Gaussian features of primordial fluctuations in single field inflationary models,”JHEP05(2003) 013,arXiv:astro-ph/0210603. 42
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[42]
S. Weinberg, “Adiabatic modes in cosmology,”Phys. Rev. D67(2003) 123504, arXiv:astro-ph/0302326
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[43]
A general proof of the conservation of the curvature perturbation
D. H. Lyth, K. A. Malik, and M. Sasaki, “A General proof of the conservation of the curvature perturbation,”JCAP05(2005) 004,arXiv:astro-ph/0411220
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[44]
On Loops in Inflation III: Time Independence of zeta in Single Clock Inflation
G. L. Pimentel, L. Senatore, and M. Zaldarriaga, “On Loops in Inflation III: Time Independence of zeta in Single Clock Inflation,”JHEP07(2012) 166,arXiv:1203.6651 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[45]
Symmetries and Loops in Inflation
V. Assassi, D. Baumann, and D. Green, “Symmetries and Loops in Inflation,”JHEP02(2013) 151,arXiv:1210.7792 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[46]
The constancy of \zeta in single-clock Inflation at all loops
L. Senatore and M. Zaldarriaga, “The constancy ofζin single-clock Inflation at all loops,”JHEP 09(2013) 148,arXiv:1210.6048 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[47]
Soft Metric Fluctuations During Inflation,
D. Green and K. Gupta, “Soft Metric Fluctuations During Inflation,”arXiv:2410.11973 [hep-th]
-
[48]
Effective Field Theory for Inflation
S. Weinberg, “Effective Field Theory for Inflation,”Phys. Rev. D77(2008) 123541, arXiv:0804.4291 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[49]
M. Alishahiha, E. Silverstein, and D. Tong, “DBI in the sky,”Phys. Rev. D70(2004) 123505, arXiv:hep-th/0404084
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[50]
On the consistency relation of the 3-point function in single field inflation
C. Cheung, A. L. Fitzpatrick, J. Kaplan, and L. Senatore, “On the consistency relation of the 3-point function in single field inflation,”JCAP02(2008) 021,arXiv:0709.0295 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[51]
S. Bhowmick, D. Ghosh, and F. Ullah, “Bispectrum at 1-loop in the Effective Field Theory of Inflation,”JHEP10(2024) 057,arXiv:2405.10374 [hep-th]
-
[52]
Singularities in Cosmological Loop Correlators II : Non Local Interactions and Flat Space limits,
E. Ansari, S. Bhowmick, and D. Ghosh, “Singularities in Cosmological Loop Correlators II : Non Local Interactions and Flat Space limits,”arXiv:2512.11040 [hep-th]
-
[53]
Single field consistency relation for the 3-point function
P. Creminelli and M. Zaldarriaga, “Single field consistency relation for the 3-point function,”JCAP 10(2004) 006,arXiv:astro-ph/0407059
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[54]
A generalized non-Gaussian consistency relation for single field inflation
R. Bravo, S. Mooij, G. A. Palma, and B. Pradenas, “A generalized non-Gaussian consistency relation for single field inflation,”JCAP05(2018) 024,arXiv:1711.02680 [astro-ph.CO]. 43
work page internal anchor Pith review Pith/arXiv arXiv 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.