Molecular orientation entanglement and temporal Bell-type inequalities

We detail and extend the results of [Milman {\it et al.}, Phys. Rev. Lett. {\bf 99}, 130405 (2007)] on Bell-type inequalities based on correlations between measurements of continuous observables performed on trapped molecular systems. We show that for some observables with a continuous spectrum which is bounded, one is able to construct non-locality tests sharing common properties with those for two-level systems. The specific observable studied here is molecular spatial orientation, and it can be experimentally measured for single molecules, as required in our protocol. We also provide some useful general properties of the derived inequalities and study their robustness to noise. Finally, we detail possible experimental scenarii and analyze the role played by different experimental parameters.Comment: 10 pages and 5 figure

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

Remote man-machine control system evaluation Final report

Remote-controlled man-machine system for space exploration analyzed in Mars spacecraft system stud

Ultrafast electro-nuclear dynamics of H2 double ionization

The ultrafast electronic and nuclear dynamics of H2 laser-induced double ionization is studied using a time-dependent wave packet approach that goes beyond the fixed nuclei approximation. The double ionization pathways are analyzed by following the evolution of the total wave function during and after the pulse. The rescattering of the first ionized electron produces a coherent superposition of excited molecular states which presents a pronounced transient H+H- character. This attosecond excitation is followed by field-induced double ionization and by the formation of short-lived autoionizing states which decay via double ionization. These two double ionization mechanisms may be identified by their signature imprinted in the kinetic-energy distribution of the ejected protons

Coherent Control of Isotope Separation in HD+ Photodissociation by Strong Fields

The photodissociation of the HD+ molecular ion in intense short- pulsed linearly polarized laser fields is studied using a time- dependent wave-packet approach where molecular rotation is fully included. We show that applying a coherent superposition of the fundamental radiation with its second harmonic can lead to asymmetries in the fragment angular distributions, with significant differences between the hydrogen and deuterium distributions in the long wavelength domain where the permanent dipole is most efficient. This effect is used to induce an appreciable isotope separation.Comment: Physical Review Letters, 1995 (in press). 4 pages in revtex format, 3 uuencoded figures. Full postcript version available at: http://chemphys.weizmann.ac.il/~charron/prl.ps or ftp://scipion.ppm.u-psud.fr/coherent.control/prl.p

Ultrafast Molecular Imaging by Laser Induced Electron Diffraction

We address the feasibility of imaging geometric and orbital structure of a polyatomic molecule on an attosecond time-scale using the laser induced electron diffraction (LIED) technique. We present numerical results for the highest molecular orbitals of the CO2 molecule excited by a near infrared few-cycle laser pulse. The molecular geometry (bond-lengths) is determined within 3% of accuracy from a diffraction pattern which also reflects the nodal properties of the initial molecular orbital. Robustness of the structure determination is discussed with respect to vibrational and rotational motions with a complete interpretation of the laser-induced mechanisms

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

Quantum phase gate and controlled entanglement with polar molecules

We propose an alternative scenario for the generation of entanglement between rotational quantum states of two polar molecules. This entanglement arises from dipole-dipole interaction, and is controlled by a sequence of laser pulses simultaneously exciting both molecules. We study the efficiency of the process, and discuss possible experimental implementations with cold molecules trapped in optical lattices or in solid matrices. Finally, various entanglement detection procedures are presented, and their suitability for these two physical situations is analyzed

Conceptually driven and visually rich tasks in texts and teaching practice: the case of infinite series

The study we report here examines parts of what Chevallard calls the institutional dimension of the students’ learning experience of a relatively under-researched, yet crucial, concept in Analysis, the concept of infinite series. In particular, we examine how the concept is introduced to students in texts and in teaching practice. To this purpose, we employ Duval's Theory of Registers of Semiotic Representation towards the analysis of 22 texts used in Canada and UK post-compulsory courses. We also draw on interviews with in-service teachers and university lecturers in order to discuss briefly teaching practice and some of their teaching suggestions. Our analysis of the texts highlights that the presentation of the concept is largely a-historical, with few graphical representations, few opportunities to work across different registers (algebraic, graphical, verbal), few applications or intra-mathematical references to the concept's significance and few conceptually driven tasks that go beyond practising with the application of convergence tests and prepare students for the complex topics in which the concept of series is implicated. Our preliminary analysis of the teacher interviews suggests that pedagogical practice often reflects the tendencies in the texts. Furthermore, the interviews with the university lecturers point at the pedagogical potential of: illustrative examples and evocative visual representations in teaching; and, student engagement with systematic guesswork and writing explanatory accounts of their choices and applications of convergence tests

Theoretical analysis of the implementation of a quantum phase gate with neutral atoms on atom chips

We present a detailed, realistic analysis of the implementation of a proposal for a quantum phase gate based on atomic vibrational states, specializing it to neutral rubidium atoms on atom chips. We show how to create a double--well potential with static currents on the atom chips, using for all relevant parameters values that are achieved with present technology. The potential barrier between the two wells can be modified by varying the currents in order to realize a quantum phase gate for qubit states encoded in the atomic external degree of freedom. The gate performance is analyzed through numerical simulations; the operation time is ~10 ms with a performance fidelity above 99.9%. For storage of the state between the operations the qubit state can be transferred efficiently via Raman transitions to two hyperfine states, where its decoherence is strongly inhibited. In addition we discuss the limits imposed by the proximity of the surface to the gate fidelity.Comment: 9 pages, 5 color figure