Notes on cluster algebras and some all-loop Feynman integrals
Song He, Zhenjie Li, Qinglin Yang
备注：
28 pages, several figures; v2: typos corrected, functions of ladder integrals computed to higher loops; v3: more examples of double-penta-ladder integrals and discussions about their alphabet added
We study cluster algebras for some all-loop Feynman integrals, including box-ladder, penta-box-ladder, and (seven-point) double-penta-ladder integrals. In addition to the well-known box ladder whose symbol alphabet is $D_2\simeq A_1^2$, we show that penta-box ladder has an alphabet of $D_3\simeq A_3$ and provide strong evidence that the alphabet of double-penta ladder can be identified with a $D_4$ cluster algebra. We relate the symbol letters to the ${\bf u}$ variables of cluster configuration space, which provide a gauge-invariant description of the cluster algebra, and we find various sub-algebras associated with limits of the integrals. We comment on constraints similar to extended-Steinmann relations or cluster adjacency conditions on cluster function spaces. Our study of the symbol and alphabet is based on the recently proposed Wilson-loop ${\rm d}\log$ representation, which allows us to predict higher-loop alphabet recursively; by applying such recursions to six-dimensional hexagon integrals, we also find $D_5$ and $D_6$ cluster functions for the two-mass-easy and three-mass-easy case, respectively.
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.
High precision calculations in perturbative QFT often require evaluation of big collection of Feynman integrals. Complexity of this task can be greatly reduced via the usage of linear identities among Feynman integrals. Based on mathematical theory of intersection numbers, recently a new method for derivation of such identities and decomposition of Feynman integrals was introduced and applied to many non-trivial examples. In this note we discuss the latest developments in algorithms for the evaluation of intersection numbers, and their application to the reduction of Feynman integrals.
We embed Feynman integrals in the subvarieties of Grassmannians through homogenization of the integrands in projective space, then obtain GKZ-systems satisfied by those scalar integrals. The Feynman integral can be written as linear combinations of the hypergeometric functions of a fundamental solution system in neighborhoods of regular singularities of the GKZ-system, whose linear combination coefficients are determined by the integral on an ordinary point or some regular singularities. Taking some Feynman diagrams as examples, we elucidate in detail how to obtain the fundamental solution sys…
The Symmetries of Feynman Integrals (SFI) is a method for evaluating Feynman Integrals which exposes a novel continuous group associated with the diagram which depends only on its topology and acts on its parameters. Using this method we study the kite diagram, a two-loop diagram with two external legs, with arbitrary masses and spacetime dimension. Generically, this method reduces a Feynman integral into a line integral over simpler diagrams. We identify a locus in parameter space where the integral further reduces to a mere linear combination of simpler diagrams, thereby maximally generalizi…
It is known that one-loop Feynman integrals possess an algebraic structure encoding some of their analytic properties called the coaction, which can be written in terms of Feynman integrals and their cuts. This diagrammatic coaction, and the coaction on other classes of integrals such as hypergeometric functions, may be expressed using suitable bases of differential forms and integration contours. This provides a useful framework for computing coactions of Feynman integrals expressed using the hypergeometric functions. We will discuss examples where this technique has been used in the calculat…
We define the rigidity of a Feynman integral to be the smallest dimension over which it is non-polylogarithmic. We argue that massless Feynman integrals in four dimensions have a rigidity bounded by 2(L-1) at L loops, and we show that this bound may be saturated for integrals that we call marginal: those with (L+1)D/2 propagators in (even) D dimensions. We show that marginal Feynman integrals in D dimensions generically involve Calabi-Yau geometries, and we give examples of finite four-dimensional Feynman integrals in massless $ϕ^4$ theory that saturate our predicted bound in rigidity at all l…
Multi-loop Feynman integrals are key objects for the high-order correction computations in high energy phenomenology. These integrals with multiple scales, may have complicated symbol structures. We show that the dual conformal symmetry sheds light on the alphabet and symbol structures of multi-loop Feynman integrals. In this paper, first, as a cutting-edge example, we derive the two-loop four-external-mass Feynman integrals with uniform transcendental (UT) weights, based on the latest developments on UT integrals. Then we show that all the symbol letters can be nicely obtained from those of c…
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 propose a strategy to study the analytic structure of Feynman parameter integrals where singularities of the integrand consist of rational irreducible components. At the core of this strategy is the identification of a selected stratum of discontinuities induced from the integral, together with a geometric method for computing their singularities on the principal sheet. For integrals that yield multiple polylogarithms we expect the data collected in this strategy to be sufficient for the construction of their symbols. We motivate this analysis by the Aomoto polylogarithms, and further check…
Feynman integrals that have been evaluated in dimensional regularization can be written in terms of generalized hypergeometric functions. It is well known that properties of these functions are revealed in the framework of intersection theory. We propose a new application of intersection theory to construct a coaction on generalized hypergeometric functions. When applied to dimensionally regularized Feynman integrals, this coaction reproduces the coaction on multiple polylogarithms order by order in the parameter of dimensional regularization.
We propose a new set of Master Integrals which can be used as a basis for certain multiloop calculations in massless gauge field theories. In these theories we consider three-point Feynman diagrams with arbitrary number of loops. The corresponding multiloop integrals may be decomposed in terms of this set of the Master Integrals. We construct a new reduction procedure which we apply to perform this decomposition.
We consider the analytic properties of Feynman integrals from the perspective of general A-discriminants and A-hypergeometric functions introduced by Gelfand,Kapranov and Zelevinsky (GKZ). This enables us, to give a clear and mathematically rigour description of the singular locus, also known as Landau variety, via principal A-determinants. We also comprise a description of the various second type singularities. Moreover, by the Horn-Kapranov-parametrization we give a very efficient way to calculate a parametrization of Landau varieties. We furthermore present a new approach to study the sheet…
Differential equations are a powerful tool to tackle Feynman integrals. In this talk we discuss recent progress, where the method of differential equations has been applied to Feynman integrals which are not expressible in terms of multiple polylogarithms.
Twisted Feynman Integrals: from generating functions to spin-resummed post-Minkowskian dynamics
Walter Burke Institute for Theoretical Physics, California Institute of Technology（加州理工学院沃尔特·伯克理论物理研究所）；Theoretical Physics Department, CERN（欧洲核子研究中心理论物理部）；Max Planck Institute for Gravitational Physics (Albert Einstein Institute)（马克斯·普朗克引力物理研究所（阿尔伯特·爱因斯坦研究所））；Max Planck Institute für Physik, Werner-Heisenberg-Institut（马克斯·普朗克物理研究所维尔纳·海森堡研究所）
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.
We give a pedagogical review of the recently-introduced notion of a "scalar product" between Feynman integrals and how it helps us understand the analytic structure of the perturbative S-matrix. (This article is a contribution to the proceedings of the workshop "MathemAmplitudes 2019: Intersection Theory and Feynman Integrals" held in Padova, Italy on 18-20 December 2019.)
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.
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 lan…
Based on the Baikov representation, we present a systematic approach to compute cuts of Feynman Integrals, appropriately defined in $d$ dimensions. The information provided by these computations may be used to determine the class of functions needed to analytically express the full integrals.
A new approach to compute Feynman Integrals is presented. It relies on an integral representation of a given Feynman Integral in terms of simpler ones. Using this approach, we present, for the first time, results for a certain family of non-planar five-point two-loop Master Integrals with one external off-shell particle, relevant for instance for $H+2$ jets production at the LHC, in both Euclidean and physical kinematical regions.
Canonical Feynman integrals are of great interest in the study of scattering amplitudes at the multi-loop level. We propose to construct $d\log$-form integrals of the hypergeometric type, treat them as a representation of Feynman integrals, and project them into master integrals using intersection theory. This provides a constructive way to build canonical master integrals whose differential equations can be solved easily. We use our method to investigate both the maximally cut integrals and the uncut ones at one and two loops, and demonstrate its applicability in problems with multiple scales…
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 …
Feynman integrals obey linear relations governed by intersection numbers, which act as scalar products between vector spaces. We present a general algorithm for constructing multivariate intersection numbers relevant to Feynman integrals, and show for the first time how they can be used to solve the problem of integral reduction to a basis of master integrals by projections, and to directly derive functional equations fulfilled by the latter. We apply it to the derivation of contiguity relations for special functions admitting multi-fold integral representations, and to the decomposition of a …
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…
By introducing an auxiliary parameter, we find a new representation for Feynman integrals, which defines a Feynman integral by analytical continuation of a series containing only vacuum integrals. The new representation therefore conceptually translates the problem of computing Feynman integrals to the problem of performing analytical continuations. As an application of the new representation, we use it to construct a novel reduction method for multi-loop Feynman integrals, which is expected to be more efficient than known integration-by-parts reduction method. Using the new method, we success…
We report some results of calculations of massless and massive Feynman integrals particularly focusing on difference equations for coefficients of for their series expansions
We present a detailed description of the recent idea for a direct decomposition of Feynman integrals onto a basis of master integrals by projections, as well as a direct derivation of the differential equations satisfied by the master integrals, employing multivariate intersection numbers. We discuss a recursive algorithm for the computation of multivariate intersection numbers and provide three different approaches for a direct decomposition of Feynman integrals, which we dub the straight decomposition, the bottom-up decomposition, and the top-down decomposition. These algorithms exploit the …
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.
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…
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, a…
We describe how a dlog representation of Feynman integrals leads to simple differential equations. We derive these differential equations directly in loop momentum or embedding space making use of a localization trick and generalized unitarity. For the examples we study, the alphabet of the differential equation is related to special points in kinematic space, described by certain cut equations which encode the geometry of the Feynman integral. At one loop, we reproduce the motivic formulae described by Goncharov \cite{Goncharov:1996tate} that reappeared in the context of Feynman parameter int…
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…
In this paper we exploit factorisation properties of Picard-Fuchs operators to decouple differential equations for multi-scale Feynman integrals. The algorithm reduces the differential equations to blocks of the size of the order of the irreducible factors of the Picard-Fuchs operator. As a side product, our method can be used to easily convert the differential equations for Feynman integrals which evaluate to multiple polylogarithms to $\varepsilon$-form.
