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

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

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

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 discovery of WASP-151b, WASP-153b, WASP-156b: Insights on giant planet migration and the upper boundary of the Neptunian desert

To investigate the origin of the features discovered in the exoplanet population, the knowledge of exoplanets’ mass and radius with a good precision (≲10%) is essential. To achieve this purpose the discovery of transiting exoplanets around bright stars is of prime interest. In this paper, we report the discovery of three transiting exoplanets by the SuperWASP survey and the SOPHIE spectrograph with mass and radius determined with a precision better than 15%. WASP-151b and WASP-153b are two hot Saturns with masses, radii, densities and equilibrium temperatures of 0.31−0.03+0.04 MJ, 1.13−0.03+0.03 RJ, 0.22−0.02+0.03 ρJ and 1290−10+20 K, and 0.39−0.02+0.02 MJ, 1.55−0.08+0.10 RJ, 0.11−0.02+0.02 ρJ and 1700−40+40 K, respectively. Their host stars are early G type stars (with mag V ~ 13) and their orbital periods are 4.53 and 3.33 days, respectively. WASP-156b is a super-Neptune orbiting a K type star (mag V = 11.6). It has a mass of 0.128−0.009+0.010 MJ, a radius of 0.51−0.02+0.02 RJ, a density of 1.0−0.1+0.1 ρJ, an equilibrium temperature of 970−20+30 K and an orbital period of 3.83 days. The radius of WASP-151b appears to be only slightly inflated, while WASP-153b presents a significant radius anomaly compared to a recently published model. WASP-156b, being one of the few well characterized super-Neptunes, will help to constrain the still debated formation of Neptune size planets and the transition between gas and ice giants. The estimates of the age of these three stars confirms an already observed tendency for some stars to have gyrochronological ages significantly lower than their isochronal ages. We propose that high eccentricity migration could partially explain this behavior for stars hosting a short period planet. Finally, these three planets also lie close to (WASP-151b and WASP-153b) or below (WASP-156b) the upper boundary of the Neptunian desert. Their characteristics support that the ultra-violet irradiation plays an important role in this depletion of planets observed in the exoplanet population

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&

Precise masses for the transiting planetary system HD 106315 with HARPS

Funding: UK Science and Tecnology Facilities Council STFC ST/M001296/1 (ACC)Context. The multi-planetary system HD 106315 was recently found in K2 data. The planets have periods of Pb ~ 9.55 and Pc ~ 21.06 days, and radii of rb = 2.44 ± 0.17 R⊕ and rc = 4.35 ± 0.23 R⊕ . The brightness of the host star (V = 9.0 mag) makes it an excellent target for transmission spectroscopy. However, to interpret transmission spectra it is crucial to measure the planetary masses. Aims. We obtained high precision radial velocities for HD 106315 to determine the mass of the two transiting planets discovered with Kepler K2. Our successful observation strategy was carefully tailored to mitigate the effect of stellar variability. Methods. We modelled the new radial velocity data together with the K2 transit photometry and a new ground-based partial transit of HD 106315c to derive system parameters. Results. We estimate the mass of HD 106315b to be 12.6 ± 3.2 M⊕ and the density to be 4.7 ± 1.7 g cm-3, while for HD 106315c we estimate a mass of 15.2 ± 3.7 M⊕ and a density of 1.01 ± 0.29 g cm-3. Hence, despite planet c having a radius almost twice as large as planet b, their masses are consistent with one another. Conclusions. We conclude that HD 106315c has a thick hydrogen-helium gaseous envelope. A detailed investigation of HD 106315b using a planetary interior model constrains the core mass fraction to be 5–29%, and the water mass fraction to be 10–50%. An alternative, not considered by our model, is that HD 106315b is composed of a large rocky core with a thick H–He envelope. Transmission spectroscopy of these planets will give insight into their atmospheric compositions and also help constrain their core compositions.PostprintPeer reviewe

EPIC 201702477b : a transiting brown dwarf from K2 in a 41 day orbit

We report the discovery of EPIC 201702477b, a transiting brown dwarf in a long period (40.73691 ± 0.00037 day) and eccentric (e = 0.2281 ± 0.0026) orbit. This system was initially reported as a planetary candidate based on two transit events seen in K2 Campaign 1 photometry and later validated as an exoplanet candidate. We confirm the transit and refine the ephemeris with two subsequent ground-based detections of the transit using the Las Cumbres Observatory Global Telescope 1 m telescope network. We rule out any transit timing variations above the level of ∼30 s. Using high precision radial velocity measurements from HARPS and SOPHIE we identify the transiting companion as a brown dwarf with a mass, radius, and bulk density of 66.9 ± 1.7 MJ, 0.757 ± 0.065 RJ, and 191 ± 51 g cm-3 respectively. EPIC 201702477b is the smallest radius brown dwarf yet discovered, with a mass just below the H-burning limit. It has the highest density of any planet, substellar mass object, or main-sequence star discovered so far. We find evidence in the set of known transiting brown dwarfs for two populations of objects - high mass brown dwarfs and low mass brown dwarfs. The higher-mass population have radii in very close agreement to theoretical models, and show a lower-mass limit around 60 MJ. This may be the signature of mass-dependent ejection of systems during the formation process.Publisher PDFPeer reviewe