This talk reviews Feynman integrals, which are associated to elliptic curves. The talk will give an introduction into the mathematics behind them, covering the topics of elliptic curves, elliptic integrals, modular forms and the moduli space of $n$ marked points on a genus one curve. The latter will be important, as elliptic Feynman integrals can be expressed as iterated integrals on the moduli space ${\mathcal M}_{1,n}$, in same way as Feynman integrals which evaluate to multiple polylogarithms can be expressed as iterated integrals on the moduli space ${\mathcal M}_{0,n}$. With the right language, many methods from the genus zero case carry over to the genus one case. In particular we will see in specific examples that the differential equation for elliptic Feynman integrals can be cast into an $\varepsilon$-form. This allows to systematically obtain a solution order by order in the dimensional regularisation parameter.
In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic curves and modular forms. Feynman integrals, which evaluate to iterated integrals of modular forms go beyond the class of multiple polylogarithms. Nevertheless, we may bring for all examples considered the associated system of differential equations by a non-algebraic transformation to an $\varepsilon$-form, which makes a solution in terms of iterated integrals …
This paper describes algorithms for the exact symbolic computation of period integrals on moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points, and applications to the computation of Feynman integrals.
We report on an implementation within GiNaC to evaluate iterated integrals related to elliptic Feynman integrals numerically to arbitrary precision within the region of convergence of the series expansion of the integrand. The implementation includes iterated integrals of modular forms as well as iterated integrals involving the Kronecker coefficient functions $g^{(k)}(z,τ)$. For the Kronecker coefficient functions iterated integrals in $dτ$ and $dz$ are implemented. This includes elliptic multiple polylogarithms.
In this paper we show that certain Feynman integrals can be expressed as linear combinations of iterated integrals of modular forms to all orders in the dimensional regularisation parameter $\varepsilon$ . We discuss explicitly the equal mass sunrise integral and the kite integral. For both cases we give the alphabet of letters occurring in the iterated integrals. For the sunrise integral we present a compact formula, expressing this integral to all orders in $\varepsilon$ as iterated integrals of modular forms.
We review certain classes of iterated integrals that appear in the computation of Feynman integrals that involve elliptic functions. These functions generalise the well-known class of multiple polylogarithms to elliptic curves and are closely related to the elliptic multiple polylogarithms (eMPLs) studied in the mathematics literature. When evaluated at certain special values of the arguments, eMPLs reduce to another class of special functions, defined as iterated integrals of Eisenstein series. As a novel application of our formalism, we illustrate how a class of special functions introduced …
We introduce a class of iterated integrals, defined through a set of linearly independent integration kernels on elliptic curves. As a direct generalisation of multiple polylogarithms, we construct our set of integration kernels ensuring that they have at most simple poles, implying that the iterated integrals have at most logarithmic singularities. We study the properties of our iterated integrals and their relationship to the multiple elliptic polylogarithms from the mathematics literature. On the one hand, we find that our iterated integrals span essentially the same space of functions as t…
We introduce a class of iterated integrals that generalize multiple polylogarithms to elliptic curves. These elliptic multiple polylogarithms are closely related to similar functions defined in pure math- ematics and string theory. We then focus on the equal-mass and non-equal-mass sunrise integrals, and we develop a formalism that enables us to compute these Feynman integrals in terms of our iterated integrals on elliptic curves. The key idea is to use integration-by-parts identities to identify a set of integral kernels, whose precise form is determined by the branch points of the integral i…
We study a two-loop four-point function with one internal mass. This Feynman integral is one of the simplest Feynman integrals depending on two elliptic curves. We transform the associated differential equation into an $\varepsilon$-form. We study the entries of the differential equation, and in particular the entries which depend on both elliptic curves.
Nested sums containing binomial coefficients occur in the computation of massive operator matrix elements. Their associated iterated integrals lead to alphabets including radicals, for which we determined a suitable basis. We discuss algorithms for converting between sum and integral representations, mainly relying on the Mellin transform. To aid the conversion we worked out dedicated rewrite rules, based on which also some general patterns emerging in the process can be obtained.
We present algorithms to work with iterated Eisenstein integrals that have recently appeared in the computation of multi-loop Feynman integrals. These algorithms allow one to analytically continue these integrals to all regions of the parameter space, and to obtain fast converging series representations in each region. We illustrate our approach on the examples of hypergeometric functions that evaluate to iterated Eisenstein integrals as well as the well-known sunrise graph.
In these proceedings we discuss a representation for modular forms that is more suitable for their application to the calculation of Feynman integrals in the context of iterated integrals and the differential equation method. In particular, we show that for every modular form we can find a representation in terms of powers of complete elliptic integrals of the first kind multiplied by algebraic functions. We illustrate this result on several examples. In particular, we show how to explicitly rewrite elliptic multiple zeta values as iterated integrals over powers of complete elliptic integrals …
In this paper we study the calculation of multiloop Feynman integrals that cannot be expressed in terms of multiple polylogarithms. We show in detail how certain types of two- and three-point functions at two loops, which appear in the calculation of higher order corrections in QED, QCD and in the electroweak theory (EW), can naturally be expressed in terms of a recently introduced elliptic generalisation of multiple polylogarithms by direct integration over their Feynman parameter representation. Moreover, we show that in all examples that we considered a basis of pure Feynman integrals can b…
The $\varepsilon$-form of a system of differential equations for Feynman integrals has led to tremendeous progress in our abilities to compute Feynman integrals, as long as they fall into the class of multiple polylogarithms. It is therefore of current interest, if these methods extend beyond the case of multiple polylogarithms. In this talk I discuss Feynman integrals, which are associated to elliptic curves and their differential equations. I show for non-trivial examples how the system of differential equations can be brought into an $\varepsilon$-form. Single-scale and multi-scale cases ar…
Feynman integrals are easily solved if their system of differential equations is in $\varepsilon$-form. In this letter we show by the explicit example of the kite integral family that an $\varepsilon$-form can even be achieved, if the Feynman integrals do not evaluate to multiple polylogarithms. The $\varepsilon$-form is obtained by a (non-algebraic) change of basis for the master integrals.
In this talk we discuss Feynman integrals which are related to elliptic curves. We show with the help of an explicit example that in the set of master integrals more than one elliptic curve may occur. The technique of maximal cuts is a useful tool to identify the elliptic curves. By a suitable transformation of the master integrals the system of differential equations for our example can be brought into a form linear in $\varepsilon$, where the $\varepsilon^0$-term is strictly lower-triangular. This system is easily solved in terms of iterated integrals.
We investigate the behaviour of elliptic Feynman integrals under modular transformations. This has a practical motivation: Through a suitable modular transformation we can achieve that the nome squared is a small quantity, leading to fast numerical evaluations. Contrary to the case of multiple polylogarithms, where it is sufficient to consider just variable transformations for the numerical evaluations of multiple polylogarithms, it is more natural in the elliptic case to consider a combination of a variable transformation (i.e. a modular transformation) together with a redefinition of the mas…
We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to elliptic polylogarithms and iterated integrals of modular forms. We illustrate how to use our formalism to derive relations among elliptic polylogarithms, in complete analogy with the non-elliptic case. We then analyze the symbol alphabet of elliptic polylogarithms evaluated at rational points, and we observe that it is given by Eisenstein series for a certain …
In this talk we discuss the interplay of two elliptic curves, which occur in different sub-sectors of Feynman integrals. We analyse a particular Feynman integral depending on two elliptic curves and derive an associated differential equation in $\varepsilon$-form. We discuss the mixed entries of the differential equation, which depend on both elliptic curves.
In this paper we develop and demonstrate a method to obtain epsilon factorized differential equations for elliptic Feynman integrals. This method works by choosing an integral basis with the property that the period matrix obtained by integrating the basis over a complete set of integration cycles is diagonal. The method is a generalization of a similar method known to work for polylogarithmic Feynman integrals. We demonstrate the method explicitly for a number of Feynman integral families with an elliptic highest sector.
We propose a variant of elliptic multiple polylogarithms that have at most logarithmic singularities in all variables and satisfy a differential equation without homogeneous term. We investigate several non-trivial elliptic two-loop Feynman integrals with up to three external legs and express them in terms of our functions. We observe that in all cases they evaluate to pure combinations of elliptic multiple polylogarithms of uniform weight. This is the first time that a notion of uniform weight is observed in the context of Feynman integrals that evaluate to elliptic polylogarithms.
We introduce the computer program MPL for computations with homotopy invariant iterated integrals on moduli spaces $\mathcal{M}_{0,n}$ of curves of genus 0 with $n$ ordered marked points. The program is an implementation of the algorithms presented in [13], based on Maple. It includes the symbol map and procedures for the analytic computation of period integrals on $\mathcal{M}_{0,n}.$ It supports the automated computation of a certain class of Feynman integrals.
We present the results for two-loop massive kite master integrals with elliptics in terms of iterated integrals with algebraic kernels. The key ingredients are new integral representations for sunset subgraphs in $d=4-2ε$ and $d=2-2ε$ dimensions together with differential equations for considered kite master integrals in $A+Bε$ form. The obtained results can be easily generalized to all orders in $ε$-expansion and show that the class of functions defined as iterated integrals with algebraic kernels may be large enough for writing down results for a large class of massive Feynman diagrams.
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 …
We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $ρ$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-$N$ space either. The solution of the homogeneous equations is possible in terms of convergent close integer power series as $_2F_1$ Gauß hypergeometric functions at rational argument. In some cases, integrals of this type can be mapped to complete elliptic integrals at rational argument. This class of functions appears to be the next one ari…
An automated treatment of iterated integrals based on letters induced by real-valued quadratic forms and Kummer--Poincaré letters is presented. These quantities emerge in analytic single and multi--scale Feynman diagram calculations. To compactify representations, one wishes to apply general properties of these quantities in computer-algebraic implementations. We provide the reduction to basis representations, expansions, analytic continuation and numerical evaluation of these quantities.
We present a loop-by-loop method for computing the differential equations of Feynman integrals using the recently developed dual form formalism. We give explicit prescriptions for the loop-by-loop fibration of multi-loop dual forms. Then, we test our formalism on a simple, but non-trivial, example: the two-loop three-mass elliptic sunrise family of integrals. We obtain an epsilon-form differential equation within the correct function space in a sequence of relatively simple algebraic steps. In particular, none of these steps relies on the analysis of $q$-series. Then, we discuss interesting pr…
In this talk, we discuss recent progress in the application of generalizations of polylogarithms in the symbolic computation of multi-loop integrals. We briefly review the Maple program MPL which supports a certain approach for the computation of Feynman integrals in terms of multiple polylogarithms. Furthermore we discuss elliptic generalizations of polylogarithms which have shown to be useful in the computation of the massive two-loop sunrise integral.
We summarize recent computations with a class of elliptic generalizations of polylogarithms, arising from the massive sunrise integral. For the case of arbitrary masses we obtain results in two and four space-time dimensions. The iterated integral structure of our functions allows us to furthermore compute the equal mass case to arbitrary order.
The Hopf algebra of undecorated rooted trees has tamed the combinatorics of perturbative contributions, to anomalous dimensions in Yukawa theory and scalar $ϕ^3$ theory, from all nestings and chainings of a primitive self-energy subdivergence. Here we formulate the nonperturbative problems which these resummations approximate. For Yukawa theory, at spacetime dimension $d=4$, we obtain an integrodifferential Dyson-Schwinger equation and solve it parametrically in terms of the complementary error function. For the scalar theory, at $d=6$, the nonperturbative problem is more severe; we transform …
We consider finite iterated generalized harmonic sums weighted by the binomial $\binom{2k}{k}$ in numerators and denominators. A large class of these functions emerges in the calculation of massive Feynman diagrams with local operator insertions starting at 3-loop order in the coupling constant and extends the classes of the nested harmonic, generalized harmonic and cyclotomic sums. The binomially weighted sums are associated by the Mellin transform to iterated integrals over square-root valued alphabets. The values of the sums for $N \rightarrow \infty$ and the iterated integrals at $x=1$ lea…
A survey is given on mathematical structures which emerge in multi-loop Feynman diagrams. These are multiply nested sums, and, associated to them by an inverse Mellin transform, specific iterated integrals. Both classes lead to sets of special numbers. Starting with harmonic sums and polylogarithms we discuss recent extensions of these quantities as cyclotomic, generalized (cyclotomic), and binomially weighted sums, associated iterated integrals and special constants and their relations.
We introduce a method for deriving constraints on the symbol of Feynman integrals from the form of their asymptotic expansions in the neighborhood of Landau loci. In particular, we show that the behavior of these integrals near singular points is directly related to the position in the symbol where one of the letters vanishes or becomes infinite. We illustrate this method on integrals with generic masses, and as a corollary prove the conjectured bound of $\lfloor \frac {D \ell} 2\rfloor$ on the transcendental weight of polylogarithmic $\ell$-loop integrals of this type in integer numbers of di…
We study multivariate Mellin transforms of Laurent polynomials by considering special toric compactifications which make their singular structure apparent. This gives a precise description of their convergence domain, refining results of Nilsson, Passare, Berkesch and Forsgård. We also reformulate the geometric sector decomposition approach of Kaneko and Ueda in terms of these compactifications. Specializing to the case of Feynman integrals in the parametric representation, we construct multiple such compactifications given by certain systems of subgraphs. As particular cases, we recover the s…
This course on Feynman integrals starts from the basics, requiring only knowledge from special relativity and undergraduate mathematics. Topics from quantum field theory and advanced mathematics are introduced as they are needed. The course covers modern developments in the field of Feynman integrals. Topics included in this course are: Representations of Feynman integrals, integration-by-parts, differential equations, intersection theory, multiple polylogarithms, Gelfand-Kapranov-Zelevinsky systems, coactions and symbols, cluster algebras, elliptic Feynman integrals, motives associated to Fey…
We present a method to compute the Laurent expansion of the two-loop sunrise integral with equal non-zero masses to arbitrary order in the dimensional regularisation $\varepsilon$. This is done by introducing a class of functions (generalisations of multiple polylogarithms to include the elliptic case) and by showing that all integrations can be carried out within this class of functions.
We study the algebraic and analytic structure of Feynman integrals by proposing an operation that maps an integral into pairs of integrals obtained from a master integrand and a corresponding master contour. This operation is a coaction. It reduces to the known coaction on multiple polylogarithms, but applies more generally, e.g. to hypergeometric functions. The coaction also applies to generic one-loop Feynman integrals with any configuration of internal and external masses, and in dimensional regularization. In this case, we demonstrate that it can be given a diagrammatic representation pure…
We compute fully analytic results for the three-loop diagrams involving two different massive quark flavours contributing to the $ρ$ parameter in the Standard Model. We find that the results involve exactly the same class of functions that appears in the well-known sunrise and banana graphs, namely elliptic polylogarithms and iterated integrals of modular forms. Using recent developments in the understanding of these functions, we analytically continue all the iterated integrals of modular forms to all regions of the parameter space, and in each region we obtain manifestly real and fast-conver…
We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into mixed Tate pieces and the Hodge structures of families of hyperelliptic, elliptic, or rational curves depending on the space-time dimension. For two-loop graphs with a small number of edges, we give more precise results. In particular, we recover a result of Bloch arXiv:2105.06132 that in the well-known double box example, there is an underlying family of elliptic cur…
We investigate iterated integrals on an elliptic curve, which are a natural genus-one generalization of multiple polylogarithms. These iterated integrals coincide with the multiple elliptic polylogarithms introduced by Brown and Levin when constrained to the real line. At unit argument they reduce to an elliptic analogue of multiple zeta values, whose network of relations we start to explore. A simple and natural application of this framework are one-loop scattering amplitudes in open superstring theory. In particular, elliptic multiple zeta values are a suitable language to express their low …
We study the sunset Feynman integral defined as the scalar two-point self-energy at two-loop order in a two dimensional space-time. We firstly compute the Feynman integral, for arbitrary internal masses, in terms of the regulator of a class in the motivic cohomology of a 1-parameter family of open elliptic curves. Using an Hodge theoretic (B-model) approach, we show that the integral is given by a sum of elliptic dilogarithms evaluated at the divisors determined by the punctures. Secondly we associate to the sunset elliptic curve a local non-compact Calabi-Yau 3-fold, obtained as a limit of el…
We present the analytic computation of all the planar master integrals which contribute to the two-loop scattering amplitudes for Higgs$\to 3$ partons, with full heavy-quark mass dependence. These are relevant for the NNLO corrections to fully inclusive Higgs production and to the NLO corrections to Higgs production in association with a jet, in the full theory. The computation is performed using the differential equations method. Whenever possible, a basis of master integrals that are pure functions of uniform weight is used. The result is expressed in terms of one-fold integrals of polylogar…
