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

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

Theoretical study of a cold atom beam splitter

A theoretical model is presented for the study of the dynamics of a cold atomic cloud falling in the gravity field in the presence of two crossing dipole guides. The cloud is split between the two branches of this laser guide, and we compare experimental measurements of the splitting efficiency with semiclassical simulations. We then explore the possibilities of optimization of this beam splitter. Our numerical study also gives access to detailed information, such as the atom temperature after the splitting

The propensity of molecules to spatially align in intense light fields

The propensity of molecules to spatially align along the polarization vector of intense, pulsed light fields is related to readily-accessible parameters (molecular polarizabilities, moment of inertia, peak intensity of the light and its pulse duration). Predictions can now be made of which molecules can be spatially aligned, and under what circumstances, upon irradiation by intense light. Accounting for both enhanced ionization and hyperpolarizability, it is shown that {\it all} molecules can be aligned, even those with the smallest static polarizability, when subjected to the shortest available laser pulses (of sufficient intensity).Comment: 8 pages, 4 figures, to be submitted to PR

Optimizing the fast Rydberg quantum gate

The fast phase gate scheme, in which the qubits are atoms confined in sites of an optical lattice, and gate operations are mediated by excitation of Rydberg states, was proposed by Jaksch et al. Phys. Rev. Lett. 85, 2208 (2000). A potential source of decoherence in this system derives from motional heating, which occurs if the ground and Rydberg states of the atom move in different optical lattice potentials. We propose to minimize this effect by choosing the lattice photon frequency \omega so that the ground and Rydberg states have the same frequency-dependent polarizability \alpha(omega). The results are presented for the case of Rb.Comment: 5 pages, submitted to PR

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

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process faults, or network failures, these algorithms are difficult to design and verify. Many algorithms achieve fault tolerance by using threshold guards that, for instance, ensure that a process waits until it has received an acknowledgment from a majority of its peers. Consequently, domain-specific languages for fault-tolerant distributed systems offer language support for threshold guards. We introduce an automated method for model checking of safety and liveness of threshold-guarded distributed algorithms in systems where the number of processes and the fraction of faulty processes are parameters. Our method is based on a short counterexample property: if a distributed algorithm violates a temporal specification (in a fragment of LTL), then there is a counterexample whose length is bounded and independent of the parameters. We prove this property by (i) characterizing executions depending on the structure of the temporal formula, and (ii) using commutativity of transitions to accelerate and shorten executions. We extended the ByMC toolset (Byzantine Model Checker) with our technique, and verified liveness and safety of 10 prominent fault-tolerant distributed algorithms, most of which were out of reach for existing techniques.Comment: 16 pages, 11 pages appendi

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

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

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