A Normal-Mode Approach to Jovian Atmospheric Dynamics

We propose a nonlinear, quasi-geostrophic, baroclinic model of Jovian atmospheric dynamics, in which vertical variations of velocity are represented by a truncated sum over a complete set of orthogonal functions obtained by a separation of variables of the linearized quasi-geostrophic potential vorticity equation. A set of equations for the time variation of the mode amplitudes in the nonlinear case is then derived. We show that for a planet with a neutrally stable, fluid interior instead of a solid lower boundary, the baroclinic mode represents motions in the interior, and is not affected by the baroclinic modes. One consequence of this is that a normal-mode model with one baroclinic mode is dynamically equivalent to a one layer model with solid lower topography. We also show that for motions in Jupiter's cloudy lower troposphere, the stratosphere behaves nearly as a rigid lid, so that the normal-mode model is applicable to Jupiter. We test the accuracy of the normal-mode model for Jupiter using two simple problem forced, vertically propagating Rossby waves, using two and three baroclinic modes and baroclinic instability, using two baroclinic modes. We find that the normal-road model provide qualitatively correct results, even with only a very limited number of vertical degrees of freedom

Retrodictive states and two-photon quantum imaging

We use retrodictive quantum theory to analyse two-photon quantum imaging systems. The formalism is particularly suitable for calculating conditional probability distributions.Comment: 5 pages, 3 figure

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

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

Atmospheric transmission computer program CP

A computer program is described which allows for calculation of the effects of carbon dioxide, water vapor, methane, ozone, carbon monoxide, and nitrous oxide on earth resources remote sensing techniques. A flow chart of the program and operating instructions are provided. Comparisons are made between the atmospheric transmission obtained from laboratory and spacecraft spectrometer data and that obtained from a computer prediction using a model atmosphere and radiosonde data. Limitations of the model atmosphere are discussed. The computer program listings, input card formats, and sample runs for both radiosonde data and laboratory data are included

The Antarctic circumpolar wave in a coupled ocean–atmosphere GCM

A phenomenon called the Antarctic Circumpolar Wave (ACW), suggested earlier from fragmentary observational evidence, has been simulated realistically in an extended integration of a Max Planck Institute coupled general circulation model. The ACW both in the observations and in the model constitutes a mode of the coupled ocean–atmosphere–sea-ice system that inhabits the high latitudes of the Southern Hemisphere. It is characterized by anomalies of such climate variables as sea surface temperature, sea level pressure, meridional wind, and sea ice that exhibit intricate and evolving spatial phase relations to each other. The simulated ACW signal in the ocean propagates eastward over most of the high-latitude Southern Ocean, mainly advected along in the Antarctic Circumpolar Current. On average, it completes a circuit entirely around the Southern Ocean but is strongly dissipated in the South Atlantic and in the southern Indian Ocean, just marginally maintaining statistical significance in these areas until it reaches the South Pacific where it is reenergized. In extreme cases, the complete circumpolar propagation is more clear, requiring about 12–16 yr to complete the circuit. This, coupled with the dominant zonal wavenumber 3 pattern of the ACW, results in the local reappearance of energy peaks about every 4–5 yr. The oceanic component of the mode is forced by the atmosphere via fluxes of heat. The overlying atmosphere establishes patterns of sea level pressure that mainly consist of a standing wave and are associated with the Pacific–South American (PSA) oscillation described in earlier works. The PSA, like its counterpart in the North Pacific, appears to be a natural mode of the high southern latitudes. There is some ENSO-related signal in the ACW forced by anomalous latent heat release associated with precipitation anomalies in the central and western tropical Pacific. However, ENSO-related forcing explains at most 30% of the ACW variance and, generally, much less. It is hypothesized that the ACW as an entity represents the net result of moving oceanic climate anomalies interacting with a spatially fixed atmospheric forcing pattern. As the SST moves into and out of phase with the resonant background pattern it is selectively amplified or dissipated, an idea supported by several independent analyses. A simplified ocean heat budget model seems to also support this idea

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

Constraints for quantum logic arising from conservation laws and field fluctuations

We explore the connections between the constraints on the precision of quantum logical operations that arise from a conservation law, and those arising from quantum field fluctuations. We show that the conservation-law based constraints apply in a number of situations of experimental interest, such as Raman excitations, and atoms in free space interacting with the multimode vacuum. We also show that for these systems, and for states with a sufficiently large photon number, the conservation-law based constraint represents an ultimate limit closely related to the fluctuations in the quantum field phase.Comment: To appear in J. Opt. B: Quantum Semiclass. Opt., special issue on quantum contro

Large-uncertainty intelligent states for angular momentum and angle

The equality in the uncertainty principle for linear momentum and position is obtained for states which also minimize the uncertainty product. However, in the uncertainty relation for angular momentum and angular position both sides of the inequality are state dependent and therefore the intelligent states, which satisfy the equality, do not necessarily give a minimum for the uncertainty product. In this paper, we highlight the difference between intelligent states and minimum uncertainty states by investigating a class of intelligent states which obey the equality in the angular uncertainty relation while having an arbitrarily large uncertainty product. To develop an understanding for the uncertainties of angle and angular momentum for the large-uncertainty intelligent states we compare exact solutions with analytical approximations in two limiting cases.Comment: 20 pages, 9 figures, submitted to J. Opt. B special issue in connection with ICSSUR 2005 conferenc