REVIEW
Explicit solutions of the multi-loop integral recurrence relations and its application
High Energy Physics - Phenomenology · Submitted 27 Nov 1996 · 7 references
Pith's verdict: A five-page proceedings note, but Eq. (5) is the real thing — the explicit contour solution to the IBP relations that the Baikov representation grew out of, with two rigor gaps that a referee should press on.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper proposes closed-form contour-integral solutions to the recurrence relations that reduce multi-loop Feynman integrals, plus a new family of relations that shift the space-time dimension.
The reading
What carries the argument
The load-bearing object is the change of integration variables from loop momenta $p_i$ to the denominator-like quantities $D_a = sum_{i>=j} A^{(ij)}_a p_i cdot p_j - mu_a m^2$. The Jacobian of that change is proportional to $[det((A^{-1})_{a(kl)}(x_a+mu_a))]^{(D-L-1)/2}$, a polynomial in the $x_a$ of degree $L$ raised to a power fixed by the dimension. Because the recurrence operators act on this weight as first-order differential operators that annihilate it, the contour integral of $x^n$ times the weight inherits the recurrence relations as exact statements, provided boundary terms vanish. The same weight supplies the $D$-shift relations: raising $D$ by two multiplies the integrand by the determinant polynomial itself, which corresponds to the operator $P(I^-+mu)$ acting on $f^k(n,D-2)$.
Extended reading notes
Core claim
The central claim is that the integration-by-parts recurrence relations of Eq. (3), $(D-L-1)/2$ times $B(n,D)$ equals a sum over the operators $(I^-_a+mu_a)$ and $n_d I^+_d$ acting on $B$, are solved by the contour integral of Eq. (5): $f^k(n,D) = (2pi i)^{-N} oint cdots oint dx_1 cdots dx_N, x_1^{n_1} cdots x_N^{n_N}, [det(sum_a (A^{-1})_{a(kl)}(x_a+mu_a))]^{(D-L-1)/2}$. The mechanism is that acting on the integrand with the recurrence operator becomes a differential operator in the $x$ variables, and the determinant power is annihilated by it; integration by parts then converts derivatives into shifts of the $n_i$, so the difference equations in $n$ are satisfied. Different choices of integration contour are claimed to give different solutions, and linear combinations of these solutions are meant to supply the coefficient functions $F^k(n,D)$ that express any integral in terms of master integrals. The paper extends the same construction to the non-vacuum case with $R$ external momenta, where the weight becomes a ratio of two determinant powers, Eq. (7).
Load-bearing premise
The derivation assumes that integration contours can always be chosen so that every surface term generated by integration by parts vanishes, simultaneously for all $N$ integration variables and all the shifts the recurrence operators produce; no contour is exhibited and no convergence condition on the exponent $(D-L-1)/2$ is stated.
Editorial extensions
If this is right
- Every reduction coefficient for a vacuum $L$-loop integral with $L(L+1)/2$ denominators becomes a closed-form contour integral instead of the output of a recursive reduction chain.
- A second, independent set of recurrence relations appears that shifts $D$ by two, giving a route between dimensions that does not pass through the standard dimension-shifting relations.
- For the three-loop QED photon vacuum polarization, the full $D$ dependence of the first moment is claimed to be reachable in minutes on a PC, where the recursive route needed hours and required truncating in $(D/2-2)$.
- In the non-vacuum case with external momenta, the same determinant-ratio weight, Eq. (7), gives the corresponding differential equations, so the method is not confined to bubble topologies.
Reading between the lines
- If the contour representation is taken as an identity rather than a solution set, it reads as a Mellin-Barnes-style representation of the Feynman integral itself, which would let one read off reduction coefficients and the integral's own $D$-dependence from a single object rather than two separate formalisms.
- The construction suggests a practical algorithm: solve the finite sums of Pochhammer symbols once for a small set of weighted integrals, then obtain all moments of a polarization function by polynomial multiplication inside the same contour integral, avoiding per-integral evaluation entirely.
- The efficiency claim is testable against an independent implementation of the same three-loop moments, so the method's value can be separated from the correctness of its derivation by comparing numerical series coefficients at several $D$.
Original abstract
The approach to the constructing explicit solutions of the recurrence relations for multi-loop integrals are suggested. The resulting formulas demonstrate a high efficiency, at least for 3-loop vacuum integrals case. They also produce a new type of recurrence relations over the space-time dimension.
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
The approach to the constructing explicit solutions of the recurrence relations for multi-loop integrals are suggested. The resulting formulas demonstrate a high efficiency, at least for 3-loop vacuum integrals case. They also produce a new type of recurrence relations over the space-time dimension.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The approach to the constructing explicit solutions of the recurrence relations for multi-loop integrals are suggested. | contribution 0.70 | 0.74 | 0.18 | hedged possibility 0.80 |
| s1 | The resulting formulas demonstrate a high efficiency, at least for 3-loop vacuum integrals case. | result 0.73 | 0.87 | 0.44 | asserted 0.90 |
| s2 | They also produce a new type of recurrence relations over the space-time dimension. | result 0.74 | 0.87 | 0.18 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- 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
References
How later papers used it
110 later papers cite it
4 later papers by other authors are listed below: 4 used its method or tool.
Uses its method or tool 4 of 52 papers with this label
-
Used the method of another work to construct canonical bases using the Baikov representation of this paper.
Two-loop infrared singularities in the production of a Higgs boson associated with a top-quark pair (2022) · 1.00 · paraphrased: the licence does not allow quoting
-
Used the Baikov representation of this paper to calculate the leading singularity.
Calabi-Yau meets Gravity: A Calabi-Yau three-fold at fifth post-Minkowskian order (2023) · 1.00 · paraphrased: the licence does not allow quoting
-
Throughout this work, we use the Baikov representation [ref] , which consists in changing the integration variables from loop momenta $k_j^μ$ to propagators $z_i$.
Reduction to master integrals via intersection numbers and polynomial expansions (2023) · Application to Feynman integrals · 1.00
-
Introduced the Baikov variables of this paper for the dS bubble diagram, using the same change of variables as in the flat-space Baikov representation.
Loop integrals in de Sitter spacetime: The parity-split IBP system and $\mathrm{d}\log$-form differential equations (2026) · 0.82 · paraphrased: the licence does not allow quoting
How the literature uses it
113 arXiv papers cite this in 143 sentences
Papers citing it · 67 sentences without a confident label
Uses its method or tool 54 papers
-
The method of [ref] utilizes the Baikov representation [ref] and look for $dlog$-form integrals which serve as candidates for the canonical basis.
Mixed QCD-EW corrections for Higgs leptonic decay via $HW^+W^-$ vertex · Canonical basis of the two-loop integrals · 0.94
-
To analyze this elliptic sector, we calculate the maximal cut [ref] of the integral $f_13 = F(0, 1, 1, 2, 0, 0, 1, 1, 0) ∈𝒯_elliptic$ in the loop-by-loop Baikov representation [ref] , and then obtain [equation] with [equation] The integrand of the maximal cut in eq.
Two-loop planar master integrals for NNLO QCD corrections to W-pair production in quark-antiquark annihilation · Top-branch $𝒯_3ϝ$ · 0.96
-
The method we will introduce mainly bases on syzygy and module intersection [ref] in Baikov representation [ref] .
Module Intersection and Uniform Formula for Iterative Reduction of One-loop Integrals · Introduction · 0.92
Cites it as background 16 papers
-
In this work, we focus on the Baikov representation and its generalizations [ref] .
The recursive structure of Baikov representations I: generics and application to symbology · Introduction · 0.94
-
In this section, we will review the Baikov representation of integrals [ref] .
Module Intersection and Uniform Formula for Iterative Reduction of One-loop Integrals · Baikov representation and module intersection · 0.87
-
We begin by recalling basics of intersection theory for hypergeometric functions, and show their correspondence to the Baikov representation, both in the standard formulation [ref] and in the version [ref] .
Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers · Introduction · 0.93
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.