Search

This paper deals with different concepts for characterizing the size of mathematical objects. A game theoretic investigation and generalization of two size concepts, which can both be formulated in topological terms, is provided: the so called "Baire category" and the "$\sigma $-category". This is mainly done by means of (generalized) Banach-Mazur games using the Axiom of determinacy (the inconsistency of AC and AD is reflected in the beginning and a weaker form of AC is chosen for proofs). Analogue versions of Cantor-Bendixson and Heine-Borel are proofed as well as some definability results. Such size concepts are established f.i. in measure and integration theory, set theory and topology often leading to mathematically precise formulations of "fuzziness". In measure and integration theory f.i. one defines for a "measure space" $(\Omega, \underline{A}, \mu)$ - i.e. $\Omega$ is a non empty set, $\underline{A}$ a $\sigma$-algebra on $\Omega$ and $\mu$ a measure on $(\Omega,\underline{A})$ - and a property $E \subset \Omega$ of elements of $\Omega$, that the property $E$ is valid in a set $A\in\underline{A}$ "$\mu$-almost everywhere", if $E$ is true in $A$ up to a "$\mu$-null set" - i.e. $\exists N\in\underline{A}{ } (\mu(N)=0 \wedge A\cap N^\complement \subset E)$. This is crucial for the formulation of uniqueness statements in measure and integration theory as its theorems usually only apply up to "small" ($\mu$-null) sets. Key words: Axiom of choice AC, Axiom of determinacy AD, Baire category theorem, Baire property, Baire space, Banach-Mazur games, Borel hierachy, Cantor-Bendixson, definability, Gale-Stewart, Heine-Borel, Lusin hierarchy, meager sets, perfect set property, polish spaces, projective hierarchy, sigma bounded sets, sigma compact sets, superperfect sets, topological games, winning strategy, Comment: in German, Published at http://wwwmath.uni-muenster.de/logik/Veroeffentlichungen/diss/Weigt/Weigt.pdf, main reference: Alexander S. Kechris. On a notion of smallness for subsets of the Baire space. Trans. Amer. Math. Soc., 229:191-207, 1977

1. There is no existing any quadratic interval $\eta_{n}:=(n^{2},(n+1)^{2}],$ which contains less than 2 prime numbers. The number of prime numbers within $\eta_{n}$ goes averagely linear with n to infinity. 2. The exact law of the number $\pi(n)$ of prime numbers smaller or equal to n is given. As an approximation of that we get the prime number theorem of Gauss for great values of n. 3. We derive partition laws for $\pi(\eta_{n})$, for the number of twin primes $\pi_{2}(\eta_{n})$ in quadratic intervals $\eta_{n}$ and for the multiplicity $\pi_{g}(2n)$ of representations of Goldbach-pairs for a given even number 2n similiar to the theorem of Gauss. 4. There is no natural number n>7, which is beginning point of a prime number free interval with a length of more than 2{*}SQRT(n). 5. It follows, that the number of twin primes goes to infinity as well as the number of Goldbach-pairs for a given 2n, if n goes to infinity. 6. Besides this our computation gives new proofs for the prime number theorem of Gauss., Comment: 28 pages, 7 figures, mostly written in german language

We consider ruled surfaces in the three-dimensional Euclidean space and some geometrically distinguished families of curves on them whose normal curvature has a concrete form. The aim of this paper is to find and classify all ruled surfaces with the mentioned property, Comment: 11 pages, in German

We give a simple proof of a recent result by Kleinbock and Merrill concerning intrinsic approximations on sphere, in the simplest case of two-dimensional sphere in $\mathbb{R}^3$., Comment: in German

Similar to a tree grammar, a Horn theory can be used to describe an infinite set of terms. In this paper, we present a class of Horn theories such that the set of definable predicates is closed wrt. conjunction and such that the satisfiability of a predicate is decidable. This extends previous results on Horn clauses with unary predicates., Comment: in german; 11 pages

Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including hardware and mechanics. We defined two domain-specific logical operators that schematise frequent patterns in specification and proof and hence allow a more concise and expressive presentation. In Burghardt (1995), an english short version of this paper, without appendices, can be found., Comment: in german; 66 pages; 29 figures

Let (R,m) be a noetherian local ring and let $\mathcal{C}$ be the class of all R-modules M which possess a reflexive submodule U such that M/U is finitely generated. For every R-module $M\in \mathcal{C}$ the canonical embedding $\varphi: M\to M^{oo}$ is pure-essential. We investigate in the first section under which conditions the reverse is true, for example if R is a discrete valuation ring or if R does not have nilpotent elements and M is flat. In section 2 we determine all reflexive and flat R-modules with the help of a certain analogy between the localization $R_q$ and the injective hull of R/q. In section 3 we show: If the property 'pure-essential' is transitive for a domain R, then it follows that $dim(R)\leq 1$., Comment: 11 pages, in German

Magnetic fields of cosmic bodies are generated by the hydromagnetic dynamo effect in moving electrically conducting fluids, such as liquid metals or plasmas. Once produced, cosmic magnetic fields are able to act back on moving fluids. This back-reaction may have dramatic consequences for cosmic structure formation, with the magnetorotational instability (MRI) in accretions disks as the most prominent example. Considerable theoretical and computational progress has been made in understanding both the dynamo effect as well as magnetically triggered flow instabilities. Complementary to this, the last fifteen years have seen much effort in studying both effects in liquid metal experiments. We summarize the history of these experiments, discuss their main results and their limitations, and give an outlook on future activities., Comment: 13 pages, 5 figures, in German

This is a brief summary of prompt production of D mesons in pp and Pb-Pb collisions with the ALICE apparatus at the LHC., Comment: 42 pages, 11 figs, 1 table, 141 references, cumulative Habilitation thesis, University of Heidelberg, scientific summary only, cover page in German, unpublished

Let $A$ be a finite-dimensional algebra over an algebraically closed field. The problem of constructing indecomposable $A$-modules inductively from simple ones by means of exact sequences - called accessibility - is the starting point of the present diploma-thesis. It has lead us to the consideration of exceptional and indecomposable tree-representations of finite quivers. Following Ringel, we prove his result that exceptional representations are tree-representations. We give a detailed description of the various aspects of the Schofield-Induction which plays an important role in the proof. Moreover we introduce a functor (strong hypotheses being given) which enables us to construct indecomposable modules of an algebra from indecomposable representations of a certain bipartite quiver. We also give a proof of Ringel's result that each exceptional representation of dimension $d>1$ of a generalized Kronecker quiver has an indecomposable factor- or subrepresentation of dimension $d-1$. The thesis is concluded by some calculations showing the accessibility of representations of the 3-Kronecker-quiver in small dimensions., Comment: Diploma Thesis, Bergische Universit\"at Wuppertal 2012, 118 pages, in German, English title: "On accessible and indecomposable tree-representations of quivers"

We give a simple proof of a recent inequality by W.M. Schmidt and L. Summerer concerning Diophantine exponents for a linear form in three real variables., Comment: in German

A generalization of differential operators are pseudodifferential operators which are used for reasoning about partial differential equations with variable coefficients. A lot of useful properties about classical pseudodifferential operators are already discovered by the works of H. Kumano-Go and L. H\"ormander. In this work, we like to transfer their ideas on those operators which symbols are merely H\"older-continous. We focus on the composition of operators, symbol smoothing and operators on manifolds., Comment: thesis, in German

Top quark physics are an appropriate laboratory to study phenomena of the Standard Model and to test the limits of this theory. To obtain a higher precision for top quark predictions, the next-to-next-to-leading order (NNLO) in the pertubative expansion of the top quark production cross-section has to be calculated. The next-to-leading order (NLO) results are already available and provide a rather good accuracy. But this precision might be accidental, because at NLO not all the possible colour exchanges which occur at the one-loop level are considered and they could have significant impact on the cross-section and its differential distributions. In order to have precise predictions of the single top quark production the complete NNLO calculation is necessary. In this thesis the contributions of the one-loop amplitudes squared in NNLO are calculated for one production channel ($\textit{t}$-channel). The other possible production channels of the single top quark are also investigated. With the presented setup well known results in literature are reproduced. Intermediate results are calculated with different independent methods and, if possible, compared with results from literature. The occurring ultraviolet divergencies are dealt with in conventional dimensional regularisation (CDR) in the $\bar{\text{MS}}$ scheme ("Modified Minimal Substraction Scheme"). The final result still has infrared divergencies. An anti-commuting scheme for the calculation with the $\gamma_5$ matrix in CDR is used. An alternative scheme for the treatment of $\gamma_5$ is the Larin scheme, which will be introduced and discussed., Comment: master's thesis, in German

This article, written in German language, gives a very elementary introduction to infinite sets. It is meant for interested non-mathematicians., Comment: 21 pages. In German. To appear in Cantor-Heft 15 (2013)

This article is about life and work of Otto Toeplitz, who was influenced by the ideas of Felix Klein and David Hilbert., Comment: published version, Mathematische Semesterberichte, in German

Gravitation, according to General Relativity, is an attribute of space-time's geometry and hence not a force in the Newtonian sense. This is a consequence of Einstein's equivalence principle, which so far passed all experimental tests with high precision. However, the search for possible violations continues, for they, as the case may be, are expected to point towards more fundamental theoretical extensions of General Relativity. In particular, it is expected that useful insights are gained by studying the interaction between gravitational fields and genuine quantum-mechanical systems, like atoms or molecules. But this raises some fundamental issues, for General Relativity and Quantum Theory rest on partially incompatible sets of concepts. This article tries to explain in an elementary fashion how these issues recently entered modern research in atom interferometry. A shorter and editorially adapted version of this paper will appear in "Spektrum der Wissenschaft" -- the German edition of "Scientific American"., Comment: 18 pages, 7 figures, in german

During the summer of 1837 Christian Ludwig Gerling, a former student of Carl Friedrich Gauss, organized the world wide first determination of a vertical deflection in longitude. From a mobile observatory at the Frauenberg close to Marburg (Hessen) he measured the astronomical longitude difference between the observatory of C.F. Gauss at G\"ottingen and the observatory of F.G.B. Nicolai at Mannheim. By comparing these astronomical results with the geodetic determined longitude differences, which he just had measured as a part of the triangulation of Kurhessen, he was able to extract a combined value of the vertical deflection of G\"ottingen and Mannheim. His results are in very good agreement with modern vertical deflection data., Comment: 14 pages, 3 figures, 1 table, in German

Let $(R,\my)$ be a noetherian local ring, $E$ the injective hull of $k=R/\my$ and $M^\circ=$ Hom$_R(M,E)$ the Matlis dual of the $R$-module $M$. If the canonical monomorphism $\varphi: M \to \moo$ is surjective, $M$ is known to be called (Matlis-)reflexive. With the help of the Bass numbers $\mu(\py,M)=\dim_{\kappa(\py)}($Hom$_R(R/\py,M)_\py)$ of $M$ with respect to $\py$ we show: $M$ is reflexive if and only if $\mu(\py,M)=\mu(\py,\moo)$ for all $\py \in $ Spec$(R)$. From this it follows for every $R$-module $M$: If there exists a monomorphism $\moo \hookrightarrow M$ or an epimorphism $M \twoheadrightarrow \moo$, then $M$ is already reflexive., Comment: 5 pages, in German

An introduction is given to discussions on the possiblity of fabricating spacetime geometries allowing time-travel scenarios with the help of matter possessing typically quantum features. Those scenarios are considered in the framework of quantum field theory and general relativity. Results established in the literature excluding the possibility of time-travel are presented., Comment: Paper written in German, with English and German abstract, 13 pages, pdflatex, solicited by Ev. Studienwerk Villigst for the book project "Raum und Materie"

The Hittite city Sarissa was founded in the 16th century BC and has been systematically constructed. The city gates and the bigger public buildings were arranged at about 45{\deg} relative to the cardinal directions. However, one of the temples features a remarkable deviation from this general orientation. The following analysis shows that both, the general orientation of the public buildings and the deviation of one of the temples are related to astronomical observations, particularly to the course of the sun, and maybe also to some special points of the course of the Venus., Comment: 20 pages, in German, 10 figures

Introduction (in German) to a novel approach to sector analysis in theories with long range forces which avoids notorious infrared problems; cf. arXiv:1304.2794, Comment: 20 pages, in German, 11 figures, solicited by Ev. Studienwerk Villigst for the book project "Raum und Materie"

This thesis investigates the use of problem-specific knowledge to enhance a genetic algorithm approach to multiple-choice optimisation problems. It shows that such information can significantly enhance performance, but that the choice of information and the way it is included are important factors for success., Comment: Diplomarbeit, in German, Universitaet Mannheim, 1996

In research activities regarding Magnetic Resonance Imaging in medicine, simulation tools with a universal approach are rare. Usually, simulators are developed and used which tend to be restricted to a particular, small range of applications. This led to the design and implementation of a new simulator PARSPIN, the subject of this thesis. In medical applications, the Bloch equation is a well-suited mathematical model of the underlying physics with a wide scope. In this thesis, it is shown how analytical solutions of the Bloch equation can be found, which promise substantial execution time advantages over numerical solution methods. From these analytical solutions of the Bloch equation, a new formalism for the description and the analysis of complex imaging experiments is derived, the K-t formalism. It is shown that modern imaging methods can be better explained by the K-t formalism than by observing and analysing the magnetization of each spin of a spin ensemble. Various approaches for a numerical simulation of Magnetic Resonance imaging are discussed. It is shown that a simulation tool based on the K-t formalism promises a substantial gain in execution time. Proper spatial discretization according to the sampling theorem, a topic rarely discussed in literature, is universally derived from the K-t formalism in this thesis. A spin-based simulator is an application with high demands to computing facilities even on modern hardware. In this thesis, two approaches for a parallelized software architecture are designed, analysed and evaluated with regard to a reduction of execution time. A number of possible applications in research and education are demonstrated. For a choice of imaging experiments, results produced both experimentally and by simulation are compared., Comment: PhD thesis, RWTH Aachen, Germany, 2003, in German, available at http://darwin.bth.rwth-aachen.de/opus3/volltexte/2003/709/

With today's NMR techniques some microscopic geometry of tissue can still not be resolved directly. Often, there is also a specific off resonance field related to this geometry. In this work the impact of these off resonances on the transverse relaxation is investigated. Therefore the Bloch-Torrey Equation was numerically solved with a Monte Carlo approach, and the feasibility to deduce information about the geometry of the tissue from the simulated transverse magnetization rates was analysed., Comment: PhD thesis, in German

Quantum field theory unifies concepts from quantum theory and from special relativity. Its mathematically rigorous description is quite intricate and is only partially understood; this is particularly true for the construction of operators corresponding to measurements at a space-time point or in a bounded space-time region. We explain this fact in simplified examples on 1+1 dimensional space-time, namely in so-called integrable models. We give a characterization of local operators by means of the analyticity properties of their coefficients in a certain series expansion. This also allows us to explicitly construct examples of local operators., Comment: in German; 12 pages, 5 figures; as appeared in the proceedings of the symposium "Raum und Materie", Villigst, October 2012; references updated

This thesis investigates acoustic properties of the vocal tract. Starting from a historical background (to name a few: Galen, Ibn Sina/Avicenna, Mersenne, Hooke, Euler, Kempelen, Abbe Mical, Kratzenstein, Wheatstone, Helmholtz, Riesz, Dudley, Dunn, Kelly, Lochbaum, Chiba, Kajiyama, Saito, Itakura, Burg, Gray...) finaly an improvement in respect to the tube model of the vocal tract is developed: The acoustics of vocal tract is numerical simulated in 3 dimensions with Finite-difference in time-domain (FDTD) applied on an oral-cavity spatially constructed by parameter estimation of speech signals and laterally by MRI (Magnet Resonance Imaging). Further, the FDTD is applied on the acoustics of the nasal tract, including paranasal cavities. The spatial properties of the nasal tract are drawn for CT (Computer Tomographies). It is shown, that the (absolute) cross section area influences the resonance charateritic of the vocal tract significant, further the actual shape of the cross section introduces zeros in the transfer functions. The shape can be approximated by an elliptical contour, and a 2 dimensional FDTD approach is discussed. Important absorption machanism are modeled, and a method to translate the hounsfield-value of a voxel to an acoustic impedance, is shown, which leads to a more accurate simulation. The thesis further elucidates some aspects of a numerical efficient FDTD-implementation., Comment: in German. Correspondence between Mersenne, Trichet and Villiers added, contribution of Dodart and Ferrein clarified

The Square Kilometre Array (SKA) is the most ambitious radio telescope ever planned. With a collecting area of about a square kilometre, the SKA will be far superior in sensitivity and observing speed to all current radio facilities. The scientific capability promised by the SKA and its technological challenges provide an ideal base for interdisciplinary research, technology transfer, and collaboration between universities, research centres and industry. The SKA in the radio regime and the European Extreme Large Telescope (E-ELT) in the optical band are on the roadmap of the European Strategy Forum for Research Infrastructures (ESFRI) and have been recognised as the essential facilities for European research in astronomy. This "White Paper" outlines the German science and R&D interests in the SKA project and will provide the basis for future funding applications to secure German involvement in the Square Kilometre Array., Comment: Editors: H. R. Kl\"ockner, M. Kramer, H. Falcke, D.J. Schwarz, A. Eckart, G. Kauffmann, A. Zensus; 150 pages (low resolution- and colour-scale images), published in July 2012, language English (including a foreword and an executive summary in German), the original file is available via the MPIfR homepage

It is well known that a fixed point iteration for solving a linear equation system converges if and only if the spectral radius of the iteration matrix is less than one. A method is presented which guarantees the Fixed Point, even if this condition is not ("spectral radius <1") fulfilled and demonstrated through calculation examples., Comment: 15 pages, German, 1 figure, translation in work

When does a course count as 'inverted'? When first faced with a new teaching method, deliberate lectures may want to test it without abandoning the advantages of the established method. Aftes the experiment they have to evaluate additional benefits of the new system for teacher and student. Considering the high workload of lecturers, the help of a third party may be useful to obtain an objective assessment of the results during such a transition. At the University of Applied Sciences 'Hochschule Karlsruhe - Technik und Wirtschaft' in Germany, the SKATING project, funded by the German Federal Ministry of Education and Research (BMBF), offers among other things individual technical and didactic advice. This includes practical help with the development, implementation and testing of innovative lecture formats like the Inverted Classroom Method (also known as flipped class). When Professors at the University stated their interest in this approach, varying teaching projects on its implementation and evaluation were initiated. The main focus was the adaption of the method to the individual needs and wishes of professors, course and students. Several examples of a gradual lecture transformation are presented., Comment: Conference contribution published in "Das Inverted Classroom Model: Begleitband zur ersten deutschen ICM-Konferenz", Paper in German

These lectures are intended for graduate students who want to acquire a working knowledge of path integral methods in a wide variety of fields in physics. In general the presentation is elementary and path integrals are developed in the usual heuristic, non-mathematical way for application in many diverse problems in quantum physics. Three main parts deal with path integrals in non-relativistic quantum mechanics, many-body physics and field theory and contain standard examples (quadratic Lagrangians, tunneling, description of bosons and fermions, quantization of gauge theories etc.) as well as specialized topics (scattering, dissipative systems, spin \& color in the path integral, lattice methods etc.). In each part simple Fortran programs which can be run on a PC, illustrate the numerical evaluation of (Euclidean) path integrals by Monte-Carlo or variational methods. Also included are the set of problems which accompanied the lectures and their solutions., Comment: 183 pages (in German), 28 figures, Latex with amsmath, amssym; v2: typos corrected, chapters 1.7 and 2.3 expanded, 187 pages (in German), 29 figures; v3: corrections, more "Vertiefungen" (details), 198 pages (in German), 31 figures; v4: English version with additional part (solution of problems), 211 pages, 31 figures

Let k be an imaginary quadratic number field, let F be a rational quaternion algebra and M an extension of F as a quaternion k-algebra. We are going to classify the F-orders which arise as an intersection of F with a maximal M-order; and we are going to prove that the discriminant of such an intersection determines uniquely the isomorphism type of the corresponding maximal M-order. Building on this, we are going to relate this intersection to the intersection of a second rational quaternion algebra F' in M with a second maximal M-order. This allows us to determine whether the Bianchi group over the maximal k-order contains 3-dihedral, tetrahedral or 2-dihedral groups which are maximal as a finite subgroup. Additionally, we determine the number of maximal M-orders which respectively admit the same intersection with F. Building on this, we calculate the numbers of conjugacy classes of non-cyclic maximal finite subgroups in the given Bianchi group. In the final two chapters, we investigate non-trivial intersections of non-cyclic finite subgroups of the Bianchi groups and extend our results to Eichler orders and especially to Bianchi congruence subgroups., Comment: in German

In my PhD thesis I show the existence of global-in-time weak solutions for a Navier-Stokes fluid interacting with a linearly elastic shell of Koiter type. This is achieved by the introduction of a new method for showing the compactness of bounded sequences of approximate weak solutions. This method might be of general interest in the study of fluid dynamical problems involving a free boundary. There is no damping term involved in the shell equations., Comment: The thesis is written in German. An English publication in a journal will follow soon. In the first version some pages were missing, due to processing problems. Futhermore, some details were added to the metadata abstract

Information of many kinds is flowing in software projects and organizations. Requirements have to flow from the customer to the developers. Testers need to know the requirements as well. Boundary conditions and design decisions have to be at the right place at the right time. Information flow analysis with FLOW facilitates modeling of mode and route of the flow of information and experience independent of the development methodology. Experience often acts as a control factor, because experienced developers can process and route information more efficiently. Therefore, experience needs to be at the right place at the right time, too. However, most valuable experiences never get documented. Since information and experience is flowing in agile as well as in traditional environments, the FLOW method does not distinguish between agile and traditional, but only between how the flows are shaped. ---- In Softwareprojekten flie{\ss}en vielerlei Informationen. Anforderungen m\"ussen vom Kunden zu den Entwicklern gelangen. Auch Tester m\"ussen die Anforderungen kennen. Randbedingungen und Entwurfsentscheidungen m\"ussen zur rechten Zeit am rechten Ort sein. Die Informationsflussanalyse mit FLOW erm\"oglicht es, unabh\"angig von der Entwicklungsmethode zu modellieren, wie und auf welchem Wege Informationen und Erfahrungen flie{\ss}en. Erfahrungen spielen dabei oft die Rolle von Steuergr\"o{\ss}en, denn erfahrene Mitarbeiter k\"onnen Informationen kompetenter bearbeiten und weiterleiten. Auch die Erfahrungen m\"ussen in geeigneter Form zur rechten Zeit am rechten Ort sein. Viele Erfahrungen werden aber nie dokumentiert. Da Informationen und Erfahrungen sowohl in agilen als auch in traditionellen Umgebungen flie{\ss}en m\"ussen, wird in FLOW ein Modell aufgebaut, das nicht nach agil, traditionell oder anderen Bezeichnungen unterscheidet, sondern einzig danach, wie die Fl\"usse gestaltet sind., Comment: 49 pages in German. Method developed in research project InfoFLOW (http://www.se.uni-hannover.de/pages/en:projekte_flow)

A concise discussion of the basic principles of the controlled nuclear chain reaction is presented., Comment: 36 pages, 8 figures, LATEX, lecture notes / tutorial in German (one new section on reactivity measurements added)

In this work we generalize some of the previously known adiabatic theorems to situations with non-unitary evolutions in Banach spaces. We prove adiabatic theorems with uniform gap condition (generalizing a theorem of Abou Salem), adiabatic theorems with non-uniform gap condition (generalizing a theorem of Kato) and qualitative as well as quantitative adiabatic theorems without gap condition (generalizing theorems of Avron and Elgart, and Teufel). Additionally, we give a generalized version of an adiabatic theorem of higher order due to Nenciu. In all these adiabatic theorems the considered spectral values need not lie on the imaginary axis and in the adiabatic theorems with spectral gap condition and the adiabatic theorem of higher order compact subsets of the spectrum are sufficient (in particular, these subsets need not consist of eigenvalues). We explore the strength of the presented adiabatic theorems in numerous examples. In particular, we show that the theorems of the present work are more general than the previously known theorems. This work was finished in October 2010 and handed in as a diploma thesis at the mathematics department of the University of Stuttgart. The more recent results of Avron, Fraas, Graf und Grech which appeared in the meantime (in June 2011) are therefore not taken into consideration here. We point out, however, that the theorems of the present work are more general than the corresponding theorems of Avron, Fraas, Graf und Grech - with the exception of the adiabatic theorem of higher order which is in no logical relation to the adiabatic theorem of higher order of Avron, Fraas, Graf and Grech. We are about to gather the most important theorems of the present work in an article and will upload it to arXiv soon., Comment: 146 pages, in German

Ozsvath, Rasmussen and Szabo constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabo introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabo's complex, that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabo's link homology with the Universal Coefficient Theorem. Szabo has constructed such a lift independently, but has not yet published it. This is my master thesis which I wrote under supervision of Thomas Schick at Georg August University G\"ottingen in summer 2011. It is in German. I will publish a reworked version in English later., Comment: 62 pages, many pictures, in German

There exists many different versions of astrology that are different from each other and sometimes even in conflict with each other. But the basis of every astrological system is the assumption of a connection between the motion of celestial bodies and the fate of man. An analysis of the methods of astrology shows that - regardless of which special system is used - there exists no consistent basis that allows to deduce general and verifiable rules. An astrological analysis is therefore always arbitrary and meaningless. Astrology does not work. ----- Astrologie existiert in vielen verschiedenen Versionen die sich oft deutliche voneinander unterscheiden und sogar widersprechen. Allen gemeinsam ist aber die grundlegende Annahme eines Zusammenhangs zwischen der Bewegung der Himmelsk\"orper und dem Schicksal der Menschen. Eine Analyse der astrologischen Methodik zeigt, dass sie - egal in welcher konkreten Auspr\"agung - \"uber keine in sich schl\"ussige Grundlage verf\"ugt, anhand der sich allgemeing\"ultige und \"uberpr\"ufbare Regeln f\"ur die astrologische Arbeit ableiten lassen. Die astrologische Deutung bleibt somit beliebig. Astrologie funktioniert nicht., Comment: 6 pages, in german Talk, given at the symposium "Himmel: Wunschbild und Weltverstaendnis" (19/20. Nov. 2010 at Universitaet Tuebingen)

Based on the concept of annotation-based agents, this report introduces tools and a formal notation for defining and running text mining experiments using a statically typed domain-specific language embedded in Scala. Using machine learning for classification as an example, the framework is used to develop and document text mining experiments, and to show how the concept of generic, typesafe annotation corresponds to a general information model that goes beyond text processing., Comment: 63 pages, in German

The devices coil and transformer are subjects of interest in numerous schoolbooks, in introductory scientific textbooks of physics and engineering, and in laboratory courses at universities. Many descriptions, however, draw a somewhat distorted picture of the underlying physical mechanisms and provide half-knowledge or even clear misconceptions that should not be left uncommented and are therefore studied in detail: (1) Primary and secondary voltage at a transformer have a different sign. (2) Electromagnetic induction is the only mechanism of importance for coils and transformers. (3) The terminal voltage at coils and transformers is compensated by the so-called "induced voltage" (emf), which explains why Kirchhoff's voltage law also applies to coils and transformers. (4) The cores of coils and transformers are used for their ability to store energy. Energy is transported from the primary to the secondary coil within the magnetic core. (5) The stray magnetic and electric fields are sencondary effects not having a major effect on energy transport. (6) The higher the load current, the easier a transformer goes into saturation. (7) The higher the number of turns at the primary coil, the larger the magnetic flux in the core. (8) Transformers with cores having an air gap have a lower coupling factor, because the stray inductivity increases. In the paper, the most important characteristics of coil and transformers are derived directly from Maxwell's equation for idealised conditions, and subsequently, the different misconceptions are discussed and corrected., Comment: Preprint in German language

Balloon releases are one of the main attractions of many fairs. Helium filled rubber balloons are released to carry postcards over preferably long distances. Although such balloons have been considered in atmospheric sciences and air safety analysis, there is only scarce literature available on the subject. This work intends to close this gap by providing a comprehensive theoretical overview and a thorough analysis of real-life data. All relevant physical properties of a rubber balloon are carefully modelled and supplemented by weather observations to form a self-contained trajectory simulation tool. The analysis of diverse balloon releases provided detailed insight into the flight dynamics and potential optimisations. Helium balloons are found to reach routinely altitudes above 10 km. Under optimal conditions, they could stay more than 24 hours airborne while reaching flight distances close to 3000 km. However, external weather effects reduce the typical lifetime to 2-5 hours., Comment: 64 pages, 19 figures, in German (corrected typos and added references)

We discuss the Quantum-Koszul method for constructing star products on reduced phase spaces in the symplectic, regular case. It is shown that the reduction method proposed by Kowalzig, Neumaier and Pflaum for cotangent bundles is a special case of the Quantum-Koszul method. We give sufficient conditions that reduction by stages is possible in the Quantum-Koszul framework and show that the star product obtained by two steps is identical to that obtained by one step. In order to do so, we prove an equivariant version of the compatible tubular neighborhood theorem., Comment: Based on the author's diploma thesis at the University of Freiburg, August 2010, Advisor: N. Neumaier, S. Waldmann, in german

The book gives an overview over the possible perspectives with regard to our conceptions of space and time in the transition from General Relativity to a future theory of Quantum Gravity. Here the most different approaches and strategies for a theory construction in the field of Quantum Gravity are taken into account. ----- Die Monographie gibt einen Ueberblick ueber die moeglichen Perspektiven, die sich fuer unsere Auffassung von Raum und Zeit beim Uebergang von der Allgemeinen Relativitaetstheorie zu einer zukuenftigen Theorie der Quantengravitation ergeben. Hierbei werden die unterschiedlichsten Ansaetze und Strategien fuer die Theorienbildung im Bereich der Quantengravitation beruecksichtigt., Comment: 270 pages, in German

Classic project management and its tools usually deal with the management of three variables, and their relationships with each other. These are the factors of time, resources (cost) and quality. If one of the variables is to be improved, it always has negative effects on the other two. However, these factors only partially describe the reality of project management. What current project management tools often only consider implicitly is the location of an activity. In this paper, the implications of using location data for project management are clarified and a system that offers mobile support in planning and implementing projects. ----- Klassisches Projektmanagement und seine Werkzeuge befassen sich meist mit der Verwaltung dreier Gr\"o{\ss}en und ihrer Zusammenh\"ange untereinander. Dabei handelt es sich um die Faktoren Zeit, Ressourcen (Kosten) und Qualit\"at. Falls eine der Gr\"o{\ss}en verbessert werden soll, hat dies immer negative Auswirkungen auf die anderen beiden Gr\"o{\ss}en. Diese Gr\"o{\ss}en beschreiben die Ph\"anomene des Projektmanagement jedoch nur unvollst\"andig. Was bei Projektmanagementwerkzeugen bis dato oft nur implizit durch den Projektleiter einbezogen wird ist ein Ortsbezug. In diesem Beitrag werden die Implikationen durch diesen Ortsbezug konkretisiert und ein System dargestellt, welches Projektleiter bei der Planung und Umsetzung von Projekten mobil wie auch station\"ar unterst\"utzt., Comment: 5 pages, in German; preprint, to appear in GI/ITG KuVS Fachgespr\"ach "Ortsbezogene Anwendungen und Dienste" 2010

The accepted model for nerve pulse propagation in biological membranes seems insufficient. It is restricted to dissipative electrical phenomena and considers nerve pulses exclusively as a microscopic phenomenon. A simple thermodynamic model that is based on the macroscopic properties of membranes allows explaining more features of nerve pulse propagation including the phenomenon of anesthesia that has so far remained unexplained., Comment: 7 pages, 7 Figures. English translation of an article published in Physik Journal in German language

We introduce unbounded multipliers on operator spaces. These multipliers generalize both, regular operators on Hilbert C*-modules and (bounded) multipliers on operator spaces. ----- Wir definieren den Begriff eines unbeschr\"ankten Multiplikators auf Operatorr\"aumen. Diese Multiplikatoren verallgemeinern sowohl regul\"are Operatoren auf Hilbert-C*-Moduln als auch (beschr\"ankte) Multiplikatoren auf Operatorr\"aumen., Comment: 130 pages, in German

English abstract: This work contains of five chapters: The first one deals with Morita equivalence of star algebras. In particular star algebras which are equipped with a symmetry given by a Hopf (star-) algebra. In the second chapter we describe the equivariant Picard group and the equivariant Picard groupoid, which are a direct consequence of the results from the first chapter. We calculated the kernel and the image of the groupoid morphism from the equivariant Picard groupoid into the normal one. We give furthermore a formalized version of Morita invariance: given by a functor from the Picard groupoid to another category. This is shown for several examples. In the third chapter we show the connection between Hopf equivariant Morita equivalence of star algebras and the Morita equivalence of cross-product algebras. The forth chapter deals with deformation quantization and gives an extended introduction to (invariant) star products. In the fifth chapter we show the Hopf equivariance of deformed algebras (i.e. of hermitian star products). This is a important examples which concludes the previous chapters., Comment: PhD thesis in German, 200 pages

Looking at the cartesian product of a topological space with itself, a natural map to be considered on that object is the involution that interchanges the coordinates, i.e. that maps (x,y) to (y,x). The so-called halfsquaring construction, now also called "symmetric squaring construction", in Cech homology with Z/2-coefficients was introduced in [arXiv:0709.1774] as a map from the k-th Cech homology group of a space X to the 2k-th Cech homology group of X \times X divided by the above mentioned involution. It turns out to be a crucial construction in the proof of a Borsuk-Ulam-type theorem. In this thesis, a generalization of this construction, which is here called "Dachabbildung", to Cech homology with integer coefficients is given for even dimensions k, which is proven to equally satisfy the useful properties of the original construction. Detailed proofs are provided which could also supersede the somewhat sketchy exposition of [arXiv:0709.1774] for the case of Z/2-coefficients. As a preparation for the presented results, two possibilities of defining Cech homology are closely examined and shown to be ismorphic., Comment: 52 pages, diploma thesis of Denise Nakiboglu (= Denise Krempasky) supervised by Thomas Schick, in German

Several Authors have demonstrated that substituting computer simulations for real experiments conducted in a lab may help to improve students' understanding of the material. In the present work we try to understand the reasons for this intriguing finding and investigate possible prerequisites necessary to achieve this outcome. The study was conducted in an introductory college-level physics class in Germany. All simulations were performed using PSPICE., Comment: Thesis in partial fulfillment of the requirements for a German teaching certificate, written in German, reformatted in LaTeX

The two-particle state space of the perturbation series of elastic electron-electron scattering is considered. In Feynman's action-at-a-distance formulation of quantum electrodynamics a relation between the coupling constant and the ratio of densities of states in the physical state space and in a two-particle product representation can be established. This relation is satisfied, when the physical state space corresponds to an irreducible representation of the Poincare group. Consequences of this observation are discussed. ----- Der Zweiteilchen-Zustandsraum der Stoerungsentwicklung zur elastischen Elektron-Elektron-Streuung wird betrachtet. In der Feynmanschen Formulierung der Quantenelektrodynamik als Fernwirkungstheorie laesst sich eine Beziehung zwischen Kopplungskonstante und dem Verhaeltnis der Zustandsdichten des physikalischen Zweiteilchen-Zustandsraums einerseits und einer Zweiteilchen-Produktdarstellung andererseits herstellen. Diese Beziehung ist erfuellt, wenn der physikalische Zustandsraum durch eine irreduzible Zweiteilchen-Darstellung der Poincare-Gruppe gebildet wird. Die Konsequenzen dieser Beobachtung werden diskutiert., Comment: 10 pages, in German, improved explanation, contribution to spring meeting of German Physical Society in Bonn, 15.-19. March 2010

Generalized Brown-Resnick processes form a flexible class of stationary max-stable processes based on Gaussian random fields. With regard to applications fast and accurate simulation of these processes is an important issue. In fact, Brown-Resnick processes that are generated by a dissipative flow do not allow for good finite approximations using the definition of the processes. On large intervals we get either huge approximation errors or very long operating times. Looking for solutions of this problem, we give different representations of the generalized Brown-Resnick processes - including random shifting and a mixed moving maxima representation - and derive various kinds of finite approximations that can be used for simulation purposes. Furthermore, error bounds are calculated in the case of the original process by Brown and Resnick (1977)., Comment: Technical Report based on Master's Thesis, 57 pages, in German; the end of Chapter 2 (from Satz 2.14 on) is revised, the error estimates in Chapter 3 are modified