Pith. Sign in

REVIEW

Dimensionally Regulated One-Loop Integrals

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Z. Bern, L. Dixon, D.A. Kosower

High Energy Physics - Phenomenology · Submitted 24 Dec 1992 · 13 references

Pith's verdict: The n=5 and n=6 reductions are solid and checkable; the n≥7 extension rests on a D=4 finiteness claim the letter asserts but never demonstrates.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/9212308 (version 1)
Pith IDYQFTXBHH, Pith's permanent record of this paper and its review
CitationD.A. Kosower, L. Dixon, Z. Bern. "Dimensionally Regulated One-Loop Integrals." arXiv:hep-ph/9212308 (1992). https://pith.science/paper/YQFTXBHH
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

A recursion relation reduces every one-loop scalar integral with many external legs to a cyclic sum of box diagrams, so that only four-point integrals need ever be computed in closed form.

The reading

Scattering calculations at colliders need one-loop corrections for processes with many outgoing particles, and each such correction is a sum of loop integrals with $n$ propagators. The authors ask whether the $n$-point scalar integral can be written in terms of integrals with one fewer propagator, repeatedly, until only the four-point box integral remains. Their answer is yes: by cancelling a loop momentum against a propagator and then re-deriving the same quantity as an $n$-point Feynman-parameter integral, they obtain a linear system whose solution expresses $I_n$ as a cyclicly symmetric combination of the $n$ integrals $I^{(i)}_{n-1}$. For $n=5$ the leftover six-dimensional pentagon enters only at order $O(1)$ of the dimensional regulator, and for $n>5$ it drops out entirely once external momenta are taken to live in four dimensions. The practical payoff is that a pentagon or hexagon in a QCD amplitude can be written in the same logarithms and dilogarithms that are already known for boxes, with all poles in the dimensional regulator made explicit.

What carries the argument

The load-bearing device is a change of both integration and kinematic variables, following 't Hooft and Veltman: the Feynman parameters are rescaled as $a_i = α_i u_i / Σ_j α_j u_j$, and the kinematic variables are redefined so that the denominator matrix $ρ_{ij} = S_{ij}α_iα_j$ becomes independent of the $α_i$. In these variables the rescaled Gram determinant $Δ̂_n = Σ_{ij}η_{ij}α_iα_j$ is homogeneous of degree two in the $α_i$ with no negative powers, and the inverse matrix $S^{-1}$ is expressed through $η$, the inverse of $ρ$. This turns the coefficients $c_0$, $c_i$, $c_{ij}$ of the recursion into the manifestly nonsingular combinations $Δ̂_n/N_n$, $α_iγ_i/N_n$, and $α_iα_j(η_{ij}-γ_iγ_j/Δ̂_n)/N_n$, where $γ_i = Σ_j η_{ij}α_j$. The same rescaling makes each insertion of a Feynman-parameter monomial equal to a derivative of the rescaled scalar integral with respect to the $α_i$, which is what converts the recursion into a tensor-integral calculus and into differential equations in the kinematic variables.

Extended reading notes

Core claim

The paper establishes that the dimensionally regulated scalar $n$-point one-loop integral $I_n[1]$ satisfies a recursion in $n$. The derivation starts from a trivial identity: an integral with the numerator $(p-p_{i-1})^2-M_i^2$ cancels one propagator and equals minus the $(n-1)$-point integral inherited by deleting that propagator. Evaluating the same object instead as an $n$-point integral produces a linear equation $2S_{ij}I_n[a_j] = I^{(i)}_{n-1}[1] + (n-5+2ε)I_n^{D=6-2ε}[1]$, where $S_{ij} = ½(M_i^2+M_j^2-p_{ij}^2)$. Solving and summing over the Feynman parameters gives the stated recursion. For $n=5$ the six-dimensional pentagon term is finite and multiplied by a coefficient of order $ε$, so the four-dimensional pentagon is a sum of five boxes through $O(1)$, with coefficients matching the earlier four-dimensional result. For $n>5$ the coefficient $c_0$ of the six-dimensional term is proportional to the Gram determinant, which vanishes when the external momenta are four-dimensional, leaving a cyclic sum of $n$ integrals with $n-1$ propagators. The same Feynman-parameter machinery, expressed through rescaled variables $α_i$, yields the tensor integrals by differentiation and gives partial differential equations for the scalar integrals, which for massless internal lines can be solved; the paper quotes the resulting massless pentagon explicitly.

Load-bearing premise

For six or more external legs the clean box-only recursion requires the coefficient of the six-dimensional $n$-point integral to vanish, which the authors obtain by restricting external momenta to four dimensions so that the Gram determinant is zero; if that kinematic restriction is not legitimate for a given calculation, the extra term survives.

Editorial extensions

If this is right

  • Any one-loop scalar integral with more than four external legs in a QCD amplitude can be written, through $O(1)$ in the dimensional regulator, as a cyclic sum of box integrals whose closed forms in logarithms and dilogarithms are already known.
  • The massless pentagon needed for processes such as $gg → ggg$ and $Z → q\bar{q}gg$ is obtained explicitly as a sum over five box integrals, with the result quoted in terms of momentum invariants and dilogarithms.
  • Tensor integrals carrying loop momenta in the numerator can be generated by differentiating the scalar integral with respect to the $α_i$ variables, giving an alternative to Passarino–Veltman reduction for multi-leg one-loop calculations.
  • The recursion gives a practical bookkeeping for divergences: for $n=4$ all $ε → 0$ poles sit in triangle integrals, while the six-dimensional box is finite and can be handled numerically.
  • The scalar integrals satisfy first-order partial differential equations in the kinematic variables, so a box integral can be obtained by integrating a known triangle integral rather than by direct Feynman-parameter evaluation.

Reading between the lines

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

  • If the recursion holds through all orders in the dimensional regulator, then the entire multi-leg one-loop scalar basis is finite-dimensional in practice: only boxes plus the six-dimensional $n$-point integrals ever need analytic or numerical evaluation, which reframes the cost of a next-to-leading-order calculation as a box-integral cost.
  • The differentiation trick suggests a general principle: whenever a Feynman-parameter integral can be made polynomial by a rescaling of variables, numerator insertions become derivatives, so tensor reduction is a question about the existence of a good coordinate system rather than about solving algebraic Gram systems.
  • The paper's cancellation checks for the $1/Δ̂_n$ factors in tensor integrals stop at two Feynman-parameter insertions; a natural extension is to ask whether the cancellation is structural for all monomials arising from loop-momentum numerators, which would be settled by an explicit all-order argument or by a counterexample at degree three or higher.
  • Because the $n>5$ reduction leans on four-dimensional external momenta, a calculation that genuinely requires extra-dimensional external components — for instance in a mixed regularization scheme — would need the retained $c_0$ term, and the size of that correction is a computable diagnostic of how much the box-only picture costs.
Original abstract

We describe methods for evaluating one-loop integrals in $4-2\e$ dimensions. We give a recursion relation that expresses the scalar $n$-point integral as a cyclicly symmetric combination of $(n-1)$-point integrals. The computation of such integrals thus reduces to the calculation of box diagrams ($n=4$). The tensor integrals required in gauge theory may be obtained by differentiating the scalar integral with respect to certain combinations of the kinematic variables. Such relations also lead to differential equations for scalar integrals. For box integrals with massless internal lines these differential equations are easy to solve.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,785 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.23 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.05 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

We describe methods for evaluating one-loop integrals in $4-2\e$ dimensions. We give a recursion relation that expresses the scalar $n$-point integral as a cyclicly symmetric combination of $(n-1)$-point integrals. The computation of such integrals thus reduces to the calculation of box diagrams ($n=4$). The tensor integrals required in gauge theory may be obtained by differentiating the scalar integral with respect to certain combinations of the kinematic variables. Such relations also lead to differential equations for scalar integrals. For box integrals with massless internal lines these differential equations are easy to solve.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We describe methods for evaluating one-loop integrals in $4-2\e$ dimensions. contribution 0.86 0.76 0.10 asserted 0.97
s1 We give a recursion relation that expresses the scalar $n$-point integral as a cyclicly symmetric combination of $(n-1)$-point integrals. contribution 0.60 0.91 0.28 asserted 1.00
s2 The computation of such integrals thus reduces to the calculation of box diagrams ($n=4$). interpretation 0.71 0.62 0.34 asserted 1.00
s3 The tensor integrals required in gauge theory may be obtained by differentiating the scalar integral with respect to certain combinations of the kinematic variables. method 0.87 0.62 0.07 hedged possibility 0.98
s4 Such relations also lead to differential equations for scalar integrals. result 0.48 0.75 0.09 asserted 0.91
s5 For box integrals with massless internal lines these differential equations are easy to solve. result 0.43 0.56 0.14 asserted 0.99

What kind of paper the classifier reports this is: method or tool 0.99 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

95 later papers cite it

Evidence: some. 89 of the citing papers share no author with it, and 30 of those carry a confident label from Pith's citation classifier.

Pith read 8 of the 132 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 29 papers with this label
How the literature uses it

96 arXiv papers cite this in 131 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 64 sentences without a confident label

Uses its method or tool 29 papers
  • Concretely, we use generalized unitarity (based on the factorization of loop quantities into products of simpler on-shell tree-level amplitudes [ref] ) to construct the loop integrands; we employ (canonical) differential equations [ref] adapted to the post-Minkowskian (PM) expansion, in powers of Newton's constant $G$, in classical gravity [ref] , together with the reverse unitarity method [ref] for the phase-space integration.

    Gravitational Bremsstrahlung from Reverse Unitarity · Introduction · 0.99

  • We set up differential equations for MIs [ref] and solve them numerically, with boundary conditions obtained via auxiliary mass flow [ref] .(The expressions of the MIs are the series-expansion forms, i.e. $Ĩ(s,r,ϵ)=s^a+bϵ ∑_n,m (∑_i c_mni ϵ^i)Log(r)^m r^n$, where $r=m_Q^2/s$ and $c_mni$s are float numbers rather than rational numbers.

    NLO effects for $\Omega_{QQQ}$ Baryons in QCD Sum Rules · Calculations of $C_1$ and $C_GG$ for $QQQ$ baryon · 1.00

  • Therefore we arrive at a new basis, [equation] The integrals over $μ^2$ can be performed by separating the integration into $4$ and $D-4$ dimensional parts, [equation] It is fairly straightforward to write the four new integrals in terms of higher-dimensional scalar integrals using [ref] , [equation] We also use the dimensional shift identity [ref] to decompose the pentagon integrals[We refer the reader the [ref] for full definitions of the quantities in eq.

    Direct Extraction Of One Loop Rational Terms · $D$-dimensional cuts and rational terms · 0.92

Compares with it 3 papers
Cites it as background 25 papers
  • At one-loop order in four dimensions all $n$-point amplitudes can be expanded in a set of basis functions consisting of scalar box, triangle, and bubble integrals and possibly rational polynomial functions [ref] .

    Simplicity in the Structure of QED and Gravity Amplitudes · Introduction · 0.88

  • The unitarity method introduced in [ref] is designed to compute amplitudes by applying a unitarity cut to an amplitude on one hand, and its expansion in a basis of master integrals on the other [ref] .

    Integral Coefficients for One-Loop Amplitudes · Introduction · 0.85

  • Except the unitarity cut method, there are other proposals to overcome the difficulty in IBP, by using some tricks and other representations of integrals in recent years, such as Baikov representation [ref] and Feynman parametrization representation [ref] for loop integrals.

    General One-loop Reduction in Generalized Feynman Parametrization Form · Introduction · 0.92

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.