On the feasibility of cooling and trapping metastable alkaline-earth atoms

Metastability and long-range interactions of Mg, Ca, and Sr in the lowest-energy metastable $^3P_2$ state are investigated. The calculated lifetimes are 38 minutes for Mg*, 118 minutes for Ca*, and 17 minutes for Sr*, supporting feasibility of cooling and trapping experiments. The quadrupole-quadrupole long-range interactions of two metastable atoms are evaluated for various molecular symmetries. Hund's case (c) 4_g potential possesses a large 100-1000 K potential barrier. Therefore magnetic trap losses can possibly be reduced using cold metastable atoms in a stretched M=2 state. Calculations were performed in the framework of ab initio relativistic configuration interaction method coupled with the random-phase approximation.Comment: 8 pages, 2 figures; to appear in PR

Ejaculate sperm number compensation in stalk-eyed flies carrying a selfish meiotic drive element

Meiotic drive genes cause the degeneration of non-carrier sperm to bias transmission in their favour. Males carrying meiotic drive are expected to suffer reduced fertility due to the loss of sperm and associated harmful side-effects of the mechanisms causing segregation distortion. However, sexual selection should promote adaptive compensation to overcome these deleterious effects. We investigate this using SR, an X-linked meiotic drive system in the stalk-eyed fly, Teleopsis dalmanni. Despite sperm destruction caused by drive, we find no evidence that SR males transfer fewer sperm to the female's spermathecae (long-term storage organs). Likewise, migration from the spermathecae to the ventral receptacle for fertilisation is similar for SR and wildtype male sperm, both over short and long time-frames. In addition, sperm number in storage is similar even after males have mated multiple times. Our study challenges conventional assumptions about the deleterious effects of drive on male fertility. This suggests that SR male ejaculate investment per ejaculate has been adjusted to match sperm delivery by wildtype males. We interpret these results in the light of recent theoretical models that predict how ejaculate strategies evolve when males vary in the resources allocated to reproduction or in sperm fertility. Adaptive compensation is likely in species where meiotic drive has persisted over many generations and predicts a higher stable frequency of drive maintained in wild populations. Future research must determine exactly how drive males compensate for failed spermatogenesis, and how such compensation may trade-off with investment in other fitness traits

Slowing and cooling molecules and neutral atoms by time-varying electric field gradients

A method of slowing, accelerating, cooling, and bunching molecules and neutral atoms using time-varying electric field gradients is demonstrated with cesium atoms in a fountain. The effects are measured and found to be in agreement with calculation. Time-varying electric field gradient slowing and cooling is applicable to atoms that have large dipole polarizabilities, including atoms that are not amenable to laser slowing and cooling, to Rydberg atoms, and to molecules, especially polar molecules with large electric dipole moments. The possible applications of this method include slowing and cooling thermal beams of atoms and molecules, launching cold atoms from a trap into a fountain, and measuring atomic dipole polarizabilities.Comment: 13 pages, 10 figures. Scheduled for publication in Nov. 1 Phys. Rev.

Collisions of cold magnesium atoms in a weak laser field

We use quantum scattering methods to calculate the light-induced collisional loss of laser-cooled and trapped magnesium atoms for detunings up to 30 atomic linewidths to the red of the 1S_0-1P_1 cooling transition. Magnesium has no hyperfine structure to complicate the theoretical studies. We evaluate both the radiative and nonradiative mechanisms of trap loss. The radiative escape mechanism via allowed 1Sigma_u excitation is dominant for more than about one atomic linewidth detuning. Molecular vibrational structure due to photoassociative transitions to bound states begins to appear beyond about ten linewidths detuning.Comment: 4 pages with 3 embedded figure

Doppler cooling and trapping on forbidden transitions

Ultracold atoms at temperatures close to the recoil limit have been achieved by extending Doppler cooling to forbidden transitions. A cloud of ^40Ca atoms has been cooled and trapped to a temperature as low as 6 \mu K by operating a magneto-optical trap on the spin-forbidden intercombination transition. Quenching the long-lived excited state with an additional laser enhanced the scattering rate by a factor of 15, while a high selectivity in velocity was preserved. With this method more than 10% of pre-cooled atoms from a standard magneto-optical trap have been transferred to the ultracold trap. Monte-Carlo simulations of the cooling process are in good agreement with the experiments

Mechanical Translation

Contains reports on twelve research projects.National Science Foundatio

Photoionization of ultracold and Bose-Einstein condensed Rb atoms

Photoionization of a cold atomic sample offers intriguing possibilities to observe collective effects at extremely low temperatures. Irradiation of a rubidium condensate and of cold rubidium atoms within a magneto-optical trap with laser pulses ionizing through 1-photon and 2-photon absorption processes has been performed. Losses and modifications in the density profile of the remaining trapped cold cloud or the remaining condensate sample have been examined as function of the ionizing laser parameters. Ionization cross-sections were measured for atoms in a MOT, while in magnetic traps losses larger than those expected for ionization process were measured.Comment: 9 pages, 7 figure

An integrated model checking toolset for kernel P systems

P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. kP systems are supported by a software framework, called kPWORKBENCH, which integrates a set of related simulation and verification methodologies and tools. In this paper, we present an extension to kPWORKBENCH with a new model checking framework supporting the formal verification of kP system models. This framework supports both LTL and CTL properties. To make the property specification an easier task, we propose a property language, composed of natural language statements. We demonstrate our proposed methodology with an example