pith. sign in

arxiv: 2512.20467 · v2 · pith:PXA5EF2Onew · submitted 2025-12-23 · ✦ hep-th · astro-ph.CO· gr-qc· hep-ph

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

classification ✦ hep-th astro-ph.COgr-qchep-ph
keywords in-in formalisminflationary loopseffective field theory of inflationprimordial bispectrumdimensional regularizationHamiltonian countertermsfinite partsUV divergences
0
0 comments X

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.

The paper develops a streamlined method using dimensional regularization to evaluate in-in loop integrals for diagrams with any number of external legs and vertices in inflationary models. This technique extracts ultraviolet contributions efficiently and leads to the observation that standard Hamiltonian counterterms face an apparent obstruction to renormalization in the in-in formalism. The work stresses that finite parts of these loop corrections can be separated from counterterm contributions. As an application in the effective field theory of inflation, it identifies a one-loop primordial bispectrum term for specific interactions that differs from the associated tree-level shape.

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

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

  • 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

Figures reproduced from arXiv: 2512.20467 by Flavio Riccardi, Guillermo Ballesteros, Jes\'us Gamb\'in Egea.

Figure 1
Figure 1. Figure 1: Integration domains (shaded regions) for the integrals Eq. (22) (left) and Eq. (23) (right). The [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

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)
  1. [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.
  2. [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)
  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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard assumptions of dimensional regularization and the in-in formalism in time-dependent backgrounds; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Dimensional regularization correctly isolates UV divergences in in-in integrals for inflationary backgrounds
    Invoked to enable the streamlined extraction of finite parts
  • domain assumption Hamiltonian counterterms can be applied within the in-in formalism without additional time-ordering issues
    The paper identifies an apparent difficulty with this, implying it is a background assumption being tested

pith-pipeline@v0.9.0 · 5415 in / 1226 out tokens · 33567 ms · 2026-05-16T20:18:13.619438+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

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

  1. Fixing the Renormalization of Inflationary Loops via Ward Identities

    gr-qc 2026-05 unverdicted novelty 5.0

    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

54 extracted references · 54 canonical work pages · cited by 1 Pith paper · 24 internal anchors

  1. [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. [2]

    Braglia and L

    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. [3]

    Braglia and L

    M. Braglia and L. Pinol, “Freezing of the renormalized one-loop primordial scalar power spectrum,”arXiv:2504.13136 [astro-ph.CO]

  4. [4]

    Kristiano and J

    J. Kristiano and J. Yokoyama, “Inflationary background renormalization,”arXiv:2504.18514 [hep-th]

  5. [5]

    Brownian motion of a quantum oscillator,

    J. S. Schwinger, “Brownian motion of a quantum oscillator,”J. Math. Phys.2(1961) 407–432

  6. [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

  7. [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

  8. [8]

    Diagram technique for nonequilibrium processes,

    L. V. Keldysh, “Diagram technique for nonequilibrium processes,”Zh. Eksp. Teor. Fiz.47(1964) 1515–1527

  9. [9]

    Quantum Contributions to Cosmological Correlations

    S. Weinberg, “Quantum contributions to cosmological correlations,”Phys. Rev. D72(2005) 043514,arXiv:hep-th/0506236

  10. [10]

    Ultraviolet Divergences in Cosmological Correlations

    S. Weinberg, “Ultraviolet Divergences in Cosmological Correlations,”Phys. Rev. D83(2011) 063508,arXiv:1011.1630 [hep-th]

  11. [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. [12]

    On Loops in Inflation

    L. Senatore and M. Zaldarriaga, “On Loops in Inflation,”JHEP12(2010) 008,arXiv:0912.2734 [hep-th]

  13. [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]

  14. [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]

  15. [15]

    Gorbenko and L

    V. Gorbenko and L. Senatore, “λϕ 4 in dS,”arXiv:1911.00022 [hep-th]

  16. [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. [17]

    Cespedes and S

    S. Cespedes and S. Jazayeri, “The massive flat space limit of cosmological correlators,”JHEP07 (2025) 032,arXiv:2501.02119 [hep-th]

  18. [18]

    Ballesteros and J

    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. [19]

    Fumagalli (2023), 2305.19263

    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. [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. [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. [22]

    Fumagalli, Absence of one-loop effects on large scales from small scales in non-slow-roll dynamics II: Quartic interactions and consistency relations , 2408.08296

    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. [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]

  24. [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

  25. [25]

    Supersymmetric Dimensional Regularization via Dimensional Reduction,

    W. Siegel, “Supersymmetric Dimensional Regularization via Dimensional Reduction,”Phys. Lett. B84(1979) 193–196

  26. [26]

    Inconsistency of Supersymmetric Dimensional Regularization,

    W. Siegel, “Inconsistency of Supersymmetric Dimensional Regularization,”Phys. Lett. B94(1980) 37–40

  27. [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

  28. [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

  29. [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

  30. [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

  31. [31]

    A Method of Gauge Invariant Regularization,

    J. F. Ashmore, “A Method of Gauge Invariant Regularization,”Lett. Nuovo Cim.4(1972) 289–290

  32. [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

  33. [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]

  34. [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]

  35. [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]

  36. [36]

    Lectures on Inflation

    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]

  37. [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

  38. [38]

    Wellenmechanik und halbzahlige Quantisierung,

    H. A. Kramers, “Wellenmechanik und halbzahlige Quantisierung,”Zeitschrift fur Physik39 no. 10-11, (Oct., 1926) 828–840

  39. [39]

    La m´ ecanique ondulatoire de Schr¨ odinger; une m´ ethode g´ en´ erale de resolution par approximations successives,

    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

  40. [40]

    k-Inflation

    C. Armendariz-Picon, T. Damour, and V. F. Mukhanov, “k - inflation,”Phys. Lett. B458(1999) 209–218,arXiv:hep-th/9904075

  41. [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

  42. [42]

    Adiabatic Modes in Cosmology

    S. Weinberg, “Adiabatic modes in cosmology,”Phys. Rev. D67(2003) 123504, arXiv:astro-ph/0302326

  43. [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

  44. [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]

  45. [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]

  46. [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]

  47. [47]

    Soft Metric Fluctuations During Inflation,

    D. Green and K. Gupta, “Soft Metric Fluctuations During Inflation,”arXiv:2410.11973 [hep-th]

  48. [48]

    Effective Field Theory for Inflation

    S. Weinberg, “Effective Field Theory for Inflation,”Phys. Rev. D77(2008) 123541, arXiv:0804.4291 [hep-th]

  49. [49]

    DBI in the Sky

    M. Alishahiha, E. Silverstein, and D. Tong, “DBI in the sky,”Phys. Rev. D70(2004) 123505, arXiv:hep-th/0404084

  50. [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]

  51. [51]

    Bhowmick, D

    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. [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. [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

  54. [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