The search for habitable exoplanets inspires the question - how do habitable planets form? Planet habitability models traditionally focus on abiotic processes and neglect a biotic response to changing conditions on an inhabited planet. The Gaia hypothesis postulates that life influences the Earth's feedback mechanisms to form a self-regulating system, and hence that life can maintain habitable conditions on its host planet. If life has a strong influence, it will have a role in determining a planet's habitability over time. We present the ExoGaia model - a model of simple 'planets' host to evolving microbial biospheres. Microbes interact with their host planet via consumption and excretion of atmospheric chemicals. Model planets orbit a 'star' which provides incoming radiation, and atmospheric chemicals have either an albedo, or a heat-trapping property. Planetary temperatures can therefore be altered by microbes via their metabolisms. We seed multiple model planets with life while their atmospheres are still forming and find that the microbial biospheres are, under suitable conditions, generally able to prevent the host planets from reaching inhospitable temperatures, as would happen on a lifeless planet. We find that the underlying geochemistry plays a strong role in determining long-term habitability prospects of a planet. We find five distinct classes of model planets, including clear examples of 'Gaian bottlenecks' - a phenomenon whereby life either rapidly goes extinct leaving an inhospitable planet, or survives indefinitely maintaining planetary habitability. These results suggest that life might play a crucial role in determining the long-term habitability of planets.

Neutron matter at densities of the order of the nuclear saturation density is believed to have neutrons paired in the 3P2 channel. We study the low lying modes of this phase and find two massless modes (angulons), resulting from the spontaneous breaking of rotational symmetry as well as three other, gapped modes. We compute their masses at arbitrary temperatures.

Interstellar probes can carry out slingshot manoeuvres around the stars they visit, gaining a boost in velocity by extracting energy from the star's motion around the Galactic Centre. These maneouvres carry little to no extra energy cost, and in previous work it has been shown that a single Voyager-like probe exploring the galaxy does so 100 times faster when carrying out these slingshots than when navigating purely by powered flight (Forgan et al. 2012). We expand on these results by repeating the experiment with self-replicating probes. The probes explore a box of stars representative of the local Solar neighbourhood, to investigate how self-replication affects exploration timescales when compared with a single non-replicating probe. We explore three different scenarios of probe behaviour: i) standard powered flight to the nearest unvisited star (no slingshot techniques used), ii) flight to the nearest unvisited star using slingshot techniques, and iii) flight to the next unvisited star that will give the maximum velocity boost under a slingshot trajectory. In all three scenarios we find that as expected, using self-replicating probes greatly reduces the exploration time, by up to three orders of magnitude for scenario i) and iii) and two orders of magnitude for ii). The second case (i.e. nearest-star slingshots) remains the most time effective way to explore a population of stars. As the decision-making algorithms for the fleet are simple, unanticipated "race conditions" amongst probes are set up, causing the exploration time of the final stars to become much longer than necessary. From the scaling of the probes' performance with star number, we conclude that a fleet of self-replicating probes can indeed explore the Galaxy in a sufficiently short time to warrant the existence of the Fermi Paradox.

The condensation of neutrons into a 3P2 superfluid phase occurs at densities relevant for the interior of neutron stars. The triplet pairing breaks rotational symmetry spontaneously and leads to the existence of gapless modes (angulons) that are relevant for many transport coefficients and to the star's cooling properties. We derive the leading terms of the low energy effective field theory, including the leading coupling to electroweak currents, valid for a variety of possible 3P2 phases.