121 |
K3 surfaces and moduli of holomorphic differentialsBarros, Ignacio 10 July 2018 (has links)
In dieser Arbeit behandeln wir die birationale Geometrie verschiedener Modulräume; die Modulräume von Kurven mit einem k-Differential mit vorgeschierbenen Nullen, besser bekannt als Strata von Differenzialen, Moduln von K3 Flächen mit markierten Punkten und Moduln von Kurven. Für bestimmte Geschlechter nennen wir Abschätzungen der Kodaira-Dimension, konstruieren unirationale Parametrisierungen, rationale deckende Kurven und unterschiedliche birationale Modelle.
In Kapitel 1 führen wir die zu untersuchenden Objekte ein und geben einen kurzen Überblick ihrer wichtigsten Eigenschaften und offenen Problemen. In Kapitel 2 konstruieren wir einen Hilfsmodulraum, der als Brücke zwischen bestimmten finiten Quotienten von Mgn für kleines g und den Moduln der polarisierten K3 Flächen vom Geschlecht 11 dient. Wir entwickeln die Deformationstheorie, die nötig ist, um die Eigenschaften und die oben genannten Modulräume zu erforschen.
In Kapitel 3 bedienen wir uns dieser Werkzeuge, um birationale Modelle für Moduln polarisierter K3 Flächen vom Geschlecht 11 mit markierten Punkten zu konstruieren. Diese nutzen wir, um Resultate über die Kodaira-Dimension herzuleiten. Wir beweisen, dass der Modulraum von polarisierten K3 Flächen vom Geschlecht 11 mit n markierten Punkten unirational ist, falls n<=6, und uniruled, falls n<=7. Wir beweisen auch, dass die Kodaira-Dimension von Modulraum von polarisierten K3 Flächen vom Geschlecht 11 mit n markierten Punkten nicht-negativ ist für n>= 9. Im letzten Kapitel gehen wir noch auf die fehlenden Fälle der Kodaira-Klassifizierung von Mgnbar ein.
Schliesslich behandeln wir in Kapitel 4 die birationale Geometrie mit Blick auf die Strata von holomorphen und quadratischen Differentialen. Wir zeigen, dass die Strata holomorpher und quadratischer Differentiale von niedrigem Geschlecht uniruled sind, indem wir rationale Kurven mit pencils auf K3 und del Pezzo Flächen konstruieren. Durch das Beschränken des Geschlechts 3<= g<=6 bilden wir projektive Bündel über rationale Varietäten, die die holomorphe Strata mit maximaler Länge g-1 dominieren. Also zeigen wir auch, dass diese Strata unirational sind. / In this thesis we investigate the birational geometry of various moduli spaces; moduli spaces of curves together with a k-differential of prescribed vanishing, best known as strata of differentials, moduli spaces of K3 surfaces with marked points, and moduli spaces of curves. For particular genera, we give estimates for the Kodaira dimension, construct unirational parameterizations, rational covering curves, and different birational models.
In Chapter 1 we introduce the objects of study and give a broad brush stroke about their most important known features and open problems. In Chapter 2 we construct an auxiliary moduli space that serves as a bridge between certain finite quotients of Mgn for small g and the moduli space of polarized K3 surfaces of genus eleven. We develop the deformation theory necessary to study properties of the mentioned moduli space.
In Chapter 3 we use this machinery to construct birational models for the moduli spaces of polarized K3 surfaces of genus eleven with marked points and we use this to conclude results about the Kodaira dimension. We prove that the moduli space of polarized K3 surfaces of genus eleven with n marked points is unirational when n<= 6 and uniruled when n<=7. We also prove that the moduli space of polarized K3 surfaces of genus eleven with n marked points has non-negative Kodaira dimension for n>= 9. In the final section, we make a connection with some of the missing cases in the Kodaira classification of Mgnbar.
Finally, in Chapter 4 we address the question concerning the birational geometry of strata of holomorphic and quadratic differentials. We show strata of holomorphic and quadratic differentials to be uniruled in small genus by constructing rational curves via pencils on K3 and del Pezzo surfaces respectively. Restricting to genus 3<= g<=6 we construct projective bundles over rational varieties that dominate the holomorphic strata with length at most g-1, hence showing in addition, these strata are unirational.
|
122 |
Synchrony and bifurcations in coupled dynamical systems and effects of time delayPade, Jan Philipp 02 September 2015 (has links)
Dynamik auf Netzwerken ist ein mathematisches Feld, das in den letzten Jahrzehnten schnell gewachsen ist und Anwendungen in zahlreichen Disziplinen wie z.B. Physik, Biologie und Soziologie findet. Die Funktion vieler Netzwerke hängt von der Fähigkeit ab, die Elemente des Netzwerkes zu synchronisieren. Mit anderen Worten, die Existenz und die transversale Stabilität der synchronen Mannigfaltigkeit sind zentrale Eigenschaften. Erst seit einigen Jahren wird versucht, den verwickelten Zusammenhang zwischen der Kopplungsstruktur und den Stabilitätseigenschaften synchroner Zustände zu verstehen. Genau das ist das zentrale Thema dieser Arbeit. Zunächst präsentiere ich erste Ergebnisse zur Klassifizierung der Kanten eines gerichteten Netzwerks bezüglich ihrer Bedeutung für die Stabilität des synchronen Zustands. Folgend untersuche ich ein komplexes Verzweigungsszenario in einem gerichteten Ring von Stuart-Landau Oszillatoren und zeige, dass das Szenario persistent ist, wenn dem Netzwerk eine schwach gewichtete Kante hinzugefügt wird. Daraufhin untersuche ich synchrone Zustände in Ringen von Phasenoszillatoren die mit Zeitverzögerung gekoppelt sind. Ich bespreche die Koexistenz synchroner Lösungen und analysiere deren Stabilität und Verzweigungen. Weiter zeige ich, dass eine Zeitverschiebung genutzt werden kann, um Muster im Ring zu speichern und wiederzuerkennen. Diese Zeitverschiebung untersuche ich daraufhin für beliebige Kopplungsstrukturen. Ich zeige, dass invariante Mannigfaltigkeiten des Flusses sowie ihre Stabilität unter der Zeitverschiebung erhalten bleiben. Darüber hinaus bestimme ich die minimale Anzahl von Zeitverzögerungen, die gebraucht werden, um das System äquivalent zu beschreiben. Schließlich untersuche ich das auffällige Phänomen eines nichtstetigen Übergangs zu Synchronizität in Klassen großer Zufallsnetzwerke indem ich einen kürzlich eingeführten Zugang zur Beschreibung großer Zufallsnetzwerke auf den Fall zeitverzögerter Kopplungen verallgemeinere. / Since a couple of decades, dynamics on networks is a rapidly growing branch of mathematics with applications in various disciplines such as physics, biology or sociology. The functioning of many networks heavily relies on the ability to synchronize the network’s nodes. More precisely, the existence and the transverse stability of the synchronous manifold are essential properties. It was only in the last few years that people tried to understand the entangled relation between the coupling structure of a network, given by a (di-)graph, and the stability properties of synchronous states. This is the central theme of this dissertation. I first present results towards a classification of the links in a directed, diffusive network according to their impact on the stability of synchronization. Then I investigate a complex bifurcation scenario observed in a directed ring of Stuart-Landau oscillators. I show that under the addition of a single weak link, this scenario is persistent. Subsequently, I investigate synchronous patterns in a directed ring of phase oscillators coupled with time delay. I discuss the coexistence of multiple of synchronous solutions and investigate their stability and bifurcations. I apply these results by showing that a certain time-shift transformation can be used in order to employ the ring as a pattern recognition device. Next, I investigate the same time-shift transformation for arbitrary coupling structures in a very general setting. I show that invariant manifolds of the flow together with their stability properties are conserved under the time-shift transformation. Furthermore, I determine the minimal number of delays needed to equivalently describe the system’s dynamics. Finally, I investigate a peculiar phenomenon of non-continuous transition to synchrony observed in certain classes of large random networks, generalizing a recently introduced approach for the description of large random networks to the case of delayed couplings.
|
123 |
On the spectral geometry of manifolds with conic singularitiesSuleymanova, Asilya 29 September 2017 (has links)
Wir beginnen mit der Herleitung der asymptotischen Entwicklung der Spur des Wärmeleitungskernes, $\tr e^{-t\Delta}$, für $t\to0+$, wobei $\Delta$ der Laplace-Beltrami-Operator auf einer Mannigfaltigkeit mit Kegel-Singularitäten ist; dabei folgen wir der Arbeit von Brüning und Seeley. Dann untersuchen wir, wie die Koeffizienten der Entwicklung mit der Geometrie der Mannigfaltigkeit zusammenhängen, insbesondere fragen wir, ob die (mögliche) Singularität der Mannigfaltigkeit aus den Koeffizienten - und damit aus dem Spektrum des Laplace-Beltrami-Operators - abgelesen werden kann. In wurde gezeigt, dass im zweidimensionalen Fall ein logarithmischer Term und ein nicht lokaler Term im konstanten Glied genau dann verschwinden, wenn die Kegelbasis ein Kreis der Länge $2\pi$ ist, die Mannigfaltigkeit also geschlossen ist. Dann untersuchen wir wir höhere Dimensionen. Im vier-dimensionalen Fall zeigen wir, dass der logarithmische Term genau dann verschwindet, wenn die Kegelbasis eine
sphärische Raumform ist. Wir vermuten, dass das Verschwinden eines nicht lokalen Beitrags zum konstanten Term äquivalent ist dazu, dass die Kegelbasis die runde Sphäre ist; das kann aber bisher nur im zyklischen Fall gezeigt werden. Für geraddimensionale Mannigfaltigkeiten höherer Dimension und mit Kegelbasis von konstanter Krümmung zeigen wir weiter, dass der logarithmische Term ein Polynom in der Krümmung ist, das Wurzeln ungleich 1 haben kann, so dass erst das Verschwinden von mehreren Termen - die derzeit noch nicht explizit behandelt werden können - die Geschlossenheit der Mannigfaltigkeit zur Folge haben könnte. / We derive a detailed asymptotic expansion of the heat trace for the Laplace-Beltrami operator on functions on manifolds with one conic singularity, using the Singular Asymptotics Lemma of Jochen Bruening and Robert T. Seeley. Then we investigate how the terms in the expansion reflect the geometry of the manifold. Since the general expansion contains a logarithmic term, its vanishing is a necessary condition for smoothness of the manifold. It is shown in the paper by Bruening and Seeley that in the two-dimensional case this implies that the constant term of the expansion contains a non-local term that determines the length of the (circular) cross section and vanishes precisely if this length equals $2\pi$, that is, in the smooth case. We proceed to the study of higher dimensions. In the four-dimensional case, the logarithmic term in the expansion vanishes precisely when the cross section is a spherical space form, and we expect that the vanishing of a further singular term will imply again smoothness, but this is not yet clear beyond the case of cyclic space forms.
In higher dimensions the situation is naturally more difficult. We illustrate this in the case of cross sections with constant curvature. Then the logarithmic term becomes a polynomial in the curvature with roots that are different from 1, which necessitates more vanishing of other terms, not isolated so far.
|
124 |
Structured higher-order algorithmic differentiation in the forward and reverse mode with application in optimum experimental designWalter, Sebastian 07 May 2012 (has links)
In dieser Arbeit werden Techniken beschrieben, die es erlauben (höhere) Ableitungen und Taylorapproximationen solcher Computerprogramme effizient zu berechnen. Auch inbesondere dann, wenn die Programme Algorithmen der numerischen linearen Algebra (NLA) enthalten. Im Gegensatz zur traditionellen algorithmischen Differentiation (AD), bei der die zugrunde liegenden Algorithmen um zusätzliche Befehlere erweitert werden, sind in dieser Arbeit die Zerlegungen durch definierende Gleichungen charakterisiert. Basierend auf den definierenden Gleichungen werden Strukturausnutzende Algorithmen hergeleitet. Genauer, neuartige Algorithmen für die Propagation von Taylorpolynomen durch die QR, Cholesky und reell-symmetrischen Eigenwertzerlegung werden präsentiert. Desweiteren werden Algorithmen für den Rückwärtsmodus der AD hergeleitet, welche im Wesentlichen nur die Faktoren der Zerlegungen benötigen. Im Vergleich zum traditionellen Ansatz, bei dem alle Zwischenergebnisse gespeichert werden, ist dies eine Reduktion von O(N^3) zu O(N^2) für Algorithmen mit O(N^3) Komplexität. N ist hier die Größe der Matrix. Zusätzlich kann bestehende, hoch-optimierte Software verwendet werden. Ein Laufzeitvergleich zeigt, dass dies im Vergleich zum traditionellen Ansatz zu einer Beschleunigung in der Größenordnung 100 führen kann. Da die NLA Funktionen als Black Box betrachtet werden, ist desweiteren auch der Berechnungsgraph um Größenordnungen kleiner. Dies bedeutet, dass Software, welche Operator Overloading benutzt, weniger Overhead hervorruft und auch weniger Speicher benötigt. / This thesis provides a framework for the evaluation of first and higher-order derivatives and Taylor series expansions through large computer programs that contain numerical linear algebra (NLA) functions. It is a generalization of traditional algorithmic differentiation (AD) techniques in that NLA functions are regarded as black boxes where the inputs and outputs are related by defining equations. Based on the defining equations, structure-exploiting algorithms are derived. More precisely, novel algorithms for the propagation of Taylor polynomials through the QR, Cholesky,- and real-symmetric eigenvalue decomposition are shown. Recurrences for the reverse mode of AD, which require essentially only the returned factors of the decomposition, are also derived. Compared to the traditional approach where all intermediates of an algorithm are stored, this is a reduction from O(N^3) to O(N^2) for algorithms with O( N^3) complexity. N denotes the matrix size. The derived algorithms make it possible to use existing high-performance implementations. A runtime comparison shows that the treatment of NLA functions as atomic can be more than one order of magnitude faster than an automatic differentiation of the underlying algorithm. Furthermore, the computational graph is orders of magnitudes smaller. This reduces the additional memory requirements, as well as the overhead, of operator overloading techniques to a fraction.
|
125 |
Nilpotent Class Field TheoryAbramov, Gueorgui 13 January 1999 (has links)
No description available.
|
126 |
The Propagation-Separation Approach / theoretical study and application to magnetic resonance imagingBecker, Saskia 16 May 2014 (has links)
Lokal parametrische Modelle werden häufig im Kontext der nichtparametrischen Schätzung verwendet. Bei einer punktweisen Schätzung der Zielfunktion können die parametrischen Umgebungen mithilfe von Gewichten beschrieben werden, die entweder von den Designpunkten oder (zusätzlich) von den Beobachtungen abhängen. Der Vergleich von verrauschten Beobachtungen in einzelnen Punkten leidet allerdings unter einem Mangel an Robustheit. Der Propagations-Separations-Ansatz von Polzehl und Spokoiny [2006] verwendet daher einen Multiskalen-Ansatz mit iterativ aktualisierten Gewichten. Wir präsentieren hier eine theoretische Studie und numerische Resultate, die ein besseres Verständnis des Verfahrens ermöglichen. Zu diesem Zweck definieren und untersuchen wir eine neue Strategie für die Wahl des entscheidenden Parameters des Verfahrens, der Adaptationsbandweite. Insbesondere untersuchen wir ihre Variabilität in Abhängigkeit von der unbekannten Zielfunktion. Unsere Resultate rechtfertigen eine Wahl, die unabhängig von den jeweils vorliegenden Beobachtungen ist. Die neue Parameterwahl liefert für stückweise konstante und stückweise beschränkte Funktionen theoretische Beweise der Haupteigenschaften des Algorithmus. Für den Fall eines falsch spezifizierten Modells führen wir eine spezielle Stufenfunktion ein und weisen eine punktweise Fehlerschranke im Vergleich zum Schätzer des Algorithmus nach. Des Weiteren entwickeln wir eine neue Methode zur Entrauschung von diffusionsgewichteten Magnetresonanzdaten. Unser neues Verfahren (ms)POAS basiert auf einer speziellen Beschreibung der Daten, die eine zeitgleiche Glättung bezüglich der gemessenen Positionen und der Richtungen der verwendeten Diffusionsgradienten ermöglicht. Für den kombinierten Messraum schlagen wir zwei Distanzfunktionen vor, deren Eignung wir mithilfe eines differentialgeometrischen Ansatzes nachweisen. Schließlich demonstrieren wir das große Potential von (ms)POAS auf simulierten und experimentellen Daten. / In statistics, nonparametric estimation is often based on local parametric modeling. For pointwise estimation of the target function, the parametric neighborhoods can be described by weights that depend on design points or on observations. As it turned out, the comparison of noisy observations at single points suffers from a lack of robustness. The Propagation-Separation Approach by Polzehl and Spokoiny [2006] overcomes this problem by using a multiscale approach with iteratively updated weights. The method has been successfully applied to a large variety of statistical problems. Here, we present a theoretical study and numerical results, which provide a better understanding of this versatile procedure. For this purpose, we introduce and analyse a novel strategy for the choice of the crucial parameter of the algorithm, namely the adaptation bandwidth. In particular, we study its variability with respect to the unknown target function. This justifies a choice independent of the data at hand. For piecewise constant and piecewise bounded functions, this choice enables theoretical proofs of the main heuristic properties of the algorithm. Additionally, we consider the case of a misspecified model. Here, we introduce a specific step function, and we establish a pointwise error bound between this function and the corresponding estimates of the Propagation-Separation Approach. Finally, we develop a method for the denoising of diffusion-weighted magnetic resonance data, which is based on the Propagation-Separation Approach. Our new procedure, called (ms)POAS, relies on a specific description of the data, which enables simultaneous smoothing in the measured positions and with respect to the directions of the applied diffusion-weighting magnetic field gradients. We define and justify two distance functions on the combined measurement space, where we follow a differential geometric approach. We demonstrate the capability of (ms)POAS on simulated and experimental data.
|
127 |
Essays in mechanism designPillath, Pascal 28 January 2025 (has links)
Diese Dissertation besteht aus drei unabhängigen Kapiteln auf dem Gebiet der Mechanismus-Design-Theorie, mit einem besonderen Schwerpunkt auf ausschließbaren öffentlichen Gütern und dynamischem Mechanismus-Design. Die ersten beiden Kapitel befassen sich mit optimalen Preismechanismen für den Verkauf von ausschließbaren öffentlichen Gütern. Das erste Kapitel untersucht diese Thematik in einer sequenziellen Screening-Umgebung, während das zweite Kapitel den Einfluss von Netzwerk-Externalitäten auf optimale Preisfindungsstrategien für diese Güter analysiert. Das letzte Kapite untersucht die Auswirkungen von "Big Data" im dynamischen Mechanismusdesign und konzentriert sich dabei auf eine Ein-Käufer-Ein-Verkäufer Situation. Dieses Kapitel vergleicht die Auszahlungen der beteiligten Agenten in diesem Kontext und liefert Einblicke durch theoretische Analysen und die Nutzung von Simulationen. / This dissertation comprises three independent yet interconnected chapters in the field of mechanism design, with a specific focus on excludable public goods and dynamic mechanism design. The first two chapters study optimal pricing mechanisms for selling excludable public goods. Chapter 1 explores this issue in a sequential screening environment. Chapter 2 examines the impact of network effects on optimal pricing strategies for these goods. Chapter 3 studies the impact of "big data" in dynamic mechanism design, focusing on a one-buyer-one-seller setting. This chapter compares the payoffs of involved agents in this context, providing insights through theoretical analysis and the use of simulations.
|
128 |
Singular BSDEs and PDEs Arising in Optimal Liquidation ProblemsXia, Xiaonyu 16 January 2020 (has links)
Diese Dissertation analysiert BSDEs und PDEs mit singulären Endbedingungen, welche in Problemen der optimalen Portfolioliquidierung auftreten. In den vergangenen Jahren haben Portfolioliquidierungsprobleme in der Literatur zur Finanzmathematik große Aufmerksamkeit erhalten. Ihre wichtigste Eigenschaft ist die singuläre Endbedingung der durch die Liquidierungsbedingung induzierten Wertfunktion, welche eine singuläre Endbedingung der zugehörigen BSDE oder PDE impliziert.
Diese Arbeit besteht aus drei Kapiteln. Das erste Kapitel analysiert ein Portfolioliquidierungsproblem für mehrere Wertpapiere mit sofortigem und anhaltendem Preiseinfluss und stochastischer Resilienz. Wir zeigen, dass die Wertfunktion durch eine mehrdimensionale BSRDE mit singulärer Endbedingung beschrieben werden kann. Wir weisen die Existenz einer Lösung dieser BSRDE nach und zeigen, dass diese durch eine Folge von Lösungen von BSRDEs mit endlicher und wachsender Endbedingung approximiert werden kann. Eine neue a priori-Abschätzung für die approximierenden BSRDEs wird für den Nachweis hergeleitet.
Das zweite Kapitel betrachtet ein Portfolioliquidierungsproblem mit unbeschränkten Kostenkoeffizienten. Wir weisen die Existenz einer eindeutigen nichtnegativen Viskositätslösung der HJB-Gleichung nach. Das Existenzresultat basiert auf einem neuartigen Vergleichsprinzip für semi-stetige Viskositätssub-/-superlösungen für singuläre PDEs. Stetigkeit der Viskositätslösung ist hinreichend für das Verifikationsargument.
Im dritten Kapitel untersuchen wir ein optimales Liquidierungsproblem unter Mehrdeutigkeit der Parameter des Preiseinflusses. In diesem Fall kann die Wertfunktion durch die Lösung einer semilinearen PDE mit superlinearem Gradienten beschrieben werden. Zuerst zeigen wir die Existenz einer Viskositätslösung indem wir unser Vergleichsprinzip für singuläre PDEs erweitern. Sodann weisen wir die Regularität mit einer asymptotischen Entwicklung der Lösung am Endzeitpunkt nach. / This dissertation analyzes BSDEs and PDEs with singular terminal condition arising in models of optimal portfolio liquidation. Portfolio liquidation problems have received considerable attention in the financial mathematics literature in recent years. Their main characteristic is the singular terminal condition of the value function induced by the liquidation constraint, which translates into a singular terminal state constraint on the associated BSDE or PDE.
The dissertation consists of three chapters. The first chapter analyzes a multi-asset portfolio liquidation problem with instantaneous and persistent price impact and stochastic resilience. We show that the value function can be described by a multi-dimensional BSRDE with a singular terminal condition. We prove the existence of a solution to this BSRDE and show that it can be approximated by a sequence of the solutions to BSRDEs with finite increasing terminal condition. A novel a priori estimate for the approximating BSRDEs is established for the verification argument.
The second chapter considers a portfolio liquidation problem with unbounded cost coefficients. We establish the existence of a unique nonnegative continuous viscosity solution to the HJB equation. The existence result is based on a novel comparison principle for semi-continuous viscosity sub-/supersolutions for singular PDEs. Continuity of the viscosity solution is enough to carry out the verification argument.
The third chapter studies an optimal liquidation problem under ambiguity with respect to price impact parameters. In this case the value function can be characterized by the solution to a semilinear PDE with superlinear gradient. We first prove the existence of a solution in the viscosity sense by extending our comparison principle for singular PDEs. Higher regularity is then established using an asymptotic expansion of the solution at the terminal time.
|
129 |
Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent SystemsDohmen, Klaus 05 February 2001 (has links)
Viele Probleme der Kombinatorik, Zahlentheorie, Wahrscheinlichkeitstheorie, Zuverlässigkeitstheorie und Statistik lassen sich durch Anwendung einer einheitlichen Methode lösen, die als Prinzip der Inklusion-Exklusion bekannt ist. Das Prinzip der Inklusion-Exklusion drückt die Indikatorfunktion einer Vereinigung endlich vieler Ereignisse als alternierende Summe der Indikatorfunktionen ihrer Durchschnitte aus. Die vorliegende Schrift befasst sich mit verbesserten Inklusions-Exklusions-Identitäten und verbesserten Bonferroni-Ungleichungen, die voraussetzen, dass die Ereignisfamilie gewissen strukturellen Anforderungen genügt. Solche wohl-strukturierten Ereignisfamilien finden sich u.a. in der schließenden Statistik, der kombinatorischen Zuverlässigkeitstheorie und der chromatischen Graphentheorie. / Many problems in combinatorics, number theory, probability theory , reliability theory and statistics can be solved by applying a unifying method, which is known as the principle of inclusion-exclusion. The principle of inclusion-exclusion expresses the indicator function of a union of finitely many events as an alternating sum of indicator functions of their intersections. This thesis deals with improved inclusion-exclusion identities and improved Bonferroni inequalities that require the family of events to satisfy some structural restrictions. Examples of such well-structured families arise in problems of statistical inference, combinatorial reliability theory and chromatic graph theory.
|
130 |
Quasi-random hypergraphs and extremal problems for hypergraphsPerson, Yury 06 December 2010 (has links)
In dieser Arbeit wird zuerst das Theorem von Chung, Graham und Wilson über quasi-zufällige Graphen zur sogenannten schwachen Quasi-Zufälligkeit für k-uniforme Hypergraphen verallgemeinert und somit eine Reihe äquivalenter Eigenschaften bestimmt. Basierend auf diesen Resultaten werden nichtbipartite Graphen gefunden, welche die Quasi-Zufälligkeit für Graphen ``forcieren''''. Zuvor waren nur bipartite Graphen mit dieser Eigenschaft bekannt. Desweiteren ist ein konzeptionell einfacher Algorithmus zum Verifizieren nicht erfüllbarer zufälliger k-SAT Formeln angegeben. Dann richtet sich der Fokus auf Anwendungen verschiedener Regularitätslemmata für Hypergraphen. Zuerst wird die Menge aller bezeichneten 3-uniformen Hypergraphen auf n Knoten, die keine Kopie des Hypergraphen der Fano Ebene enthalten, studiert. Es wird gezeigt, dass fast jedes Element aus dieser Menge ein bipartiter Hypergraph ist. Dies führt zu einem Algorithmus, der in polynomiell erwarteter Zeit einen zufälligen Fano-freien (und somit einen zufälligen bipartiten 3-uniformen) Hypergraphen richtig färbt. Schließlich wird die folgende extremale Funktion studiert. Es sind r Farben gegeben sowie ein k-uniformer Hypergraph F. Auf wie viele verschiedene Arten kann man die Kanten eines k-uniformen Hypergraphen H färben, so dass keine monochromatische Kopie von F entsteht? Welche Hypergraphen H maximieren die Anzahl erlaubter Kantenfärbungen? Hier wird ein strukturelles Resultat für eine natürliche Klasse von Hypergraphen bewiesen. Es wird für viele Hypergraphen F, deren extremaler Hypergraph bekannt ist, gezeigt, dass im Falle von zwei oder drei Farben die extremalen Hypergraphen die oben beschriebene Funktion maximieren, während für vier oder mehr Farben andere Hypergraphen mehr Kantenfärbungen zulassen. / This thesis presents first one possible generalization of the result of Chung, Graham and Wilson to k-uniform hypergraphs, and studies the so-called weak quasi-randomness. As applications we obtain a simple strong refutation algorithm for random sparse k-SAT formulas and we identify first non-bipartite forcing pairs for quasi-random graphs. Our focus then shifts from the study of quasi-random objects to applications of different versions of the hypergraph regularity lemmas; all these versions assert decompositions of hypergraphs into constantly many quasi-random parts, where the meaning of ``quasi-random'''' takes different contexts in different situations. We study the family of hypergraphs not containing the hypergraph of the Fano plane as a subhypergraph, and show that almost all members of this family are bipartite. As a consequence an algorithm for coloring bipartite 3-uniform hypergraphs with average polynomial running time is given. Then the following combinatorial extremal problem is considered. Suppose one is given r colors and a fixed hypergraph F. The question is: In at most how many ways can one color the hyperedges of a hypergraph H on n vertices such that no monochromatic copy of F is created? What are the extremal hypergraphs for this function? Here a structural result for a natural family of hypergraphs F is proven. For some special classes of hypergraphs we show that their extremal hypergraphs (for large n) maximize the number of edge colorings for 2 and 3 colors, while for at least 4 colors other hypergraphs are optimal.
|
Page generated in 0.0335 seconds