We study limit laws for return time processes defined on infinite conservative ergodic measure preserving dynamical systems. Especially for the critical cases with purely atomic limiting distribution we derive distorted processes posessing non-degenerated limits. For these processes also large deviation asymptotics are stated. The Farey map is used as an illustrating example giving new insides ...

Cold inelastic collisions between confined cesium (Cs) atoms and Cs2 molecules are investigated inside a CO2 laser dipole trap. Inelastic atom-molecule collisions can be observed and measured with a rate coefficient of ∼ 2.5× 10 cm s, mainly independent of the molecular ro-vibrational state populated. Lifetimes of purely atomic and molecular samples are essentially limited by rest gas collision...

We investigate the celebrated analogy [1] between Anderson localization phenomena in condensed matter physics [2] and related effects in the ionization process of driven Rydberg atoms, and put them on a quantitative footing. The atomic system we consider for a comprehensive numerical analysis of its ionization properties is a highly excited hydrogen atom exposed to a monochromatic electromagnet...

Many important synchronization problems in distributed computing are impossible to solve (in a fault-tolerant manner) in purely asynchronous systems, where message transmission delays and relative processor speeds are unbounded. It is then natural to seek for the minimal synchrony assumptions that are sufficient to solve a given synchronization problem. A convenient way to describe synchrony as...

The sliding of a sharp nanotip on graphene completely immersed in water is investigated by molecular dynamics (MD) and atomic force microscopy. MD simulations predict that the atomic-scale stick-slip is almost identical to that found in ultrahigh vacuum. Furthermore, they show that water plays a purely stochastic role in sliding (solid-to-solid) friction. These observations are substantiated by...

Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in infinite posets. The under consideration are (a) being atomic, i.e., not decomposable as a union proper or, equivalently, satisfying the joint embedding property; and (b) well quasi-ordered. posets (1) words over finite alphabet consecutive subword order...

Cold inelastic collisions between confined cesium (Cs) atoms and Cs2 molecules are investigated inside a CO2 laser dipole trap. Inelastic atom-molecule collisions can be observed and measured with a rate coefficient of approximately 2.6 x 10(-11) cm3 s(-1), mainly independent of the molecular rovibrational state populated. Lifetimes of purely atomic and molecular samples are essentially limited...

We study the implications of model completeness a theory for effectiveness presentations models that theory. It is immediate computable $$\mathcal {A}$$ computably enumerable, complete theory, entire elementary diagram $$E(\mathcal {A})$$ must be decidable. prove indeed c.e. T if and only there uniform procedure succeeds in deciding from atomic $$\varDelta (\mathcal all countable T. Moreover, e...

In this paper, we study factorizations in the additive monoids of positive algebraic valuations N0[α] semiring polynomials N0[X] using a methodology introduced by D. Anderson, F. and M. Zafrullah 1990. A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. We begin determining when atomic, give an explicit description its set An finite factorizati...