Neutrinos from SN 1987a. A Puzzle Revisited

The smallest of the four detectors which claim to have observed neutrinos from SN 1987a registered the events more than 4 h earlier than the other three ones. This claim is not usually accepted because it is difficult to understand that the other (and larger) detectors did not register any events at the same time. It is shown that microlensing of the neutrinos by a star in-between the supernova (SN) and Earth can enhance the neutrino intensity at the position of one detector by more than an order of magnitude with respect to the other detectors. Such a configuration is improbable but not impossible. Essential for this enhancement is the small source diameter, of order 100 km. So if two bursts of neutrinos were emitted by SN 1987a at a separation of about 4 h it could be explained easily that the smallest detector observed the first burst while the other ones missed it and vice versa.

Symplectic integration for the collisional gravitational $N$-body problem

We present a new symplectic integrator designed for collisional gravitational $N$-body problems which makes use of Kepler solvers. The integrator is also reversible and conserves 9 integrals of motion of the $N$-body problem to machine precision. The integrator is second order, but the order can easily be increased by the method of citeauthor{yos90}. We use fixed time step in all tests studied in this paper to ensure preservation of symplecticity. We study small $N$ collisional problems and perform comparisons with typically used integrators. In particular, we find comparable or better performance when compared to the 4th order Hermite method and much better performance than adaptive time step symplectic integrators introduced previously. We find better performance compared to SAKURA, a non-symplectic, non-time-reversible integrator based on a different two-body decomposition of the $N$-body problem. The integrator is a promising tool in collisional gravitational dynamics.

Irreducible decompositions of the elasticity tensor under the linear and orthogonal groups and their physical consequences

We study properties of the fourth rank elasticity tensor C within linear elasticity theory. First C is irreducibly decomposed under the linear group into a Cauchy piece S (with 15 independent components) and a non-Cauchy piece A (with 6 independent components). Subsequently, we turn to the physically relevant orthogonal group, thereby using the metric. We find the finer decomposition of S into pieces with 9+5+1 and of A into those with 5+1 independent components. Some reducible decompositions, discussed earlier by numerous authors, are shown to be inconsistent. --- Several physical consequences are discussed. The Cauchy relations are shown to correspond to A=0. Longitudinal and transverse sound waves are basically related by S and A, respectively.

A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

This paper presents an approach towards specifying and verifying adaptive distributed systems. We here take fault-handling as an example of adaptive behavior and propose a modeling language Sandal for describing fault-prone message-passing systems. One of the unique mechanisms of the language is a linguistic support for abstracting typical faults such as unexpected termination of processes and random loss of messages. The Sandal compiler translates a model into a set of NuSMV modules. During the compilation process, faults specified in the model will be woven into the output. One can thus enjoy full-automatic exhaustive fault-injection without writing faulty behaviors explicitly. We demonstrate the advantage of the language by verifying a model of the two-phase commit protocol under faulty environment.

Post-death Transmission of Ebola: Challenges for Inference and Opportunities for Control

Multiple epidemiological models have been proposed to predict the spread of Ebola in West Africa. These models include consideration of counter-measures meant to slow and, eventually, stop the spread of the disease. Here, we examine one component of Ebola dynamics that is of growing concern -- the transmission of Ebola from the dead to the living. We do so by applying the toolkit of mathematical epidemiology to analyze the consequences of post-death transmission. We show that underlying disease parameters cannot be inferred with confidence from early-stage incidence data (that is, they are not identifiable) because different parameter combinations can produce virtually the same epidemic trajectory. Despite this identifiability problem, we find robustly that inferences that dont account for post-death transmission tend to underestimate the basic reproductive number -- thus, given the observed rate of epidemic growth, larger amounts of post-death transmission imply larger reproductive numbers. From a control perspective, we explain how improvements in reducing post-death transmission of Ebola may reduce the overall epidemic spread and scope substantially. Increased attention to the proportion of post-death transmission has the potential to aid both in projecting the course of the epidemic and in evaluating a portfolio of control strategies.

Impact of instrumental systematic errors on fine-structure constant measurements with quasar spectra

We present a new `supercalibration technique for measuring systematic distortions in the wavelength scales of high resolution spectrographs. By comparing spectra of `solar twin stars or asteroids with a reference laboratory solar spectrum, distortions in the standard thorium--argon calibration can be tracked with $sim$10 m s$^{-1}$ precision over the entire optical wavelength range on scales of both echelle orders ($sim$50--100 AA) and entire spectrographs arms ($sim$1000--3000 AA). Using archival spectra from the past 20 years we have probed the supercalibration history of the VLT--UVES and Keck--HIRES spectrographs. We find that systematic errors in their wavelength scales are ubiquitous and substantial, with long-range distortions varying between typically $pm$200 m s$^{-1}$ per 1000 AA. We apply a simple model of these distortions to simulated spectra that characterize the large UVES and HIRES quasar samples which previously indicated possible evidence for cosmological variations in the fine-structure constant, $alpha$. The spurious deviations in $alpha$ produced by the model closely match important aspects of the VLT--UVES quasar results at all redshifts and partially explain the HIRES results, though not self-consistently at all redshifts. That is, the apparent ubiquity, size and general characteristics of the distortions are capable of significantly weakening the evidence for variations in $alpha$ from quasar absorption lines.

On applications of Maupertuis-Jacobi correspondence for Hamiltonians $F(x,|p|)$ in some 2-D stationary semiclassical problems

We make use of the Maupertuis -- Jacobi correspondence, well known in Classical Mechanics, to simplify 2-D asymptotic formulas based on Maslovs canonical operator, when constructing Lagrangian manifolds invariant with respect to phase flows for Hamiltonians of the form $F(x,|p|)$. As examples we consider Hamiltonians coming from the Schrodinger equation, the 2-D Dirac equation for graphene and linear water wave theory.

A Crowdsourcing Procedure for the Discovery of Non-Obvious Attributes of Social Image

Research on mid-level image representations has conventionally concentrated relatively obvious attributes and overlooked non-obvious attributes, i.e., characteristics that are not readily observable when images are viewed independently of their context or function. Non-obvious attributes are not necessarily easily nameable, but nonetheless they play a systematic role in people`s interpretation of images. Clusters of related non-obvious attributes, called interpretation dimensions, emerge when people are asked to compare images, and provide important insight on aspects of social images that are considered relevant. In contrast to aesthetic or affective approaches to image analysis, non-obvious attributes are not related to the personal perspective of the viewer. Instead, they encode a conventional understanding of the world, which is tacit, rather than explicitly expressed. This paper introduces a procedure for discovering non-obvious attributes using crowdsourcing. We discuss this procedure using a concrete example of a crowdsourcing task on Amazon Mechanical Turk carried out in the domain of fashion. An analysis comparing discovered non-obvious attributes with user tags demonstrated the added value delivered by our procedure.

Standards for Graph Algorithm Primitives

It is our view that the state of the art in constructing a large collection of graph algorithms in terms of linear algebraic operations is mature enough to support the emergence of a standard set of primitive building blocks. This paper is a position paper defining the problem and announcing our intention to launch an open effort to define this standard.

Non-Gaussianity excess problem in classical bouncing cosmologies

The simplest possible classical model leading to a cosmological bounce is examined in the light of the non-Gaussianities it can generate. Concentrating solely on the transition between contraction and expansion, and assuming initially purely Gaussian perturbations at the end of the contracting phase, we find that the bounce acts as a source such that the resulting value for the post-bounce $f_{mathrm{NL}}$ may largely exceed all current limits, to the point of potentially casting doubts on the validity of the perturbative expansion. We conjecture that if one can assume that the non-Gaussianity production depends only on the bouncing behavior of the scale factor and not on the specifics of the model examined, then many realistic models in which a nonsingular classical bounce takes place could exhibit a generic non-Gaussianity excess problem that would need to be addressed for each case.