Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear

The four fixed points of scale invariant single field cosmological models

We introduce a new set of flow parameters to describe the time dependence of the equation of state and the speed of sound in single field cosmological models. A scale invariant power spectrum is produced if these flow parameters satisfy specific dynamical equations. We analyze the flow of these parameters and find four types of fixed points that encompass all known single field models. Moreover, near each fixed point we uncover new models where the scale invariance of the power spectrum relies on having simultaneously time varying speed of sound and equation of state. We describe several distinctive new models and discuss constraints from strong coupling and superluminality.Comment: 24 pages, 6 figure

The Worldvolume Action of Kink Solitons in AdS Spacetime

A formalism is presented for computing the higher-order corrections to the worldvolume action of co-dimension one solitons. By modifying its potential, an explicit "kink" solution of a real scalar field in AdS spacetime is found. The formalism is then applied to explicitly compute the kink worldvolume action to quadratic order in two expansion parameters--associated with the hypersurface fluctuation length and the radius of AdS spacetime respectively. Two alternative methods are given for doing this. The results are expressed in terms of the trace of the extrinsic curvature and the intrinsic scalar curvature. In addition to conformal Galileon interactions, we find a non-Galileon term which is never sub-dominant. This method can be extended to any conformally flat bulk spacetime.Comment: 32 pages, 3 figures, typos corrected and additional comments adde

The Pseudo-Conformal Universe: Scale Invariance from Spontaneous Breaking of Conformal Symmetry

We present a novel theory of the very early universe which addresses the traditional horizon and flatness problems of big bang cosmology and predicts a scale invariant spectrum of perturbations. Unlike inflation, this scenario requires no exponential accelerated expansion of space-time. Instead, the early universe is described by a conformal field theory minimally coupled to gravity. The conformal fields develop a time-dependent expectation value which breaks the flat space so(4,2) conformal symmetry down to so(4,1), the symmetries of de Sitter, giving perturbations a scale invariant spectrum. The solution is an attractor, at least in the case of a single time-dependent field. Meanwhile, the metric background remains approximately flat but slowly contracts, which makes the universe increasingly flat, homogeneous and isotropic, akin to the smoothing mechanism of ekpyrotic cosmology. Our scenario is very general, requiring only a conformal field theory capable of developing the appropriate time-dependent expectation values, and encompasses existing incarnations of this idea, specifically the U(1) model of Rubakov and the Galileon Genesis scenario. Its essential features depend only on the symmetry breaking pattern and not on the details of the underlying lagrangian. It makes generic observational predictions that make it potentially distinguishable from standard inflation, in particular significant non-gaussianities and the absence of primordial gravitational waves.Comment: 51 pages, 3 figures. v2 discussion and refs added, minus sign in transformation laws fixed. Version appearing in JCA

Boundary Terms and Junction Conditions for Generalized Scalar-Tensor Theories

We compute the boundary terms and junction conditions for Horndeski's panoptic class of scalar-tensor theories, and write the bulk and boundary equations of motion in explicitly second order form. We consider a number of special subclasses, including galileon theories, and present the corresponding formulae. Our analysis opens up of the possibility of studying tunnelling between vacua in generalized scalar-tensor theories, and braneworld dynamics. The latter follows because our results are independent of spacetime dimension.Comment: 13 pages, Equation corrected. Thanks to Tsutomu Kobayashi for informing us of the typ

Non-adiabatic primordial fluctuations

We consider general mixtures of isocurvature and adiabatic cosmological perturbations. With a minimal assumption set consisting of the linearized Einstein equations and a primordial perfect fluid we derive the second-order action and its curvature variables. We also allow for varying equation of state and speed of sound profiles. The derivation is therefore carried out at the same level of generality that has been achieved for adiabatic modes before. As a result we find a new conserved super-horizon quantity and relate it to the adiabatically conserved curvature perturbation. Finally we demonstrate how the formalism can be applied by considering a Chaplygin gas-like primordial matter model, finding two scale-invariant solutions for structure formation.Comment: 11 page

Universal Scaling Properties in Large Assemblies of Simple Dynamical Units Driven by Long-Wave Random Forcing

Large assemblies of nonlinear dynamical units driven by a long-wave fluctuating external field are found to generate strong turbulence with scaling properties. This type of turbulence is so robust that it persists over a finite parameter range with parameter-dependent exponents of singularity, and is insensitive to the specific nature of the dynamical units involved. Whether or not the units are coupled with their neighborhood is also unimportant. It is discovered numerically that the derivative of the field exhibits strong spatial intermittency with multifractal structure.Comment: 10 pages, 7 figures, submitted to PR

How to measure redshift-space distortions without sample variance

We show how to use multiple tracers of large-scale density with different biases to measure the redshift-space distortion parameter beta=f/b=(dlnD/dlna)/b (where D is the growth rate and a the expansion factor), to a much better precision than one could achieve with a single tracer, to an arbitrary precision in the low noise limit. In combination with the power spectrum of the tracers this allows a much more precise measurement of the bias-free velocity divergence power spectrum, f^2 P_m - in fact, in the low noise limit f^2 P_m can be measured as well as would be possible if velocity divergence was observed directly, with rms improvement factor ~[5.2(beta^2+2 beta+2)/beta^2]^0.5 (e.g., ~10 times better than a single tracer for beta=0.4). This would allow a high precision determination of f D as a function of redshift with an error as low as 0.1%. We find up to two orders of magnitude improvement in Figure of Merit for the Dark Energy equation of state relative to Stage II, a factor of several better than other proposed Stage IV Dark Energy surveys. The ratio b_2/b_1 will be determined with an even greater precision than beta, producing, when measured as a function of scale, an exquisitely sensitive probe of the onset of non-linear bias. We also extend in more detail previous work on the use of the same technique to measure non-Gaussianity. Currently planned redshift surveys are typically designed with signal to noise of unity on scales of interest, and are not optimized for this technique. Our results suggest that this strategy may need to be revisited as there are large gains to be achieved from surveys with higher number densities of galaxies.Comment: 22 pages, 13 figure

Non-linear Realizations of Conformal Symmetry and Effective Field Theory for the Pseudo-Conformal Universe

The pseudo-conformal scenario is an alternative to inflation in which the early universe is described by an approximate conformal field theory on flat, Minkowski space. Some fields acquire a time-dependent expectation value, which breaks the flat space so(4,2) conformal algebra to its so(4,1) de Sitter subalgebra. As a result, weight-0 fields acquire a scale invariant spectrum of perturbations. The scenario is very general, and its essential features are determined by the symmetry breaking pattern, irrespective of the details of the underlying microphysics. In this paper, we apply the well-known coset technique to derive the most general effective lagrangian describing the Goldstone field and matter fields, consistent with the assumed symmetries. The resulting action captures the low energy dynamics of any pseudo-conformal realization, including the U(1)-invariant quartic model and the Galilean Genesis scenario. We also derive this lagrangian using an alternative method of curvature invariants, consisting of writing down geometric scalars in terms of the conformal mode. Using this general effective action, we compute the two-point function for the Goldstone and a fiducial weight-0 field, as well as some sample three-point functions involving these fields.Comment: 49 pages. v2: minor corrections, added references. v3: minor edits, version appearing in JCA

Global Fluctuation Spectra in Big Crunch/Big Bang String Vacua

We study Big Crunch/Big Bang cosmologies that correspond to exact world-sheet superconformal field theories of type II strings. The string theory spacetime contains a Big Crunch and a Big Bang cosmology, as well as additional ``whisker'' asymptotic and intermediate regions. Within the context of free string theory, we compute, unambiguously, the scalar fluctuation spectrum in all regions of spacetime. Generically, the Big Crunch fluctuation spectrum is altered while passing through the bounce singularity. The change in the spectrum is characterized by a function $\Delta$, which is momentum and time-dependent. We compute $\Delta$ explicitly and demonstrate that it arises from the whisker regions. The whiskers are also shown to lead to ``entanglement'' entropy in the Big Bang region. Finally, in the Milne orbifold limit of our superconformal vacua, we show that $\Delta\to 1$ and, hence, the fluctuation spectrum is unaltered by the Big Crunch/Big Bang singularity. We comment on, but do not attempt to resolve, subtleties related to gravitational backreaction and light winding modes when interactions are taken into account.Comment: 68 pages, 1 figure; typos correcte