The Origin and Shaping of Planetary Nebulae: Putting the Binary Hypothesis to the Test

Planetary nebulae (PNe) are circumstellar gas ejected during an intense mass-losing phase in the the lives of asymptotic giant branch stars. PNe have a stunning variety of shapes, most of which are not spherically symmetric. The debate over what makes and shapes the circumstellar gas of these evolved, intermediate mass stars has raged for two decades. Today the community is reaching a consensus that single stars cannot trivially manufacture PNe and impart to them non spherical shapes and that a binary companion, possibly even a sub-stellar one, might be needed in a majority of cases. This theoretical conjecture has however not been tested observationally. In this review we discuss the problem both from the theoretical and observational standpoints, explaining the obstacles that stand in the way of a clean observational test and ways to ameliorate the situation. We also discuss indirect tests of this hypothesis and its implications for stellar and galactic astrophysics.Comment: 28 pages of text. 4 tables 9 figures. Accepted by PASP Review

Smoothness and asymptotic estimates of densities for SDEs with locally smooth coefficients and applications to square root-type diffusions

We study smoothness of densities for the solutions of SDEs whose coefficients are smooth and nondegenerate only on an open domain $D$. We prove that a smooth density exists on $D$ and give upper bounds for this density. Under some additional conditions (mainly dealing with the growth of the coefficients and their derivatives), we formulate upper bounds that are suitable to obtain asymptotic estimates of the density for large values of the state variable ("tail" estimates). These results specify and extend some results by Kusuoka and Stroock [J. Fac. Sci. Univ. Tokyo Sect. IA Math. 32 (1985) 1--76], but our approach is substantially different and based on a technique to estimate the Fourier transform inspired from Fournier [Electron. J. Probab. 13 (2008) 135--156] and Bally [Integration by parts formula for locally smooth laws and applications to equations with jumps I (2007) The Royal Swedish Academy of Sciences]. This study is motivated by existing models for financial securities which rely on SDEs with non-Lipschitz coefficients. Indeed, we apply our results to a square root-type diffusion (CIR or CEV) with coefficients depending on the state variable, that is, a situation where standard techniques for density estimation based on Malliavin calculus do not apply. We establish the existence of a smooth density, for which we give exponential estimates and study the behavior at the origin (the singular point).Comment: Published in at http://dx.doi.org/10.1214/10-AAP717 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org

The Foetus, His Humanity and His Rights

Dr. De Marco is a frequent contributor to Linacre. His current article examines the relationship of the word human and the mode of application of that term to the foetus

LTLf and LDLf Monitoring: A Technical Report

Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf) and in its extension LDLf. LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions and LTLf, adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, LDLf has exactly the same computational complexity of LTLf. We show that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors. This makes it possible to declaratively capture monitoring metaconstraints, and check them by relying on usual logical services instead of ad-hoc algorithms. This, in turn, enables to flexibly monitor constraints depending on the monitoring state of other constraints, e.g., "compensation" constraints that are only checked when others are detected to be violated. In addition, we devise a direct translation of LDLf formulas into nondeterministic automata, avoiding to detour to Buechi automata or alternating automata, and we use it to implement a monitoring plug-in for the PROM suite