Suche
Anzeige der Dokumente 1-10 von 24
Dissertation
Eigenschaften chromatischer Polynome
(2015-11-02)
Die Berechnung des 1912 von Birkhoff eingeführten chromatischen Polynoms eines Graphen stellt bekanntlich ein NP-vollständiges Problem dar. Dieses gilt somit erst recht für die Verallgemeinerung des chromatischen Polynoms zum bivariaten chromatischen Polynom nach Dohmen, Pönitz und Tittmann aus dem Jahre 2003. Eine von Averbouch, Godlin und Makowsky 2008 vorgestellte Rekursionsformel verursacht durch wiederholte Anwendung im Allgemeinen einen exponentiellen Rechenaufwand. Daher war das Ziel der vorliegenden Dissertation, ...
Dissertation
Lösungen linearer Polynomgleichungen in Funktionenkörpern und Uniformisierbarkeit von t-Moduln
(2018)
Bei abelschen t-Moduln über Funktionenkörpern, denen der Ring F_q[t] zugrunde liegt, spielt die Frage der Uniformisierbarkeit eine wichtige Rolle. In dieser Arbeit werden t-Moduln betrachtet, die durch
t = τ^2 + A τ+ θ
gegeben sind, wobei τ den q-Frobenius-Endomorphismus bezeichnet, A eine (d x d)-Matrix mit d = 2 ist und θ eine Unbestimmte über F_q ist, die als Skalar (der t entspricht) im Funktionenkörper F_q(( 1/θ )) aufgefasst wird.
Nach einem Satz von Anderson aus der grundlegenden Arbeit “t-motives” (1986) ...
Dissertation
Explicit Description Of Isogeny And Isomorphism Classes Of Drinfeld Modules Of Higher Rank Over Finite Fields
(2020)
When jumping from the number fields theory to the function fields theory, one cannot miss the deep analogy between rank 1 Drinfeld modules and the group of root of unity and the analogy between rank 2 Drinfeld modules and elliptic curves. But so far, there is no known structure in number fields theory that is analogous to the Drinfeld modules of higher rank r ≥ 3. In this thesis we investigate the classes of those Drinfeld modules of higher rank r ≥ 3 defined over a finite field L. We describe explicitly the Weil ...
Dissertation
Free Resolutions from Involutive Bases
(2016-11-02)
We show that the theory of involutive bases can be combined with discrete algebraic Morse Theory. For a graded k[x0 ...,xn]-module M, this yields a free resolution G, which in general is not minimal. We see that G is isomorphic to the resolution induced by an involutive basis. It is possible to identify involutive bases inside the resolution G. The shape of G is given by a concrete description. Regarding the differential dG, several rules are established for its computation, which are based on the fact that in the ...
Habilitation
Applicability of ordinal-array-based indicators to strange nonchaotic attractors
(Universität Kassel, 2017-06-12)
Time series are useful for modeling systems behavior, for predicting some events (catastrophes, epidemics, weather, ...) or for classification purposes (pattern recognition, pattern analysis). Among the existing data analysis algorithms, ordinal pattern based algorithms have been shown effective when dealing with simulation data. However, when applied to quasi-periodically forced systems, they fail to detect SNA and tori as regular dynamics. In this work we address this concern by defining ordinal array (OA) based ...
Lehrmaterial
Skriptum zur Linearen Algebra und Analytischen Geometrie
(2020-07)
Vorlesungsskript zur Vorlesung „Lineare Algebra und Analytische Geometrie“ an der Universität Kassel im Sommersemester 2020. Es handelt sich um die Druckversion.
Dissertation
Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra
(2020-06-10)
A Laurent-Puiseux series
$$ \sum\limits_{n = n_0}^{\infty }{a_n (z - z_0)^{n/k} (a_n \in K, k \in ℕ, n_0 \in ℤ ) } \quad (1) $$
where $ k $ denotes the corresponding Puiseux number and $ K $ an infinite computable field - mostly $ K= ℚ(α_1,\ldots,α_n) $ : a field of rational functions in several variables, is mainly characterized by the general coefficient. We consider the case where an is a term of an m-fold hypergeometric sequence.
That is $ a_{n+m} = r(n) a_n $ for all sufficiently large integers $ n, r(n) $ ...
Dissertation
Modellbildung in der algebraischen Kryptoanalyse
(2015-04-22)
In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle ...
Dissertation
Ein Algorithmus zur numerischen Verifikation der äquivarianten Tamagawazahlvermutung für eine Familie von Zahlkörpererweiterungen
(2011-04-07)
Sei $N/K$ eine galoissche Zahlkörpererweiterung mit Galoisgruppe $G$, so dass es in $N$ eine Stelle mit voller
Zerlegungsgruppe gibt. Die vorliegende Arbeit beschäftigt sich mit Algorithmen, die für das gegebene Fallbeispiel $N/K$, die äquivariante Tamagawazahlvermutung
von Burns und Flach für das Paar $(h^0(Spec(N), \mathbb{Z}[G]))$ (numerisch) verifizieren.
Grob gesprochen stellt die äquivariante Tamagawazahlvermutung (im Folgenden ETNC) in diesem Spezialfall einen Zusammenhang her zwischen Werten von
Artinschen ...
Dissertation
Deterministic Genericity and the Computation of homological Invariants
(2016-08-10)
The main goal of this thesis is to discuss the determination of homological invariants of polynomial ideals. Thereby we consider different coordinate systems and analyze their meaning for the computation of certain invariants. In particular,
we provide an algorithm that transforms any ideal into strongly stable position if char k = 0. With a slight modification, this algorithm can also be used to achieve a stable or quasi-stable position. If our field has positive characteristic, the Borel-fixed position is the ...