REVIEW 3 major objections 5 minor 35 references
Monodromy of multiloop integrals in $d$ dimensions
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper introduces a numeric-to-exact method that expresses the monodromy of multiloop Feynman integrals as a function of the dimension $d$, finding in every example matrices with entries in $\mathbb{Z}[z,1/z]$, $z=\exp(i\pi d)$.
desk verdict Handy numerical-to-analytic method for monodromy matrices, with a plausible but unproven GL(n,Z[z,1/z]) pattern; worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is the connection-matrix factorization of monodromy in a global normalized Fuchsian form: a rational gauge in which every singular point has non-resonant residue matrix. In this gauge the generator around a singular point $a$ is $C_a^{-1}e^{2\pi i M_a}C_a$, where $C_a$ is a product of connection matrices built from overlapping generalized power series. The method evaluates these connection matrices numerically at a transcendental $d$ (so $z$ is transcendental, e.g. $d=12/\pi$), chooses a basis seeded by an eigenvector with eigenvalue proportional to $z^k$, and lifts the numeric entries to rational functions of $z$ with an integer-relation algorithm (PSLQ). The identity $\rho(\gamma,d)=\rho(\gamma,d+2)$, which follows from compatibility of the differential system with the dimensional recurrence, is what makes $z=\exp(i\pi d)$ the correct variable, and the twisted Riemann bilinear relation $\rho^{\top}(\gamma,-d)B(d)\rho(\gamma,d)=B(d)$ supplies the independent constraint used to check the recovered matrices.
What would settle it
Run the same connection-matrix calculation at a second transcendental dimension, such as $d=5/\pi$, and test whether every entry of the monodromy generators matches the paper's Laurent-polynomial formulas to hundreds of digits; a mismatch at this second point would mean the recognized formulas are not the true monodromy.
Extended reading notes
Core claim
The paper's central claim is that, after a suitable change of basis, the monodromy generators of the multiloop differential systems considered are matrices in $GL(n,\mathbb{Z}[z,1/z])$, $z=\exp(i\pi d)$, with determinant $\pm z^k$. The claim is demonstrated on three explicit families: the two-loop equal-mass sunrise, the three-loop forward box (an elliptic sector), and the three-loop off-shell massless vertex, the last with kinematic variables on $\mathbb{CP}^2$. For each family the paper presents the generators around all singular points and shows they satisfy the bilinear identity $\rho^{\top}(\gamma,-d)\,B(d)\,\rho(\gamma,d)=B(d)$ for a single matrix $B(d)$ independent of the loop, with $\det B(d)$ a constant multiple of a product of cyclotomic polynomials times a power of $z$. An appendix proves that the eigenvalues of the monodromy generators must be proportional to rational powers of $z$ under the assumed periodic structure, which explains why a Laurent-polynomial ansatz in $z$ can succeed.
Load-bearing premise
The central evidence is read off from high-precision numbers at one value of the dimension, $d=12/\pi$, and the paper supplies no proof that the integer-relation search at that single point gives the true functions of $z$ rather than a numerical coincidence.
Editorial extensions
If this is right
- For the three families treated, the exact monodromy matrices become explicit bookkeeping objects: substituting any complex $d$ gives the analytic continuation around a singular point without re-solving the differential system.
- The periodicity $d\mapsto d+2$ is manifest in the Laurent-polynomial form, so resonance phenomena tied to differences of exponents can be read off directly, and at roots of unity where $B(d)$ degenerates the representation becomes reducible.
- The matrix $B(d)$ gives a contour-independent bilinear invariant pairing dimension $d$ with $-d$ for the same monodromy representation, providing a practical check and a link to known quadratic relations among Feynman integrals.
- Because the method works with a generic one-dimensional section of a higher-dimensional kinematic space and uses the corresponding generators of the fundamental group, it extends to multiloop systems in several variables; the $\mathbb{CP}^2$ vertex example demonstrates this.
Reading between the lines
- If the $\mathbb{Z}[z,1/z]$ property is generic rather than an accident of these examples—an extension of the paper's claim—then the analytic-continuation group of Feynman integrals is a subgroup of a fixed finitely generated matrix group, so the spacetime dimension enters only through one root of unity $z$.
- A cheap testable extension is to repeat the connection-matrix computation at a second transcendental dimension, such as $d=5/\pi$ or $d=10/\pi$, and verify that PSLQ-recognized entries coincide with the reported Laurent polynomials; this would either harden or break the heuristic.
- The cyclotomic factors in $\det B(d)$ suggest a general rule: transitions from irreducible to reducible monodromy occur exactly at rational dimensions where an invariant subspace is killed by the kernel of $B(d)$, a criterion that could be used without computing all connection matrices.
- The same integer-recognition strategy could generate explicit monodromy conjectures for Euler-type and $A$-hypergeometric integrals, where known results already exhibit the same $\mathbb{Z}[z,1/z]$ shape.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the monodromy of regular Fuchsian differential systems satisfied by multiloop Feynman integrals in dimensional regularization. It recalls the standard construction of monodromy generators from generalized series solutions and connection matrices, and it derives two structural properties: (i) there exists a basis in which the monodromy is periodic under d -> d+2, and the eigenvalues of the residue matrices are linear in d with rational slope; (ii) the twisted Riemann bilinear relations imply the bilinear constraint rho^T(gamma,-d) B(d) rho(gamma,d) = B(d) for a d-dependent matrix B(d). The new content is a heuristic PSLQ-based method for finding monodromy matrices as functions of d: the authors compute high-precision connection matrices at a single transcendental d, here d = 12/pi, choose a basis from eigenvectors, and recognize the matrix entries as rational functions of z = exp(i pi d). The method is applied to the two-loop equal-mass sunrise, a three-loop forward-box elliptic sector, and a three-loop off-shell massless vertex. In each example the recognized generators are Laurent polynomials in z with integer coefficients, so the monodromy image is a subgroup of GL(n, Z[z,1/z]); a matrix B(d) satisfying the bilinear relation is also found.
Significance. If correct, the Z[z,1/z] structure is a striking and potentially general property of multiloop monodromy, connecting the present examples to known results for hypergeometric functions and to Shimada's Picard-Lefschetz framework. The paper's rigorous contributions are the periodicity statement in Section 4.1 and the eigenvalue theorem in Appendix A; these are clean and useful. The main new observation is explicitly heuristic, but the paper ships Mathematica notebooks and all recognized matrices are explicit, so the central claim is machine-checkable and reproducible. The paper does not prove the Z[z,1/z] assertion, and the numerical evidence for it is concentrated on a single value of d; this is the main factor limiting the current strength of the paper.
major comments (3)
- [Section 5, Step 5; Examples 6.1-6.3] The central assertion that monodromy generators can be chosen in GL(n, Z[z,1/z]) rests on PSLQ recognition of rational functions from high-precision numerical values at the single transcendental point d = 12/pi. No second value of d is used, and no rigorous error bounds are given for the truncation errors of the series or for the PSLQ identification. A finite-precision integer relation can in principle be spurious, and the recognized Laurent polynomials are not certified to be the true analytic functions of d. I request at least one independent check at another generic d, for example d = 5/pi, comparing the directly computed high-precision monodromy generators with the proposed formulas; if the formulas are exact, this check is essentially free and would turn a single-point fit into a nontrivial test.
- [Section 4.2 and Eqs. (6.11), (6.25), (6.32)] The bilinear-relation checks are internal rather than independent. In each example the matrix B(d) is solved from the very equations rho^T(1/z) B(d) rho(z) = B(d) that are then said to be satisfied. This verifies compatibility of the four recognized generators with each other, but it does not tie B(d) to an independently derived intersection form or to the geometry of twisted cycles. The relation (4.8) is a necessary condition, so this check has some content, but the text should state clearly that it is a self-consistency test rather than an independent confirmation of the PSLQ recognition.
- [Section 5, Step 4; Appendix A] The basis construction assumes the existence of a non-degenerate eigenvalue proportional to z^k for one of the monodromy generators, and this is verified only by explicit choice in each example. Appendix A proves a weaker statement: eigenvalues of the residue matrices are of the form c1 d + c0 with rational c1. It does not prove that the corresponding monodromy eigenvalue is non-degenerate and proportional to z^k with integer k, nor that the basis obtained from it remains well-defined for all d. If the Z[z,1/z] observation is intended as a general statement, this gap should be discussed; if it is an example-specific input to the heuristic, the text should say so explicitly.
minor comments (5)
- [Section 7] The conclusion states that the examples 'show' the group is isomorphic to a subgroup of GL(n, Z[z,1/z]); given the heuristic nature of the identification in Section 5, I recommend wording such as 'provide evidence' or 'observe' to avoid overstating the status of the result.
- [Appendix A, Eq. (A.2)] The expansion of lambda(d) at d = infinity is written with a set S of leading powers whose fractional parts are distinct; it would be clearer to state explicitly that these powers are rational numbers, since the argument comparing fractional powers is otherwise implicit.
- [Example 6.3, around Eq. (6.31)] The sentence introducing the six relations says 'they should at least satisfy the six relations', but no proof or reference is given that these are sufficient for the fundamental group of the complement of the reducible curve; please clarify that these are only the relations checked in the example.
- [Section 6.2] The notation fM and fMa is used inconsistently in the text around Eqs. (6.15)-(6.16); please unify the notation for the transformed system.
- [Ancillary files] The Mathematica notebooks are a valuable addition; a short README describing the exact input values, the PSLQ configuration, and the number of series terms used would make the numerical recognition easier to reproduce and audit.
Circularity Check
Central Z[z,1/z] claim is not circular; the only self-referential step is the bilinear check, where B(d) is solved from the very equation it is said to verify.
-
fitted input called prediction
[Section 6.1, Eq. (6.11) and following text; repeated in Section 6.2, Eq. (6.25) and Section 6.3, Eq. (6.32).]
"Then for the blocks fMa we have fM⊺_a(1/z)B(d)fMa(z)=B(d), a=0,1/9,1,∞. (6.11) ... Solving these equations as a linear system for the elements of the matrix B, we find B(d)=..."
The bilinear relation (4.8) is the statement being checked, but in the examples the matrix B(d) is obtained by solving exactly this same linear equation. Therefore any B(d) found this way satisfies (4.8) by construction; the subsequent statement that the monodromy matrices satisfy the relation is a consistency condition imposed at the outset rather than an independent confirmation. The determinant and cyclotomic checks are additional content, but the core verification of (4.8) is tautological. This step is ancillary: the monodromy generators themselves are built from high-precision connection matrices and are not fitted to the Z[z,1/z] property.
full rationale
The main derivation is self-contained. Monodromy generators in each example are computed numerically from generalized series expansions and connection matrices at the single transcendental point d=12/pi (Section 3, Eqs. (3.6)-(3.9); Section 5), then transformed by explicit similarity matrices and recognized as rational functions in z by PSLQ. None of these steps presupposes the claimed Laurent-polynomial structure; the basis construction in Section 5 is an heuristic ansatz, but the final matrices are explicit and checkable, so the central observation is not equivalent to an input. The dimensional-recurrence argument for periodicity (Section 4.1) and the eigenvalue lemma (Appendix A) are independent derivations rather than citations. The paper's self-citations ([17]-[19], [24]-[26]) are computational tools and prior derivations, not load-bearing uniqueness claims that force the conclusion. The main weakness is evidentiary rather than circular: the recognition at one value of d lacks rigorous error bounds and a second-d validation. The only genuinely self-referential element is the bilinear check, where B(d) is solved from the same equations used to verify the relation; because that check is not the central claim, the overall circularity score is low.
Assumptions & free parameters
assumptions (5)
- domain assumption The differential system can be reduced to global normalized Fuchsian form with non-resonant residues at all singular points.
- domain assumption The dimensional recurrence relation J(x,d+2)=L(x,d)J(x,d) with rational L(x,d) admits a compatible fundamental solution F(x,d).
- domain assumption Twisted Riemann bilinear relations (4.6) hold for the relevant irreducible blocks.
- ad hoc to paper PSLQ integer relation recognition of high-precision numerical values yields exact analytic expressions.
- ad hoc to paper A non-degenerate eigenvalue proportional to z^k exists to seed the basis construction.
Cite this review
Pith. "Pith review of Monodromy of multiloop integrals in $d$ dimensions." pith.science (2026). https://pith.science/paper/HJVD4PAX
@misc{pith2026250618452,
author = {Pith},
title = {Pith review of: Monodromy of multiloop integrals in $d$ dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/HJVD4PAX}},
note = {Machine review of arXiv:2506.18452}
}
abstract
We consider the monodromy group of the differential systems for multiloop integrals. We describe a simple heuristic method to obtain the monodromy matrices as functions of space-time dimension $d$. We observe that in a special basis the elements of these matrices are Laurent polynomials in $z=\exp(i\pi d)$ with integer coefficients, i.e., the monodromy group is a subgroup of $GL(n,\mathbb{Z}[z,1/z])$. We derive bilinear relations for monodromies in $d$ and $-d$ dimensions which follow from the twisted Riemann bilinear relations and check that the found monodromy matrices satisfy them.
Reference graph
Works this paper leans on
-
[1]
Pham, Singularit´ es des processus de diffusion multiple, Annales de l’institut Henri Poincar´ e
F. Pham, Singularit´ es des processus de diffusion multiple, Annales de l’institut Henri Poincar´ e. Section A, Physique Th´ eorique6 (1967) 89
work page 1967
-
[2]
T. Regge, Algebraic Topology Methods in the Theory of Feynman Relativistic Amplitudes , in Battelle Rencontres, pp. 433–458, 1968
work page 1968
-
[3]
Speer, Generalized Feynman Amplitudes, no
E.R. Speer, Generalized Feynman Amplitudes, no. 62, Princeton University Press (1969)
work page 1969
-
[4]
G. Ponzano, T. Regge, E. Speer and M. Westwater, The monodromy rings of a class of self-energy graphs, Communications in Mathematical Physics 15 (1969) 83
work page 1969
-
[5]
G. Ponzano, T. Regge, E. Speer and M. Westwater, The monodromy rings of one loop Feynman integrals, Communications in Mathematical Physics 18 (1970) 1
work page 1970
-
[6]
F.V. Tkachov, A theorem on analytical calculability of 4-loop renormalization group functions, Physics Letters B 100 (1981) 65
work page 1981
-
[7]
Chetyrkin and F.V
K.G. Chetyrkin and F.V. Tkachov, Integration by parts: The algorithm to calculate β-functions in 4 loops , Nucl. Phys. B 192 (1981) 159
1981
-
[8]
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]
arXiv 1997
Show all 35 references
-
[9]
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
-
[10]
Golubeva, Some problems in the analytic theory of Feynman integrals , Russian Mathematical Surveys 31 (1976) 139
V.A. Golubeva, Some problems in the analytic theory of Feynman integrals , Russian Mathematical Surveys 31 (1976) 139
1976
-
[11]
Golubeva, On the Regge-Gelfand problem of construction of a Pfaff system of Fuchsian type with a given singular divisor , Journal of Mathematical Sciences 202 (2014) 653
V. Golubeva, On the Regge-Gelfand problem of construction of a Pfaff system of Fuchsian type with a given singular divisor , Journal of Mathematical Sciences 202 (2014) 653
2014
-
[12]
Haraoka, Linear Differential Equations in the Complex Domain: From Classical Theory to Forefront, vol
Y. Haraoka, Linear Differential Equations in the Complex Domain: From Classical Theory to Forefront, vol. 2271 of Lecture Notes in Mathematics , Springer Nature (2020)
2020
-
[13]
Bolibrukh, The Riemann-Hilbert problem, Russian Mathematical Surveys 45 (1990) 1
A.A. Bolibrukh, The Riemann-Hilbert problem, Russian Mathematical Surveys 45 (1990) 1
1990
-
[14]
Plemelj, Riemannian classes of functions with given monodromy group , Monatshefte fur Mathematik und Physik 19 (1908) 211
J. Plemelj, Riemannian classes of functions with given monodromy group , Monatshefte fur Mathematik und Physik 19 (1908) 211. – 17 –
1908
-
[15]
Horn, Zur theorie der systeme linearer differentialgleichungen mit einer unabh¨ angigen ver¨ anderlichen
J. Horn, Zur theorie der systeme linearer differentialgleichungen mit einer unabh¨ angigen ver¨ anderlichen. I, Mathematische Annalen 39 (1891) 391
-
[16]
Moser, The order of a singularity in Fuchs’ theory , Mathematische Zeitschrift 72 (1959) 379
J. Moser, The order of a singularity in Fuchs’ theory , Mathematische Zeitschrift 72 (1959) 379
1959
-
[17]
Lee and A.A
R.N. Lee and A.A. Pomeransky, Normalized Fuchsian form on Riemann sphere and differential equations for multiloop integrals , 1707.07856
-
[18]
Lee, A.V
R.N. Lee, A.V. Smirnov and V.A. Smirnov, Solving differential equations for Feynman integrals by expansions near singular points , JHEP 03 (2018) 008 [ 1709.07525]
2018 arXiv
-
[19]
Lee, Libra: A package for transformation of differential systems for multiloop integrals , Comput
R.N. Lee, Libra: A package for transformation of differential systems for multiloop integrals , Comput. Phys. Commun. 267 (2021) 108058 [ 2012.00279]
2021 arXiv
-
[20]
Shimada, Picard-Lefschetz theory for the universal coverings of complements to affine hypersurfaces, Publications of the Research Institute for Mathematical Sciences 32 (1996) 835
I. Shimada, Picard-Lefschetz theory for the universal coverings of complements to affine hypersurfaces, Publications of the Research Institute for Mathematical Sciences 32 (1996) 835
1996
-
[21]
Cho and K
K. Cho and K. Matsumoto, Intersection theory for twisted cohomologies and twisted Riemann’s period relations I, Nagoya Mathematical Journal 139 (1995) 67
1995
-
[22]
Aomoto and M
K. Aomoto and M. Kita, Theory of Hypergeometric Functions, Springer (2011)
2011
-
[23]
Broadhurst and D.P
D. Broadhurst and D.P. Roberts, Quadratic relations between Feynman integrals, PoS LL2018 (2018) 053
2018
-
[24]
Lee, Symmetric ϵ- and (ϵ + 1/2)-forms and quadratic constraints in ”elliptic” sectors , JHEP 10 (2018) 176 [ 1806.04846]
R.N. Lee, Symmetric ϵ- and (ϵ + 1/2)-forms and quadratic constraints in ”elliptic” sectors , JHEP 10 (2018) 176 [ 1806.04846]
2018 arXiv
-
[25]
Lee and A.A
R.N. Lee and A.A. Pomeransky, Differential equations, recurrence relations, and quadratic constraints for l-loop two-point massive tadpoles and propagators. , Journal of High Energy Physics 2019 (2019) 1
2019
-
[26]
R.N. Lee, Symmetry of differential equations for non-polylogarithmic loop integrals and quadratic relations for their ϵ expansion coefficients, in Elliptics and Beyond , 2020, https://indico.cern.ch/event/927781/contributions/3926270/
2020
-
[27]
C. Duhr, F. Porkert, C. Semper and S.F. Stawinski, Twisted Riemann bilinear relations and Feynman integrals, Journal of High Energy Physics 2025 (2025) 1
2025
-
[28]
Ferguson, D
H. Ferguson, D. Bailey and S. Arno, Analysis of PSLQ, an integer relation finding algorithm , Mathematics of Computation 68 (1999) 351
1999
-
[29]
Mistlberger, Higgs boson production at hadron colliders at N 3LO in QCD , JHEP 05 (2018) 028 [ 1802.00833]
B. Mistlberger, Higgs boson production at hadron colliders at N 3LO in QCD , JHEP 05 (2018) 028 [ 1802.00833]
2018 arXiv
-
[30]
Gelfand, M.M
I.M. Gelfand, M.M. Kapranov and A.V. Zelevinsky, Generalized Euler integrals and A-hypergeometric functions, Advances in Mathematics 84 (1990) 255
1990
-
[31]
Gel’fand, A.V
I.M. Gel’fand, A.V. Zelevinskii and M.M. Kapranov, Hypergeometric functions and toral manifolds, Funktsional’nyi Analiz i ego Prilozheniya 23 (1989) 12
1989
-
[32]
Beukers and G
F. Beukers and G. Heckman, Monodromy for the hypergeometric function nFn−1, Inventiones mathematicae 95 (1989) 325
1989
-
[33]
Goto, The monodromy representation of Lauricella’s hypergeometric function FC, Ann
Y. Goto, The monodromy representation of Lauricella’s hypergeometric function FC, Ann. Sc. Norm. Super. Pisa Cl. Sci.(5) (2016) 1409. – 18 –
2016
-
[34]
Beukers, Monodromy of A-hypergeometric functions, Journal f¨ ur die reine und angewandte Mathematik 2016 (2016) 183
F. Beukers, Monodromy of A-hypergeometric functions, Journal f¨ ur die reine und angewandte Mathematik 2016 (2016) 183
2016
-
[35]
Goto, Lauricella’s FC with finite irreducible monodromy group , Journal of the Mathematical Society of Japan 74 (2022) 151
Y. Goto, Lauricella’s FC with finite irreducible monodromy group , Journal of the Mathematical Society of Japan 74 (2022) 151. – 19 –
2022
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.