230 research outputs found
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 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
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
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
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
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.
Mechanical Translation
Contains reports on twelve research projects.National Science Foundatio
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
- …