Feynman Integral Reduction without Integration-By-Parts
Pith reviewed 2026-05-23 07:01 UTC · model grok-4.3
The pith
Equivalence relations among Feynman integration contours yield universal reduction formulas for any one-loop integral without integration-by-parts.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By studying equivalence relations of integral contours in the Feynman parameterization, which can take more general forms than those given by the Cheng-Wu theorem, the authors derive universal reduction formulas that efficiently reduce any one-loop integral without employing integration-by-parts identities.
What carries the argument
Equivalence relations of integral contours in Feynman parameterization, more general than the Cheng-Wu theorem.
If this is right
- Universal reduction formulas exist that apply to any one-loop integral.
- The formulas enable efficient reduction of one-loop integrals.
- The contour-equivalence approach may extend to the reduction of multi-loop integrals.
Where Pith is reading between the lines
- The method could be tested by applying the formulas to standard one-loop topologies and checking numerical agreement with known results.
- If the contour equivalences hold at higher loops, they might bypass certain technical obstacles that arise in integration-by-parts reductions for multi-loop cases.
- The approach opens a possible connection between contour deformation techniques and algebraic reduction algorithms.
Load-bearing premise
The more general integration contours identified via equivalence relations produce mathematically valid and physically correct reductions for arbitrary one-loop integrals.
What would settle it
Explicit reduction of a known one-loop integral such as the scalar box diagram using the new formulas, followed by direct comparison of the result against the same integral reduced via standard integration-by-parts.
read the original abstract
We present an interesting study of Feynman integral reduction that does not employ integration-by-parts identities. Our approach proceeds by studying the equivalence relations of integral contours in the Feynman parameterization. We find that the integration contour can take a more general form than that given by the Cheng-Wu theorem. We apply this idea to one-loop integrals, and derive universal reduction formulas that can be used to efficiently reduce any one-loop integral. We expect that this approach can be useful in the reduction of multi-loop integrals as well.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a method for reducing Feynman integrals without integration-by-parts identities. It studies equivalence relations among integration contours in the Feynman-parameter representation and asserts that these contours admit a more general form than allowed by the Cheng-Wu theorem. The authors apply the idea to one-loop integrals and state that they derive universal reduction formulas usable for any one-loop integral; they expect the approach to extend to multi-loop cases.
Significance. An alternative to IBP that rests on contour equivalences rather than differential identities could, if rigorously established, simplify reduction pipelines and avoid the growth of IBP equation systems at higher loops. No machine-checked proofs, reproducible code, or explicit parameter-free derivations are supplied in the manuscript, so these potential strengths cannot be credited. The significance remains unevaluable until the explicit formulas and their domain of validity are shown.
major comments (1)
- [Abstract] Abstract: the claim that 'universal reduction formulas' follow from more general contour equivalences is load-bearing, yet the manuscript supplies neither the explicit formulas nor the measure/boundary conditions under which the contour deformation preserves the value of the integral when propagators vanish or when the integral is UV/IR divergent. Without this, it is impossible to confirm that the reductions are identities rather than regularizations or approximations.
minor comments (1)
- [Abstract] The abstract states an expectation of usefulness for multi-loop integrals but gives no indication of the technical obstacles or additional contour relations that would be required.
Simulated Author's Rebuttal
We thank the referee for their detailed reading of our manuscript. The main concern is that the abstract's claim regarding universal reduction formulas lacks supporting explicit expressions and domain specifications in the text. We address this directly below and note that the derivations appear in the body of the paper; we are prepared to improve clarity and add explicit statements on validity.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim that 'universal reduction formulas' follow from more general contour equivalences is load-bearing, yet the manuscript supplies neither the explicit formulas nor the measure/boundary conditions under which the contour deformation preserves the value of the integral when propagators vanish or when the integral is UV/IR divergent. Without this, it is impossible to confirm that the reductions are identities rather than regularizations or approximations.
Authors: The universal reduction formulas are derived explicitly in Sections 3–5. Section 3 establishes the generalized contour equivalence beyond the Cheng-Wu theorem; Sections 4 and 5 then apply it to obtain closed-form reduction relations that express an arbitrary one-loop integral in terms of a small set of master integrals, with the relations written out for n-point integrals in D dimensions. These are identities obtained by deforming the integration contour within the positive simplex ∑α_i=1, α_i≥0 while keeping the integrand analytic. The measure is the standard Lebesgue measure on that simplex; boundary conditions are enforced by the iε prescription, which places the contour on the side of the real axis that avoids the poles when any propagator vanishes. The equivalence therefore holds as an identity for the regularized integral. When the integral is UV or IR divergent the same contour relation remains valid after dimensional regularization or any other regulator that does not alter the location of the poles relative to the contour. We agree that a concise statement of these domain conditions would strengthen the presentation and will add a short clarifying paragraph (and update the abstract to point to it) in the revised version. revision: partial
Circularity Check
No circularity: derivation from contour equivalences presented as independent of inputs
full rationale
The provided abstract and context contain no equations or explicit derivation steps. The approach is described as studying equivalence relations of Feynman-parameter contours (more general than Cheng-Wu) and then applying them to derive one-loop reduction formulas. No self-definitional relations, fitted parameters renamed as predictions, or load-bearing self-citations are visible. The claimed reduction formulas are presented as resulting from the contour analysis rather than being presupposed by it, making the derivation self-contained against the given text.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Kotikov,Differential equations method: New technique for massive Feynman diagrams calculation,Phys
A.V. Kotikov,Differential equations method: New technique for massive Feynman diagrams calculation,Phys. Lett. B254(1991) 158
work page 1991
-
[2]
Kotikov,Differential equation method: The Calculation of N point Feynman diagrams, Phys
A.V. Kotikov,Differential equation method: The Calculation of N point Feynman diagrams, Phys. Lett. B267(1991) 123
work page 1991
-
[3]
Remiddi,Differential equations for Feynman graph amplitudes,Nuovo Cim
E. Remiddi,Differential equations for Feynman graph amplitudes,Nuovo Cim. A110(1997) 1435 [hep-th/9711188]. – 22 –
-
[4]
Differential Equations for Two-Loop Four-Point Functions
T. Gehrmann and E. Remiddi,Differential equations for two-loop four-point functions,Nucl. Phys. B580(2000) 485 [hep-ph/9912329]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[5]
Calculation of master integrals by difference equations
S. Laporta,Calculation of master integrals by difference equations,Phys. Lett. B504(2001) 188 [hep-ph/0102032]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[6]
Tkachov,A theorem on analytical calculability of 4-loop renormalization group functions,Phys
F.V. Tkachov,A theorem on analytical calculability of 4-loop renormalization group functions,Phys. Lett. B100(1981) 65
work page 1981
-
[7]
K.G. Chetyrkin and F.V. Tkachov,Integration by parts: The algorithm to calculate β-functions in 4 loops,Nucl. Phys. B192(1981) 159
work page 1981
-
[8]
A.V. Smirnov and M. Zeng,FIRE 6.5: Feynman integral reduction with new simplification library,Comput. Phys. Commun.302(2024) 109261 [2311.02370]
-
[9]
LiteRed 1.4: a powerful tool for the reduction of the multiloop integrals
R.N. Lee,LiteRed 1.4: a powerful tool for reduction of multiloop integrals,J. Phys. Conf. Ser.523(2014) 012059 [1310.1145]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[10]
Reduze 2 - Distributed Feynman Integral Reduction
A. von Manteuffel and C. Studerus,Reduze 2 - Distributed Feynman Integral Reduction, 1201.4330
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Integral Reduction with Kira 2.0 and Finite Field Methods
J. Klappert, F. Lange, P. Maierh¨ ofer and J. Usovitsch,Integral reduction with Kira 2.0 and finite field methods,Comput. Phys. Commun.266(2021) 108024 [2008.06494]
work page internal anchor Pith review Pith/arXiv arXiv 2021
-
[12]
Modern techniques of multiloop calculations
R.N. Lee,Modern techniques of multiloop calculations, in49th Rencontres de Moriond on QCD and High Energy Interactions, pp. 297–300, 2014 [1405.5616]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[13]
Integration-by-parts reductions from unitarity cuts and algebraic geometry
K.J. Larsen and Y. Zhang,Integration-by-parts reductions from unitarity cuts and algebraic geometry,Phys. Rev. D93(2016) 041701 [1511.01071]
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [14]
-
[15]
J. Chen and B. Feng,Module intersection and uniform formula for iterative reduction of one-loop integrals,JHEP02(2023) 178 [2207.03767]
-
[16]
Chen,Reduction of Feynman Integrals in the Parametric Representation,JHEP02 (2020) 115 [1902.10387]
W. Chen,Reduction of Feynman Integrals in the Parametric Representation,JHEP02 (2020) 115 [1902.10387]
-
[17]
W. Chen,Reduction of Feynman Integrals in the Parametric Representation II: Reduction of Tensor Integrals,Eur. Phys. J. C81(2021) 244 [1912.08606]
-
[18]
Chen,Reduction of Feynman integrals in the parametric representation III: integrals with cuts,Eur
W. Chen,Reduction of Feynman integrals in the parametric representation III: integrals with cuts,Eur. Phys. J. C80(2020) 1173 [2007.00507]
-
[19]
Chen,Semi-automatic Calculations of Multi-loop Feynman Amplitudes with AmpRed, 2408.06426
W. Chen,Semi-automatic Calculations of Multi-loop Feynman Amplitudes with AmpRed, 2408.06426
- [20]
- [21]
-
[22]
G. Passarino and M.J.G. Veltman,One Loop Corrections for e+ e- Annihilation Into mu+ mu- in the Weinberg Model,Nucl. Phys. B160(1979) 151. – 23 –
work page 1979
- [23]
- [24]
- [25]
- [26]
-
[27]
B. Feng and T. Li,PV-reduction of sunset topology with auxiliary vector,Commun. Theor. Phys.74(2022) 095201 [2203.16881]
- [28]
-
[29]
Li,Nontrivial one-loop recursive reduction relation,JHEP07(2023) 051 [2209.11428]
T. Li,Nontrivial one-loop recursive reduction relation,JHEP07(2023) 051 [2209.11428]
-
[30]
Reducing full one-loop amplitudes to scalar integrals at the integrand level
G. Ossola, C.G. Papadopoulos and R. Pittau,Reducing full one-loop amplitudes to scalar integrals at the integrand level,Nucl. Phys. B763(2007) 147 [hep-ph/0609007]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[31]
Numerical Evaluation of Six-Photon Amplitudes
G. Ossola, C.G. Papadopoulos and R. Pittau,Numerical evaluation of six-photon amplitudes, JHEP07(2007) 085 [0704.1271]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[32]
A Numerical Unitarity Formalism for Evaluating One-Loop Amplitudes
R.K. Ellis, W.T. Giele and Z. Kunszt,A Numerical Unitarity Formalism for Evaluating One-Loop Amplitudes,JHEP03(2008) 003 [0708.2398]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[33]
One-Loop n-Point Gauge Theory Amplitudes, Unitarity and Collinear Limits
Z. Bern, L.J. Dixon, D.C. Dunbar and D.A. Kosower,One loop n point gauge theory amplitudes, unitarity and collinear limits,Nucl. Phys. B425(1994) 217 [hep-ph/9403226]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[34]
Fusing Gauge Theory Tree Amplitudes Into Loop Amplitudes
Z. Bern, L.J. Dixon, D.C. Dunbar and D.A. Kosower,Fusing gauge theory tree amplitudes into loop amplitudes,Nucl. Phys. B435(1995) 59 [hep-ph/9409265]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[35]
One-Loop Amplitudes for e^+ e^- to Four Partons
Z. Bern, L.J. Dixon and D.A. Kosower,One loop amplitudes for e+ e- to four partons,Nucl. Phys. B513(1998) 3 [hep-ph/9708239]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[36]
Generalized Unitarity and One-Loop Amplitudes in N=4 Super-Yang-Mills
R. Britto, F. Cachazo and B. Feng,Generalized unitarity and one-loop amplitudes in N=4 super-Yang-Mills,Nucl. Phys. B725(2005) 275 [hep-th/0412103]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[37]
One-Loop Amplitudes Of Gluons In SQCD
R. Britto, E. Buchbinder, F. Cachazo and B. Feng,One-loop amplitudes of gluons in SQCD, Phys. Rev. D72(2005) 065012 [hep-ph/0503132]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[38]
The Cut-Constructible Part of QCD Amplitudes
R. Britto, B. Feng and P. Mastrolia,The Cut-constructible part of QCD amplitudes,Phys. Rev. D73(2006) 105004 [hep-ph/0602178]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[39]
D-dimensional unitarity cut method
C. Anastasiou, R. Britto, B. Feng, Z. Kunszt and P. Mastrolia,D-dimensional unitarity cut method,Phys. Lett. B645(2007) 213 [hep-ph/0609191]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[40]
Unitarity cuts and reduction to master integrals in d dimensions for one-loop amplitudes
C. Anastasiou, R. Britto, B. Feng, Z. Kunszt and P. Mastrolia,Unitarity cuts and Reduction to master integrals in d dimensions for one-loop amplitudes,JHEP03(2007) 111 [hep-ph/0612277]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[41]
Unitarity Cuts with Massive Propagators and Algebraic Expressions for Coefficients
R. Britto and B. Feng,Unitarity cuts with massive propagators and algebraic expressions for coefficients,Phys. Rev. D75(2007) 105006 [hep-ph/0612089]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[42]
Integral Coefficients for One-Loop Amplitudes
R. Britto and B. Feng,Integral coefficients for one-loop amplitudes,JHEP02(2008) 095 [0711.4284]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[43]
R. Britto and E. Mirabella,Single Cut Integration,JHEP01(2011) 135 [1011.2344]. – 24 –
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[44]
Feng,Generation function for one-loop tensor reduction,Commun
B. Feng,Generation function for one-loop tensor reduction,Commun. Theor. Phys.75 (2023) 025203 [2209.09517]
- [45]
- [46]
- [47]
-
[48]
Scattering Amplitudes from Intersection Theory
S. Mizera,Scattering Amplitudes from Intersection Theory,Phys. Rev. Lett.120(2018) 141602 [1711.00469]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[49]
Feynman Integrals and Intersection Theory
P. Mastrolia and S. Mizera,Feynman Integrals and Intersection Theory,JHEP02(2019) 139 [1810.03818]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[50]
Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers
H. Frellesvig, F. Gasparotto, S. Laporta, M.K. Mandal, P. Mastrolia, L. Mattiazzi et al., Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers,JHEP05 (2019) 153 [1901.11510]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[51]
H. Frellesvig, F. Gasparotto, M.K. Mandal, P. Mastrolia, L. Mattiazzi and S. Mizera,Vector Space of Feynman Integrals and Multivariate Intersection Numbers,Phys. Rev. Lett.123 (2019) 201602 [1907.02000]
-
[52]
S. Mizera and A. Pokraka,From Infinity to Four Dimensions: Higher Residue Pairings and Feynman Integrals,JHEP02(2020) 159 [1910.11852]
-
[53]
Mizera,Status of Intersection Theory and Feynman Integrals,PoSMA2019(2019) 016 [2002.10476]
S. Mizera,Status of Intersection Theory and Feynman Integrals,PoSMA2019(2019) 016 [2002.10476]
-
[54]
H. Frellesvig, F. Gasparotto, S. Laporta, M.K. Mandal, P. Mastrolia, L. Mattiazzi et al., Decomposition of Feynman Integrals by Multivariate Intersection Numbers,JHEP03(2021) 027 [2008.04823]
-
[55]
S. Caron-Huot and A. Pokraka,Duals of Feynman integrals. Part I. Differential equations, JHEP12(2021) 045 [2104.06898]
-
[56]
S. Caron-Huot and A. Pokraka,Duals of Feynman Integrals. Part II. Generalized unitarity, JHEP04(2022) 078 [2112.00055]
-
[57]
V. Chestnov, F. Gasparotto, M.K. Mandal, P. Mastrolia, S.J. Matsubara-Heo, H.J. Munch et al.,Macaulay matrix for Feynman integrals: linear relations and intersection numbers, JHEP09(2022) 187 [2204.12983]
-
[58]
G. Fontana and T. Peraro,Reduction to master integrals via intersection numbers and polynomial expansions,JHEP08(2023) 175 [2304.14336]
-
[59]
G. Brunello, V. Chestnov, G. Crisanti, H. Frellesvig, M.K. Mandal and P. Mastrolia, Intersection numbers, polynomial division and relative cohomology,JHEP09(2024) 015 [2401.01897]
-
[60]
Explicit solutions of the multi-loop integral recurrence relations and its application
P.A. Baikov,Explicit solutions of the multiloop integral recurrence relations and its application,Nucl. Instrum. Meth. A389(1997) 347 [hep-ph/9611449]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[61]
Calculating multiloop integrals using dimensional recurrence relation and D-analyticity
R.N. Lee,Calculating multiloop integrals using dimensional recurrence relation and D-analyticity,Nucl. Phys. B Proc. Suppl.205-206(2010) 135 [1007.2256]. – 25 –
work page internal anchor Pith review Pith/arXiv arXiv 2010
- [62]
-
[63]
H. Cheng and T.T. Wu,EXPANDING PROTONS: SCATTERING AT HIGH-ENERGIES (1987)
work page 1987
-
[64]
Critical points and number of master integrals
R.N. Lee and A.A. Pomeransky,Critical points and number of master integrals,JHEP11 (2013) 165 [1308.6676]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[65]
S. Weinzierl,Feynman Integrals. A Comprehensive Treatment for Students and Researchers, UNITEXT for Physics, Springer (2022), 10.1007/978-3-030-99558-4, [2201.03593]
-
[66]
K. Aomoto and M. Kita,Theory of Hypergeometric Functions, Springer Monographs in Mathematics, Springer (2011), 10.1007/978-4-431-53938-4
-
[67]
Matsumoto,Quadratic identities for hypergeometric series of type(k, l),Kyushu J
K. Matsumoto,Quadratic identities for hypergeometric series of type(k, l),Kyushu J. Math. 48(1994) 335
work page 1994
-
[68]
Matsumoto,Intersection numbers for logarithmicK-forms,Osaka J
K. Matsumoto,Intersection numbers for logarithmicK-forms,Osaka J. Math.35(1998) 873
work page 1998
- [69]
-
[70]
Goto,Twisted cycles and twisted period relations for Lauricella’s hypergeometric function Fc,Int
Y. Goto,Twisted cycles and twisted period relations for Lauricella’s hypergeometric function Fc,Int. J. Math.24(2013) 19
work page 2013
-
[71]
Y. Goto and K. Matsumoto,The monodromy representation and twisted period relations for Appell’s hypergeometric functionF 4,Nagoya Math. J.217(2015) 61
work page 2015
-
[72]
Goto,Twisted period relations for Lauricella’s hypergeometric functionsF A,Osaka J
Y. Goto,Twisted period relations for Lauricella’s hypergeometric functionsF A,Osaka J. Math.52(2015) 861
work page 2015
-
[73]
Y. Goto,Intersection numbers and twisted period relations for the generalized hypergeometric function m+1Fm,Kyushu J. Math.69(2015) 203
work page 2015
-
[74]
S.-J. Matsubara-Heo and N. Takayama,An algorithm of computing cohomology intersection number of hypergeometric integrals,Nagoya Math. J.246(2022) 256
work page 2022
-
[75]
Y. Goto and S.-J. Matsubara-Heo,Homology and cohomology intersection numbers of GKZ systems,Indag. Math., New Ser.33(2022) 546
work page 2022
-
[76]
Matsubara-Heo,Localization formulas of cohomology intersection numbers,J
S.-J. Matsubara-Heo,Localization formulas of cohomology intersection numbers,J. Math. Soc. Japan75(2023) 909
work page 2023
-
[77]
Connection between Feynman integrals having different values of the space-time dimension
O.V. Tarasov,Connection between Feynman integrals having different values of the space-time dimension,Phys. Rev. D54(1996) 6479 [hep-th/9606018]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[78]
Generalized Recurrence Relations for Two-loop Propagator Integrals with Arbitrary Masses
O.V. Tarasov,Generalized recurrence relations for two loop propagator integrals with arbitrary masses,Nucl. Phys. B502(1997) 455 [hep-ph/9703319]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[79]
R.N. Lee,Space-time dimensionality D as complex variable: Calculating loop integrals using dimensional recurrence relation and analytical properties with respect to D,Nucl. Phys. B 830(2010) 474 [0911.0252]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[80]
Dimensional recurrence relations: an easy way to evaluate higher orders of expansion in $\epsilon$
R.N. Lee, A.V. Smirnov and V.A. Smirnov,Dimensional recurrence relations: an easy way to evaluate higher orders of expansion inϵ,Nucl. Phys. B Proc. Suppl.205-206(2010) 308 [1005.0362]
work page internal anchor Pith review Pith/arXiv arXiv 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.