Integer relation algorithms can convert numerical results for Feynman integrals to exact evaluations, when one has reason to suspect the existence of reductions to linear combinations of a basis, with rational or algebraic coefficients. Once a tentative reduction is obtained, confidence in its validity is greatly increased by computing more decimal digits of the terms and verifying the stability of the result. Here we give examples of how the PSLQ and LLL algorithms have yielded remarkable reductions of Feynman integrals to multiple polylogarithms and to the periods and quasi-periods of modular forms. Moreover, these algorithms have revealed quadratic relations between Feynman integrals. A recent application concerning black holes involves quadratic relations between combinations of Feynman integrals with algebraic coefficients.
The Gauss hypergeometric functions 2F1 with arbitrary values of parameters are reduced to two functions with fixed values of parameters, which differ from the original ones by integers. It is shown that in the case of integer and/or half-integer values of parameters there are only three types of algebraically independent Gauss hypergeometric functions. The epsilon-expansion of functions of one of this type (type F in our classification) demands the introduction of new functions related to generalizations of elliptic functions. For the five other types of functions the higher-order epsilon-expa…
We present a systematic method to derive an ordinary differential equation for any Feynman integral, where the differentiation is with respect to an external variable. The resulting differential equation is of Fuchsian type. The method can be used within fixed integer space-time dimensions as well as within dimensional regularisation. We show that finding the differential equation is equivalent to solving a linear system of equations. We observe interesting factorisation properties of the D-dimensional Picard-Fuchs operator when D is specialised to integer dimensions.
The Mathematica toolkit AMBRE derives Mellin-Barnes (MB) representations for Feynman integrals in d=4-2eps dimensions. It may be applied for tadpoles as well as for multi-leg multi-loop scalar and tensor integrals. AMBRE uses a loop-by-loop approach and aims at lowest dimensions of the final MB representations. The present version of AMBRE works fine for planar Feynman diagrams. The output may be further processed by the package MB for the determination of its singularity structure in eps. The AMBRE package contains various sample applications for Feynman integrals with up to six external part…
We discuss the program EXP used to automate the successive application of asymptotic expansions to Feynman diagrams. We focus on the generation of the relevant subgraphs and the determination of the topologies for the remaining integrals. Both tasks can be solved by using backtracking-type recursive algorithms. In addition, an application of EXP is presented, where the integrals were calculated using the FORM packages MINCER and MATAD.
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 study the problem of solving integration-by-parts recurrence relations for a given class of Feynman integrals which is characterized by an arbitrary polynomial in the numerator and arbitrary integer powers of propagators, {\it i.e.}, the problem of expressing any Feynman integral from this class as a linear combination of master integrals. We show how the parametric representation invented by Baikov can be used to characterize the master integrals and to construct an algorithm for evaluating the corresponding coefficient functions. To illustrate this procedure we use simple one-loop example…
A new class of identities for Feynman graph amplitudes, dubbed Schouten identities, valid at fixed integer value of the dimension d is proposed. The identities are then used in the case of the two loop sunrise graph with arbitrary masses for recovering the second order differential equation for the scalar amplitude in d=2 dimensions, as well as a chained sets of equations for all the coefficients of the expansions in (d-2). The shift from $d\approx2$ to $d\approx4$ dimensions is then discussed.
We determine closed and compact expressions for the epsilon-expansion of certain Gaussian hypergeometric functions expanded around half-integer values by explicitly solving for their recurrence relations. This epsilon-expansion is identified with the normalized solution of the underlying Fuchs system of four regular singular points. We compute its regularized zeta series (giving rise to two independent associators) whose ratio gives the epsilon-expansion at a specific value. Furthermore, we use the well known one-loop massive bubble integral as an example to demonstrate how to obtain all-order…
In this article, we describe a new algorithm for the expansion of hypergeometric functions about half-integer parameters. The implementation of this algorithm for certain classes of hypergeometric functions in the already existing Mathematica package HypExp is described. Examples of applications in Feynman diagrams with up to four loops are given.
We show that the problem of solving recurrence relations for L-loop (R+1)-point Feynman integrals within the method of integration by parts is equivalent to the corresponding problem for (L+R)-loop vacuum or (L+R-1)-loop propagator-type integrals. Using this property we solve recurrence relations for two-loop massless vertex diagrams, with arbitrary numerators and integer powers of propagators in the case when two legs are on the light cone, by reducing the problem to the well-known solution of the corresponding recurrence relations for massless three-loop propagator diagrams with specific bou…
We show that the Lee-Pomeransky parametric representation of Feynman integrals can be understood as a solution of a certain Gel'fand-Kapranov-Zelevinsky (GKZ) system. In order to define such GKZ system, we consider the polynomial obtained from the Symanzik polynomials $g=\mathcal{U}+\mathcal{F}$ as having indeterminate coefficients. Noncompact integration cycles can be determined from the coamoeba---the argument mapping---of the algebraic variety associated with $g$. In general, we add a deformation to $g$ in order to define integrals of generic graphs as linear combinations of their canonical…
We present a new algorithm for the reduction of one-loop \emph{tensor} Feynman integrals with $n\leq 4$ external legs to \emph{scalar} Feynman integrals $I_n^D$ with $n=3,4$ legs in $D$ dimensions, where $D=d+2l$ with integer $l \geq 0$ and generic dimension $d=4-2ε$, thus avoiding the appearance of inverse Gram determinants $()_4$. As long as $()_4\neq 0$, the integrals $I_{3,4}^D$ with $D>d$ may be further expressed by the usual dimensionally regularized scalar functions $I_{2,3,4}^d$. The integrals $I_{4}^D$ are known at $()_4 \equiv 0$, so that we may extend the numerics to small, non-vani…
The differential-reduction algorithm, which allows one to express generalized hypergeometric functions with parameters of arbitrary values in terms of such functions with parameters whose values differ from the original ones by integers, is discussed in the context of evaluating Feynman diagrams. Where this is possible, we compare our results with those obtained using standard techniques. It is shown that the criterion of reducibility of multiloop Feynman integrals can be reformulated in terms of the criterion of reducibility of hypergeometric functions. The relation between the numbers of mas…
We elaborate on the expansion of hypergeometric functions about rational parameters, where we focus mainly on the integer and half-integer case. The strategy and the basic steps of a recently developed algorithm for the expansion about half-integer parameters are described. The algorithm is implemented in the Mathematica package HypExp, by means of which we derive (partially new) results of selected multi-loop Feynman diagrams. Moreover, we give a new formulation of a conjecture in the context of a three-loop master integral in HQET.
Integration by parts identities (IBPs) can be used to express large numbers of apparently different d-dimensional Feynman Integrals in terms of a small subset of so-called master integrals (MIs). Using the IBPs one can moreover show that the MIs fulfil linear systems of coupled differential equations in the external invariants. With the increase in number of loops and external legs, one is left in general with an increasing number of MIs and consequently also with an increasing number of coupled differential equations, which can turn out to be very difficult to solve. In this paper we show how…
Intersection matrices associated to geometric-ordered bases of Feynman integrals
Johannes Gutenberg-Universität Mainz（约翰内斯·古腾堡美因茨大学）；Universität Bonn（波恩大学）；University of Zurich（苏黎世大学）；The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））；Xiamen University（厦门大学）
We present a determination of a new class of Feynman diagrams relevant for second-order QCD corrections to the top quark decay t -> b W. Modern computing techniques allow us to perform a reduction of the original loop integrals to master integrals. We obtain the analytical value of the top decay rate as an expansion around the limit of massless b and W.
We continue our study of the construction of analytical coefficients of the epsilon-expansion of hypergeometric functions and their connection with Feynman diagrams. In this paper, we apply the approach of obtaining iteratated solutions to the differential equations associated with hypergeometric functions to prove the following result (Theorem 1): The epsilon-expansion of a generalized hypergeometric function with integer values of parameters is expressible in terms of generalized polylogarithms with coefficients that are ratios of polynomials. The method used in this proof provides an effici…
We continue the study of the construction of analytical coefficients of the epsilon-expansion of hypergeometric functions and their connection with Feynman diagrams. In this paper, we show the following results: Theorem A: The multiple (inverse) binomial sums of arbitrary weight and depth (see Eq. (1.1)) are expressible in terms of Remiddi-Vermaseren functions. Theorem B: The epsilon expansion of a hypergeometric function with one half-integer value of parameter (see Eq. (1.2)) is expressible in terms of the harmonic polylogarithms of Remiddi and Vermaseren with coefficients that are ratios of…
We discuss the determination of the infrared singularities of massive one-loop 5-point functions with Mellin-Barnes (MB) representations. Massless internal lines may lead to poles in the $\eps$ expansion of the Feynman diagram, while unresolved massless final state particles give endpoint singularities of the phase space integrals. MB integrals are an elegant tool for their common treatment. An evaluation by taking residues leads to inverse binomial sums.
The diagrammatic coaction underpins the analytic structure of Feynman integrals, their cuts and the differential equations they admit. The coaction maps any diagram into a tensor product of its pinches and cuts. These correspond respectively to differential forms defining master integrals, and integration contours which place a subset of the propagators on shell. In a canonical basis these forms and contours are dual to each other. In this talk I review our present understanding of this algebraic structure and its manifestation for dimensionally-regularized Feynman integrals that are expandabl…
We present the Feynman integral reduction program Kira 1.2 and describe its new features and other changes w.r.t. the previous versions. The main new features include a much faster equation generator, more flexible seed specification options, several predefined integral orderings, the reduction of systems of user-provided equations and a new technique to simplify coefficients by sampling variables over integers. Furthermore, we provide a collection of recommendations on how to use the program efficiently. This version has overall improvements in runtime for all reduction tasks compared to the …
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…
One of the main challenges in obtaining predictions for collider experiments from perturbative quantum field theory, is the direct evaluation of the Feynman integrals it gives rise to. In this chapter, we review an alternative bootstrap method that instead efficiently constructs physical quantities by exploiting their analytic structure. We present in detail the setting where this method has been originally developed, six- and seven-particle amplitudes in the large-color limit of $\mathcal{N}=4$ super Yang-Mills theory. We discuss the class of functions these amplitudes belong to, and the stro…
Hypergeometric functions provide a useful representation of Feynman diagrams occuring in precision phenomenology. In dimension regularization, the epsilon-expansion of these functions about d=4 is required. We discuss the current status of differential reduction algorithms. As an illustration, we consider the construction of the all-order epsilon-expansion of the Appell hypergeometric function about integer values of the parameters and present an explicit evaluations of the first few terms.
