Use of computer algebra in the calculation of Feynman diagrams

The increasing precision of current and future experiments in high-energy physics requires a likewise increase in the accuracy of the calculation of theoretical predictions, in order to find evidence for possible deviations of the generally accepted Standard Model of elementary particles and interactions. Calculating the experimentally measurable cross sections of scattering and decay processes to a higher accuracy directly translates into including higher order radiative corrections in the calculation. The large number of particles and interactions in the full Standard Model results in an exponentially growing number of Feynman diagrams contributing to any given process in higher orders. Additionally, the appearance of multiple independent mass scales makes even the calculation of single diagrams non-trivial. For over two decades now, the only way to cope with these issues has been to rely on the assistance of computers. The aim of the xloops project is to provide the necessary tools to automate the calculation procedures as far as possible, including the generation of the contributing diagrams and the evaluation of the resulting Feynman integrals. The latter is based on the techniques developed in Mainz for solving one- and two-loop diagrams in a general and systematic way using parallel/orthogonal space methods. These techniques involve a considerable amount of symbolic computations. During the development of xloops it was found that conventional computer algebra systems were not a suitable implementation environment. For this reason, a new system called GiNaC has been created, which allows the development of large-scale symbolic applications in an object-oriented fashion within the C++ programming language. This system, which is now also in use for other projects besides xloops, is the main focus of this thesis. The implementation of GiNaC as a C++ library sets it apart from other algebraic systems. Our results prove that a highly efficient symbolic manipulator can be designed in an object-oriented way, and that having a very fine granularity of objects is also feasible. The xloops-related parts of this work consist of a new implementation, based on GiNaC, of functions for calculating one-loop Feynman integrals that already existed in the original xloops program, as well as the addition of supplementary modules belonging to the interface between the library of integral functions and the diagram generator.

A commutative higher cycle map into Deligne-Beilinson cohomology

Das Ziel dieser Arbeit ist die Konstruktion eines Homomorphismus von partiell definierten, graduiert-kommutativen Algebren, der nach Ubergang zu rationalen Kohomologiegruppen mit der Regulatorabbildung reg zwischen motivischer und Deligne-Beilinson Kohomologie übereinstimmt.rnZu Beginn der Arbeit werden verschiedene Komplexe beschrieben, mit denen sich die motivische und die Deligne-Beilinson Kohomologie berechnen lassen.rnIm ersten Kapitel wird der Komplex der höheren Chow Ketten und der Unterkomplex der "alternierenden" Ketten "in guter Lage" eingeführt, die beide die motivische Kohomologie berechnen (letzterer mit rationalen Koeffizienten).rnIn den folgenden beiden Kapiteln werden Komplexe C_D und P_D beschrieben, mit denen sich die (rationale) Deligne-Beilinson Kohomologie berechnen lässt. Diese sind aufgebaut aus sogenannten Strömen, die im zweiten Kapitel eingeführt werden. Verknüpft sind die beiden Komplexe durch eine Auswertungsabbildung ev, die für rationale Koeffizienten zu einem Quasi-Isomorphismus wird. Auf beiden Komplexen lassen sich (Schnitt-)Produkte definieren, von denen jedoch nur das Produkt auf P_D gleichzeitig assoziativ und graduiert-kommutativ ist.rnIm vierten Kapitel wird ganz allgemein für eine Familie von Komplexen, die einer Reihe an Anforderungen genügt, ein (partiell definierter) Homomorphismus (der Regulator) von dem Komplex der höheren Chow Ketten in eben diese Komplexe konstruiert. Die beiden oben genannten Komplexe erfüllen diese Anforderungen und liefern daher Regulatoren reg_C und reg_P