TY - THES A1 - Lieb, Julia T1 - Counting Polynomial Matrices over Finite Fields : Matrices with Certain Primeness Properties and Applications to Linear Systems and Coding Theory BT - Matrices with Certain Primeness Properties and Applications to Linear Systems and Coding Theory N2 - This dissertation is dealing with three mathematical areas, namely polynomial matrices over finite fields, linear systems and coding theory. Coprimeness properties of polynomial matrices provide criteria for the reachability and observability of interconnected linear systems. Since time-discrete linear systems over finite fields and convolutional codes are basically the same objects, these results could be transfered to criteria for non-catastrophicity of convolutional codes. We calculate the probability that specially structured polynomial matrices are right prime. In particular, formulas for the number of pairwise coprime polynomials and for the number of mutually left coprime polynomial matrices are calculated. This leads to the probability that a parallel connected linear system is reachable and that a parallel connected convolutional codes is non-catastrophic. Moreover, the corresponding probabilities are calculated for other networks of linear systems and convolutional codes, such as series connection. Furthermore, the probabilities that a convolutional codes is MDP and that a clock code is MDS are approximated. Finally, we consider the probability of finding a solution for a linear network coding problem. N2 - Diese Dissertation beschäftigt sich mit drei Teilgebieten der Mathematik, nämlich Polynommatrizen über endlichen Körpern, linearen Systemen und Faltungscodes. Teilerfremdheitseigenschaften für Polynommatrizen stellen Kriterien für die Erreichbarkeit und Beoabachtbarkeit eines vernetzten linearen Systems zur Verfügung. Da zeit-diskrete lineare dynamische Systems und Faltungscodes im Prinzip diesselben Objekte darstellen, können diese Resultate in Kriterien dafür, dass ein Faltungscode nicht-katastrophal ist, übersetzt werden. Wir berechnen die Wahrscheinlichkeit, dass Polynommatrizen von spezieller Struktur rechtsprim sind. Im Besonderen, werden Formeln für die Anzahl paarweise teilerfremder Polynome sowie für die Anzahl wechselweise links-teilerfremder Polynommatrizen berechnet. Dies führt zu der Wahrscheinlichkeit, dass eine Parallelschaltung linearer Systeme erreichbar ist und dass eine Parallelschaltung von Faltungscodes nicht-katastrophal ist. Zudem werden andere Netzwerke linearen Systeme und von Faltungscodes, wie z.B. Reihenschaltung betrachtet. Des weiteren werden die Wahrscheinlichkeiten, dass ein Faltungscode MDP und dass ein Blockcode MDS ist, approximiert. Schließlich, betrachten wir die Wahrscheinlichkeit, eine Lösung für ein lineares Netzwerk-Kodierungsproblem zu finden. KW - Lineares System KW - Faltungscode KW - Polynomial matrices KW - linear system KW - convolutional code KW - Matrizenpolynom KW - Matrixpolynom Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-151303 SN - 978-3-95826-064-1 (print) SN - 978-3-95826-065-8 (online) N1 - Parallel erschienen als Druckausgabe in Würzburg University Press, 978-3-95826-064-1, 24,90 EUR. PB - Würzburg University Press CY - Würzburg ET - 1. Auflage ER - TY - THES A1 - Seifert, Bastian T1 - Multivariate Chebyshev polynomials and FFT-like algorithms T1 - Multivariate Tschebyschow-Polynome und FFT-artige Algorithmen N2 - This dissertation investigates the application of multivariate Chebyshev polynomials in the algebraic signal processing theory for the development of FFT-like algorithms for discrete cosine transforms on weight lattices of compact Lie groups. After an introduction of the algebraic signal processing theory, a multivariate Gauss-Jacobi procedure for the development of orthogonal transforms is proven. Two theorems on fast algorithms in algebraic signal processing, one based on a decomposition property of certain polynomials and the other based on induced modules, are proven as multivariate generalizations of prior theorems. The definition of multivariate Chebyshev polynomials based on the theory of root systems is recalled. It is shown how to use these polynomials to define discrete cosine transforms on weight lattices of compact Lie groups. Furthermore it is shown how to develop FFT-like algorithms for these transforms. Then the theory of matrix-valued, multivariate Chebyshev polynomials is developed based on prior ideas. Under an existence assumption a formula for generating functions of these matrix-valued Chebyshev polynomials is deduced. N2 - Diese Dissertation beschäftigt sich mit der Anwendung multivariater Tschebyschow-Polynome in der algebraischen Signalverarbeitungstheorie im Hinblick auf die Entwicklung FFT-artiger Algorithmen für diskrete Kosinus-Transformationen auf Gewichts-Gittern kompakter Lie-Gruppen. Nach einer Einführung in die algebraische Signalverarbeitungstheorie wird eine multivariate Gauss-Jacobi Prozedur für die Entwicklung orthogonaler Transformationen bewiesen. Zwei Theoreme über schnelle Algorithmen in der algebraischen Signalverarbeitung, eines basierend auf einer Dekompositionseigenschaft gewisser Polynome, das andere basierend auf induzierten Moduln, werden als multivariate Verallgemeinerungen vorgängiger Theoreme bewiesen. Die Definition multivariater Tschebyschow-Polynome basierend auf der Theorie der Wurzelsysteme wird vergegenwärtigt. Es wird gezeigt, wie man diese Polynome nutzen kann um diskrete Kosinustransformationen auf den Gewichts-Gittern kompakter Lie-Gruppen zu definieren. Des Weiteren wird gezeigt, wie man FFT-artige Algorithmen für diese Transformationen entwickeln kann. Sodann wird die Theorie Matrix-wertiger, multivariater Tschebyschow-Polynome basierend auf vorgängigen Ideen entwickelt. Unter einer Existenz-Annahme wird eine Formel für die erzeugenden Funktionen dieser Matrix-wertigen Tschebyschow-Polynome hergeleitet KW - Schnelle Fourier-Transformation KW - Čebyšev-Polynome KW - Kompakte Lie-Gruppe KW - Digitale Signalverarbeitung KW - Mehrdimensionale Signalverarbeitung KW - Algebraic signal processing KW - Algebraische Signalverarbeitung Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-206845 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 - 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 - THES A1 - Technau, Marc T1 - On Beatty sets and some generalisations thereof T1 - Über Beatty-Mengen und einige Verallgemeinerungen dieser N2 - Beatty sets (also called Beatty sequences) have appeared as early as 1772 in the astronomical studies of Johann III Bernoulli as a tool for easing manual calculations and - as Elwin Bruno Christoffel pointed out in 1888 - lend themselves to exposing intricate properties of the real irrationals. Since then, numerous researchers have explored a multitude of arithmetic properties of Beatty sets; the interrelation between Beatty sets and modular inversion, as well as Beatty sets and the set of rational primes, being the central topic of this book. The inquiry into the relation to rational primes is complemented by considering a natural generalisation to imaginary quadratic number fields. N2 - Zu gegebener Beatty-Menge \(\mathscr{B}(\alpha,\beta) = \{ n\alpha+\beta : n\in\mathbb{N} \}\) mit irrationalem \(\alpha>1\) und \(\beta\in\mathbb{R}\), sowie gegebener Primzahl \(p\) und hierzu teilerfremdem \(z\) untersuchen wir das Problem der Auffindung von Punkten \((m,\tilde{m})\) auf der modularen Hyperbel \[ \mathscr{H}_{z,p} = \{(m,\tilde{m}) \in \mathbb{Z}^2\cap[1,p )^2 : m\tilde{m}\equiv z\mod p\} \] mit \(\max\{ m, \tilde{m} \}\) so klein wie möglich, d.h. wir für gewisse \(\alpha\) beweisen nichttriviale Abschätzungen für \[ \min\{ \max\{ m, \tilde{m} \} : (m,\tilde{m})\in\mathscr{H}_{z,p}, \, m\in\mathscr{B}(\alpha,\beta) \}. \] Der Beweis fußt auf neuen Abschätzungen für unvollständige Kloosterman-Summen entlang \(\mathscr{B}(\alpha,\beta)\), welche durch das Speisen einer Methode von Banks und Shparlinski mit neuen Abschätzungen für die periodische Autokorrelation der endlichen Folge \[ 0,\, \operatorname{e}_p(y\overline{1}),\, \operatorname{e}_p(y\overline{2}),\, \ldots,\, \operatorname{e}_p(y\overline{p-1}), \quad \text{with \(y\) indivisible by \(p\)}, \] erhalten werden; (Hierbei bezeichnet \(\overline{m}\) die eindeutige natürliche Zahl \(m'\in[1,p)\) mit \(mm'\equiv 1\bmod p\) und wir schreiben \(\operatorname{e}_p(x) = \exp(2\pi i x/p)\).) Für letzteres adaptieren wir Ideen von Kloosterman. Des weiteren untersuchen wir Mengen der Form \(\{\lfloor m\alpha_1+n\alpha_2+\beta\rfloor : m,n\in\mathbb{N} \}\). Wir zeigen, dass diese stets in einer gewöhnlichen Beatty-Menge \(\mathscr{B}(\tilde{\alpha},\tilde{\beta})\) enthalten sind und geben zulässige Werte für \(\tilde{\alpha}\) und \(\tilde{\beta}\) an. Das Komplement \(\mathscr{C} = \mathscr{B}(\tilde{\alpha},\tilde{\beta}) \setminus \{\lfloor m\alpha_1+n\alpha_2+\beta\rfloor : m,n\in\mathbb{N} \}\) erweist sich als endliche Menge und wir bestimmen obere Schranken für das Supremum von \(\mathscr{C}\). Die Beweise gründen sich auf einfache Verteilungseigenschaften der Folge der Nachkommastellen \(\{n\alpha_1^{-1}\alpha_2\}\), \(n=1,2,\ldots\), sofern \(\alpha_1^{-1}\alpha_2\) irrational ist, und berufen sich anderenfalls auf die Endlichkeit der Frobenius-Zahl einer geeignet gewählten Instanz des Frobeniusschen Münzproblems. Abschließend verallgemeinern wir die Definition von Beatty-Mengen auf imaginär-quadratische Zahlkörper in einer natürlichen Weise. Hat der fragliche Zahlkörper Klassenzahl \(1\), so können wir zeigen, dass diese Beatty-artigen Mengen unendlich viele Primelemente enthalten, sofern der zugehörige Parameter \(\alpha\) nicht im betrachteten Zahlkörper enthalten ist. Für den speziellen Zahlkörper \(\mathbb{Q}(i)\) erhalten wir unter Benutzung des Hurwitzschen Kettenbruch-Algorithmus eine Zahlkörper-Variante eines früheren Resultats von Steuding und dem Autor, welches ein Beatty-Analogon des klassischen Linnikschen Satzes über die kleinste Primzahl in einer arithmetischen Progression darstellt. Die erwähnten Resultate werden durch Zahlkörper-Varianten von klassischen Ergebnissen über die Verteilung von \(\{ p\vartheta \}\), \(p=2,3,5,7,11,\ldots\), \(\vartheta\in\mathbb{R}\setminus\mathbb{Q}\), erhalten; Diese wurden kürzlich von Baier mittels der Harmanschen Siebmethode für \(\mathbb{Q}(i)\) bewiesen. Wir übertragen die zugehörigen Überlegungen auf Zahlkörper mit Klassenzahl \(1\). N2 - For Beatty sets \(\mathscr{B}(\alpha,\beta) = \{ n\alpha+\beta : n\in\mathbb{N} \}\) with irrational \(\alpha>1\) and \(\beta\in\mathbb{R}\), and \(p\) prime and coprime to \(z\), we investigate the problem of detecting points \((m,\tilde{m})\) on the modular hyperbola \[ \mathscr{H}_{z,p} = \{(m,\tilde{m}) \in \mathbb{Z}^2\cap[1,p )^2 : m\tilde{m}\equiv z\mod p\} \] with \(\max\{ m, \tilde{m} \}\) as small as possible, i.e., we obtain non-trivial estimates for \[ \min\{ \max\{ m, \tilde{m} \} : (m,\tilde{m})\in\mathscr{H}_{z,p}, \, m\in\mathscr{B}(\alpha,\beta) \} \] for certain \(\alpha\). The proof rests on new estimates for incomplete Kloosterman sums along \(\mathscr{B}(\alpha,\beta)\) which are in turn obtained on supplying a method due to Banks and Shparlinski with a new estimate for the periodic autocorrelation of the finite sequence \[ 0,\, \operatorname{e}_p(y\overline{1}),\, \operatorname{e}_p(y\overline{2}),\, \ldots,\, \operatorname{e}_p(y\overline{p-1}), \quad \text{with \(y\) indivisible by \(p\)}, \] (\(\overline{m}\) denoting the unique integer \(m'\in[1,p)\) with \(mm'\equiv 1\bmod p\) and \(\operatorname{e}_p(x) = \exp(2\pi i x/p)\), the latter being obtained from adapting an argument due to Kloosterman. Furthermore, we investigate sets of the shape \(\{\lfloor m\alpha_1+n\alpha_2+\beta\rfloor : m,n\in\mathbb{N} \}\). We show that they are always contained in some ordinary Beatty set \(\mathscr{B}(\tilde{\alpha},\tilde{\beta})\) where we give admissible choices for \(\tilde{\alpha}\) and \(\tilde{\beta}\). Their respective complement \(\mathscr{C}\) in this ordinary Beatty set is shown to be finite and bounds for the supremum of \(\mathscr{C}\) are provided. The proofs are based on basic distribution properties of the sequence of fractional parts \(\{n\alpha_1^{-1}\alpha_2\}\), \(n=1,2,\ldots\), when \(\alpha_1^{-1}\alpha_2\) is irrational, and appeal to the finiteness of the Frobenius number associated with a suitably chosen instance of the Frobenius coin problem otherwise. Lastly, we generalise the definition of Beatty sets to imaginary quadratic number fields in a natural fashion. Assuming the number field in question to have class number \(1\), we are able to show that these Beatty-type sets contain infinitely many prime elements provided that the parameter corresponding to \(\alpha\) from above is not contained in the number field. When the number field is \(\mathbb{Q}(i)\), then, using the Hurwitz continued fraction expansion, we obtain a number field analogue of a previous result of Steuding and the author, who gave a Beatty set analogue of Linnik's famous theorem on the least prime number in an arithmetic progression. These results are obtained from number field analogues of classical results about the distribution of \(\{ p\vartheta \}\), \(p=2,3,5,7,11,\ldots\), \(\vartheta\in\mathbb{R}\setminus\mathbb{Q}\), which were worked out recently by Baier for \(\mathbb{Q}(i)\) using Harman's sieve method. We generalise these arguments to imaginary quadratic number fields with class number \(1\). KW - Zahlentheorie KW - Beatty sequence KW - Kloosterman sum KW - prime number KW - distribution modulo one KW - Diophantine approximation KW - imaginary quadratic field Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-163303 SN - 978-3-95826-088-7 (Print) SN - 978-3-95826-089-4 (Online) N1 - Parallel erschienen als Druckausgabe in Würzburg University Press, ISBN 978-3-95826-088-7, 21,80 EUR. PB - Würzburg University Press CY - Würzburg ET - 1. Auflage ER -