Context. Astrometric gravitational microlensing can be used to determine the mass of a single star (the lens) with an accuracy of a few percent. To do so, precise measurements of the angular separations between lens and background star with an accuracy below 1 milli-arcsecond at different epochs are needed. Hence only the most accurate instruments can be used. However, since the timescale is in the order of months to years, the astrometric deflection might be detected by Gaia, even though each star is only observed on a low cadence. Aims. We want to show how accurately Gaia can determine the mass of the lensing star. Methods. Using conservative assumptions based on the results of the second Gaia Data release, we simulated the individual Gaia measurements for 501 predicted astrometric microlensing events during the Gaia era (2014.5 - 2026.5). For this purpose we use the astrometric parameters of Gaia DR2, as well as an approximative mass based on the absolute G magnitude. By fitting the motion of lens and source simultaneously we then reconstruct the 11 parameters of the lensing event. For lenses passing by multiple background sources, we also fit the motion of all background sources and the lens simultaneously. Using a Monte-Carlo simulation we determine the achievable precision of the mass determination. Results. We find that Gaia can detect the astrometric deflection for 114 events. Further, for 13 events Gaia can determine the mass of the lens with a precision better than 15% and for 13 + 21 = 34 events with a precision of 30% or better.

The discovery of multiply-imaged gravitationally lensed QSOs is fundamental to many astronomical and cosmological studies. However, these objects are rare and challenging to discover due to requirements of high-angular resolution astrometric, multiwavelength photometric and spectroscopic data. This has limited the number of known systems to a few hundred objects. We aim to reduce the constraints on angular resolution and discover multiply-imaged QSO candidates by using new candidate selection principles based on unresolved photometric time-series and ground-based images from public surveys. We selected candidates for multiply-imaged QSOs based on low levels of entropy computed from Catalina unresolved photometric time-series or Euclidean similarity to known lenses in a space defined by the wavelet power spectra of Pan-STARSS DR2 or DECaLS DR7 images, combined with multiple {\it Gaia} DR2 sources or large astrometric errors and supervised and unsupervised learning methods. We then confirmed spectroscopically some candidates with the Palomar Hale, Keck-I, and ESO/NTT telescopes. Here we report the discovery and confirmation of seven doubly-imaged QSOs and one likely double quasar. This demonstrates the potential of combining space-astrometry, even if unresolved, with low spatial-resolution photometric time-series and/or low-spatial resolution multi-band imaging to discover multiply-imaged lensed QSOs.

Statistical analyses from exoplanet surveys around low-mass stars indicate that super-Earth and Neptune-mass planets are more frequent than gas giants around such stars, in agreement with core accretion theory of planet formation. Using precise radial velocities derived from visual and near-infrared spectra, we report the discovery of a giant planet with a minimum mass of 0.46 Jupiter masses in an eccentric 204-day orbit around the very low-mass star GJ 3512. Dynamical models show that the high eccentricity of the orbit is most likely explained from planet-planet interactions. The reported planetary system challenges current formation theories and puts stringent constraints on the accretion and migration rates of planet formation and evolution models, indicating that disc instability may be more efficient in forming planets than previously thought.

Context. Teegarden's Star is the brightest and one of the nearest ultra-cool dwarfs in the solar neighbourhood. For its late spectral type (M7.0V), the star shows relatively little activity and is a prime target for near-infrared radial velocity surveys such as CARMENES. Aims. As part of the CARMENES search for exoplanets around M dwarfs, we obtained more than 200 radial-velocity measurements of Teegarden's Star and analysed them for planetary signals. Methods. We find periodic variability in the radial velocities of Teegarden's Star. We also studied photometric measurements to rule out stellar brightness variations mimicking planetary signals. Results. We find evidence for two planet candidates, each with $1.1M_\oplus$ minimum mass, orbiting at periods of 4.91 and 11.4 d, respectively. No evidence for planetary transits could be found in archival and follow-up photometry. Small photometric variability is suggestive of slow rotation and old age. Conclusions. The two planets are among the lowest-mass planets discovered so far, and they are the first Earth-mass planets around an ultra-cool dwarf for which the masses have been determined using radial velocities.

Aims: In this work, we aim to provide a reliable list of gravitational lens (GL) candidates based on a search performed over the entire Gaia Data Release 2 (Gaia DR2). We also show that the sole astrometric and photometric informations coming from the Gaia satellite yield sufficient insights for supervised learning methods to automatically identify GL candidates with an efficiency that is comparable to methods based on image processing. Methods: We simulated 106,623,188 lens systems composed of more than two images, based on a regular grid of parameters characterizing a non-singular isothermal ellipsoid lens model in the presence of an external shear. These simulations are used as an input for training and testing our supervised learning models consisting of Extremely Randomized Trees. The latter are finally used to assign to each of the 2,129,659 clusters of celestial objects a discriminant value that reflects the ability of our simulations to match the observed relative positions and fluxes from each cluster. Once complemented with additional constraints, these discriminant values allowed us to identify GL candidates out of the list of clusters. Results: We report the discovery of 15 new quadruply-imaged lens candidates with angular separations less than 6" and assess the performance of our approach by recovering 12 out of the 13 known quadruply-imaged systems with all their components detected in Gaia DR2 with a misclassification rate of fortuitous clusters of stars as lens systems that is below one percent. Similarly, the identification capability of our method regarding quadruply-imaged systems where three images are detected in Gaia DR2 is assessed by recovering 10 out of the 13 known quadruply-imaged systems having one of their constituting images discarded. The associated misclassification rate varying then between 5.8% and 20%, depending on the image we decided to remove.

Context: Astrometric gravitational microlensing is an excellent tool to determine the mass of stellar objects. Using precise astrometric measurements of the lensed position of a background source in combination with accurate predictions of the positions of the lens and the unlensed source it is possible to determine the mass of the lens with an accuracy of a few percent. Aims: Making use of the recently published Gaia Data Release 2 (DR2) catalogue, we want to predict astrometric microlensing events caused by foreground stars with high proper motion passing a background source in the coming decades. Methods: We selected roughly 148 000 high-proper-motion stars from Gaia DR2 with $\mu_{tot} > 150\,\mathrm{mas/yr}$ as potential lenses. We then searched for background sources close to their paths. Using the astrometric parameters of Gaia DR2, we calculated the future positions of source and lens. With a nested-intervals algorithm we determined the date and separation of the closest approach. Using Gaia DR2 photometry we determined an approximate mass of the lens, which we used to calculate the expected microlensing effects. Results: We predict 3914 microlensing events caused by 2875 different lenses between 2010 and 2065, with expected shifts larger than $0.1\,\mathrm{mas}$ between the lensed and unlensed positions of the source. Of those, 513 events are expected to happen between 2014.5 - 2026.5 and might be measured by Gaia. For 127 events we also expect a magnification between $1\,\mathrm{mmag}$ and $3\,\mathrm{mag}$.

We report the spectroscopic confirmation and modeling of the quadruply imaged quasar GRAL113100-441959, the first gravitational lens (GL) to be discovered mainly from astrometric considerations. Follow-up spectra obtained with Keck/LRIS reveal the lensing nature of this quadruply-imaged quasar with redshift $z_s = 1.090 \pm 0.002$, but show no evidence of the central lens galaxy. Using the image positions and $G$-band flux ratios provided by Gaia Data Release 2 as constraints, we model the system with a singular power-law elliptical mass distribution (SPEMD) plus external shear, to different levels of complexity. We show that relaxing the isothermal constraint of the SPEMD is not statistically significant, and thus we simplify the SPEMD to a singular isothermal ellipsoid to estimate the Einstein radius of the main lens galaxy $\theta_{\text{E}} = 0.\!\!^{\prime\prime}851$, the intensity and position angle of the external shear $(\gamma,\theta_{\gamma}) = (0.044,11.\!\!^{\circ}5)$, and we predict the lensing galaxy position to be $(x_{\text{gal}},y_{\text{gal}}) = (-0.\!\!^{\prime\prime}424,-0.\!\!^{\prime\prime}744)$ with respect to image A. We provide time delay predictions for pairs of images, assuming a plausible range of lens redshift values $z_l$ between $0.5$ and $0.9$. We finally examine the impact on time delays of the so-called Source Position Transformation, a family of degeneracies existing between different lens density profiles that reproduce most of the lensing observables equally well. We show that this effect contributes significantly to the time delay error budget and cannot be ignored during the modeling. This has implications for robust cosmography applications of lensed systems. GRAL113100-441959 is the first in a series of seven new spectroscopically confirmed GLs discovered from Gaia Data Release 2.

Context. Astrometric microlensing is an excellent tool to determine the mass of a stellar object. By measuring the astrometric shift of a background source star in combination with precise predictions of its unlensed position and of the lens position, gravitational lensing allows to determine the mass of the lensing star with a precision of 1 percent, independent of any prior knowledge. Aims. Making use of the recently published Gaia Data Release 2 (Gaia DR2) we predict astrometric microlensing events by foreground stars of high proper motion passing by a background star in the coming years. Methods. We compile a list of ~148.000 high-proper-motion stars within Gaia DR2 with $\mu_{tot}$ > 150 mas/yr. We then search for background stars close to their paths and calculate the dates and separations of the closest approaches. Using color and absolute magnitude, we determine approximate masses of the lenses. Finally, we calculate the expected astrometric shifts and magnifications of the predicted events. Results . We detect two ongoing microlensing events by the high proper motion stars Luyten 143-23 and Ross 322 and predict closest separations of (108.5 $\pm$ 1.4) mas in July 2018 and (125.3 $\pm$ 3.4) mas in August 2018, respectively. The respective expected astrometric shifts are (1.74 $\pm$ 0.12) mas and (0.76 $\pm$ 0.06) mas. Furthermore, Luyten 143-23 will pass by another star in March 2021 with a closest separation of (280.1 $\pm$ 1.1) mas, which results in an expected shift of (0.69 $\pm$ 0.05) mas.

Thanks to its spatial resolution the ESA/Gaia space mission offers a unique opportunity to discover new multiply-imaged quasars and to study the already known lensed systems at sub-milliarcsecond astrometric precisions. In this paper, we address the detection of the known multiply-imaged quasars from the Gaia Data Release 2 and determine the astrometric and photometric properties of the individually detected images found in the Gaia DR2 catalogue. We have compiled an exhaustive list of quasar gravitational lenses from the literature to search for counterparts in the Gaia Data Release 2. We then analyze the astrometric and photometric properties of these Gaia's detections. To highlight the tremendous potential of Gaia at the sub-milliarcsecond level we finally perform a simple Bayesian modeling of the well-known gravitational lens system HE0435-1223, using Gaia Data Release 2 and HST astrometry. From 478 known multiply imaged quasars, 200 have at least one image found in the Gaia Data Release 2. Among the 41 known quadruply-imaged quasars of the list, 26 have at least one image in the Gaia Data Release 2, 12 of which are fully detected, 6 have three counterparts, 7 have two and 1 has only one. As expected, the modeling of HE0435-1223 shows that the model parameters are significantly better constrained when using Gaia astrometry compared to HST astrometry, in particular the relative positions of the background quasar source and the centroid of the deflector. The Gaia sub-milliarcsecond astrometry also significantly reduces the parameter correlations. Besides providing an up-to-date list of multiply imaged quasars and their detection in the Gaia DR2, this paper shows that more complex modeling scenarios will certainly benefit from Gaia sub-milliarcsecond astrometry.

The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520--1710nm at a resolution of at least $R > 80,000$, and we measure its RV, H$\alpha$ emission, and projected rotation velocity. We present an atlas of high-resolution M-dwarf spectra and compare the spectra to atmospheric models. To quantify the RV precision that can be achieved in low-mass stars over the CARMENES wavelength range, we analyze our empirical information on the RV precision from more than 6500 observations. We compare our high-resolution M-dwarf spectra to atmospheric models where we determine the spectroscopic RV information content, $Q$, and signal-to-noise ratio. We find that for all M-type dwarfs, the highest RV precision can be reached in the wavelength range 700--900nm. Observations at longer wavelengths are equally precise only at the very latest spectral types (M8 and M9). We demonstrate that in this spectroscopic range, the large amount of absorption features compensates for the intrinsic faintness of an M7 star. To reach an RV precision of 1ms$^{-1}$ in very low mass M dwarfs at longer wavelengths likely requires the use of a 10m class telescope. For spectral types M6 and earlier, the combination of a red visual and a near-infrared spectrograph is ideal to search for low-mass planets and to distinguish between planets and stellar variability. At a 4m class telescope, an instrument like CARMENES has the potential to push the RV precision well below the typical jitter level of 3-4ms$^{-1}$.

Context: The main goal of the CARMENES survey is to find Earth-mass planets around nearby M-dwarf stars. Seven M-dwarfs included in the CARMENES sample had been observed before with HIRES and HARPS and either were reported to have one short period planetary companion (GJ15A, GJ176, GJ436, GJ536 and GJ1148) or are multiple planetary systems (GJ581 and GJ876). Aims: We aim to report new precise optical radial velocity measurements for these planet hosts and test the overall capabilities of CARMENES. Methods: We combined our CARMENES precise Doppler measurements with those available from HIRES and HARPS and derived new orbital parameters for the systems. Bona-fide single planet systems are fitted with a Keplerian model. The multiple planet systems were analyzed using a self-consistent dynamical model and their best fit orbits were tested for long-term stability. Results: We confirm or provide supportive arguments for planets around all the investigated stars except for GJ15A, for which we find that the post-discovery HIRES data and our CARMENES data do not show a signal at 11.4 days. Although we cannot confirm the super-Earth planet GJ15Ab, we show evidence for a possible long-period ($P_{\rm c}$ = 7025$_{-629}^{+972}$ d) Saturn-mass ($m_{\rm c} \sin i$ = 51.8$_{-5.8}^{+5.5}M_\oplus$) planet around GJ15A. In addition, based on our CARMENES and HIRES data we discover a second planet around GJ1148, for which we estimate a period $P_{\rm c}$ = 532.6$_{-2.5}^{+4.1}$ d, eccentricity $e_{\rm c}$ = 0.34$_{-0.06}^{+0.05}$ and minimum mass $m_{\rm c} \sin i$ = 68.1$_{-2.2}^{+4.9}M_\oplus$. Conclusions: The CARMENES optical radial velocities have similar precision and overall scatter when compared to the Doppler measurements conducted with HARPS and HIRES. We conclude that CARMENES is an instrument that is up to the challenge of discovering rocky planets around low-mass stars.

We report on the first star discovered to host a planet detected by radial velocity (RV) observations obtained within the CARMENES survey for exoplanets around M dwarfs. HD 147379 ($V = 8.9$ mag, $M = 0.58 \pm 0.08$ M$_{\odot}$), a bright M0.0V star at a distance of 10.7 pc, is found to undergo periodic RV variations with a semi-amplitude of $K = 5.1\pm0.4$ m s$^{-1}$ and a period of $P = 86.54\pm0.06$ d. The RV signal is found in our CARMENES data, which were taken between 2016 and 2017, and is supported by HIRES/Keck observations that were obtained since 2000. The RV variations are interpreted as resulting from a planet of minimum mass $m_{\rm p}\sin{i} = 25 \pm 2$ M$_{\oplus}$, 1.5 times the mass of Neptune, with an orbital semi-major axis $a = 0.32$ au and low eccentricity ($e < 0.13$). HD 147379b is orbiting inside the temperate zone around the star, where water could exist in liquid form. The RV time-series and various spectroscopic indicators show additional hints of variations at an approximate period of 21.1d (and its first harmonic), which we attribute to the rotation period of the star.