Cavity cooling a single charged nanoparticle

The development of laser cooling coupled with the ability to trap atoms and ions in electromagnetic fields, has revolutionised atomic and optical physics, leading to the development of atomic clocks, high-resolution spectroscopy and applications in quantum simulation and processing. However, complex systems, such as large molecules and nanoparticles, lack the simple internal resonances required for laser cooling. Here we report on a hybrid scheme that uses the external resonance of an optical cavity, combined with radio frequency (RF) fields, to trap and cool a single charged nanoparticle. An RF Paul trap allows confinement in vacuum, avoiding instabilities that arise from optical fields alone, and crucially actively participates in the cooling process. This system offers great promise for cooling and trapping a wide range of complex charged particles with applications in precision force sensing, mass spectrometry, exploration of quantum mechanics at large mass scales and the possibility of creating large quantum superpositions.Comment: 8 pages, 5 figures Updated version includes additional references, new title, and supplementary information include

Optomechanical cooling of levitated spheres with doubly-resonant fields

Optomechanical cooling of levitated dielectric particles represents a promising new approach in the quest to cool small mechanical resonators towards their quantum ground state. We investigate two-mode cooling of levitated nanospheres in a self-trapping regime. We identify a rich structure of split sidebands (by a mechanism unrelated to usual strong-coupling effects) and strong cooling even when one mode is blue detuned. We show the best regimes occur when both optical fields cooperatively cool and trap the nanosphere, where cooling rates are over an order of magnitude faster compared to corresponding single-sideband cooling rates.Comment: 8 Pages, 7 figure

Intermediate progenitors support migration of neural stem cells into dentate gyrus outer neurogenic niches.

The hippocampal dentate gyrus (DG) is a unique brain region maintaining neural stem cells (NCSs) and neurogenesis into adulthood. We used multiphoton imaging to visualize genetically defined progenitor subpopulations in live slices across key stages of mouse DG development, testing decades old static models of DG formation with molecular identification, genetic-lineage tracing, and mutant analyses. We found novel progenitor migrations, timings, dynamic cell-cell interactions, signaling activities, and routes underlie mosaic DG formation. Intermediate progenitors (IPs, Tbr2+) pioneered migrations, supporting and guiding later emigrating NSCs (Sox9+) through multiple transient zones prior to converging at the nascent outer adult niche in a dynamic settling process, generating all prenatal and postnatal granule neurons in defined spatiotemporal order. IPs (Dll1+) extensively targeted contacts to mitotic NSCs (Notch active), revealing a substrate for cell-cell contact support during migrations, a developmental feature maintained in adults. Mouse DG formation shares conserved features of human neocortical expansion

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Generalized Phase-Space Techniques to Explore Quantum Phase Transitions in Critical Quantum Spin Systems

We apply the generalized Wigner function formalism to detect and characterize a range of quantum phase transitions in several cyclic, finite-length, spin-$\frac{1}{2}$ one-dimensional spin-chain models, viz., the Ising and anisotropic $XY$ models in a transverse field, and the $XXZ$ anisotropic Heisenberg model. We make use of the finite system size to provide an exhaustive exploration of each system's single-site, bipartite and multi-partite correlation functions. In turn, we are able to demonstrate the utility of phase-space techniques in witnessing and characterizing first-, second- and infinite-order quantum phase transitions, while also enabling an in-depth analysis of the correlations present within critical systems. We also highlight the method's ability to capture other features of spin systems such as ground-state factorization and critical system scaling. Finally, we demonstrate the generalized Wigner function's utility for state verification by determining the state of each system and their constituent sub-systems at points of interest across the quantum phase transitions, enabling interesting features of critical systems to be intuitively analyzed.Comment: 20 pages, 8 figure

Dynamics of levitated nanospheres: towards the strong coupling regime

The use of levitated nanospheres represents a new paradigm for the optomechanical cooling of a small mechanical oscillator, with the prospect of realising quantum oscillators with unprecedentedly high quality factors. We investigate the dynamics of this system, especially in the so-called self-trapping regimes, where one or more optical fields simultaneously trap and cool the mechanical oscillator. The determining characteristic of this regime is that both the mechanical frequency $\omega_M$ and single-photon optomechanical coupling strength parameters $g$ are a function of the optical field intensities, in contrast to usual set-ups where $\omega_M$ and $g$ are constant for the given system. We also measure the characteristic transverse and axial trapping frequencies of different sized silica nanospheres in a simple optical standing wave potential, for spheres of radii $r=20-500$\,nm, illustrating a protocol for loading single nanospheres into a standing wave optical trap that would be formed by an optical cavity. We use this data to confirm the dependence of the effective optomechanical coupling strength on sphere radius for levitated nanospheres in an optical cavity and discuss the prospects for reaching regimes of strong light-matter coupling. Theoretical semiclassical and quantum displacement noise spectra show that for larger nanospheres with $r \gtrsim 100$\,nm a range of interesting and novel dynamical regimes can be accessed. These include simultaneous hybridization of the two optical modes with the mechanical modes and parameter regimes where the system is bistable. We show that here, in contrast to typical single-optical mode optomechanical systems, bistabilities are independent of intracavity intensity and can occur for very weak laser driving amplitudes

Farm Forestry.

17 p

Brownian Carnot engine

The Carnot cycle imposes a fundamental upper limit to the efficiency of a macroscopic motor operating between two thermal baths. However, this bound needs to be reinterpreted at microscopic scales, where molecular bio-motors and some artificial micro-engines operate. As described by stochastic thermodynamics, energy transfers in microscopic systems are random and thermal fluctuations induce transient decreases of entropy, allowing for possible violations of the Carnot limit. Despite its potential relevance for the development of a thermodynamics of small systems, an experimental study of microscopic Carnot engines is still lacking. Here we report on an experimental realization of a Carnot engine with a single optically trapped Brownian particle as working substance. We present an exhaustive study of the energetics of the engine and analyze the fluctuations of the finite-time efficiency, showing that the Carnot bound can be surpassed for a small number of non-equilibrium cycles. As its macroscopic counterpart, the energetics of our Carnot device exhibits basic properties that one would expect to observe in any microscopic energy transducer operating with baths at different temperatures. Our results characterize the sources of irreversibility in the engine and the statistical properties of the efficiency -an insight that could inspire novel strategies in the design of efficient nano-motors.Comment: 7 pages, 7 figure