Retrodiction as a tool for micromaser field measurements

We use retrodictive quantum theory to describe cavity field measurements by successive atomic detections in the micromaser. We calculate the state of the micromaser cavity field prior to detection of sequences of atoms in either the excited or ground state, for atoms that are initially prepared in the excited state. This provides the POM elements, which describe such sequences of measurements.Comment: 20 pages, 4(8) figure

Causes of Decadal Climate Variability over the North Pacific and North America

The cause of decadal climate variability over the North Pacific Ocean and North America is investigated by the analysis of data from a multidecadal integration with a state-of-the-art coupled ocean-atmosphere model and observations. About one-third of the low-frequency climate variability in the region of interest can be attributed to a cycle involving unstable air-sea interactions between the subtropical gyre circulation in the North Pacific and the Aleutian low-pressure system. The existence of this cycle provides a basis for long-range climate forecasting over the western United States at decadal time scales

Transition state theory and the dynamics of hard disks

The dynamics of two and five disk systems confined in a square has been studied using molecular dynamics simulations and compared with the predictions of transition state theory. We determine the partition functions Z and Z^\ddagger of transition state theory using a procedure first used by Salsburg and Wood for the pressure. Our simulations show this procedure and transition state theory are in excellent agreement with the simulations. A generalization of the transition state theory to the case of a large number of disks N is made and shown to be in full agreement with simulations of disks moving in a narrow channel. The same procedure for hard spheres in three dimensions leads to the Vogel-Fulcher-Tammann formula for their alpha relaxation time.Comment: 1 new author, new simulations and figures, less speculation. Now 6 pages, 6 figures, 1 animation. Animation may be viewed at http://www.theory.physics.manchester.ac.uk/~godfrey/supplement/activated_dynamics2.htm

Communication in quantum networks of logical bus topology

Perfect state transfer (PST) is discussed in the context of passive quantum networks with logical bus topology, where many logical nodes communicate using the same shared media, without any external control. The conditions under which, a number of point-to-point PST links may serve as building blocks for the design of such multi-node networks are investigated. The implications of our results are discussed in the context of various Hamiltonians that act on the entire network, and are capable of providing PST between the logical nodes of a prescribed set in a deterministic manner.Comment: 9 pages, 1 figur

Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

On the generation of ocean wind waves as inferred from airborne radar measurements of fetch-limited spectra

A section of sea surface that had been subjected to a constant offshore wind was profiled by using an airborne radar-wave profiler. The profiles extended seaward from the coast for a distance of 350 km . From these data, estimates of the spectrum of encounter of the sea surface were obtained for different fetch lengths...

Non-Markovian dynamics of a nanomechanical resonator measured by a quantum point contact

We study the dynamics of a nanomechanical resonator (NMR) subject to a measurement by a low transparency quantum point contact (QPC) or tunnel junction in the non-Markovian domain. We derive the non-Markovian number-resolved (conditional) and unconditional master equations valid to second order in the tunneling Hamiltonian without making the rotating-wave approximation and the Markovian approximation, generally made for systems in quantum optics. Our non-Markovian master equation reduces, in appropriate limits, to various Markovian versions of master equations in the literature. We find considerable difference in dynamics between the non-Markovian cases and its Markovian counterparts. We also calculate the time-dependent transport current through the QPC which contains information about the measured NMR system. We find an extra transient current term proportional to the expectation value of the symmetrized product of the position and momentum operators of the NMR. This extra current term, with a coefficient coming from the combination of the imaginary parts of the QPC reservoir correlation functions, has a substantial contribution to the total transient current in the non-Markovian case, but was generally ignored in the studies of the same problem in the literature. Considering the contribution of this extra term, we show that a significantly qualitative and quantitative difference in the total transient current between the non-Markovian and the Markovian wide-band-limit cases can be observed. Thus, it may serve as a witness or signature of the non-Markovian features in the coupled NMR-QPC system.Comment: Accepted for publication in Physical Review B (20 pages, 13 figures

Multiscale Shannon’s entropy modelling of orientation and distance in steel fiber Micro-Tomography data

This work is concerned with the modelling and analysis of the orientation and distance between steel fibers in X-ray Micro-Tomography (XCT) data. The advantage of combining both orientation and separation in a model is that it helps provide a detailed understanding of how the steel fibers are arranged, which is easy to compare. The developed models are designed to summarise the randomness of the orientation distribution of the steel fibers both locally and across an entire volume based on multiscale entropy. Theoretical modelling, simulation and application to real imaging data are shown here. The theoretical modelling of multiscale entropy for orientation includes a proof showing the final form of the multiscale taken over a linear range of scales. A series of image processing operations are also included to overcome interslice connectivity issues to help derive the statistical descriptions of the orientation distributions of the steel fibers. The results demonstrate that multiscale entropy provides unique insights into both simulated and real imaging data of steel fiber reinforced concrete

Cavity-enabled high-dimensional quantum key distribution

High-dimensional quantum key distribution (QKD) offers the possibility of encoding multiple bits of key on a single entangled photon pair. An experimentally promising approach to realizing this is to use energy–time entanglement. Currently, however, the control of very high-dimensional entangled photons is challenging. We present a simple and experimentally compact approach, which is based on a cavity that allows one to measure two different bases: the time of arrival and another that is approximately mutually unbiased to the arrival time. We quantify the errors in the setup, due both to the approximate nature of the mutually unbiased measurement and as a result of experimental errors. It is shown that the protocol can be adapted using a cut-off so that it is robust against the considered errors, even within the regime of up to 10 bits per photon pair

Exploring Outliers in Crowdsourced Ranking for QoE

Outlier detection is a crucial part of robust evaluation for crowdsourceable assessment of Quality of Experience (QoE) and has attracted much attention in recent years. In this paper, we propose some simple and fast algorithms for outlier detection and robust QoE evaluation based on the nonconvex optimization principle. Several iterative procedures are designed with or without knowing the number of outliers in samples. Theoretical analysis is given to show that such procedures can reach statistically good estimates under mild conditions. Finally, experimental results with simulated and real-world crowdsourcing datasets show that the proposed algorithms could produce similar performance to Huber-LASSO approach in robust ranking, yet with nearly 8 or 90 times speed-up, without or with a prior knowledge on the sparsity size of outliers, respectively. Therefore the proposed methodology provides us a set of helpful tools for robust QoE evaluation with crowdsourcing data.Comment: accepted by ACM Multimedia 2017 (Oral presentation). arXiv admin note: text overlap with arXiv:1407.763