Fluid passage-time calculation in large Markov models

Recent developments in the analysis of large Markov models facilitate the fast approximation of transient characteristics of the underlying stochastic process. So-called fluid analysis makes it possible to consider previously intractable models whose underlying discrete state space grows exponentially as model components are added. In this work, we show how fluid approximation techniques may be used to extract passage-time measures from performance models. We focus on two types of passage measure: passage-times involving individual components; as well as passage-times which capture the time taken for a population of components to evolve. Specifically, we show that for models of sufficient scale, passage-time distributions can be well approximated by a deterministic fluid-derived passage-time measure. Where models are not of sufficient scale, we are able to generate approximate bounds for the entire cumulative distribution function of these passage-time random variables, using moment-based techniques. Finally, we show that for some passage-time measures involving individual components the cumulative distribution function can be directly approximated by fluid techniques

Non-destructive spatial heterodyne imaging of cold atoms

We demonstrate a new method for non-destructive imaging of laser-cooled atoms. This spatial heterodyne technique forms a phase image by interfering a strong carrier laser beam with a weak probe beam that passes through the cold atom cloud. The figure of merit equals or exceeds that of phase-contrast imaging, and the technique can be used over a wider range of spatial scales. We show images of a dark spot MOT taken with imaging fluences as low as 61 pJ/cm^2 at a detuning of 11 linewidths, resulting in 0.0004 photons scattered per atom.Comment: text+3 figures, submitted to Optics Letter

Prospects for Measuring Cosmic Microwave Background Spectral Distortions in the Presence of Foregrounds

Measurements of cosmic microwave background spectral distortions have profound implications for our understanding of physical processes taking place over a vast window in cosmological history. Foreground contamination is unavoidable in such measurements and detailed signal-foreground separation will be necessary to extract cosmological science. We present MCMC-based spectral distortion detection forecasts in the presence of Galactic and extragalactic foregrounds for a range of possible experimental configurations, focusing on the Primordial Inflation Explorer (PIXIE) as a fiducial concept. We consider modifications to the baseline PIXIE mission (operating 12 months in distortion mode), searching for optimal configurations using a Fisher approach. Using only spectral information, we forecast an extended PIXIE mission to detect the expected average non-relativistic and relativistic thermal Sunyaev-Zeldovich distortions at high significance (194$\sigma$ and 11$\sigma$, respectively), even in the presence of foregrounds. The $\Lambda$CDM Silk damping $\mu$-type distortion is not detected without additional modifications of the instrument or external data. Galactic synchrotron radiation is the most problematic source of contamination in this respect, an issue that could be mitigated by combining PIXIE data with future ground-based observations at low frequencies ($\nu < 15-30$GHz). Assuming moderate external information on the synchrotron spectrum, we project an upper limit of $|\mu| < 3.6\times 10^{-7}$ (95\% c.l.), slightly more than one order of magnitude above the fiducial $\Lambda$CDM signal from the damping of small-scale primordial fluctuations, but a factor of $\simeq 250$ improvement over the current upper limit from COBE/FIRAS. This limit could be further reduced to $|\mu| < 9.4\times 10^{-8}$ (95\% c.l.) with more optimistic assumptions about low-frequency information. (Abridged)Comment: (16 pages, 11 figures, submitted to MNRAS. Fisher code available at https://github.com/mabitbol/sd_foregrounds. Updated with published version.

Solving the Jitter Problem in Microwave Compressed Ultrafast Electron Diffraction Instruments: Robust Sub-50 fs Cavity-Laser Phase Stabilization

We demonstrate the compression of electron pulses in a high-brightness ultrafast electron diffraction (UED) instrument using phase-locked microwave signals directly generated from a mode-locked femtosecond oscillator. Additionally, a continuous-wave phase stabilization system that accurately corrects for phase fluctuations arising in the compression cavity from both power amplification and thermal drift induced detuning was designed and implemented. An improvement in the microwave timing stability from 100 fs to 5 fs RMS is measured electronically and the long-term arrival time stability ($>$10 hours) of the electron pulses improves to below our measurement resolution of 50 fs. These results demonstrate sub-relativistic ultrafast electron diffraction with compressed pulses that is no longer limited by laser-microwave synchronization.Comment: Accepted for publication in Structural Dynamic

Fluid-flow solutions in PEPA to the state space explosion problem

Achieving the appropriate performance requirements for computer-communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical model is invariably computationally intensive. Formal modelling techniques make possible the derivation of such performance measures but currently suffer from the state-space explosion problem, that is, models become intractably large even for systems of apparently modest complexity. This work develops a novel class of techniques aimed at addressing this problem by approximating a representation of massive state spaces as more computationally-tractable real variables (fluid-flow analysis)

ODE-based general moment approximations for PEPA

In this paper we show how the powerful ODE-based fluid-analysis technique for the stochastic process algebra PEPA is an approximation to the first moments of the counting processes in question. For a large class of models this approximation has a particularly simple form and it is possible to make qualitative statements regarding how the quality of the approximation varies for different parameters. Furthermore, this particular point of view facilitates a natural generalisation to higher order moments. This allows modellers to approximate, for instance, the variance of the component counts. In particular, we show how systems of ODEs facilitating the approximation of arbitrary moments of the component counting processes can be naturally defined. The effectiveness of this generalisation is illustrated by comparing the results with those obtained through stochastic simulation for a particular case study

Resolving Phonon Fock States in a Multimode Cavity with a Double-Slit Qubit

We resolve phonon number states in the spectrum of a superconducting qubit coupled to a multimode acoustic cavity. Crucial to this resolution is the sharp frequency dependence in the qubit-phonon interaction engineered by coupling the qubit to surface acoustic waves in two locations separated by $\sim40$ acoustic wavelengths. In analogy to double-slit diffraction, the resulting self-interference generates high-contrast frequency structure in the qubit-phonon interaction. We observe this frequency structure both in the coupling rate to multiple cavity modes and in the qubit spontaneous emission rate into unconfined modes. We use this sharp frequency structure to resolve single phonons by tuning the qubit to a frequency of destructive interference where all acoustic interactions are dispersive. By exciting several detuned yet strongly-coupled phononic modes and measuring the resulting qubit spectrum, we observe that, for two modes, the device enters the strong dispersive regime where single phonons are spectrally resolved.Comment: 9 pages, 8 figures; revised arguments in paragraphs 3 and 8, added Hamiltonian description, and corrected typo