pith. machine review for the scientific record. sign in

arxiv: 2604.09810 · v1 · submitted 2026-04-10 · ✦ hep-ph · hep-th

Recognition: unknown

Feynman integral reduction by covariant differentiation

Gero von Gersdorff , Vinicius Lessa
Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:30 UTC · model grok-4.3

classification ✦ hep-ph hep-th
keywords Feynman integralsloop integral reductioncovariant differentiationmaster integralsvector space dualtopologyMERLIN
0
0 comments X

The pith

Feynman integrals reduce to master integrals by covariant differentiation on the dual vector space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that a large class of Feynman integrals can be reduced to master integrals by applying covariant differentiation in the vector space dual to the masters. The connections for these derivatives are constructed only once for a given topology and then hold for any choice of internal propagator masses. The method is implemented in the Mathematica code MERLIN. If correct, this decouples the reduction procedure from specific mass values, allowing the same precomputed structures to serve repeated calculations with different parameters.

Core claim

We show how a large class of Feynman integrals can be efficiently reduced to master integrals by suitable covariant differentiation on the vector space dual to the one spanned by the master integrals. The connections needed in the covariant derivatives have to be built only once for a given topology and then apply to any configuration of internal propagator masses.

What carries the argument

Covariant differentiation on the vector space dual to the one spanned by the master integrals, using topology-specific connection forms.

If this is right

  • Reductions become reusable across arbitrary mass configurations once connections are built for a topology.
  • The computational effort for finding masters separates from the choice of propagator masses.
  • The MERLIN implementation makes the procedure available for direct use in Mathematica calculations.
  • The approach covers a large class of integrals without requiring per-mass recomputation of the reduction steps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Precomputed connections could accelerate parameter scans in phenomenological applications by avoiding repeated reductions.
  • The dual-space differentiation technique might combine with existing differential-equation or integration-by-parts methods.
  • Similar constructions could be tested on integrals beyond standard Feynman topologies, such as those with more complex numerator structures.

Load-bearing premise

The connection forms on the dual space can be constructed once per topology and remain valid independently of the specific values of internal propagator masses.

What would settle it

A concrete Feynman integral for which the precomputed connections, when used in the covariant derivative, fail to produce the correct reduction to the expected master integrals at a mass point different from any used in the construction.

Figures

Figures reproduced from arXiv: 2604.09810 by Gero von Gersdorff, Vinicius Lessa.

Figure 1
Figure 1. Figure 1: Two loop vacuum diagram. where k1 = q1, k2 = q2, and k3 = q1 + q2. These integrals contain both possible topologies, sunset (for all ni > 0) and figure-eight (exactly one of the ni = 0 and the other positive). There are 4 master integrals, that may be taken as I = [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Three-loop vacuum diagrams. All diagrams can be written in terms of the basic [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Basic topology for the thre-loop vacuum diagrams. [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
read the original abstract

We show how a large class of Feynman integrals can be efficiently reduced to master integrals by suitable covariant differentiation on the vector space dual to the one spanned by the master integrals. The connections needed in the covariant derivatives have to be built only once for a given topology and then apply to any configuration of internal propagator masses. We implement our algorithm in the Mathematica code Method for Reduction of Loop Integrals (MERLIN).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims that a large class of Feynman integrals can be reduced to master integrals via covariant differentiation on the dual vector space to the space spanned by the masters. The required connection forms are asserted to be constructible once per topology (propagator set and momentum routing) and then valid for arbitrary internal masses; the algorithm is implemented in the Mathematica package MERLIN.

Significance. If the mass-independence of the precomputed connections is established, the approach would enable topology-level precomputation that avoids repeated linear algebra for different mass configurations, offering a practical efficiency gain for multi-loop calculations in phenomenology.

major comments (2)
  1. [Abstract] Abstract: the central assertion that 'the connections needed in the covariant derivatives have to be built only once for a given topology and then apply to any configuration of internal propagator masses' is load-bearing for the efficiency claim. The construction of the covariant derivative operators and the dual-space projection must be shown explicitly not to depend on specific mass values (e.g., through mass-dependent coefficients in the linear systems solved for the connection matrices or through mass-dependent changes in the master-integral basis). No such demonstration or counter-example verification appears in the abstract; the full text should supply a concrete derivation or numerical test confirming invariance under mass variation.
  2. [Method description / connection construction] The method description (where the dual-space connections are defined): if the algorithm for obtaining the connection matrices implicitly solves linear systems whose coefficients contain propagator masses, or if the projection onto the dual basis uses mass-specific normalizations, then the 'once per topology' property fails and the procedure reduces to per-mass recomputation. A parameter-free argument or machine-checked verification that the connection forms are independent of the mass parameters is required to secure the claim.
minor comments (1)
  1. [Abstract] The abstract states the central claim but supplies no derivation steps, error analysis, or explicit worked examples; adding a short illustrative reduction for a known topology (e.g., a one-loop bubble or two-loop sunrise) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The points raised about explicitly establishing the mass-independence of the connection forms are important for clarifying the efficiency claim, and we address them point by point below, indicating the revisions we will make.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central assertion that 'the connections needed in the covariant derivatives have to be built only once for a given topology and then apply to any configuration of internal propagator masses' is load-bearing for the efficiency claim. The construction of the covariant derivative operators and the dual-space projection must be shown explicitly not to depend on specific mass values (e.g., through mass-dependent coefficients in the linear systems solved for the connection matrices or through mass-dependent changes in the master-integral basis). No such demonstration or counter-example verification appears in the abstract; the full text should supply a concrete derivation or numerical test confirming invariance under mass variation.

    Authors: We agree that the abstract statement requires explicit support in the text. The connections are constructed symbolically from the action of covariant derivatives on the dual basis, with all coefficients kept as rational functions of the general mass parameters; the resulting connection matrices are independent of specific numerical mass values because the linear systems are solved over the field of rational functions in the kinematic variables (including masses) and the mass dependence factors out identically on both sides. To make this fully transparent, we will add a concrete derivation in a new subsection of the method section, together with a numerical verification using the MERLIN implementation on a sample two-loop topology evaluated at several distinct mass configurations. revision: yes

  2. Referee: [Method description / connection construction] The method description (where the dual-space connections are defined): if the algorithm for obtaining the connection matrices implicitly solves linear systems whose coefficients contain propagator masses, or if the projection onto the dual basis uses mass-specific normalizations, then the 'once per topology' property fails and the procedure reduces to per-mass recomputation. A parameter-free argument or machine-checked verification that the connection forms are independent of the mass parameters is required to secure the claim.

    Authors: The algorithm formulates the linear systems for the connection matrices symbolically, treating all propagator masses as indeterminates; the dual-space projection is defined purely from the topology (propagator set and momentum routing) without reference to mass values or normalizations that depend on them. Consequently the solved connection forms contain no residual mass dependence. We will strengthen the method description with an explicit parameter-free argument showing why mass parameters cancel in the connection matrices, and we will include a machine-checked example (via the MERLIN package) confirming that the same precomputed connections correctly reduce integrals for multiple mass assignments. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained mathematical construction

full rationale

The paper describes a first-principles approach to Feynman integral reduction via covariant differentiation on the dual space to the master integrals, with connection forms constructed once per topology. The abstract and reader's summary provide no equations or steps where a claimed result reduces by definition to fitted inputs, self-citations, or renamed ansatzes. The mass-independence property is presented as a feature of the construction rather than a tautological output. No load-bearing self-citation chains or self-definitional loops are evident from the given material, making the derivation independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; the ledger is therefore incomplete. The method implicitly relies on the existence of a finite basis of master integrals and on the algebraic properties of covariant derivatives on a finite-dimensional vector space.

axioms (2)
  • domain assumption A finite set of master integrals spans the vector space of all integrals of a given topology.
    Standard assumption in Feynman integral reduction literature; invoked implicitly by the claim that differentiation reduces to masters.
  • ad hoc to paper Covariant connections on the dual space can be defined independently of propagator masses.
    Central to the reusability claim; stated in the abstract but not derived here.

pith-pipeline@v0.9.0 · 5345 in / 1322 out tokens · 25954 ms · 2026-05-10T16:30:41.530230+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An Algorithm for the Symbolic Reduction of Multi-loop Feynman Integrals via Generating Functions

    hep-ph 2026-05 unverdicted novelty 7.0

    A new generating-function framework turns IBP relations into differential equations in a non-commutative algebra, yielding an iterative algorithm that derives symbolic reduction rules and checks completeness for topol...

Reference graph

Works this paper leans on

37 extracted references · 33 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    K. G. Chetyrkin and F. V. Tkachov,Integration by parts: The algorithm to calculate β-functions in 4 loops,Nucl. Phys. B192(1981) 159

    1981

  2. [2]

    High-precision calculation of multi-loop Feynman integrals by difference equations

    S. Laporta,High-precision calculation of multiloop Feynman integrals by difference equations,Int. J. Mod. Phys. A15(2000) 5087 [hep-ph/0102033]

    work page Pith review arXiv 2000

  3. [3]

    A. V. Smirnov and A. V. Petukhov,The Number of Master Integrals is Finite,Lett. Math. Phys.97(2011) 37 [1004.4199]

    work page arXiv 2011

  4. [4]

    R. N. Lee and A. A. Pomeransky,Critical points and number of master integrals, JHEP11(2013) 165 [1308.6676]

    work page arXiv 2013

  5. [5]

    Bitoun, C

    T. Bitoun, C. Bogner, R. P. Klausen and E. Panzer,Feynman integral relations from parametric annihilators,Lett. Math. Phys.109(2019) 497 [1712.09215]

    work page arXiv 2019

  6. [6]

    A. V. Kotikov,Differential equations method: New technique for massive Feynman diagrams calculation,Phys. Lett. B254(1991) 158

    1991

  7. [7]

    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]

    work page arXiv 1997

  8. [8]

    J. M. Henn,Multiloop integrals in dimensional regularization made simple,Phys. Rev. Lett.110(2013) 251601 [1304.1806]

    work page arXiv 2013

  9. [9]

    Anastasiou and A

    C. Anastasiou and A. Lazopoulos,Automatic integral reduction for higher order perturbative calculations,JHEP07(2004) 046 [hep-ph/0404258]

    work page arXiv 2004

  10. [10]

    Studerus,Reduze – Feynman integral reduction in C++,Comput

    C. Studerus,Reduze – Feynman integral reduction in C++,Comput. Phys. Commun. 181(2010) 1293 [0912.2546]

    work page arXiv 2010

  11. [11]

    Reduze 2 - Distributed Feynman Integral Reduction

    A. von Manteuffel and C. Studerus,Reduze 2 - Distributed Feynman Integral Reduction,1201.4330

    work page Pith review arXiv

  12. [12]

    R. N. Lee,Presenting LiteRed: a tool for the Loop InTEgrals REDuction,1212.2685

    work page Pith review arXiv

  13. [13]

    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 Pith review arXiv 2014

  14. [14]

    A. V. Smirnov,Algorithm FIRE – Feynman Integral REduction,JHEP10(2008) 107 [0807.3243]

    work page arXiv 2008

  15. [15]

    A. V. Smirnov and V. A. Smirnov,FIRE4, LiteRed and accompanying tools to solve integration by parts relations,Comput. Phys. Commun.184(2013) 2820 [1302.5885]

    work page arXiv 2013

  16. [16]

    A. V. Smirnov,FIRE5: A C++ implementation of Feynman Integral REduction, Comput. Phys. Commun.189(2015) 182 [1408.2372]. 15

    work page arXiv 2015

  17. [17]

    A. V. Smirnov and F. S. Chukharev,FIRE6: Feynman Integral REduction with modular arithmetic,Comput. Phys. Commun.247(2020) 106877 [1901.07808]

    work page arXiv 2020

  18. [18]

    A. V. Smirnov and M. Zeng,FIRE 7: Automatic Reduction with Modular Approach, 2510.07150

    work page arXiv

  19. [19]

    Kira - A Feynman Integral Reduction Program

    P. Maierh¨ ofer, J. Usovitsch and P. Uwer,Kira—A Feynman integral reduction program,Comput. Phys. Commun.230(2018) 99 [1705.05610]

    work page Pith review arXiv 2018

  20. [20]

    Maierh¨ ofer and J

    P. Maierh¨ ofer and J. Usovitsch,Kira 1.2 Release Notes,1812.01491

    work page arXiv

  21. [21]

    Klappert, F

    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 arXiv 2021

  22. [22]

    D. A. Kosower,Direct Solution of Integration-by-Parts Systems,Phys. Rev. D98 (2018) 025008 [1804.00131]

    work page arXiv 2018

  23. [23]

    B. Feng, X. Li, Y. Liu, Y.-Q. Ma and Y. Zhang,Symbolic Reduction of Multi-loop Feynman Integrals via Generating Functions,2509.21769

    work page arXiv

  24. [24]

    Song, T.-Z

    Z.-Y. Song, T.-Z. Yang, Q.-H. Cao, M.-x. Luo and H. X. Zhu,Explainable AI-assisted Optimization for Feynman Integral Reduction,2502.09544

    work page arXiv

  25. [25]

    Zeng,Reinforcement learning and metaheuristics for Feynman-integral reduction, Phys

    M. Zeng,Reinforcement learning and metaheuristics for Feynman-integral reduction, Phys. Rev. D112(2025) 114051 [2504.16045]

    work page arXiv 2025

  26. [26]

    J. W. Liu and A. Mitov,Untangling the IBP Equations,2512.05923

    work page arXiv

  27. [27]

    de la Cruz and D

    L. de la Cruz and D. A. Kosower,Seedless Reduction of Feynman Integrals, 2602.22111

    work page arXiv

  28. [28]

    Smith and M

    S. Smith and M. Zeng,Feynman integral reduction using syzygy-constrained symbolic reduction rules,JHEP01(2026) 102 [2507.11140]

    work page arXiv 2026

  29. [29]

    Learning to Unscramble Feynman Loop Integrals with SAILIR

    D. Shih,Learning to Unscramble Feynman Loop Integrals with SAILIR,2604.05034

    work page internal anchor Pith review Pith/arXiv arXiv

  30. [30]

    Georgi,Effective field theory,Ann

    H. Georgi,Effective field theory,Ann. Rev. Nucl. Part. Sci.43(1993) 209

    1993

  31. [31]

    V. A. Smirnov,Applied asymptotic expansions in momenta and masses,Springer Tracts Mod. Phys.177(2002) 1

    2002

  32. [32]

    A. V. Manohar,Introduction to Effective Field Theories,1804.05863

    work page arXiv

  33. [33]

    Abreu, R

    S. Abreu, R. Britto and C. Duhr,The SAGEX review on scattering amplitudes Chapter 3: Mathematical structures in Feynman integrals,J. Phys. A55(2022) 443004 [2203.13014]. 16

    work page arXiv 2022

  34. [34]

    R. N. Lee, A. V. Smirnov and V. A. Smirnov,Solving differential equations for Feynman integrals by expansions near singular points,JHEP03(2018) 008 [1709.07525]

    work page arXiv 2018

  35. [35]

    Armadillo, R

    T. Armadillo, R. Bonciani, S. Devoto, N. Rana and A. Vicini,Evaluation of Feynman integrals with arbitrary complex masses via series expansions,Comput. Phys. Commun.282(2023) 108545 [2205.03345]

    work page arXiv 2023

  36. [36]

    R. N. Lee, A. V. Smirnov and V. A. Smirnov,Evaluating ‘elliptic’ master integrals at special kinematic values: using differential equations and their solutions via expansions near singular points,JHEP07(2018) 102 [1805.00227]

    work page arXiv 2018

  37. [37]

    A. V. Smirnov and M. Zeng,FIRE 6.5: Feynman integral reduction with new simplification library,Comput. Phys. Commun.302(2024) 109261 [2311.02370]. 17

    work page arXiv 2024