Mathematical aspects of Feynman integrals

In the present dissertation we consider Feynman integrals in the framework of dimensional regularization. As all such integrals can be expressed in terms of scalar integrals, we focus on this latter kind of integrals in their Feynman parametric representation and study their mathematical properties, partially applying graph theory, algebraic geometry and number theory. The three main topics are the graph theoretic properties of the Symanzik polynomials, the termination of the sector decomposition algorithm of Binoth and Heinrich and the arithmetic nature of the Laurent coefficients of Feynman integrals.rnrnThe integrand of an arbitrary dimensionally regularised, scalar Feynman integral can be expressed in terms of the two well-known Symanzik polynomials. We give a detailed review on the graph theoretic properties of these polynomials. Due to the matrix-tree-theorem the first of these polynomials can be constructed from the determinant of a minor of the generic Laplacian matrix of a graph. By use of a generalization of this theorem, the all-minors-matrix-tree theorem, we derive a new relation which furthermore relates the second Symanzik polynomial to the Laplacian matrix of a graph.rnrnStarting from the Feynman parametric parameterization, the sector decomposition algorithm of Binoth and Heinrich serves for the numerical evaluation of the Laurent coefficients of an arbitrary Feynman integral in the Euclidean momentum region. This widely used algorithm contains an iterated step, consisting of an appropriate decomposition of the domain of integration and the deformation of the resulting pieces. This procedure leads to a disentanglement of the overlapping singularities of the integral. By giving a counter-example we exhibit the problem, that this iterative step of the algorithm does not terminate for every possible case. We solve this problem by presenting an appropriate extension of the algorithm, which is guaranteed to terminate. This is achieved by mapping the iterative step to an abstract combinatorial problem, known as Hironaka's polyhedra game. We present a publicly available implementation of the improved algorithm. Furthermore we explain the relationship of the sector decomposition method with the resolution of singularities of a variety, given by a sequence of blow-ups, in algebraic geometry.rnrnMotivated by the connection between Feynman integrals and topics of algebraic geometry we consider the set of periods as defined by Kontsevich and Zagier. This special set of numbers contains the set of multiple zeta values and certain values of polylogarithms, which in turn are known to be present in results for Laurent coefficients of certain dimensionally regularized Feynman integrals. By use of the extended sector decomposition algorithm we prove a theorem which implies, that the Laurent coefficients of an arbitrary Feynman integral are periods if the masses and kinematical invariants take values in the Euclidean momentum region. The statement is formulated for an even more general class of integrals, allowing for an arbitrary number of polynomials in the integrand.

A planar Penning trap

In this thesis I present theoretical and experimental results concern- ing the operation and properties of a new kind of Penning trap, the planar trap. It consists of circular electrodes printed on an isolating surface, with an homogeneous magnetic field pointing perpendicular to that surface. The motivation of such geometry is to be found in the construction of an array of planar traps for quantum informa- tional purposes. The open access to radiation of this geometry, and the long coherence times expected for Penning traps, make the planar trap a good candidate for quantum computation. Several proposals for quantum 2-qubit interactions are studied and estimates for their rates are given. An expression for the electrostatic potential is presented, and its fea- tures exposed. A detailed study of the anharmonicity of the potential is given theoretically and is later demonstrated by experiment and numerical simulations, showing good agreement. Size scalability of this trap has been studied by replacing the original planar trap by a trap twice smaller in the experimental setup. This substitution shows no scale effect apart from those expected for the scaling of the parameters of the trap. A smaller lifetime for trapped electrons is seen for this smaller trap, but is clearly matched to a bigger misalignment of the trap’s surface and the magnetic field, due to its more difficult hand manipulation. I also give a hint that this trap may be of help in studying non-linear dynamics for a sextupolarly perturbed Penning trap.

Volumenpackungen nach SAE J1100

We present new algorithms to approximate the discrete volume of a polyhedral geometry using boxes defined by the US standard SAE J1100. This problem is NP-hard and has its main application in the car design process. The algorithms produce maximum weighted independent sets on a so-called conflict graph for a discretisation of the geometry. We present a framework to eliminate a large portion of the vertices of a graph without affecting the quality of the optimal solution. Using this framework we are also able to define the conflict graph without the use of a discretisation. For the solution of the maximum weighted independent set problem we designed an enumeration scheme which uses the restrictions of the SAE J1100 standard for an efficient upper bound computation. We evaluate the packing algorithms according to the solution quality compared to manually derived results. Finally, we compare our enumeration scheme to several other exact algorithms in terms of their runtime. Grid-based packings either tend to be not tight or have intersections between boxes. We therefore present an algorithm which can compute box packings with arbitrary placements and fixed orientations. In this algorithm we make use of approximate Minkowski Sums, computed by uniting many axis-oriented equal boxes. We developed an algorithm which computes the union of equal axis-oriented boxes efficiently. This algorithm also maintains the Minkowski Sums throughout the packing process. We also extend these algorithms for packing arbitrary objects in fixed orientations.

Reaktivität von Dihypersilylhalogenorganylplumbanen

Organylhalogenide RX reagieren formal gemäß einer oxidativen 1,1-Addition mit Dihypersilylplumbylen) PbHyp2 zu Dihypersilyl-halogenorganylplumbanen PbHyp2RX. Diese Umsetzung gelingt mit nahezu allen untersuchten Organylresten, lediglich beispielsweise der Mesitylrest erweist sich als zu sperrig (R = Me, Et, nPr, iPr, tBu, Hx, cHx, Ad, Ph, C6F5, oTo, mTo, pTo, Naph, Anthr).rnrnFür einige Halogenorganyle wird eine analoge Addition auch an das zinnhomologe Dihypersilylstannylen beschrieben.rnrnDie untersuchten Addukte sind thermisch und gegenüber UV-Strahlung, Sauerstoff und Wasser deutlich weniger empfindlich als vergleichbare andere blei- und zinnorganische Verbindungen.rnrnUmfangreiche NMR-Datensätze beschreiben eine markante Hoch-feldverschiebung der Hypersilylprotonen beim Übergang von PbHyp2 hin zu PbHyp2RX, die für Arylreste stärker ausfällt als für Alkylreste.rnrnEin Großteil der Addukte wurde einkristallin erhalten und wird anhand der röntgendiffraktometrisch ermittelten Strukturparameter detailliert charakterisiert. rnrnEs finden sich gegenüber dem idealen Tetraderwinkel auffällig stark aufgeweitete Si Pb Si-Winkel von 130-143°, während die anderen Winkel mehrheitlich unter dem theoretischen Idealwert bleiben (Si Pb X: 94 103°; Si Pb C: 98-112°; C Pb X: 95-103°). Insbesondere größere, weichere Reste und planare Arylplumbane rücken näher an das Halogen heran.rnDie insgesamt recht hohen Blei-Halogen-Abstände nehmen von den Chloriden hin zu den Iodiden zu. Die Iodoplumbane zeigen dabei generell die kleinsten Pb Si und die größten Pb C Abstände. Alkylplumbane weisen längere Pb C Bindungen auf als ansonsten vergleichbare Arylplumbane.rnrnViele der gefundenen Molekülstrukturen zeigen Anzeichen hoher sterischer Spannung in Form von Substituentenverzerrungen. rnrnDie Bildungsgeschwindigkeit der Addukte ist auch bei tiefen Temperaturen hoch. Sie nimmt von X = Cl über Br hin zu I zu und ist für Alkylreste höher als für Aryle. Die Zerfallsgeschwindigkeiten verhalten sich genau entgegengesetzt. Bei den Thermolysen wird regelmäßig Hypersilylhalogenid eliminiert. Dabei entstehen in Abwesenheit koordinierender Solventien Dihypersilyl-diorganylplumbane PbHyp2R2.rnAndere, unbekannte Zerfallskanäle führen zu unerwarteten Produkten, wie dem Iodonium-verbrückten, cyclischen Tetraplumbetan Pb4I(C6F5)Hyp3.rnrnIn Anwesenheit von Lewis-Basen hingegen können sich hetero-leptische Plumbylene bilden, wie am Beispiel eines Bitolyldiylbisplumbylens gezeigt wird. Dieses zeigt auch, dass prinzipiell eine zweifache Addition von Dihalogenorganylen an zwei Äqui-valente Dihypersilylplumbylen möglich ist. Entsprechende Untersuchungen beschäftigen sich ausführlich mit dafür geeigneten und ungeeigneten Organdiylresten.rnrnUnter günstigen reduktiven Bedingungen lassen sich mittels Metal-lierungsreagenz aus den Dihypersilylhalogenorganylplumbanen unter Halogenidentzug Plumbanide erhalten, die in Form getrennter Ionenpaare isolierbar sind. Diese lassen sich in Ana-logie zu den zuvor beschriebenen Plumbanen ebenfalls als Addukt aus Dihypersilylplumbylen und Lithiumorganylen darstellen.rnrnUnter geeigneten speziellen Bedingungen sind neben metallierten auch formal hydridierte Halogenplumbanide zugänglich.rnrnEntsprechend einer geringen Hybridisierung am zentralen Blei-atom, also eines hohen p-AO-Charakters der bindenden Molekülorbitale und s-AO-Charakters des LEP-Orbitals ergeben sich keine trigonal-planaren, sondern Strukturen mit Substituenten-winkeln sogar nahe bei 90°. Die Bindungslängen zum Blei sind deutlich größere als bei den entsprechenden Halogenplumbanen.rnrnEin besonderes Augenmerk der Arbeit liegt auf der Betrachtung von langlebigen und persistenten heteroleptischen Plumbyl-Radikalen, die durch milde Oxidation mittels PbNsi23) aus den Dihypersilylorganylplumbaniden erhalten werden. Während bislang nur homoleptische Vertreter bekannt waren, die aufgrund des sterischen Anspruchs der Substituenten und aufgrund von Hyperkonjugation von axialsymmetrischer nahezu planarer Geometrie sind, findet sich für die heteroleptischen Plumbyle dieser Arbeit eine stärker pyramidale Geometrie. Ausführlich diskutierte EPR-Experimente liefern Spektren, die gut mit Simulationen für die entsprechenden Radikale übereinstimmen.rnrnDie im Zentrum der Betrachtungen dieser Arbeit stehenden Dihypersilylhalogenorganylplumbane stellen somit einen aussichtsreichen und darüber hinaus persistenten und gut zu handhabenden Ausgangspunkt bei der Darstellung neuartiger und interessanter Spezies dar.

Deriving Deligne-Mumford stacks with perfect obstruction theories

Intersection theory on moduli spaces has lead to immense progress in certain areas of enumerative geometry. For some important areas, most notably counting stable maps and counting stable sheaves, it is important to work with a virtual fundamental class instead of the usual fundamental class of the moduli space. The crucial prerequisite for the existence of such a class is a two-term complex controlling deformations of the moduli space. Kontsevich conjectured in 1994 that there should exist derived version of spaces with this specific property. Another hint at the existence of these spaces comes from derived algebraic geometry. It is expected that for every pair of a space and a complex controlling deformations of the space their exists, under some additional hypothesis, a derived version of the space having the chosen complex as cotangent complex. In this thesis one version of these additional hypothesis is identified. We then show that every space admitting a two-term complex controlling deformations satisfies these hypothesis, and we finally construct the derived spaces.

Mythos und Mathematik : Hermann Brochs Roman "Die Schuldlosen" und seine Essays

„Natürlich habe ich mich [...] unausgesetzt mit Mathematik beschäftigt, umso mehr als ich sie für meine erkenntnistheoretisch-philosophischen Studien brauchte, denn ohne Mathematik lässt sich kaum mehr philosophieren.“, schreibt Hermann Broch 1948, ein Schriftsteller, der ca. zehn Jahre zuvor von sich selbst sogar behauptete, das Mathematische sei eine seiner stärksten Begabungen.rnDiesem Hinweis, die Bedeutung der Mathematik für das Brochsche Werk näher zu untersuchen, wurde bis jetzt in der Forschung kaum Folge geleistet. Besonders in Bezug auf sein Spätwerk Die Schuldlosen fehlen solche Betrachtungen ganz, sie scheinen jedoch unentbehrlich für die Entschlüsselung dieses Romans zu sein, der oft zu Unrecht als Nebenarbeit abgewertet wurde, weil ihm „mit gängigen literaturwissenschaftlichen Kategorien […] nicht beizukommen ist“ (Koopmann, 1994). rnDa dieser Aspekt insbesondere mit Blick auf Die Schuldlosen ein Forschungsdesiderat darstellt, war das Ziel der vorliegenden Arbeit, Brochs mathematische Studien genauer nachzuvollziehen und vor diesem Hintergrund eine Neuperspektivierung der Schuldlosen zu leisten. Damit wird eine Grundlage geschaffen, die einen adäquaten Zugang zur Struktur dieses Romans eröffnet.rnDie vorliegende Arbeit ist in zwei Teile gegliedert. Nach einer Untersuchung von Brochs theoretischen Betrachtungen anhand ausgewählter Essays folgt die Interpretation der Schuldlosen aus diesem mathematischen Blickwinkel. Es wird deutlich, dass Brochs Poetik eng mit seinen mathematischen Anschauungen verquickt ist, und somit nachgewiesen, dass sich die spezielle Bauform des Romans wie auch seine besondere Form des Erzählens tatsächlich aus dem mathematischen Denken des Autors ableiten lassen. Broch nutzt insbesondere die mathematische Annäherung an das Unendliche für seine Versuche einer literarischen Erfassung der komplexen Wirklichkeit seiner Zeit. Dabei spielen nicht nur Elemente der fraktalen Geometrie eine zentrale Rolle, sondern auch Brochs eigener Hinweis, es handele sich „um eine Art Novellenroman“ (KW 13/1, 243). Denn tatsächlich ergibt sich aus den poetologischen Forderungen Brochs und ihren Umsetzungen im Roman die Gattung des Novellenromans, wie gezeigt wird. Dabei ist von besonderer Bedeutung, dass Broch dem Mythos eine ähnliche Rolle in der Literatur zuspricht wie der Mathematik in den Wissenschaften allgemein.rnMit seinem Roman Die Schuldlosen hat Hermann Broch Neuland betreten, indem er versuchte, durch seine mathematische Poetik die komplexe Wirklichkeit seiner Epoche abzubilden. Denn „die Ganzheit der Welt ist nicht erfaßbar, indem man deren Atome einzelweise einfängt, sondern nur, indem man deren Grundzüge und deren wesentliche – ja, man möchte sagen, deren mathematische Struktur aufzeigt“ (Broch).

On the geometry of the spin-statistics connection in quantum mechanics

The Spin-Statistics theorem states that the statistics of a system of identical particles is determined by their spin: Particles of integer spin are Bosons (i.e. obey Bose-Einstein statistics), whereas particles of half-integer spin are Fermions (i.e. obey Fermi-Dirac statistics). Since the original proof by Fierz and Pauli, it has been known that the connection between Spin and Statistics follows from the general principles of relativistic Quantum Field Theory. In spite of this, there are different approaches to Spin-Statistics and it is not clear whether the theorem holds under assumptions that are different, and even less restrictive, than the usual ones (e.g. Lorentz-covariance). Additionally, in Quantum Mechanics there is a deep relation between indistinguishabilty and the geometry of the configuration space. This is clearly illustrated by Gibbs' paradox. Therefore, for many years efforts have been made in order to find a geometric proof of the connection between Spin and Statistics. Recently, various proposals have been put forward, in which an attempt is made to derive the Spin-Statistics connection from assumptions different from the ones used in the relativistic, quantum field theoretic proofs. Among these, there is the one due to Berry and Robbins (BR), based on the postulation of a certain single-valuedness condition, that has caused a renewed interest in the problem. In the present thesis, we consider the problem of indistinguishability in Quantum Mechanics from a geometric-algebraic point of view. An approach is developed to study configuration spaces Q having a finite fundamental group, that allows us to describe different geometric structures of Q in terms of spaces of functions on the universal cover of Q. In particular, it is shown that the space of complex continuous functions over the universal cover of Q admits a decomposition into C(Q)-submodules, labelled by the irreducible representations of the fundamental group of Q, that can be interpreted as the spaces of sections of certain flat vector bundles over Q. With this technique, various results pertaining to the problem of quantum indistinguishability are reproduced in a clear and systematic way. Our method is also used in order to give a global formulation of the BR construction. As a result of this analysis, it is found that the single-valuedness condition of BR is inconsistent. Additionally, a proposal aiming at establishing the Fermi-Bose alternative, within our approach, is made.

The geometry of Lagrangian fibres

If the generic fibre f−1(c) of a Lagrangian fibration f : X → B on a complex Poisson– variety X is smooth, compact, and connected, it is isomorphic to the compactification of a complex abelian Lie–group. For affine Lagrangian fibres it is not clear what the structure of the fibre is. Adler and van Moerbeke developed a strategy to prove that the generic fibre of a Lagrangian fibration is isomorphic to the affine part of an abelian variety.rnWe extend their strategy to verify that the generic fibre of a given Lagrangian fibration is the affine part of a (C∗)r–extension of an abelian variety. This strategy turned out to be successful for all examples we studied. Additionally we studied examples of Lagrangian fibrations that have the affine part of a ramified cyclic cover of an abelian variety as generic fibre. We obtained an embedding in a Lagrangian fibration that has the affine part of a C∗–extension of an abelian variety as generic fibre. This embedding is not an embedding in the category of Lagrangian fibrations. The C∗–quotient of the new Lagrangian fibration defines in a natural way a deformation of the cyclic quotient of the original Lagrangian fibration.

Software tools and efficient algorithms for the feature detection, feature tracking, event localization, and visualization of large sets of atmospheric data

Data sets describing the state of the earth's atmosphere are of great importance in the atmospheric sciences. Over the last decades, the quality and sheer amount of the available data increased significantly, resulting in a rising demand for new tools capable of handling and analysing these large, multidimensional sets of atmospheric data. The interdisciplinary work presented in this thesis covers the development and the application of practical software tools and efficient algorithms from the field of computer science, aiming at the goal of enabling atmospheric scientists to analyse and to gain new insights from these large data sets. For this purpose, our tools combine novel techniques with well-established methods from different areas such as scientific visualization and data segmentation. In this thesis, three practical tools are presented. Two of these tools are software systems (Insight and IWAL) for different types of processing and interactive visualization of data, the third tool is an efficient algorithm for data segmentation implemented as part of Insight.Insight is a toolkit for the interactive, three-dimensional visualization and processing of large sets of atmospheric data, originally developed as a testing environment for the novel segmentation algorithm. It provides a dynamic system for combining at runtime data from different sources, a variety of different data processing algorithms, and several visualization techniques. Its modular architecture and flexible scripting support led to additional applications of the software, from which two examples are presented: the usage of Insight as a WMS (web map service) server, and the automatic production of a sequence of images for the visualization of cyclone simulations. The core application of Insight is the provision of the novel segmentation algorithm for the efficient detection and tracking of 3D features in large sets of atmospheric data, as well as for the precise localization of the occurring genesis, lysis, merging and splitting events. Data segmentation usually leads to a significant reduction of the size of the considered data. This enables a practical visualization of the data, statistical analyses of the features and their events, and the manual or automatic detection of interesting situations for subsequent detailed investigation. The concepts of the novel algorithm, its technical realization, and several extensions for avoiding under- and over-segmentation are discussed. As example applications, this thesis covers the setup and the results of the segmentation of upper-tropospheric jet streams and cyclones as full 3D objects. Finally, IWAL is presented, which is a web application for providing an easy interactive access to meteorological data visualizations, primarily aimed at students. As a web application, the needs to retrieve all input data sets and to install and handle complex visualization tools on a local machine are avoided. The main challenge in the provision of customizable visualizations to large numbers of simultaneous users was to find an acceptable trade-off between the available visualization options and the performance of the application. Besides the implementational details, benchmarks and the results of a user survey are presented.