The Feasibility of a Fully Miniaturized Magneto-Optical Trap for Portable Ultracold Quantum Technology

Experiments using laser cooled atoms and ions show real promise for practical applications in quantum- enhanced metrology, timing, navigation, and sensing as well as exotic roles in quantum computing, networking and simulation. The heart of many of these experiments has been translated to microfabricated platforms known as atom chips whose construction readily lend themselves to integration with larger systems and future mass production. To truly make the jump from laboratory demonstrations to practical, rugged devices, the complex surrounding infrastructure (including vacuum systems, optics, and lasers) also needs to be miniatur- ized and integrated. In this paper we explore the feasibility of applying this approach to the Magneto-Optical Trap; incorporating the vacuum system, atom source and optical geometry into a permanently sealed micro- litre system capable of maintaining $10^{-10}$ mbar for more than 1000 days of operation with passive pumping alone. We demonstrate such an engineering challenge is achievable using recent advances in semiconductor microfabrication techniques and materialsComment: 23 pages, 10 figure

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation

We present Anadroid, a static malware analysis framework for Android apps. Anadroid exploits two techniques to soundly raise precision: (1) it uses a pushdown system to precisely model dynamically dispatched interprocedural and exception-driven control-flow; (2) it uses Entry-Point Saturation (EPS) to soundly approximate all possible interleavings of asynchronous entry points in Android applications. (It also integrates static taint-flow analysis and least permissions analysis to expand the class of malicious behaviors which it can catch.) Anadroid provides rich user interface support for human analysts which must ultimately rule on the "maliciousness" of a behavior. To demonstrate the effectiveness of Anadroid's malware analysis, we had teams of analysts analyze a challenge suite of 52 Android applications released as part of the Auto- mated Program Analysis for Cybersecurity (APAC) DARPA program. The first team analyzed the apps using a ver- sion of Anadroid that uses traditional (finite-state-machine-based) control-flow-analysis found in existing malware analysis tools; the second team analyzed the apps using a version of Anadroid that uses our enhanced pushdown-based control-flow-analysis. We measured machine analysis time, human analyst time, and their accuracy in flagging malicious applications. With pushdown analysis, we found statistically significant (p < 0.05) decreases in time: from 85 minutes per app to 35 minutes per app in human plus machine analysis time; and statistically significant (p < 0.05) increases in accuracy with the pushdown-driven analyzer: from 71% correct identification to 95% correct identification.Comment: Appears in 3rd Annual ACM CCS workshop on Security and Privacy in SmartPhones and Mobile Devices (SPSM'13), Berlin, Germany, 201

A misaligned magneto-optical trap to enable miniaturized atom chip systems

We describe the application of displaced, or misaligned, beams in a mirror-based magneto-optical trap (MOT) to enable portable and miniaturized atom chip experiments where optical access is limited to a single window. Two different geometries of beam displacement are investigated: a variation on the well-known 'vortex-MOT', and the other a novel 'hybrid-MOT' combining Zeeman-shifted and purely optical scattering force components. The beam geometry is obtained similar to the mirror-MOT, using a planar mirror surface but with a different magnetic field geometry more suited to planar systems. Using these techniques, we have trapped around 6 × 106 and 26 × 106 atoms of 85Rb in the vortex-MOT and hybrid-MOT respectively. For the vortex-MOT the atoms are directly cooled well below the Doppler temperature without any additional sub-Doppler cooling stage, whereas the temperature of the hybrid-MOT has been measured slightly above the Doppler temperature limit. In both cases the attained lower temperature ensures the quantum behaviour of the trapped atoms required for the applications of portable quantum sensors and many others.</p

Enabling technologies for integrated atom chips

The confinement and control of atomic clouds, at temperatures measured in nanokelvin, has become a valuable tool for physicists. As a source of new physics, development of cooling techniques has led to innovative new ways to probe the nature of reality. Of particular note are experiments carried out on new and exotic states of matter such as the Bose-Einstein condensate, unseen before the advent of these techniques. Likewise, the potential for applications outside of the lab is extensive and encompasses navigation, timekeeping, quantum communication and quantum computing. Manipulating cold atoms in the presence of a so-called ‘atom chip’ (a millimetre-scale electronic device) is currently considered the future of miniaturising these experiments and measurements, but since they still require precisely locked and stabilised lasers and predominantly must take place in the ultra-high vacuum regime, quantum control relies on an extensive and well-established infrastructure of optics, electronics, vacuum chambers and pumps. This encumbrance has slowed down the transition from chip-in-a-lab experiments to lab-on-a-chip technologies. This thesis is an account of work carried out in the development of enabling technologies which will accelerate this transition, including details of prototype devices made using established semiconductor and MEMS planar fabrication techniques. The construction and testing of an apparatus for anodically and eutectically bonding die-scale samples in ultra-high vacuum is described, along with an analysis and characterisation of some of its products

Cubic MnSb : epitaxial growth of a predicted room temperature half-metal

Epitaxial films including bulklike cubic and wurtzite polymorphs of MnSb have been grown by molecular beam epitaxy on GaAs via careful control of the Sb4/Mn flux ratio. Nonzero-temperature density functional theory was used to predict ab initio the half-metallicity of the cubic polymorph and compare its spin polarization as a function of reduced magnetization with that of the well known half-metal NiMnSb. In both cases, half-metallicity is lost at a threshold magnetization reduction, corresponding to a temperature T*350 K, making epitaxial cubic MnSb a promising candidate for efficient room temperature spin injection into semiconductors

Carrier frequency modulation of an acousto-optic modulator for laser stabilization

The stabilization of lasers to absolute frequency references is a fundamental requirement in several areas of atomic, molecular and optical physics. A range of techniques are available to produce a suitable reference onto which one can ‘lock’ the laser, many of which depend on the specific internal structure of the reference or are sensitive to laser intensity noise. We present a novel method using the frequency modulation of an acousto-optic modulator’s carrier (drive) signal to generate two spatially separated beams, with a frequency difference of only a few MHz. These beams are used to probe a narrow absorption feature and the difference in their detected signals leads to a dispersion-like feature suitable for wavelength stabilization of a diode laser. This simple and versatile method only requires a narrow absorption line and is therefore suitable for both atomic and cavity based stabilization schemes. To demonstrate the suitability of this method we lock an external cavity diode laser near the 85Rb 5S1/2 → 5P3/2, F = 3 → F′ = 4 using sub-Doppler pump probe spectroscopy and also demonstrate excellent agreement between the measured signal and a theoretical model