Automatisierte Berechnung von Feynman-Graphen

Die Berechnung von experimentell überprüfbaren Vorhersagen aus dem Standardmodell mit Hilfe störungstheoretischer Methoden ist schwierig. Die Herausforderungen liegen in der Berechnung immer komplizierterer Feynman-Integrale und dem zunehmenden Umfang der Rechnungen für Streuprozesse mit vielen Teilchen. Neue mathematische Methoden müssen daher entwickelt und die zunehmende Komplexität durch eine Automatisierung der Berechnungen gezähmt werden. In Kapitel 2 wird eine kurze Einführung in diese Thematik gegeben. Die nachfolgenden Kapitel sind dann einzelnen Beiträgen zur Lösung dieser Probleme gewidmet. In Kapitel 3 stellen wir ein Projekt vor, das für die Analysen der LHC-Daten wichtig sein wird. Ziel des Projekts ist die Berechnung von Einschleifen-Korrekturen zu Prozessen mit vielen Teilchen im Endzustand. Das numerische Verfahren wird dargestellt und erklärt. Es verwendet Helizitätsspinoren und darauf aufbauend eine neue Tensorreduktionsmethode, die Probleme mit inversen Gram-Determinanten weitgehend vermeidet. Es wurde ein Computerprogramm entwickelt, das die Berechnungen automatisiert ausführen kann. Die Implementierung wird beschrieben und Details über die Optimierung und Verifizierung präsentiert. Mit analytischen Methoden beschäftigt sich das vierte Kapitel. Darin wird das xloopsnosp-Projekt vorgestellt, das verschiedene Feynman-Integrale mit beliebigen Massen und Impulskonfigurationen analytisch berechnen kann. Die wesentlichen mathematischen Methoden, die xloops zur Lösung der Integrale verwendet, werden erklärt. Zwei Ideen für neue Berechnungsverfahren werden präsentiert, die sich mit diesen Methoden realisieren lassen. Das ist zum einen die einheitliche Berechnung von Einschleifen-N-Punkt-Integralen, und zum anderen die automatisierte Reihenentwicklung von Integrallösungen in höhere Potenzen des dimensionalen Regularisierungsparameters $epsilon$. Zum letzteren Verfahren werden erste Ergebnisse vorgestellt. Die Nützlichkeit der automatisierten Reihenentwicklung aus Kapitel 4 hängt von der numerischen Auswertbarkeit der Entwicklungskoeffizienten ab. Die Koeffizienten sind im allgemeinen Multiple Polylogarithmen. In Kapitel 5 wird ein Verfahren für deren numerische Auswertung vorgestellt. Dieses neue Verfahren für Multiple Polylogarithmen wurde zusammen mit bekannten Verfahren für andere Polylogarithmus-Funktionen als Bestandteil der CC-Bibliothek ginac implementiert.

Kinematics of fibrous aggregates

This thesis reports on a research into the progressive development of fibrous aggregates, e.g. calcite, quartz and mica crystals in veins and strain fringes. The study is based on microstructural analysis of natural examples and on computer experiments. Investigation of fibrous looking elongate crystals in striped bedding-veins from the Orobic Alps, Italy indicate that these crystals do not track the opening trajectory of the veins but are oriented at an angle of up to 80° to the opening direction. Microstructural analysis of quartz, calcite and chlorite fibres in antitaxial strain fringes indicate that most strain fringes contain complex intergrowth of tracking (displacement-controlled) and non-tracking (face-controlled) fibres. To explain these growth features the computer program

Zur systematischen Relevanz von Juglandaceen-Blättern unter besonderer Berücksichtigung fossiler Funde aus der Grube Messel und dem Eckfelder Maar

In der vorliegenden Arbeit wurden die Blattmerkmale der Juglandaceen auf ihre systematische Verwertbarkeit hin untersucht. Ein Datensatz mit 62 Blattmerkmalen von 48 rezenten Juglandaceen-Arten wurde zusammengetragen. Zusätzlich wurden vier fossile Blattformen erfasst. Die fossilen Blätter stammen aus zwei Fundstätten des deutschen Eozäns. Der Datensatz wurde mit dem Computerprogramm MacClade® auf ein Phylogramm aus Manos und Stone (2001) übertragen (‚character mapping’). Zusätzlich wurde eine Hauptkomponentenanalyse mit dem Computerprogramm PAST® durchgeführt. Die meisten taxonomischen Einheiten der Juglandaceen konnten mithilfe des ‚character mapping’ wiedererkannt werden, die dafür verantwortlichen Blattmerkmale haben somit ihre systematische Signifikanz unter Beweis gestellt. Weiterhin konnte eine Evolutionstendenz des Induments belegt werden. Zwischen den ursprünglichen und den abgeleiteten Juglandaceen-Taxa ist eine zunehmende Differenzierung des Induments zu beobachten. Die fossilen Blattformen bildeten in der Hauptkomponentenanalyse eine eindeutig erkennbare Gruppierung, die von allen rezenten Taxa der Analyse separiert ist. Demnach lassen sie sich nicht durch einen Vergleich mit rezenten Blättern systematisch zuordnen. Die fossilen Blattformen der Juglandaceen bestätigen die hier belegte Evolutions-tendenz des Induments. Sie stehen mit ihren ursprünglichen Indumentstrukturen am Ausgangspunkt der Indumentevolution.

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.