Gas-depleted planet formation occurred in the four-planet system around the red dwarf LHS 1903

Small exoplanet radii show two populations, referred to as super-Earths and sub-Neptunes, separated by a gap known as the radius valley. This may be produced by the removal of atmospheres due to stellar or internal heating, or lack of an initial envelope. We us transit photometry and radial velocity measurements to detect and characterize four planets orbiting LHS 1903, a red dwarf (M-dwarf) star in the Milky Way's thick disk. The planets have orbital periods between 2.2 and 29.3 days, and span the radius valley within a single planetary system. The derived densities indicate that LHS 1903 b is rocky, while LHS 1903 c and LHS 1903 d have extended atmospheres. Although the most distant planet from the host star, LHS 1903 e, has no gaseous envelope, indicating it formed from gas-depleted material.