pith. sign in

arxiv: 2512.18006 · v2 · submitted 2025-12-19 · ✦ hep-th · gr-qc

Cancellation of UV divergences in ghost-free infinite derivative gravity

Alexey S. Koshelev , Oleg Melichev , Leslaw Rachwal This is my paper

Pith reviewed 2026-05-16 20:34 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords infinite derivative gravityghost-free theoriesUV divergencesone-loop renormalizationform factorsheat kernelquadratic gravity
0
0 comments X

The pith

Certain form factors make one-loop UV logarithmic divergences vanish in ghost-free infinite derivative gravity.

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

The paper establishes conditions on form factors in the most general quadratic curvature gravity action that make all one-loop logarithmic UV divergences cancel. These form factors are exponentials of entire functions of the d'Alembert operator, chosen so the theory is ghost-free and power counting confines divergences to one loop. A sympathetic reader would care because the result supplies an explicit route to a non-local but renormalizable quantum gravity model whose one-loop effective action is finite apart from topological terms. The authors apply the heat kernel technique to compute the divergences in the UV limit and isolate the growth properties of the entire functions that achieve cancellation both inside and outside the Tomboulis class. They also supply the general one-loop beta functions for the dimensionless couplings when the form factors are asymptotically monomial.

Core claim

By choosing form factors as the exponential of an entire function that grows sufficiently fast along the real axis, the one-loop logarithmic divergences in the ultraviolet limit cancel completely, leaving only the Gauss-Bonnet term and a surface term, both of which can be neglected on a four-dimensional manifold without boundary. The authors identify explicit examples of such form factors both within the Tomboulis class and beyond it, and they give the general expression for the one-loop beta functions of the dimensionless couplings in quadratic gravity with asymptotically monomial form factors.

What carries the argument

The form factors, functions of the d'Alembert operator taken as the exponential of an entire function whose growth along the real axis is fast enough to restrict divergences to one loop by power counting.

If this is right

  • The theory becomes one-loop finite for these choices of form factors.
  • Renormalization proceeds without local counterterms other than the topological Gauss-Bonnet term.
  • The beta functions of the dimensionless couplings are fully determined by the asymptotic monomial behavior of the form factors.
  • Ghost freedom is preserved while the ultraviolet divergences are eliminated at one loop.

Where Pith is reading between the lines

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

  • The same growth condition on the form factors may suppress divergences at higher loop orders in related non-local theories.
  • These finite one-loop results could be used to extract concrete predictions for high-energy scattering or early-universe cosmology without arbitrary cutoffs.
  • The mechanism offers a template for constructing other non-local gravitational actions whose loop expansions remain under control.

Load-bearing premise

The form factors grow sufficiently fast along the real axis so that power-counting arguments restrict all divergences to one loop.

What would settle it

Explicit evaluation of the divergent part of the one-loop effective action for one of the proposed exponential form factors that produces non-vanishing logarithmic terms would show the cancellation does not hold.

read the original abstract

We consider the most general covariant gravity action up to terms that are quadratic in curvature. These can be endowed with generic form factors, which are functions of the d'Alembert operator. If they are chosen in a specific way as an exponent of an entire function, the theory becomes ghost-free and renormalizable at the price of non-locality. Furthermore, according to power-counting arguments, if these functions grow sufficiently fast along the real axis, divergences may only appear at the first order in loop expansion. Using the heat kernel technique, we compute the one-loop logarithmic divergences in the ultraviolet limit and determine the conditions under which they vanish completely, apart from the Gauss--Bonnet term and a surface term, both of which can be neglected on a four-dimensional manifold without a boundary. We identify form factors both within the Tomboulis class and beyond it that lead to vanishing logarithmic divergences. The general expression for the one-loop beta functions of the dimensionless couplings in quadratic gravity with asymptotically monomial form factors is given.

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

1 major / 1 minor

Summary. The manuscript considers the most general covariant gravity action quadratic in curvature, endowed with form factors that are functions of the d'Alembertian. Choosing these form factors as exponentials of entire functions that grow sufficiently fast along the real axis renders the theory ghost-free and, by power-counting, restricts divergences to one loop. Using the heat-kernel technique, the authors compute the one-loop logarithmic UV divergences and derive conditions on the form factors under which these divergences vanish completely (apart from the Gauss-Bonnet term and a surface term, both negligible in four dimensions without boundary). They identify explicit examples both within the Tomboulis class and beyond it that achieve this cancellation, and supply the general expression for the one-loop beta functions of the dimensionless couplings when the form factors are asymptotically monomial.

Significance. If the cancellation is rigorously established, the result would demonstrate that a wide class of non-local ghost-free quadratic gravity models can be made one-loop finite modulo topological terms. This would furnish concrete support for power-counting renormalizability arguments in infinite-derivative gravity and provide explicit form-factor choices that eliminate the need for counterterms at one loop, advancing the viability of these theories as renormalizable quantum gravity candidates.

major comments (1)
  1. [heat-kernel computation of one-loop divergences] The central claim that the logarithmic divergences vanish for the identified form factors rests on the heat-kernel evaluation of the a4 coefficient for the pseudo-differential operator obtained by dressing the quadratic curvature operator with entire form factors F(□). Standard Seeley-DeWitt coefficients are derived for local elliptic differential operators of finite order; when F(□) is an entire function of exponential growth the symbol is non-polynomial, and the UV asymptotics of Tr e^{-tD} may receive additional non-local contributions not captured by the usual local a4 term. The manuscript must explicitly show that no such extra terms survive after form-factor suppression, or provide a justification that the standard local expansion remains complete for the chosen class of operators.
minor comments (1)
  1. A brief, explicit statement of the minimal growth condition on the entire function (e.g., the precise asymptotic behavior along the real axis) that guarantees power-counting restricts all divergences to one loop would improve clarity in the introduction and abstract.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for raising this important point about the validity of the heat-kernel expansion for our non-local operators. We address the concern directly below.

read point-by-point responses

  1. Referee: [heat-kernel computation of one-loop divergences] The central claim that the logarithmic divergences vanish for the identified form factors rests on the heat-kernel evaluation of the a4 coefficient for the pseudo-differential operator obtained by dressing the quadratic curvature operator with entire form factors F(□). Standard Seeley-DeWitt coefficients are derived for local elliptic differential operators of finite order; when F(□) is an entire function of exponential growth the symbol is non-polynomial, and the UV asymptotics of Tr e^{-tD} may receive additional non-local contributions not captured by the usual local a4 term. The manuscript must explicitly show that no such extra terms survive after form-factor suppression, or provide a justification that the standard local expansion remains complete for the chosen class of operators.

    Authors: We thank the referee for this observation. For the class of entire form factors considered (exponentials of entire functions with sufficient growth), the UV asymptotics of the heat kernel are controlled by the principal symbol of the operator. In the small-t limit relevant for logarithmic divergences, the non-polynomial contributions from F(□) are analytic and exponentially suppressed at high momenta, so they do not generate additional local counterterms beyond the standard a4 coefficient. This is consistent with the power-counting renormalizability argument already used in the paper. We have added a clarifying paragraph in Section 3 explaining the symbol expansion and the absence of extra non-local UV terms. revision: partial

Circularity Check

0 steps flagged

Direct heat-kernel coefficient evaluation for exponential entire form factors yields explicit cancellation conditions

full rationale

The paper selects form factors as exponentials of entire functions, applies the standard heat-kernel expansion to the resulting quadratic operator, and computes the one-loop logarithmic divergences explicitly. The vanishing conditions follow from the evaluated a4 coefficient (apart from GB and surface terms) rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The derivation is self-contained once the form-factor ansatz and heat-kernel method are granted; no step reduces the reported cancellation to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the assumption that the form factors are exponentials of entire functions whose growth controls the UV behavior, together with the validity of the heat-kernel expansion for the one-loop effective action.

axioms (2)
  • domain assumption Form factors are exponentials of entire functions of the d'Alembertian operator
    Invoked to guarantee ghost-freedom and improved UV scaling
  • domain assumption Power counting restricts divergences to one loop when form factors grow sufficiently fast
    Used to justify focusing the calculation on the one-loop level

pith-pipeline@v0.9.0 · 5478 in / 1240 out tokens · 55812 ms · 2026-05-16T20:34:20.280175+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Non-vacuum gravitational effective action

    hep-th 2026-05 unverdicted novelty 7.0

    Curvature expansion of the heat kernel and effective action is derived for quasi-thermal non-vacuum gravitational backgrounds using a covariant generalized Killing vector field.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · cited by 1 Pith paper · 23 internal anchors

  1. [1]

    Wataghin,Bemerkung ¨ uber die Selbstenergie der Elektronen,Z

    G. Wataghin,Bemerkung ¨ uber die Selbstenergie der Elektronen,Z. Phys.88(1934) 92–98

    work page 1934

  2. [2]

    Kuzmin,The convergent nonlocal gravitation (in Russian),Sov

    Y.V. Kuzmin,The convergent nonlocal gravitation (in Russian),Sov. J. Nucl. Phys.50(1989) 1011–1014

    work page 1989

  3. [3]

    Super-renormalizable Quantum Gravity

    L. Modesto,Super-renormalizable Quantum Gravity, Phys. Rev. D86(2012) 044005 [1107.2403]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  4. [4]

    Super-renormalizable & Finite Gravitational Theories

    L. Modesto and L. Rachwa l,Super-renormalizable and finite gravitational theories,Nucl. Phys. B889(2014) 228–248 [1407.8036]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  5. [5]

    Do we have unitary and (super)renormalizable Quantum Gravity below Planck scale?

    F.d.O. Salles and I.L. Shapiro,Do we have unitary and (super)renormalizable quantum gravity below the Planck scale?,Phys. Rev. D89(2014) 084054 [1401.4583]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  6. [6]

    Nonlocal and quasi-local field theories

    E.T. Tomboulis,Nonlocal and quasilocal field theories, Phys. Rev. D92(2015) 125037 [1507.00981]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  7. [7]

    Finite Conformal Quantum Gravity and Nonsingular Spacetimes

    L. Modesto and L. Rachwa l,Finite Conformal Quantum Gravity and Nonsingular Spacetimes,1605.04173

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    Occurrence of exact $R^2$ inflation in non-local UV-complete gravity

    A.S. Koshelev, L. Modesto, L. Rachwa l and A.A. Starobinsky,Occurrence of exactR 2 inflation in non-local UV-complete gravity,JHEP11(2016) 067 [1604.03127]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  9. [9]

    Finite quantum gravity in dS and AdS spacetimes

    A.S. Koshelev, K. Sravan Kumar, L. Modesto and L. Rachwa l,Finite quantum gravity in dS and AdS spacetimes,Phys. Rev. D98(2018) 046007 [1710.07759]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  10. [10]

    Finite conformal quantum gravity and spacetime singularities

    L. Modesto and L. Rachwa l,Finite conformal quantum gravity and spacetime singularities,J. Phys. Conf. Ser. 942(2017) 012015 [1801.03193]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  11. [11]

    Calcagni and L

    G. Calcagni and L. Rachwa l,Ultraviolet-complete quantum field theories with fractional operators,JCAP09 (2023) 003 [2210.04914]

    work page arXiv 2023

  12. [12]

    Rachwal, Universe8, 229 (2022), arXiv:2204.09858 [hep-th]

    L. Rachwa l,Ultraviolet Finiteness or Asymptotic Safety in Higher Derivative Gravitational Theories,Universe8 (2022) 229 [2204.09858]

    work page arXiv 2022

  13. [13]

    Rachwa l,Six-Derivative Gravitation and UV-Finiteness,Phys

    L. Rachwa l,Six-Derivative Gravitation and UV-Finiteness,Phys. Part. Nucl.55(2024) 1481–1487

    work page 2024

  14. [14]

    Modesto and L

    L. Modesto and L. Rachwa l,Nonlocal quantum gravity: A review,Int. J. Mod. Phys. D26(2017) 1730020

    work page 2017

  15. [15]

    Bas i Beneito, G

    A. Bas i Beneito, G. Calcagni and L. Rachwa l,Classical and quantum nonlocal gravity,2211.05606

    work page arXiv

  16. [16]

    Krasnikov,Nonlocal gauge theories,Theor

    N.V. Krasnikov,Nonlocal gauge theories,Theor. Math. Phys.73(1987) 1184–1190

    work page 1987

  17. [17]

    Krasnikov,Nonlocal Gauge Theories Including Quantum Gravity, Springer (2024), DOI

    N.V. Krasnikov,Nonlocal Gauge Theories Including Quantum Gravity, Springer (2024), DOI

    work page 2024

  18. [18]

    Finite quantum gauge theories

    L. Modesto, M. Piva and L. Rachwa l,Finite quantum gauge theories,Phys. Rev. D94(2016) 025021 [1506.06227]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  19. [19]

    Universally Finite Gravitational & Gauge Theories

    L. Modesto and L. Rachwa l,Universally finite gravitational and gauge theories,Nucl. Phys. B900 (2015) 147–169 [1503.00261]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  20. [20]

    Towards singularity and ghost free theories of gravity

    T. Biswas, E. Gerwick, T. Koivisto and A. Mazumdar, Towards singularity and ghost free theories of gravity, Phys. Rev. Lett.108(2012) 031101 [1110.5249]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  21. [21]

    Generalized ghost-free quadratic curvature gravity

    T. Biswas, A. Conroy, A.S. Koshelev and A. Mazumdar, Generalized ghost-free quadratic curvature gravity,Class. Quant. Grav.31(2014) 015022 [1308.2319]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  22. [22]

    Draper, B

    T. Draper, B. Knorr, C. Ripken and F. Saueressig, Graviton-Mediated Scattering Amplitudes from the Quantum Effective Action,JHEP11(2020) 136 [2007.04396]

    work page arXiv 2020

  23. [23]

    Knorr, C

    B. Knorr, C. Ripken and F. Saueressig,Form Factors in Asymptotically Safe Quantum Gravity, (2024), DOI [2210.16072]

    work page arXiv 2024

  24. [24]

    Knorr, S

    B. Knorr, S. Pirlo, C. Ripken and F. Saueressig, Cartographing gravity-mediated scattering amplitudes: scalars and photons,2205.01738

    work page arXiv

  25. [25]

    Knorr,Momentum-dependent field redefinitions in asymptotic safety,Phys

    B. Knorr,Momentum-dependent field redefinitions in asymptotic safety,Phys. Rev. D110(2024) 026001 [2311.12097]

    work page arXiv 2024

  26. [26]

    Teixeira, I.L

    P.d.M. Teixeira, I.L. Shapiro and T.G. Ribeiro,One-loop effective action: nonlocal form factors and renormalization group,Grav. Cosmol.26(2020) 185–199 [2003.04503]

    work page arXiv 2020

  27. [27]

    Ohta and L

    N. Ohta and L. Rachwa l,Effective action from the functional renormalization group,Eur. Phys. J. C80 (2020) 877 [2002.10839]

    work page arXiv 2020

  28. [28]

    Superrenormalizable gauge and gravitational theories

    E.T. Tomboulis,Superrenormalizable gauge and gravitational theories,hep-th/9702146

    work page internal anchor Pith review Pith/arXiv arXiv

  29. [29]

    Koshelev and A

    A.S. Koshelev and A. Tokareva,Unitarity of Minkowski nonlocal theories made explicit,Phys. Rev. D104(2021) 025016 [2103.01945]

    work page arXiv 2021

  30. [30]

    Unitarity issues in higher derivative field theories

    M. Asorey, L. Rachwa l and I.L. Shapiro,Unitary Issues in Some Higher Derivative Field Theories,Galaxies6 (2018) 23 [1802.01036]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  31. [31]

    Conditions for positivity of energy in superrenormalizable polynomial gravity

    P.R.B.R.d. Vale,Conditions for positivity of energy in superrenormalizable polynomial gravity,2508.07508

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    Tomboulis,Renormalization and unitarity in higher derivative and nonlocal gravity theories,Mod

    E.T. Tomboulis,Renormalization and unitarity in higher derivative and nonlocal gravity theories,Mod. Phys. Lett. A30(2015) 1540005

    work page 2015

  33. [33]

    Feynman,Quantum theory of gravitation,Acta Phys

    R.P. Feynman,Quantum theory of gravitation,Acta Phys. Polon.24(1963) 697–722

    work page 1963

  34. [34]

    DeWitt,Quantum Theory of Gravity

    B.S. DeWitt,Quantum Theory of Gravity. 1. The Canonical Theory,Phys. Rev.160(1967) 1113–1148

    work page 1967

  35. [35]

    Faddeev and V.N

    L.D. Faddeev and V.N. Popov,Feynman Diagrams for the Yang-Mills Field,Phys. Lett. B25(1967) 29–30

    work page 1967

  36. [36]

    Buchbinder, S.D

    I.L. Buchbinder, S.D. Odintsov and I.L. Shapiro,Effective action in quantum gravity, CRC Press (1992)

    work page 1992

  37. [37]

    Barvinsky and G.A

    A.O. Barvinsky and G.A. Vilkovisky,The Generalized Schwinger-Dewitt Technique in Gauge Theories and Quantum Gravity,Phys. Rept.119(1985) 1–74

    work page 1985

  38. [38]

    K. Groh, F. Saueressig and O. Zanusso,Off-diagonal heat-kernel expansion and its application to fields with differential constraints,1112.4856

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [39]

    Rachwa l, L

    L. Rachwa l, L. Modesto, A. Pinzul and I.L. Shapiro, Renormalization group in six-derivative quantum gravity, Phys. Rev. D104(2021) 085018 [2104.13980]. 11

    work page arXiv 2021

  40. [40]

    Some remarks on high derivative quantum gravity

    M. Asorey, J.L. Lopez and I.L. Shapiro,Some remarks on high derivative quantum gravity,Int. J. Mod. Phys. A12 (1997) 5711–5734 [hep-th/9610006]

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  41. [41]

    Renormalization group in super-renormalizable quantum gravity

    L. Modesto, L. Rachwa l and I.L. Shapiro, Renormalization group in super-renormalizable quantum gravity,Eur. Phys. J. C78(2018) 555 [1704.03988]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  42. [42]

    Bo Peng, Eric Alcaide, Quentin Anthony, Alon Albalak, Samuel Arcadinho, Stella Biderman, et al

    I.L. Buchbinder and I. Shapiro,Introduction to Quantum Field Theory with Applications to Quantum Gravity, Oxford Graduate Texts, Oxford University Press (2, 2023), 10.1093/oso/9780198838319.001.0001

    work page doi:10.1093/oso/9780198838319.001.0001 2023

  43. [43]

    Koshelev, A.A

    A.S. Koshelev, A.A. Starobinsky and A. Tokareva, Post-inflationary GW production in generic higher (infinite) derivative gravity,Phys. Lett. B838(2023) 137686 [2211.02070]

    work page arXiv 2023

  44. [44]

    Mart´ ın-Garc´ ıa,xTensor, A fast manipulator of tensor expressions, http://www.xact.es/index.html

    J. Mart´ ın-Garc´ ıa,xTensor, A fast manipulator of tensor expressions, http://www.xact.es/index.html

    work page

  45. [45]

    xPerm: fast index canonicalization for tensor computer algebra

    J.M. Mart´ ın-Garc´ ıa,xPerm: fast index canonicalization for tensor computer algebra,Comput. Phys. Commun. 179(2008) 597–603 [0803.0862]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  46. [46]

    xPert: Computer algebra for metric perturbation theory

    D. Brizuela, J.M. Martin-Garcia and G.A. Mena Marugan,xPert: Computer algebra for metric perturbation theory,Gen. Rel. Grav.41(2009) 2415–2431 [0807.0824]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  47. [47]

    The Invar Tensor Package

    J.M. Martin-Garcia, R. Portugal and L.R.U. Manssur, The Invar Tensor Package,Comput. Phys. Commun.177 (2007) 640–648 [0704.1756]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  48. [48]

    The Invar tensor package: Differential invariants of Riemann

    J.M. Martin-Garcia, D. Yllanes and R. Portugal,The Invar tensor package: Differential invariants of Riemann, Comput. Phys. Commun.179(2008) 586–590 [0802.1274]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  49. [49]

    Thomas B¨ ackdahl,SymManipulator, http://www.xact.es/SymManipulator/index.html

    work page

  50. [50]

    xTras: a field-theory inspired xAct package for Mathematica

    T. Nutma,xTras : A field-theory inspired xAct package for mathematica,Comput. Phys. Commun.185(2014) 1719–1738 [1308.3493]. 12

    work page internal anchor Pith review Pith/arXiv arXiv 2014