4,088 research outputs found
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
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
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
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 , which is momentum and
time-dependent. We compute 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 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
- …