Abstract: We perform a comprehensive scan of the parameter space of a general singlet scalar extension of the Standard Model to identify the regions which can lead to a strong first-order phase transition, as required by the electroweak baryogenesis mechanism. We find that taking into account bubble nucleation is a fundamental constraint on the parameter space and present a conservative and fast estimate for it so as to enable efficient parameter space scanning. The allowed regions turn out to be already significantly probed by constraints on the scalar mixing from Higgs signal strength measurements. We also consider the addition of new neutrino singlet fields with Yukawa couplings to both scalars and forming heavy (pseudo)-Dirac pairs, as in the linear or inverse Seesaw mechanisms for neutrino mass generation. We find that their inclusion does not alter the allowed parameter space from early universe phenomenology in a significant way. Conversely, there are allowed regions of the parameter space where the presence of the neutrino singlets would remarkably modify the collider phenomenology, yielding interesting new signatures in Higgs and singlet scalar decays.

Abstract: We revisit the generation of a matter-antimatter asymmetry in the minimal extension of the Standard Model with two singlet heavy neutral leptons (HNL) that can explain neutrino masses. We derive an accurate analytical approximation to the solution of the complete linearized set of kinetic equations, which exposes the non-trivial parameter dependencies in the form of parameterization-independent CP invariants. The identification of various washout regimes relevant in different regions of parameter space sheds light on the relevance of the mass corrections in the interaction rates and clarifies the correlations of baryogenesis with other observables. In particular, by requiring that the measured baryon asymmetry is reproduced, we derive robust upper or lower bounds on the HNL mixings depending on their masses, and constraints on their flavour structure, as well as on the CP-violating phases of the PMNS mixing matrix, and the amplitude of neutrinoless double-beta decay. We also find certain correlations between low and high scale CP phases. Especially emphasizing the testable part of the parameter space we demonstrate that our findings are in very good agreement with numerical results. The methods developed in this work can help in exploring more complex scenarios.

Abstract: We study the capabilities of the DUNE near detector to probe deviations from unitarity of the leptonic mixing matrix, the 3+1 sterile formalism and Non-Standard Interactions affecting neutrino production and detection. We clarify the relation and possible mappings among the three formalisms at short-baseline experiments, and we add to current analyses in the literature the study of the nu(mu)-> nu(tau) appearance channel. We study in detail the impact of spectral uncertainties on the sensitivity to new physics using the DUNE near detector, which has been widely overlooked in the literature. Our analysis shows that this plays an important role on the results and, in particular, that it can lead to a strong reduction in the sensitivity to sterile neutrinos from nu(mu)-> nu(e) transitions, by more than two orders of magnitude. This stresses the importance of a joint experimental and theoretical effort to improve our understanding of neutrino nucleus cross sections, as well as hadron production uncertainties and beam focusing effects. Nevertheless, even with our conservative and more realistic implementation of systematic uncertainties, we find that an improvement over current bounds in the new physics frameworks considered is generally expected if spectral uncertainties are below the 5% level.