Representations of first order function types as terminal coalgebras

Cosmic rays provide an important source for free electrons in Earth's atmosphere and also in dense interstellar regions where they produce a prevailing background ionization. We utilize a Monte Carlo cosmic ray transport model for particle energies of 10(6) eV <E <10(9) eV, and an analytic cosmic ray transport model for particle energies of 10(9) eV <E <10(12) eV in order to investigate the cosmic ray enhancement of free electrons in substellar atmospheres of free-floating objects. The cosmic ray calculations are applied to Drift-Phoenix model atmospheres of an example brown dwarf with effective temperature T-eff = 1500 K, and two example giant gas planets (T-eff = 1000 K, 1500 K). For the model brown dwarf atmosphere, the electron fraction is enhanced significantly by cosmic rays when the pressure p(gas) <10(-2) bar. Our example giant gas planet atmosphere suggests that the cosmic ray enhancement extends to 10(-4)-10(-2) bar, depending on the effective temperature. For the model atmosphere of the example giant gas planet considered here (T-eff = 1000 K), cosmic rays bring the degree of ionization to f(e) greater than or similar to 10(-8) when p(gas) <10(-8) bar, suggesting that this part of the atmosphere may behave as a weakly ionized plasma. Although cosmic rays enhance the degree of ionization by over three orders of magnitude in the upper atmosphere, the effect is not likely to be significant enough for sustained coupling of the magnetic field to the gas.Publisher PDFPeer reviewe

FEDERAL-STATE RESEARCH PROGRAMS IN RURAL ECONOMIC DEVELOPMENT - - NEEDS AND PROSPECTS

Community/Rural/Urban Development,

Flow transitions in two-dimensional foams

For sufficiently slow rates of strain, flowing foam can exhibit inhomogeneous flows. The nature of these flows is an area of active study in both two-dimensional model foams and three dimensional foam. Recent work in three-dimensional foam has identified three distinct regimes of flow [S. Rodts, J. C. Baudez, and P. Coussot, Europhys. Lett. {\bf 69}, 636 (2005)]. Two of these regimes are identified with continuum behavior (full flow and shear-banding), and the third regime is identified as a discrete regime exhibiting extreme localization. In this paper, the discrete regime is studied in more detail using a model two dimensional foam: a bubble raft. We characterize the behavior of the bubble raft subjected to a constant rate of strain as a function of time, system size, and applied rate of strain. We observe localized flow that is consistent with the coexistence of a power-law fluid with rigid body rotation. As a function of applied rate of strain, there is a transition from a continuum description of the flow to discrete flow when the thickness of the flow region is approximately 10 bubbles. This occurs at an applied rotation rate of approximately $0.07 {\rm s^{-1}}$

Microwave dosimeter - A concept

Dosimeter determines time-integrated radiation dosage to which an individual is exposed. Integration is measured chemically in proportion to radiation detected. Wearer receives an exposure measurement representing an average of the dose over the entire body

Statistics of Bubble Rearrangements in a Slowly Sheared Two-dimensional Foam

Many physical systems exhibit plastic flow when subjected to slow steady shear. A unified picture of plastic flow is still lacking; however, there is an emerging theoretical understanding of such flows based on irreversible motions of the constituent ``particles'' of the material. Depending on the specific system, various irreversible events have been studied, such as T1 events in foam and shear transformation zones (STZ's) in amorphous solids. This paper presents an experimental study of the T1 events in a model, two-dimensional foam: bubble rafts. In particular, I report on the connection between the distribution of T1 events and the behavior of the average stress and average velocity profiles during both the initial elastic response of the bubble raft and the subsequent plastic flow at sufficiently high strains

Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Exact solution of Riemann--Hilbert problem for a correlation function of the XY spin chain

A correlation function of the XY spin chain is studied at zero temperature. This is called the Emptiness Formation Probability (EFP) and is expressed by the Fredholm determinant in the thermodynamic limit. We formulate the associated Riemann--Hilbert problem and solve it exactly. The EFP is shown to decay in Gaussian.Comment: 7 pages, to be published in J. Phys. Soc. Jp