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.

Quantum hydrodynamic models for semiconductors with and without collisions

In dieser Arbeit werden Quantum-Hydrodynamische (QHD) Modelle betrachtet, die ihren Einsatz besonders in der Modellierung von Halbleiterbauteilen finden. Das QHD Modell besteht aus den Erhaltungsgleichungen für die Teilchendichte, das Momentum und die Energiedichte, inklusive der Quanten-Korrekturen durch das Bohmsche Potential. Zu Beginn wird eine Übersicht über die bekannten Ergebnisse der QHD Modelle unter Vernachlässigung von Kollisionseffekten gegeben, die aus ein­em Schrödinger-System für den gemischten-Zustand oder aus der Wigner-Glei­chung hergeleitet werden können. Nach der Reformulierung der eindimensionalen QHD Gleichungen mit linearem Potential als stationäre Schrö­din­ger-Gleichung werden die semianalytischen Fassungen der QHD Gleichungen für die Gleichspannungs-Kurve betrachtet. Weiterhin werden die viskosen Stabilisierungen des QHD Modells be­rück­sich­tigt, sowie die von Gardner vorgeschlagene numerische Viskosität für das {sf upwind} Finite-Differenzen Schema berechnet. Im Weiteren wird das viskose QHD Modell aus der Wigner-Glei­chung mit Fokker-Planck Kollisions-Ope­ra­tor hergeleitet. Dieses Modell enthält die physikalische Viskosität, die durch den Kollision-Operator eingeführt wird. Die Existenz der Lösungen (mit strikt positiver Teilchendichte) für das isotherme, stationäre, eindimensionale, viskose Modell für allgemeine Daten und nichthomogene Randbedingungen wird gezeigt. Die dafür notwendigen Abschätzungen hängen von der Viskosität ab und erlauben daher den Grenzübergang zum nicht-viskosen Fall nicht. Numerische Simulationen der Resonanz-Tunneldiode modelliert mit dem nichtisothermen, stationären, eindimensionalen, viskosen QHD Modell zeigen den Einfluss der Viskosität auf die Lösung. Unter Verwendung des von Degond und Ringhofer entwickelten Quanten-Entropie-Minimierungs-Verfahren werden die allgemeinen QHD-Gleichungen aus der Wigner-Boltzmann-Gleichung mit dem BGK-Kollisions-Operator hergeleitet. Die Herleitung basiert auf der vorsichtige Entwicklung des Quanten-Max­well­ians in Potenzen der skalierten Plankschen Konstante. Das so erhaltene Modell enthält auch vertex-Terme und dispersive Terme für die Ge­schwin­dig­keit. Dadurch bleibt die Gleichspannungs-Kurve für die Re­so­nanz-Tunnel­diode unter Verwendung des allgemeinen QHD Modells in einer Dimension numerisch erhalten. Die Ergebnisse zeigen, dass der dispersive Ge­schwin­dig­keits-Term die Lösung des Systems stabilisiert.

Inorganic-organic hybrid polymers: Solution-processible coating materials for defined surface functionalization

A new class of inorganic-organic hybrid polymers could successfully been prepared by the combination of different polymerization techniques. The access to a broad range of organic polymers incorporated into the hybrid polymer was realized using two independent approaches.rnIn the first approach a functional poly(silsesquioxane) (PSSQ) network was pre-formed, which was capable to initiate a controlled radical polymerization to graft organic vinyl-type monomers from the PSSQ precursor. As controlled radical polymerization techniques atom transfer radical polymerization (ATRP), as well as reversible addition fragmentation chain transfer (RAFT) polymerization could be used after defined tuning of the PSSQ precursor either toward a PSSQ macro-initiator or to a PSSQ macro-chain-transfer-agent. The polymerization pathway, consisting of polycondensation of trialkoxy-silanes followed by grafting-from polymerization of different monomers, allowed synthesis of various functional hybrid polymers. A controlled synthesis of the PSSQ precursors could successfully be performed using a microreactor setup; the molecular weight could be adjusted easily while the polydispersity index could be decreased well below 2.rnThe second approach aimed to incorporate differently derived organic polymers. As examples, polycarbonate and poly(ethylene glycol) were end-group-modified using trialkoxysilanes. After end-group-functionalization these organic polymers could be incorporated into a PSSQ network.rnThese different hybrid polymers showed extraordinary coating abilities. All polymers could be processed from solution by spin-coating or dip-coating. The high amount of reactive silanol moieties in the PSSQ part could be cross-linked after application by annealing at 130° for 1h. Not only cross-linking of the whole film was achieved, which resulted in mechanical interlocking with the substrate, also chemical bonds to metal or metal oxide surfaces were formed. All coating materials showed high stability and adhesion onto various underlying materials, reaching from metals (like steel or gold) and metal oxides (like glass) to plastics (like polycarbonate or polytetrafluoroethylene).rnAs the material and the synthetic pathway were very tolerant toward different functionalities, various functional monomers could be incorporated in the final coating material. The incorporation of N-isopropylacrylamide yielded in temperature-responsive surface coatings, whereas the incorporation of redox-active monomers allowed the preparation of semi-conductive coatings, capable to produce smooth hole-injection layers on transparent conductive electrodes used in optoelectronic devices.rnThe range of possible applications could be increased tremendously by incorporation of reactive monomers, capable to undergo fast and quantitative conversions by polymer-analogous reactions. For example, grafting active esters from a PSSQ precursor yielded a reactive surface coating after application onto numerous substrates. Just by dipping the coated substrate into a solution of a functionalized amine, the desired function could be immobilized at the interface as well as throughout the whole film. The obtained reactive surface coatings could be used as basis for different functional coatings for various applications. The conversion with specifically tuned amines yielded in surfaces with adjustable wetting behaviors, switchable wetting behaviors or as recognition element for surface-oriented bio-analytical devices. The combination of hybrid materials with orthogonal reactivities allowed for the first time the preparation of multi-reactive surfaces which could be functionalized sequentially with defined fractions of different groups at the interface. rnThe introduced concept to synthesis functional hybrid polymers unifies the main requirements on an ideal coating material. Strong adhesion on a wide range of underlying materials was achieved by secondary condensation of the PSSQ part, whereas the organic part allowed incorporation of various functionalities. Thus, a flexible platform to create functional and reactive surface coatings was achieved, which could be applied to different substrates. rn

Problem-specific design of metaheuristics for constrained spanning tree problems

When designing metaheuristic optimization methods, there is a trade-off between application range and effectiveness. For large real-world instances of combinatorial optimization problems out-of-the-box metaheuristics often fail, and optimization methods need to be adapted to the problem at hand. Knowledge about the structure of high-quality solutions can be exploited by introducing a so called bias into one of the components of the metaheuristic used. These problem-specific adaptations allow to increase search performance. This thesis analyzes the characteristics of high-quality solutions for three constrained spanning tree problems: the optimal communication spanning tree problem, the quadratic minimum spanning tree problem and the bounded diameter minimum spanning tree problem. Several relevant tree properties, that should be explored when analyzing a constrained spanning tree problem, are identified. Based on the gained insights on the structure of high-quality solutions, efficient and robust solution approaches are designed for each of the three problems. Experimental studies analyze the performance of the developed approaches compared to the current state-of-the-art.