-
Canonicalizing zeta generators: genus zero and genus one
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, togethe…
▽ More
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.
△ Less
Submitted 4 July, 2024; v1 submitted 7 June, 2024;
originally announced June 2024.
-
Non-holomorphic modular forms from zeta generators
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
We study non-holomorphic modular forms built from iterated integrals of holomorphic modular forms for SL$(2,\mathbb Z)$ known as equivariant iterated Eisenstein integrals. A special subclass of them furnishes an equivalent description of the modular graph forms appearing in the low-energy expansion of string amplitudes at genus one. Notably the Fourier expansion of modular graph forms contains sin…
▽ More
We study non-holomorphic modular forms built from iterated integrals of holomorphic modular forms for SL$(2,\mathbb Z)$ known as equivariant iterated Eisenstein integrals. A special subclass of them furnishes an equivalent description of the modular graph forms appearing in the low-energy expansion of string amplitudes at genus one. Notably the Fourier expansion of modular graph forms contains single-valued multiple zeta values. We deduce the appearance of products and higher-depth instances of multiple zeta values in equivariant iterated Eisenstein integrals, and ultimately modular graph forms, from the appearance of simpler odd Riemann zeta values. This analysis relies on so-called zeta generators which act on certain non-commutative variables in the generating series of the iterated integrals. From an extension of these non-commutative variables we incorporate iterated integrals involving holomorphic cusp forms into our setup and use them to construct the modular completion of triple Eisenstein integrals. Our work represents a fully explicit realisation of the modular graph forms within Brown's framework of equivariant iterated Eisenstein integrals and reveals structural analogies between single-valued period functions appearing in genus zero and one string amplitudes.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Motivic coaction and single-valued map of polylogarithms from zeta generators
Authors:
Hadleigh Frost,
Martijn Hidding,
Deepak Kamlesh,
Carlos Rodriguez,
Oliver Schlotterer,
Bram Verbeek
Abstract:
We introduce a new Lie-algebraic approach to explicitly construct the motivic coaction and single-valued map of multiple polylogarithms in any number of variables. In both cases, the appearance of multiple zeta values is controlled by conjugating generating series of polylogarithms with Lie-algebra generators associated with odd zeta values. Our reformulation of earlier constructions of coactions…
▽ More
We introduce a new Lie-algebraic approach to explicitly construct the motivic coaction and single-valued map of multiple polylogarithms in any number of variables. In both cases, the appearance of multiple zeta values is controlled by conjugating generating series of polylogarithms with Lie-algebra generators associated with odd zeta values. Our reformulation of earlier constructions of coactions and single-valued polylogarithms preserves choices of fibration bases, exposes the correlation between multiple zeta values of different depths and paves the way for generalizations beyond genus zero.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Cyclic products of higher-genus Szegö kernels, modular tensors and polylogarithms
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coeffici…
▽ More
A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coefficients in these combinations carry all the dependence on the marked points and are composed of the integration kernels of higher-genus polylogarithms. We determine the antiholomorphic moduli derivatives of the $δ$-dependent modular tensors.
△ Less
Submitted 17 June, 2024; v1 submitted 9 August, 2023;
originally announced August 2023.
-
Constructing polylogarithms on higher-genus Riemann surfaces
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our const…
▽ More
An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our construction thereby produces explicit formulas for polylogarithms as higher-genus modular tensors. This construction generalizes the elliptic polylogarithms of Brown-Levin, and prompts future investigations into the relation with the function spaces of higher-genus polylogarithms in the work of Enriquez-Zerbini.
△ Less
Submitted 21 July, 2023; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Cyclic products of Szegö kernels and spin structure sums I: hyper-elliptic formulation
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin…
▽ More
The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin structure sum. Explicit formulas for an arbitrary number of vertex points are obtained in two steps. First, we show that the spin structure dependence of a cyclic product of Szegö kernels (i.e. Dirac propagators for worldsheet fermions) may be reduced to the spin structure dependence of the four-point function. Of particular importance are certain trilinear relations that we shall define and prove. In a second step, the known expressions for the genus-two even spin structure measure are used to perform the remaining spin structure sums. The dependence of the spin summand on the vertex points is reduced to simple building blocks that can already be identified from the two-point function. The hyper-elliptic formulation of genus-two Riemann surfaces is used to derive these results, and its $SL(2,\mathbb C)$ covariance is employed to organize the calculations and the structure of the final formulas. The translation of these results into the language of Riemann $\vartheta$-functions, and applications to the evaluation of higher-point string amplitudes, are relegated to subsequent companion papers.
△ Less
Submitted 9 May, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Modular graph forms from equivariant iterated Eisenstein integrals
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Nils Matthes,
Oliver Schlotterer,
Bram Verbeek
Abstract:
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this wor…
▽ More
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this work, we provide the first validations beyond depth one of Brown's conjecture that equivariant iterated Eisenstein integrals contain modular graph forms. Apart from a variety of examples at depth two and three, we spell out the systematics of the dictionary and make certain elements of Brown's construction fully explicit to all orders.
△ Less
Submitted 21 December, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Elliptic modular graph forms II: Iterated integrals
Authors:
Martijn Hidding,
Oliver Schlotterer,
Bram Verbeek
Abstract:
Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $τ$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated in…
▽ More
Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $τ$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated integrals over modular parameters $τ$ of the torus with particular focus on cases with one marked point. Such iterated-integral representations manifest algebraic and differential relations among eMGFs and their degeneration limit $τ\rightarrow i\infty$. From a mathematical point of view, our results yield concrete realizations of single-valued elliptic polylogarithms at arbitrary depth in terms of meromorphic iterated integrals over modular forms and their complex conjugates. The basis dimensions of eMGFs at fixed modular and transcendental weights are derived from a simple counting of iterated integrals and a generalization of Tsunogai's derivation algebra.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Feynman parameter integration through differential equations
Authors:
Martijn Hidding,
Johann Usovitsch
Abstract:
We present a new method for numerically computing generic multi-loop Feynman integrals. The method relies on an iterative application of Feynman's trick for combining two propagators. Each application of Feynman's trick introduces a simplified Feynman integral topology which depends on a Feynman parameter that should be integrated over. For each integral family, we set up a system of differential…
▽ More
We present a new method for numerically computing generic multi-loop Feynman integrals. The method relies on an iterative application of Feynman's trick for combining two propagators. Each application of Feynman's trick introduces a simplified Feynman integral topology which depends on a Feynman parameter that should be integrated over. For each integral family, we set up a system of differential equations which we solve in terms of a piecewise collection of generalized series expansions in the Feynman parameter. These generalized series expansions can be efficiently integrated term by term, and segment by segment. This approach leads to a fully algorithmic method for computing Feynman integrals from differential equations, which does not require the manual determination of boundary conditions. Furthermore, the most complicated topology that appears in the method often has less master integrals than the original one. We illustrate the strength of our method with a five-point two-loop integral family.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Next-to-leading-order QCD Corrections to Higgs Production in association with a Jet
Authors:
R. Bonciani,
V. Del Duca,
H. Frellesvig,
M. Hidding,
V. Hirschi,
F. Moriello,
G. Salvatori,
G. Somogyi,
F. Tramontano
Abstract:
We compute the next-to-leading-order (NLO) QCD corrections to the Higgs pT distribution in Higgs production in association with a jet via gluon fusion at the LHC, with exact dependence on the mass of the quark circulating in the heavy-quark loops. The NLO corrections are presented including the top-quark mass, and for the first time, the bottom-quark mass as well. Further, besides the on-shell mas…
▽ More
We compute the next-to-leading-order (NLO) QCD corrections to the Higgs pT distribution in Higgs production in association with a jet via gluon fusion at the LHC, with exact dependence on the mass of the quark circulating in the heavy-quark loops. The NLO corrections are presented including the top-quark mass, and for the first time, the bottom-quark mass as well. Further, besides the on-shell mass scheme, we consider for the first time a running mass renormalisation scheme. The computation is based on amplitudes which are valid for arbitrary heavy-quark masses.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Functions Beyond Multiple Polylogarithms for Precision Collider Physics
Authors:
Jacob L. Bourjaily,
Johannes Broedel,
Ekta Chaubey,
Claude Duhr,
Hjalte Frellesvig,
Martijn Hidding,
Robin Marzucca,
Andrew J. McLeod,
Marcus Spradlin,
Lorenzo Tancredi,
Cristian Vergu,
Matthias Volk,
Anastasia Volovich,
Matt von Hippel,
Stefan Weinzierl,
Matthias Wilhelm,
Chi Zhang
Abstract:
Feynman diagrams constitute one of the essential ingredients for making precision predictions for collider experiments. Yet, while the simplest Feynman diagrams can be evaluated in terms of multiple polylogarithms -- whose properties as special functions are well understood -- more complex diagrams often involve integrals over complicated algebraic manifolds. Such diagrams already contribute at NN…
▽ More
Feynman diagrams constitute one of the essential ingredients for making precision predictions for collider experiments. Yet, while the simplest Feynman diagrams can be evaluated in terms of multiple polylogarithms -- whose properties as special functions are well understood -- more complex diagrams often involve integrals over complicated algebraic manifolds. Such diagrams already contribute at NNLO to the self-energy of the electron, $t \bar{t}$ production, $γγ$ production, and Higgs decay, and appear at two loops in the planar limit of maximally supersymmetric Yang-Mills theory. This makes the study of these more complicated types of integrals of phenomenological as well as conceptual importance.
In this white paper contribution to the Snowmass community planning exercise, we provide an overview of the state of research on Feynman diagrams that involve special functions beyond multiple polylogarithms, and highlight a number of research directions that constitute essential avenues for future investigation.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Evaluation of multi-loop multi-scale Feynman integrals for precision physics
Authors:
Ievgen Dubovyk,
Ayres Freitas,
Janusz Gluza,
Krzysztof Grzanka,
Martijn Hidding,
Johann Usovitsch
Abstract:
Modern particle physics is increasingly becoming a precision science that relies on advanced theoretical predictions for the analysis and interpretation of experimental results. The planned physics program at the LHC and future colliders will require three-loop electroweak and mixed electroweak-QCD corrections to single-particle production and decay processes and two-loop electroweak corrections t…
▽ More
Modern particle physics is increasingly becoming a precision science that relies on advanced theoretical predictions for the analysis and interpretation of experimental results. The planned physics program at the LHC and future colliders will require three-loop electroweak and mixed electroweak-QCD corrections to single-particle production and decay processes and two-loop electroweak corrections to pair production processes, all of which are beyond the reach of existing analytical and numerical techniques in their current form. This article presents a new semi-numerical approach based on differential equations with boundary terms specified at Euclidean kinematic points. These Euclidean boundary terms can be computed numerically with high accuracy using sector decomposition or other numerical methods. They are then mapped to the physical kinematic configuration with a series solution of the differential equation system. The method is able to deliver 8 or more digits precision, and it has a built-in mechanism for checking the accuracy of the obtained results. Its efficacy is illustrated with examples for three-loop self-energy and vertex integrals and two-loop box integrals.
△ Less
Submitted 26 January, 2022; v1 submitted 7 January, 2022;
originally announced January 2022.
-
DiffExp, a Mathematica package for computing Feynman integrals in terms of one-dimensional series expansions
Authors:
Martijn Hidding
Abstract:
DiffExp is a Mathematica package for integrating families of Feynman integrals order-by-order in the dimensional regulator from their systems of differential equations, in terms of one-dimensional series expansions along lines in phase-space, which are truncated at a given order in the line parameter. DiffExp is based on the series expansion strategies that were explored in recent literature for t…
▽ More
DiffExp is a Mathematica package for integrating families of Feynman integrals order-by-order in the dimensional regulator from their systems of differential equations, in terms of one-dimensional series expansions along lines in phase-space, which are truncated at a given order in the line parameter. DiffExp is based on the series expansion strategies that were explored in recent literature for the computation of families of Feynman integrals relevant for Higgs plus jet production with full heavy quark mass dependence at next-to-leading order. The main contribution of this paper, and its associated package, is to provide a public implementation of these series expansion methods, which works for any family of integrals for which the user provides a set of differential equations and boundary conditions (and for which the program is not computationally constrained.) The main functions of the DiffExp package are discussed, and its use is illustrated by applying it to the three loop equal-mass and unequal-mass banana graph families.
△ Less
Submitted 29 November, 2020; v1 submitted 9 June, 2020;
originally announced June 2020.
-
The complete set of two-loop master integrals for Higgs + jet production in QCD
Authors:
Hjalte Frellesvig,
Martijn Hidding,
Leila Maestri,
Francesco Moriello,
Giulio Salvatori
Abstract:
In this paper we complete the computation of the two-loop master integrals relevant for Higgs plus one jet production initiated in arXiv:1609.06685, arXiv:1907.13156, arXiv:1907.13234. We compute the integrals by defining differential equations along contours in the kinematic space, and by solving them in terms of one-dimensional generalized power series. This method allows for the efficient evalu…
▽ More
In this paper we complete the computation of the two-loop master integrals relevant for Higgs plus one jet production initiated in arXiv:1609.06685, arXiv:1907.13156, arXiv:1907.13234. We compute the integrals by defining differential equations along contours in the kinematic space, and by solving them in terms of one-dimensional generalized power series. This method allows for the efficient evaluation of the integrals in all kinematic regions, with high numerical precision. We show the generality of our approach by considering both the top- and the bottom-quark contributions. This work along with arXiv:1609.06685, arXiv:1907.13156, arXiv:1907.13234 provides the full set of master integrals relevant for the NLO corrections to Higgs plus one jet production, and for the real-virtual contributions to the NNLO corrections to inclusive Higgs production in QCD in the full theory.
△ Less
Submitted 26 June, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Evaluating two-loop non-planar master integrals for Higgs + jet production with full heavy-quark mass dependence
Authors:
R. Bonciani,
V. Del Duca,
H. Frellesvig,
J. M. Henn,
M. Hidding,
L. Maestri,
F. Moriello,
G. Salvatori,
V. A. Smirnov
Abstract:
We present the analytic computation of a family of non-planar master integrals which contribute to the two-loop scattering amplitudes for Higgs plus one jet production, with full heavy-quark mass dependence. These are relevant for the NNLO corrections to inclusive Higgs production and for the NLO corrections to Higgs production in association with a jet, in QCD. The computation of the integrals is…
▽ More
We present the analytic computation of a family of non-planar master integrals which contribute to the two-loop scattering amplitudes for Higgs plus one jet production, with full heavy-quark mass dependence. These are relevant for the NNLO corrections to inclusive Higgs production and for the NLO corrections to Higgs production in association with a jet, in QCD. The computation of the integrals is performed with the method of differential equations. We provide a choice of basis for the polylogarithmic sectors, that puts the system of differential equations in canonical form. Solutions up to weight 2 are provided in terms of logarithms and dilogarithms, and 1-fold integral solutions are provided at weight 3 and 4. There are two elliptic sectors in the family, which are computed by solving their associated set of differential equations in terms of generalized power series. The resulting series may be truncated to obtain numerical results with high precision. The series solution renders the analytic continuation to the physical region straightforward. Moreover, we show how the series expansion method can be used to obtain accurate numerical results for all the master integrals of the family in all kinematic regions.
△ Less
Submitted 31 January, 2020; v1 submitted 30 July, 2019;
originally announced July 2019.
-
All orders structure and efficient computation of linearly reducible elliptic Feynman integrals
Authors:
Martijn Hidding,
Francesco Moriello
Abstract:
We define linearly reducible elliptic Feynman integrals, and we show that they can be algorithmically solved up to arbitrary order of the dimensional regulator in terms of a 1-dimensional integral over a polylogarithmic integrand, which we call the inner polylogarithmic part (IPP). The solution is obtained by direct integration of the Feynman parametric representation. When the IPP depends on one…
▽ More
We define linearly reducible elliptic Feynman integrals, and we show that they can be algorithmically solved up to arbitrary order of the dimensional regulator in terms of a 1-dimensional integral over a polylogarithmic integrand, which we call the inner polylogarithmic part (IPP). The solution is obtained by direct integration of the Feynman parametric representation. When the IPP depends on one elliptic curve (and no other algebraic functions), this class of Feynman integrals can be algorithmically solved in terms of elliptic multiple polylogarithms (eMPLs) by using integration by parts identities. We then elaborate on the differential equations method. Specifically, we show that the IPP can be mapped to a generalized integral topology satisfying a set of differential equations in $ε$-form. In the examples we consider the canonical differential equations can be directly solved in terms of eMPLs up to arbitrary order of the dimensional regulator. The remaining 1-dimensional integral may be performed to express such integrals completely in terms of eMPLs. We apply these methods to solve two- and three-points integrals in terms of eMPLs. We analytically continue these integrals to the physical region by using their 1-dimensional integral representation.
△ Less
Submitted 15 January, 2019; v1 submitted 12 December, 2017;
originally announced December 2017.