Pith. sign in

REVIEW 3 major objections 4 minor 43 references

Heat Kernel Methods for Multiloop Calculations in Curved Spacetime: Nonzero Spin

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper claims that for fields of spin up to one, arbitrary multiloop Feynman graphs in curved spacetime reduce to a master formula plus one heat-kernel expansion, which it supplies through dimension-four operators.

desk verdict A useful but underived central formula makes this a clear major-revision case, not an accept. read the letter →

arxiv 2507.00177 v1 pith:B4ZXJRTJ submitted 2025-06-30 hep-th hep-ph

Igor Carneiro , Gero von Gersdorff This is my paper · ORCID
classification hep-thhep-ph PACS 04.62.+v
keywords heatkernelRiemannnormalcoordinatesradialgaugemultiloopFeynmangraphscurvedspacetimespin-1/2fermionseffectiveactionbackgroundfieldmethod
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to make multiloop Feynman-diagram calculations in curved spacetime as mechanical for fermions and vector fields as they already are for scalars. Its thesis is that every loop is controlled by one object, the heat kernel of the background-covariant Laplacian, and that once this kernel is expanded in Riemann normal coordinates and radial gauge, an arbitrary multiloop graph reduces to a master formula whose only remaining integrals are over Schwinger parameters. The new result is an explicit expansion of the normalized heat kernel, $B(\tau, X, y, y')$, eq. (4.10), carried through dimension-four operators and coupling the gauge and spin-connection field strength to curvature. If correct, multiloop effective Lagrangians for spin-1/2 and spin-1 fields in curved spacetime become a routine expansion fed by known graph polynomials, rather than a case-by-case computation.

What carries the argument

The normalized heat kernel $B(\tau, X, y, y')$ carries the argument: it is defined by factoring the free heat kernel out of the full one in Riemann normal coordinates, $K = K_{\mathrm{free}}B$, so all dependence on the background fields lives in $B$, a two-point function of the two coordinates $y$ and $y'$. The master formula eq. (3.9) is the engine: it writes the effective Lagrangian as the differential operator $I'(\tau_i, i\partial/\partial y_n, -i\partial/\partial k_i)$ acting on the product $\Gamma$ of vertices and heat-kernel propagator factors, evaluated at $y_n = 0, k_i = 0$, where $I'$ is the Fourier transform of a universal graph integral computed once in terms of graph polynomials (the first Symanzik polynomial and the matrices $Q$, $R$, $U$). Two supporting identities do essential work: the radial gauge condition $y^\mu(A_\mu + \omega_\mu) = 0$, which fixes the gauge and local-Lorentz freedom and gives simple Taylor expansions of the connections, and the symmetry identity (4.9), which relates $y \leftrightarrow y'$ coefficients. The expansion (4.10) itself is produced by decovariantizing known coincident-point heat-kernel coefficients and solving for the off-diagonal partial-derivative coefficients about the base point.

What would settle it

Evaluate the two-loop effective Lagrangian for a spin-1/2 field in a weak gravitational background using eqs. (3.9) and (4.10) and compare the resulting local operators, term by term in the curvature and field-strength tensor structures, with the two-loop result obtained by ordinary Feynman-diagram or covariant background-field techniques; any mismatch in a tensor structure would locate an error in the expansion, and full agreement through dimension four would verify the central claim.

Watch

Extended reading notes

Core claim

The central claim is that a single expansion, eq. (4.10), of the normalized heat kernel $B(\tau, X, y, y')$ in Riemann normal coordinates and radial gauge — with both endpoint coordinates $y$ and $y'$ expanded about the base point rather than one endpoint held fixed — is enough, together with the master formula eq. (3.9), to compute the contribution of any multiloop Feynman graph in curved spacetime for fields of spin up to one. The expansion is organized by operator dimension through dimension four, with $F_{\mu\nu}$ denoting the sum of the gauge and spin-connection field strengths, and it includes the purely gravitational terms of the authors' earlier scalar calculation plus new mixed terms such as $\frac{\tau^2}{12}F_{\mu\nu}F^{\mu\nu}$ and curvature-coupled products of $F$ with $y$ and $y'$. The derivation decovariantizes known off-diagonal heat-kernel coefficients and solves for the off-diagonal partial-derivative expansion coefficients (4.7), with the symmetry identity (4.9), $B(\tau, X, y, y') = B(\tau, X, y', y)|_{A\to -A}$, halving the work by relating $y$- and $y'$-dependent coefficients. The paper demonstrates the machinery by writing out the $\Gamma$ function for a three-loop tetrahedron graph of a QCD-like theory, a fermion triangle coupled to gluon propagators with one derivative vertex.

Load-bearing premise

The paper's central expansion is the output of a long calculation that is described but not displayed; the whole method rests on that calculation being valid at every order and free of error, since no independent check of eq. (4.10) is given.

Editorial extensions

If this is right

  • Any multiloop diagram for fields of spin $\le 1$ in a curved and gauge background can in principle be assembled from the master formula eq. (3.9): the graph-dependent part is the universal Fourier integral $I'$, and the physics enters only through the products of couplings and heat-kernel factors $\Gamma$.
  • Fermion loops lose their special difficulty: the spin-1/2 Dirac structure is folded into the propagator representation eq. (2.13), so a closed fermion loop contributes a trace over Dirac and gauge indices inside the same $\Gamma$ machinery used for scalars.
  • Vector fields in Feynman gauge fit the same scheme with $X_1$, and their ghosts are adjoint scalars, so non-Abelian gauge theories on curved backgrounds are covered by the same expansion.
  • Beyond dimension four the expansion can in principle be continued, but the complexity grows faster than for the usual diagonal heat-kernel coefficients, so automating the procedure is the natural next step; the paper leaves that implementation to future work.
  • The final Schwinger-parameter integrals are not the method's concern: they reduce to the standard vacuum master integrals of the required loop order, which are known through three loops.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • My reading: because the authors note that additional background fields (for instance scalars coupling into $X_1$) enter without changing the heat-kernel machinery, the same expansion should carry over to theories with matter-dependent backgrounds, such as the standard model in a curved spacetime.
  • My reading: the explicit $1/\tau$ terms in eq. (4.10), such as $-\frac{1}{24\tau}F_{\alpha\beta}R_{\mu\rho\nu\sigma}y^\alpha y^\mu y^\nu y'^\beta y'^\rho y'^\sigma$, are not analyzed in the paper; they are exactly the structures that can produce non-polynomial or log-enhanced dependence in the effective action after Schwinger-parameter integration, and it would be worth checking their physical eff
  • A testable extension the authors do not perform: apply the master formula to a two-loop fermion vacuum diagram in a constant electromagnetic field on a maximally symmetric space and compare the coefficient of $F_{\mu\nu}F^{\mu\nu}$ against an independent Schwinger-DeWitt computation; agreement would serve as a check of eq. (4.10).
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper extends a previously developed heat-kernel formalism for multiloop Feynman diagrams in curved spacetime from scalar fields to fields of nonzero spin, specifically spin-1/2 fermions and spin-1 gauge fields. The central new technical result is the off-diagonal expansion of the normalized heat kernel B(τ, X, y, y′) in Riemann normal coordinates and radial gauge, stated as Eq. (4.10). This expansion is combined with a master formula, Eq. (3.9), which uses the universal momentum integral I′ from an earlier paper to reduce any multiloop diagram to integrals over Schwinger parameters. The paper also presents a three-loop example and several appendices collecting notation, the graph-polynomial code, and the purely gravitational heat kernel from a previous publication.

Significance. If Eq. (4.10) is correct, the paper would provide a systematic method for computing multiloop effective actions in curved spacetime for fields of spin up to one, going beyond the scalar case treated in ref. [30]. The conceptual framework is natural and the organization is clear: the master formula is elegant, the previous results are carefully summarized, and the graph-polynomial code in Appendix B is a useful reproducible element. However, the new spin-dependent terms in Eq. (4.10) are asserted without derivation and without independent checks. Since those terms are exactly the part of the result that is new, the significance of the paper is currently conditional on an unverified calculation.

major comments (3)
  1. [§4, Eq. (4.10)] The central new result is stated as the outcome of a calculation that is not shown. The text describes the decovariantization strategy and the use of Eqs. (4.7)–(4.9), but it does not exhibit the intermediate equations, the solution for the partial-derivative coefficients, or the way the final expression is assembled. Because Eq. (4.10) is the input for all the propagator representations in Section 2 and for the master formula (3.9), a single algebraic error in this unshown step would invalidate the paper's main claim. Please provide a complete derivation in an appendix or as an ancillary computation, and at minimum show the defining steps of the decovariantization.
  2. [§4, Eq. (4.10)] No independent checks of Eq. (4.10) are supplied. The expression should reduce to the known flat-space expansion of ref. [32] when the curvature vanishes, it should reproduce the diagonal heat-kernel coefficients of refs. [40,41] in the coincidence limit y=y′=0, and it should satisfy the heat-kernel equation implied by Eq. (2.3). None of these checks is exhibited. At least one such check, preferably the coincidence limit and the flat-space limit, is necessary to establish that the decovariantization was carried out correctly.
  3. [§5] The three-loop example is not carried through. After Eq. (5.1), the paper stops with the incidence matrix and the explicit expression for Γ; no term of the B expansion is inserted, no Schwinger-parameter integral is evaluated, and no local operator is extracted. As the only illustrative application of the formalism, this does not demonstrate that the master formula (3.9) together with Eq. (4.10) works in practice. Please complete at least one term of the example, or provide reproducible code that produces the expansion, so that the reader can verify the method end to end.
minor comments (4)
  1. [§4, Eq. (4.10)] The phrase 'operators of dimension > 4' is ambiguous, because terms containing negative powers of τ and products of y and y′ do not have a unique engineering dimension. Please specify the truncation criterion with respect to the final τ integration and the dimensional-regularization scheme.
  2. [§4, Eq. (4.9)] For non-Abelian gauge fields, B is matrix-valued and the replacement A→−A is not sufficient as stated; the correct symmetry should also involve a transpose on the gauge and spin indices. Please state the identity with the appropriate matrix operation and indicate its domain of validity.
  3. [§3, Eq. (3.9)] For spin-1/2 propagators, the integrand Γ contains covariant derivatives acting on B, as in Eq. (2.13), whereas the operator I′(i∂_y, −i∂_k) is built from ordinary position derivatives. Please clarify that the ordinary derivatives act on the fully assembled product Γ after all covariant derivatives have been expanded, so that no additional commutator terms are hidden.
  4. [§2.4] The overall sign of the massless vector propagator in Eq. (2.18) and its relation to the gauge-fixing term would be clearer if the sign convention were stated explicitly immediately after the equation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: eq. (4.10) is obtained by decovariantizing external diagonal heat-kernel coefficients, with prior formulas reproduced in appendices.

full rationale

The central new result, eq. (4.10), is presented as the outcome of a calculation: the authors start from the known coincidence-limit quantities (4.8) of refs. [40,41], decovariantize them in Riemann normal coordinates and radial gauge, and solve for the off-diagonal partial-derivative coefficients (4.7). The inputs [40,41] are external and do not contain the target off-diagonal expansion, so the result is not assumed by construction. The previous work by the same authors enters in two places: the gravitational kernel Bgrav from ref. [30] and the universal momentum integral I' from ref. [32]. Both are reproduced in the present paper (Appendices C and B, including Mathematica code for I'), so the argument does not reduce to an unverifiable self-citation. The master formula (3.9) is an algebraic identity once the propagator representation (3.5) and the Fourier transform (B.3) are accepted. The main weakness is that the decovariantization leading to (4.10) is not exhibited and no independent check is given; this is a verifiability/correctness gap, not a circular step. No equation is fitted to a target quantity, and no quantity is defined in terms of the result it is supposed to predict. Accordingly, no circularity is found.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no new particles or fitted parameters. The claims rest on standard heat kernel and RNC mathematics plus a set of procedural assumptions about the decovariantization and the factorization of the momentum integrals; the latter are inherited from the authors' previous work.

assumptions (6)
  • domain assumption The heat kernel decomposition K = K_free * B in Riemann normal coordinates is valid and B admits a Taylor expansion in y, y', and τ around the origin.
    Introduced in Section 2.1, eq. (2.6); this is the basis for all expansions and is standard for RNC treatments.
  • standard math The off-diagonal (coincidence limit) heat kernel coefficients from refs. [40,41] are correct and complete for the diagonal covariant quantities (4.8).
    Used in Section 4 to provide the input data for the decovariantization.
  • standard math The RNC expansions of the metric, vielbein, and connections (eqs. (4.1), (4.3), (4.5), (4.6)) are valid and the radial gauge condition y^μ ω_μ = 0 fixes the vielbein ambiguity.
    Standard results from refs. [38,39]; used throughout Section 4.
  • domain assumption The universal momentum integral I'(τ_i, p_n, z_i) computed in ref. [32] applies unchanged in curved spacetime, so the master formula (3.9) factorizes the Feynman integrals.
    Stated in Section 3; this is an assumption that the flat-space graph-polynomial structure is unaffected by the background fields.
  • domain assumption Operators of dimension greater than four are discarded, and the τ→0 limit of the expansion is finite term by term.
    Section 4 ends with 'operators of dimension > 4' being dropped; this truncation is necessary for the result but is not fully justified at higher loops.
  • ad hoc to paper The decovariantization procedure is invertible and yields a unique set of coefficients (4.7).
    This is the core unproven method step described in Section 4; its correctness is the weakest assumption in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Heat Kernel Methods for Multiloop Calculations in Curved Spacetime: Nonzero Spin." pith.science (2026). https://pith.science/paper/B4ZXJRTJ

@misc{pith2026250700177,
  author       = {Pith},
  title        = {Pith review of: Heat Kernel Methods for Multiloop Calculations in Curved Spacetime: Nonzero Spin},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B4ZXJRTJ}},
  note         = {Machine review of arXiv:2507.00177}
}
abstract

In a previous paper we have presented a general formalism for computing Feynman diagrams for scalar fields in curved spacetime at any loop order using heat kernel methods. The main technique used is the expansion of the fully off-diagonal heat kernel in Riemann normal coordinates. In this work we extend this to include fields of nonzero spin, in particular spin-$\frac{1}{2}$ fermions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 31 canonical work pages

  1. [30]

    Carneiro and G

    I. Carneiro and G. von Gersdorff, The heat kernel in Riemann normal coordinates and multiloop Feynman graphs in curved spacetime , JHEP 12 (2024) 140 [ 2408.04005]

    arXiv 2024

  2. [32]

    Factorization of covariant Feynman graphs for the effective action

    G. von Gersdorff, Factorization of covariant Feynman graphs for the effective action , JHEP 12 (2023) 077 [ 2309.14939]. – 16 –

    work page Pith review arXiv 2023

  3. [1]

    Fock, Proper time in classical and quantum mechanics , Phys

    V. Fock, Proper time in classical and quantum mechanics , Phys. Z. Sowjetunion 12 (1937) 404

    work page 1937

  4. [2]

    Schwinger, On gauge invariance and vacuum polarization , Phys

    J. Schwinger, On gauge invariance and vacuum polarization , Phys. Rev. 82 (1951) 664

    1951

  5. [3]

    DeWitt, Dynamical Theory of Groups and Fields , Documents on modern physics

    B. DeWitt, Dynamical Theory of Groups and Fields , Documents on modern physics. Gordon and Breach, 1965

    work page 1965

  6. [4]

    B. S. DeWitt, Quantum Theory of Gravity. 2. The Manifestly Covariant Theory , Phys. Rev. 162 (1967) 1195

    work page 1967

  7. [5]

    P. B. Gilkey, The Spectral geometry of a Riemannian manifold , J. Diff. Geom. 10 (1975) 601

    work page 1975

  8. [6]

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

    work page 1985

Show all 43 references
  1. [7]

    I. G. Avramidi, The Covariant technique for the calculation of the heat kernel asymptotic expansion, Phys. Lett. B 238 (1990) 92

    1990

  2. [8]

    I. G. Avramidi, The Covariant Technique for Calculation of One Loop Effective Action, Nucl. Phys. B 355 (1991) 712

    1991

  3. [9]

    Fujikawa, Path Integral Measure for Gauge Invariant Fermion Theories , Phys

    K. Fujikawa, Path Integral Measure for Gauge Invariant Fermion Theories , Phys. Rev. Lett. 42 (1979) 1195

    1979

  4. [10]

    Fujikawa, Path Integral for Gauge Theories with Fermions , Phys

    K. Fujikawa, Path Integral for Gauge Theories with Fermions , Phys. Rev. D 21 (1980) 2848

    1980

  5. [11]

    Gasser and H

    J. Gasser and H. Leutwyler, Chiral Perturbation Theory to One Loop , Annals Phys. 158 (1984) 142

    1984

  6. [12]

    R. D. Ball, Chiral Gauge Theory , Phys. Rept. 182 (1989) 1

    1989

  7. [13]

    von Gersdorff and M

    G. von Gersdorff and M. Quiros, Localized anomalies in orbifold gauge theories , Phys. Rev. D 68 (2003) 105002 [ hep-th/0305024]

    2003 arXiv

  8. [14]

    von Gersdorff, Anomalies on Six Dimensional Orbifolds , JHEP 03 (2007) 083 [hep-th/0612212]

    G. von Gersdorff, Anomalies on Six Dimensional Orbifolds , JHEP 03 (2007) 083 [hep-th/0612212]

    2007 arXiv

  9. [15]

    Hoover and C

    D. Hoover and C. P. Burgess, Ultraviolet sensitivity in higher dimensions , JHEP 01 (2006) 058 [ hep-th/0507293]. – 15 –

    2006 arXiv

  10. [16]

    A. O. Barvinsky, The Gospel according to DeWitt revisited: Quantum effective action in braneworld models , in International Conference on Theoretical Physics Dedicated to the 70 Year Anniversary of the Tamm Theory Department , 4, 2005, hep-th/0504205

    2005 arXiv

  11. [17]

    von Gersdorff, One-Loop Effective Action in Orbifold Compactifications , JHEP 08 (2008) 097 [ 0805.4542]

    G. von Gersdorff, One-Loop Effective Action in Orbifold Compactifications , JHEP 08 (2008) 097 [ 0805.4542]

    2008 arXiv

  12. [18]

    M. J. Duff and M. Ramon-Medrano, On the Effective Lagrangian for the Yang-Mills Field, Phys. Rev. D 12 (1975) 3357

    1975

  13. [19]

    I. A. Batalin, S. G. Matinyan and G. K. Savvidy, Vacuum Polarization by a Source-Free Gauge Field, Sov. J. Nucl. Phys. 26 (1977) 214

    1977

  14. [20]

    I. A. Batalin and G. K. Savvidy, Vacuum Polarization by Covariant Constant Gauge Field Two Loop Approximation ,

  15. [21]

    J. P. Bornsen and A. E. M. van de Ven, Three loop Yang-Mills beta function via the covariant background field method , Nucl. Phys. B 657 (2003) 257 [ hep-th/0211246]

    2003 arXiv

  16. [22]

    A. V. Ivanov and N. V. Kharuk, Two-loop cutoff renormalization of 4-D Yang–Mills effective action, J. Phys. G 48 (2020) 015002 [ 2004.05999]

    2020 arXiv

  17. [23]

    A. V. Ivanov and N. V. Kharuk, Formula for two-loop divergent part of 4-D Yang–Mills effective action , Eur. Phys. J. C 82 (2022) 997 [ 2203.07131]

    2022 arXiv

  18. [24]

    A. V. Ivanov, Three-loop renormalization of the quantum action for a four-dimensional scalar model with quartic interaction with the usage of the background field method and a cutoff regularization , Nucl. Phys. B 1006 (2024) 116647 [ 2402.14549]

    2024 arXiv

  19. [25]

    T. S. Bunch and L. Parker, Feynman Propagator in Curved Space-Time: A Momentum Space Representation, Phys. Rev. D 20 (1979) 2499

    1979

  20. [26]

    Luscher, Dimensional Regularization in the Presence of Large Background Fields , Annals Phys

    M. Luscher, Dimensional Regularization in the Presence of Large Background Fields , Annals Phys. 142 (1982) 359

    1982

  21. [27]

    Kodaira, INTERACTING SCALAR FIELD THEORY IN GENERAL CUR VED SPACE-TIME, Phys

    J. Kodaira, INTERACTING SCALAR FIELD THEORY IN GENERAL CUR VED SPACE-TIME, Phys. Rev. D 33 (1986) 2882

    1986

  22. [28]

    A. E. M. van de Ven, Two loop quantum gravity , Nucl. Phys. B 378 (1992) 309

    1992

  23. [29]

    Bilal and F

    A. Bilal and F. Ferrari, Multi-Loop Zeta Function Regularization and Spectral Cutoff in Curved Spacetime, Nucl. Phys. B 877 (2013) 956 [ 1307.1689]

    2013 arXiv

  24. [31]

    von Gersdorff and K

    G. von Gersdorff and K. Santos, New covariant Feynman rules for effective field theories, JHEP 04 (2023) 025 [ 2212.07451]

    2023 arXiv

  25. [33]

    I. L. Buchbinder and S. D. Odintsov, ONE LOOP RENORMALIZATION OF THE YANG-MILLS FIELD THEORY IN A CUR VED SPACE-TIME, Sov. Phys. J. 26 (1983) 359

    1983

  26. [34]

    I. L. Buchbinder, S. D. Odintsov and I. L. Shapiro, LOCAL MOMENTUM SPACE REPRESENTATION OF GRA VITON PROPAGATORS IN AN EXTERNAL GRA VITATIONAL FIELD AND ONE LOOP COUNTERTERMS IN QUANTUM GRA VITY, Sov. Phys. J. 27 (1984) 298

    1984

  27. [35]

    Inagaki, T

    T. Inagaki, T. Muta and S. D. Odintsov, Dynamical symmetry breaking in curved space-time: Four fermion interactions , Prog. Theor. Phys. Suppl. 127 (1997) 93 [hep-th/9711084]

    1997 arXiv

  28. [36]

    D. J. Toms, Local momentum space and the vector field , Phys. Rev. D 90 (2014) 044072 [1408.0636]

    2014 arXiv

  29. [37]

    Larue and J

    R. Larue and J. Quevillon, The universal one-loop effective action with gravity , JHEP 11 (2023) 045 [ 2303.10203]

    2023 arXiv

  30. [38]

    Willmore, Riemannian Geometry, Oxford science publications

    T. Willmore, Riemannian Geometry, Oxford science publications. Clarendon Press, 1993

    1993

  31. [39]

    Brewin, Riemann Normal Coordinate expansions using Cadabra , Class

    L. Brewin, Riemann Normal Coordinate expansions using Cadabra , Class. Quant. Grav. 26 (2009) 175017 [ 0903.2087]

    2009 arXiv

  32. [40]

    Decanini and A

    Y. Decanini and A. Folacci, Off-diagonal coefficients of the Dewitt-Schwinger and Hadamard representations of the Feynman propagator , Phys. Rev. D 73 (2006) 044027 [gr-qc/0511115]

    2006 arXiv

  33. [41]

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

    arXiv

  34. [42]

    S. P. Martin and D. G. Robertson, Evaluation of the general 3-loop vacuum Feynman integral, Phys. Rev. D 95 (2017) 016008 [ 1610.07720]

    2017 arXiv

  35. [43]

    C. W. Misner, K. S. Thorne and J. A. Wheeler, Gravitation. W. H. Freeman, San Francisco, 1973. – 17 –

    1973

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.