3,468 research outputs found
Groebner Bases in Perturbative Calculations
In this paper we outline the most general and universal algorithmic approach
to reduction of loop integrals to basic integrals. The approach is based on
computation of Groebner bases for recurrence relations derived from the
integration by parts method. In doing so we consider generic recurrence
relations when propagators have arbitrary integer powers treated as symbolic
variables (indices) for the relations.Comment: 5 page
Computer algebra tools for Feynman integrals and related multi-sums
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
Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations
We outline a new algorithm to solve coupled systems of differential equations
in one continuous variable (resp. coupled difference equations in one
discrete variable ) 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
A toolbox to solve coupled systems of differential and difference equations
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 -space is obtained as an iterated integral representation
over general alphabets, generalizing Poincar\'{e} iterated integrals
Automatic Computation of Feynman Diagrams
Quantum corrections significantly influence the quantities observed in modern
particle physics. The corresponding theoretical computations are usually quite
lengthy which makes their automation mandatory. This review reports on the
current status of automatic calculation of Feynman diagrams in particle
physics. The most important theoretical techniques are introduced and their
usefulness is demonstrated with the help of simple examples. A survey over
frequently used programs and packages is provided, discussing their abilities
and fields of applications. Subsequently, some powerful packages which have
already been applied to important physical problems are described in more
detail. The review closes with the discussion of a few typical applications for
the automated computation of Feynman diagrams, addressing current physical
questions like properties of the and Higgs boson, four-loop corrections to
renormalization group functions and two-loop electroweak corrections.Comment: Latex, 62 pages. Typos corrected, references updated and some
comments added. Vertical offset changed. The complete paper is also available
via anonymous ftp at ftp://ttpux2.physik.uni-karlsruhe.de/ttp98/ttp98-41/ or
via www at http://www-ttp.physik.uni-karlsruhe.de/Preprints
- …