Optical pumping and readout of bismuth hyperfine states in silicon for atomic clock applications

The push for a semiconductor-based quantum information technology has renewed interest in the spin states and optical transitions of shallow donors in silicon, including the donor bound exciton transitions in the near-infrared and the Rydberg, or hydrogenic, transitions in the mid-infrared. The deepest group V donor in silicon, bismuth, has a large zero-field ground state hyperfine splitting, comparable to that of rubidium, upon which the now-ubiquitous rubidium atomic clock time standard is based. Here we show that the ground state hyperfine populations of bismuth can be read out using the mid-infrared Rydberg transitions, analogous to the optical readout of the rubidium ground state populations upon which rubidium clock technology is based. We further use these transitions to demonstrate strong population pumping by resonant excitation of the bound exciton transitions, suggesting several possible approaches to a solid-state atomic clock using bismuth in silicon, or eventually in enriched 28Si

The <i>Castalia</i> mission to Main Belt Comet 133P/Elst-Pizarro

We describe Castalia, a proposed mission to rendezvous with a Main Belt Comet (MBC), 133P/Elst-Pizarro. MBCs are a recently discovered population of apparently icy bodies within the main asteroid belt between Mars and Jupiter, which may represent the remnants of the population which supplied the early Earth with water. Castalia will perform the first exploration of this population by characterising 133P in detail, solving the puzzle of the MBC’s activity, and making the first in situ measurements of water in the asteroid belt. In many ways a successor to ESA’s highly successful Rosetta mission, Castalia will allow direct comparison between very different classes of comet, including measuring critical isotope ratios, plasma and dust properties. It will also feature the first radar system to visit a minor body, mapping the ice in the interior. Castalia was proposed, in slightly different versions, to the ESA M4 and M5 calls within the Cosmic Vision programme. We describe the science motivation for the mission, the measurements required to achieve the scientific goals, and the proposed instrument payload and spacecraft to achieve these

Measurement of the Positive Muon Anomalous Magnetic Moment to 0.46 ppm

We present the first results of the Fermilab Muon g-2 Experiment for the positive muon magnetic anomaly $a_\mu \equiv (g_\mu-2)/2$. The anomaly is determined from the precision measurements of two angular frequencies. Intensity variation of high-energy positrons from muon decays directly encodes the difference frequency $\omega_a$ between the spin-precession and cyclotron frequencies for polarized muons in a magnetic storage ring. The storage ring magnetic field is measured using nuclear magnetic resonance probes calibrated in terms of the equivalent proton spin precession frequency ${\tilde{\omega}'^{}_p}$ in a spherical water sample at 34.7$^{\circ}$C. The ratio $\omega_a / {\tilde{\omega}'^{}_p}$, together with known fundamental constants, determines $a_\mu({\rm FNAL}) = 116\,592\,040(54)\times 10^{-11}$ (0.46\,ppm). The result is 3.3 standard deviations greater than the standard model prediction and is in excellent agreement with the previous Brookhaven National Laboratory (BNL) E821 measurement. After combination with previous measurements of both $\mu^+$ and $\mu^-$, the new experimental average of $a_\mu({\rm Exp}) = 116\,592\,061(41)\times 10^{-11}$ (0.35\,ppm) increases the tension between experiment and theory to 4.2 standard deviationsComment: 10 pages; 4 figure

Access/CPN 2.0 : a high-level interface to coloured Petri net models

This paper introduces Access/CPN 2.0, which extends Access/ CPN with high-level primitives for interacting with coloured Petri net (CPN) models in Java programs. The primitives allow Java programs to monitor and interact with places and transitions during execution, and embed entire programs as subpages of CPN models or embed CPN models as parts of programs. This facilitates building environments for systematic testing of program components using a CPN models. We illustrate the use of Access/CPN 2.0 in the context of business processes by embedding a workflow system into a CPN model