Crater ellipticity determination is a complex and time consuming task that so far has evaded successful automation. We train a state of the art computer vision algorithm to identify craters in Lunar digital elevation maps and retrieve their sizes and 2D shapes. The computational backbone of the model is MaskRCNN, an "instance segmentation" general framework that detects craters in an image while simultaneously producing a mask for each crater that traces its outer rim. Our post-processing pipeline then finds the closest fitting ellipse to these masks, allowing us to retrieve the crater ellipticities. Our model is able to correctly identify 87\% of known craters in the longitude range we hid from the network during training and validation (test set), while predicting thousands of additional craters not present in our training data. Manual validation of a subset of these "new" craters indicates that a majority of them are real, which we take as an indicator of the strength of our model in learning to identify craters, despite incomplete training data. The crater size, ellipticity, and depth distributions predicted by our model are consistent with human-generated results. The model allows us to perform a large scale search for differences in crater diameter and shape distributions between the lunar highlands and maria, and we exclude any such differences with a high statistical significance. The predicted test set catalogue and trained model are available here: https://github.com/malidib/Craters_MaskRCNN/.

Ammonia, if present in the ice shells of icy satellites, could lower the temperature for the onset of melting to 176 K and create a large temperature range where partial melt is thermally stable. The evolution of regions of ammonia-rich partial melt could strongly influence the geological and thermal evolution of icy bodies. For melt to be extracted from partially molten regions, the surrounding solid matrix must deform and compact. Whether ammonia-rich melts sink to the subsurface ocean or become frozen into the ice shell depends on the compaction rate and thermal evolution. Here we construct a model for the compaction and thermal evolution of a partially molten, ammonia-rich ice shell in a one-dimensional geometry. We model the thickening of an initially thin ice shell above an ocean with $10\%$ ammonia. We find that ammonia-rich melts can freeze into the upper $5$ to $10$ kilometers of the ice shell, when ice shell thickening is rapid compared to the compaction rate. The trapping of near-surface volatiles suggests that, upon reheating of the ice shell, eutectic melting events are possible. However, as the ice shell thickening rate decreases, ammonia-rich melt is efficiently excluded from the ice shell and the bulk of the ice shell is pure water ice. We apply our results to the thermal evolution of Neptune's moon Triton. As Triton's ice shell thickens, the gradual increase of ammonia concentration in Triton's subsurface ocean helps to prevent freezing and increases the predicted final ocean thickness by up to $50$ km.

In single star systems like our own Solar system, comets dominate the mass budget of bodies that are ejected into interstellar space, since they form further away and are less tightly bound. However 1I/`Oumuamua, the first interstellar object detected, appears asteroidal in its spectra and in its lack of detectable activity. We argue that the galactic budget of interstellar objects like 1I/`Oumuamua should be dominated by planetesimal material ejected during planet formation in circumbinary systems, rather than in single star systems or widely separated binaries. We further show that in circumbinary systems, rocky bodies should be ejected in comparable numbers to icy ones. This suggests that a substantial fraction of additional interstellar objects discovered in the future should display an active coma. We find that the rocky population, of which 1I/`Oumuamua seems to be a member, should be predominantly sourced from A-type and late B-star binaries.

Fatigue can cause materials that undergo cyclic loading to experience brittle failure at much lower stresses than under monotonic loading. We propose that the lithospheres of icy satellites could become fatigued and thus weakened by cyclical tidal stresses. To test this hypothesis, we performed a series of laboratory experiments to measure the fatigue of water ice at temperatures of $198$ K and $233$ K and at a loading frequency of $1$ Hz. We find that ice is \textit{not} susceptible to fatigue at our experimental conditions and that the brittle failure stress does not decrease with increasing number of loading cycles. Even though fatigue was not observed at our experimental conditions, colder temperatures, lower loading frequencies, and impurities in the ice shells of icy satellites may increase the likelihood of fatigue crack growth. We also explore other mechanisms that may explain the weak behavior of the lithospheres of some icy satellites.

The New Horizons spacecraft has found evidence for geologic activity on the surface of Pluto, including extensional tectonic deformation of its water ice bedrock (see Moore et al., 2016). One mechanism that could drive extensional tectonic activity is global surface expansion due to the partial freezing of an ocean. We use updated physical properties for Pluto and simulate its thermal evolution to understand the survival of a possible subsurface ocean. For thermal conductivities of rock less than 3 W m$^{-1}$ K$^{-1}$, an ocean forms and at least partially freezes, leading to recent extensional stresses in the ice shell. In scenarios where the ocean freezes and the ice shell is thicker than $260$ km, ice II forms and causes global volume contraction. Since there is no evidence for recent compressional tectonic features, we argue that ice II has not formed and that Pluto's ocean has likely survived to present day.

Ridge-and-trough terrain is a common landform on outer Solar System icy satellites. Examples include Ganymede's grooved terrain, Europa's gray bands, Miranda's coronae, and several terrains on Enceladus. The conditions associated with the formation of each of these terrains are similar: heat flows of order tens to a hundred milliwatts per meter squared, and deformation rates of order $10^{-16}$ to $10^{-12}$ s$^{-1}$. Our prior work shows that the conditions associated with the formation of these terrains on Ganymede and the south pole of Enceladus are consistent with vigorous solid-state ice convection in a shell with a weak surface. We show that sluggish lid convection, an intermediate regime between the isoviscous and stagnant lid regimes, can create the heat flow and deformation rates appropriate for ridge and trough formation on a number of satellites, regardless of the ice shell thickness. For convection to deform their surfaces, the ice shells must have yield stresses similar in magnitude to the daily tidal stresses. Tidal and convective stresses deform the surface, and the spatial pattern of tidal cracking controls the locations of ridge-and-trough terrain.

Saturn's moon Iapetus has an equatorial ridge system, which may be as high as 20 km, that may have formed by endogenic forces, such as tectonic and convective forces, or exogenic processes such as debris infall. We use high-resolution topographic data to conduct a topographic analysis of the ridge, which suggests a predominantly triangular morphology, with some ridge face slopes reaching 40 degrees, allowing for an exogenic formation mechanism.