Recognition: 1 theorem link
· Lean TheoremThe Fate of Ultra-Collinear Modes in On-Shell Massive Sudakov Form Factors
Pith reviewed 2026-05-13 19:00 UTC · model grok-4.3
The pith
Ultra-collinear modes cancel to all orders in on-shell massive Sudakov form factors due to gauge invariance.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the on-shell form factor in QCD the contributions from ultra-collinear modes cancel to all orders as a consequence of gauge invariance, so the leading-power SCET_II factorization formula is unchanged. Using the eta rapidity regulator the soft function and the massive jet function of the quark and gluon Sudakov form factors are computed through two loops and logarithms are resummed at NNLL accuracy including hierarchies of fermion masses. With a gauge-boson mass regulator the infinite tower of modes is truncated and ultra-collinear and ultra-soft modes become manifest and factorize explicitly, providing a direct EFT derivation of the regulated infrared dependence.
What carries the argument
Gauge invariance, which enforces exact cancellation of the infinite tower of ultra-collinear contributions in on-shell QCD kinematics.
If this is right
- The leading-power SCET_II factorization formula for the Sudakov form factor remains valid without ultra-collinear corrections.
- Two-loop results for the soft and massive jet functions allow consistent NNLL resummation of large logarithms with fermion mass hierarchies included.
- The eta regulator hides the ultra-collinear modes through cancellation while the gauge-boson mass regulator renders them explicit and factorized.
- The infrared dependence of the form factor can be derived directly from the effective theory once the regulator truncates the mode tower.
Where Pith is reading between the lines
- Similar cancellations may simplify higher-order calculations in other on-shell QCD processes that involve Sudakov logarithms.
- The regulator dependence shows that infrared mode structure in effective theories can be made manifest or hidden by the choice of regulator.
- Extensions to processes with different kinematics could test whether the gauge-invariance mechanism persists beyond strict on-shell conditions.
Load-bearing premise
The cancellation holds specifically for on-shell kinematics in QCD where gauge invariance applies directly without off-shell effects or extra infrared structures.
What would settle it
An explicit three-loop or higher calculation of the on-shell Sudakov form factor that yields a non-vanishing ultra-collinear contribution would disprove the all-order cancellation.
read the original abstract
Individual multi-loop diagrams for the massive Sudakov form factor contain an infinite tower of ultra-collinear momentum regions. We show that, for the on-shell form factor in QCD, these contributions cancel to all orders as a consequence of gauge invariance, so the leading-power SCET$_{\rm II}$ factorization formula is unchanged. Using the $\eta$ rapidity regulator, we compute the soft function and the massive jet function of the quark and gluon Sudakov form factors through two loops and resum logarithms at NNLL accuracy, including hierarchies of fermion masses. We also show that with a gauge-boson mass regulator, the infinite tower of modes is truncated and ultra-collinear and ultra-soft modes become manifest and factorize explicitly, providing a direct EFT derivation of the regulated infrared dependence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for the on-shell massive Sudakov form factor in QCD, contributions from the infinite tower of ultra-collinear momentum regions in multi-loop diagrams cancel to all orders as a consequence of gauge invariance, leaving the leading-power SCET_II factorization formula unchanged. Using the η rapidity regulator, the authors compute the soft function and massive jet functions for both quark and gluon cases through two loops, perform NNLL resummation including hierarchies of fermion masses, and demonstrate that a gauge-boson mass regulator truncates the tower, making ultra-collinear and ultra-soft modes manifest and explicitly factorizing.
Significance. If the all-order cancellation holds, the result is significant for SCET applications to massive QCD processes, as it confirms that no additional leading-power corrections arise from ultra-collinear modes and validates the standard SCET_II factorization for on-shell kinematics. The two-loop computations with explicit mass hierarchies and the NNLL resummation provide concrete, reproducible results for phenomenology. The gauge-boson mass regulator demonstration offers a direct EFT derivation of regulated infrared dependence, which is a clear strength for higher-order work.
major comments (1)
- [Abstract] Abstract and the section presenting the all-order cancellation: the claim that ultra-collinear contributions cancel to all orders rests on gauge invariance, but the manuscript bridges from finite-order Ward identities to the infinite tower primarily via two-loop verification with the η regulator. An explicit general argument (e.g., inductive use of the Ward identity or reference to a theorem covering the full perturbative series in on-shell kinematics) is needed to secure the central claim against possible residual overlapping or mass-induced structures at higher orders.
minor comments (2)
- The two-loop expressions for the jet and soft functions should be collected in a dedicated appendix or ancillary file to facilitate direct comparison with existing literature and reproduction.
- [Resummation] Clarify in the resummation section how the NNLL logarithms are organized when multiple distinct fermion mass hierarchies are present; a concrete numerical example would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address the single major comment below and will revise the manuscript to incorporate an explicit general argument for the all-order cancellation.
read point-by-point responses
-
Referee: [Abstract] Abstract and the section presenting the all-order cancellation: the claim that ultra-collinear contributions cancel to all orders rests on gauge invariance, but the manuscript bridges from finite-order Ward identities to the infinite tower primarily via two-loop verification with the η regulator. An explicit general argument (e.g., inductive use of the Ward identity or reference to a theorem covering the full perturbative series in on-shell kinematics) is needed to secure the central claim against possible residual overlapping or mass-induced structures at higher orders.
Authors: We agree that an explicit general argument strengthens the central claim. The manuscript establishes the cancellation as a direct consequence of gauge invariance of the on-shell form factor, which must hold order by order. To make this fully rigorous, we will add an inductive argument in the revised section on all-order cancellation: the one-loop case follows immediately from the Ward identity on the external legs. Assuming cancellation through (n-1) loops, the n-loop ultra-collinear regions in individual diagrams are constrained by the same Ward identity (transversality of gluon attachments and current conservation for on-shell quarks/gluons), forcing their sum to vanish in the gauge-invariant amplitude. This inductive step rules out residual overlapping or mass-induced leading-power contributions. We will also cite standard results on region cancellations in gauge-invariant on-shell amplitudes. The two-loop η-regulator computation remains as a non-trivial consistency check. These changes will be implemented in the relevant section and reflected in the abstract. revision: yes
Circularity Check
No significant circularity detected in derivation chain
full rationale
The central claim—that ultra-collinear modes cancel to all orders due to gauge invariance—is presented as following from an external principle (Ward identities applied to on-shell QCD kinematics) rather than being defined by the paper's own fitted parameters or self-referential equations. Two-loop explicit computations with the η regulator serve as consistency checks, not as the source of the all-order result. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the argument are exhibited in the abstract or described structure. The gauge-boson mass regulator comparison provides an independent explicit factorization, keeping the derivation self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Gauge invariance of QCD
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
these contributions cancel to all orders as a consequence of gauge invariance, so the leading-power SCET_II factorization formula is unchanged
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
V.A. Smirnov and E.R. Rakhmetov, The Strategy of regions for asymptotic expansion of two loop vertex Feynman diagrams , Theor. Math. Phys. 120 (1999) 870 [hep-ph/9812529]
-
[2]
Smirnov, Problems of the strategy of regions , Phys
V.A. Smirnov, Problems of the strategy of regions , Phys. Lett. B 465 (1999) 226 [hep-ph/9907471]
-
[3]
Y. Ma, Identifying regions in wide-angle scattering via graph-theoretical approaches , JHEP 09 (2024) 197 [2312.14012]
-
[4]
S. Jaskiewicz, S. Jones, R. Szafron and Y. Ulrich, The structure of quark mass corrections in the gg → HH amplitude at high-energy , 2501.00587
-
[5]
Y. Ma, Identifying regions for asymptotic expansions of amplitudes: Fundamentals and recent advances, Int. J. Mod. Phys. A 40 (2025) 2530013 [2505.01368]
-
[6]
Ma, All-order prescription for facet regions in massless wide-angle scattering , 2601.22144
Y. Ma, All-order prescription for facet regions in massless wide-angle scattering , 2601.22144
-
[7]
T. Becher and K. Melnikov, Two-loop QED corrections to Bhabha scattering , JHEP 06 (2007) 084 [0704.3582]
-
[8]
J. ter Hoeve, E. Laenen, C. Marinissen, L. Vernazza and G. Wang, Region analysis of QED massive fermion form factor , JHEP 02 (2024) 024 [2311.16215]
-
[9]
S. Fleming, A.H. Hoang, S. Mantry and I.W. Stewart, Jets from massive unstable particles: Top-mass determination, Phys. Rev. D 77 (2008) 074010 [hep-ph/0703207]
-
[10]
S. Fleming, A.H. Hoang, S. Mantry and I.W. Stewart, Top Jets in the Peak Region: Factorization Analysis with NLL Resummation , Phys. Rev. D 77 (2008) 114003 [0711.2079]
-
[11]
A.V. Belitsky and V.A. Smirnov, Off-shell form factor: Factorization is violated , Phys. Rev. D 113 (2026) 036022 [2505.22595]
-
[12]
W. Bernreuther, R. Bonciani, T. Gehrmann, R. Heinesch, T. Leineweber, P. Mastrolia et al., Two-loop QCD corrections to the heavy quark form-factors: The Vector contributions , Nucl. Phys. B 706 (2005) 245 [hep-ph/0406046]
- [13]
-
[14]
D. de Florian, M. Der and I. Fabre, QCD⊕QED NNLO corrections to Drell Yan production , Phys. Rev. D 98 (2018) 094008 [1805.12214]
-
[15]
P. Ciafaloni and D. Comelli, Electroweak Sudakov form-factors and nonfactorizable soft QED effects at NLC energies , Phys. Lett. B 476 (2000) 49 [hep-ph/9910278]
-
[16]
J. Blümlein, A. De Freitas, C. Raab and K. Schönwald, The O(α2) initial state QED corrections to e+e− → γ∗/Z∗ 0 , Nucl. Phys. B 956 (2020) 115055 [2003.14289]
-
[17]
A. Denner and S. Pozzorini, One loop leading logarithms in electroweak radiative corrections. 1. Results, Eur. Phys. J. C 18 (2001) 461 [hep-ph/0010201]
- [18]
- [19]
-
[20]
J. Ablinger, A. Behring, J. Blümlein, G. Falcioni, A. De Freitas, P. Marquard et al., Heavy quark form factors at two loops , Phys. Rev. D 97 (2018) 094022 [1712.09889]
- [21]
- [22]
-
[23]
J. Ablinger, J. Blümlein, P. Marquard, N. Rana and C. Schneider, Heavy quark form factors at three loops in the planar limit , Phys. Lett. B 782 (2018) 528 [1804.07313]
-
[24]
J. Blümlein, P. Marquard, N. Rana and C. Schneider, The Heavy Fermion Contributions to the Massive Three Loop Form Factors , Nucl. Phys. B 949 (2019) 114751 [1908.00357]
-
[25]
J. Blümlein, P. Marquard and N. Rana, Asymptotic behavior of the heavy quark form factors at higher order , Phys. Rev. D 99 (2019) 016013 [1810.08943]
- [26]
- [27]
- [28]
-
[29]
J. Blümlein, A. De Freitas, P. Marquard, N. Rana and C. Schneider, Analytic results on the massive three-loop form factors: Quarkonic contributions , Phys. Rev. D 108 (2023) 094003 [2307.02983]
-
[30]
J. Blümlein, A. De Freitas, P. Marquard and C. Schneider, Challenges for analytic calculations of the massive three-loop form factors , PoS LL2024 (2024) 031 [2408.07046]
- [31]
- [32]
-
[33]
T. Gehrmann, J.M. Henn and T. Huber, The three-loop form factor in N=4 super Yang-Mills , JHEP 03 (2012) 101 [1112.4524]
-
[34]
Penin, Two-loop photonic corrections to massive Bhabha scattering , Nucl
A.A. Penin, Two-loop photonic corrections to massive Bhabha scattering , Nucl. Phys. B 734 (2006) 185 [hep-ph/0508127]
-
[35]
A. Mitov and S. Moch, The Singular behavior of massive QCD amplitudes , JHEP 05 (2007) 001 [hep-ph/0612149]
- [36]
- [37]
-
[38]
W.J. Marciano and A. Sirlin, Dimensional Regularization of Infrared Divergences , Nucl. Phys. B 88 (1975) 86
work page 1975
- [39]
- [40]
-
[41]
Renormalization of the Vector Current in QED
J.C. Collins, A.V. Manohar and M.B. Wise, Renormalization of the vector current in QED , Phys. Rev. D 73 (2006) 105019 [hep-th/0512187]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[42]
M. Beneke and T. Feldmann, Factorization of heavy to light form-factors in soft collinear effective theory, Nucl. Phys. B 685 (2004) 249 [hep-ph/0311335]
-
[43]
An effective field theory for collinear and soft gluons: heavy to light decays
C.W. Bauer, S. Fleming, D. Pirjol and I.W. Stewart, An Effective field theory for collinear and soft gluons: Heavy to light decays , Phys. Rev. D 63 (2001) 114020 [hep-ph/0011336]. – 35 –
work page Pith review arXiv 2001
-
[44]
Soft-Collinear Factorization in Effective Field Theory
C.W. Bauer, D. Pirjol and I.W. Stewart, Soft collinear factorization in effective field theory , Phys. Rev. D 65 (2002) 054022 [hep-ph/0109045]
work page Pith review arXiv 2002
- [45]
-
[46]
M. Beneke, A.P. Chapovsky, M. Diehl and T. Feldmann, Soft collinear effective theory and heavy to light currents beyond leading power , Nucl. Phys. B 643 (2002) 431 [hep-ph/0206152]
-
[47]
M. Beneke and T. Feldmann, Multipole expanded soft collinear effective theory with nonAbelian gauge symmetry , Phys. Lett. B 553 (2003) 267 [hep-ph/0211358]
-
[48]
R.J. Hill and M. Neubert, Spectator interactions in soft collinear effective theory , Nucl. Phys. B 657 (2003) 229 [hep-ph/0211018]
-
[49]
D. Bonocore, E. Laenen, L. Magnea, S. Melville, L. Vernazza and C.D. White, A factorization approach to next-to-leading-power threshold logarithms , JHEP 06 (2015) 008 [1503.05156]
- [50]
-
[51]
I. Moult, I.W. Stewart, G. Vita and H.X. Zhu, First Subleading Power Resummation for Event Shapes, JHEP 08 (2018) 013 [1804.04665]
-
[52]
I. Moult, I.W. Stewart and G. Vita, Subleading Power Factorization with Radiative Functions , JHEP 11 (2019) 153 [1905.07411]
- [53]
- [54]
- [55]
- [56]
- [57]
- [58]
- [59]
-
[60]
M. van Beekveld, L. Vernazza and C.D. White, Exponentiation of soft quark effects from the replica trick, JHEP 07 (2024) 109 [2312.11606]
-
[61]
A.K. Leibovich, Z. Ligeti and M.B. Wise, Comment on Quark Masses in SCET , Phys. Lett. B 564 (2003) 231 [hep-ph/0303099]
- [62]
- [63]
- [64]
-
[65]
P. Pietrulewicz, S. Gritschacher, A.H. Hoang, I. Jemos and V. Mateu, Variable Flavor Number Scheme for Final State Jets in Thrust , Phys. Rev. D 90 (2014) 114001 [1405.4860]
- [66]
-
[67]
J.C. Collins and F. Hautmann, Infrared divergences and nonlightlike eikonal lines in Sudakov processes, Phys. Lett. B 472 (2000) 129 [hep-ph/9908467]
-
[68]
T. Becher, R.J. Hill and M. Neubert, Soft collinear messengers: A New mode in soft collinear effective theory, Phys. Rev. D 69 (2004) 054017 [hep-ph/0308122]
- [69]
-
[70]
M. Beneke and V.M. Braun, Heavy quark effective theory beyond perturbation theory: Renormalons, the pole mass and the residual mass term , Nucl. Phys. B 426 (1994) 301 [hep-ph/9402364]
work page Pith review arXiv 1994
- [71]
- [72]
-
[73]
D.R. Yennie, S.C. Frautschi and H. Suura, The infrared divergence phenomena and high-energy processes, Annals Phys. 13 (1961) 379
work page 1961
-
[74]
A.V. Manohar and I.W. Stewart, The Zero-Bin and Mode Factorization in Quantum Field Theory , Phys. Rev. D 76 (2007) 074002 [hep-ph/0605001]
-
[75]
A. Idilbi and T. Mehen, On the equivalence of soft and zero-bin subtractions , Phys. Rev. D 75 (2007) 114017 [hep-ph/0702022]
- [76]
- [77]
-
[78]
Grozin, Matching heavy-quark fields in QCD and HQET at three loops , Phys
A.G. Grozin, Matching heavy-quark fields in QCD and HQET at three loops , Phys. Lett. B 692 (2010) 161 [1004.2662]
- [79]
-
[80]
Sudakov, Vertex Parts at Very High Energies in Quantum Electrodynamics , Sov
V.V. Sudakov, Vertex Parts at Very High Energies in Quantum Electrodynamics , Sov. Phys. JETP 3,4,5,6 (1956) 65
work page 1956
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.