-
Defects and Phases of Higher Rank Abelian GLSMs
Authors:
Ilka Brunner,
Daniel Roggenkamp,
Christian P. M. Schneider
Abstract:
We construct defects describing the transition between different phases of gauged linear sigma models with higher rank abelian gauge groups, as well as defects embedding these phases into the GLSMs. Our construction refers entirely to the sector protected by B-type supersymmetry, decoupling the gauge sector. It relies on an abstract characterization of such transition defects and does not involve…
▽ More
We construct defects describing the transition between different phases of gauged linear sigma models with higher rank abelian gauge groups, as well as defects embedding these phases into the GLSMs. Our construction refers entirely to the sector protected by B-type supersymmetry, decoupling the gauge sector. It relies on an abstract characterization of such transition defects and does not involve an actual perturbative analysis. It turns out that the choices that are required to characterize consistent transition defects match with the homotopy classes of paths between different phases. Our method applies to non-anomalous as well as anomalous GLSMs, and we illustrate both cases with examples. This includes the GLSM associated to the resolution of the $A_N$ singularity and one describing the entire parameter space of $N = 2$ minimal models, in particular, the relevant flows between them. Via fusion with boundary conditions, the defects we construct yield functors describing the transport of D-branes on parameter space. We find that our results match with known results on D-brane transport.
△ Less
Submitted 6 December, 2024;
originally announced December 2024.
-
Analytic results on the massive three-loop form factors: quarkonic contributions
Authors:
Johannes Blümlein,
Abilio De Freitas,
Peter Marquard,
Narayan Rana,
Carsten Schneider
Abstract:
The quarkonic contributions to the three-loop heavy-quark form factors for vector, axial-vector, scalar and pseudoscalar currents are described by closed form difference equations for the expansion coefficients in the limit of small virtualities $q^2/m^2$. A part of the contributions can be solved analytically and expressed in terms of harmonic and cyclotomic harmonic polylogarithms and square-roo…
▽ More
The quarkonic contributions to the three-loop heavy-quark form factors for vector, axial-vector, scalar and pseudoscalar currents are described by closed form difference equations for the expansion coefficients in the limit of small virtualities $q^2/m^2$. A part of the contributions can be solved analytically and expressed in terms of harmonic and cyclotomic harmonic polylogarithms and square-root valued iterated integrals. Other contributions obey equations which are not first-order factorizable. For them still infinite series expansions around the singularities of the form factors can be obtained by matching the expansions at intermediate points and using differential equations which are obeyed directly by the form factors and are derived by guessing algorithms. One may determine all expansion coefficients for $q^2 /m^2 \to \infty$ analytically in terms of multiple zeta values. By expanding around the threshold and pseudo-threshold, the corresponding constants are multiple zeta values supplemented by a finite amount of new constants, which can be computed at high precision. For a part of these coefficients, the infinite series in front of these constants may be even resummed into harmonic polylogarithms. In this way, one obtains a deeper analytic description of the massive form factors, beyond their pure numerical evaluation. The calculations of these analytic results are based on sophisticated computer algebra techniques. We also compare our results with numerical results in the literature.
△ Less
Submitted 6 July, 2023;
originally announced July 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.
-
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.
-
Three loop heavy quark form factors and their asymptotic behavior
Authors:
J. Ablinger,
J. Blümlein,
P. Marquard,
N. Rana,
C. Schneider
Abstract:
A summary of the calculation of the color-planar and complete light quark contributions to the massive three-loop form factors is presented. Here a novel calculation method for the Feynman integrals is used, solving general uni-variate first order factorizable systems of differential equations. We also present predictions for the asymptotic structure of these form factors.
A summary of the calculation of the color-planar and complete light quark contributions to the massive three-loop form factors is presented. Here a novel calculation method for the Feynman integrals is used, solving general uni-variate first order factorizable systems of differential equations. We also present predictions for the asymptotic structure of these form factors.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Three loop QCD corrections to heavy quark form factors
Authors:
J. Ablinger,
J. Blümlein,
P. Marquard,
N. Rana,
C. Schneider
Abstract:
Higher order calculations in perturbative Quantum Field Theories often produce coupled linear systems of differential equations which factorize to first order. Here we present an algorithm to solve such systems in terms of iterated integrals over an alphabet the structure of which is implied by the coefficient matrix of the given system. We apply this method to calculate the master integrals in th…
▽ More
Higher order calculations in perturbative Quantum Field Theories often produce coupled linear systems of differential equations which factorize to first order. Here we present an algorithm to solve such systems in terms of iterated integrals over an alphabet the structure of which is implied by the coefficient matrix of the given system. We apply this method to calculate the master integrals in the color-planar and complete light quark contributions to the three-loop massive form factors.
△ Less
Submitted 9 May, 2019;
originally announced May 2019.
-
Automated Solution of First Order Factorizable Systems of Differential Equations in One Variable
Authors:
J. Ablinger,
J. Blümlein,
P. Marquard,
N. Rana,
C. Schneider
Abstract:
We present an algorithm which allows to solve analytically linear systems of differential equations which factorize to first order. The solution is given in terms of iterated integrals over an alphabet where its structure is implied by the coefficient matrix of the differential equations. These systems appear in a large variety of higher order calculations in perturbative Quantum Field Theories. W…
▽ More
We present an algorithm which allows to solve analytically linear systems of differential equations which factorize to first order. The solution is given in terms of iterated integrals over an alphabet where its structure is implied by the coefficient matrix of the differential equations. These systems appear in a large variety of higher order calculations in perturbative Quantum Field Theories. We apply this method to calculate the master integrals of the three--loop massive form factors for different currents, as an illustration, and present the results for the vector form factors in detail. Here the solution space emerging is given by the cyclotomic harmonic polylogarithms and their associated special constants. No special basis representation of the master integrals is needed. The algorithm can be applied as well to more general cases factorizing at first order, which are based on more general alphabets, iterated integrals and associated constants.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Numerical Implementation of Harmonic Polylogarithms to Weight w = 8
Authors:
J. Ablinger,
J. Blümlein,
M. Round,
C. Schneider
Abstract:
We present the FORTRAN-code HPOLY.f for the numerical calculation of harmonic polylogarithms up to w = 8 at an absolute accuracy of $\sim 4.9 \cdot 10^{-15}$ or better. Using algebraic and argument relations the numerical representation can be limited to the range $x \in [0, \sqrt{2}-1]$. We provide replacement files to map all harmonic polylogarithms to a basis and the usual range of arguments…
▽ More
We present the FORTRAN-code HPOLY.f for the numerical calculation of harmonic polylogarithms up to w = 8 at an absolute accuracy of $\sim 4.9 \cdot 10^{-15}$ or better. Using algebraic and argument relations the numerical representation can be limited to the range $x \in [0, \sqrt{2}-1]$. We provide replacement files to map all harmonic polylogarithms to a basis and the usual range of arguments $x \in ]-\infty,+\infty[$ to the above interval analytically. We also briefly comment on a numerical implementation of real valued cyclotomic harmonic polylogarithms.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
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.
-
Analytic Computing Methods for Precision Calculations in Quantum Field Theory
Authors:
Johannes Blümlein,
Carsten Schneider
Abstract:
An overview is presented on the current status of main mathematical computation methods for the multi-loop corrections to single scale observables in quantum field theory and the associated mathematical number and function spaces and algebras. At present massless single scale quantities can be calculated analytically in QCD to 4-loop order and single mass and double mass quantities to 3-loop order…
▽ More
An overview is presented on the current status of main mathematical computation methods for the multi-loop corrections to single scale observables in quantum field theory and the associated mathematical number and function spaces and algebras. At present massless single scale quantities can be calculated analytically in QCD to 4-loop order and single mass and double mass quantities to 3-loop order, while zero scale quantities have been calculated to 5-loop order. The precision requirements of the planned measurements, particularly at the FCC-ee, form important challenges to theory, and will need important extensions of the presently known methods.
△ Less
Submitted 8 September, 2018;
originally announced September 2018.
-
The $ρ$ parameter at three loops and elliptic integrals
Authors:
J. Blümlein,
A. De Freitas,
M. van Hoeij,
E. Imamoglu,
P. Marquard,
C. Schneider
Abstract:
We describe the analytic calculation of the master integrals required to compute the two-mass three-loop corrections to the $ρ$ parameter. In particular, we present the calculation of the master integrals for which the corresponding differential equations do not factorize to first order. The homogeneous solutions to these differential equations are obtained in terms of hypergeometric functions at…
▽ More
We describe the analytic calculation of the master integrals required to compute the two-mass three-loop corrections to the $ρ$ parameter. In particular, we present the calculation of the master integrals for which the corresponding differential equations do not factorize to first order. The homogeneous solutions to these differential equations are obtained in terms of hypergeometric functions at rational argument. These hypergeometric functions can further be mapped to complete elliptic integrals, and the inhomogeneous solutions are expressed in terms of a new class of integrals of combined iterative non-iterative nature.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Special functions, transcendentals and their numerics
Authors:
Jakob Ablinger,
Johannes Blumlein,
Mark Round,
Carsten Schneider
Abstract:
Cyclotomic polylogarithms are reviewed and new results concerning the special constants that occur are presented. This also allows some comments on previous literature results using PSLQ.
Cyclotomic polylogarithms are reviewed and new results concerning the special constants that occur are presented. This also allows some comments on previous literature results using PSLQ.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
Iterative and Iterative-Noniterative Integral Solutions in 3-Loop Massive QCD Calculations
Authors:
J. Ablinger,
A. Behring,
J. Blümlein,
A. De Freitas,
E. Imamoglu,
M. van Hoeij A. von Manteuffel,
C. G. Raab,
C. -S. Radu,
C. Schneider
Abstract:
Various of the single scale quantities in massless and massive QCD up to 3-loop order can be expressed by iterative integrals over certain classes of alphabets, from the harmonic polylogarithms to root-valued alphabets. Examples are the anomalous dimensions to 3-loop order, the massless Wilson coefficients and also different massive operator matrix elements. Starting at 3-loop order, however, also…
▽ More
Various of the single scale quantities in massless and massive QCD up to 3-loop order can be expressed by iterative integrals over certain classes of alphabets, from the harmonic polylogarithms to root-valued alphabets. Examples are the anomalous dimensions to 3-loop order, the massless Wilson coefficients and also different massive operator matrix elements. Starting at 3-loop order, however, also other letters appear in the case of massive operator matrix elements, the so called iterative non-iterative integrals, which are related to solutions based on complete elliptic integrals or any other special function with an integral representation that is definite but not a Volterra-type integral. After outlining the formalism leading to iterative non-iterative integrals,we present examples for both of these cases with the 3-loop anomalous dimension $γ_{qg}^{(2)}$ and the structure of the principle solution in the iterative non-interative case of the 3-loop QCD corrections to the $ρ$-parameter.
△ Less
Submitted 27 November, 2017;
originally announced November 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.
-
Algebraic independence of sequences generated by (cyclotomic) harmonic sums
Authors:
Jakob Ablinger,
Carsten Schneider
Abstract:
An expression in terms of (cyclotomic) harmonic sums can be simplified by the quasi-shuffle algebra in terms of the so-called basis sums. By construction, these sums are algebraically independent within the quasi-shuffle algebra. In this article we show that the basis sums can be represented within a tower of difference ring extensions where the constants remain unchanged. This property enables on…
▽ More
An expression in terms of (cyclotomic) harmonic sums can be simplified by the quasi-shuffle algebra in terms of the so-called basis sums. By construction, these sums are algebraically independent within the quasi-shuffle algebra. In this article we show that the basis sums can be represented within a tower of difference ring extensions where the constants remain unchanged. This property enables one to embed this difference ring for the (cyclotomic) harmonic sums into the ring of sequences. This construction implies that the sequences produced by the basis sums are algebraically independent over the rational sequences adjoined with the alternating sequence.
△ Less
Submitted 24 April, 2017; v1 submitted 13 October, 2015;
originally announced October 2015.
-
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.
-
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.
-
Iterated Binomial Sums and their Associated Iterated Integrals
Authors:
J. Ablinger,
J. Blümlein,
C. G. Raab,
C. Schneider
Abstract:
We consider finite iterated generalized harmonic sums weighted by the binomial $\binom{2k}{k}$ in numerators and denominators. A large class of these functions emerges in the calculation of massive Feynman diagrams with local operator insertions starting at 3-loop order in the coupling constant and extends the classes of the nested harmonic, generalized harmonic and cyclotomic sums. The binomially…
▽ More
We consider finite iterated generalized harmonic sums weighted by the binomial $\binom{2k}{k}$ in numerators and denominators. A large class of these functions emerges in the calculation of massive Feynman diagrams with local operator insertions starting at 3-loop order in the coupling constant and extends the classes of the nested harmonic, generalized harmonic and cyclotomic sums. The binomially weighted sums are associated by the Mellin transform to iterated integrals over square-root valued alphabets. The values of the sums for $N \rightarrow \infty$ and the iterated integrals at $x=1$ lead to new constants, extending the set of special numbers given by the multiple zeta values, the cyclotomic zeta values and special constants which emerge in the limit $N \rightarrow \infty$ of generalized harmonic sums. We develop algorithms to obtain the Mellin representations of these sums in a systematic way. They are of importance for the derivation of the asymptotic expansion of these sums and their analytic continuation to $N \in \mathbb{C}$. The associated convolution relations are derived for real parameters and can therefore be used in a wider context, as e.g. for multi-scale processes. We also derive algorithms to transform iterated integrals over root-valued alphabets into binomial sums. Using generating functions we study a few aspects of infinite (inverse) binomial sums.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Calculating Massive 3-loop Graphs for Operator Matrix Elements by the Method of Hyperlogarithms
Authors:
Jakob Ablinger,
Johannes Blümlein,
Clemens Raab,
Carsten Schneider,
Fabian Wißbrock
Abstract:
We calculate convergent 3-loop Feynman diagrams containing a single massive loop equipped with twist $τ=2$ local operator insertions corresponding to spin $N$. They contribute to the massive operator matrix elements in QCD describing the massive Wilson coefficients for deep-inelastic scattering at large virtualities. Diagrams of this kind can be computed using an extended version to the method of…
▽ More
We calculate convergent 3-loop Feynman diagrams containing a single massive loop equipped with twist $τ=2$ local operator insertions corresponding to spin $N$. They contribute to the massive operator matrix elements in QCD describing the massive Wilson coefficients for deep-inelastic scattering at large virtualities. Diagrams of this kind can be computed using an extended version to the method of hyperlogarithms, originally being designed for massless Feynman diagrams without operators. The method is applied to Benz- and $V$-type graphs, belonging to the genuine 3-loop topologies. In case of the $V$-type graphs with five massive propagators new types of nested sums and iterated integrals emerge. The sums are given in terms of finite binomially and inverse binomially weighted generalized cyclotomic sums, while the 1-dimensionally iterated integrals are based on a set of $\sim 30$ square-root valued letters. We also derive the asymptotic representations of the nested sums and present the solution for $N \in \mathbb{C}$. Integrals with a power-like divergence in $N$--space $\propto a^N, a \in \mathbb{R}, a > 1,$ for large values of $N$ emerge. They still possess a representation in $x$--space, which is given in terms of root-valued iterated integrals in the present case. The method of hyperlogarithms is also used to calculate higher moments for crossed box graphs with different operator insertions.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers
Authors:
J Ablinger,
J Blümlein,
C Schneider
Abstract:
A survey is given on mathematical structures which emerge in multi-loop Feynman diagrams. These are multiply nested sums, and, associated to them by an inverse Mellin transform, specific iterated integrals. Both classes lead to sets of special numbers. Starting with harmonic sums and polylogarithms we discuss recent extensions of these quantities as cyclotomic, generalized (cyclotomic), and binomi…
▽ More
A survey is given on mathematical structures which emerge in multi-loop Feynman diagrams. These are multiply nested sums, and, associated to them by an inverse Mellin transform, specific iterated integrals. Both classes lead to sets of special numbers. Starting with harmonic sums and polylogarithms we discuss recent extensions of these quantities as cyclotomic, generalized (cyclotomic), and binomially weighted sums, associated iterated integrals and special constants and their relations.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction
Authors:
Carsten Schneider
Abstract:
A large class of Feynman integrals, like e.g., two-point parameter integrals with at most one mass and containing local operator insertions, can be transformed to multi-sums over hypergeometric expressions. In this survey article we present a difference field approach for symbolic summation that enables one to simplify such definite nested sums to indefinite nested sums. In particular, the simplif…
▽ More
A large class of Feynman integrals, like e.g., two-point parameter integrals with at most one mass and containing local operator insertions, can be transformed to multi-sums over hypergeometric expressions. In this survey article we present a difference field approach for symbolic summation that enables one to simplify such definite nested sums to indefinite nested sums. In particular, the simplification is given -if possible- in terms of harmonic sums, generalized harmonic sums, cyclotomic harmonic sums or binomial sums. Special emphasis is put on the developed packages Sigma, EvaluateMultiSums and SumProduction that assist in the task to perform these simplifications completely automatically for huge input expressions.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Simplifying Multiple Sums in Difference Fields
Authors:
Carsten Schneider
Abstract:
In this survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematic…
▽ More
In this survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematica package \SigmaP\ by discovering and proving new harmonic number identities extending those from (Paule and Schneider, 2003). In addition, the newly developed package \texttt{EvaluateMultiSums} is introduced that combines the presented tools. In this way, large scale summation problems for the evaluation of Feynman diagrams in QCD (Quantum ChromoDynamics) can be solved completely automatically.
△ Less
Submitted 15 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.
-
Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N
Authors:
J. Ablinger,
J. Blümlein,
A. De Freitas,
A. Hasselhuhn,
S. Klein,
C. Raab,
M. Round,
C. Schneider,
F. Wißbrock
Abstract:
Recent results on the calculation of 3-loop massive operator matrix elements in case of one and two heavy quark masses are reported. They concern the $O(n_f T_F^2 C_{F,A})$ and $O(T_F^2 C_{F,A})$ gluonic corrections, two-mass quarkonic moments, and ladder- and Benz-topologies. We also discuss technical aspects of the calculations.
Recent results on the calculation of 3-loop massive operator matrix elements in case of one and two heavy quark masses are reported. They concern the $O(n_f T_F^2 C_{F,A})$ and $O(T_F^2 C_{F,A})$ gluonic corrections, two-mass quarkonic moments, and ladder- and Benz-topologies. We also discuss technical aspects of the calculations.
△ Less
Submitted 2 January, 2013; v1 submitted 31 December, 2012;
originally announced December 2012.
-
Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals
Authors:
J. Ablinger,
S. Blümlein,
M. Round,
C. Schneider
Abstract:
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 alg…
▽ More
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 can decide efficiently if the first coefficients of the Laurent series expansion of a given Feynman integral can be expressed in terms of indefinite nested sums and products; if yes, the all $n$ solution is returned in compact representations, i.e., no algebraic relations exist among the occurring sums and products.
△ Less
Submitted 5 October, 2012;
originally announced October 2012.
-
Massive 3-loop Ladder Diagrams for Quarkonic Local Operator Matrix Elements
Authors:
Jakob Ablinger,
Johannes Blümlein,
Alexander Hasselhuhn,
Sebastian Klein,
Carsten Schneider,
Fabian Wißbrock
Abstract:
3-loop diagrams of the ladder-type, which emerge for local quarkonic twist-2 operator matrix elements, are computed directly for general values of the Mellin variable $N$ using Appell-function representations and applying modern summation technologies provided by the package {\sf Sigma} and the method of hyperlogarithms. In some of the diagrams generalized harmonic sums with $ξ\in \{1,1/2,2\}$ eme…
▽ More
3-loop diagrams of the ladder-type, which emerge for local quarkonic twist-2 operator matrix elements, are computed directly for general values of the Mellin variable $N$ using Appell-function representations and applying modern summation technologies provided by the package {\sf Sigma} and the method of hyperlogarithms. In some of the diagrams generalized harmonic sums with $ξ\in \{1,1/2,2\}$ emerge beyond the usual nested harmonic sums. As the asymptotic representation of the corresponding integrals shows, the generalized sums conspire giving well behaved expressions for large values of $N$. These diagrams contribute to the 3-loop heavy flavor Wilson coefficients of the structure functions in deep-inelastic scattering in the region $Q^2 \gg m^2$.
△ Less
Submitted 10 May, 2013; v1 submitted 11 June, 2012;
originally announced June 2012.
-
The $O(α_s^3 n_f T_F^2 C_{A,F})$} Contributions to the Gluonic Massive Operator Matrix Elements
Authors:
Johannes Blümlein,
Alexander Hasselhuhn,
Sebastian Klein,
Carsten Schneider
Abstract:
The $O(α_s^3 n_f T_F^2 C_{A,F})$ terms to the massive gluonic operator matrix elements are calculated for general values of the Mellin variable $N$. These twist-2 matrix elements occur as transition functions in the variable flavor number scheme at NNLO. The calculation uses sum-representations in generalized hypergeometric series turning into harmonic sums. The analytic continuation to complex va…
▽ More
The $O(α_s^3 n_f T_F^2 C_{A,F})$ terms to the massive gluonic operator matrix elements are calculated for general values of the Mellin variable $N$. These twist-2 matrix elements occur as transition functions in the variable flavor number scheme at NNLO. The calculation uses sum-representations in generalized hypergeometric series turning into harmonic sums. The analytic continuation to complex values of $N$ is provided.
△ Less
Submitted 18 May, 2012;
originally announced May 2012.
-
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.
-
New Heavy Flavor Contributions to the DIS Structure Function $F_2(x,Q^2)$ at $O(α_s^3)
Authors:
J. Ablinger,
J. Blümlein,
A. Hasselhuhn,
S. Klein,
C. Schneider,
F. Wißbrock
Abstract:
We report on recent results obtained for the massive Wilson coefficients which contribute to the structure function $F_2(x,Q^2)$ at $O(α_s^3)$ in the region $Q^2/m^2 \gsim 10$. In the calculation new species of harmonic sums and harmonic polylogarithms generated by cyclotomic polynomials arise in intermediary results which are briefly discussed.
We report on recent results obtained for the massive Wilson coefficients which contribute to the structure function $F_2(x,Q^2)$ at $O(α_s^3)$ in the region $Q^2/m^2 \gsim 10$. In the calculation new species of harmonic sums and harmonic polylogarithms generated by cyclotomic polynomials arise in intermediary results which are briefly discussed.
△ Less
Submitted 13 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 O(α_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x,Q^2) and Transversity
Authors:
J. Ablinger,
J. Blümlein,
S. Klein,
C. Schneider,
F. Wißbrock
Abstract:
The contributions $\propto n_f$ to the $O(α_s^3)$ massive operator matrix elements describing the heavy flavor Wilson coefficients in the limit $Q^2 \gg m^2$ are computed for the structure function $F_2(x,Q^2)$ and transversity for general values of the Mellin variable $N$. Here, for two matrix elements, $A_{qq,Q}^{\sf PS}(N)$ and $A_{qg,Q}(N)$, the complete result is obtained. A first independent…
▽ More
The contributions $\propto n_f$ to the $O(α_s^3)$ massive operator matrix elements describing the heavy flavor Wilson coefficients in the limit $Q^2 \gg m^2$ are computed for the structure function $F_2(x,Q^2)$ and transversity for general values of the Mellin variable $N$. Here, for two matrix elements, $A_{qq,Q}^{\sf PS}(N)$ and $A_{qg,Q}(N)$, the complete result is obtained. A first independent computation of the contributions to the 3--loop anomalous dimensions $γ_{qg}(N)$, $γ_{qq}^{\sf PS}(N$ and $γ_{qq}^{\sf NS,(TR)}(N)$ is given. In the computation advanced summation technologies for nested sums over products of hypergeometric terms with harmonic sums have been used. For intermediary results generalized harmonic sums occur, while the final results can be expressed by nested harmonic sums only.
△ Less
Submitted 19 August, 2010;
originally announced August 2010.
-
Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams
Authors:
J. Ablinger,
J. Blümlein,
S. Klein,
C. Schneider
Abstract:
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.
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.
△ Less
Submitted 24 June, 2010;
originally announced June 2010.
-
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.
-
A Refined Difference Field Theory for Symbolic Summation
Authors:
Carsten Schneider
Abstract:
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. For instance, the algorithms have been applied successively to evaluate Feynman integrals from Perturbative Quantum Field Theory.
In this article we present a refined summation theory based on Karr's difference field approach. The resulting algorithms find sum representations with optimal nested depth. For instance, the algorithms have been applied successively to evaluate Feynman integrals from Perturbative Quantum Field Theory.
△ Less
Submitted 19 August, 2008;
originally announced August 2008.
-
Two--Loop Massive Operator Matrix Elements for Unpolarized Heavy Flavor Production to $O(ε)
Authors:
Isabella Bierenbaum,
Johannes Blümlein,
Sebastian Klein,
Carsten Schneider
Abstract:
We calculate the $O(α_s^2)$ massive operator matrix elements for the twist--2 operators, which contribute to the heavy flavor Wilson coefficients in unpolarized deeply inelastic scattering in the region $Q^2 \gg m^2$, up to the $O(ε)$ contributions. These terms contribute through the renormalization of the $O(α_s^3)$ heavy flavor Wilson coefficients of the structure function $F_2(x,Q^2)$. The ca…
▽ More
We calculate the $O(α_s^2)$ massive operator matrix elements for the twist--2 operators, which contribute to the heavy flavor Wilson coefficients in unpolarized deeply inelastic scattering in the region $Q^2 \gg m^2$, up to the $O(ε)$ contributions. These terms contribute through the renormalization of the $O(α_s^3)$ heavy flavor Wilson coefficients of the structure function $F_2(x,Q^2)$. The calculation has been performed using light--cone expansion techniques without using the integration-by-parts method. We represent the individual Feynman diagrams by generalized hypergeometric structures, the $ε$--expansion of which leads to infinite sums depending on the Mellin variable $N$. These sums are finally expressed in terms of nested harmonic sums using the general summation techniques implemented in the {\tt Sigma} package.
△ Less
Submitted 3 March, 2008;
originally announced March 2008.
-
Feynman integrals and difference equations
Authors:
S. Moch,
C. Schneider
Abstract:
We report on the calculation of multi-loop Feynman integrals for single-scale problems by means of difference equations in Mellin space. The solution to these difference equations in terms of harmonic sums can be constructed algorithmically over difference fields, the so-called Pi-Sigma-fields. We test the implementaion of the Mathematica package Sigma on examples from recent higher order pertur…
▽ More
We report on the calculation of multi-loop Feynman integrals for single-scale problems by means of difference equations in Mellin space. The solution to these difference equations in terms of harmonic sums can be constructed algorithmically over difference fields, the so-called Pi-Sigma-fields. We test the implementaion of the Mathematica package Sigma on examples from recent higher order perturbative calculations in Quantum Chromodynamics.
△ Less
Submitted 12 September, 2007;
originally announced September 2007.
-
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.
