1,173 research outputs found
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 ; 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"
- âŠ