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-1710 nm at a resolution of at least R > 80, 000, and we measure its RV, Hα 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-900 nm. 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 1 m s −1 in very low mass M dwarfs at longer wavelengths likely requires the use of a 10 m 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 4 m class telescope, an instrument like CARMENES has the potential to push the RV precision well below the typical jitter level of 3-4 m s −1 .

Surveys have shown that super-Earth and Neptune-mass exoplanets are more frequent than gas giants around low-mass stars, as predicted by the core accretion theory of planet formation. We report the discovery of a giant planet around the very-low-mass star GJ 3512, as determined by optical and near-infrared radial-velocity observations. The planet has a minimum mass of 0.46 Jupiter masses, very high for such a small host star, and an eccentric 204-day orbit. Dynamical models show that the high eccentricity is most likely due to planet-planet interactions. We use simulations to demonstrate that the GJ 3512 planetary system challenges generally accepted formation theories, and that it puts constraints on the planet accretion and migration rates. Disk instabilities may be more efficient in forming planets than previously thought.

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 (GJ 15 A, GJ 176, GJ 436, GJ 536 and GJ 1148) or are multiple planetary systems (GJ 581 and GJ 876). 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 were 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 GJ 15 A, 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 GJ 15 Ab, we show evidence for a possible long-period (Pc = 7030-630+970 d) Saturn-mass (mcsini = 51.8-5.8+5.5M⊕) planet around GJ 15 A. In addition, based on our CARMENES and HIRES data we discover a second planet around GJ 1148, for which we estimate a period Pc = 532.6-2.5+4.1 days, eccentricity ec = 0.342-0.062+0.050 and minimum mass mcsini = 68.1-2.2+4.9M⊕. 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 ± 0.08 M ), a bright M0.0 V star at a distance of 10.7 pc, is found to undergo periodic RV variations with a semi-amplitude of K = 5.1 ± 0.4 m s −1 and a period of P = 86.54 ± 0.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 P sin i = 25 ± 2 M ⊕ , 1.5 times the mass of Neptune, with an orbital semi-major axis a = 0.32 au and low eccentricity (e < 0.13). HD 147379 b 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.1 d (and its first harmonic), which we attribute to the rotation period of the star.