Cosmological constraints on the neutron lifetime

We derive new constraints on the neutron lifetime based on the recent Planck 2015 observations of temperature and polarization anisotropies of the CMB. Under the assumption of standard Big Bang Nucleosynthesis, we show that Planck data constrains the neutron lifetime to $\tau_n=(907 \pm 69) \, [\text{s}]$ at $68 \%$ c.l.. Moreover, by including the direct measurements of primordial Helium abundance of Aver et al. (2015) and Izotov et al. (2014), we show that cosmological data provide the stringent constraints $\tau_n=(875 \pm 19) \, [\text{s}]$ and $\tau_n=(921 \pm 11) \, [\text{s}]$ respectively. The latter appears to be in tension with neutron lifetime value quoted by the Particle Data Group ($\tau_n=(880.3 \pm 1.1) \, [\text{s}]$). Future CMB surveys as COrE+, in combination with a weak lensing survey as EUCLID, could constrain the neutron lifetime up to a $\sim 6 \, [\text{s}]$ precision.Comment: 13 pages, 3 figures. Matching JCAP accepted versio

Dense Molecular Filaments Feeding a Starburst: ALMA Maps of CO(3-2) in Henize 2-10

We present ALMA CO(3-2) observations at 0.3 arcsec resolution of He2-10, a starburst dwarf galaxy and possible high-z galaxy analogue. The warm dense gas traced by CO(3--2) is found in clumpy filaments that are kinematically and spatially distinct. The filaments have no preferred orientation or direction; this may indicate that the galaxy is not evolving into a disk galaxy. Filaments appear to be feeding the active starburst; the velocity field in one filament suggests acceleration onto an embedded star cluster. The relative strengths of CO(3-2) and radio continuum vary strongly on decaparsec scales in the starburst. There is no CO(3--2) clump coincident with the non-thermal radio source that has been suggested to be an AGN, nor unusual kinematics. The kinematics of the molecular gas show significant activity apparently unrelated to the current starburst. The longest filament, east of the starburst, has a pronounced shear of FWHM $\sim40$~\kms\ across its $\sim$50~pc width over its entire $\approx 0.5$ kpc length. The cause of the shear is not clear. This filament is close in projection to a `dynamically distinct' CO feature previously seen in CO(1--0). The most complex region and the most highly disturbed gas velocities are in a region 200~pc south of the starburst. The CO(3--2) emission there reveals a molecular outflow, of linewidth FWZI $\sim$ 120-140 \kms, requiring an energy $\gtrsim 10^{53} \rm~ erg/s$. There is at present {\it no} candidate for the driving source of this outflow.Comment: This was revised 31 October to correct some typos and to replace Figure

Scenario Modeling for the Management of International Bond Portfolios

We address the problem of portfolio management in the international bond markets. Interest rate risk in the local market, exchange rate volatility across markets, and decisions for hedging currency risk are integral parts of this problem. The paper develops a stochastic programming optimization model for integrating these decisions in a common framework. Monte Carlo simulation procedures, calibrated using historical observations of volatility and correlation data, generate jointly scenarios of interest and exchange rates. The decision maker's risk tolerance is incorporated through a utility function, and additional views on market outlook can also be incorporated in the form of user specified scenarios. The model prescribes optimal asset allocation among the different markets and determines bond-picking decisions and appropriate hedging ratios. Therefore several interrelated decisions are cast in a common framework, while in the past these issues were addressed separately. Empirical results illustrate the efficacy of the simulation models in capturing the uncertainties of the Salomon Brothers international bond market index.

The Value of Integrative Risk Management for Insurance Products with Guarantees

Insurers increasingly offer policies that converge with the products of the capital markets, and they face a need for integrative asset and liability management strategies. In this paper we show that an integrative approach -- based on scenario optimization modeling -- adds value to the risk management process, when compared to traditional methods. Empirical analysis with products offered by the Italian insurance industry are presented. The results have implications for the design of competitive insurance policies, and some examples are analyzed.

Distributed Consensus to Enable Merging and Spacing of UAS in an Urban Environment

This paper presents a novel approach to enable multiple Unmanned Aerial Systems approaching a common intersection to independently schedule their arrival time while maintaining a safe separation. Aircraft merging at a common intersection are grouped into a network and each aircraft broadcasts its arrival time interval to the network. A distributed consensus algorithm elects a leader among the aircraft approaching the intersection and helps synchronize the information received by each aircraft. The consensus algorithm ensures that each aircraft computes a schedule with the same input information. The elected leader also dictates when a schedule must be computed, which may be triggered when a new aircraft joins the network. Preliminary results illustrating the collaborative behavior of the vehicles are presented

Transformations of Logic Programs on Infinite Lists

We consider an extension of logic programs, called \omega-programs, that can be used to define predicates over infinite lists. \omega-programs allow us to specify properties of the infinite behavior of reactive systems and, in general, properties of infinite sequences of events. The semantics of \omega-programs is an extension of the perfect model semantics. We present variants of the familiar unfold/fold rules which can be used for transforming \omega-programs. We show that these new rules are correct, that is, their application preserves the perfect model semantics. Then we outline a general methodology based on program transformation for verifying properties of \omega-programs. We demonstrate the power of our transformation-based verification methodology by proving some properties of Buechi automata and \omega-regular languages.Comment: 37 pages, including the appendix with proofs. This is an extended version of a paper published in Theory and Practice of Logic Programming, see belo

Asset and Liability Modeling for Participating Policies with Guarantees

We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liability management, analyze the tradeoffs in structuring such policies, and study alternative choices in funding them. The nonlinearly constrained optimization model can be linearized through closed form solutions of the dynamic equations. Thus large-scale problems are solved with standard methods. We report on an empirical analysis of policies offered by Italian insurers. The optimized model results are in general agreement with current industry practices. However, some inefficiencies are identified and potential improvements are highlighted.