Cellulose based Lithium ion polymer electrolytes for Lithium batteries

The separator membrane in batteries and fuel cells is of crucial importance for the function of these devices. In lithium ion batteries the separator membrane as well as the polymer matrix of the electrodes consists of polymer electrolytes which are lithium ion conductors. To overcome the disadvantage of currently used polymer electrolytes which are highly swollen with liquids and thus mechanically and electrochemically unstable, the goal of this work is a new generation of solid polymer electrolytes with a rigid backbone and a soft side chain structure. Moreover the novel material should be based on cheap substrates and its synthesis should not be complicated aiming at low overall costs. The new materials are based on hydroxypropylcellulose and oligoethyleneoxide derivatives as starting materials. The grafting of the oligoethyleneoxide side chains onto the cellulose was carried out following two synthetic methods. One is based on a bromide derivative and another based on p-toluolsulfonyl as a leaving group. The side chain reagents were prepared form tri(ethylene glycol) monoethyl ether. In order to improve the mechanical properties the materials were crosslinked. Two different conceptions have been engaged based on either urethane chemistry or photosensitive dimethyl-maleinimide derivatives. PEO - graft - cellulose derivatives with a high degree of substitution between 2,9 and 3,0 were blended with lithium trifluoromethane-sulfonate, lithium bis(trifluorosulfone)imide and lithium tetrafluoroborate. The molar ratios were in the range from 0,02 to 0,2 [Li]/[O]. The products have been characterized with nuclear magnetic resonance (NMR), gel permeation chromatography (GPC) and laserlight scattering (LS) with respect to their degree of substitution and molecular weight. The effect of salt concentration on ionic conductivity, thermal behaviour and morphology has been investiga-ted with impedance spectroscopy, differential scanning calorimetry (DSC) and thermal gravimetric analysis (TGA). The crosslinking reactions were controlled with dynamic mechanical analysis (DMS). The degree of substitution of our products is varying between 2,8 and 3,0 as determined by NMR. PEO - graft - cellulose derivatives are highly viscous liquids at room temperature with glass transition temperatures around 215 K. The glass transition temperature for the Lithium salt complexes of PEO - graft - cellulose deri-vatives increase with increasing salt content. The maximum conductivity at room temperature is about 10-4 and at 100°C around 10-3 Scm-1. The presence of lithium salt decreases the thermal stability of the complexes in comparison to pure PEO - graft - cellulose derivatives. Complexes heated over 140 – 150°C completely lose their ionic conductivity. The temperature dependence of the conductivity presented as Arrhenius-type plots for all samples is similar in shape and follows a VTF behaviour. This proofs that the ionic transport is closely related to the segmental motions of the polymer chains. Novel cellulose derivatives with grafted oligoethylen-oxide side chains with well-defined chemical structure and high side chain grafting density have been synthesized. Cellulose was chosen as stiff, rod like macromolecule for the backbone while oligoethylen-oxides are chosen as flexible side chains. A maximum grafting density of 3.0 have been obtained. The best conductivity reaches 10-3 Scm-1 at 100°C for a Li-triflate salt complex with a [Li]/[O] ratio of 0.8. The cross-linked complexes containing the lithium salts form elastomeric films with convenient mechanical stability. Our method of cellulose modification is based on relatively cheap and commercially available substrates and as such appears to be a promising alternative for industrial applications.

A dictionary of modular threefolds

The thesis deals with the modularity conjecture for three-dimensional Calabi-Yau varieties. This is a generalization of the work of A. Wiles and others on modularity of elliptic curves. Modularity connects the number of points on varieties with coefficients of certain modular forms. In chapter 1 we collect the basics on arithmetic on Calabi-Yau manifolds, including general modularity results and strategies for modularity proofs. In chapters 2, 3, 4 and 5 we investigate examples of modular Calabi-Yau threefolds, including all examples occurring in the literature and many new ones. Double octics, i.e. Double coverings of projective 3-space branched along an octic surface, are studied in detail. In chapter 6 we deal with examples connected with the same modular forms. According to the Tate conjecture there should be correspondences between them. Many correspondences are constructed explicitly. We finish by formulating conjectures on the occurring newforms, especially their levels. In the appendices we compile tables of coefficients of weight 2 and weight 4 newforms and many examples of double octics.

On the geometry of the spin-statistics connection in quantum mechanics

The Spin-Statistics theorem states that the statistics of a system of identical particles is determined by their spin: Particles of integer spin are Bosons (i.e. obey Bose-Einstein statistics), whereas particles of half-integer spin are Fermions (i.e. obey Fermi-Dirac statistics). Since the original proof by Fierz and Pauli, it has been known that the connection between Spin and Statistics follows from the general principles of relativistic Quantum Field Theory. In spite of this, there are different approaches to Spin-Statistics and it is not clear whether the theorem holds under assumptions that are different, and even less restrictive, than the usual ones (e.g. Lorentz-covariance). Additionally, in Quantum Mechanics there is a deep relation between indistinguishabilty and the geometry of the configuration space. This is clearly illustrated by Gibbs' paradox. Therefore, for many years efforts have been made in order to find a geometric proof of the connection between Spin and Statistics. Recently, various proposals have been put forward, in which an attempt is made to derive the Spin-Statistics connection from assumptions different from the ones used in the relativistic, quantum field theoretic proofs. Among these, there is the one due to Berry and Robbins (BR), based on the postulation of a certain single-valuedness condition, that has caused a renewed interest in the problem. In the present thesis, we consider the problem of indistinguishability in Quantum Mechanics from a geometric-algebraic point of view. An approach is developed to study configuration spaces Q having a finite fundamental group, that allows us to describe different geometric structures of Q in terms of spaces of functions on the universal cover of Q. In particular, it is shown that the space of complex continuous functions over the universal cover of Q admits a decomposition into C(Q)-submodules, labelled by the irreducible representations of the fundamental group of Q, that can be interpreted as the spaces of sections of certain flat vector bundles over Q. With this technique, various results pertaining to the problem of quantum indistinguishability are reproduced in a clear and systematic way. Our method is also used in order to give a global formulation of the BR construction. As a result of this analysis, it is found that the single-valuedness condition of BR is inconsistent. Additionally, a proposal aiming at establishing the Fermi-Bose alternative, within our approach, is made.

Entschlüsselung des Carotinoid-Metabolismus im marinen Schwamm Suberites domuncula

Die Enzyme des Carotinoidstoffwechsels spalten Provitamin A-Carotinoide in wichtige Retinoide (z.B. Vitamin A, Retinsäure), die Organismen während der Entwicklung und in visuellen Systemen benötigen. Die vorliegende Arbeit präsentiert erstmalig eine Carotinoxygenase (BCO) aus Schwämmen (S. domuncula), die einzigartig im Tierreich ist und nur einen orthologen Vertreter in Pflanzen (Crocus sativus) wieder findet. Das Enzym ist eine 7,8(7’,8’)-Carotinoxygenase, die C40-Carotinoide zu einem C10-Apocarotinoid und 8’-Apocarotinal spaltet. Mittels HPLC wurden sowohl die Primärspaltprodukte von β-Carotin, Lykopin und Zeaxanthin als auch das für alle identische innere Kettenstück (Crocetin) bei Doppelspaltung nachgewiesen. Der Nachweis der BCO-Transkripte (unter anderem in-situ) belegt eine Beteiligung des Enzyms während Entwicklungsprozessen und offenbart sowohl eine streng räumlich-zeitliche als auch eine über Rückkopplungsprozesse gesteuerte Regulierung des Enzyms. Ein weiteres hier identifiziertes Gen ähnelt einer bakteriellen Apocarotinoidoxygenase (ACO), welche das 8’-Apocarotinal der BCO erneut spaltet und so Retinal generiert. Letzteres dient als Chromophor zahlreicher visueller Systeme und kann über Enzyme des Retinoidstoffwechsels entweder gespeichert, oder in das wichtige Morphogen Retinsäure umgesetzt werden. Hier werden zwei potentielle Enzyme vorgestellt, die an dieser Interkonversion Retinal/Retinol (Speicher) beteiligt sein könnten als auch eines, das evtl. Retinal zu Retinsäure umsetzt. Die hier vorgestellten Ergebnisse unterstützen die Hypothese, dass Retinsäure kein autapomorphes Morphogen der Chordaten darstellt.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.