The computational technique of $N$-fold Mellin-Barnes (MB) integrals, presented in a companion paper by the same authors, is used to derive sets of series representations of the massive one-loop conformal 3-point Feynman integral in various configurations. This shows the great simplicity and efficiency of the method in nonresonant cases (generic propagator powers) as well as some of its subtleties in the resonant ones (for unit propagator powers). We confirm certain results in the physics and mathematics literature and provide many new results, some of them dealing with the more general massive one-loop conformal $n$-point case. In particular, we prove two recent conjectures that give the massive one-loop conformal $n$-point integral (for generic propagator powers) in terms of multiple hypergeometric series. We show how these conjectures, that were deduced from a Yangian bootstrap analysis, are related by a tower of new quadratic transformations in Hypergeometric Functions Theory. Finally, we also use our MB method to identify spurious contributions that can arise in the Yangian approach.
We present a new methodology, suitable for implementation on computer, to perform the $ε$-expansion of hypergeometric functions with linear $ε$ dependent Pochhammer parameters in any number of variables. Our approach allows one to perform Taylor as well as Laurent series expansion of multivariable hypergeometric functions. Each of the coefficients of $ε$ in the series expansion is expressed as a linear combination of multivariable hypergeometric functions with the same domain of convergence as that of the original hypergeometric function. We present illustrative examples of hypergeometric func…
Higher-order diagrams required for radiative corrections to mixed electroweak and QCD processes at the LHC and anticipated future colliders will require numerically stable representations of the associated Feynman diagrams. The hypergeometric representation supplies an analytic framework that is useful for deriving such stable representations. We discuss the reduction of Feynman diagrams to master integrals, and compare integration-by-parts methods to differential reduction of hypergeometric functions. We describe the problem of constructing higher-order terms in the epsilon expansion, and cha…
We briefly discuss the transcendental constants generated through the epsilon-expansion of generalized hypergeometric functions and their interrelation with the "sixth root of unity."
We describe the application of differential reduction algorithms for Feynman Diagram calculation. We illustrate the procedure in the context of generalized hypergeometric functions, and give an example for a type of q-loop bubble diagram.
We will present some (formal) arguments that any Feynman diagram can be understood as a particular case of a Horn-type multivariable hypergeometric function. The advantages and disadvantages of this type of approach to the evaluation of Feynman diagrams is discussed.
We study Feynman integrals in the framework of Gel'fand-Kapranov-Zelevinsky (GKZ) hypergeometric systems. The latter defines a class of functions wherein Feynman integrals arise as special cases, for any number of loops and kinematic scales. Utilizing the GKZ system and its relation to $D$-module theory, we propose a novel method for obtaining differential equations for master integrals. This note is based on the longer manuscript arXiv:2204.12983.
In the Lee-Pomeransky representation, Feynman integrals can be identified as a subset of Euler-Mellin integrals, which are known to satisfy Gel'fand-Kapranov-Zelevinsky (GKZ) system of partial differential equations. Here we present an automated package to derive the associated GKZ system for a given Feynman diagram and solve it in terms of hypergeometric functions using two equivalent algorithms, namely the triangulation method and the Gröbner deformation method. We present our code in the form of a Mathematica package FeynGKZ.wl which requires the softwares polymake, Macaulay2 and TOPCOM, an…
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…
Several new relationships between hypergeometric functions are found by comparing results for Feynman integrals calculated using different methods. A new expression for the one-loop propagator-type integral with arbitrary masses and arbitrary powers of propagators is derived in terms of only one Appell hypergeometric function F_1. From the comparison of this expression with a previously known one, a new relation between the Appell functions F_1 and F_4 is found. By comparing this new expression for the case of equal masses with another known result, a new formula for reducing the F_1 function …
In this thesis we will study Feynman integrals from the perspective of A-hypergeometric functions, a generalization of hypergeometric functions which goes back to Gelfand, Kapranov, Zelevinsky (GKZ) and their collaborators. This point of view was recently initiated by the works [74] and [150]. Inter alia, we want to provide here a concise summary of the mathematical foundations of A-hypergeometric theory in order to substantiate this viewpoint. This overview will concern aspects of polytopal geometry, multivariate discriminants as well as holonomic D-modules. As we will subsequently show, ever…
We review the hypergeometric function approach to Feynman diagrams. Special consideration is given to the construction of the Laurent expansion. As an illustration, we describe a collection of physically important one-loop vertex diagrams for which this approach is useful.
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…
The relationship between Feynman diagrams and hypergeometric functions is discussed. Special attention is devoted to existing techniques for the construction of the $ε$-expansion. As an example, we present a detailed discussion of the construction of the epsilon-expansion of the Appell function $F_3$ around rational values of parameters via an iterative solution of differential equations. As a by-product, we have found that the one-loop massless pentagon diagram in dimension $d=3-2ε$ is not expressible in terms of multiple polylogarithms. Another interesting example is the Puiseux-type solutio…
Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful to devise an automated method which recognizes the respective (partial) differential equations related to the corresponding higher transcendental functions. We solve these equations through associated recursions of the expansion coefficient of the multivalued formal Taylor series. The expansion coefficients can be determined using either the package {\tt Si…
We show that almost all Feynman integrals as well as their coefficients in a Laurent series in dimensional regularization can be written in terms of Horn hypergeometric functions. By applying the results of Gelfand-Kapranov-Zelevinsky (GKZ) we derive a formula for a class of hypergeometric series representations of Feynman integrals, which can be obtained by triangulations of the Newton polytope $Δ_G$ corresponding to the Lee-Pomeransky polynomial $G$. Those series can be of higher dimension, but converge fast for convenient kinematics, which also allows numerical applications. Further, we dis…
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.
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…
It is well known that Feynman integrals in dimensional regularization often evaluate to functions of hypergeometric type. Inspired by a recent proposal for a coaction on one-loop Feynman integrals in dimensional regularization, we use intersection numbers and twisted homology theory to define a coaction on certain hypergeometric functions. The functions we consider admit an integral representation where both the integrand and the contour of integration are associated with positive geometries. As in dimensionally-regularized Feynman integrals, endpoint singularities are regularized by means of …
We extend Gegenbauer Polynomials technique to evaluate a class of complicated Feynman diagrams. New results in the form of $_3F_2$-hypergeometrical series of unit argument, are presented. As a by-product, we present a new transformation rule for $_3F_2$-hypergeometric series with argument $-1$.
Basing on the systems of linear partial differential equations derived from Mellin-Barnes representations and Miller's transformation, we obtain GKZ-hypergeometric systems of one-loop self energy, one-loop triangle, two-loop vacuum, and two-loop sunset diagrams, respectively. The codimension of derived GKZ-hypergeometric system equals the number of independent dimensionless ratios among the external momentum squared and virtual mass squared. Taking GKZ-hypergeometric systems of one-loop self energy, massless one-loop triangle, and two-loop vacuum diagrams as examples, we present in detail how …
The off-shell massless six-point double box and hexagon conformal Feynman integrals with generic propagator powers are expressed in terms of linear combinations of multiple hypergeometric series of the generalized Horn type. These results are derived from 9-fold Mellin-Barnes representations obtained from their dual conformal Feynman parameter representations. The individual terms in the presented expressions satisfy the differential equation that relates the double box in $D$ dimensions to the hexagon in $D+2$ dimensions.
We review the emergence of hypergeometric structures (of $F_4$ Appell functions) from the conformal Ward identities (CWIs) in conformal field theories (CFTs) in dimensions $d > 2$. We illustrate the case of scalar 3- and 4-point functions. 3-point functions are associated to hypergeometric systems with 4 independent solutions. For symmetric correlators they can be expressed in terms of a single 3K integral - functions of quadratic ratios of momenta - which is a parametric integral of three modified Bessel $K$ functions. In the case of scalar 4-point functions, by requiring the correlator to be…
New algebraic approach to analytical calculations of D-dimensional integrals for multi-loop Feynman diagrams is proposed. We show that the known analytical methods of evaluation of multi-loop Feynman integrals, such as integration by parts and star-triangle relation methods, can be drastically simplified by using this algebraic approach. To demonstrate the advantages of the algebraic method of analytical evaluation of multi-loop Feynman diagrams, we calculate ladder diagrams for the massless $ϕ^3$ theory. Using our algebraic approach we show that the problem of evaluation of special classes of…
The connection between Feynman integrals and GKZ $A$-hypergeometric systems has been a topic of recent interest with advances in mathematical techniques and computational tools opening new possibilities; in this paper we continue to explore this connection. To each such hypergeometric system there is an associated toric ideal, we prove that the latter has the Cohen-Macaulay property for two large families of Feynman integrals. This implies, for example, that both the number of independent solutions and dynamical singularities are independent of space-time dimension and generalized propagator p…
By symbolic summation methods based on difference fields we present a general strategy that transforms definite multi-sums, e.g., in terms of hypergeometric terms and harmonic sums, to indefinite nested sums and products. We succeeded in this task with all our concrete calculations of 2--loop and 3--loop massive single scale Feynman diagrams with local operator insertion.
We explore the large set of linear transformations of Srivastava's $H_C$ triple hypergeometric function. This function has been recently linked to the massive one-loop conformal scalar 3-point Feynman integral. We focus here on the class of linear transformations of $H_C$ that can be obtained from linear transformations of the Gauss $_2F_1$ hypergeometric function and, as $H_C$ is also a three variable generalization of the Appell $F_1$ double hypergeometric function, from the particular linear transformation of $F_1$ known as Carlson's identity and some of its generalizations. These transform…
The Gauß hypergeometric function shows a recursive structure which resembles those found in conformal blocks. We compare it with the recursive structure of the conformal block in boundary/crosscap conformal field theories that is obtained from the representation theory. We find that the pole structure perfectly agrees but the recursive structure in the Gauß hypergeometric function is slightly ``off-shell".
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…
We extend the study of the recently discovered Yangian symmetry of massive Feynman integrals and its relation to massive momentum space conformal symmetry. After proving the symmetry statements in detail at one and two loop orders, we employ the conformal and Yangian constraints to bootstrap various one-loop examples of massive Feynman integrals. In particular, we explore the interplay between Yangian symmetry and hypergeometric expressions of the considered integrals. Based on these examples we conjecture single series representations for all dual conformal one-loop integrals in D spacetime d…
HYPERDIRE is a project devoted to the creation of a set of Mathematica based programs for the differential reduction of hypergeometric functions. The current version includes two parts: the first one, FdFunction, for manipulations with Appell hypergeometric functions $F_D$ of $r$ variables; and the second one, FsFunction, for manipulations with Lauricella-Saran hypergeometric functions $F_S$ of three variables. Both functions are related with one-loop Feynman diagrams. The published version includes also Chapter 5 with two theorems about structure of coefficients of epsilon-expansion of the Ho…
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 explore the idea to bootstrap Feynman integrals using integrability. In particular, we put the recently discovered Yangian symmetry of conformal Feynman integrals to work. As a prototypical example we demonstrate that the D-dimensional box integral with generic propagator powers is completely fixed by its symmetries to be a particular linear combination of Appell hypergeometric functions. In this context the Bloch-Wigner function arises as a special Yangian invariant in 4D. The bootstrap procedure for the box integral is naturally structured in algorithmic form. We then discuss the Yangian …
We consider the derivatives of Horn hypergeometric functions of any number variables with respect to their parameters. The derivative of the function in $n$ variables is expressed as a Horn hypergeometric series of $n+1$ infinite summations depending on the same variables and with the same region of convergence as for original Horn function. The derivatives of Appell functions, generalized hypergeometric functions, confluent and non-confluent Lauricella series and generalized Lauricella series are explicitly presented. Applications to the calculation of Feynman diagrams are discussed, especial…
We discuss specific hypergeometric solutions of the conformal Ward identities (CWI's) of scalar 4-point functions of primary fields in momentum space, in $d$ spacetime dimensions. We determine such solutions using various dual conformal ansätze (DCA's). We start from a generic dual conformal correlator, and require it to be conformally covariant in coordinate space. The two requirements constrain such solutions to take a unique hypergeometric form. They describe correlators which are at the same time conformal and dual conformal in any dimension. These specific ansätze also show the existence …
We consider the two-loop massless propagator-type Feynman diagram with an arbitrary (non-integer) index on the central line. We analytically prove the equality of the two well-known results existing in the literature which express this diagram in terms of ${}_3F_2$-hypergeometric functions of argument $-1$ and $1$, respectively. We also derive new representations for this diagram which may be of importance in practical calculations.
In the context of planar holography, integrability plays an important role for solving certain massless quantum field theories such as N=4 SYM theory. In this letter we show that integrability also features in the building blocks of massive quantum field theories. At one-loop order we prove that all massive n-gon Feynman integrals in generic spacetime dimensions are invariant under a massive Yangian symmetry. At two loops similar statements can be proven for graphs built from two n-gons. At generic loop order we conjecture that all graphs cut from regular tilings of the plane with massive prop…
Results are presented for some infinite series appearing in Feynman diagram calculations, many of which are similar to the Euler series. These include both one-, two- and three-dimensional series. The sums of these series can be evaluated with the help of various integral representations for hypergeometric functions, and expressed in terms of $ζ(2)$, $ζ(3)$, the Catalan constant $G$ and ${\rm Cl}_2(π/3)$ where ${\rm Cl}_2(θ)$ is Clausen's function.
In this note, we present an alternative representation of the conformal block with external scalars in general spacetime dimensions in terms of a finite summation over Appell fourth hypergeometric function ${\bf{F}}_4$. We also construct its generalization to the non-local primary exchange operator with continuous spin and its corresponding Mellin representation which are relevant for Lorentzian spacetime. Using these results we apply the Lorentzian inversion formula to compute so-called crossing kernel in general spacetime dimensions, the resultant expression can be written as a double infini…
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…
Two-loop massive Feynman integrals for $ϕ^4$ field-theoretical model with long-range correlated disorder are considered. Massive integrals for the vertex function $Γ^{(4)}$ including two or three massless propagators for generic space dimension and for any value of the correlation parameter are evaluated analytically applying Mellin-Barnes method as well as familiar representation for one-loop integrals. Obtained expressions are presented in the form of hypergeometric functions.
New explicit expressions are derived for the one-loop two-point Feynman integral with arbitrary external momentum and masses $m_1^2$ and $m_2^2$ in D dimensions. The results are given in terms of Appell functions, manifestly symmetric with respect to the masses $m_i^2$. Equating our expressions with previously known results in terms of Gauss hypergeometric functions yields reduction relations for the involved Appell functions that are apparently new mathematical results.
Starting from the Mellin-Barnes integral representation of a Feynman integral depending on set of kinematic variables $z_i$, we derive a system of partial differential equations w.r.t.\ new variables $x_j$, which parameterize the differentiable constraints $z_i=y_i(x_j)$. In our algorithm, the powers of propagators can be considered as arbitrary parameters. Our algorithm can also be used for the reduction of multiple hypergeometric sums to sums of lower dimension, finding special values and reduction equations of hypergeometric functions in a singular locus of continuous variables, or finding …
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…
Given a Feynman parameter integral, depending on a single discrete variable $N$ and a real parameter $ε$, we discuss a new algorithmic framework to compute the first coefficients of its Laurent series expansion in $ε$. In a first step, the integrals are expressed by hypergeometric multi-sums by means of symbolic transformations. Given this sum format, we develop new summation tools to extract the first coefficients of its series expansion whenever they are expressible in terms of indefinite nested product-sum expressions. In particular, we enhance the known multi-sum algorithms to derive recur…
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…
We propose a general coaction for families of integrals appearing in the evaluation of Feynman diagrams, such as multiple polylogarithms and generalized hypergeometric functions. We further conjecture a link between this coaction and graphical operations on Feynman diagrams. At one-loop order, there is a basis of integrals for which this correspondence is fully explicit. We discuss features and present examples of the diagrammatic coaction on two-loop integrals. We also present the coaction for the functions ${}_{p+1}F_p$ and Appell $F_1$.
We investigate the structure of the constraints on three-point correlation functions emerging when conformal invariance is imposed in momentum space and in arbitrary space-time dimensions, presenting a derivation of their solutions for arbitrary scalar operators. We show that the differential equations generated by the requirement of symmetry under special conformal transformations coincide with those satisfied by generalized hypergeometric functions (Appell's functions). Combined with the position space expression of this correlator, whose Fourier transform is given by a family of generalized…
