We report the discovery in $TESS$ Sectors 3 and 4 of a compact triply eclipsing triple star system. TIC 209409435 is a previously unknown eclipsing binary with a period of 5.717 days, and the presence of a third star in an outer eccentric orbit of 121.872 day period was found from two sets of third-body eclipses and from eclipse timing variations. The latter exhibit signatures of strong 3rd-body perturbations. After the discovery, we obtained follow-up ground-based photometric observations of several binary eclipses as well as another of the third-body eclipses. We carried out comprehensive analyses, including the simultaneous photodynamical modelling of $TESS$ and ground-based lightcurves (including both archival WASP data, and our own follow-up measurements), as well as eclipse timing variation curves. Also, we have included in the simultaneous fits multiple star spectral energy distribution data and theoretical PARSEC stellar isochrones. We find that the inner binary consists of near twin stars of mass 0.90 $M_\odot$ and radius 0.88 $R_\odot$. The third star is just 9% more massive and 18% larger in radius. The inner binary has a rather small eccentricity while the outer orbit has $e = 0.40$. The inner binary and outer orbit have inclination angles within 0.1$^\circ$ and 0.2$^\circ$ of 90$^\circ$, respectively. The mutual inclination angle is $\lesssim 1/4^\circ$. All of these results were obtained without radial velocity observations.

CO~Cam (TIC 160268882) is the second ``single-sided pulsator'' to be discovered. These are stars where one hemisphere pulsates with a significantly higher amplitude than the other side of the star. CO~Cam is a binary star comprised of an Am $\delta$~Sct primary star with $T_{\rm eff} = 7070 \pm 150$\,K, and a spectroscopically undetected G main-sequence secondary star. The dominant pulsating side of the primary star is centred on the L$_1$ point. We have modelled the spectral energy distribution combined with radial velocities, and independently the {\em TESS} light curve combined with radial velocities. Both of these give excellent agreement and robust system parameters for both stars. The $\delta$~Sct star is an oblique pulsator with at least four low radial overtone (probably) f~modes with the pulsation axis coinciding with the tidal axis of the star, the line of apsides. Preliminary theoretical modelling indicates that the modes must produce much larger flux perturbations near the L$_1$ point, although this is difficult to understand because the pulsating star does not come near to filling its Roche lobe. More detailed models of distorted pulsating stars should be developed. These newly discovered single-sided pulsators offer new opportunities for astrophysical inference from stars that are oblique pulsators in close binary stars.

Interiors of neutron stars are ultra-dense and may contain a core of deconfined quark matter. Such a core connects to the outer layers smoothly or through a sharp microscopic interface or through an intermediate macroscopic layer of inhomogeneous mixed phases, which is globally neutral but locally contains electrically charged domains. Here I employ a nucleon-meson model under neutron star conditions that shows a first-order chiral phase transition at large densities. In the vicinity of this chiral transition I calculate the free energies of various mixed phases - different 'pasta structures' - in the Wigner-Seitz approximation. Crucially, chirally broken nuclear matter and the approximately chirally symmetric phase (loosely interpreted as quark matter) are treated on the same footing. This allows me to compute the interface profiles of bubbles, rods, and slabs fully consistently, taking into account electromagnetic screening effects and without needing the surface tension as an input. I find that the full numerical results tend to disfavor mixed phases compared to a simple step-like approximation used frequently in the literature and that the predominantly favored pasta structure consists of slabs with a surface tension $\Sigma \simeq 6\, {\rm MeV}/{\rm fm}^2$.

Two coupled, interpenetrating fluids suffer instabilities beyond certain critical counterflows. For ideal fluids, an energetic instability occurs at the point where a sound mode inverts its direction due to the counterflow, while dynamical instabilities only occur at larger relative velocities. Here we discuss two relativistic fluids, one of which is dissipative. Using linearized hydrodynamics, we show that in this case the energetic instability turns dynamical, i.e., there is an exponentially growing mode, and this exponential growth only occurs in the presence of dissipation. This result is general and does not rely on an underlying microscopic theory. It can be applied to various two-fluid systems for instance in the interior of neutron stars. We also point out that under certain circumstances the two-fluid system exhibits a mode analogous to the r-mode in neutron stars that can become unstable for arbitrarily small values of the counterflow.

Since 2009, the Kepler, K2, and TESS missions have produced a vast number of lightcurves for public use. To assist citizen scientists in processing those lightcurves, the LcTools software system was developed. The system provides a set of tools to efficiently search for signals of interest in large sets of lightcurves using automated and manual (visual) techniques. At the heart of the system is a multipurpose lightcurve viewer and signal processor with advanced navigation and display capabilities to facilitate the search for signals. Other applications in the system are available for building lightcurve files in bulk, finding periodic signals automatically, and generating signal reports. This paper describes each application in the system and the methods by which the software can be used to detect and record signals. The software is free and can be obtained from the lead author by request.

If a first-order phase transition separates nuclear and quark matter at large baryon density, an interface between these two phases has a nonzero surface tension. We calculate this surface tension within a nucleon-meson model for domain walls and bubbles. Various methods and approximations are discussed and compared, including a numerical evaluation of the spatial profile of the interface. We also compute the surface tension at the other first-order phase transitions of the model: the nuclear liquid-gas transition and, in the parameter regime where it exists, the direct transition from the vacuum to the (approximately) chirally symmetric phase. Identifying the chirally symmetric phase with quark matter - our model does not contain explicit quark degrees of freedom - we find maximal surface tensions of the vacuum-quark transition $\Sigma_{\rm VQ}\sim 15 \, {\rm MeV}/{\rm fm}^2$, relevant for the surface of quark stars, and of the nuclear-quark transition $\Sigma_{\rm NQ}\sim 10 \, {\rm MeV}/{\rm fm}^2$, relevant for hybrid stars and for quark matter nucleation in supernovae and neutron star mergers.

Color-flavor locked quark matter can be described as a three-component superconductor and thus shows unconventional behavior in the transition regime from type-I to type-II superconductivity. We discuss this behavior by studying magnetic line defects in a Ginzburg-Landau approach, taking into account all possible values of the three winding numbers. After a brief discussion of the defects that include baryon circulation we focus on pure magnetic flux tubes. We show that at strong coupling, relevant for neutron stars, type-II behavior is conceivable and the most preferred configuration has minimal total winding. Only at weak coupling we find a regime where multi-winding flux tubes are preferred, although this regime most likely requires an unrealistically large superconducting gap.

Understanding signals from neutron stars requires knowledge about the transport inside the star. We review the transport properties and the underlying reaction rates of dense hadronic and quark matter in the crust and the core of neutron stars and point out open problems and future directions.

Color-flavor locked (CFL) quark matter expels color-magnetic fields due to the Meissner effect. One of these fields carries an admixture of the ordinary abelian magnetic field and therefore flux tubes may form if CFL matter is exposed to a magnetic field, possibly in the interior of neutron stars or in quark stars. We employ a Ginzburg-Landau approach for three massless quark flavors, which takes into account the multi-component nature of color superconductivity. Based on the weak-coupling expressions for the Ginzburg-Landau parameters, we identify the regime where CFL is a type-II color superconductor and compute the radial profiles of different color-magnetic flux tubes. Among the configurations without baryon circulation we find a new solution that is energetically preferred over the flux tubes previously discussed in the literature in the parameter regime relevant for compact stars. Within the same setup, we also find a new defect in the 2SC phase, namely magnetic domain walls, which emerge naturally from the previously studied flux tubes if a more general ansatz for the order parameter is used. Color-magnetic defects in the interior of compact stars allow for sustained deformations of the star, potentially strong enough to produce detectable gravitational waves.

We present a new approach to automate the spectroscopic redshift reliability assessment based on machine learning (ML) and characteristics of the redshift probability density function (PDF). We propose to rephrase the spectroscopic redshift estimation into a Bayesian framework, in order to incorporate all sources of information and uncertainties related to the redshift estimation process, and produce a redshift posterior PDF that will be the starting-point for ML algorithms to provide an automated assessment of a redshift reliability. As a use case, public data from the VIMOS VLT Deep Survey is exploited to present and test this new methodology. We first tried to reproduce the existing reliability flags using supervised classification to describe different types of redshift PDFs, but due to the subjective definition of these flags, soon opted for a new homogeneous partitioning of the data into distinct clusters via unsupervised classification. After assessing the accuracy of the new clusters via resubstitution and test predictions, unlabelled data from preliminary mock simulations for the Euclid space mission are projected into this mapping to predict their redshift reliability labels.

We present the first good evidence for exocomet transits of a host star in continuum light in data from the Kepler mission. The Kepler star in question, KIC 3542116, is of spectral type F2V and is quite bright at K_p = 10. The transits have a distinct asymmetric shape with a steeper ingress and slower egress that can be ascribed to objects with a trailing dust tail passing over the stellar disk. There are three deeper transits with depths of ~0.1% that last for about a day, and three that are several times more shallow and of shorter duration. The transits were found via an exhaustive visual search of the entire Kepler photometric data set, which we describe in some detail. We review the methods we use to validate the Kepler data showing the comet transits, and rule out instrumental artefacts as sources of the signals. We fit the transits with a simple dust-tail model, and find that a transverse comet speed of ~35-50 km/s and a minimum amount of dust present in the tail of ~10^16 g are required to explain the larger transits. For a dust replenishment time of ~10 days, and a comet lifetime of only ~300 days, this implies a total cometary mass of > 3 x 10^17 g, or about the mass of Halley's comet. We also discuss the number of comets and orbital geometry that would be necessary to explain the six transits detected over the four years of Kepler prime-field observations. Finally, we also report the discovery of a single comet-shaped transit in KIC 11084727 with very similar transit and host-star properties.

Exomoons represent an outstanding challenge in modern astronomy, with the potential to provide rich insights into planet formation theory and habitability. In this work, we stack the phase-folded transits of 284 viable moon hosting Kepler planetary candidates, in order to search for satellites. These planets range from Earth-to-Jupiter sized and from ${\sim}$0.1-to-1.0 AU in separation - so-called "warm" planets. Our data processing includes two-pass harmonic detrending, transit timing variations, model selection and careful data quality vetting to produce a grand light curve with an r.m.s. of 5.1 ppm. We find that the occurrence rate of Galilean-analog moon systems for planets orbiting between ${\sim}$0.1 and 1.0 AU can be constrained to be $\eta<0.38$ to 95% confidence for the 284 KOIs considered, with a 68.3% confidence interval of $\eta=0.16_{-0.10}^{+0.13}$. A single-moon model of variable size and separation locates a slight preference for a population of short-period moons with radii ${\sim}0.5$ $R_{\oplus}$ orbiting at 5-10 planetary radii. However, we stress that the low Bayes factor of just 2 in this region means it should be treated as no more than a hint at this time. Splitting our data into various physically-motivated subsets reveals no strong signal. The dearth of Galilean-analogs around warm planets places the first strong constraint on exomoon formation models to date. Finally, we report evidence for an exomoon candidate Kepler-1625b I, which we briefly describe ahead of scheduled observations of the target with the Hubble Space Telescope.

We study a superconductor that is coupled to a superfluid via density and derivative couplings. Starting from a Lagrangian for two complex scalar fields, we derive a temperature-dependent Ginzburg-Landau potential, which is then used to compute the phase diagram at nonzero temperature and external magnetic field. This includes the calculation of the critical magnetic fields for the transition to an array of magnetic flux tubes, based on an approximation for the interaction between the flux tubes. We find that the transition region between type-I and type-II superconductivity changes qualitatively due to the presence of the superfluid: the phase transitions at the upper and lower critical fields in the type-II regime become first order, opening the possibility of clustered flux tube phases. These flux tube clusters may be realized in the core of neutron stars, where superconducting protons are expected to be coupled to superfluid neutrons.

It is expected that in the interior of compact stars a proton superconductor coexists with and couples to a neutron superfluid. Starting from a field-theoretical model for two complex scalar fields - one of which is electrically charged - we derive a Ginzburg-Landau potential which includes entrainment between the two fluids and temperature effects from thermal excitations of the two scalar fields and the gauge field. The Ginzburg-Landau description is then used for an analysis of the phase structure in the presence of an external magnetic field. In particular, we study the effect of the superfluid on the flux tube phase by computing the various critical magnetic fields and deriving an approximation for the flux tube interaction. As a result, we point out differences to the naive expectations from an isolated superconductor, for instance the existence of a first-order flux tube onset, resulting in a more complicated phase structure in the region between type-I and type-II superconductivity.

The Kepler mission has revealed a great diversity of planetary systems and architectures, but most of the planets discovered by Kepler orbit faint stars. Using new data from the K2 mission, we present the discovery of a five planet system transiting a bright (V = 8.9, K = 7.7) star called HIP 41378. HIP 41378 is a slightly metal-poor late F-type star with moderate rotation (v sin(i) = 7 km/s) and lies at a distance of 116 +/- 18 from Earth. We find that HIP 41378 hosts two sub-Neptune sized planets orbiting 3.5% outside a 2:1 period commensurability in 15.6 and 31.7 day orbits. In addition, we detect three planets which each transit once during the 75 days spanned by K2 observations. One planet is Neptune sized in a likely ~160 day orbit, one is sub-Saturn sized likely in a ~130 day orbit, and one is a Jupiter sized planet in a likely ~1 year orbit. We show that these estimates for the orbital periods can be made more precise by taking into account dynamical stability considerations. We also calculate the distribution of stellar reflex velocities expected for this system, and show that it provides a good target for future radial velocity observations. If a precise orbital period can be determined for the outer Jovian planet through future observations, it will be an excellent candidate for follow-up transit observations to study its atmosphere and measure its oblateness.

We present high-resolution observations of a sample of 75 K2 targets from Campaigns 1-3 using speckle interferometry on the Southern Astrophysical Research (SOAR) telescope and adaptive optics (AO) imaging at the Keck II telescope. The median SOAR $I$-band and Keck $K_s$-band detection limits at 1" were $\Delta m_{I}=4.4$~mag and $\Delta m_{K_s}=6.1$~mag, respectively. This sample includes 37 stars likely to host planets, 32 targets likely to be eclipsing binaries (EBs), and 6 other targets previously labeled as likely planetary false positives. We find nine likely physically bound companion stars within 3" of three candidate transiting exoplanet host stars and six likely EBs. Six of the nine detected companions are new discoveries; one of the six, EPIC 206061524, is associated with a planet candidate. Among the EB candidates, companions were only found near the shortest period ones ($P<3$ days), which is in line with previous results showing high multiplicity near short-period binary stars. This high-resolution data, including both the detected companions and the limits on potential unseen companions, will be useful in future planet vetting and stellar multiplicity rate studies for planets and binaries.

We study two-fluid systems with nonzero fluid velocities and compute their sound modes, which indicate various instabilities. For the case of two zero-temperature superfluids we employ a microscopic field-theoretical model of two coupled bosonic fields, including an entrainment coupling and a non-entrainment coupling. We analyse the onset of the various instabilities systematically and point out that the dynamical two-stream instability can only occur beyond Landau's critical velocity, i.e., in an already energetically unstable regime. A qualitative difference is found for the case of two normal fluids, where certain transverse modes suffer a two-stream instability in an energetically stable regime if there is entrainment between the fluids. Since we work in a fully relativistic setup, our results are very general and of potential relevance for (super)fluids in neutron stars and, in the non-relativistic limit of our results, in the laboratory.

The census of exoplanets is incomplete for orbital distances larger than 1 AU. Here, we present 41 long-period planet candidates in 38 systems identified by Planet Hunters based on Kepler archival data (Q0-Q17). Among them, 17 exhibit only one transit, 14 have two visible transits and 10 have more than three visible transits. For planet candidates with only one visible transit, we estimate their orbital periods based on transit duration and host star properties. The majority of the planet candidates in this work (75%) have orbital periods that correspond to distances of 1-3 AU from their host stars. We conduct follow-up imaging and spectroscopic observations to validate and characterize planet host stars. In total, we obtain adaptive optics images for 33 stars to search for possible blending sources. Six stars have stellar companions within 4". We obtain high-resolution spectra for 6 stars to determine their physical properties. Stellar properties for other stars are obtained from the NASA Exoplanet Archive and the Kepler Stellar Catalog by Huber et al. (2014). We validate 7 planet candidates that have planet confidence over 0.997 (3-{\sigma} level). These validated planets include 3 single-transit planets (KIC-3558849b, KIC-5951458b, and KIC-8540376c), 3 planets with double transits (KIC-8540376b, KIC-9663113b, and KIC-10525077b), and 1 planet with 4 transits (KIC-5437945b). This work provides assessment regarding the existence of planets at wide separations and the associated false positive rate for transiting observation (17%-33%). More than half of the long-period planets with at least three transits in this paper exhibit transit timing variations up to 41 hours, which suggest additional components that dynamically interact with the transiting planet candidates. The nature of these components can be determined by follow-up radial velocity and transit observations.

We present a survey of 41 Kepler Objects of Interest (KOIs) for exomoons using Bayesian photodynamics, more than tripling the number of KOIs surveyed with this technique. We find no compelling evidence for exomoons although thirteen KOIs yield spurious detections driven by instrumental artifacts, stellar activity and/or perturbations from unseen bodies. Regarding the latter, we find seven KOIs exhibiting >5 sigma evidence of transit timing variations, including the 'mega-Earth' Kepler-10c, likely indicating an additional planet in that system. We exploit the moderately large sample of 57 unique KOIs surveyed to date to infer several useful statistics. For example, although there is a diverse range in sensitivities, we find that we are sensitive to Pluto-Charon mass-ratio systems for ~40% of KOIs studied and Earth-Moon mass-ratios for 1 in 8 cases. In terms of absolute mass, our limits probe down to 1.7 Ganymede masses, with a sensitivity to Earth-mass moons for 1 in 3 cases studied and to the smallest moons capable of sustaining an Earth-like atmosphere (0.3 Earth masses) for 1 in 4. Despite the lack of positive detections to date, we caution against drawing conclusions yet, since our most interesting objects remain under analysis. Finally, we point out that had we searched for the photometric transit signals of exomoons alone, rather than using photodynamics, we estimate that 1 in 4 KOIs would have erroneously been concluded to harbor exomoons due to residual time correlated noise in the Kepler data, posing a serious problem for alternative methods.

A strong magnetic field enhances the chiral condensate at low temperatures. This so-called magnetic catalysis thus seeks to increase the vacuum mass of nucleons. We employ two relativistic field-theoretical models for nuclear matter, the Walecka model and an extended linear sigma model, to discuss the resulting effect on the transition between vacuum and nuclear matter at zero temperature. In both models we find that the creation of nuclear matter in a sufficiently strong magnetic field becomes energetically more costly due to the heaviness of magnetized nucleons, even though it is also found that nuclear matter is more strongly bound in a magnetic field. Our results are potentially important for dense nuclear matter in compact stars, especially since previous studies in the astrophysical context have always ignored the contribution of the magnetized Dirac sea and thus the effect of magnetic catalysis.

The discovery of an exomoon would provide deep insights into planet formation and the habitability of planetary systems, with transiting examples being particularly sought after. Of the hundreds of Kepler planets now discovered, the seven-planet system Kepler-90 is unusual for exhibiting an unidentified transit-like signal in close proximity to one of the transits of the long-period gas-giant Kepler-90g, as noted by Cabrera et. al. (2014). As part of the 'Hunt for Exomoons with Kepler' (HEK) project, we investigate this possible exomoon signal and find it passes all conventional photometric, dynamical and centroid diagnostic tests. However, pixel-level light curves indicate that the moon-like signal occurs on nearly all of the target's pixels, which we confirm using a novel way of examining pixel-level data which we dub the 'transit centroid'. This test reveals that the possible exomoon to Kepler-90g is likely a false positive, perhaps due to a cosmic ray induced Sudden Pixel Sensitivity Dropout (SPSD). This work highlights the extreme care required for seeking non-periodic low-amplitude transit signals, such as exomoons.

We highlight the progress, current status, and open challenges of QCD-driven physics, in theory and in experiment. We discuss how the strong interaction is intimately connected to a broad sweep of physical problems, in settings ranging from astrophysics and cosmology to strongly-coupled, complex systems in particle and condensed-matter physics, as well as to searches for physics beyond the Standard Model. We also discuss how success in describing the strong interaction impacts other fields, and, in turn, how such subjects can impact studies of the strong interaction. In the course of the work we offer a perspective on the many research streams which flow into and out of QCD, as well as a vision for future developments.

With their smaller radii and high cosmic abundance, transiting planets around cool stars hold a unique appeal. As part of our on-going project to measure the occurrence rate of extrasolar moons, we here present results from a survey focussing on eight Kepler planetary candidates associated with M-dwarfs. Using photodynamical modeling and Bayesian multimodal nested sampling, we find no compelling evidence for an exomoon in these eight systems. Upper limits on the presence of such bodies probe down to $\sim0.4M_{\oplus}$ in the best case. For KOI-314, we are able to confirm the planetary nature of two out of the three known transiting candidates using transit timing variations. Of particular interest is KOI-314c, which is found to have a mass of $1.0_{-0.3}^{+0.4}M_{\oplus}$, making it the lowest mass transiting planet discovered to date. With a radius of $1.61_{-0.15}^{+0.16}R_{\oplus}$, this Earth-mass world is likely enveloped by a significant gaseous envelope comprising $\geq17_{-13}^{+12}$% of the planet by radius. We find evidence to support the planetary nature of KOI-784 too via transit timing, but we advocate further observations to verify the signals. In both systems, we infer that the inner planet has a higher density than the outer world, which may be indicative of photo-evaporation. These results highlight both the ability of Kepler to search for sub-Earth mass moons and the exciting ancillary science which often results from such efforts.

Kepler-22b is the first transiting planet to have been detected in the habitable-zone of its host star. At 2.4 Earth radii, Kepler-22b is too large to be considered an Earth-analog, but should the planet host a moon large enough to maintain an atmosphere, then the Kepler-22 system may yet possess a telluric world. Aside from being within the habitable-zone, the target is attractive due to the availability of previously measured precise radial velocities and low intrinsic photometric noise, which has also enabled asteroseismology studies of the star. For these reasons, Kepler-22b was selected as a target-of-opportunity by the 'Hunt for Exomoons with Kepler' (HEK) project. In this work, we conduct a photodynamical search for an exomoon around Kepler-22b leveraging the transits, radial velocities and asteroseismology plus several new tools developed by the HEK project to improve exomoon searches. We find no evidence for an exomoon around the planet and exclude moons of mass >0.5 Earth masses to 95% confidence. By signal injection and blind retrieval, we demonstrate that an Earth-like moon is easily detected for this planet even when the time-correlated noise of the data set is taken into account. We provide updated parameters for the planet Kepler-22b including a revised mass of <53 Earth masses to 95% confidence and an eccentricity of 0.13(-0.13)(+0.36) by exploiting Single-body Asterodensity Profiling (SAP). Finally, we show that Kepler-22b has a >95% probability of being within the empirical habitable-zone but a <5% probability of being within the conservative habitable-zone.

From the list of 2321 transiting planet candidates announced by the Kepler Mission, we select seven targets with favorable properties for the capacity to dynamically maintain an exomoon and present a detectable signal. These seven candidates were identified through our automatic target selection (TSA) algorithm and target selection prioritization (TSP) filtering, whereby we excluded systems exhibiting significant time-correlated noise and focussed on those with a single transiting planet candidate of radius less than 6 Earth radii. We find no compelling evidence for an exomoon around any of the seven KOIs but constrain the satellite-to-planet mass ratios for each. For four of the seven KOIs, we estimate a 95% upper quantile of M_S/M_P<0.04, which given the radii of the candidates, likely probes down to sub-Earth masses. We also derive precise transit times and durations for each candidate and find no evidence for dynamical variations in any of the KOIs. With just a few systems analyzed thus far in the in-going HEK project, projections on eta-moon would be premature, but a high frequency of large moons around Super-Earths/Mini-Neptunes would appear to be incommensurable with our results so far.

The Kepler Mission is monitoring the brightness of ~150,000 stars searching for evidence of planetary transits. As part of the "Hunt for Exomoons with Kepler" (HEK) project, we report a planetary system with two confirmed planets and one candidate planet discovered using the publicly available data for KOI-872. Planet b transits the host star with a period P_b=33.6d and exhibits large transit timing variations indicative of a perturber. Dynamical modeling uniquely detects an outer nontransiting planet c near the 5:3 resonance (P_c=57.0d) of mass 0.37 times that of Jupiter. Transits of a third planetary candidate are also found: a 1.7-Earth radius super-Earth with a 6.8d period. Our analysis indicates a system with nearly coplanar and circular orbits, reminiscent of the orderly arrangement within the solar system.

Two decades ago, empirical evidence concerning the existence and frequency of planets around stars, other than our own, was absent. Since this time, the detection of extrasolar planets from Jupiter-sized to most recently Earth-sized worlds has blossomed and we are finally able to shed light on the plurality of Earth-like, habitable planets in the cosmos. Extrasolar moons may also be frequent habitable worlds but their detection or even systematic pursuit remains lacking in the current literature. Here, we present a description of the first systematic search for extrasolar moons as part of a new observational project called "The Hunt for Exomoons with Kepler" (HEK). The HEK project distills the entire list of known transiting planet candidates found by Kepler (2326 at the time of writing) down to the most promising candidates for hosting a moon. Selected targets are fitted using a multimodal nested sampling algorithm coupled with a planet-with-moon light curve modelling routine. By comparing the Bayesian evidence of a planet-only model to that of a planet-with-moon, the detection process is handled in a Bayesian framework. In the case of null detections, upper limits derived from posteriors marginalised over the entire prior volume will be provided to inform the frequency of large moons around viable planetary hosts, eta-moon. After discussing our methodologies for target selection, modelling, fitting and vetting, we provide two example analyses.

Cold and dense nuclear and/or quark matter can be found in the interior of compact stars. It is very challenging to determine the ground state and properties of this matter because of the strong-coupling nature of QCD. I give a pedagogical introduction to microscopic calculations based on phenomenological models, effective theories, and perturbative QCD. I discuss how the results of these calculations can be related to astrophysical observations to potentially rule out or confirm candidate phases of dense matter.

Color-flavor locked (CFL) quark matter at high densities is a color superconductor, which spontaneously breaks baryon number and chiral symmetry. Its low-energy thermodynamic and transport properties are therefore dominated by the H (superfluid) boson, and the octet of pseudoscalar pseudo-Goldstone bosons of which the neutral kaon is the lightest. We study the CFL-K^0 phase, in which the stress induced by the strange quark mass causes the kaons to condense, and there is an additional ultra-light "K^0" Goldstone boson arising from the spontaneous breaking of isospin. We compute the bulk viscosity of matter in the CFL-K^0 phase, which arises from the beta-equilibration processes K^0<->H+H and K^0+H<->H. We find that the bulk viscosity varies as T^7, unlike the CFL phase where it is exponentially Boltzmann-suppressed by the kaon's energy gap. However, in the temperature range of relevance for r-mode damping in compact stars, the bulk viscosity in the CFL-K^0 phase turns out to be even smaller than in the uncondensed CFL phase, which already has a bulk viscosity much smaller than all other known color-superconducting quark phases.

Matter at high density and low temperature is expected to be a color superconductor, which is a degenerate Fermi gas of quarks with a condensate of Cooper pairs near the Fermi surface that induces color Meissner effects. At the highest densities, where the QCD coupling is weak, rigorous calculations are possible, and the ground state is a particularly symmetric state, the color-flavor locked (CFL) phase. The CFL phase is a superfluid, an electromagnetic insulator, and breaks chiral symmetry. The effective theory of the low-energy excitations in the CFL phase is known and can be used, even at more moderate densities, to describe its physical properties. At lower densities the CFL phase may be disfavored by stresses that seek to separate the Fermi surfaces of the different flavors, and comparison with the competing alternative phases, which may break translation and/or rotation invariance, is done using phenomenological models. We review the calculations that underlie these results, and then discuss transport properties of several color-superconducting phases and their consequences for signatures of color superconductivity in neutron stars.

We study the behavior of Goldstone bosons in color-flavor-locked (CFL) quark matter at nonzero temperature. Chiral symmetry breaking in this phase of cold and dense matter gives rise to pseudo-Goldstone bosons, the lightest of these being the charged and neutral kaons K^+ and K^0. At zero temperature, Bose-Einstein condensation of the kaons occurs. Since all fermions are gapped, this kaon condensed CFL phase can, for energies below the fermionic energy gap, be described by an effective theory for the bosonic modes. We use this effective theory to investigate the melting of the condensate: we determine the temperature-dependent kaon masses self-consistently using the two-particle irreducible effective action, and we compute the transition temperature for Bose-Einstein condensation. Our results are important for studies of transport properties of the kaon condensed CFL phase, such as bulk viscosity.

The bulk viscosity of three-flavor color-superconducting quark matter originating from the nonleptonic process u+s <-> u+d is computed. It is assumed that up and down quarks form Cooper pairs while the strange quark remains unpaired (2SC phase). A general derivation of the rate of strangeness production is presented, involving contributions from a multitude of different subprocesses, including subprocesses that involve different numbers of gapped quarks as well as creation and annihilation of particles in the condensate. The rate is then used to compute the bulk viscosity as a function of the temperature, for an external oscillation frequency typical of a compact star r-mode. We find that, for temperatures far below the critical temperature T_c for 2SC pairing, the bulk viscosity of color-superconducting quark matter is suppressed relative to that of unpaired quark matter, but for T >~ 10^(-3) T_c the color-superconducting quark matter has a higher bulk viscosity. This is potentially relevant for the suppression of r-mode instabilities early in the life of a compact star.

The bulk viscosities of two color-superconducting phases, the color-flavor locked (CFL) phase and the 2SC phase, are computed and compared to the result for unpaired quark matter. In the case of the CFL phase, processes involving kaons and the superfluid mode give the largest contribution to the bulk viscosity since all fermionic modes are gapped. In the case of the 2SC phase, ungapped fermionic modes are present and the process u+d <-> u+s provides the dominant contribution. In both cases, the bulk viscosity can become larger than that of the unpaired phase for sufficiently large temperatures (T >~ 1 MeV for CFL, T >~ 0.1 MeV for 2SC). Bulk viscosity (as well as shear viscosity) is important for the damping of r-modes in compact stars and thus can potentially be used as an indirect signal for the presence or absence of color-superconducting quark matter.

Neutrino emissivities due to direct Urca processes of several spin-one color-superconducting phases of dense quark matter are calculated. In particular, the role of anisotropies and nodes of the gap functions is analyzed. Results for the specific heat as well as for the cooling rates of the color-spin-locked, planar, polar, and {\it A} phases are presented and consequences for the physics of neutron stars are briefly discussed. Furthermore, it is shown that the {\em A} phase exhibits a helicity order, giving rise to a reflection asymmetry in the neutrino emissivity.

We propose a new neutrino propulsion mechanism for neutron stars which can lead to strong velocity kicks, needed to explain the observed bimodal velocity distribution of pulsars. The spatial asymmetry in the neutrino emission is naturally provided by a stellar core containing spin-1 color-superconducting quark matter in the A phase. The neutrino propulsion mechanism switches on when the stellar core temperature drops below the transition temperature of this phase.

In this thesis, several color-superconducting phases where quarks of the same flavor form Cooper pairs are investigated. In these phases, a Cooper pair carries total spin one. A systematic classification of theoretically possible phases, discriminated by the color-spin structure of the order parameter and the respective symmetry breaking pattern, is presented. In the weak-coupling limit, i.e., for asymptotically high densities, a universal form of the QCD gap equation is derived, applicable to arbitrary color-superconducting phases. It is applied to several spin-one and spin-zero phases in order to determine their energy gaps and critical temperatures. In some of the spin-one phases the resulting gap function is anisotropic and has point or line nodes. It is shown that the phases with two different gaps violate the well-known BCS relation between the critical temperature and the zero-temperature gap. Moreover, the screening properties of color superconductors regarding gluons and photons are discussed. In particular, it turns out that, contrary to spin-zero color superconductors, spin-one color superconductors exhibit an electromagnetic Meissner effect. This property is proven by symmetry arguments as well as by an explicit calculation of the gluon and photon Meissner masses.

We calculate the Debye and Meissner masses of photons and gluons for a spin-one color superconductor in the polar and color-spin-locked phases as well as for a spin-zero color superconductor in the 2SC and color-flavor-locked phases. A general derivation for photon-gluon mixing is provided in terms of the QCD partition function. We show qualitatively and quantitatively which of the gauge bosons attain a mass via the Anderson-Higgs mechanism. Contrary to the spin-zero phases, both spin-one phases exhibit an electromagnetic Meissner effect.

It is shown that color-superconducting quark matter, where quarks of the same flavor form Cooper pairs with spin one, exhibits an electromagnetic Meissner effect. This is in contrast to spin-zero color superconductors where Cooper pairs consist of quarks with different flavors.