Optimal Reachability in Divergent Weighted Timed Games

Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. Decidability results exist for subclasses of one-clock games, and for a subclass with non-negative weights defined by a semantical restriction on the weights of cycles. In this work, we introduce the class of divergent weighted timed games as a generalisation of this semantical restriction to arbitrary weights. We show how to compute their optimal value, yielding the first decidable class of weighted timed games with negative weights and an arbitrary number of clocks. In addition, we prove that divergence can be decided in polynomial space. Last, we prove that for untimed games, this restriction yields a class of games for which the value can be computed in polynomial time

Phase locking a clock oscillator to a coherent atomic ensemble

The sensitivity of an atomic interferometer increases when the phase evolution of its quantum superposition state is measured over a longer interrogation interval. In practice, a limit is set by the measurement process, which returns not the phase, but its projection in terms of population difference on two energetic levels. The phase interval over which the relation can be inverted is thus limited to the interval $[-\pi/2,\pi/2]$; going beyond it introduces an ambiguity in the read out, hence a sensitivity loss. Here, we extend the unambiguous interval to probe the phase evolution of an atomic ensemble using coherence preserving measurements and phase corrections, and demonstrate the phase lock of the clock oscillator to an atomic superposition state. We propose a protocol based on the phase lock to improve atomic clocks under local oscillator noise, and foresee the application to other atomic interferometers such as inertial sensors.Comment: 9 pages, 7 figure

Feedback control of trapped coherent atomic ensembles

We demonstrate how to use feedback to control the internal states of trapped coherent ensembles of two-level atoms, and to protect a superposition state against the decoherence induced by a collective noise. Our feedback scheme is based on weak optical measurements with negligible back-action and coherent microwave manipulations. The efficiency of the feedback system is studied for a simple binary noise model and characterized in terms of the trade-off between information retrieval and destructivity from the optical probe. We also demonstrate the correction of more general types of collective noise. This technique can be used for the operation of atomic interferometers beyond the standard Ramsey scheme, opening the way towards improved atomic sensors.Comment: 9 pages, 6 figure

Density modulations in an elongated Bose-Einstein condensate released from a disordered potential

We observe large density modulations in time-of-flight images of elongated Bose-Einstein condensates, initially confined in a harmonic trap and in the presence of weak disorder. The development of these modulations during the time-of-flight and their dependence with the disorder are investigated. We render an account of this effect using numerical and analytical calculations. We conclude that the observed large density modulations originate from the weak initial density modulations induced by the disorder, and not from initial phase fluctuations (thermal or quantum).Comment: Published version; 4+ pages; 4 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

Momentum spectroscopy of 1D phase fluctuations in Bose-Einstein condensates

We measure the axial momentum distribution of Bose-Einstein condensates with an aspect ratio of 152 using Bragg spectroscopy. We observe the Lorentzian momentum distribution characteristic of one-dimensional phase fluctuations. The temperature dependence of the width of this distribution provides a quantitative test of quasi-condensate theory. In addition, we observe a condensate length consistent with the absence of density fluctuations, even when phase fluctuations are large.Comment: 4 pages, 3 figures; submitted to Phys. Rev. Let

How to estimate the differential acceleration in a two-species atom interferometer to test the equivalence principle

We propose a scheme for testing the weak equivalence principle (Universality of Free Fall) using an atom-interferometric measurement of the local differential acceleration between two atomic species with a large mass ratio as test masses. A apparatus in free fall can be used to track atomic free-fall trajectories over large distances. We show how the differential acceleration can be extracted from the interferometric signal using Bayesian statistical estimation, even in the case of a large mass and laser wavelength difference. We show that this statistical estimation method does not suffer from acceleration noise of the platform and does not require repeatable experimental conditions. We specialize our discussion to a dual potassium/rubidium interferometer and extend our protocol with other atomic mixtures. Finally, we discuss the performances of the UFF test developed for the free-fall (0-g) airplane in the ICE project (\verb"http://www.ice-space.fr"