Root parametrized differential equations

The present thesis is about the inverse problem in differential Galois Theory. Given a differential field, the inverse  problem asks which linear algebraic groups can be realized as differential Galois groups of Picard-Vessiot extensions of this field.   In this thesis we will concentrate on the realization of the classical groups as differential Galois groups. We introduce a method for a very general realization of these groups. This means that we present for the classical groups of Lie rank $l$ explicit linear differential equations where the coefficients are differential polynomials in $l$ differential indeterminates over an algebraically closed field of constants $C$, i.e. our differential ground field is purely differential transcendental over the constants.   For the groups of type $A_l$, $B_l$, $C_l$, $D_l$ and $G_2$ we managed to do these realizations at the same time in terms of Abhyankar's program 'Nice Equations for Nice Groups'. Here the choice of the defining matrix is important. We found out that an educated choice of $l$ negative roots for the parametrization together with the positive simple roots leads to a nice differential equation and at the same time defines a sufficiently general element of the Lie algebra. Unfortunately for the groups of type $F_4$ and $E_6$ the linear differential equations for such elements are of enormous length. Therefore we keep in the case of $F_4$ and $E_6$ the defining matrix differential equation which has also an easy and nice shape.   The basic idea for the realization is the application of an upper and lower bound criterion for the differential Galois group to our parameter equations and to show that both bounds coincide. An upper and lower bound criterion can be found in literature. Here we will only use the upper bound, since for the application of the lower bound criterion an important condition has to be satisfied. If the differential ground field is $C_1$, e.g., $C(z)$ with standard derivation, this condition is automatically satisfied. Since our differential ground field is purely differential transcendental over $C$, we have no information whether this condition holds or not.   The main part of this thesis is the development of an alternative lower bound criterion and its application. We introduce the specialization bound. It states that the differential Galois group of a specialization of the parameter equation is contained in the differential Galois group of the parameter equation. Thus for its application we need a differential equation over $C(z)$ with given differential Galois group. A modification of a result from Mitschi and Singer yields such an equation over $C(z)$ up to differential conjugation, i.e. up to transformation to the required shape. The transformation of their equation to a specialization of our parameter equation is done for each of the above groups in the respective transformation lemma.

A generic formula for the values at the boundary points of monic classical orthogonal polynomials

In a previous paper we have determined a generic formula for the polynomial solution families of the well-known differential equation of hypergeometric type σ(x)y"n(x)+τ(x)y'n(x)-λnyn(x)=0. In this paper, we give another such formula which enables us to present a generic formula for the values of monic classical orthogonal polynomials at their boundary points of definition.

Computation of locally free class groups

We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to present an algorithm that computes the locally free class group. The algorithm is implemented in MAGMA for the case where the algebra is a group ring over the rational numbers.

Church-Rosser groups and growing context-sensitive groups

A finitely generated group is called a Church-Rosser group (growing context-sensitive group) if it admits a finitely generated presentation for which the word problem is a Church-Rosser (growing context-sensitive) language. Although the Church-Rosser languages are incomparable to the context-free languages under set inclusion, they strictly contain the class of deterministic context-free languages. As each context-free group language is actually deterministic context-free, it follows that all context-free groups are Church-Rosser groups. As the free abelian group of rank 2 is a non-context-free Church-Rosser group, this inclusion is proper. On the other hand, we show that there are co-context-free groups that are not growing context-sensitive. Also some closure and non-closure properties are established for the classes of Church-Rosser and growing context-sensitive groups. More generally, we also establish some new characterizations and closure properties for the classes of Church-Rosser and growing context-sensitive languages.

Computations in Relative Algebraic K-Groups

Let G be finite group and K a number field or a p-adic field with ring of integers O_K. In the first part of the manuscript we present an algorithm that computes the relative algebraic K-group K_0(O_K[G],K) as an abstract abelian group. We solve the discrete logarithm problem, both in K_0(O_K[G],K) and the locally free class group cl(O_K[G]). All algorithms have been implemented in MAGMA for the case K = \IQ. In the second part of the manuscript we prove formulae for the torsion subgroup of K_0(\IZ[G],\IQ) for large classes of dihedral and quaternion groups.

Computation of relativistic symmetry orbitals for finite double point groups

A program is presented for the construction of relativistic symmetry-adapted molecular basis functions. It is applicable to 36 finite double point groups. The algorithm, based on the projection operator method, automatically generates linearly independent basis sets. Time reversal invariance is included in the program, leading to additional selection rules in the non-relativistic limit.

Characterization theorem for classical orthogonal polynomials on non-uniform lattices: The functional approach

Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations,and the Riccati equation for the formal Stieltjes function.

Spezifität der quantitativen Resistenz von Blättern und Früchten der Tomate (Lycopersicon ssp. L.) gegenüber Phytophthora infestans (Mont.) de Bary.

Ziel der vorliegenden Arbeit war es, einen Beitrag zur Resistenzforschung bei Tomaten gegenüber P. infestans zu leisten, um erste Grundlagen für eine mögliche Züchtungsstrategie auf Basis unterschiedlicher quantitativer Resistenzen zu erarbeiten. Hierzu wurde untersucht, inwieweit unterschiedliche qualitative und quantitative Resistenzen bei Tomatenblättern und -früchten vorliegen, und ob hierfür verantwortliche Mechanismen identifiziert werden können. Zudem wurde untersucht, ob isolatspezifische quantitative Resistenzen identifiziert werden können. Zu diesem Zweck wurde mit einer erweiterten Clusteranalyse, basierend auf einer modifizierten Sanghvi-T2 Distanz, ein statistisches Verfahren entwickelt, welches die Identifikation von quantitativen, isolatspezifischen Resistenzen unter der Berücksichtigung der Variabilität ermöglicht. Des weiteren wurde geprüft, inwieweit zwischen den Resistenzausprägungen auf dem Blatt und den Resistenzausprägungen auf der Frucht ein Zusammenhang besteht und inwieweit die im Labor beobachteten Resistenzen unter Freilandbedingungen eine Rolle spielen. Im Labortest wurde die qualitative und quantitative Blattresistenz von 109 Akzessionen aus elf Lycopersicon und Solanum Arten gegenüber zwölf unterschiedlich aggressiven und teilweise auch unterschiedlich virulenten P. infestans Isolaten untersucht (Kap. 3). Die Früchte von 38 Tomatensorten wurden auf ihre Resistenz gegenüber drei P. infestans Isolaten geprüft. Zusätzlich wurde der Einfluss der Fruchtnachreife auf die Resistenzeigenschaften der Tomatenfrüchte gegenüber P. infestans analysiert (Kap. 4). Insgesamt 40 Sorten wurden auch unter Feldbedingungen auf Blatt- und Fruchtbefall untersucht (Kap. 5). Die frühen Stadien der Infektion von Tomatenblättern mit P. infestans Sporangien wurden mikroskopisch bei acht Tomatensorten mit unterschiedlichen quantitativen Reaktionsprofilen und drei Isolaten untersucht (Kap. 6). Hierzu wurden die Entwicklungsstadien von P. infestans Sporangien nach 24h, 48h und 60h nach der Inokulation auf und im Blatt mit der Calcofluor und der KOH - Anilin Blau Färbung sichtbar gemacht. Das Auftreten und die Lokalisation von H2O2 im Blatt nach 48h und 60h nach der Inokulation in Reaktion auf die Infektion wurde mithilfe einer DAB (3,3′ - Diaminobenzidine) Färbung untersucht. Es wurden einige, z.T. auch wahrscheinlich neue, qualitative Blattresistenzen gegenüber P. infestans gefunden, jedoch war keine der 109 Akzessionen vollständig resistent gegenüber allen Isolaten. Für die quantitative Resistenz von Blättern lagen in vielen Fällen isolatspezifische Unterschiede vor. Die Sorte x Isolat Interaktionen konnten mit Hilfe der erweiterten Clusteranalyse erfolgreich analysiert werden und die Akzessionen in Gruppen mit unterschiedlichen quantitativen Resistenzprofilen bzgl. der Interaktion mit den Isolaten und des Resistenzniveaus eingeteilt werden. Für die Fruchtresistenz konnten keine qualitativen Resistenzen gegenüber den drei getesteten Isolaten gefunden werden. Im Gegensatz dazu unterschieden sich die Tomatensorten in ihrer quantitativen Resistenz und Sorten und Isolate interagierten signifikant. Auch für die Fruchtresistenz konnten Gruppen mit unterschiedlichen quantitativen Reaktionsprofilen gebildet werden. Insgesamt nimmt die Anfälligkeit von Tomatenfrüchten mit zunehmender Reife kontinuierlich und signifikant ab. Unter Laborbedingungen korrelierten nur die Sporulationskapazität der Früchte und der prozentuale Blattbefall. Im Feldversuch über zwei Jahre und mit bis zu 40 Tomatensorten war der Zusammenhang hoch signifikant, jedoch asymptotisch, d.h. bereits bei sehr geringem Blattbefall war der Fruchtbefall sehr hoch. Bei den Tomatenherkünften, die sowohl im Labor als auch im Feld auf ihre Anfälligkeit getestet wurden, erschienen die Blattanfälligkeiten ähnlich, während kein klarer Zusammenhang zwischen der Fruchtanfälligkeit im Feld und im Labor bestand. Die Entwicklung von P. infestans auf der Blattoberfläche war unabhängig von der Sorte. Sowohl beim Eindringen und der Etablierung von P. infestans ins Blatt als auch bei der damit verbunden H2O2 Aktivität im Wirt wurden deutliche isolat- und sortenspezifische Effekte gefunden, die aber nur zum Teil mit den quantitativen Unterschieden der Blattresistenz korrespondierten. Sorten, die bei hoher Resistenz unterschiedliche Reaktionsprofile aufweisen, sind grundsätzlich interessante Kreuzungspartner, um die quantitative Resistenz gegenüber P. infestans zu verbessern. Hier sind vor allem Sorten, die sich auch in ihrer H2O2 Aktivität unterscheiden von Interesse.

Moments of classical orthogonal polynomials

The aim of this work is to find simple formulas for the moments mu_n for all families of classical orthogonal polynomials listed in the book by Koekoek, Lesky and Swarttouw. The generating functions or exponential generating functions for those moments are given.

On Connection, Linearization and Duplication Coefficients of Classical Orthogonal Polynomials

In this work, we have mainly achieved the following: 1. we provide a review of the main methods used for the computation of the connection and linearization coefficients between orthogonal polynomials of a continuous variable, moreover using a new approach, the duplication problem of these polynomial families is solved; 2. we review the main methods used for the computation of the connection and linearization coefficients of orthogonal polynomials of a discrete variable, we solve the duplication and linearization problem of all orthogonal polynomials of a discrete variable; 3. we propose a method to generate the connection, linearization and duplication coefficients for q-orthogonal polynomials; 4. we propose a unified method to obtain these coefficients in a generic way for orthogonal polynomials on quadratic and q-quadratic lattices. Our algorithmic approach to compute linearization, connection and duplication coefficients is based on the one used by Koepf and Schmersau and on the NaViMa algorithm. Our main technique is to use explicit formulas for structural identities of classical orthogonal polynomial systems. We find our results by an application of computer algebra. The major algorithmic tools for our development are Zeilberger’s algorithm, q-Zeilberger’s algorithm, the Petkovšek-van-Hoeij algorithm, the q-Petkovšek-van-Hoeij algorithm, and Algorithm 2.2, p. 20 of Koepf's book "Hypergeometric Summation" and it q-analogue.

Controlling the transport of an ion: classical and quantum mechanical solutions

The accurate transport of an ion over macroscopic distances represents a challenging control problem due to the different length and time scales that enter and the experimental limitations on the controls that need to be accounted for. Here, we investigate the performance of different control techniques for ion transport in state-of-the-art segmented miniaturized ion traps. We employ numerical optimization of classical trajectories and quantum wavepacket propagation as well as analytical solutions derived from invariant based inverse engineering and geometric optimal control. The applicability of each of the control methods depends on the length and time scales of the transport. Our comprehensive set of tools allows us make a number of observations. We find that accurate shuttling can be performed with operation times below the trap oscillation period. The maximum speed is limited by the maximum acceleration that can be exerted on the ion. When using controls obtained from classical dynamics for wavepacket propagation, wavepacket squeezing is the only quantum effect that comes into play for a large range of trapping parameters. We show that this can be corrected by a compensating force derived from invariant based inverse engineering, without a significant increase in the operation time.