Controlled deflection of cold atomic clouds and of Bose-Einstein condensates

We present a detailed, realistic proposal and analysis of the implementation of a cold atom deflector using time-dependent far off-resonance optical guides. An analytical model and numerical simulations are used to illustrate its characteristics when applied to both non-degenerate atomic ensembles and to Bose-Einstein condensates. Using for all relevant parameters values that are achieved with present technology, we show that it is possible to deflect almost entirely an ensemble of $^{87}$Rb atoms falling in the gravity field. We discuss the limits of this proposal, and illustrate its robustness against non-adiabatic transitions

Probably Safe or Live

This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a conjunction of a safety and liveness property. A simple algorithm is provided to obtain such property decomposition for flat probabilistic CTL (PCTL). A safe fragment of PCTL is identified that provides a sound and complete characterisation of safety properties. For liveness properties, we provide two PCTL fragments, a sound and a complete one. We show that safety properties only have finite counterexamples, whereas liveness properties have none. We compare our characterisation for qualitative properties with the one for branching time properties by Manolios and Trefler, and present sound and complete PCTL fragments for characterising the notions of strong safety and absolute liveness coined by Sistla

Bose-Einstein condensation in dark power-law laser traps

We investigate theoretically an original route to achieve Bose-Einstein condensation using dark power-law laser traps. We propose to create such traps with two crossing blue-detuned Laguerre-Gaussian optical beams. Controlling their azimuthal order $\ell$ allows for the exploration of a multitude of power-law trapping situations in one, two and three dimensions, ranging from the usual harmonic trap to an almost square-well potential, in which a quasi-homogeneous Bose gas can be formed. The usual cigar-shaped and disk-shaped Bose-Einstein condensates obtained in a 1D or 2D harmonic trap take the generic form of a "finger" or of a "hockey puck" in such Laguerre-Gaussian traps. In addition, for a fixed atom number, higher transition temperatures are obtained in such configurations when compared with a harmonic trap of same volume. This effect, which results in a substantial acceleration of the condensation dynamics, requires a better but still reasonable focusing of the Laguerre-Gaussian beams

Iterative Approximate Consensus in the presence of Byzantine Link Failures

This paper explores the problem of reaching approximate consensus in synchronous point-to-point networks, where each directed link of the underlying communication graph represents a communication channel between a pair of nodes. We adopt the transient Byzantine link failure model [15, 16], where an omniscient adversary controls a subset of the directed communication links, but the nodes are assumed to be fault-free. Recent work has addressed the problem of reaching approximate consen- sus in incomplete graphs with Byzantine nodes using a restricted class of iterative algorithms that maintain only a small amount of memory across iterations [22, 21, 23, 12]. However, to the best of our knowledge, we are the first to consider approximate consensus in the presence of Byzan- tine links. We extend our past work that provided exact characterization of graphs in which the iterative approximate consensus problem in the presence of Byzantine node failures is solvable [22, 21]. In particular, we prove a tight necessary and sufficient condition on the underlying com- munication graph for the existence of iterative approximate consensus algorithms under transient Byzantine link model. The condition answers (part of) the open problem stated in [16].Comment: arXiv admin note: text overlap with arXiv:1202.609

Irrigated grassland monitoring using a time series of terraSAR-X and COSMO-skyMed X-Band SAR Data

[Departement_IRSTEA]Territoires [TR1_IRSTEA]SYNERGIE [Axe_IRSTEA]TETIS-ATTOSInternational audienceThe objective of this study was to analyze the sensitivity of radar signals in the X-band in irrigated grassland conditions. The backscattered radar signals were analyzed according to soil moisture and vegetation parameters using linear regression models. A time series of radar (TerraSAR-X and COSMO-SkyMed) and optical (SPOT and LANDSAT) images was acquired at a high temporal frequency in 2013 over a small agricultural region in southeastern France. Ground measurements were conducted simultaneously with the satellite data acquisitions during several grassland growing cycles to monitor the evolution of the soil and vegetation characteristics. The comparison between the Normalized Difference Vegetation Index (NDVI) computed from optical images and the in situ Leaf Area Index (LAI) showed a logarithmic relationship with a greater scattering for the dates corresponding to vegetation well developed before the harvest. The correlation between the NDVI and the vegetation parameters (LAI, vegetation height, biomass, and vegetation water content) was high at the beginning of the growth cycle. This correlation became insensitive at a certain threshold corresponding to high vegetation (LAI ~2.5 m2/m2). Results showed that the radar signal depends on variations in soil moisture, with a higher sensitivity to soil moisture for biomass lower than 1 kg/m². HH and HV polarizations had approximately similar sensitivities to soil moisture. The penetration depth of the radar wave in the X-band was high, even for dense and high vegetation; flooded areas were visible in the images with higher detection potential in HH polarization than in HV polarization, even for vegetation heights reaching 1 m. Lower sensitivity was observed at the X-band between the radar signal and the vegetation parameters with very limited potential of the X-band to monitor grassland growth. These results showed that it is possible to track gravity irrigation and soil moisture variations from SAR X-band images acquired at high spatial resolution (an incidence angle near 30°)

Phase-dependent spectra in a driven two-level atom

We propose a method to observe phase-dependent spectra in resonance fluorescence, employing a two-level atom driven by a strong coherent field and a weak, amplitude-fluctuating field. The spectra are similar to those which occur in a squeezed vacuum, but avoid the problem of achieving squeezing over a $4\pi$ solid angle. The system shows other interesting features, such as pronounced gain without population inversion.Comment: 4 pages and 4 figures. Submitted to Phys. Rev. Let

Quantum computing implementations with neutral particles

We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our discussion mainly on collisional quantum gates, which are best suited for atom-chip-like devices, as well as on gate proposals conceived for optical lattices. Additionally, we analyze schemes both for cold atoms confined in optical cavities and hybrid approaches to entanglement generation, and we show how optimal control theory might be a powerful tool to enhance the speed up of the gate operations as well as to achieve high fidelities required for fault tolerant quantum computation.Comment: 19 pages, 12 figures; From the issue entitled "Special Issue on Neutral Particles

Quantum computing in optical microtraps based on the motional states of neutral atoms

We investigate quantum computation with neutral atoms in optical microtraps where the qubit is implemented in the motional states of the atoms, i.e., in the two lowest vibrational states of each trap. The quantum gate operation is performed by adiabatically approaching two traps and allowing tunneling and cold collisions to take place. We demonstrate the capability of this scheme to realize a square-root of swap gate, and address the problem of double occupation and excitation to other unwanted states. We expand the two-particle wavefunction in an orthonormal basis and analyze quantum correlations throughout the whole gate process. Fidelity of the gate operation is evaluated as a function of the degree of adiabaticity in moving the traps. Simulations are based on rubidium atoms in state-of-the-art optical microtraps with quantum gate realizations in the few tens of milliseconds duration range.Comment: 11 pages, 7 figures, for animations of the gate operation, see http://www.itp.uni-hannover.de/~eckert/na/index.htm

Optimal trapping wavelengths of Cs2_2 molecules in an optical lattice

The present paper aims at finding optimal parameters for trapping of Cs$_2$ molecules in optical lattices, with the perspective of creating a quantum degenerate gas of ground-state molecules. We have calculated dynamic polarizabilities of Cs$_2$ molecules subject to an oscillating electric field, using accurate potential curves and electronic transition dipole moments. We show that for some particular wavelengths of the optical lattice, called "magic wavelengths", the polarizability of the ground-state molecules is equal to the one of a Feshbach molecule. As the creation of the sample of ground-state molecules relies on an adiabatic population transfer from weakly-bound molecules created on a Feshbach resonance, such a coincidence ensures that both the initial and final states are favorably trapped by the lattice light, allowing optimized transfer in agreement with the experimental observation

Single Atom Cooling by Superfluid Immersion: A Non-Destructive Method for Qubits

We present a scheme to cool the motional state of neutral atoms confined in sites of an optical lattice by immersing the system in a superfluid. The motion of the atoms is damped by the generation of excitations in the superfluid, and under appropriate conditions the internal state of the atom remains unchanged. This scheme can thus be used to cool atoms used to encode a series of entangled qubits non-destructively. Within realisable parameter ranges, the rate of cooling to the ground state is found to be sufficiently large to be useful in experiments.Comment: 14 pages, 9 figures, RevTeX