SOPHIE velocimetry of Kepler transit candidates XVII. The physical properties of giant exoplanets within 400 days of period

While giant extrasolar planets have been studied for more than two decades now, there are still some open questions such as their dominant formation and migration process, as well as their atmospheric evolution in different stellar environments. In this paper, we study a sample of giant transiting exoplanets detected by the Kepler telescope with orbital periods up to 400 days. We first defined a sample of 129 giant-planet candidates that we followed up with the SOPHIE spectrograph (OHP, France) in a 6-year radial velocity campaign. This allow us to unveil the nature of these candidates and to measure a false-positive rate of 54.6 +/- 6.5 % for giant-planet candidates orbiting within 400 days of period. Based on a sample of confirmed or likely planets, we then derive the occurrence rates of giant planets in different ranges of orbital periods. The overall occurrence rate of giant planets within 400 days is 4.6 +/- 0.6 %. We recover, for the first time in the Kepler data, the different populations of giant planets reported by radial velocity surveys. Comparing these rates with other yields, we find that the occurrence rate of giant planets is lower only for hot jupiters but not for the longer period planets. We also derive a first measurement on the occurrence rate of brown dwarfs in the brown-dwarf desert with a value of 0.29 +/- 0.17 %. Finally, we discuss the physical properties of the giant planets in our sample. We confirm that giant planets receiving a moderate irradiation are not inflated but we find that they are in average smaller than predicted by formation and evolution models. In this regime of low-irradiated giant planets, we find a possible correlation between their bulk density and the Iron abundance of the host star, which needs more detections to be confirmed.Comment: To appear in Astronomy and Astrophysic

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&

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

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

Asymmetry in the atmosphere of the ultra-hot Jupiter WASP-76 b

Context. WASP-76 b has been a recurrent subject of study since the detection of a signature in high-resolution transit spectroscopy data indicating an asymmetry between the two limbs of the planet. The existence of this asymmetric signature has been confirmed by multiple studies, but its physical origin is still under debate. In addition, it contrasts with the absence of asymmetry reported in the infrared (IR) phase curve. Aims. We provide a more comprehensive dataset of WASP-76 b with the goal of drawing a complete view of the physical processes at work in this atmosphere. In particular, we attempt to reconcile visible high-resolution transit spectroscopy data and IR broadband phase curves. Methods. We gathered 3 phase curves, 20 occultations, and 6 transits for WASP-76 b in the visible with the CHEOPS space telescope. We also report the analysis of three unpublished sectors observed by the TESS space telescope (also in the visible), which represents 34 phase curves. Results. WASP-76 b displays an occultation of 260 ± 11 and 152 ± 10 ppm in TESS and CHEOPS bandpasses respectively. Depending on the composition assumed for the atmosphere and the data reduction used for the IR data, we derived geometric albedo estimates that range from 0.05 ± 0.023 to 0.146 ± 0.013 and from <0.13 to 0.189 ± 0.017 in the CHEOPS and TESS bandpasses, respectively. As expected from the IR phase curves, a low-order model of the phase curves does not yield any detectable asymmetry in the visible either. However, an empirical model allowing for sharper phase curve variations offers a hint of a flux excess before the occultation, with an amplitude of ~40 ppm, an orbital offset of ~ −30°, and a width of ~20º. We also constrained the orbital eccentricity of WASP-76 b to a value lower than 0.0067, with a 99.7% confidence level. This result contradicts earlier proposed scenarios aimed at explaining the asymmetry observed in high-resolution transit spectroscopy. Conclusions. In light of these findings, we hypothesise that WASP-76 b could have night-side clouds that extend predominantly towards its eastern limb. At this limb, the clouds would be associated with spherical droplets or spherically shaped aerosols of an unknown species, which would be responsible for a glory effect in the visible phase curves

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&

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

Precise characterisation of HD 15337 with CHEOPS: A laboratory for planet formation and evolution

Context. The HD 15337 (TIC 120896927, TOI-402) system was observed by the Transiting Exoplanet Survey Satellite (TESS), revealing the presence of two short-period planets situated on opposite sides of the radius gap. This offers an excellent opportunity to study theories of formation and evolution, as well as to investigate internal composition and atmospheric evaporation. Aims. We aim to constrain the internal structure and composition of two short-period planets situated on opposite sides of the radius valley: HD 15337 b and c. We use new transit photometry and radial velocity data. Methods. We acquired 6 new transit visits with the CHaracterising ExOPlanet Satellite (CHEOPS) and 32 new radial velocity measurements from the High Accuracy Radial Velocity Planet Searcher (HARPS) to improve the accuracy of the mass and radius estimates for both planets. We re-analysed the light curves from TESS sectors 3 and 4 and analysed new data from sector 30, correcting for long-term stellar activity. Subsequently, we performed a joint fit of the TESS and CHEOPS light curves, along with all available RV data from HARPS and the Planet Finder Spectrograph (PFS). Our model fit the planetary signals, stellar activity signal, and instrumental decorrelation model for the CHEOPS data simultaneously. The stellar activity was modelled using a Gaussian-process regression on both the RV and activity indicators. Finally, we employed a Bayesian retrieval code to determine the internal composition and structure of the planets. Results. We derived updated and highly precise parameters for the HD 15337 system. Our improved precision on the planetary parameters makes HD 15337 b one of the most precisely characterised rocky exoplanets, with radius and mass measurements achieving a precision better than 2% and 7%, respectively. We were able to improve the precision of the radius measurement of HD 15337 c to 3%. Our results imply that the composition of HD 15337 b is predominantly rocky, while HD 15337 c exhibits a gas envelope with a mass of at least 0.01 M⊕. Conclusions. Our results lay the groundwork for future studies, which can further unravel the atmospheric evolution of these exoplanets and offer new insights into their composition and formation history as well as the causes behind the radius gap

One of the closest exoplanet pairs to the 3:2 Mean Motion Resonance: K2-19b \& c

The K2 mission has recently begun to discover new and diverse planetary systems. In December 2014 Campaign 1 data from the mission was released, providing high-precision photometry for ~22000 objects over an 80 day timespan. We searched these data with the aim of detecting further important new objects. Our search through two separate pipelines led to the independent discovery of K2-19b \& c, a two-planet system of Neptune sized objects (4.2 and 7.2 $R_\oplus$), orbiting a K dwarf extremely close to the 3:2 mean motion resonance. The two planets each show transits, sometimes simultaneously due to their proximity to resonance and alignment of conjunctions. We obtain further ground based photometry of the larger planet with the NITES telescope, demonstrating the presence of large transit timing variations (TTVs), and use the observed TTVs to place mass constraints on the transiting objects under the hypothesis that the objects are near but not in resonance. We then statistically validate the planets through the \texttt{PASTIS} tool, independently of the TTV analysis.Comment: 18 pages, 10 figures, accepted to A&A, updated to match published versio

SWEET-Cat:A view on the planetary mass-radius relation

SWEET-Cat (Stars With ExoplanETs Catalogue) was originally introduced in 2013, and since then, the number of confirmed exoplanets has increased significantly. A crucial step for a comprehensive understanding of these new worlds is the precise and homogeneous characterization of their host stars. We used a large number of high-resolution spectra to continue the addition of new stellar parameters for planet-host stars in SWEET-Cat following the new detection of exoplanets listed both at the Extrasolar Planets Encyclopedia and at the NASA exoplanet archive. We obtained high-resolution spectra for a significant number of these planet-host stars, either observed by our team or collected through public archives. For FGK stars, the spectroscopic stellar parameters were derived for the spectra following the same homogeneous process using ARES+MOOG as for the previous SWEET-Cat releases. The stellar properties are combined with the planet properties to study possible correlations that could shed more light into the star-planet connection studies. We increase the number of stars with homogeneous parameters by 232 ($\sim$ 25\% - from 959 to 1191). We then focus on the exoplanets with both mass and radius determined to review the mass-radius relation where we find consistent results with the ones previously reported in the literature. For the massive planets we also revisit the radius anomaly where we confirm a metallicity correlation for the radius anomaly already hinted in previous results