Recognition: unknown
Integrand Analysis, Leading Singularities and Canonical Bases beyond Polylogarithms
Pith reviewed 2026-05-07 16:01 UTC · model grok-4.3
The pith
Selecting Feynman integrals with unit leading singularities in generalized geometries produces ε-factorized differential equations and new transcendental functions tied to periods.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We elaborate on the connection between leading singularities and canonical bases of Feynman integrals beyond polylogarithms. We start by discussing a notion of leading singularities in dimensional regularization, which can be generalized from the Riemann sphere to more complex geometries, and use it to demonstrate how selecting Feynman integrals with unit leading singularities necessitates introducing new transcendental functions related to the periods of the underlying geometries. Integrals with unit leading singularities in this generalized sense satisfy ε-factorized differential equations, and the new transcendental functions are in direct correspondence to the new differential forms in a
What carries the argument
The generalized leading singularity defined on complex geometries in dimensional regularization, which selects integrals whose differential equations factorize in ε and whose new transcendental parts match the additional differential forms of the Gauss-Manin connection.
If this is right
- Feynman integrals beyond polylogarithms admit canonical bases built by the unit-leading-singularity criterion.
- New transcendental functions appear that are directly linked to the periods of the underlying geometries.
- The differential equations satisfied by these integrals become ε-factorized, reducing the complexity of their integration.
- The method works for examples that involve the interplay of several distinct geometries.
- The procedure is mathematically equivalent to splitting the period matrix into semi-simple and unipotent parts followed by a clean-up.
Where Pith is reading between the lines
- The same selection rule may supply a practical route to canonical bases for multi-loop amplitudes whose kinematics involve higher-genus surfaces or other non-rational geometries.
- It could tighten the link between Feynman-integral techniques and the algebraic-geometry study of periods and Gauss-Manin connections.
- Testing the construction on concrete higher-order processes in QCD or gravity would reveal whether the new functions can be evaluated numerically or reduced to known constants.
- Further work might explore whether the same geometric splitting applies to integrals whose leading singularities live on even more intricate varieties.
Load-bearing premise
A notion of leading singularities can be extended from the Riemann sphere to more complex geometries while keeping the property that unit leading singularities still produce ε-factorized differential equations.
What would settle it
An explicit Feynman integral that possesses a unit leading singularity under the generalized definition yet fails to obey an ε-factorized differential equation, or whose solution requires transcendental functions that do not correspond to the periods of the geometry.
read the original abstract
In this paper, we elaborate on the connection between leading singularities and canonical bases of Feynman integrals beyond polylogarithms. We start by discussing a notion of leading singularities in dimensional regularization, which can be generalized from the Riemann sphere to more complex geometries, and use it to demonstrate how selecting Feynman integrals with unit leading singularities necessitates introducing new transcendental functions related to the periods of the underlying geometries. Integrals with unit leading singularities in this generalized sense, satisfy $\epsilon$-factorized differential equations, and the new transcendental functions are in direct correspondence to the new differential forms appearing in their Gauss-Manin connection. We argue that this construction is mathematically equivalent to the splitting of the period matrix into semi-simple and unipotent parts plus a clean-up step, and demonstrate its use with examples of increasing complexity that require the interplay of multiple geometries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper elaborates on the connection between leading singularities and canonical bases of Feynman integrals beyond polylogarithms. It generalizes the notion of leading singularities in dimensional regularization from the Riemann sphere to more complex geometries. Selecting integrals with unit leading singularities requires introducing new transcendental functions related to the periods of the underlying geometries. Such integrals satisfy ε-factorized differential equations, with the new functions in direct correspondence to new differential forms in the Gauss-Manin connection. The construction is argued to be mathematically equivalent to splitting the period matrix into semi-simple and unipotent parts plus a clean-up step, and is demonstrated with examples of increasing complexity involving multiple geometries.
Significance. If the generalization holds rigorously, the work would offer a systematic approach to canonical bases for Feynman integrals involving higher transcendental functions, with potential impact on multi-loop amplitude computations in QFT. The claimed mathematical equivalence to period-matrix splitting provides a possible bridge to algebraic geometry methods, and the use of examples with multiple geometries is a constructive step. However, the absence of a general theorem (as opposed to example-based demonstration) limits the assessed significance at present.
major comments (1)
- [Abstract] Abstract: The assertion that the construction is mathematically equivalent to the splitting of the period matrix into semi-simple and unipotent parts plus a clean-up step is load-bearing for the central claim of a reliable generalization. The abstract states the equivalence but provides no indication of the section, derivation, or proof strategy establishing it in general (rather than for the specific examples of increasing complexity). This leaves open whether ε-factorization and the 1-1 correspondence to Gauss-Manin forms are preserved when multiple geometries interplay without additional assumptions.
minor comments (1)
- The abstract would benefit from a short statement of the specific examples used and the geometries involved, to better orient the reader before the full text.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive feedback on the abstract's presentation of the central claim. We address the major comment point by point below.
read point-by-point responses
-
Referee: [Abstract] Abstract: The assertion that the construction is mathematically equivalent to the splitting of the period matrix into semi-simple and unipotent parts plus a clean-up step is load-bearing for the central claim of a reliable generalization. The abstract states the equivalence but provides no indication of the section, derivation, or proof strategy establishing it in general (rather than for the specific examples of increasing complexity). This leaves open whether ε-factorization and the 1-1 correspondence to Gauss-Manin forms are preserved when multiple geometries interplay without additional assumptions.
Authors: We agree that the abstract would benefit from explicitly indicating the location and nature of the argument for the claimed equivalence. In the manuscript, the mathematical equivalence to the semi-simple/unipotent splitting of the period matrix (plus clean-up) is derived and argued in Section 3, where we show how the generalized leading-singularity condition selects the semi-simple part while the unipotent contributions are isolated and removed. This derivation directly implies the preservation of ε-factorization and the one-to-one correspondence with the new differential forms in the Gauss-Manin connection. Sections 4 and 5 then apply the procedure to cases with multiple interacting geometries, explicitly verifying that the ε-factorized form and the correspondence are maintained. We will revise the abstract to reference Section 3 for the derivation and to clarify that the equivalence is established as a general construction, demonstrated through examples of increasing complexity. We note that the paper presents this as an argued procedure supported by explicit verification rather than a standalone general theorem; a fully rigorous proof for arbitrary geometries would constitute additional mathematical work beyond the scope of the current manuscript. revision: partial
- Providing a rigorous general theorem (as opposed to an argued construction verified by explicit examples) establishing the equivalence and preservation of ε-factorization for arbitrary multiple geometries without further assumptions.
Circularity Check
No circularity: generalization and equivalence presented as independent mathematical argument supported by examples
full rationale
The paper defines a generalized notion of leading singularities in dimensional regularization, shows that unit leading singularities imply ε-factorized differential equations with new transcendentals corresponding to Gauss-Manin forms, and separately argues that this construction is mathematically equivalent to splitting the period matrix into semi-simple and unipotent parts plus a clean-up step. This equivalence is stated as an argument and demonstrated via examples of increasing complexity, without any quoted reduction of the central claim to a fitted parameter, self-definition, or load-bearing self-citation that collapses the result to its inputs by construction. The derivation chain remains self-contained against external benchmarks such as the stated mathematical equivalence and explicit examples.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
N. Arkani-Hamed, J.L. Bourjaily, F. Cachazo and J. Trnka,Local Integrals for Planar Scattering Amplitudes,JHEP06(2012) 125 [1012.6032]
-
[2]
Henn,Multiloop integrals in dimensional regularization made simple,Phys
J.M. Henn,Multiloop integrals in dimensional regularization made simple,Phys. Rev. Lett. 110(2013) 251601 [1304.1806]
-
[3]
Kummer,Über die Transcendenten, welche aus wiederholten Integrationen rationaler Formeln entstehen,J
E.E. Kummer,Über die Transcendenten, welche aus wiederholten Integrationen rationaler Formeln entstehen,J. reine ang. Mathematik21(1840) 74
-
[4]
Goncharov,Geometry of configurations, polylogarithms, and motivic cohomology, Adv
A.B. Goncharov,Geometry of configurations, polylogarithms, and motivic cohomology, Adv. Math.114(1995) 197
1995
-
[5]
E. Remiddi and J.A.M. Vermaseren,Harmonic polylogarithms,Int. J. Mod. Phys.A15 (2000) 725 [hep-ph/9905237]
work page Pith review arXiv 2000
-
[6]
T. Gehrmann and E. Remiddi,Differential equations for two-loop four-point functions,Nucl. Phys. B580(2000) 485 [hep-ph/9912329]
-
[7]
A.B. Goncharov, M. Spradlin, C. Vergu and A. Volovich,Classical Polylogarithms for Amplitudes and Wilson Loops,Phys. Rev. Lett.105(2010) 151605 [1006.5703]
- [8]
-
[9]
C. Duhr,Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes, JHEP08(2012) 043 [1203.0454]
-
[10]
’t Hooft and M.J.G
G. ’t Hooft and M.J.G. Veltman,Regularization and Renormalization of Gauge Fields,Nucl. Phys. B44(1972) 189
1972
-
[11]
Bollini and J.J
C.G. Bollini and J.J. Giambiagi,Dimensional Renormalization: The Number of Dimensions as a Regularizing Parameter,Nuovo Cim. B12(1972) 20. – 44 –
1972
-
[12]
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
1991
-
[13]
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]
-
[14]
Cachazo,Sharpening The Leading Singularity,0803.1988
F. Cachazo,Sharpening The Leading Singularity,0803.1988
- [15]
- [16]
-
[17]
L. Adams and S. Weinzierl,Theε-form of the differential equations for Feynman integrals in the elliptic case,Phys. Lett. B781(2018) 270 [1802.05020]
-
[18]
C. Dlapa, J.M. Henn and F.J. Wagner,An algorithmic approach to finding canonical differential equations for elliptic Feynman integrals,JHEP08(2023) 120 [2211.16357]
-
[19]
L.L. Yang and Y. Zhang,FromdlogtodE: Canonical Elliptic Integrands and Modular Symbol Letters with Pure eMPLs,2512.19370
-
[20]
E. Chaubey and V. Sotnikov,Elliptic Leading Singularities and Canonical Integrands,Phys. Rev. Lett.135(2025) 101903 [2504.20897]
- [21]
- [22]
- [23]
- [24]
- [25]
- [26]
- [27]
- [28]
-
[29]
S. Maggio and Y. Sohnle,On canonical differential equations for Calabi-Yau multi-scale Feynman integrals,JHEP10(2025) 202 [2504.17757]. [30]ε-collaborationcollaboration,The geometric bookkeeping guide to Feynman integral reduction andε-factorised differential equations,2506.09124. – 45 –
-
[30]
New algorithms for Feynman integral reduction and $\varepsilon$-factorised differential equations
I. Bree et al.,New algorithms for Feynman integral reduction andε-factorised differential equations,2511.15381
work page internal anchor Pith review arXiv
-
[31]
H. Frellesvig,On epsilon factorized differential equations for elliptic Feynman integrals, JHEP03(2022) 079 [2110.07968]
-
[32]
H. Frellesvig and S. Weinzierl,Onε-factorised bases and pure Feynman integrals,SciPost Phys.16(2024) 150 [2301.02264]
- [33]
- [34]
-
[35]
R. Marzucca, A.J. McLeod and C. Nega,Two-Loop Master Integrals for Mixed QCD-EW Corrections togg→HThroughO(ϵ 2),2501.14435
-
[36]
M. Becchetti, F. Coro, C. Nega, L. Tancredi and F.J. Wagner,Analytic two-loop amplitudes forq q→γγand gg→γγmediated by a heavy-quark loop,JHEP06(2025) 033 [2502.00118]
-
[37]
M. Becchetti, C. Dlapa and S. Zoia,Canonical differential equations for the elliptic two-loop five-point integral family relevant tot¯t+jet production at leading colour,2503.03603
- [38]
- [39]
- [40]
- [41]
- [42]
- [43]
- [44]
-
[45]
C. Duhr and S. Maggio,Three-loop banana integrals with three equal masses,2511.19245
- [46]
- [47]
- [48]
-
[49]
M. Driesse, G.U. Jakobsen, A. Klemm, G. Mogull, C. Nega, J. Plefka et al.,High-precision black hole scattering with Calabi-Yau manifolds,2411.11846
-
[50]
M. Driesse, G.U. Jakobsen, G. Mogull, C. Nega, J. Plefka, B. Sauer et al.,Conservative Black Hole Scattering at Fifth Post-Minkowskian and Second Self-Force Order,2601.16256
- [51]
-
[52]
J.L. Bourjaily, N. Kalyanapuram, C. Langer, K. Patatoukos and M. Spradlin,Elliptic, Yangian-Invariant “Leading Singularity”,Phys. Rev. Lett.126(2021) 201601 [2012.14438]
-
[53]
J.L. Bourjaily, N. Kalyanapuram, C. Langer and K. Patatoukos,Prescriptive unitarity with elliptic leading singularities,Phys. Rev. D104(2021) 125009 [2102.02210]
- [54]
- [55]
- [56]
-
[57]
P. Mastrolia and S. Mizera,Feynman Integrals and Intersection Theory,JHEP02(2019) 139 [1810.03818]
-
[58]
Mizera,Scattering Amplitudes from Intersection Theory,Phys
S. Mizera,Scattering Amplitudes from Intersection Theory,Phys. Rev. Lett.120(2018) 141602 [1711.00469]
-
[59]
P. Bargiela, H. Frellesvig, R. Marzucca, R. Morales, F. Seefeld, M. Wilhelm et al.,The spectrum of Feynman-integral geometries at two loops,2512.13794
work page internal anchor Pith review arXiv
-
[60]
Griffiths and J
P. Griffiths and J. Harris,Principles of Algebraic Geometry, Wiley (1978)
1978
-
[61]
Vanhove,The physics and the mixed Hodge structure of Feynman integrals,Proc
P. Vanhove,The physics and the mixed Hodge structure of Feynman integrals,Proc. Symp. Pure Math.88(2014) 161 [1401.6438]
-
[62]
K. Bönisch, C. Duhr, F. Fischbach, A. Klemm and C. Nega,Feynman integrals in dimensional regularization and extensions of Calabi-Yau motives,JHEP09(2022) 156 [2108.05310]
-
[63]
Chen,Iterated path integrals,Bull
K.T. Chen,Iterated path integrals,Bull. Amer. Math. Soc.83(1977) 831
1977
-
[64]
J. Broedel, C. Duhr, F. Dulat, B. Penante and L. Tancredi,Elliptic Feynman integrals and pure functions,JHEP01(2019) 023 [1809.10698]
-
[65]
A. Primo and L. Tancredi,On the maximal cut of Feynman integrals and the solution of their differential equations,Nucl. Phys. B916(2017) 94 [1610.08397]
-
[66]
A. Primo and L. Tancredi,Maximal cuts and differential equations for Feynman integrals. An application to the three-loop massive banana graph,Nucl. Phys. B921(2017) 316 [1704.05465]
-
[67]
H. Frellesvig and C.G. Papadopoulos,Cuts of Feynman Integrals in Baikov representation, JHEP04(2017) 083 [1701.07356]
- [68]
-
[69]
J. Broedel, C. Duhr, F. Dulat and L. Tancredi,Elliptic polylogarithms and iterated integrals on elliptic curves. Part I: general formalism,JHEP05(2018) 093 [1712.07089]
-
[70]
Frellesvig,The Loop-by-Loop Baikov Representation – Strategies and Implementation, 2412.01804
H. Frellesvig,The Loop-by-Loop Baikov Representation – Strategies and Implementation, 2412.01804
-
[71]
Studerus,Reduze – Feynman integral reduction in C++,Comput
C. Studerus,Reduze – Feynman integral reduction in C++,Comput. Phys. Commun.181 (2010) 1293 [0912.2546]
-
[72]
A. von Manteuffel and C. Studerus,Top quark pairs at two loops and Reduze 2,PoSLL2012 (2012) 059 [1210.1436]. – 48 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.