-
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.
-
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.
-
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.