Combinatorial aspects in the one-loop renormalization of higher derivative theories

Christian F. Steinwachs

Combinatorial aspects in the one-loop renormalization of higher derivative theories

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A closed pairing-count formula gives the logarithmically divergent part of any one-loop vacuum integral, replacing high-rank tensor contractions in higher-derivative theories.

desk verdict A correct closed-form shortcut for one-loop vacuum counterterm combinatorics; modest but real, and only presentation fixes are needed in the example tables. read the letter →

arxiv 1909.00810 v1 pith:EUZNT76B submitted 2019-09-02 hep-ph gr-qchep-th

Christian F. Steinwachs This is my paper · ORCID

classification hep-phgr-qchep-th

keywords one-looprenormalizationhigherderivativetheoriesdimensionalregularizationvacuumtensorintegralscombinatorialcountingFeynmandiagramscountertermscontractions

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 argues that in one-loop Feynman-diagram calculations with dimensional regularization, the logarithmically divergent part of every vacuum integral of the form (9) can be read off directly from a combinatorial formula, Eq. (22), without ever forming the high-rank tensors used in the standard treatment. The coefficients in that formula count the ways labelled copies of the external momenta can be paired to make the invariants $(q_i\cdot q_j)$, and the count is given in closed form by Eq. (21). This matters because higher-derivative theories generate vacuum tensor integrals of very high rank, and the usual intermediate step of contracting such tensors with symmetrized products of metrics proliferates enormously. The paper argues that the divergent part then follows by solving the linear system (20) and evaluating (21), keeping automated one-loop counterterm calculations small.

What carries the argument

The central object is the pairing-count coefficient $C_k$ of Eq. (21), which counts how many ways the $2\omega$ labelled copies of the external momenta can be paired to produce a given invariant product $\prod(q_i\cdot q_j)^{\sigma_{ij}}$. The key identity is that $Q^{\mu_1\cdots\mu_{2\omega}}[\eta^\omega_{\rm sym}]_{\mu_1\cdots\mu_{2\omega}}=\sum_k C_k\prod(q_i\cdot q_j)^{\sigma^k_{ij}}$, so the tensor contraction never has to be performed explicitly. The linear system (20) generates the allowed exponent sets, and the dimension polynomial $P_\omega(d)=\prod_{i=1}^\omega[d+2(i-1)]$ supplies the only dimension-dependent factor from the loop integration. Together they convert the divergent-part problem into integer partitions and factorials.

What would settle it

For two external momenta with $\sigma_1=\sigma_2=6$, Eq. (21) predicts the four coefficients 720, 5400, 4050, and 225 for the invariants $(q_1\cdot q_2)^6$, $(q_1^2)(q_1\cdot q_2)^4(q_2^2)$, $(q_1^2)^2(q_1\cdot q_2)^2(q_2^2)^2$, and $(q_1^2)^3(q_2^2)^3$. Direct symbolic tensor contraction must reproduce those numbers, and setting $q_1=q_2$ must collapse the sum to $10395\,(q_1^2)^6$; any deviation falsifies the central formula.

Watch

Extended reading notes

Core claim

After expanding propagators around vanishing external momentum, a generic one-loop diagram becomes a sum of vacuum integrals of the form $I^{\rm vac}=\int \frac{d^d\ell}{(2\pi)^d}\,\frac{(\ell^2)^\lambda\prod_i(q_i\cdot\ell)^{\sigma_i}}{(\ell^2-m^2)^\beta}$. The paper's central discovery is that the logarithmically divergent part of such an integral is fixed by pure combinatorics: it equals $\frac{i}{\varepsilon(4\pi)^2}\sum_{k\in P(2\omega:\sigma_{ij})}\frac{C_k}{P_\omega(4)}\prod_{1\le i\le j\le n}(q_i\cdot q_j)^{\sigma^k_{ij}}$. The exponent sets $\sigma^k_{ij}$ are the non-negative integer solutions of the $n$ linear equations (20), and $C_k$ is the number of ways to pair the $2\omega$ labelled copies of the external momenta into the required invariants, given in closed form by $C_k=\frac{\prod_j \Sigma_j!\binom{2\sigma_{jj}+\Sigma_j}{\Sigma_j}(2\sigma_{jj}-1)!!}{\prod_{i<j}\sigma_{ij}!}$. The loop integration contributes only the dimension polynomial $P_\omega(4)=\prod_{i=1}^{\omega}[4+2(i-1)]$ in the denominator. The author argues that this replaces the brute-force tensor contraction $Q^{\mu_1\cdots\mu_{2\omega}}[\eta^\omega_{\rm sym}]_{\mu_1\cdots\mu_{2\omega}}$ with a partition-counting step, and demonstrates the method on a Galileon three-point integral.

Load-bearing premise

The load-bearing premise is that Eq. (21) counts pairings exactly for every multiplicity pattern, including cases with zero $\sigma_{ij}$ and with repeated external momenta; if that count is wrong for any configuration, the divergent part in Eq. (22) is wrong.

Editorial extensions

If this is right

One-loop counterterm extraction in a higher-derivative theory no longer requires generating and contracting high-rank vacuum tensor integrals; the divergent part is assembled by solving (20) and evaluating (21).
The same combinatorial treatment extends to external particles of spin 1/2, 1, and 2, because polarization vectors and reduced spinor bilinears can be treated as additional external vectors to be paired.
Integrals with several different propagator masses reduce to a single-mass integral by expanding around an infrared regulator mass, so the closed vacuum-tensor formula remains applicable.
The method is not limited to genuinely higher-derivative theories: any one-loop calculation whose propagator expansion produces high-rank vacuum tensor integrals, including effective field theories and ordinary second-order theories, can use it.
The explicit Galileon three-point example satisfies the kinematic requirement that the one-loop divergence vanishes on-shell.

Reading between the lines

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

The coefficient $C_k$ depends only on the multiplicities $\sigma_i$, not on the momenta or the dimension, so the same factorized counting could serve other contraction-heavy tensor manipulations, with the loop-specific information isolated in $P_\omega(d)$.
Because Eq. (21) is loop-agnostic, combining $C_k$ with multi-loop vacuum master integrals would be a natural next step once the paper's noted obstacles of subdivergences and order-$\varepsilon$ dimensional identities are handled.
The linear system (20) is a small integer-composition problem, so the recipe could plausibly be embedded as a generic utility in automated Feynman-diagram calculators; the paper suggests this but does not provide a benchmark.
A clean empirical test of the efficiency claim would be to generate synthetic high-rank integrals with $n$ external momenta and total rank $2\omega$, then compare runtime and memory against direct tensor contraction; the crossover point could be mapped as a function of $2\omega$ and $n$.

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.

Desk Editor's Note

read the letter

Dear colleague,

Quick take on 1909.00810: the central combinatorial formula is correct, the method is a genuine small improvement for one-loop counterterm calculations in higher-derivative theories, and the main problems are presentation defects rather than load-bearing errors.

The one thing to know: Eq. (21) is, at bottom, the standard perfect-matching count, but packaged as a closed form for the one-loop vacuum integral it is a real simplification. The formula reduces to C_k = ∏_j σ_j! / [∏_j (2^{σ_jj} σ_jj!) ∏_{i

What is genuinely new: replacing tensor-contraction machinery in FORM, Cadabra, or xTensor with a linear system plus formula (21). That is a modest but real efficiency idea, especially when high-rank tensor integrals proliferate in higher-derivative theories. It is not a new framework. The paper claims the method is much more efficient but provides no benchmark, and no code is shipped. Those are minor.

The soft spots are mostly in the presentation. The sentence before Eq. (22) gives the power-counting condition as d + 2(λ+ω−2β) = 0; it should be d + 2(λ+ω−β) = 0. Table B.5 has malformed entries, including row 38 with "(1, 2, 2, )" and row 19 with a stray comma. More substantively, the entries labeled B_k look like raw C_k values, not C_k/P_ω(4) as Eq. (B.6) defines; for the first partition of row 1, C = 840 and P_5(4) = 23040, so B should be about 0.0365, but the table lists 840. That inconsistency does not damage the general formula, but it makes the example unreliable as a verification aid until corrected. If the final result in Eq. (B.8) used the correct division, the table still needs fixing.

Overall: a solid, small technical note. The central combinatorial claim holds up, and the usefulness is bounded but real. This paper is for people doing explicit one-loop counterterm calculations in higher-derivative theories or automating Feynman-diagrammatic routines. It deserves a serious referee, but the referee report should ask for a corrected example table and a qualified efficiency statement.

Recommendation: send it out rather than desk-reject.

Referee Report

0 major / 5 minor

Summary. The manuscript presents a combinatorial shortcut for computing the logarithmically divergent part of one-loop vacuum integrals of the form (9) in dimensional regularization. Rather than contracting the rank-2ω tensor Q^{μ1...μ2ω} with the symmetrized product of metrics [η^ω_sym], the author enumerates all exponent sets σ_ij satisfying the linear constraints (20) and assigns each monomial ∏(q_i·q_j)^{σ_ij} the multiplicity C_k from the closed expression (21). The main result is Eq. (22) for I_vac|div. The derivation is carried out in Appendix A.3 by counting pairings of the 2ω labeled external-momentum copies, and it is checked against explicit tensor contractions in Appendix A.3.1–A.3.3. A Galileon three-point example illustrates the algorithm in Appendix B, and extensions to non-zero spin, multiple masses, and higher loops are sketched in Sections 4 and 5.

Significance. If the claimed formula is correct, the method replaces the combinatorial explosion of tensor contractions by a linear-solve plus closed-form count, which is a genuine practical improvement for one-loop counterterm computations in higher-derivative theories. The central derivation is an independent pairing count and contains no fitted parameters or assumed contractions; the checks in Appendix A include the sum rule Σ_k C_k = (2ω−1)!! and direct agreement with (A.9) and (A.11). I find the main formula sound. The paper would be a useful reference for automated one-loop packages. The main defects are a typo in the stated log-divergence condition of Eq. (22) and serious inconsistencies in the Appendix B table, which should be corrected before the example can be used as a verification.

minor comments (5)

[Sec. 3, Eq. (22)] The divergence condition printed just before Eq. (22), 'd + 2(λ +ω− 2β) = 0', is inconsistent with Eq. (10) and with the power counting used to obtain (15); in d=4 the correct condition is 4 + 2(λ +ω− β)=0, i.e. β=λ+ω+2. This is a typo, but it should be corrected because it is part of the statement of the main result.
[Appendix B, Table B.5] The example cannot be checked as printed. The table defines B_k := C_k/P_ω(4), but the entries are the C_k integers: for row 1, partition (3,2,0) gives C=840 while P_5(4)=23040, so B should be 7/192. There are also malformed tuples (row 38, k=2 is '(1,2,2,)' instead of a triple; row 19 has a stray comma), and row 88 is listed as (0,0,0), which is not a valid partition of integral 88=(1,7,6,0,1,0) in Table B.4. These issues should be fixed before the Galileon calculation is presented as a verification.
[Sec. 3 and Appendix A] There are several notation typos: 'Q^{μ1...μ2ν}' below Eq. (18) should be 'Q^{μ1...μ2ω}', and 'η^6_sysm' in Eqs. (A.7), (A.9), and (A.11) should be 'η^6_sym'. In Step 1 of Sec. 3, 'non-zero integers' should read 'non-negative integers', since σ_ij=0 is used throughout.
[Eq. (21), Appendix A.3] The formula uses (2σ_jj−1)!! for σ_jj=0, which requires the convention (−1)!!=1; please state this explicitly to avoid ambiguity.
[Secs. 3 and 6] The claimed efficiency gain over brute-force tensor contraction is not quantified. A short benchmark (e.g., number of generated terms or runtime against ω for fixed n) would make the practical claim more convincing.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central combinatorial factor is derived by independent pair counting and checked against direct tensor contractions, with no fitted inputs or load-bearing self-citations.

full rationale

The paper's central claim, Eq. (22), follows from the closed-form combinatorial coefficient C_k in Eq. (21). This coefficient is derived in Appendix A.3 as an elementary count of the number of ways to pair 2ω labeled copies of external momenta into the required invariants. The derivation does not assume the target tensor-contraction result; it counts pairings directly and then independently verifies the formula in Appendices A.3.1-A.3.3 by comparing with explicit tensor contractions. The one-loop vacuum tensor integral formula (13) is taken from independent literature (Davydychev [27] and Smirnov [28]), not from the present authors, and is not fitted. The self-citations to Refs. [6-8] appear only in the introduction as motivation for why alternative heat-kernel methods may be inapplicable or inefficient; they play no role in deriving Eq. (21) or Eq. (22). No parameter is fitted to a subset of data, no quantity called a prediction is equivalent by construction to an input, and no uniqueness theorem is imported from the authors' prior work. The illustrative example in Appendix B contains apparent typographical inconsistencies in Table B.5, but these are presentation defects in a worked example, not circular reasoning, and the general combinatorial derivation is self-contained. Therefore, no significant circularity is present.

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

All assumptions are standard one-loop techniques or elementary combinatorics; the novel formula is derived, not postulated. No free parameters or invented entities appear.

assumptions (5)

domain assumption Dimensional regularization annihilates power-law divergences, so only logarithmically divergent integrals need to be extracted.
Sec. 2 after Eq. (8); used to truncate the propagator expansion by the superficial degree of divergence.
domain assumption The standard closed-form vacuum tensor integral (13), taken from refs. [27,28], is correct with the stated normalization in d=4−2ε.
Eq. (13) is the basis for the pole extraction in Eq. (15); the paper does not re-derive it.
domain assumption The propagator expansion (8) around vanishing external momenta, truncated at the order demanded by power counting, captures all one-loop divergences.
Eq. (8) in Sec. 2; this is a standard Passarino-Veltman expansion and is assumed without proof.
domain assumption At one loop in d=4−2ε, O(ε) corrections of dimensionally dependent identities can be dropped when extracting the 1/ε pole.
Sec. 4, stated explicitly before the spin extensions; this is valid for the leading divergence only.
standard math Elementary binomial and double-factorial identities, and the conventional value (-1)!!=1, are used in Appendix A.
Appendix A uses these to simplify the counting formula.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Combinatorial aspects in the one-loop renormalization of higher derivative theories." pith.science (2026). https://pith.science/paper/EUZNT76B

@misc{pith2026190900810,
  author       = {Pith},
  title        = {Pith review of: Combinatorial aspects in the one-loop renormalization of higher derivative theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EUZNT76B}},
  note         = {Machine review of arXiv:1909.00810}
}

read the original abstract

An efficient way to calculate one-loop counterterms within the Feynman diagrammatic approach and dimensional regularization is to expand the propagators in the integrands of the Feynman integrals around vanishing external momentum. In this way, a generic one-loop diagram is reduced to a sum of vacuum diagrams. The logarithmically divergent part can be extracted by power counting arguments. In case of higher derivative theories, the standard implementation of this procedure on a computer algebra system can become quickly inefficient due to a high proliferation of terms coming from the intermediate replacement of high-rank tensor-integrals with symmetrized product of metric tensors. In this note we present a simple combinatorial solution to this problem which makes the implementation much more efficient. This method is especially relevant in the renormalization of higher derivative theories, but might as well be integrated as a standard routine in existing computer algebra programs designed to automatize Feynman diagrammatic calculations.

Figures

Figures reproduced from arXiv: 1909.00810 by the authors.

**Figure 1.** Generic one-loop diagram with n external legs and n propagators. The arrows indicate the direction of the momentum flow: all external momenta k1, . . . , kn are all incoming. The inverses of the propagators (suppressing the i), Di := (` + qi) 2 − m2 i , i = 1, . . . , n (1) are labeled by the combination of external momenta qi flowing in the Di , q µ i := X i j=1 k µ j , qµ n = q µ 0 = Xn j=1 k µ j = 0. (2) Here, t… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 10 canonical work pages

[1]

B. S. DeWitt, Dynamical Theory of Groups and Fields, Blackie & Son, 1965 (1965)

work page 1965
[2]

B. S. DeWitt, Quantum theory of gravity. II. The manifestly covariant the- ory, Phys. Rev. 162 (1967) 1195–1239 (Oct. 1967).doi:10.1103/PhysRev. 162.1195

doi:10.1103/physrev 1967
[3]

B. S. DeWitt, Quantum theory of gravity. III. Applications of the co- variant theory, Phys. Rev. 162 (1967) 1239–1256 (Oct. 1967). doi: 10.1103/PhysRev.162.1239

doi:10.1103/physrev.162.1239 1967
[4]

L. F. Abbott, Introduction to the background ﬁeld method, Acta Phys. Pol. B 13 (1982) 33 (1982)

work page 1982
[5]

A. O. Barvinsky, G. A. Vilkovisky, The generalized Schwinger-Dewitt tech- nique in gauge theories and quantum gravity, Phys. Rep. 119 (1985) 1–74 (1985). doi:10.1016/0370-1573(85)90148-6. 21

doi:10.1016/0370-1573(85)90148-6 1985
[6]

M. S. Ruf, C. F. Steinwachs, One-loop divergences forf(R) gravity, Phys. Rev. D 97 (4) (2018) 044049 (2018). arXiv:1711.04785, doi:10.1103/ PhysRevD.97.044049

work page Pith review arXiv 2018
[7]

M. S. Ruf, C. F. Steinwachs, Renormalization of generalized vector ﬁeld models in curved spacetime, Phys. Rev. D 98 (2) (2018) 025009 (2018). arXiv:1806.00485, doi:10.1103/PhysRevD.98.025009

work page Pith review arXiv 2018
[8]

M. S. Ruf, C. F. Steinwachs, Quantum eﬀective action for degenerate vector ﬁeld theories, Phys. Rev. D98 (8) (2018) 085014 (2018). arXiv:1809. 04601, doi:10.1103/PhysRevD.98.085014

work page doi:10.1103/physrevd.98.085014 2018

Show all 37 references

[9]

Nicolis, R

A. Nicolis, R. Rattazzi, E. Trincherini, The Galileon as a local modiﬁcation of gravity, Phys. Rev. D 79 (2009) 064036 (2009).arXiv:0811.2197, doi: 10.1103/PhysRevD.79.064036

2009 arXiv
[10]

D 79 (2009) 084003 (2009)

C.Deﬀayet, G.Esposito-Farese, A.Vikman, CovariantGalileon, Phys.Rev. D 79 (2009) 084003 (2009). arXiv:0901.1314, doi:10.1103/PhysRevD. 79.084003

2009 arXiv
[11]

N. Chow, J. Khoury, Galileon Cosmology, Phys. Rev. D 80 (2009) 024037 (2009). arXiv:0905.1325, doi:10.1103/PhysRevD.80.024037

2009 arXiv
[12]

Heisenberg, A systematic approach to generalisations of General Rela- tivity and their cosmological implications (2018).arXiv:1807.01725

L. Heisenberg, A systematic approach to generalisations of General Rela- tivity and their cosmological implications (2018).arXiv:1807.01725

2018 arXiv
[13]

’t Hooft, M

G. ’t Hooft, M. J. G. Veltman, Scalar One Loop Integrals, Nucl. Phys. B153 (1979) 365–401 (1979).doi:10.1016/0550-3213(79)90605-9

1979 doi
[14]

Passarino, M

G. Passarino, M. J. G. Veltman, One Loop Corrections for e+ e- Anni- hilation Into mu+ mu- in the Weinberg Model, Nucl. Phys. B160 (1979) 151–207 (1979).doi:10.1016/0550-3213(79)90234-7

1979 doi
[15]

R. K. Ellis, Z. Kunszt, K. Melnikov, G. Zanderighi, One-loop calcu- lations in quantum ﬁeld theory: from Feynman diagrams to unitarity cuts, Phys. Rept. 518 (2012) 141–250 (2012). arXiv:1105.4319, doi: 10.1016/j.physrep.2012.01.008

2012 arXiv
[16]

L. J. Dixon, Calculating scattering amplitudes eﬃciently, in: QCD and beyond. Proceedings, Theoretical Advanced Study Institute in Elementary Particle Physics, TASI-95, Boulder, USA, June 4-30, 1995, 1996, pp. 539– 584 (1996). arXiv:hep-ph/9601359. URL http://www-public.slac.s...

1996 arXiv
[17]

Küblbeck, M

J. Küblbeck, M. Böhm, A. Denner, Feyn Arts: Computer Algebraic Gen- eration of Feynman Graphs and Amplitudes, Comput. Phys. Commun. 60 (1990) 165–180 (1990).doi:10.1016/0010-4655(90)90001-H. 22

1990 doi
[18]

Mertig, M

R. Mertig, M. Böhm, A. Denner, FEYN CALC: Computer algebraic calcu- lation of Feynman amplitudes, Comput. Phys. Commun. 64 (1991) 345–359 (1991). doi:10.1016/0010-4655(91)90130-D

1991 doi
[19]

T. Hahn, M. Perez-Victoria, Automatized one loop calculations in four- dimensions and D-dimensions, Comput. Phys. Commun. 118 (1999) 153–165 (1999).arXiv:hep-ph/9807565, doi:10.1016/S0010-4655(98) 00173-8

1999 arXiv
[20]

Hahn, Generating Feynman diagrams and amplitudes with FeynArts 3, Comput

T. Hahn, Generating Feynman diagrams and amplitudes with FeynArts 3, Comput. Phys. Commun. 140 (2001) 418–431 (2001).arXiv:hep-ph/ 0012260, doi:10.1016/S0010-4655(01)00290-9

2001 doi
[21]

Denner, S

A. Denner, S. Dittmaier, Reduction schemes for one-loop tensor integrals, Nucl. Phys. B734 (2006) 62–115 (2006). arXiv:hep-ph/0509141, doi: 10.1016/j.nuclphysb.2005.11.007

2006 arXiv
[22]

Binoth, J

T. Binoth, J. P. Guillet, G. Heinrich, E. Pilon, T. Reiter, Golem95: A Numerical program to calculate one-loop tensor integrals with up to six external legs, Comput. Phys. Commun. 180 (2009) 2317–2330 (2009). arXiv:0810.0992, doi:10.1016/j.cpc.2009.06.024

2009 arXiv
[23]

Cullen, N

G. Cullen, N. Greiner, G. Heinrich, G. Luisoni, P. Mastrolia, G. Ossola, T.Reiter, F.Tramontano, AutomatedOne-LoopCalculationswithGoSam, Eur. Phys. J. C72 (2012) 1889 (2012).arXiv:1111.2034, doi:10.1140/ epjc/s10052-012-1889-1

2012 arXiv
[24]

Mastrolia, E

P. Mastrolia, E. Mirabella, T. Peraro, Integrand reduction of one-loop scat- tering amplitudes through Laurent series expansion, JHEP 06 (2012) 095, [Erratum: JHEP11,128(2012)] (2012). arXiv:1203.0291, doi:10.1007/ JHEP11(2012)128,10.1007/JHEP06(2012)095

2012 arXiv
[25]

van Deurzen, G

H. van Deurzen, G. Luisoni, P. Mastrolia, E. Mirabella, G. Ossola, T. Per- aro, Multi-leg One-loop Massive Amplitudes from Integrand Reduction via Laurent Expansion, JHEP 03 (2014) 115 (2014). arXiv:1312.6678, doi:10.1007/JHEP03(2014)115

2014 arXiv
[26]

Denner, S

A. Denner, S. Dittmaier, L. Hofer, Collier: a fortran-based Complex One- Loop LIbrary in Extended Regularizations, Comput. Phys. Commun. 212 (2017) 220–238 (2017). arXiv:1604.06792, doi:10.1016/j.cpc.2016. 10.013

2017 arXiv
[27]

A. I. Davydychev, A Simple formula for reducing Feynman diagrams to scalar integrals, Phys. Lett. B263 (1991) 107–111 (1991).doi:10.1016/ 0370-2693(91)91715-8

1991
[28]

V. A. Smirnov, Analytic tools for Feynman integrals, Springer Tracts Mod. Phys. 250 (2012) 1–296 (2012).doi:10.1007/978-3-642-34886-0. 23

2012 doi
[29]

J. A. M. Vermaseren, New features of FORM (2000). arXiv:math-ph/ 0010025

2000
[30]

Peeters, Introducing Cadabra: A Symbolic computer algebra system for ﬁeld theory problems (2007).arXiv:hep-th/0701238

K. Peeters, Introducing Cadabra: A Symbolic computer algebra system for ﬁeld theory problems (2007).arXiv:hep-th/0701238

2007 arXiv
[31]

Martín-García, José M., xAct: Eﬃcient tensor computer algebra for the Wolfram Language,http://www.xact.es, Accessed: 2019-07-30

2019
[32]

P. B. Pal, Representation-independent manipulations with Dirac spinors (2007). arXiv:physics/0703214

2007 arXiv
[33]

N. N. Bogoliubov, O. S. Parasiuk, On the Multiplication of the causal function in the quantum theory of ﬁelds, Acta Math. 97 (1957) 227–266 (1957). doi:10.1007/BF02392399

1957 doi
[34]

Hepp, Proof of the Bogolyubov-Parasiuk theorem on renormaliza- tion, Commun

K. Hepp, Proof of the Bogolyubov-Parasiuk theorem on renormaliza- tion, Commun. Math. Phys. 2 (1966) 301–326 (1966). doi:10.1007/ BF01773358

1966
[35]

Zimmermann, The power counting theorem for minkowski metric, Com- mun

W. Zimmermann, The power counting theorem for minkowski metric, Com- mun. Math. Phys. 11 (1968) 1–8 (1968).doi:10.1007/BF01654298

1968 doi
[36]

Zimmermann, Convergence of Bogolyubov’s method of renormalization inmomentumspace, Commun.Math.Phys.15(1969)208–234, [Lect.Notes Phys.558,217(2000)] (1969)

W. Zimmermann, Convergence of Bogolyubov’s method of renormalization inmomentumspace, Commun.Math.Phys.15(1969)208–234, [Lect.Notes Phys.558,217(2000)] (1969). doi:10.1007/BF01645676

1969 doi
[37]

J. C. Collins, Structure of Counterterms in Dimensional Regularization, Nucl. Phys. B80 (1974) 341–348 (1974). doi:10.1016/0550-3213(74) 90521-5. 24

1974 doi

Pith tools

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

[1] [1]

B. S. DeWitt, Dynamical Theory of Groups and Fields, Blackie & Son, 1965 (1965)

work page 1965

[2] [2]

B. S. DeWitt, Quantum theory of gravity. II. The manifestly covariant the- ory, Phys. Rev. 162 (1967) 1195–1239 (Oct. 1967).doi:10.1103/PhysRev. 162.1195

doi:10.1103/physrev 1967

[3] [3]

B. S. DeWitt, Quantum theory of gravity. III. Applications of the co- variant theory, Phys. Rev. 162 (1967) 1239–1256 (Oct. 1967). doi: 10.1103/PhysRev.162.1239

doi:10.1103/physrev.162.1239 1967

[4] [4]

L. F. Abbott, Introduction to the background ﬁeld method, Acta Phys. Pol. B 13 (1982) 33 (1982)

work page 1982

[5] [5]

A. O. Barvinsky, G. A. Vilkovisky, The generalized Schwinger-Dewitt tech- nique in gauge theories and quantum gravity, Phys. Rep. 119 (1985) 1–74 (1985). doi:10.1016/0370-1573(85)90148-6. 21

doi:10.1016/0370-1573(85)90148-6 1985

[6] [6]

M. S. Ruf, C. F. Steinwachs, One-loop divergences forf(R) gravity, Phys. Rev. D 97 (4) (2018) 044049 (2018). arXiv:1711.04785, doi:10.1103/ PhysRevD.97.044049

work page Pith review arXiv 2018

[7] [7]

M. S. Ruf, C. F. Steinwachs, Renormalization of generalized vector ﬁeld models in curved spacetime, Phys. Rev. D 98 (2) (2018) 025009 (2018). arXiv:1806.00485, doi:10.1103/PhysRevD.98.025009

work page Pith review arXiv 2018

[8] [8]

M. S. Ruf, C. F. Steinwachs, Quantum eﬀective action for degenerate vector ﬁeld theories, Phys. Rev. D98 (8) (2018) 085014 (2018). arXiv:1809. 04601, doi:10.1103/PhysRevD.98.085014

work page doi:10.1103/physrevd.98.085014 2018