Mikhail Yu. Kalmykov, Bernd A. Kniehl
We briefly discuss the transcendental constants generated through the epsilon-expansion of generalized hypergeometric functions and their interrelation with the "sixth root of unity."
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 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.
GKZ hypergeometric systems of the three-loop vacuum Feynman integrals
本文基于Mellin-Barnes表示和Miller变换，为任意质量三圈真空图费曼积分构造GKZ超几何系统，并利用其级数解在参数空间子集上构建基本解系，从而得到真空积分的解析表达式。
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.
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by hypergeometric products and more generally by indefinite nested sums defined over such products. Special cases are hypergeometric structures such as Appell-functions or generalizations of them that arise frequently when dealing with parameter Feynman integrals.
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…
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.
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 …
$\mathcal{A}$-hypergeometric functions and creation operators for Feynman and Witten diagrams
本文利用 GKZ/$\mathcal{A}$-超几何函数框架，从 Newton 多胞体谱奇点出发推导 Feynman 图与 Witten 图的产生算子，并给出仅含非导数顶点的新型全息权重转移关系。
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…
Present and future high-precision tests of the Standard Model and beyond for the fundamental constituents and interactions in Nature are demanding complex perturbative calculations involving multi-leg and multi-loop Feynman diagrams. Currently, large effort is devoted to the search for closed expressions of loop integrals, written whenever possible in terms of known - often hypergeometric-type - functions. In this work, the scalar three-point function is re-evaluated by means of generalized hypergeometric functions of two variables. Finally, use is made of the connection between such Appell fu…
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 …
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 massiv…
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…
Polytope symmetries of Feynman integrals
本文利用 A-超几何系统与 Newton 多胞体对称性，系统计算并分析 Lee-Pomeransky 表示中多种费曼积分的对称性。
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…
In this article, we propose a class of six-dimensional Painleve systems given as the monodromy preserving deformations of the Fuchsian systems. They are expressed as polynomial Hamiltonian systems of sixth order. We also discuss their particular solutions in terms of the hypergeometric functions defined by fourth order rigid systems.
Canonical differential equations for Feynman integrals from $\mathcal{A}$-hypergeometric systems in the Schwinger representation
本文提出从Schwinger表示中的GKZ超几何系统构造Feynman积分正则微分方程的方法，利用广义Euler积分和Frobenius基，所得正则基维数不超过master积分数量，实现微分系统的约化。
Feynman path integrals are now a standard tool in quantum physics and their use in differential geometry leads to new mathematical insights. A logical treatment of quantum phenomena seems to require a sustained mathematical analysis of path integrals. The subject is complicated by the fact that their application in flat space-time is quite different from how path integrals are used in, say, topological quantum field theory, where there is no natural notion of time translation. An historical background is given in this paper and a few mathematical approaches to Feynman path integrals in the con…
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…
In a recent work, we proposed the coupled Painlevé VI system with $A^{(1)}_{2n+1}$-symmetry, which is a higher order generalization of the sixth Painlevé equation ($P_{\rm VI}$). In this article, we present its particular solution expressed in terms of the hypergeometric function ${}_{n+1}F_n$. We also discuss a degeneration structure of the Painlevé system derived from the confluence of ${}_{n+1}F_n$.
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…
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…
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.
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…
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…
Stable reduction methods will be important in the evaluation of high-order perturbative diagrams appearing in QCD and mixed QCD-electroweak radiative corrections at the LHC. Differential reduction techniques are useful for relating hypergeometric functions with shifted values of the parameters. We present a proposition relating the number of master integrals in the expansion of a Feynman diagram to the number of derivatives in a differential reduction.
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.
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.
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.
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…
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.
We show in several important cases that the $A$-hypergeometric system attached to a Feynman diagram in Lee--Pomeransky form, obtained by viewing the momenta and the nonzero masses as indeterminates, has a normal underlying semigroup. This continues a quest initiated by Klausen, and studied by Helmer and Tellander. In the process we identify several relevant matroids related to the situation and explore their relationships.
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.
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 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 …
Two-point Feynman parameter integrals, with at most one mass and containing local operator insertions in $4+\ep$-dimensional Minkowski space, can be transformed to multi-integrals or multi-sums over hyperexponential and/or hypergeometric functions depending on a discrete parameter $n$. Given such a specific representation, we utilize an enhanced version of the multivariate Almkvist--Zeilberger algorithm (for multi-integrals) and a common summation framework of the holonomic and difference field approach (for multi-sums) to calculate recurrence relations in $n$. Finally, solving the recurrence …
We study the Feynman integral for the three-banana graph defined as the scalar two-point self-energy at three-loop order. The Feynman integral is evaluated for all identical internal masses in two space-time dimensions. Two calculations are given for the Feynman integral; one based on an interpretation of the integral as an inhomogeneous solution of a classical Picard-Fuchs differential equation, and the other using arithmetic algebraic geometry, motivic cohomology, and Eisenstein series. Both methods use the rather special fact that the Feynman integral is a family of regulator periods associ…
We study Feynman integrals in the representation with Schwinger parameters and derive recursive integral formulas for massless 3- and 4-point functions. Properties of analytic (including dimensional) regularization are summarized and we prove that in the Euclidean region, each Feynman integral can be written as a linear combination of convergent Feynman integrals. This means that one can choose a basis of convergent master integrals and need not evaluate any divergent Feynman graph directly. Secondly we give a self-contained account of hyperlogarithms and explain in detail the algorithms neede…
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…
We present new analytic continuation formulas for the Appell $F_4(a,b;c,d;x,y)$ double hypergeometric series where $d=a-b+1$, which allows quadratic transformations of the Gauss ${}_2F_1$ hypergeometric function to be used in the intermediate steps of the derivation. Such formulas are of relevance to loop calculations of quantum field theory where they can been used, for instance, to obtain new series representations of the two-loop massive sunset Feynman diagram. The analytic continuation procedure introduced in this paper is also sufficiently general so as to find uses elsewhere.
When calculating higher terms of the epsilon-expansion of massive Feynman diagrams, one needs to evaluate particular cases of multiple inverse binomial sums. These sums are related to the derivatives of certain hypergeometric functions with respect to their parameters. Exploring this connection and using it together with an approach based on generating functions, we analytically calculate a number of such infinite sums, for an arbitrary value of the argument which corresponds to an arbitrary value of the off-shell external momentum. In such a way, we find a number of new results for physically…
Numerical analytical continuation of multivariate hypergeometric functions
提出一个通用框架，通过构建Pfaffian系统和基于Frobenius方法的数值方案，实现多变量超几何函数的高精度数值评估与解析延拓。
We evaluate a one-loop, two-point, massless Feynman integral $I_{D,m}(p,q)$ relevant for perturbative field theoretic calculations in strongly anisotropic $d=D+m$ dimensional spaces given by the direct sum $\mathbb R^D\oplus\mathbb R^m$. Our results are valid in the whole convergence region of the integral for generic (non-integer) co-dimensions $D$ and $m$. We obtain series expansions of $I_{D,m}(p,q)$ in terms of powers of the variable $X:=4p^2/q^4$, where $p=|\bm p|$, $q=|\bm q|$, $\bm p\in\mathbb R^D$, $\bm q\in\mathbb R^m$, and in terms of generalised hypergeometric functions $_3F_2(-X)$,…
HyperPrecision: A Mathematica package for High-Precision Numerical Evaluation of Multivariate Hypergeometric Functions
提出 HyperPrecision Mathematica 包，通过自动构造 Pfaffian 系统并沿一维等高线求解常微分方程，实现 Horn 型多元超几何函数及其 Laurent 展开的高精度数值计算。
Toller matrices and the Feynman $i\varepsilon$ in spinfoams
本文研究了Toller矩阵的解析性质及其三种等价表示，揭示了其与spinfoams中因果形式的量子引力过渡振幅的关系，并展示了其与Feynman $i\varepsilon$预设的等价性。
$\texttt{MultiHypExp}$: A Mathematica Package For Expanding Multivariate Hypergeometric Functions In Terms Of Multiple Polylogarithms
本文提出 Mathematica 程序包 MultiHypExp，通过微分算子与 Pfaffian 系统方法将多元超几何函数在维数正规化参数中展开为多重多对数，以处理多圈多尺度 Feynman 积分。
Tropicalising hypergeometric $τ$-functions
本文为加权Hurwitz数发展了热带几何框架，通过对应定理用热带覆叠表达该数，将已知结构结果推广至所有加权情形，研究多项式性并推导壁交叉公式，同时引入椭圆加权Hurwitz数并证明其热带镜像对称。
Different mathematical methods have been applied to obtain the analytic result for the massless triangle Feynman diagram yielding a sum of four linearly independent hypergeometric functions of two variables $F_4$. These are defined for especific regions of convergence for the ratios of the squares of momentum variables. In this paper I work out the diagram and show that that result, though mathematically sound, is not physically acceptable when it is embedded in higher loops - meaning further momentum integrations - because it misses a fundamental physical constraint imposed by the conservatio…
The Dirac delta function and the Feynman propagator of the harmonic oscillator are found by a simple calculation using Fock Bargmann space and the generating function of the harmonic oscillator. With help of the Schwinger generating function of Wigner's D-matrix elements we derive the generating function of spherical harmonics, the quadratic transformations and the generating functions of: the characters of SU (2), Legendre and Gegenbauer polynomials. We also deduce the van der Wearden invariant of 3-j symbols of SU (2). Using the Fock Bargmann space and its complex conjugate we find the integ…
Multiple Mellin-Barnes integrals and triangulations of point configurations
提出基于点构型三角剖分的新方法，快速解析计算多重Mellin-Barnes积分，应用于多圈费曼积分，显著提速并处理104重积分。
Shift operators and momentum-space conformal field theory
本论文利用单纯形积分的图多项式、Cayley–Menger参数化及GKZ超几何函数，构建联系不同维数n点函数与Witten图的新型移位算子。
We derive and study Yangian Ward identities for the infinite class of four-point ladder integrals and their Basso-Dixon generalisations. These symmetry equations follow from interpreting the respective Feynman integrals as correlation functions in the bi-scalar fishnet theory. Alternatively, the presented identities can be understood as anomaly equations for a momentum space conformal symmetry. The Ward identities take the form of inhomogeneous extensions of the partial differential equations defining the Appell hypergeometric functions. We employ a manifestly conformal tensor reduction in ord…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。