-
Computing Mellin representations and asymptotics of nested binomial sums in a symbolic way: the RICA package
Authors:
Johannes Bluemlein,
Nikolai Fadeev,
Carsten Schneider
Abstract:
Nested binomial sums form a particular class of sums that arise in the context of particle physics computations at higher orders in perturbation theory within QCD and QED, but that are also mathematically relevant, e.g., in combinatorics. We present the package RICA (Rule Induced Convolutions for Asymptotics), which aims at calculating Mellin representations and asymptotic expansions at infinity o…
▽ More
Nested binomial sums form a particular class of sums that arise in the context of particle physics computations at higher orders in perturbation theory within QCD and QED, but that are also mathematically relevant, e.g., in combinatorics. We present the package RICA (Rule Induced Convolutions for Asymptotics), which aims at calculating Mellin representations and asymptotic expansions at infinity of those objects. These representations are of particular interest to perform analytic continuations of such sums.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Computer Algebra and Hypergeometric Structures for Feynman Integrals
Authors:
Johannes Bluemlein,
Marco Saragnese,
Carsten Schneider
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals
Authors:
Johannes Blümlein,
Carsten Schneider
Abstract:
The analytic integration and simplification of multi-loop Feynman integrals to special functions and constants plays an important role to perform higher order perturbative calculations in the Standard Model of elementary particles. In this survey article the most recent and relevant computer algebra and special function algorithms are presented that are currently used or that may play an important…
▽ More
The analytic integration and simplification of multi-loop Feynman integrals to special functions and constants plays an important role to perform higher order perturbative calculations in the Standard Model of elementary particles. In this survey article the most recent and relevant computer algebra and special function algorithms are presented that are currently used or that may play an important role to perform such challenging precision calculations in the future. They are discussed in the context of analytic zero, single and double scale calculations in the Quantum Field Theories of the Standard Model and effective field theories, also with classical applications. These calculations play a central role in the analysis of precision measurements at present and future colliders to obtain ultimate information for fundamental physics.
△ Less
Submitted 10 January, 2023; v1 submitted 24 March, 2022;
originally announced March 2022.
-
Hypergeometric Structures in Feynman Integrals
Authors:
J. Blümlein,
M. Saragnese,
C. Schneider
Abstract:
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…
▽ More
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 Sigma} in the case of linear difference equations or by applying heuristic methods in the case of partial linear difference equations. In the present context a new type of sums occurs, the Hurwitz harmonic sums, and generalized versions of them. The code {\tt HypSeries} transforming classes of differential equations into analytic series expansions is described. Also partial difference equations having rational solutions and rational function solutions of Pochhammer symbols are considered, for which the code {\tt solvePartialLDE} is designed. Generalized hypergeometric functions, Appell-,~Kampé de Fériet-, Horn-, Lauricella-Saran-, Srivasta-, and Exton--type functions are considered. We illustrate the algorithms by examples.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Iterated integrals over letters induced by quadratic forms
Authors:
J. Ablinger,
J. Blümlein,
C. Schneider
Abstract:
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 rep…
▽ More
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.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
A refined machinery to calculate large moments from coupled systems of linear differential equations
Authors:
Johannes Blümlein,
Peter Marquard,
Carsten Schneider
Abstract:
The large moment method can be used to compute a large number of moments of physical quantities that are described by coupled systems of linear differential equations. Besides these systems the algorithm requires a certain number of initial values as input, that are often hard to derive in a preprocessing step.Thus a major challenge is to keep the number of initial values as small as possible. We…
▽ More
The large moment method can be used to compute a large number of moments of physical quantities that are described by coupled systems of linear differential equations. Besides these systems the algorithm requires a certain number of initial values as input, that are often hard to derive in a preprocessing step.Thus a major challenge is to keep the number of initial values as small as possible. We present the basic ideas of the underlying large moment method and present refined versions that reduce significantly the number of required initial values.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Computer algebra tools for Feynman integrals and related multi-sums
Authors:
Johannes Blümlein,
Carsten Schneider
Abstract:
In perturbative calculations, e.g., in the setting of Quantum Chromodynamics (QCD) one aims at the evaluation of Feynman integrals. Here one is often faced with the problem to simplify multiple nested integrals or sums to expressions in terms of indefinite nested integrals or sums. Furthermore, one seeks for solutions of coupled systems of linear differential equations, that can be represented in…
▽ More
In perturbative calculations, e.g., in the setting of Quantum Chromodynamics (QCD) one aims at the evaluation of Feynman integrals. Here one is often faced with the problem to simplify multiple nested integrals or sums to expressions in terms of indefinite nested integrals or sums. Furthermore, one seeks for solutions of coupled systems of linear differential equations, that can be represented in terms of indefinite nested sums (or integrals). In this article we elaborate the main tools and the corresponding packages, that we have developed and intensively used within the last 10 years in the course of our QCD-calculations.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Refined Holonomic Summation Algorithms in Particle Physics
Authors:
Johannes Blümlein,
Mark Round,
Carsten Schneider
Abstract:
An improved multi-summation approach is introduced and discussed that enables one to simultaneously handle indefinite nested sums and products in the setting of difference rings and holonomic sequences. Relevant mathematics is reviewed and the underlying advanced difference ring machinery is elaborated upon. The flexibility of this new toolbox contributed substantially to evaluating complicated mu…
▽ More
An improved multi-summation approach is introduced and discussed that enables one to simultaneously handle indefinite nested sums and products in the setting of difference rings and holonomic sequences. Relevant mathematics is reviewed and the underlying advanced difference ring machinery is elaborated upon. The flexibility of this new toolbox contributed substantially to evaluating complicated multi-sums coming from particle physics. Illustrative examples of the functionality of the new software package RhoSum are given.
△ Less
Submitted 30 October, 2017; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams
Authors:
J. Ablinger,
J. Blümlein,
A. De Freitas,
M. van Hoeij,
E. Imamoglu,
C. G. Raab,
C. -S. Radu,
C. Schneider
Abstract:
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ß hyperg…
▽ More
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 arising in the calculation of more complicated Feynman integrals following the harmonic polylogarithms, generalized polylogarithms, cyclotomic harmonic polylogarithms, square-root valued iterated integrals, and combinations thereof, which appear in simpler cases. The inhomogeneous solution of the corresponding differential equations can be given in terms of iterative integrals, where the new innermost letter itself is not an iterative integral. A new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors. For the elliptic case, we also derive the solution in terms of integrals over modular functions and also modular forms, using $q$-product and series representations implied by Jacobi's $\vartheta_i$ functions and Dedekind's $η$-function. The corresponding representations can be traced back to polynomials out of Lambert--Eisenstein series, having representations also as elliptic polylogarithms, a $q$-factorial $1/η^k(τ)$, logarithms and polylogarithms of $q$ and their $q$-integrals. Due to the specific form of the physical variable $x(q)$ for different processes, different representations do usually appear. Numerical results are also presented.
△ Less
Submitted 5 June, 2017;
originally announced June 2017.
-
The Method of Arbitrarily Large Moments to Calculate Single Scale Processes in Quantum Field Theory
Authors:
Johannes Blümlein,
Carsten Schneider
Abstract:
We device a new method to calculate a large number of Mellin moments of single scale quantities using the systems of differential and/or difference equations obtained by integration-by-parts identities between the corresponding Feynman integrals of loop corrections to physical quantities. These scalar quantities have a much simpler mathematical structure than the complete quantity. A sufficiently…
▽ More
We device a new method to calculate a large number of Mellin moments of single scale quantities using the systems of differential and/or difference equations obtained by integration-by-parts identities between the corresponding Feynman integrals of loop corrections to physical quantities. These scalar quantities have a much simpler mathematical structure than the complete quantity. A sufficiently large set of moments may even allow the analytic reconstruction of the whole quantity considered, holding in case of first order factorizing systems. In any case, one may derive highly precise numerical representations in general using this method, which is otherwise completely analytic.
△ Less
Submitted 17 January, 2017;
originally announced January 2017.
-
Algorithms to solve coupled systems of differential equations in terms of power series
Authors:
Jakob Ablinger,
Arnd Behring,
Johannes Bluemlein,
Abilio de Freitas,
Carsten Schneider
Abstract:
Using integration by parts relations, Feynman integrals can be represented in terms of coupled systems of differential equations. In the following we suppose that the unknown Feynman integrals can be given in power series representations, and that sufficiently many initial values of the integrals are given. Then there exist algorithms that decide constructively if the coefficients of their power s…
▽ More
Using integration by parts relations, Feynman integrals can be represented in terms of coupled systems of differential equations. In the following we suppose that the unknown Feynman integrals can be given in power series representations, and that sufficiently many initial values of the integrals are given. Then there exist algorithms that decide constructively if the coefficients of their power series representations can be given within the class of nested sums over hypergeometric products. In this article we will work out the calculation steps that solve this problem. First, we will present a successful tactic that has been applied recently to challenging problems coming from massive 3-loop Feynman integrals. Here our main tool is to solve scalar linear recurrences within the class of nested sums over hypergeometric products. Second, we will present a new variation of this tactic which relies on more involved summation technologies but succeeds in reducing the problem to solve scalar recurrences with lower recurrence orders. The article will work out the different challenges of this new tactic and demonstrates how they can be treated efficiently with our existing summation technologies.
△ Less
Submitted 18 August, 2016;
originally announced August 2016.
-
A toolbox to solve coupled systems of differential and difference equations
Authors:
Jakob Ablinger,
Johannes Bluemlein,
Abilio de Freitas,
Carsten Schneider
Abstract:
We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases. Here we assume that the desired solution has a power series representation and we seek for the coefficients in closed form. In particular, if the coefficients depe…
▽ More
We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases. Here we assume that the desired solution has a power series representation and we seek for the coefficients in closed form. In particular, if the coefficients depend on a small parameter $\ep$ (the dimensional parameter), we assume that the coefficients themselves can be expanded in formal Laurent series w.r.t.\ $\ep$ and we try to compute the first terms in closed form. More precisely, we have a decision algorithm which solves the following problem: if the terms can be represented by an indefinite nested hypergeometric sum expression (covering as special cases the harmonic sums, cyclotomic sums, generalized harmonic sums or nested binomial sums), then we can calculate them. If the algorithm fails, we obtain a proof that the terms cannot be represented by the class of indefinite nested hypergeometric sum expressions. Internally, this problem is reduced by holonomic closure properties to solving a coupled system of linear difference equations. The underlying method in this setting relies on decoupling algorithms, difference ring algorithms and recurrence solving. We demonstrate by a concrete example how this algorithm can be applied with the new Mathematica package \texttt{SolveCoupledSystem} which is based on the packages \texttt{Sigma}, \texttt{HarmonicSums} and \texttt{OreSys}. In all applications the representation in $x$-space is obtained as an iterated integral representation over general alphabets, generalizing Poincaré iterated integrals.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra
Authors:
J. Ablinger,
A. Behring,
J. Blümlein,
A. De Freitas,
A. von Manteuffel,
C. Schneider
Abstract:
Three loop ladder and $V$-topology diagrams contributing to the massive operator matrix element $A_{Qg}$ are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable $N$ and the dimensional parameter $\varepsilon$. Given these representations, the desired Laurent series expansions in $\varepsilon$ can be obtained with the h…
▽ More
Three loop ladder and $V$-topology diagrams contributing to the massive operator matrix element $A_{Qg}$ are calculated. The corresponding objects can all be expressed in terms of nested sums and recurrences depending on the Mellin variable $N$ and the dimensional parameter $\varepsilon$. Given these representations, the desired Laurent series expansions in $\varepsilon$ can be obtained with the help of our computer algebra toolbox. Here we rely on generalized hypergeometric functions and Mellin-Barnes representations, on difference ring algorithms for symbolic summation, on an optimized version of the multivariate Almkvist-Zeilberger algorithm for symbolic integration, and on new methods to calculate Laurent series solutions of coupled systems of differential equations. The solutions can be computed for general coefficient matrices directly for any basis also performing the expansion in the dimensional parameter in case it is expressible in terms of indefinite nested product-sum expressions. This structural result is based on new results of our difference ring theory. In the cases discussed we deal with iterative sum- and integral-solutions over general alphabets. The final results are expressed in terms of special sums, forming quasi-shuffle algebras, such as nested harmonic sums, generalized harmonic sums, and nested binomially weighted (cyclotomic) sums. Analytic continuations to complex values of $N$ are possible through the recursion relations obeyed by these quantities and their analytic asymptotic expansions. The latter lead to a host of new constants beyond the multiple zeta values, the infinite generalized harmonic and cyclotomic sums in the case of $V$-topologies.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams
Authors:
Jakob Ablinger,
Johannes Blümlein,
Clemens G. Raab,
Carsten Schneider
Abstract:
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 rule…
▽ More
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.
△ Less
Submitted 17 July, 2014;
originally announced July 2014.
-
Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations
Authors:
Johannes Bluemlein,
Abilio De Freitas,
Carsten Schneider
Abstract:
We outline a new algorithm to solve coupled systems of differential equations in one continuous variable $x$ (resp. coupled difference equations in one discrete variable $N$) depending on a small parameter $ε$: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in $ε$ if they are expressible in terms of indefinite…
▽ More
We outline a new algorithm to solve coupled systems of differential equations in one continuous variable $x$ (resp. coupled difference equations in one discrete variable $N$) depending on a small parameter $ε$: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in $ε$ if they are expressible in terms of indefinite nested sums and products. This systematic approach is based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms. The proposed method gives rise to new interesting applications in connection with integration by parts (IBP) methods. As an illustrative example, we will demonstrate how one can calculate the $ε$-expansion of a ladder graph with 6 massive fermion lines.
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Harmonic Sums, Polylogarithms, Special Numbers, and their Generalizations
Authors:
Jakob Ablinger,
Johannes Blümlein
Abstract:
In these introductory lectures we discuss classes of presently known nested sums, associated iterated integrals, and special constants which hierarchically appear in the evaluation of massless and massive Feynman diagrams at higher loops. These quantities are elements of stuffle and shuffle algebras implying algebraic relations being widely independent of the special quantities considered. They ar…
▽ More
In these introductory lectures we discuss classes of presently known nested sums, associated iterated integrals, and special constants which hierarchically appear in the evaluation of massless and massive Feynman diagrams at higher loops. These quantities are elements of stuffle and shuffle algebras implying algebraic relations being widely independent of the special quantities considered. They are supplemented by structural relations. The generalizations are given in terms of generalized harmonic sums, (generalized) cyclotomic sums, and sums containing in addition binomial and inverse-binomial weights. To all these quantities iterated integrals and special numbers are associated. We also discuss the analytic continuation of nested sums of different kind to complex values of the external summation bound N.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms
Authors:
Jakob Ablinger,
Johannes Blümlein,
Carsten Schneider
Abstract:
In recent three--loop calculations of massive Feynman integrals within Quantum Chromodynamics (QCD) and, e.g., in recent combinatorial problems the so-called generalized harmonic sums (in short $S$-sums) arise. They are characterized by rational (or real) numerator weights also different from $\pm 1$. In this article we explore the algorithmic and analytic properties of these sums systematically.…
▽ More
In recent three--loop calculations of massive Feynman integrals within Quantum Chromodynamics (QCD) and, e.g., in recent combinatorial problems the so-called generalized harmonic sums (in short $S$-sums) arise. They are characterized by rational (or real) numerator weights also different from $\pm 1$. In this article we explore the algorithmic and analytic properties of these sums systematically. We work out the Mellin and inverse Mellin transform which connects the sums under consideration with the associated Poincaré iterated integrals, also called generalized harmonic polylogarithms. In this regard, we obtain explicit analytic continuations by means of asymptotic expansions of the $S$-sums which started to occur frequently in current QCD calculations. In addition, we derive algebraic and structural relations, like differentiation w.r.t. the external summation index and different multi-argument relations, for the compactification of $S$-sum expressions. Finally, we calculate algebraic relations for infinite $S$-sums, or equivalently for generalized harmonic polylogarithms evaluated at special values. The corresponding algorithms and relations are encoded in the computer algebra package {\tt HarmonicSums}.
△ Less
Submitted 2 February, 2013;
originally announced February 2013.
-
Evaluation of Multi-Sums for Large Scale Problems
Authors:
J. Blümlein,
A. Hasselhuhn,
C. Schneider
Abstract:
A big class of Feynman integrals, in particular, the coefficients of their Laurent series expansion w.r.t.\ the dimension parameter $\ep$ can be transformed to multi-sums over hypergeometric terms and harmonic sums. In this article, we present a general summation method based on difference fields that simplifies these multi--sums by transforming them from inside to outside to representations in te…
▽ More
A big class of Feynman integrals, in particular, the coefficients of their Laurent series expansion w.r.t.\ the dimension parameter $\ep$ can be transformed to multi-sums over hypergeometric terms and harmonic sums. In this article, we present a general summation method based on difference fields that simplifies these multi--sums by transforming them from inside to outside to representations in terms of indefinite nested sums and products. In particular, we present techniques that assist in the task to simplify huge expressions of such multi-sums in a completely automatic fashion. The ideas are illustrated on new calculations coming from 3-loop topologies of gluonic massive operator matrix elements containing two fermion lines, which contribute to the transition matrix elements in the variable flavor scheme.
△ Less
Submitted 20 February, 2012;
originally announced February 2012.
-
Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials
Authors:
Jakob Ablinger,
Johannes Blümlein,
Carsten Schneider
Abstract:
The computation of Feynman integrals in massive higher order perturbative calculations in renormalizable Quantum Field Theories requires extensions of multiply nested harmonic sums, which can be generated as real representations by Mellin transforms of Poincaré--iterated integrals including denominators of higher cyclotomic polynomials. We derive the cyclotomic harmonic polylogarithms and harmonic…
▽ More
The computation of Feynman integrals in massive higher order perturbative calculations in renormalizable Quantum Field Theories requires extensions of multiply nested harmonic sums, which can be generated as real representations by Mellin transforms of Poincaré--iterated integrals including denominators of higher cyclotomic polynomials. We derive the cyclotomic harmonic polylogarithms and harmonic sums and study their algebraic and structural relations. The analytic continuation of cyclotomic harmonic sums to complex values of $N$ is performed using analytic representations. We also consider special values of the cyclotomic harmonic polylogarithms at argument $x=1$, resp., for the cyclotomic harmonic sums at $N \rightarrow \infty$, which are related to colored multiple zeta values, deriving various of their relations, based on the stuffle and shuffle algebras and three multiple argument relations. We also consider infinite generalized nested harmonic sums at roots of unity which are related to the infinite cyclotomic harmonic sums. Basis representations are derived for weight {\sf w = 1,2} sums up to cyclotomy {\sf l = 20}.
△ Less
Submitted 30 May, 2011;
originally announced May 2011.
-
A Symbolic Summation Approach to Feynman Integral Calculus
Authors:
Johannes Bluemlein,
Sebastian Klein,
Carsten Schneider,
Flavia Stan
Abstract:
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…
▽ More
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 recurrences for sums with complicated boundary conditions, and we present new algorithms to find formal Laurent series solutions of a given recurrence relation.
△ Less
Submitted 30 May, 2012; v1 submitted 11 November, 2010;
originally announced November 2010.
-
The Multiple Zeta Value Data Mine
Authors:
J. Blümlein,
D. J. Broadhurst,
J. A. M. Vermaseren
Abstract:
We provide a data mine of proven results for multiple zeta values (MZVs) of the form $ζ(s_1,s_2,...,s_k)=\sum_{n_1>n_2>...>n_k>0}^\infty \{1/(n_1^{s_1} >... n_k^{s_k})\}$ with weight $w=\sum_{i=1}^k s_i$ and depth $k$ and for Euler sums of the form $\sum_{n_1>n_2>...>n_k>0}^\infty t\{(ε_1^{n_1} >...ε_1 ^{n_k})/ (n_1^{s_1} ... n_k^{s_k}) \}$ with signs $ε_i=\pm1$. Notably, we achieve explicit pro…
▽ More
We provide a data mine of proven results for multiple zeta values (MZVs) of the form $ζ(s_1,s_2,...,s_k)=\sum_{n_1>n_2>...>n_k>0}^\infty \{1/(n_1^{s_1} >... n_k^{s_k})\}$ with weight $w=\sum_{i=1}^k s_i$ and depth $k$ and for Euler sums of the form $\sum_{n_1>n_2>...>n_k>0}^\infty t\{(ε_1^{n_1} >...ε_1 ^{n_k})/ (n_1^{s_1} ... n_k^{s_k}) \}$ with signs $ε_i=\pm1$. Notably, we achieve explicit proven reductions of all MZVs with weights $w\le22$, and all Euler sums with weights $w\le12$, to bases whose dimensions, bigraded by weight and depth, have sizes in precise agreement with the Broadhurst--Kreimer and Broadhurst conjectures. Moreover, we lend further support to these conjectures by studying even greater weights ($w\le30$), using modular arithmetic. To obtain these results we derive a new type of relation for Euler sums, the Generalized Doubling Relations. We elucidate the "pushdown" mechanism, whereby the ornate enumeration of primitive MZVs, by weight and depth, is reconciled with the far simpler enumeration of primitive Euler sums. There is some evidence that this pushdown mechanism finds its origin in doubling relations. We hope that our data mine, obtained by exploiting the unique power of the computer algebra language {\sc form}, will enable the study of many more such consequences of the double-shuffle algebra of MZVs, and their Euler cousins, which are already the subject of keen interest, to practitioners of quantum field theory, and to mathematicians alike.
△ Less
Submitted 14 November, 2009; v1 submitted 15 July, 2009;
originally announced July 2009.
-
From Moments to Functions in Quantum Chromodynamics
Authors:
J. Blümlein,
M. Kauers,
S. Klein,
C. Schneider
Abstract:
Single-scale quantities, like the QCD anomalous dimensions and Wilson coefficients, obey difference equations. Therefore their analytic form can be determined from a finite number of moments. We demonstrate this in an explicit calculation by establishing and solving large scale recursions by means of computer algebra for the anomalous dimensions and Wilson coefficients in unpolarized deeply inel…
▽ More
Single-scale quantities, like the QCD anomalous dimensions and Wilson coefficients, obey difference equations. Therefore their analytic form can be determined from a finite number of moments. We demonstrate this in an explicit calculation by establishing and solving large scale recursions by means of computer algebra for the anomalous dimensions and Wilson coefficients in unpolarized deeply inelastic scattering from their Mellin moments to 3-loop order.
△ Less
Submitted 24 February, 2009;
originally announced February 2009.
-
Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
Authors:
J. Blümlein,
M. Kauers,
S. Klein,
C. Schneider
Abstract:
Single scale quantities, as anomalous dimensions and hard scattering cross sections, in renormalizable Quantum Field Theories are found to obey difference equations of finite order in Mellin space. It is often easier to calculate fixed moments for these quantities compared to a direct attempt to derive them in terms of harmonic sums and their generalizations involving the Mellin parameter $N$. S…
▽ More
Single scale quantities, as anomalous dimensions and hard scattering cross sections, in renormalizable Quantum Field Theories are found to obey difference equations of finite order in Mellin space. It is often easier to calculate fixed moments for these quantities compared to a direct attempt to derive them in terms of harmonic sums and their generalizations involving the Mellin parameter $N$. Starting from a sufficiently large number of given moments, we establish linear recurrence relations of lowest possible order with polynomial coefficients of usually high degree. Then these recurrence equations are solved in terms of d'Alembertian solutions where the involved nested sums are represented in optimal nested depth. Given this representation, it is then an easy task to express the result in terms of harmonic sums. In this process we compactify the result such that no algebraic relations occur among the sums involved. We demonstrate the method for the QCD unpolarized anomalous dimensions and massless Wilson coefficients to 3--loop order treating the contributions for individual color coefficients. For the most complicated subproblem 5114 moments were needed in order to produce a recurrence of order 35 whose coefficients have degrees up to 938. About four months of CPU time were needed to establish and solve the recurrences for the anomalous dimensions and Wilson coefficients on a 2 GHz machine requiring less than 10 GB of memory. No algorithm is known yet to provide such a high number of moments for 3--loop quantities. Yet the method presented shows that it is possible to establish and solve recurrences of rather large order and and degree, occurring in physics problems, uniquely, fast and reliably with computer algebra.
△ Less
Submitted 24 February, 2009;
originally announced February 2009.
-
Difference Equations in Massive Higher Order Calculations
Authors:
I. Bierenbaum,
J. Blümlein,
S. Klein,
C. Schneider
Abstract:
The calculation of massive 2--loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter $N$. We report on the solution of these sums through higher order difference equations using the summat…
▽ More
The calculation of massive 2--loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter $N$. We report on the solution of these sums through higher order difference equations using the summation package {\tt Sigma}.
△ Less
Submitted 31 July, 2007;
originally announced July 2007.