We show that existing laboratory experiments have the potential to unveil the origin of matter by probing leptogenesis in the type-I seesaw model with three right-handed neutrinos and Majorana masses in the GeV range. The baryon asymmetry is generated by CP-violating flavour oscillations during the production of the right-handed neutrinos. In contrast to the case with only two right-handed neutrinos, no degeneracy in the Majorana masses is required. The right-handed neutrinos can be found in meson decays at BELLE II and LHCb.

We demonstrate for the first time that three sterile neutrinos alone can simultaneously explain neutrino oscillations, the observed dark matter and the baryon asymmetry of the Universe without new physics above the Fermi scale. The key new point of our analysis is leptogenesis after sphaleron freeze-out, which leads to resonant dark matter production, evading thus the constraints on sterile neutrino dark matter from structure formation and x-ray searches. We identify the range of sterile neutrino properties that is consistent with all known constraints. We find a domain of parameters where the new particles can be found with present day experimental techniques, using upgrades to existing experimental facilities.

We review observational evidence for a matter-antimatter asymmetry in the early universe, which leads to the remnant matter density we observe today. We also discuss observational bounds on the presence of antimatter in the present day universe, including the possibility of a large lepton asymmetry in the cosmic neutrino background. We briefly review the theoretical framework within which baryogenesis, the dynamical generation of a matter-antimatter asymmetry, can occur. As an example, we discuss a testable minimal model that simultaneously explains the baryon asymmetry of the universe, neutrino oscillations and dark matter.

We show that, leaving aside accelerated cosmic expansion, all experimental data in high energy physics that are commonly agreed to require physics beyond the Standard Model can be explained when completing it by three right handed neutrinos that can be searched for using current day experimental techniques. The model that realises this scenario is known as Neutrino Minimal Standard Model (\nu MSM). In this article we give a comprehensive summary of all known constraints in the \nu MSM, along with a pedagogical introduction to the model. We present the first complete quantitative study of the parameter space of the model where no physics beyond the \nu MSM is needed to simultaneously explain neutrino oscillations, dark matter and the baryon asymmetry of the universe. This requires to track the time evolution of left and right handed neutrino abundances from hot big bang initial conditions down to temperatures below the QCD scale. We find that the interplay of resonant amplifications, CP-violating flavour oscillations, scatterings and decays leads to a number of previously unknown constraints on the sterile neutrino properties. We furthermore re-analyse bounds from past collider experiments and big bang nucleosynthesis in the face of recent evidence for a non-zero neutrino mixing angle \theta_{13}. We combine all our results with existing constraints on dark matter properties from astrophysics and cosmology. Our results provide a guideline for future experimental searches for sterile neutrinos. A summary of the constraints on sterile neutrino masses and mixings has appeared in arXiv:1204.3902 [hep-ph]. In this article we provide all details of our calculations and give constraints on other model parameters.

We perform a detailed analysis of baryon asymmetry generation in the NuMSM (an extension of the Standard Model by three singlet Majorana fermions with masses below the Fermi scale). Fixing a number of parameters of the NuMSM by the neutrino oscillation data, we determine the remaining domain of the parameter space from the requirement of successful baryogenesis. We derive, in particular, the constraints on the mass splitting of a pair of singlet fermions, and on the strength of their coupling to ordinary leptons, essential for searches of these particles in rare decays of mesons and in beam-dump experiments with intensive proton beams.