• Corpus ID: 10885090

# Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals

@article{Ablinger2012AdvancedCA,
title={Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals},
author={Jakob Ablinger and Johannes Bl{\"u}mlein and Mark Round and Carsten Schneider},
journal={ArXiv},
year={2012},
volume={abs/1210.1685}
}
• Published 1 October 2012
• Mathematics
• ArXiv
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…
19 Citations

### Extensions of the AZ-algorithm and the Package MultiIntegrate

• J. Ablinger
• Mathematics
Texts & Monographs in Symbolic Computation
• 2021
The Mathematica package MultiIntegrate, can be considered as an enhanced implementation of the (continuous) multivariate Almkvist Zeilberger algorithm to compute recurrences or differential equations for hyperexponential integrands and integrals.

### Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms

• Mathematics
Journal of Mathematical Physics
• 2013
The Mellin and inverse Mellin transform is work out which connects the sums under consideration with the associated Poincare iterated integrals, also called generalized harmonic polylogarithms, and algebraic and structural relations are derived for the compactification of S-sum expressions.

### Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction

A difference field approach for symbolic summation that enables one to simplify such definite nested sums to indefinite nested sums, in particular, in terms of harmonic sums, generalized harmonic sums or binomial sums.

### Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations

• Mathematics
ArXiv
• 2014
A new algorithm to solve coupled systems of differential equations in one continuous variable $x$ depending on a small parameter $\epsilon$ if they are expressible in terms of indefinite nested sums and products, based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms is outlined.

### Computation of form factors in massless QCD with finite master integrals

• Mathematics
• 2016
We present the bare one-, two-, and three-loop form factors in massless quantum chromodynamics as linear combinations of finite master integrals. Using symbolic integration, we compute their

### Simplifying Multiple Sums in Difference Fields

This survey article presents difference field algorithms for symbolic summation that can be solved completely automatically for large scale summation problems for the evaluation of Feynman diagrams in QCD (Quantum ChromoDynamics).

### Refined Holonomic Summation Algorithms in Particle Physics

• Mathematics
ArXiv
• 2017
An improved multi-summation approach is introduced and discussed that enables one to simultaneously handle sequences generated by indefinite nested sums and products in the setting of difference

### Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

• Mathematics
ArXiv
• 2013
This work uses computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions, which appeared in the famous Handbook of Mathematical Functions but their proofs were lost.

## References

SHOWING 1-10 OF 48 REFERENCES

### Evaluation of Multi-Sums for Large Scale Problems

• Mathematics
ArXiv
• 2012
This article presents a general summation method based on difference fields that simplifies multi-sums by transforming them from inside to outside to representations in terms of indefinite nested sums and products.

### Computer Algebra Algorithms for Special Functions in Particle Physics

This work treats iterated integrals of the Poincar\'e and Chen-type, such as harmonic polylogarithms and their generalizations and state an algorithm which rewrites certain types of nested sums into expressions in terms of cyclotomic S-sums.

### Nested sums, expansion of transcendental functions and multiscale multiloop integrals

• Mathematics
• 2002
Expansion of higher transcendental functions in a small parameter are needed in many areas of science. For certain classes of functions this can be achieved by algebraic means. These algebraic tools

### The Massless Higher-Loop Two-Point Function

We introduce a new method for computing massless Feynman integrals analytically in parametric form. An analysis of the method yields a criterion for a primitive Feynman graph G to evaluate to

### Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials

• Mathematics
ArXiv
• 2011
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

### An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities

• Mathematics
• 1992
SummaryIt is shown that every ‘proper-hypergeometric’ multisum/integral identity, orq-identity, with a fixed number of summations and/or integration signs, possesses a short, computer-constructible