Duality Symmetry in Kaluza-Klein n+D+dn+D+d Dimensional Cosmological Model

It is shown that, with the only exception of $n=2$, the Einstein-Hilbert action in $n+D+d$ dimensions, with $n$ times, is invariant under the duality transformation $a\to \frac{1}{a}$ and $b\to \frac{1}{b}$, where $a$ is a Friedmann-Robertson-Walker scale factor in $D$ dimensions and $b$ a Brans-Dicke scalar field in $d$ dimensions respectively. We investigate the $2+D+d$ dimensional cosmological model in some detail.Comment: 23 pages, Late

α-pinene photooxidation under controlled chemical conditions – Part 2: SOA yield and composition in low- and high-NO_x environments

The gas-phase oxidation of α-pinene produces a large amount of secondary organic aerosol (SOA) in the atmosphere. A number of carboxylic acids, organosulfates and nitrooxy organosulfates associated with α-pinene have been found in field samples and some are used as tracers of α-pinene oxidation. α-pinene reacts readily with OH and O_3 in the atmosphere followed by reactions with both HO_2 and NO. Due to the large number of potential reaction pathways, it can be difficult to determine what conditions lead to SOA. To better understand the SOA yield and chemical composition from low- and high-NO_x OH oxidation of α-pinene, studies were conducted in the Caltech atmospheric chamber under controlled chemical conditions. Experiments used low O_3 concentrations to ensure that OH was the main oxidant and low α-pinene concentrations such that the peroxy radical (RO_2) reacted primarily with either HO_2 under low-NO_x conditions or NO under high-NO_x conditions. SOA yield was suppressed under conditions of high-NO_x. SOA yield under high-NO_x conditions was greater when ammonium sulfate/sulfuric acid seed particles (highly acidic) were present prior to the onset of growth than when ammonium sulfate seed particles (mildly acidic) were present; this dependence was not observed under low-NO_x conditions. When aerosol seed particles were introduced after OH oxidation, allowing for later generation species to be exposed to fresh inorganic seed particles, a number of low-NO_x products partitioned to the highly acidic aerosol. This indicates that the effect of seed acidity and SOA yield might be under-estimated in traditional experiments where aerosol seed particles are introduced prior to oxidation. We also identify the presence of a number of carboxylic acids that are used as tracer compounds of α-pinene oxidation in the field as well as the formation of organosulfates and nitrooxy organosulfates. A number of the carboxylic acids were observed under all conditions, however, pinic and pinonic acid were only observed under low-NO_x conditions. Evidence is provided for particle-phase sulfate esterification of multi-functional alcohols

Variable high-order multiblock overlapping grid methods for mixed steady and unsteady multiscale viscous flows, part II: hypersonic nonequilibrium flows

The variable high-order multiblock overlapping (overset) grids method of Sjogreen & Yee (CiCP, Vol.5, 2008) for a perfect gas has been extended to nonequilibrium flows. This work makes use of the recently developed high-order well-balanced shock-capturing schemes and their filter counterparts (Wang et al., J. Comput. Phys., 2009, 2010) that exactly preserve certain non-trivial steady state solutions of the chemical nonequilibrium governing equations. Multiscale turbulence with strong shocks and flows containing both steady and unsteady components is best treated by mixing of numerical methods and switching on the appropriate scheme in the appropriate subdomains of the flow fields, even under the multiblock grid or adaptive grid refinement framework. While low dissipative sixth- or higher-order shock-capturing filter methods are appropriate for unsteady turbulence with shocklets, second- and third-order shock-capturing methods are more effective for strong steady or nearly steady shocks in terms of convergence. It is anticipated that our variable high-order overset grid framework capability with its highly modular design will allow an optimum synthesis of these new algorithms in such a way that the most appropriate spatial discretizations can be tailored for each particular region of the flow. In this paper some of the latest developments in single block high-order filter schemes for chemical nonequilibrium flows are applied to overset grid geometries. The numerical approach is validated on a number of test cases characterized by hypersonic conditions with strong shocks, including the reentry flow surrounding a 3D Apollo-like NASA Crew Exploration Vehicle that might contain mixed steady and unsteady components, depending on the flow conditions

Variable Selection and Model Averaging in Semiparametric Overdispersed Generalized Linear Models

We express the mean and variance terms in a double exponential regression model as additive functions of the predictors and use Bayesian variable selection to determine which predictors enter the model, and whether they enter linearly or flexibly. When the variance term is null we obtain a generalized additive model, which becomes a generalized linear model if the predictors enter the mean linearly. The model is estimated using Markov chain Monte Carlo simulation and the methodology is illustrated using real and simulated data sets.Comment: 8 graphs 35 page

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution

Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce interaction-based declassification policies, in which the user's interactions with the app constrain the release of sensitive information. Our policies are defined extensionally, so as to be independent of the app's implementation, based on sequences of security-relevant events that occur in app runs. Policies use LTL formulae to precisely specify which secret inputs, read at which times, may be released. We formalize a semantic security condition, interaction-based noninterference, to define our policies precisely. Finally, we describe a prototype tool that uses symbolic execution to check interaction-based declassification policies for Android, and we show that it enforces policies correctly on a set of apps.Comment: This research was supported in part by NSF grants CNS-1064997 and 1421373, AFOSR grants FA9550-12-1-0334 and FA9550-14-1-0334, a partnership between UMIACS and the Laboratory for Telecommunication Sciences, and the National Security Agenc