Bounds on Right Handed Neutrino Parameters from Observable Leptogenesis

We investigate the testability prospects of the minimal GeV-scale leptogenesis via oscillations setup within future experiments as SHiP and FCC. 
We show that the parameter space can be generically categorized into three distinct regions, depending on the right-handed neutrino mass splitting. 
We derive analytical expressions for the baryon asymmetry generated in these three different regimes as a function of the observable parameters of the minimal model. This allows us to set analytical upper bounds on the right-handed neutrino mixing for which the baryonic asymmetry of our Universe (BAU) can be produced. Interestingly this bound cuts the testable parameter space. Further, we numerically solve the full non-linear set of kinetic equations to perform a bayesian analysis, studying the correlation among the different parameters and clarifying the role of helicity violating interactions. Saturation of the mixing is achieved for small right-handed neutrino mass splittings, but non-degenerate states are also compatible with the BAU in a testable part of the parameter space that can lead to a significant enhancement of the neutrinoless double beta decay rate with respect to the active neutrino prediction.