Coupling active and sterile neutrinos in the cosmon plus seesaw framework

The cosmological evolution of neutrino energy densities driven by cosmon-type field equations is introduced assuming that active and sterile neutrinos are intrinsically connected by cosmon fields through the {\em seesaw} mechanism. Interpreting sterile neutrinos as dark matter adiabatically coupled with dark energy results in a natural decoupling of (active) mass varying neutrino (MaVaN) equations. Identifying the dimensionless scale of the {\em seesaw} mechanism, $m/M$, with a power of the cosmological scale factor, $a$, allows for embedding the resulting masses into the generalized Chaplygin gas (GCG) scenario for the dark sector. Without additional assumptions, our findings establish a precise connection among three distinct frameworks: the cosmon field dynamics for MaVaN's, the {\em seesaw} mechanism for dynamical mass generation and the GCG scenario. Our results also corroborate with previous assertions that mass varying particles can be the right responsible for the stability issue and for the cosmic acceleration of the universe.Comment: 12 pages, 2 figure

Model-based dependability analysis : state-of-the-art, challenges and future outlook

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis

Using step width to compare locomotor biomechanics between extinct, non-avian theropod dinosaurs and modern obligate bipeds

How extinct, non-avian theropod dinosaurs locomoted is a subject of considerable interest, as is the manner in which it evolved on the line leading to birds. Fossil footprints provide the most direct evidence for answering these questions. In this study, step width—the mediolateral (transverse) distance between successive footfalls—was investigated with respect to speed (stride length) in non-avian theropod trackways of Late Triassic age. Comparable kinematic data were also collected for humans and 11 species of ground-dwelling birds. Permutation tests of the slope on a plot of step width against stride length showed that step width decreased continuously with increasing speed in the extinct theropods (p < 0.001), as well as the five tallest bird species studied (p < 0.01). Humans, by contrast, showed an abrupt decrease in step width at the walk–run transition. In the modern bipeds, these patterns reflect the use of either a discontinuous locomotor repertoire, characterized by distinct gaits (humans), or a continuous locomotor repertoire, where walking smoothly transitions into running (birds). The non-avian theropods are consequently inferred to have had a continuous locomotor repertoire, possibly including grounded running. Thus, features that characterize avian terrestrial locomotion had begun to evolve early in theropod history

Deciding the Consistency of Branching Time Interval Networks

Allen’s Interval Algebra (IA) is one of the most prominent formalisms in the area of qualitative temporal reasoning; however, its applications are naturally restricted to linear flows of time. When dealing with nonlinear time, Allen’s algebra can be extended in several ways, and, as suggested by Ragni and Wölfl, a possible solution consists in defining the Branching Algebra (BA) as a set of 19 basic relations (13 basic linear relations plus 6 new basic nonlinear ones) in such a way that each basic relation between two intervals is completely defined by the relative position of the endpoints on a tree-like partial order. While the problem of deciding the consistency of a network of IA-constraints is well-studied, and every subset of the IA has been classified with respect to the tractability of its consistency problem, the fragments of the BA have received less attention. In this paper, we first define the notion of convex BA-relation, and, then, we prove that the consistency of a network of convex BA-relations can be decided via path consistency, and is therefore a polynomial problem. This is the first non-trivial tractable fragment of the BA; given the clear parallel with the linear case, our contribution poses the bases for a deeper study of fragments of BA towards their complete classification

Holographic dual of a time machine

We apply the $AdS/CFT$ holography to the simplest possible eternal time machine solution in $AdS_3$ based on two conical defects moving around their center of mass along a circular orbit. Closed timelike curves in this space-time extend all the way to the boundary of $AdS_3$, violating causality of the boundary field theory. By use of the geodesic approximation we address the "grandfather paradox" in the dual $1+1$ dimensional field theory and calculate the two-point retarded Green function. It has a non-trivial analytical structure both at negative and positive times, providing us with an intuition on how an interacting quantum field could behave once causality is broken. In contrast with the previous considerations our calculations reveal the possibility of a consistent and controllable evolution of a quantum system without any need to impose additional consistency constraints.Comment: 37 pages, 26 figure