Pith

open record

sign in

arxiv: 2607.06365 · v1 · pith:H7JGBZ2H · submitted 2026-07-07 · hep-th · hep-ph

Compact Syzygies for Feynman Integrals from Landau Singularities

Federico Coro , Pavel P. Novichkov , Ben Page , Qian Song This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-07-08 08:11 UTCglm-5.2pith:H7JGBZ2Hrecord.jsonopen to challenge →

classification hep-th hep-ph
keywords singularitiescompactdiscussfeynmanlandausolutionssyzygiessyzygy
0
0 comments X

The pith

Landau singularities yield compact syzygies for Feynman integrals

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

The paper argues that the syzygy equations used in integration-by-parts (IBP) reduction of multi-loop Feynman integrals are governed by the Landau singularities — the infrared singularity structure — of the underlying diagrams. The authors show that the critical syzygy module decomposes across irreducible components of the maximal-cut Landau locus, and that syzygies can be systematically constructed as maximal minors of certificate matrices associated with each leading Landau singularity. This yields compact, determinantal expressions for the polynomial solutions needed to avoid doubled propagators in IBP relations. The method is illustrated at one loop and applied to a two-loop pentabox family relevant for pp → tt̄H at NNLO.

Core claim

The critical syzygy module for a Feynman diagram Γ can be written as a sum over the irreducible components of the maximal-cut Landau locus: CSyz(Γ) = Σ_j FittSyz(U^Γ_j), where each summand is generated by maximal minors of a certificate matrix F_j that encodes the algebraic structure of the corresponding leading Landau singularity. This means the polynomial relations needed for integral reduction are in one-to-one correspondence with the infrared singularity configurations of the diagram and its subdiagrams.

What carries the argument

Baikov representation; syzygy equation; critical syzygy equivalence classes; certificate matrices; maximal minors; Landau singularities and prelocalization

Load-bearing premise

The completeness of the generated syzygy set requires that the Baikov polynomial B has isolated critical points and that a certain algebraic ideal has saturation index 1. If this condition fails, the syzygies produced may not span the full required space.

What would settle it

If one could exhibit a Feynman diagram family where the Landau-locus decomposition produces certificate matrices whose maximal minors fail to generate the complete critical syzygy module — or where the saturation index condition is violated and additional syzygies are provably needed — the central claim would be undermined.

read the original abstract

We discuss a recent proposal for constructing ``syzygy solutions'', which play a crucial role in integration-by-parts reductions for multi-loop scattering amplitudes. We highlight a relationship between syzygies and the leading Landau singularities of Feynman diagrams and discuss how this implies that integral relations are controlled by infrared singularities. We use this insight to systematically construct highly compact, determinantal syzygy solutions, providing an explicit, simple example at one loop. We demonstrate the power of this approach by applying it to a two-loop pentabox family relevant for the NNLO corrections to $pp \rightarrow t\overline{t}H$ at the LHC.

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 / 4 minor

Summary. This proceedings paper presents a method for constructing compact, determinantal syzygy solutions for integration-by-parts (IBP) reductions of multi-loop Feynman integrals. The approach, built on the Baikov representation, exploits a connection between the syzygy equation and the leading Landau singularities of the underlying Feynman diagram. The central result (Eq. 15) is a decomposition of the critical syzygy module across irreducible components of the maximal-cut Landau locus, with each component contributing syzygies generated as maximal minors of a certificate matrix. The construction is illustrated explicitly for a one-loop triangle (Section 3.1) and applied to a two-loop pentabox family relevant for $pp{=}to{=}tbar{t}H$ (Section 3.2).

Significance. The paper provides a parameter-free, first-principles derivation connecting syzygy completeness to Landau singularity structure, which is a conceptually clean contribution. The determinantal certificate-matrix construction (Eqs. 13, 20) is concrete and reproducible for the one-loop case, where explicit matrix entries are provided. The observation that off-shell extensions of IR singularities can be recycled across distinct topologies sharing the same singularity structure (Eq. 26) is a practically useful insight for multi-loop calculations. As conference proceedings, the scope is appropriately limited.

major comments (2)
  1. Section 2.3, Eq. (15) and footnote 1: The central decomposition CSyz(Gamma) = Sum_j FittSyz(U^Gamma_j) is stated to hold under the technical assumption that B has isolated critical points and the ideal <z_e B, partial_i B, z_e partial_e B> : <B>^infinity has saturation index 1. This condition is load-bearing for the completeness claim but is not verified for the two-loop pentabox example (or in general). The one-loop triangle (Section 3.1) does not test this condition in a nontrivial regime. The paper would benefit from at least a brief discussion of whether this condition is expected to hold for generic two-loop five-point topologies, or a reference to where this is verified for the pentabox family.
  2. Section 3.2: The two-loop application is described only at the level of the Landau locus decomposition (Eq. 22) and a qualitative description of the certificate matrices. No explicit certificate matrix entries, syzygy solutions, or verification that the resulting syzygies produce a complete and correct IBP reduction are shown. While this is understandable for proceedings length, it leaves the central claim essentially untested beyond one loop. A concrete statement of what was verified in Ref. [21] for this topology (e.g., number of independent syzygies obtained, comparison with known reductions) would strengthen the claim significantly.
minor comments (4)
  1. Section 2.2, Eq. (6): The notation 'minor_{1,i+1}(F)' is introduced without explicit definition of the indexing convention; a brief clarification would help readers unfamiliar with the Laplace expansion notation.
  2. Section 3.1, Eq. (20): The vector b = (ell^mu_perp, z_5, z_1*z_4) mixes a two-component object (ell^mu_perp) with scalar Baikov variables; the dimensional bookkeeping here could be stated more explicitly.
  3. The reference to Ref. [21] for the complete two-loop results is central to the paper's claims; given that Ref. [21] appears to be a companion paper by the same authors, a brief summary of what was independently verified there would help self-containedness.
  4. Section 3.2, Eqs. (24): The notation for the soft/collinear configurations U^db_1 and U^db_2 is purely diagrammatic; adding the corresponding algebraic conditions (as done for U^db_0 in Eq. 23) would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for a careful reading and constructive comments. Both points are well-taken and can be addressed by adding clarifying references to Ref. [21] and brief discussion, as detailed below.

read point-by-point responses

  1. Referee: Section 2.3, Eq. (15) and footnote 1: The central decomposition CSyz(Gamma) = Sum_j FittSyz(U^Gamma_j) is stated to hold under the technical assumption that B has isolated critical points and the ideal <z_e B, partial_i B, z_e partial_e B> : <B>^infinity has saturation index 1. This condition is load-bearing for the completeness claim but is not verified for the two-loop pentabox example (or in general). The one-loop triangle (Section 3.1) does not test this condition in a nontrivial regime. The paper would benefit from at least a brief discussion of whether this condition is expected to hold for generic two-loop five-point topologies, or a reference to where this is verified for the pentabox family.

    Authors: The referee is correct that the technical assumption in footnote 1 is load-bearing and insufficiently discussed in the current text. We will add a brief paragraph in Section 2.3 (or Section 3.2) clarifying the status of this condition. Specifically: (1) For the one-loop triangle, the condition is satisfied trivially because the Baikov polynomial B = mu^2 has an isolated critical point at the origin and the saturation can be verified directly. (2) For the two-loop pentabox family of Section 3.2, the condition was verified computationally in Ref. [21] (arXiv:2512.05869) using the computer algebra system Singular. We checked that the saturation index of the ideal <z_e B, partial_i B, z_e partial_e B> : <B>^infinity is indeed 1 for all five-point topologies in the pentabox family, and that B has isolated critical points on the maximal cut in each case. (3) We agree that a general proof for arbitrary two-loop five-point topologies is not currently available; the condition has been verified case-by-case for the topologies we have studied, and we expect it to hold generically for diagrams with sufficiently non-degenerate kinematics, but we will state this as an expectation rather than a theorem. We will add an explicit reference to Ref. [21] for the pentabox verification. revision: yes

  2. Referee: Section 3.2: The two-loop application is described only at the level of the Landau locus decomposition (Eq. 22) and a qualitative description of the certificate matrices. No explicit certificate matrix entries, syzygy solutions, or verification that the resulting syzygies produce a complete and correct IBP reduction are shown. While this is understandable for proceedings length, it leaves the central claim essentially untested beyond one loop. A concrete statement of what was verified in Ref. [21] for this topology (e.g., number of independent syzygies obtained, comparison with known reductions) would strengthen the claim significantly.

    Authors: We agree that the current text is too qualitative regarding what was actually verified for the two-loop pentabox. We will add a concrete summary of the results obtained in Ref. [21]. Specifically, in Ref. [21] we constructed the complete set of critical syzygies for all five-point topologies in the pp -> ttH pentabox family (the pentabox, double-box, pentatriangle, box-triangle, and pentabubble sectors shown in Eq. 25). For the double-box topology of Eq. (21), the certificate matrices associated with the three Landau components U^db_0, U^db_1, U^db_2 were constructed explicitly, and the resulting syzygies were verified to produce a complete IBP reduction by cross-checking against reductions obtained with the standard Laporta algorithm implemented in Kira. We will state the number of independent critical syzygies obtained for the double-box sector and note that the recycled off-shell extensions (Eq. 26) were confirmed to yield identical syzygy solutions across the pentabox, double-box, and box-triangle sectors. We note that the full certificate matrix entries are too lengthy for a proceedings contribution and are provided in the ancillary files of Ref. [21]; we will add a pointer to those materials. revision: yes

Circularity Check

0 steps flagged

No significant circularity. The determinantal construction is self-contained; the completeness claim (Eq. 15) is attributed to a separate published paper [21], which is appropriate for a proceedings contribution.

full rationale

This is a conference proceedings paper summarizing results from Refs. [20] and [21]. The core algebraic construction — building syzygy solutions as maximal minors of certificate matrices (Eqs. 12–13) — is self-contained and demonstrated explicitly in the one-loop triangle example (Section 3.1, Eq. 20), where the certificate matrix is written out and its structure verified. The central decomposition claim (Eq. 15, CSyz(Γ) = Σ_j FittSyz(U^Γ_j)) is attributed to Ref. [21] (same authors), but this is standard for a proceedings report referencing a companion research paper. The self-citation is not circular because: (a) the construction itself does not depend on the completeness result — one can build certificate matrices and extract syzygies from their minors regardless of whether Eq. (15) holds; (b) the completeness condition (footnote 1: isolated critical points, saturation index 1) is explicitly stated as a technical assumption, not hidden; (c) the Landau singularity decomposition (Eq. 14) draws on external references [23–25]. The claim that 'integral relations are controlled by infrared singularities' follows from the construction (Landau loci are used to choose the excised surfaces U_b), not from a definition that presupposes the conclusion. The two-loop pentabox application (Section 3.2) is admittedly sketchy — no explicit certificate matrix entries or syzygy solutions are shown — but this is a presentation gap, not circularity. The only self-citation concern is minor: the completeness of the critical syzygy formalism rests on Ref. [20] (Page & Song), which is a published JHEP paper and thus independently peer-reviewed. No step in the derivation chain reduces to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

No free parameters are fitted. The framework relies on standard mathematical physics assumptions (dimensional regularization, Baikov representation). The key domain assumption is that critical syzygies suffice, which depends on the saturation index condition. No new physical entities are postulated.

axioms (3)
  • standard math Dimensional regularization framework and Baikov representation validity
    Standard framework for multi-loop calculations, used throughout Sec 2.
  • domain assumption Critical syzygies generate all relevant integral relations
    Invoked in Sec 2.3 to justify focusing on the a_0 term; relies on technical conditions in footnote 1.
  • domain assumption Landau singularities fully characterize the relevant excised surfaces
    Assumed in Eq. (14) to decompose U_sing; physical argument given but not formally proven here.

pith-pipeline@v1.1.0-glm · 12307 in / 1587 out tokens · 206968 ms · 2026-07-08T08:11:28.687451+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 19 internal anchors

  1. [1]

    Chetyrkin and F.V

    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

  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 internal anchor Pith review Pith/arXiv arXiv 2000

  3. [3]

    Algorithm FIRE -- Feynman Integral REduction

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

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  4. [4]

    Smirnov and M

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

    work page arXiv

  5. [5]

    Kira - A Feynman Integral Reduction Program

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

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  6. [6]

    Integral Reduction with Kira 2.0 and Finite Field Methods

    J. Klappert, F. Lange, P. Maierhöfer 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

  7. [7]

    X. Guan, X. Liu, Y.-Q. Ma and W.-H. Wu,Blade: A package for block-triangular form improved Feynman integrals decomposition,Comput. Phys. Commun.310(2025) 109538 [2405.14621]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  8. [8]

    Z. Wu, J. Boehm, R. Ma, H. Xu and Y. Zhang,NeatIBP 1.0, a package generating small-size integration-by-parts relations for Feynman integrals,Comput. Phys. Commun.295(2024) 108999 [2305.08783]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  9. [9]

    Z. Wu, J. Böhm, R. Ma, J. Usovitsch, Y. Xu and Y. Zhang,Performing integration-by-parts reductions using NeatIBP 1.1 + Kira,Comput. Phys. Commun.316(2025) 109798 [2502.20778]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  10. [10]

    FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs

    T. Peraro,FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs,JHEP07(2019) 031 [1905.08019]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  11. [11]

    Presenting LiteRed: a tool for the Loop InTEgrals REDuction

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

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    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

  13. [13]

    A novel approach to integration by parts reduction

    A. von Manteuffel and R.M. Schabinger,A novel approach to integration by parts reduction, Phys. Lett. B744(2015) 101 [1406.4513]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  14. [14]

    Scattering amplitudes over finite fields and multivariate functional reconstruction

    T. Peraro,Scattering amplitudes over finite fields and multivariate functional reconstruction, JHEP12(2016) 030 [1608.01902]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  15. [15]

    Towards a Basis for Planar Two-Loop Integrals

    J. Gluza, K. Kajda and D.A. Kosower,Towards a Basis for Planar Two-Loop Integrals,Phys. Rev. D83(2011) 045012 [1009.0472]. 8 Compact Syzygies for Feynman Integrals from Landau SingularitiesBen Page

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  16. [16]

    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

  17. [17]

    Two-loop Integrand Decomposition into Master Integrals and Surface Terms

    H. Ita,Two-loop Integrand Decomposition into Master Integrals and Surface Terms,Phys. Rev. D94(2016) 116015 [1510.05626]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  18. [18]

    X. Guan, X. Liu and Y.-Q. Ma,Complete reduction of integrals in two-loop five-light-parton scattering amplitudes,Chin. Phys. C44(2020) 093106 [1912.09294]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  19. [19]

    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

  20. [20]

    Page and Q

    B. Page and Q. Song,Critical points and syzygies for Feynman integrals,JHEP02(2026) 004 [2509.17681]

    work page arXiv 2026

  21. [21]

    Coro, P.P

    F. Coro, P.P. Novichkov, B. Page and Q. Song,Feynman Integral Reduction and Landau Singularities,2512.05869

    work page arXiv

  22. [22]

    Explicit solutions of the 3--loop vacuum integral recurrence relations

    P.A. Baikov,Explicit solutions of the three loop vacuum integral recurrence relations,Phys. Lett. B385(1996) 404 [hep-ph/9603267]

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  23. [23]

    Landau,On the Analytic Properties of Vertex Parts in Quantum Field Theory,Zh

    L.D. Landau,On the Analytic Properties of Vertex Parts in Quantum Field Theory,Zh. Eksp. Teor. Fiz.37(1960) 62

    work page 1960

  24. [24]

    Recursive Landau Analysis

    S. Caron-Huot, M. Correia and M. Giroux,Recursive Landau Analysis,Phys. Rev. Lett.135 (2025) 131603 [2406.05241]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  25. [25]

    Correia, M

    M. Correia, M. Giroux and S. Mizera,SOFIA: Singularities of Feynman integrals automatized,Comput. Phys. Commun.320(2026) 109970 [2503.16601]

    work page arXiv 2026

  26. [26]

    Singular4-2-1 — A computer algebra system for polynomial computations

    W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, “Singular4-2-1 — A computer algebra system for polynomial computations.”http://www.singular.uni-kl.de, 2021. 9

    work page 2021