Homology of spaces of regular loops in the sphere

In this paper we compute the singular homology of the space of immersions of the circle into the $n$-sphere. Equipped with Chas-Sullivan's loop product these homology groups are graded commutative algebras, we also compute these algebras. We enrich Morse spectral sequences for fibrations of free loop spaces together with loop products, this offers some new computational tools for string topology.Comment: 32 pages, 12 figure

Separable sequences in Bianchi I loop quantum cosmology

In this paper, we discuss the properties of one-parameter sequences that arise when solving the Hamiltonian constraint in Bianchi I loop quantum cosmology using a separation of variables method. In particular, we focus on finding an expression for the sequence for all real values of the parameter, and discuss the pre-classicality of this function. We find that the behavior of these preclassical sequences imply time asymmetry on either side of the classical singularity in Bianchi I cosmology.Comment: 5 pages, 3 figures, published versio

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences

Analyzing and reasoning about safety properties of software systems becomes an especially challenging task for programs with complex flow and, in particular, with loops or recursion. For such programs one needs additional information, for example in the form of loop invariants, expressing properties to hold at intermediate program points. In this paper we study program loops with non-trivial arithmetic, implementing addition and multiplication among numeric program variables. We present a new approach for automatically generating all polynomial invariants of a class of such programs. Our approach turns programs into linear ordinary recurrence equations and computes closed form solutions of these equations. These closed forms express the most precise inductive property, and hence invariant. We apply Gr\"obner basis computation to obtain a basis of the polynomial invariant ideal, yielding thus a finite representation of all polynomial invariants. Our work significantly extends the class of so-called P-solvable loops by handling multiplication with the loop counter variable. We implemented our method in the Mathematica package Aligator and showcase the practical use of our approach.Comment: A revised version of this paper is published in the proceedings of ISSAC 201

Cine recording ophthalmoscope

Camera system provides accurate photographic recording during acceleration of centrifuge and permits immediate observation of dynamic changes in retinal circulation by a closed-circuit television loop. System consists of main camera, remote control unit, and strobe power supply unit, and is used for fluorescein studies and dynamometry sequences