Understanding the production of dual BEC with sympathetic cooling

We show, both experimentally and theoretically, that sympathetic cooling of $^{87}$Rb atoms in the $|F=2,m_F=2>$ state by evaporatively cooled atoms in the $|F=1,m_F=-1>$ state can be precisely controlled to produce dual or single condensate in either state. We also study the thermalization rate between two species. Our model renders a quantitative account of the observed role of the overlap between the two clouds and points out that sympathetic cooling becomes inefficient when the masses are very different. Our calculation also yields an analytical expression of the thermalization rate for a single species.Comment: 3 figure

Guided atom laser : a new tool for guided atom optics

We present a guided atom laser. A Bose-Einstein condensate (BEC) is created in a crossed hybrid magnetic and an elongated optical trap, which acts as a matterwave guide. Atoms are extracted from the BEC by radio frequency (rf) outcoupling and then guided in the horizontal optical matterwave guide. This method allows to control the acceleration of the beam and to achieve large de Broglie wavelength. We also measure the longitudinal energy of the guided atom laser using atom optical elements based on a blue light barrier

Anderson Localization of Expanding Bose-Einstein Condensates in Random Potentials

We show that the expansion of an initially confined interacting 1D Bose-Einstein condensate can exhibit Anderson localization in a weak random potential with correlation length \sigma_R. For speckle potentials the Fourier transform of the correlation function vanishes for momenta k > 2/\sigma_R so that the Lyapunov exponent vanishes in the Born approximation for k > 1/\sigma_R. Then, for the initial healing length of the condensate \xi > \sigma_R the localization is exponential, and for \xi < \sigma_R it changes to algebraic.Comment: published versioon (no significant change compared to last version

Permissive Controller Synthesis for Probabilistic Systems

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system changes at runtime, and flexible enough to be adapted if additional constraints need to be imposed. We develop a permissive controller synthesis framework, which generates multi-strategies for the controller, offering a choice of control actions to take at each time step. We formalise the notion of permissivity using penalties, which are incurred each time a possible control action is disallowed by a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that minimises these penalties, whilst guaranteeing the satisfaction of a specified system property. We establish several key results about the optimality of multi-strategies and the complexity of synthesising them. Then, we develop methods to perform permissive controller synthesis using mixed integer linear programming and illustrate their effectiveness on a selection of case studies

Inhibition of Transport of a Bose-Einstein Condensate in a Random Potential

We observe the suppression of the 1D transport of an interacting elongated Bose-Einstein condensate in a random potential with a standard deviation small compared to the typical energy per atom, dominated by the interaction energy. Numerical solutions of the Gross-Pitaevskii equation reproduce well our observations. We propose a scenario for disorder-induced trapping of the condensate in agreement with our observations.Comment: Proceedings of the 17th International Conference on Laser Spectroscopy (ICOLS 05), Cairngorms National Park, Scotland, 19-24 June 200

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

Coherent Backscattering of Ultracold Atoms

We report on the direct observation of coherent backscattering (CBS) of ultracold atoms, in a quasi-two-dimensional configuration. Launching atoms with a well-defined momentum in a laser speckle disordered potential, we follow the progressive build up of the momentum scattering pattern, consisting of a ring associated with multiple elastic scattering, and the CBS peak in the backward direction. Monitoring the depletion of the initial momentum component and the formation of the angular ring profile allows us to determine microscopic transport quantities. The time resolved evolution of the CBS peak is studied and is found a fair agreement with predictions, at long times as well as at short times. The observation of CBS can be considered a direct signature of coherence in quantum transport of particles in disordered media. It is responsible for the so called weak localization phenomenon, which is the precursor of Anderson localization.Comment: 5 pages, 4 figure

Localization of a matter wave packet in a disordered potential

We theoretically study the Anderson localization of a matter wave packet in a one-dimensional disordered potential. We develop an analytical model which includes the initial phase-space density of the matter wave and the spectral broadening induced by the disorder. Our approach predicts a behavior of the localized density profile significantly more complex than a simple exponential decay. These results are confirmed by large-scale and long-time numerical calculations. They shed new light on recent experiments with ultracold atoms and may impact their analysis