TY - THES A1 - Zhai, Xiaomin T1 - Design, Development and Evaluation of a Virtual Classroom and Teaching Contents for Bernoulli Stochastics T1 - Design, Entwicklung und Evaluierung einer virtuellen Lernumgebung und des Lehrstoffs für die Bernoulli Stochastik N2 - This thesis is devoted to Bernoulli Stochastics, which was initiated by Jakob Bernoulli more than 300 years ago by his master piece 'Ars conjectandi', which can be translated as 'Science of Prediction'. Thus, Jakob Bernoulli's Stochastics focus on prediction in contrast to the later emerging disciplines probability theory, statistics and mathematical statistics. Only recently Jakob Bernoulli's focus was taken up von Collani, who developed a unified theory of uncertainty aiming at making reliable and accurate predictions. In this thesis, teaching material as well as a virtual classroom are developed for fostering ideas and techniques initiated by Jakob Bernoulli and elaborated by Elart von Collani. The thesis is part of an extensively construed project called 'Stochastikon' aiming at introducing Bernoulli Stochastics as a unified science of prediction and measurement under uncertainty. This ambitious aim shall be reached by the development of an internet-based comprehensive system offering the science of Bernoulli Stochastics on any level of application. So far it is planned that the 'Stochastikon' system (http://www.stochastikon.com/) will consist of five subsystems. Two of them are developed and introduced in this thesis. The first one is the e-learning programme 'Stochastikon Magister' and the second one 'Stochastikon Graphics' that provides the entire Stochastikon system with graphical illustrations. E-learning is the outcome of merging education and internet techniques. E-learning is characterized by the facts that teaching and learning are independent of place and time and of the availability of specially trained teachers. Knowledge offering as well as knowledge transferring are realized by using modern information technologies. Nowadays more and more e-learning environments are based on the internet as the primary tool for communication and presentation. E-learning presentation tools are for instance text-files, pictures, graphics, audio and videos, which can be networked with each other. There could be no limit as to the access to teaching contents. Moreover, the students can adapt the speed of learning to their individual abilities. E-learning is particularly appropriate for newly arising scientific and technical disciplines, which generally cannot be presented by traditional learning methods sufficiently well, because neither trained teachers nor textbooks are available. The first part of this dissertation introduces the state of the art of e-learning in statistics, since statistics and Bernoulli Stochastics are both based on probability theory and exhibit many similar features. Since Stochastikon Magister is the first e-learning programme for Bernoulli Stochastics, the educational statistics systems is selected for the purpose of comparison and evaluation. This makes sense as both disciplines are an attempt to handle uncertainty and use methods that often can be directly compared. The second part of this dissertation is devoted to Bernoulli Stochastics. This part aims at outlining the content of two courses, which have been developed for the anticipated e-learning programme Stochastikon Magister in order to show the difficulties in teaching, understanding and applying Bernoulli Stochastics. The third part discusses the realization of the e-learning programme Stochastikon Magister, its design and implementation, which aims at offering a systematic learning of principles and techniques developed in Bernoulli Stochastics. The resulting e-learning programme differs from the commonly developed e-learning programmes as it is an attempt to provide a virtual classroom that simulates all the functions of real classroom teaching. This is in general not necessary, since most of the e-learning programmes aim at supporting existing classroom teaching. The forth part presents two empirical evaluations of Stochastikon Magister. The evaluations are performed by means of comparisons between traditional classroom learning in statistics and e-learning of Bernoulli Stochastics. The aim is to assess the usability and learnability of Stochastikon Magister. Finally, the fifth part of this dissertation is added as an appendix. It refers to Stochastikon Graphics, the fifth component of the entire Stochastikon system. Stochastikon Graphics provides the other components with graphical representations of concepts, procedures and results obtained or used in the framework of Bernoulli Stochastics. The primary aim of this thesis is the development of an appropriate software for the anticipated e-learning environment meant for Bernoulli Stochastics, while the preparation of the necessary teaching material constitutes only a secondary aim used for demonstrating the functionality of the e-learning platform and the scientific novelty of Bernoulli Stochastics. To this end, a first version of two teaching courses are developed, implemented and offered on-line in order to collect practical experiences. The two courses, which were developed as part of this projects are submitted as a supplement to this dissertation. For the time being the first experience with the e-learning programme Stochastikon Magister has been made. Students of different faculties of the University of Würzburg, as well as researchers and engineers, who are involved in the Stochastikon project have obtained access to Stochastikon Magister via internet. They have registered for Stochastikon Magister and participated in the course programme. This thesis reports on two assessments of these first experiences and the results will lead to further improvements with respect to content and organization of Stochastikon Magister. N2 - Diese Dissertation ist der Bernoulli Stochastik gewidmet, die von Jakob Bernoulli von mehr als 300 Jahren begonnen wurde und zwar mit seinem Hauptwerk 'Ars conjectandi', was mit 'Wissenschaft der Vorhersagen' übersetzt werden kann. Im Zentrum von Jakob Bernoullis Stochastik stehen Vorhersagen im Gegensatz zu den später entstandenen Disziplinen Wahrscheinlichkeitstheorie, Statistik und Mathematische Statistik. Vor Kurzem wurde Jakob Bernoullis Vorschlag von Elart von Collani aufgegriffen, der daraus eine einheitliche Theorie der Unsicherheit entwickelte mit dem Ziel zuverlässige und genaue Vorhersagen zu erlauben. In dieser Dissertation wird eine virtuelle Lernumgebung und der entsprechende Lehrstoff für die Ideen und Resultate von Jakob Bernoulli und Elart von Collani entwickelt. Die Dissertation ist Teil des groß angelegten Projekts 'Stochastikon' dessen Ziel es ist, die Bernoulli Stochastik als allgemeine Wissenschaft der Vorhersage und des Messens unter Unsicherheit zu etablieren. Dieses ehrgeizige Ziel soll mit Hilfe eines umfassenden Internet-Systems erreicht werden, das die Bernoulli Stochastik für alle Gebiete der Anwendung zur Verfügung stellt. Zur Zeit besteht das Stochastikon-System (http://www.stochastikon.com/) aus fünf Teilsystemen. Zwei dieser Systeme sind im Rahmen dieser Dissertation entstanden. Das erste ist das E-Learning Programm 'Stochastikon Magister' und das zweite heißt 'Stochastikon Graphics'. Es beliefert das gesamte Stochastikon Systems mit grafischen Darstellungen. E-Learning entsteht durch Anwendung moderner Informationstechnologien auf die Ausbildung. E-Learning zeichnet sich dadurch aus, dass Lehren und Lernen unabhängig von Ort und Zeit und vom Vorhandensein von speziell ausgebildeten Lehrern ist. Das Angebot und Übermittlung von Wissen erfolgt mit Hilfe der modernen Informationstechnologien. Heutzutage basieren immer mehr E-Learning Programme auf dem Internet, das zum wichtigstes Mittel der Wissensvermittlung und Wissensdarstellung geworden ist. Für die Darstellung des Lehrstoffes im Rahmen des E-Learning existieren kaum Grenzen und darüber hinaus können die Studenten die Lerngeschwindigkeit ihren eigenen Bedürfnissen anpassen. E-Learning ist dabei besonders geeignet für neue wissenschaftliche und technische Disziplinen, die mangels Lehrer und Lehrmaterialien nicht mit Hilfe traditioneller Lernmethoden unterrichtet werden können. Im ersten Teil der Dissertation wird der State of the Art im Bereich der E-Learning Porgramme im Fach Statistik dargestellt, da Statistik und Bernoulli Stochastik beide auf der Wahrscheinlichkeitstheorie basieren und daher viele Ähnlichkeiten aufweisen. Stochastikon Magister ist das erste E-Learning Programm im Rahmen der Bernoulli Stochastik und daher werden zum Vergleich und zur Evaluierung Lehrsysteme aus der Statistik verwendet. Dies ist schon deshalb sinnvoll, weil beide Diszipline sich mit der Unsicherheit beschäftigen und in vielen Fällen die entsprechenden Methoden direkt miteinander verglichen werden können. Der zweite Teil der Dissertation enthält eine kurze Einführung in die Bernoulli Stochastik und zwar anhand von zwei Kursen die im Rahmen der Dissertation entwickelt wurden. Dieser Teil soll die Schwierigkeiten veranschaulichen, die beim Lehren, Verstehen und Anwenden der Bernoulli Stochastik überwunden werden müssen. Im dritten Teil der Dissertation wird die Realisierung des E-Learning Programms Stochastikon Magister diskutiert. Charakteristisch für das E-Learning Programm Stochastikon Magister ist der Versuch ein vollständiges virtuelles Klassenzimmer zu verwirklichen in dem alle Funktionen des traditionellen Schulunterrichts simuliert werden. Dies ist im Allgemeinen nicht notwendig, da das Ziel der meisten E-Learning Programme nur aus der Unterstützung eines traditionellen Lehrprogrammes besteht. Der vierte Teil der Dissertation besteht aus einer empirischen Evaluation des Stochastikon Magisters. Dabei wird eine traditionelle Statistikausbildung mit der Ausbildung in Bernoulli Stochastik auf der Grundlage des E-Learning Programms Stochastikon Magister verglichen. Ziel ist es die Bedienungsfreundlichkeit des Magisters und die Erlernbarkeit der Bernoulli Stochastik nachzuweisen. Der fünfte Teil schließlich besteht aus einem Anhang, der die fünfte Komponente des Stochastik Systems (Stochasticon Graphics) beschreibt. Stochasticon Graphics sorgt dafür, dass alle übrigen Komponenten mit graphischen Abbildungen der Konzepte, Verfahren und Resultate versorgt werden. Das Hauptziel dieser Dissertation ist die Entwicklung geeigneter Software für eine E-Learning-Umgebung für das Fach Bernoulli Stochastik. Die Bereitstellung des entsprechenden Lehrstoff stellt dabei ein sekundäres, aber notwendiges Ziel dar. Notwendig um vor allem die Funktionalität der E-Learning Plattform und die wissenschaftliche Neuheit der Bernoulli Stochastik demonstrieren zu können. Dazu wurden erste Versionen von zwei Kursen entwickelt und on-line angeboten, um Erfahrungen zu sammeln. Die beiden Kurse, die im Rahmen dieser Dissertation entwickelt worden sind, sind als Anhang der Dissertation beigefügt. Zur Zeit werden die ersten Erfahrungen mit dem E-Learning Programm Stochastikon Magister gemacht. Studenten verschiedener Fakultäten der Universität Würzburg aber auch Wissenschaftler und Techniker, die im Rahmen des Stochastikon Projekts mitarbeiten, haben die Kurse belegt und absolviert. Die Ergebnisse dieser ersten Erfahrungen werden in der Dissertation dargestellt und sie werden zu weiteren Verbesserungen des E-Learning Programms führen. KW - Moment KW - Wahrscheinlichkeitsverteilung KW - E-Learning KW - Stochastik KW - Vorhersagetheorie KW - Unsicherheit KW - Zufall KW - Ignoranz KW - Bernoulli Raum KW - Vorhersageverfahren KW - Bernoulli KW - Jakob KW - Uncertainty KW - Randomness KW - Ignorance KW - Bernoulli Space KW - Prediction Procedure Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-56106 ER - TY - THES A1 - Curtef, Oana T1 - Rayleigh–quotient optimization on tensor products of Grassmannians T1 - Rayleigh–Quotient Optimierung auf Tensorprodukte von Graßmann-Mannigfaltigkeiten N2 - Applications in various research areas such as signal processing, quantum computing, and computer vision, can be described as constrained optimization tasks on certain subsets of tensor products of vector spaces. In this work, we make use of techniques from Riemannian geometry and analyze optimization tasks on subsets of so-called simple tensors which can be equipped with a differentiable structure. In particular, we introduce a generalized Rayleigh-quotient function on the tensor product of Grassmannians and on the tensor product of Lagrange- Grassmannians. Its optimization enables a unified approach to well-known tasks from different areas of numerical linear algebra, such as: best low-rank approximations of tensors (data compression), computing geometric measures of entanglement (quantum computing) and subspace clustering (image processing). We perform a thorough analysis on the critical points of the generalized Rayleigh-quotient and develop intrinsic numerical methods for its optimization. Explicitly, using the techniques from Riemannian optimization, we present two type of algorithms: a Newton-like and a conjugated gradient algorithm. Their performance is analysed and compared with established methods from the literature. N2 - Viele Fragestellungen aus den unterschiedlichen mathematischen Disziplinen, wie z.B. Signalverarbeitung, Quanten-Computing und Computer-Vision, können als Optimierungsprobleme auf Teilmengen von Tensorprodukten von Vektorräumen beschrieben werden. In dieser Arbeit verwenden wir Techniken aus der Riemannschen Geometrie, um Optimierungsprobleme für Mengen von sogenannten einfachen Tensoren, welche mit einer differenzierbaren Struktur ausgestattet werden können, zu untersuchen. Insbesondere führen wir eine verallgemeinerte Rayleigh-Quotienten-Funktion auf dem Tensorprodukt von Graßmann-Mannigfaltigkeiten bzw. Lagrange-Graßmann-Mannigfaltigkeiten ein. Dies führt zu einem einheitlichen Zugang zu bekannten Problemen aus verschiedenen Bereichen der numerischen linearen Algebra, wie z.B. die Niedrig–Rang–Approximation von Tensoren (Datenkompression), die Beschreibung geometrischer Maße für Quantenverschränkung (Quanten-Computing) und Clustering (Bildverarbeitung). Wir führen eine gründliche Analyse der kritischen Punkte des verallgemeinerten Rayleigh-Quotienten durch und entwickeln intrinsische numerische Methoden für dessen Optimierung. Wir stellen zwei Arten von Algorithmen vor, die wir mit Hilfe von Techniken aus der Riemannsche Optimierung entwickeln: eine mit Gemeinsamkeiten zum Newton-Verfahren und eine zum CG-Verfahren ähnliche. Wir analysieren die Performance der Algorithmen und vergleichen sie mit gängigen Methoden aus der Literatur. KW - Optimierung KW - Riemannsche Optimierung KW - Newtonverfahren KW - Verfahren der konjugierten Gradienten KW - Maße für Quantenverschränkung KW - Riemannian optimization KW - Grassmann Manifold KW - Newton method KW - Conjugate gradient method KW - tensor rank KW - subspace clustering KW - enatnglement measure KW - Riemannsche Geometrie KW - Grassmann-Mannigfaltigkeit KW - Konjugierte-Gradienten-Methode KW - Newton-Verfahren Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-83383 ER - TY - THES A1 - Christ, Thomas T1 - Value-distribution of the Riemann zeta-function and related functions near the critical line T1 - Werteverteilung der Riemannschen Zetafunktion und verwandter Funktionen nahe der kritischen Geraden N2 - The Riemann zeta-function forms a central object in multiplicative number theory; its value-distribution encodes deep arithmetic properties of the prime numbers. Here, a crucial role is assigned to the analytic behavior of the zeta-function on the so called critical line. In this thesis we study the value-distribution of the Riemann zeta-function near and on the critical line. Amongst others we focus on the following. PART I: A modified concept of universality, a-points near the critical line and a denseness conjecture attributed to Ramachandra. The critical line is a natural boundary of the Voronin-type universality property of the Riemann zeta-function. We modify Voronin's concept by adding a scaling factor to the vertical shifts that appear in Voronin's universality theorem and investigate whether this modified concept is appropriate to keep up a certain universality property of the Riemann zeta-function near and on the critical line. It turns out that it is mainly the functional equation of the Riemann zeta-function that restricts the set of functions which can be approximated by this modified concept around the critical line. Levinson showed that almost all a-points of the Riemann zeta-function lie in a certain funnel-shaped region around the critical line. We complement Levinson's result: Relying on arguments of the theory of normal families and the notion of filling discs, we detect a-points in this region which are very close to the critical line. According to a folklore conjecture (often attributed to Ramachandra) one expects that the values of the Riemann zeta-function on the critical line lie dense in the complex numbers. We show that there are certain curves which approach the critical line asymptotically and have the property that the values of the zeta-function on these curves are dense in the complex numbers. Many of our results in part I are independent of the Euler product representation of the Riemann zeta-function and apply for meromorphic functions that satisfy a Riemann-type functional equation in general. PART II: Discrete and continuous moments. The Lindelöf hypothesis deals with the growth behavior of the Riemann zeta-function on the critical line. Due to classical works by Hardy and Littlewood, the Lindelöf hypothesis can be reformulated in terms of power moments to the right of the critical line. Tanaka showed recently that the expected asymptotic formulas for these power moments are true in a certain measure-theoretical sense; roughly speaking he omits a set of Banach density zero from the path of integration of these moments. We provide a discrete and integrated version of Tanaka's result and extend it to a large class of Dirichlet series connected to the Riemann zeta-function. N2 - Die Riemannsche Zetafunktion ist ein zentraler Gegenstand der multiplikativen Zahlentheorie; in ihrer Werteverteilung liegen wichtige arithmetische Eigenschaften der Primzahlen kodiert. Besondere Bedeutung kommt hierbei dem analytischen Verhalten der Zetafunktion auf der sog. kritischen Geraden zu. Wir untersuchen in dieser Arbeit die Werteverteilung der Riemannschen Zetafunktion auf und nahe der kritischen Geraden. Wir fokusieren wir uns dabei u.a. auf folgende Punkte. TEIL I: Ein modifiziertes Universalitätskonzept, a-Stellen nahe der kritischen Geraden und eine Dichtheitsvermutung nach Ramachandra. Die kritische Gerade fungiert als natürliche Grenze für die Voroninsche Universalitätseigenschaft der Riemannschen Zetafunktion. Wir modifizieren Voronins Universalitätskonzept dahingehend, dass wir die vertikalen Translationen aus Voronins Universalitätssatz mit einer zusätzlichen Skalierung versehen. Wir untersuchen, ob durch dieses modifizierte Konzept eine abgeschwächte Universalitätseigenschaft der Riemannschen Zetafunktion um die kritschen Gerade aufrecht erhalten werden kann. Es stellt sich heraus, dass die Gestalt der Funktionen, die sich auf diese Weise durch die Zetafunktion approximieren lassen, stark von der Funktionalgleichung und der Wahl des skalierenden Faktors abhängt. Nach einem Resultat von Levinson liegen fast alle a-Stellen der Riemannschen Zetafunktion in einem trichterförmigen Bereich um die kritische Gerade. Gewisse Normalitätsargumenten sowie das Konzept der 'filling discs' erlauben uns Levinsons Resultat zu ergänzen und a-Stellen in diesem trichterförmigen Bereich aufzuspüren, die sehr nahe an der kritischen Geraden liegen. Man vermutet, dass die Werte der Riemannschen Zetafunktion auf der kritischen Geraden dicht in den komplexen Zahlen liegen. Wir nähern uns dieser Vermutung (die man oft Ramachandra zuschreibt), indem wir die Existenz gewisser Kurven nachweisen, die sich asymptotisch an die kritische Gerade anschmiegen und die Eigenschaft besitzen, dass die Werte der Zetafunktion auf diesen Kurven dicht in den komplexen Zahlen liegen. Viele unserer Ergebnisse in Teil I sind unabhängig von der Eulerproduktdarstellung der Zetafunktion und gelten allgemein für beliebige meromorphe Funktionen, die einer Funktionalgleichung vom Riemann-Typ genügen. TEIL II: Diskrete und kontinuierliche Momente. Die Lindelöf Vermutung trifft eine Aussage über das Wachstumsverhalten der Zetafunktion auf der kritischen Geraden. Nach klassischen Arbeiten von Hardy und Littlewood lässt sie sich mittels Potenzmomente der Zetafunktion rechts von der kritischen Geraden umformulieren. Tanaka konnte kürzlich nachweisen, dass die asymptotischen Formeln, die man für diese Potenzmomente erwartet in einem gewissen maßtheoretischem Sinne Gülitgkeit besitzen: grob gesprochen wird heibei eine Menge mit Banachdichte null vom Integrationsweg der Potenzmomente ausgespart. Wir stellen eine diskrete und eine integrierte Version von Tanakas Resultat zur Verfügung. Zudem verallgemeinern wir Tanakas Ergebnis auf eine große Klasse von Dirichletreihen. KW - Riemannsche Zetafunktion KW - Riemann zeta-function KW - universality KW - a-point distribution Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-97763 ER - TY - INPR A1 - Geiselhart, Roman A1 - Gielen, Rob H. A1 - Lazar, Mircea A1 - Wirth, Fabian R. T1 - An Alternative Converse Lyapunov Theorem for Discrete-Time Systems N2 - This paper presents an alternative approach for obtaining a converse Lyapunov theorem for discrete–time systems. The proposed approach is constructive, as it provides an explicit Lyapunov function. The developed converse theorem establishes existence of global Lyapunov functions for globally exponentially stable (GES) systems and semi–global practical Lyapunov functions for globally asymptotically stable systems. Furthermore, for specific classes of sys- tems, the developed converse theorem can be used to establish non–conservatism of a particular type of Lyapunov functions. Most notably, a proof that conewise linear Lyapunov functions are non–conservative for GES conewise linear systems is given and, as a by–product, tractable construction of polyhedral Lyapunov functions for linear systems is attained. KW - Ljapunov-Funktion KW - stability analysis KW - conewise linear systems KW - discrete-time systems KW - converse Lyapunov theorems Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-78512 ER - TY - THES A1 - Sen, Surath T1 - Character Analysis and Numerical Computations of Standard M.I. Probability Distributions T1 - Charakteranalyse und Numerische Berechnungen der Standard M.I. Wahrscheinlichkeitsverteilungen N2 - Development and character analysis of software programs, which compute minimum information probability distributions. N2 - Entwicklung und Charakteranalyse von Softwareprogrammen, welche Minimuminformations Wahrscheinlichkeitsverteilungen berechnen. KW - Newton-Verfahren KW - Charakteranalyse KW - Softwareentwicklung KW - Minimum Information Wahrscheinlichkeitsverteilung KW - Newton-Raphson Verfahren KW - Minimum Information Probability Distribution KW - Newton-Raphson Method Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-78623 ER - TY - JOUR A1 - Harrach, Bastian T1 - Recent Progress on the Factorization Method for Electrical Impedance Tomography JF - Computational and Mathematical Methods in Medicine N2 - The Factorization Method is a noniterative method to detect the shape and position of conductivity anomalies inside an object. The method was introduced by Kirsch for inverse scattering problems and extended to electrical impedance tomography (EIT) by Brühl and Hanke. Since these pioneering works, substantial progress has been made on the theoretical foundations of the method. The necessary assumptions have been weakened, and the proofs have been considerably simplified. In this work, we aim to summarize this progress and present a state-of-the-art formulation of the Factorization Method for EIT with continuous data. In particular, we formulate the method for general piecewise analytic conductivities and give short and self-contained proofs. KW - Mathematik Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-96229 ER - TY - THES A1 - Barth, Dominik T1 - Computation of multi-branch-point covers and applications in Galois theory T1 - Berechnung von Mehrpunktüberlagerungen und Anwendungen in der Galoistheorie N2 - We present a technique for computing multi-branch-point covers with prescribed ramification and demonstrate the applicability of our method in relatively large degrees by computing several families of polynomials with symplectic and linear Galois groups. As a first application, we present polynomials over \(\mathbb{Q}(\alpha,t)\) for the primitive rank-3 groups \(PSp_4(3)\) and \(PSp_4(3).C_2\) of degree 27 and for the 2-transitive group \(PSp_6(2)\) in its actions on 28 and 36 points, respectively. Moreover, the degree-28 polynomial for \(PSp_6(2)\) admits infinitely many totally real specializations. Next, we present the first (to the best of our knowledge) explicit polynomials for the 2-transitive linear groups \(PSL_4(3)\) and \(PGL_4(3)\) of degree 40, and the imprimitive group \(Aut(PGL_4(3))\) of degree 80. Additionally, we negatively answer a question by König whether there exists a degree-63 rational function with rational coefficients and monodromy group \(PSL_6(2)\) ramified over at least four points. This is achieved due to the explicit computation of the corresponding hyperelliptic genus-3 Hurwitz curve parameterizing this family, followed by a search for rational points on it. As a byproduct of our calculations we obtain the first explicit \(Aut(PSL_6(2))\)-realizations over \(\mathbb{Q}(t)\). At last, we present a technique by Elkies for bounding the transitivity degree of Galois groups. This provides an alternative way to verify the Galois groups from the previous chapters and also yields a proof that the monodromy group of a degree-276 cover computed by Monien is isomorphic to the sporadic 2-transitive Conway group \(Co_3\). N2 - Wir stellen eine Technik zur Berechnung von Mehrpunktüberlagerungen mit vorgeschriebener Verzweigung vor und demonstrieren die Anwendbarkeit unserer Methode in relativ großen Graden durch die Berechnung mehrerer Familien von Polynomen mit symplektischen und linearen Galoisgruppen. Als erste Anwendung präsentieren wir Polynome über \(\mathbb{Q}(\alpha,t)\) für die primitiven Rang-3-Gruppen \(PSp_4(3)\) und \(PSp_4(3).C_2\) vom Grad 27 und für die 2-fach transitive Gruppe \(PSp_6(2)\) in ihren Operationen auf 28 bzw. 36 Punkten. Außerdem lässt das Polynom vom Grad 28 für \(PSp_6(2)\) unendlich viele total-reelle Spezialisierungen zu. Als Nächstes präsentieren wir die (unseres Wissens nach) ersten expliziten Polynome für die 2-fach transitiven linearen Gruppen \(PSL_4(3)\) und \(PGL_4(3)\) vom Grad 40 und die imprimitive Gruppe \(Aut(PGL_4(3))\) vom Grad 80. Zusätzlich geben wir eine negative Antwort auf die Frage von König, ob es eine rationale Funktion vom Grad 63 mit rationalen Koeffizienten gibt, die über mindestens vier Punkten verzweigt ist und Monodromiegruppe \(PSL_6(2)\) besitzt. Dies wird durch die explizite Berechnung der entsprechenden hyperelliptischen Geschlecht-3 Hurwitzkurve erreicht, die diese Familie parametrisiert, gefolgt von einer Suche nach rationalen Punkten auf ihr. Als Nebenprodukt unserer Berechnungen erhalten wir die ersten expliziten \(Aut(PSL_6(2))\)-Realisierungen über \(\mathbb{Q}(t)\). Schließlich stellen wir eine Technik von Elkies zur Beschränkung des Transitivitätsgrades von Galoisgruppen vor. Diese bietet einen alternativen Weg, die Galoisgruppen aus den vorherigen Kapiteln zu verifizieren und liefert auch einen Beweis dafür, dass die Monodromiegruppe einer von Monien berechneten Grad-276 Überlagerung isomorph zur sporadischen 2-fach transitiven Conway-Gruppe \(Co_3\) ist. KW - Galois-Theorie KW - Hurwitz-Raum KW - Monodromie KW - Überlagerung KW - Belyi map Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-277025 ER - TY - THES A1 - Fuller, Timo T1 - Contributions to the Multivariate Max-Domain of Attraction T1 - Beiträge zum Multivariaten Max-Stabilen Anziehungsbereich N2 - This thesis covers a wide range of results for when a random vector is in the max-domain of attraction of max-stable random vector. It states some new theoretical results in D-norm terminology, but also gives an explaination why most approaches to multivariate extremes are equivalent to this specific approach. Then it covers new methods to deal with high-dimensional extremes, ranging from dimension reduction to exploratory methods and explaining why the Huessler-Reiss model is a powerful parametric model in multivariate extremes on par with the multivariate Gaussian distribution in multivariate regular statistics. It also gives new results for estimating and inferring the multivariate extremal dependence structure, strategies for choosing thresholds and compares the behavior of local and global threshold approaches. The methods are demonstrated in an artifical simulation study, but also on German weather data. N2 - Diese Disseration behandelt eine Reihe von Resultaten, die gelten, wenn sich ein Zufallsvektor im multivariaten Anziehungsbereich eines max-stabilen Zufallsvektors befindet. Es gibt einige neue theoretische Resulte, die in D-Norm Terminologie behandelt werden, aber es wird auch erläutert, warum dieser Ansatz äquivalent zu den meisten anderen Ansätzen in multivariater Extremwerttheorie ist. Es werden neue Methoden dargestellt, mit denen hoch-dimensionale Extremwertprobleme angegangen werden können, darunter Konzepte die Dimensionsreduzierung bis explorative Methoden, und es wird weiter erklärt, warum das parametrische Hüssler-Reiss model eine mächtige Rolle in der multivariaten Extremwerttheorie einnimmt, vergleichbar mit Gausschen Zufallsvektoren in der Standard-Statistik. Es gibt außerdem neue Methoden für Schätzung und Interferenz der extremalen Abhängigkeitsstruktur, Strategien, wie Thresholds gewählt werden können und ein Vergleich von lokalen gegenüber globalen Thresholds. Die Methoden werden in einer Simulationsstudie mit künstlichen Daten, aber auch mit deutschen Wetterdaten demonstriert. KW - Extremwertstatistik KW - Multivariate statistics KW - Dimension reduction KW - Estimation KW - Data Exploration KW - Tail-behavior Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-207422 ER - TY - THES A1 - Wenz, Andreas T1 - Computation of Belyi maps with prescribed ramification and applications in Galois theory T1 - Berechnung von Belyi-Funktionen mit vorgegebener Monodromiegruppe und Anwendungen in der Galoistheorie N2 - We compute genus-0 Belyi maps with prescribed monodromy and strictly verify the computed results. Among the computed examples are almost simple primitive groups that satisfy the rational rigidity criterion yielding polynomials with prescribed Galois groups over Q(t). We also give an explicit version of a theorem of Magaard, which lists all sporadic groups occurring as composition factors of monodromy groups of rational functions. N2 - Wir berechnen Geschlecht-0 Belyi-Funktionen mit vorgegebener Monodromiegruppe und liefern rigorose Verifikationsbeweise. Unter den berechneten Exemplaren finden sich fast-einfache primitive Gruppen, welche das sogenannte "Rationale-Starrheitskriterium" erfüllen, die zu Galois-Realisierungen über Q(t) führen. Außerdem liefern wir eine explizite Version eines Satzes von Magaard, der alle sporadischen Gruppen auflistet, die als Kompositionsfaktoren von Monodromiegruppen rationaler Funktionen auftreten. KW - Galois-Theorie KW - Überlagerung KW - Belyi map KW - Explicit Computation KW - Belyi-Funktionen KW - Explizite Berechnung Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-240838 ER - TY - JOUR A1 - Kakaroumpas, Spyridon A1 - Soler i Gibert, Odí T1 - Dyadic product BMO in the Bloom setting JF - Journal of the London Mathematical Society N2 - Ó. Blasco and S. Pott showed that the supremum of operator norms over L\(^{2}\) of all bicommutators (with the same symbol) of one-parameter Haar multipliers dominates the biparameter dyadic product BMO norm of the symbol itself. In the present work we extend this result to the Bloom setting, and to any exponent 1 < p < ∞. The main tool is a new characterization in terms of paraproducts and two-weight John–Nirenberg inequalities for dyadic product BMO in the Bloom setting. We also extend our results to the whole scale of indexed spaces between little bmo and product BMO in the general multiparameter setting, with the appropriate iterated commutator in each case. KW - dyadic product BMO KW - bicommutators KW - Bloom setting Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-318602 SN - 0024-6107 VL - 106 IS - 2 SP - 899 EP - 935 ER - TY - THES A1 - Lechner, Theresa T1 - Proximal Methods for Nonconvex Composite Optimization Problems T1 - Proximal-Verfahren für nichtkonvexe zusammengesetzte Optimierungsprobleme N2 - Optimization problems with composite functions deal with the minimization of the sum of a smooth function and a convex nonsmooth function. In this thesis several numerical methods for solving such problems in finite-dimensional spaces are discussed, which are based on proximity operators. After some basic results from convex and nonsmooth analysis are summarized, a first-order method, the proximal gradient method, is presented and its convergence properties are discussed in detail. Known results from the literature are summarized and supplemented by additional ones. Subsequently, the main part of the thesis is the derivation of two methods which, in addition, make use of second-order information and are based on proximal Newton and proximal quasi-Newton methods, respectively. The difference between the two methods is that the first one uses a classical line search, while the second one uses a regularization parameter instead. Both techniques lead to the advantage that, in contrast to many similar methods, in the respective detailed convergence analysis global convergence to stationary points can be proved without any restricting precondition. Furthermore, comprehensive results show the local convergence properties as well as convergence rates of these algorithms, which are based on rather weak assumptions. Also a method for the solution of the arising proximal subproblems is investigated. In addition, the thesis contains an extensive collection of application examples and a detailed discussion of the related numerical results. N2 - In Optimierungsproblemen mit zusammengesetzten Funktionen wird die Summe aus einer glatten und einer konvexen, nicht glatten Funktion minimiert. Die vorliegende Arbeit behan- delt mehrere numerische Verfahren zur Lösung solcher Probleme in endlich-dimensionalen Räumen, welche auf Proximity Operatoren basieren. Nach der Zusammenfassung einiger grundlegender Resultate aus der konvexen und nicht- glatten Analysis wird ein Verfahren erster Ordnung, das Proximal-Gradienten-Verfahren, vorgestellt und dessen Konvergenzeigenschaften ausführlich behandelt. Bekannte Resultate aus der Literatur werden dabei zusammengefasst und durch weitere Ergebnisse ergänzt. Im Anschluss werden im Hauptteil der Arbeit zwei Verfahren hergeleitet, die zusätzlich Informationen zweiter Ordnung nutzen und auf Proximal-Newton- beziehungsweise Proximal-Quasi- Newton-Verfahren beruhen. Der Unterschied zwischen beiden Verfahren liegt darin, dass bei ersterem eine klassische Schrittweitensuche verwendet wird, während das zweite stattdessen einen Regularisierungsparameter nutzt. Beide Techniken führen dazu, dass im Gegensatz zu vielen verwandten Verfahren in der jeweils ausführlichen Konvergenzanalyse die globale Konvergenz zu stationären Punkten ohne weitere einschränkende Voraussetzungen bewiesen werden kann. Ferner zeigen umfassende Resultate die lokalen Konvergenzeigenschaften sowie Konvergenzraten der Algorithmen auf, welche auf lediglich schwachen Annahmen beruhen. Ein Verfahren zur Lösung auftretender Proximal-Teilprobleme ist ebenfalls Bestandteil dieser Arbeit. Die Dissertation beinhaltet zudem eine umfangreiche Sammlung von Anwendungsbeispielen und zugehörigen numerischen Ergebnissen. KW - Optimierung KW - composite optimization KW - proximal gradient method KW - proximal Newton method Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-289073 ER - TY - JOUR A1 - Dashkovskiy, Sergey A1 - Slynko, Vitalii T1 - Stability conditions for impulsive dynamical systems JF - Mathematics of Control, Signals, and Systems N2 - In this work, we consider impulsive dynamical systems evolving on an infinite-dimensional space and subjected to external perturbations. We look for stability conditions that guarantee the input-to-state stability for such systems. Our new dwell-time conditions allow the situation, where both continuous and discrete dynamics can be unstable simultaneously. Lyapunov like methods are developed for this purpose. Illustrative finite and infinite dimensional examples are provided to demonstrate the application of the main results. These examples cannot be treated by any other published approach and demonstrate the effectiveness of our results. KW - lyapunov methods KW - stability KW - robustness KW - impulsive systems KW - infinite-dimensional systems KW - nonlinear systems KW - input-to-state stability Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-268390 SN - 1435-568X VL - 34 IS - 1 ER - TY - JOUR A1 - Kanzow, Christian A1 - Raharja, Andreas B. A1 - Schwartz, Alexandra T1 - An Augmented Lagrangian Method for Cardinality-Constrained Optimization Problems JF - Journal of Optimization Theory and Applications N2 - A reformulation of cardinality-constrained optimization problems into continuous nonlinear optimization problems with an orthogonality-type constraint has gained some popularity during the last few years. Due to the special structure of the constraints, the reformulation violates many standard assumptions and therefore is often solved using specialized algorithms. In contrast to this, we investigate the viability of using a standard safeguarded multiplier penalty method without any problem-tailored modifications to solve the reformulated problem. We prove global convergence towards an (essentially strongly) stationary point under a suitable problem-tailored quasinormality constraint qualification. Numerical experiments illustrating the performance of the method in comparison to regularization-based approaches are provided. KW - quasinormality constraint qualification KW - cardinality constraints KW - augmented Lagrangian KW - global convergence KW - stationarity Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-269166 SN - 1573-2878 VL - 189 IS - 3 ER - TY - THES A1 - Stumpf, Pascal T1 - On coverings and reduced residues in combinatorial number theory T1 - Über Abdeckungen und prime Restklassen in kombinatorischer Zahlentheorie N2 - Our starting point is the Jacobsthal function \(j(m)\), defined for each positive integer \(m\) as the smallest number such that every \(j(m)\) consecutive integers contain at least one integer relatively prime to \(m\). It has turned out that improving on upper bounds for \(j(m)\) would also lead to advances in understanding the distribution of prime numbers among arithmetic progressions. If \(P_r\) denotes the product of the first \(r\) prime numbers, then a conjecture of Montgomery states that \(j(P_r)\) can be bounded from above by \(r (\log r)^2\) up to some constant factor. However, the until now very promising sieve methods seem to have reached a limit here, and the main goal of this work is to develop other combinatorial methods in hope of coming a bit closer to prove the conjecture of Montgomery. Alongside, we solve a problem of Recamán about the maximum possible length among arithmetic progressions in the least (positive) reduced residue system modulo \(m\). Lastly, we turn towards three additive representation functions as introduced by Erdős, Sárközy and Sós who studied their surprising different monotonicity behavior. By an alternative approach, we answer a question of Sárközy and demostrate that another conjecture does not hold. N2 - Der Startpunkt dieser Arbeit ist die Jacobsthal-Funktion \(j(m)\), die für jede natürliche Zahl \(m\) als die kleinste Zahl definiert ist, so dass je \(j(m)\) aufeinanderfolgende ganze Zahlen mindestens eine zu \(m\) teilerfremde Zahl enthalten. Es hat sich herausgestellt, dass Verbesserungen oberer Abschätzungen für \(j(m)\) gleichzeitig zu Fortschritten im Verständnis der Verteilung der Primzahlen in arithmetischen Folgen führen. Bezeichnet \(P_r\) das Produkt der ersten \(r\) Primzahlen, dann besagt eine Vermutung von Montgomery, dass \(j(P_r)\) bis auf einen konstanten Faktor durch \(r (\log r)^2\) von oben abgeschätzt werden kann. Allerdings scheinen die hier bisher sehr vielversprechenden Siebmethoden eine Grenze erreicht zu haben, und das Hauptziel dieser Arbeit ist es andere kombinatorische Methoden zu entwickeln, in der Hoffnung einem Beweis der Vermutung von Montgomery ein wenig näher zu kommen. Auf diesem Weg lösen wir nebenbei ein Problem von Recamán über die maximal mögliche Länge unter den arithmetischen Folgen im kleinsten (positiven) primen Restklassensystem modulo \(m\). Außerdem wenden wir uns am Ende drei additiven Darstellungsfunktionen zu, wie sie von Erdős, Sárközy und Sós eingeführt wurden, die deren überraschend unterschiedliches Monotonieverhalten untersucht haben. Mit einem alternativen Ansatz beantworten wir hier eine Frage von Sárközy und zeigen auf, dass eine andere Vermutung nicht bestehen kann. KW - Kombinatorische Zahlentheorie KW - coverings KW - reduced residues KW - Jacobsthal function Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-293504 ER - TY - JOUR A1 - Weishäupl, Sebastian T1 - The weak Gram law for Hecke \(L\)-functions JF - The Ramanujan Journal N2 - We generalize a theorem by Titchmarsh about the mean value of Hardy’s \(Z\)-function at the Gram points to the Hecke \(L\)-functions, which in turn implies the weak Gram law for them. Instead of proceeding analogously to Titchmarsh with an approximate functional equation we employ a different method using contour integration. KW - Gram’s law KW - Gram points KW - Hecke eigenforms KW - Hecke L-functions Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324404 SN - 1382-4090 VL - 60 IS - 4 ER - TY - JOUR A1 - Appell, Jürgen A1 - Brito, Belén López A1 - Reinwand, Simon T1 - Counterexamples on compositions JF - Mathematische Semesterberichte N2 - We give a collection of 16 examples which show that compositions \(g\) \(\circ\) \(f\) of well-behaved functions \(f\) and \(g\) can be badly behaved. Remarkably, in 10 of the 16 examples it suffices to take as outer function \(g\) simply a power-type or characteristic function. Such a collection of examples may serve as a source of exercises for a calculus course. KW - composition of functions KW - examples and counterexamples Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324306 SN - 0720-728X VL - 70 IS - 1 ER - TY - JOUR A1 - Lu, Lu A1 - Mönius, Katja T1 - Algebraic degree of Cayley graphs over abelian groups and dihedral groups JF - Journal of Algebraic Combinatorics N2 - For a graph \(\Gamma\) , let K be the smallest field containing all eigenvalues of the adjacency matrix of \(\Gamma\) . The algebraic degree \(\deg (\Gamma )\) is the extension degree \([K:\mathbb {Q}]\). In this paper, we completely determine the algebraic degrees of Cayley graphs over abelian groups and dihedral groups. KW - Cayley graph KW - integral graph KW - algebraic degree Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324380 SN - 0925-9899 VL - 57 IS - 3 ER - TY - JOUR A1 - Kanzow, Christian T1 - Y. Cui, J.-S. Pang: “Modern Nonconvex Nondifferentiable Optimization” JF - Jahresbericht der Deutschen Mathematiker-Vereinigung N2 - No abstract available. KW - Kanzow, C. Y. Cui, J.-S. Pang: “Modern Nonconvex Nondifferentiable Optimization” KW - Rezension Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324346 SN - 0012-0456 VL - 124 IS - 2 ER - TY - JOUR A1 - Greefrath, Gilbert A1 - Oldenburg, Reinhard A1 - Siller, Hans-Stefan A1 - Ulm, Volker A1 - Weigand, Hans-Georg T1 - Mathematics students’ characteristics of basic mental models of the derivative JF - Journal für Mathematik-Didaktik N2 - The concept of derivative is characterised with reference to four basic mental models. These are described as theoretical constructs based on theoretical considerations. The four basic mental models—local rate of change, tangent slope, local linearity and amplification factor—are not only quantified empirically but are also validated. To this end, a test instrument for measuring students’ characteristics of basic mental models is presented and analysed regarding quality criteria. Mathematics students (n = 266) were tested with this instrument. The test results show that the four basic mental models of the derivative can be reconstructed among the students with different characteristics. The tangent slope has the highest agreement values across all tasks. The agreement on explanations based on the basic mental model of rate of change is not as strongly established among students as one would expect due to framework settings in the school system by means of curricula and educational standards. The basic mental model of local linearity plays a rather subordinate role. The amplification factor achieves the lowest agreement values. In addition, cluster analysis was conducted to identify different subgroups of the student population. Moreover, the test results can be attributed to characteristics of the task types as well as to the students’ previous experiences from mathematics classes by means of qualitative interpretation. These and other results of students’ basic mental models of the derivative are presented and discussed in detail. N2 - Der Begriff der Ableitung wird anhand von vier Grundvorstellungen charakterisiert. Diese werden als theoretische Konstrukte beschrieben, die auf theoretischen Überlegungen beruhen. Die vier Grundvorstellungen – lokale Änderungsrate, Tangentensteigung, lokale Linearität und Verstärkungsfaktor – werden empirisch quantifiziert und validiert. Zu diesem Zweck wird ein Testinstrument zur Messung der Charakteristika dieser Grundvorstellungen von Lernenden erstellt, bzgl. Gütekriterien ausgewertet und an Mathematikstudierenden (n = 266) getestet. Die Ergebnisse zeigen, dass die vier Grundvorstellungen der Ableitung bei den Lernenden mit unterschiedlichen Merkmalen rekonstruiert werden können. Die Tangentensteigung weist über alle Aufgaben hinweg die höchsten Übereinstimmungswerte auf. Die Übereinstimmung bei Erklärungen, die auf der Grundvorstellung der lokalen Änderungsrate beruhen, ist bei den Studierenden nicht so stark ausgeprägt, wie man es aufgrund der Rahmenbedingungen im Schulsystem durch Lehrpläne und Bildungsstandards erwarten würde. Die Grundvorstellung der lokalen Linearität spielt eine eher untergeordnete Rolle. Der Verstärkungsfaktor erzielt die geringsten Übereinstimmungswerte. Darüber hinaus wurde eine Clusteranalyse durchgeführt, um verschiedene Untergruppen der Schülerpopulation zu identifizieren. Die Testergebnisse können mittels qualitativer Interpretation auf Merkmale der Aufgabentypen sowie auf die Vorerfahrungen der Studierenden aus dem Mathematikunterricht zurückgeführt werden. Diese und weitere Ergebnisse zu den grundlegenden mentalen Modellen der Studierenden zur Ableitung werden ausführlich dargestellt und diskutiert. KW - derivative KW - basic mental models KW - structure KW - test instrument KW - Ableitung KW - Grundvorstellung KW - Struktur KW - Testinstrument Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324317 SN - 0173-5322 VL - 44 IS - 1 ER - TY - JOUR A1 - Kanzow, Christian A1 - Mehlitz, Patrick T1 - Convergence properties of monotone and nonmonotone proximal gradient methods revisited JF - Journal of Optimization Theory and Applications N2 - Composite optimization problems, where the sum of a smooth and a merely lower semicontinuous function has to be minimized, are often tackled numerically by means of proximal gradient methods as soon as the lower semicontinuous part of the objective function is of simple enough structure. The available convergence theory associated with these methods (mostly) requires the derivative of the smooth part of the objective function to be (globally) Lipschitz continuous, and this might be a restrictive assumption in some practically relevant scenarios. In this paper, we readdress this classical topic and provide convergence results for the classical (monotone) proximal gradient method and one of its nonmonotone extensions which are applicable in the absence of (strong) Lipschitz assumptions. This is possible since, for the price of forgoing convergence rates, we omit the use of descent-type lemmas in our analysis. KW - non-Lipschitz optimization KW - nonsmooth optimization KW - proximal gradient method Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324351 SN - 0022-3239 VL - 195 IS - 2 ER -