ARCHI: pipeline for light curve extraction of CHEOPS background star

High precision time series photometry from space is being used for a number of scientific cases. In this context, the recently launched CHEOPS (ESA) mission promises to bring 20 ppm precision over an exposure time of 6 hours, when targeting nearby bright stars, having in mind the detailed characterization of exoplanetary systems through transit measurements. However, the official CHEOPS (ESA) mission pipeline only provides photometry for the main target (the central star in the field). In order to explore the potential of CHEOPS photometry for all stars in the field, in this paper we present archi, an additional open-source pipeline module{\dag}to analyse the background stars present in the image. As archi uses the official Data Reduction Pipeline data as input, it is not meant to be used as independent tool to process raw CHEOPS data but, instead, to be used as an add-on to the official pipeline. We test archi using CHEOPS simulated images, and show that photometry of background stars in CHEOPS images is only slightly degraded (by a factor of 2 to 3) with respect to the main target. This opens a potential for the use of CHEOPS to produce photometric time series of several close-by targets at once, as well as to use different stars in the image to calibrate systematic errors. We also show one clear scientific application where the study of the companion light curve can be important for the understanding of the contamination on the main target.Comment: 14 pages, 13 figures, accepted for publication in MNRAS, all code available at https://github.com/Kamuish/arch

Monitoring Networks through Multiparty Session Types

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity

Distinguishing the albedo of exoplanets from stellar activity

Light curves show the flux variation from the target star and its orbiting planets as a function of time. In addition to the transit features created by the planets, the flux also includes the reflected light component of each planet, which depends on the planetary albedo. This signal is typically referred to as phase curve and could be easily identified if there were no additional noise. As well as instrumental noise, stellar activity, such as spots, can create a modulation in the data, which may be very difficult to distinguish from the planetary signal. We analyze the limitations imposed by the stellar activity on the detection of the planetary albedo, considering the limitations imposed by the predicted level of instrumental noise and the short duration of the observations planned in the context of the CHEOPS mission. As initial condition, we have assumed that each star is characterized by just one orbiting planet. We built mock light curves that included a realistic stellar activity pattern, the reflected light component of the planet and an instrumental noise level, which we have chosen to be at the same level as predicted for CHEOPS. We then fit these light curves to try to recover the reflected light component, assuming the activity patterns can be modeled with a Gaussian process.We estimate that at least one full stellar rotation is necessary to obtain a reliable detection of the planetary albedo. This result is independent of the level of noise, but it depends on the limitation of the Gaussian process to describe the stellar activity when the light curve time-span is shorter than the stellar rotation. Finally, in presence of typical CHEOPS gaps in the simulations, we confirm that it is still possible to obtain a reliable albedo.Comment: Accepted for publication in A&A, 14 pages, 12 figure

Explicit connection actions in multiparty session types

This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections

Understanding stellar activity-induced radial velocity jitter using simultaneous K2 photometry and HARPS RV measurements

One of the best ways to improve our understanding of the stellar activity-induced signal in radial velocity (RV) measurements is through simultaneous high-precision photometric and RV observations. This is of prime importance to mitigate the RV signal induced by stellar activity and therefore unveil the presence of low-mass exoplanets. The K2 Campaign 7 and 8 field-of-views were located in the southern hemisphere, and provided a unique opportunity to gather unprecedented simultaneous high precision photometric observation with K2 and high-precision RV measurements with the HARPS spectrograph to study the relationship between photometric variability and RV jitter. We observed nine stars with different levels of activity; from quiet to very active. We probe the presence of any meaningful relation between measured RV jitter and the simultaneous photometric variation, and also other activity indicators (e.g. BIS, FWHM, $logR'_{HK}$, and F8), by evaluating the strength and significance of the correlation between RVs and each indicator. We found that for the case of very active stars, strong and significant correlations exist between almost all the observables and measured RVs; however, for lower activity levels the correlations become random. Except for the F8 which its strong correlation with RV jitter persists over a wide range of stellar activity level, and thus our result suggests that F8 might be a powerful proxy for activity induced RV jitter. Moreover, we examine the capability of two state-of-the-art modeling techniques, namely the FF' method and SOAP2.0, in accurately predicting the RV jitter amplitude using the simultaneous photometric observation. We found that for the very active stars both techniques can reasonably well predict the amplitude of the RV jitter, however, at lower activity levels the FF' method underpredicts the RV jitter amplitude.Comment: 13 pages, 7 figures, 2 tables, accepted for publication in A&

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

The SOPHIE search for northern extrasolar planets VIII. A warm Neptune orbiting HD164595

High-precision radial velocity surveys explore the population of low-mass exoplanets orbiting bright stars. This allows accurately deriving their orbital parameters such as their occurrence rate and the statistical distribution of their properties. Based on this, models of planetary formation and evolution can be constrained. The SOPHIE spectrograph has been continuously improved in past years, and thanks to an appropriate correction of systematic instrumental drift, it is now reaching 2 m/s precision in radial velocity measurements on all timescales. As part of a dedicated radial velocity survey devoted to search for low-mass planets around a sample of 190 bright solar-type stars in the northern hemisphere, we report the detection of a warm Neptune with a minimum mass of 16.1 +- 2.7 Mearth orbiting the solar analog HD164595 in 40 +- 0.24 days . We also revised the parameters of the multiplanetary system around HD190360. We discuss this new detection in the context of the upcoming space mission CHEOPS, which is devoted to a transit search of bright stars harboring known exoplanets.Comment: 11 pages, 9 figure

The SOPHIE search for northern extrasolar planets VIII. Follow-up of ELODIE candidates: long-period brown-dwarf companions

Long-period brown dwarf companions detected in radial velocity surveys are important targets for direct imaging and astrometry to calibrate the mass-luminosity relation of substellar objects. Through a 20-year radial velocity monitoring of solar-type stars that began with ELODIE and was extended with SOPHIE spectrographs, giant exoplanets and brown dwarfs with orbital periods longer than ten years are discovered. We report the detection of five new potential brown dwarfs with minimum masses between 32 and 83 Jupiter mass orbiting solar-type stars with periods longer than ten years. An upper mass limit of these companions is provided using astrometric Hipparcos data, high-angular resolution imaging made with PUEO, and a deep analysis of the cross-correlation function of the main stellar spectra to search for blend effects or faint secondary components. These objects double the number of known brown dwarf companions with orbital periods longer than ten years and reinforce the conclusion that the occurrence of such objects increases with orbital separation. With a projected separation larger than 100 mas, all these brown dwarf candidates are appropriate targets for high-contrast and high angular resolution imaging.Comment: 17 pages, 9 figures, accepted in A&

Gaussian Process modelling of granulation and oscillations in red-giant stars

The analysis of photometric time series in the context of transiting planet surveys suffers from the presence of stellar signals, often dubbed "stellar noise". These signals, caused by stellar oscillations and granulation, can usually be disregarded for main-sequence stars, as the stellar contributions average out when phase-folding the light curve. For evolved stars, however, the amplitudes of such signals are larger and the timescales similar to the transit duration of short-period planets, requiring that they be modeled alongside the transit. With the promise of TESS delivering on the order of $\sim\!10^5$ light curves for stars along the red-giant branch, there is a need for a method capable of describing the "stellar noise" while simultaneously modelling an exoplanet's transit. In this work, a Gaussian Process regression framework is used to model stellar light curves and the method validated by applying it to TESS-like artificial data. Furthermore, the method is used to characterize the stellar oscillations and granulation of a sample of well-studied \textit{Kepler} low-luminosity red-giant branch stars. The parameters determined are compared to equivalent ones obtained by modelling the power spectrum of the light curve. Results show that the method presented is capable of describing the stellar signals in the time domain and can also return an accurate and precise measurement of $\nu_\text{max}$, i.e., the frequency of maximum oscillation amplitude. Preliminary results show that using the method in transit modelling improves the precision and accuracy of the ratio between the planetary and stellar radius, $R_p/R_\star$. The method's implementation is publicly available.Comment: Accepted for publication in MNRAS; 12 pages, 10 figures, 2 table

The SOPHIE search for northern extrasolar planets. XI. Three new companions and an orbit update: Giant planets in the habitable zone

We report the discovery of three new substellar companions to solar-type stars, HD191806, HD214823, and HD221585, based on radial velocity measurements obtained at the Haute-Provence Observatory. Data from the SOPHIE spectrograph are combined with observations acquired with its predecessor, ELODIE, to detect and characterise the orbital parameters of three new gaseous giant and brown dwarf candidates. Additionally, we combine SOPHIE data with velocities obtained at the Lick Observatory to improve the parameters of an already known giant planet companion, HD16175 b. Thanks to the use of different instruments, the data sets of all four targets span more than ten years. Zero-point offsets between instruments are dealt with using Bayesian priors to incorporate the information we possess on the SOPHIE/ELODIE offset based on previous studies. The reported companions have orbital periods between three and five years and minimum masses between 1.6 Mjup and 19 Mjup. Additionally, we find that the star HD191806 is experiencing a secular acceleration of over 11 \ms\ per year, potentially due to an additional stellar or substellar companion. A search for the astrometric signature of these companions was carried out using Hipparcos data. No orbit was detected, but a significant upper limit to the companion mass can be set for HD221585, whose companion must be substellar. With the exception of HD191806 b, the companions are located within the habitable zone of their host star. Therefore, satellites orbiting these objects could be a propitious place for life to develop.Comment: 12 pages + tables, 7 figures. Accepted for publication in Astronomy & Astrophysic