First optical validation of a Schwarzschild Couder telescope: the ASTRI SST-2M Cherenkov telescope

The Cherenkov Telescope Array (CTA) represents the most advanced facility designed for Cherenkov Astronomy. ASTRI SST-2M has been developed as a demonstrator for the Small Size Telescope in the context of the upcoming CTA. Its main innovation consists in the optical layout which implements the Schwarzschild-Couder configuration and is fully validated for the first time. The ASTRI SST-2M optical system represents the first qualified example for two mirrors telescope for Cherenkov Astronomy. This configuration permits to (i) maintain a high optical quality across a large FoV (ii) de-magnify the plate scale, (iii) exploit new technological solutions for focal plane sensors. The goal of the paper is to present the optical qualification of the ASTRI SST-2M telescope. The qualification has been obtained measuring the PSF sizes generated in the focal plane at various distance from the optical axis. These values have been compared with the performances expected by design. After an introduction on the Gamma Astronomy from the ground, the optical design and how it has been implemented for ASTRI SST-2M is discussed. Moreover the description of the setup used to qualify the telescope over the full field of view is shown. We report the results of the first--light optical qualification. The required specification of a flat PSF of $\sim 10$ arcmin in a large field of view ~10 deg has been demonstrated. These results validate the design specifications, opening a new scenario for Cherenkov Gamma ray Astronomy and, in particular, for the detection of high energy (5 - 300 TeV) gamma rays and wide-field observations with CTA.Comment: 6 pages, 5 figure

The mysterious eruption of V838 Mon

V838 Mon is marking one of the most mysterious stellar outbursts on record. The spectral energy distribution of the progenitor resembles an under-luminous F main sequence star (at V=15.6 mag), that erupted into a cool supergiant following a complex and multi-maxima lightcurve (peaking at V=6.7 mag). The outburst spectrum show BaII, LiI and lines of several s-elements, with wide P-Cyg profiles and a moderate and retracing emission in the Balmer lines. A light-echo discovered expanding around the object helped to constrain the distance (d=790+/-30 pc), providing M_V=+4.45 in quiescence and M_V=-4.35 at optical maximum (somewhat dependent on the still uncertain E(B-V)=0.5 reddening). The general outburst trend is toward lower temperatures and larger luminosities, and continuing so at the time of writing. The object properties conflict with a classification within already existing categories: the progenitor was not on a post-AGB track and thus the similarities with the born-again AGB stars FG Sge, V605 Aql and Sakurai's object are limited to the cool giant spectrum at maximum; the cool spectrum, the moderate wind velocity (500 km/sec and progressively reducing) and the monotonic decreasing of the low ionization condition argues against a classical nova scenario. The closest similarity is with a star that erupted into an M-type supergiant discovered in M31 by Rich et al. (1989), that became however much brighter by peaking at M_V=-9.95, and with V4332 Sgr that too erupted into an M-type giant (Martini et al. 1999) and that attained a lower luminosity, closer to that of V838 Mon. M31-RedVar, V4332 Sgr and V838 Mon could be manifestations of the same and new class of astronomical objects.Comment: A&A, in pres

Verification and Control of Partially Observable Probabilistic Real-Time Systems

We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local states are partially visible to an observer or controller. We give a probabilistic temporal logic that can express a range of quantitative properties of these models, relating to the probability of an event's occurrence or the expected value of a reward measure. We then propose techniques to either verify that such a property holds or to synthesise a controller for the model which makes it true. Our approach is based on an integer discretisation of the model's dense-time behaviour and a grid-based abstraction of the uncountable belief space induced by partial observability. The latter is necessarily approximate since the underlying problem is undecidable, however we show how both lower and upper bounds on numerical results can be generated. We illustrate the effectiveness of the approach by implementing it in the PRISM model checker and applying it to several case studies, from the domains of computer security and task scheduling

The gravitational mass of Proxima Centauri measured with SPHERE from a microlensing event

Proxima Centauri, our closest stellar neighbour, is a low-mass M5 dwarf orbiting in a triple system. An Earth-mass planet with an 11 day period has been discovered around this star. The star's mass has been estimated only indirectly using a mass-luminosity relation, meaning that large uncertainties affect our knowledge of its properties. To refine the mass estimate, an independent method has been proposed: gravitational microlensing. By taking advantage of the close passage of Proxima Cen in front of two background stars, it is possible to measure the astrometric shift caused by the microlensing effect due to these close encounters and estimate the gravitational mass of the lens (Proxima Cen). Microlensing events occurred in 2014 and 2016 with impact parameters, the closest approach of Proxima Cen to the background star, of 1\farcs6 $\pm$ 0\farcs1 and 0\farcs5 $\pm$ 0\farcs1, respectively. Accurate measurements of the positions of the background stars during the last two years have been obtained with HST/WFC3, and with VLT/SPHERE from the ground. The SPHERE campaign started on March 2015, and continued for more than two years, covering 9 epochs. The parameters of Proxima Centauri's motion on the sky, along with the pixel scale, true North, and centering of the instrument detector were readjusted for each epoch using the background stars visible in the IRDIS field of view. The experiment has been successful and the astrometric shift caused by the microlensing effect has been measured for the second event in 2016. We used this measurement to derive a mass of 0.150$^{\textrm{+}0.062}_{-0.051}$ (an error of $\sim$ 40\%) \MSun for Proxima Centauri acting as a lens. This is the first and the only currently possible measurement of the gravitational mass of Proxima Centauri.Comment: 10 pages, 6 figures, accepted by MNRA

A Novel Plant-Based Protein Has Similar Effects Compared to Whey Protein on Body Composition, Strength, Power, and Aerobic Performance in Professional and Semi-Professional Futsal Players

IntroductionThe effects of dietary protein on body composition and physical performance seemingly depend on the essential amino acid profile of the given protein source, although controversy exists about whether animal protein sources may possess additional anabolic properties to plant-based protein sources. PurposeTo compare the effects of a novel plant-based protein matrix and whey protein supplementation on body composition, strength, power, and endurance performance of trained futsal players. MethodsFifty male futsal players were followed during 8 weeks of supplementation, with 40 completing the study either with plant-based protein (N = 20) or whey protein (N = 20). The following measures were assessed: bone mineral content, lean body mass, and fat mass; muscle thickness of the rectus femoris; total body water; blood glucose, hematocrit, C-reactive protein, aspartate aminotransferase, alanine aminotransferase, creatine kinase, creatinine, and estimated glomerular filtration rate; salivary cortisol; maximal strength and 1-RM testing of the back squat and bench press exercises; muscle power and countermovement jump; VO2max and maximal aerobic speed. Subjects were asked to maintain regular dietary habits and record dietary intake every 4 weeks through 3-day food records. ResultsNo differences in any variable were observed between groups at baseline or pre- to post-intervention. Moreover, no time*group interaction was observed in any of the studied variables, and a time effect was only observed regarding fat mass reduction. ConclusionsSupplementing with either a novel plant-based protein matrix or whey protein did not affect any of the variables assessed in high-level futsal players over 8 wks. These results suggest that whey protein does not possess any unique anabolic properties over and above those of plant-based proteins when equated to an essential amino acid profile in the population studied. Furthermore, when consuming a daily protein intake >1.6 g/kg BW.day(-1), additional protein supplementation does not affect body composition or performance in trained futsal players, regardless of protein type/source