REVIEW
Algebraic reduction of one-loop Feynman graph amplitudes
High Energy Physics - Phenomenology · Submitted 13 Jul 1999 · 23 references
Pith's verdict: A solid, equation-level methods paper: the n=5 and n=6 recursions are real and fully derived, with the degenerate-kinematics limits openly left as gaps rather than papered over.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
One-loop five- and six-point tensor integrals can be reduced to scalar integrals by recurrence relations alone, without solving large systems of algebraic equations.
The reading
What carries the argument
The load-bearing object is the modified Cayley determinant $()_n$ — the determinant of the $(n+1)times(n+1)$ matrix built from the internal-line invariants $Y_{ij}=-(p_i-p_j)^2+m_i^2+m_j^2$ with an extra row and column of ones — together with its signed minors, which package every derivative of the Gram determinant $Delta_n$ and of $G_{n-1}$ into a single combinatorial notation. This turns the integration-by-parts relations into three clean recursions: Eq. (28) for indices at fixed dimension, Eq. (30) for index plus dimension shift, and Eq. (31) for pure dimension shift. The second ingredient is the tensor operator of Eq. (4), which converts a rank-$r$ tensor integral into mass derivatives acting on a shifted-dimension scalar integral, so that the tensor structure never has to be decomposed by hand.
Extended reading notes
Core claim
The central claim is that a one-loop $n$-point tensor integral can be brought to a combination of scalar two-, three- and four-point integrals in generic dimension by a fixed sequence of algebraic steps, with no high-order system of equations to solve. Tensor integrals are first converted to scalar integrals with shifted dimension through a tensor operator built from mass derivatives and the dimension-shifting operator $d^+$; the resulting scalar integrals are then reduced by two recurrence relations, one that changes the dimension and one that changes the propagator indices, both expressed compactly in terms of signed minors of the modified Cayley determinant. For $n=5$ the authors work the recursions through explicitly and show that the scalar five-point integral cancels out of the tensor decomposition, leaving only four-, three- and two-point functions. For $n=6$ in $d=4$, the modified Cayley determinant $()_6$ vanishes, so the dimension-changing relations degenerate; the authors show that the remaining index-reduction relation, combined with a single use of the identity $sum_j j^+ I^{(d+2)}_n = -I^{(d)}_n$, still suffices, and that the surviving Gram determinants enter only to the first power.
Load-bearing premise
The compact five- and six-point formulas assume the external momenta live in four dimensions and that at least four of them are linearly independent, so that the metric tensor can be re-expanded in external vectors and the six-point determinant vanishes identically.
Editorial extensions
If this is right
- Tensor five-point functions reduce entirely to scalar four-, three- and two-point functions, with the scalar five-point integral cancelling and the would-be $1/varepsilon$ pieces cancelling among the two-point functions.
- Tensor six-point functions reduce to standard four- and five-point functions with only first-order inverse Gram determinants appearing, rather than the higher powers that a naive Passarino–Veltman decomposition would generate.
- The reduction is algebraic and finite in length, so it can be implemented directly in a computer-algebra program; the authors report a FORM implementation for ranks one through three.
- Because the recursions hold for arbitrary dimension, they remain valid when the external momenta are kept away from four dimensions, even though the compact simplifications assume four-dimensional external vectors.
- For $ngeq 7$ the same relations remain formally valid but simplify drastically in $d=4$, since both $()_n$ and the minors $(0,j)_n$ vanish; the authors defer this case.
Reading between the lines
- The vanishing of $()_6$ in four dimensions is a rank deficiency of a matrix of size seven, so the same collapse should recur for every $ngeq 6$; a systematic treatment might reduce any $n$-point function by repeated contraction down to five points, which is precisely the case the authors set aside.
- Because the six-point result needs only inverse Gram determinants to the first power, one would expect noticeably better numerical behaviour near degenerate kinematics than a Passarino–Veltman reduction; the one place this could still fail is the $(r,r)_6^{-1}$ factor in Eq. (79), where the authors themselves note that the usual numerator-cancellation argument does not apply.
- The compact formulas assume four-dimensional external momenta, but a fully consistent dimensional-regularization treatment of chirality or fermion traces keeps them in $d$ dimensions; a hybrid scheme that uses the four-dimensional recursions for the finite parts and the general-$d$ relations only where the $varepsilon$ dependence matters would be a natural next step.
- The algorithm's practical cost is set by the number of terms in the double sums over signed minors, which grows with $n$; benchmarking the FORM implementation against established automated reducers on a real six-fermion process would be a direct way to test whether the algebraic economy translates into run-time economy.
Original abstract
An algorithm for the reduction of one-loop n-point tensor integrals to basic integrals is proposed. We transform tensor integrals to scalar integrals with shifted dimension and reduce these by recurrence relations to integrals in generic dimension. Also the integration-by-parts method is used to reduce indices (powers of scalar propagators) of the scalar diagrams. The obtained recurrence relations for one-loop integrals are explicitly evaluated for 5- and 6-point functions. In the latter case the corresponding Gram determinant vanishes identically for d=4, which greatly simplifies the application of the recurrence relations.
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.
The abstract, sentence by sentence
An algorithm for the reduction of one-loop n-point tensor integrals to basic integrals is proposed. We transform tensor integrals to scalar integrals with shifted dimension and reduce these by recurrence relations to integrals in generic dimension. Also the integration-by-parts method is used to reduce indices (powers of scalar propagators) of the scalar diagrams. The obtained recurrence relations for one-loop integrals are explicitly evaluated for 5- and 6-point functions. In the latter case the corresponding Gram determinant vanishes identically for d=4, which greatly simplifies the application of the recurrence relations.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | An algorithm for the reduction of one-loop n-point tensor integrals to basic integrals is proposed. | contribution 1.00 | 0.89 | 0.55 | asserted 0.99 |
| s1 | We transform tensor integrals to scalar integrals with shifted dimension and reduce these by recurrence relations to integrals in generic dimension. | method 0.98 | 0.91 | 0.17 | asserted 1.00 |
| s2 | Also the integration-by-parts method is used to reduce indices (powers of scalar propagators) of the scalar diagrams. | method 0.98 | 0.76 | 0.05 | asserted 1.00 |
| s3 | The obtained recurrence relations for one-loop integrals are explicitly evaluated for 5- and 6-point functions. | result 0.58 | 0.93 | 0.16 | asserted 1.00 |
| s4 | In the latter case the corresponding Gram determinant vanishes identically for d=4, which greatly simplifies the application of the recurrence relations. | result 0.65 | 0.80 | 0.09 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-ph/9907327 by the authors.
References
How the literature uses it
32 arXiv papers cite this in 60 sentences
Papers whose main result relates to this one's
States the same result 2 papers
-
We describe a new, convenient, recursive tensor integral reduction scheme for one-loop $n$-point Feynman integrals.
A recursive approach to the reduction of tensor Feynman integrals · 0.91
-
The tensor reduction can be solved iteratively such that any tensor integral is expressible in terms of scalar integrals.
Reduction formalism for dimensionally regulated one-loop N-point integrals · 0.80
Papers citing it · 29 sentences without a confident label
Builds on it 1 paper
-
In Section [ref] we go one step further in the reduction of five-point tensors compared to [ref] and demonstrate how to cancel all inverse powers of the Gram determinant appearing in the Davydychev-Tarasov reduction.
A complete reduction of one-loop tensor 5- and 6-point integrals · Introduction · 0.88
Uses its method or tool 14 papers
-
As starting point we use the recursion relation [ref] : [equation] where [equation] The operator $k^-$ decreases the $k$-th propagator power by one.
Pentagon diagrams of Bhabha scattering · Reduction of five point functions · 0.99
-
We remark that all the above-mentioned results are due to a systematic application of methods described and developed in [ref] .
Calculating contracted tensor Feynman integrals · Introduction · 0.90
-
[We will extensively quote from article [ref] , so we introduce here the notation (I.num) for a reference to equation (num) there.]
A complete reduction of one-loop tensor 5- and 6-point integrals · Introduction · 0.84
Compares with it 1 paper
-
Thus, our reduction is equivalent to the well-known decomposition in the literature [ref] for any one-loop $(n>5)$-point integral [equation] where the numerators $𝒩_topology≠pentagon$ are irreducible i.e. none of their summands can be canceled against the corresponding denominators.
On the finite basis topologies for multi-loop high-multiplicity Feynman integrals · One-loop reduction · 0.87
Cites it as background 10 papers
-
They have been systematically worked out for $L=1$ in [ref] , and in a subsequent article [ref] the evaluation of scalar integrals in $d$ dimensions with powers $1$ of the scalar propagators is advocated.
A complete algebraic reduction of one-loop tensor Feynman integrals · Introduction · 0.81
-
At the one-loop level, it is well-known that a general one-loop integral in $D=(4-2)$-dimensions can always be reduced to a linear combination of one-loop scalar integrals (known as master integrals) with rational functions of external variables as their reduction coefficients [ref] .
Nontrivial One-loop Recursive Reduction Relation · Introduction · 0.92
-
A widely used method is to reduce a loop amplitude into a linear combination of some scalar integrals under dimensional regularization [ref]
Reduction with Degenerate Gram matrix for One-loop Integrals · Introduction · 0.87
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.