This paper describes the physics case for a new fixed target facility at CERN SPS. The SHiP (search for hidden particles) experiment is intended to hunt for new physics in the largely unexplored domain of very weakly interacting particles with masses below the Fermi scale, inaccessible to the LHC experiments, and to study tau neutrino physics. The same proton beam setup can be used later to look for decays of tau-leptons with lepton flavour number non-conservation, [Formula: see text] and to search for weakly-interacting sub-GeV dark matter candidates. We discuss the evidence for physics beyond the standard model and describe interactions between new particles and four different portals-scalars, vectors, fermions or axion-like particles. We discuss motivations for different models, manifesting themselves via these interactions, and how they can be probed with the SHiP experiment and present several case studies. The prospects to search for relatively light SUSY and composite particles at SHiP are also discussed. We demonstrate that the SHiP experiment has a unique potential to discover new physics and can directly probe a number of solutions of beyond the standard model puzzles, such as neutrino masses, baryon asymmetry of the Universe, dark matter, and inflation.

We study experimental and cosmological constraints on the extension of the Standard Model by three right handed neutrinos with masses between those of the pion and W boson. We combine for the first time direct, indirect and cosmological constraints in this mass range. This includes experimental constraints from neutrino oscillation data, neutrinoless double β decay, electroweak precision data, lepton universality, searches for rare lepton decays, tests of CKM unitarity and past direct searches at colliders or fixed target experiments. On the cosmological side, big bang nucleosynthesis has the most pronounced impact. Our results can be used to evaluate the discovery potential of searches for heavy neutrinos at LHCb, BELLE II, SHiP, ATLAS, CMS or a future lepton collider.

We derive and solve kinetic equations for leptogenesis within the Closed Time Path (CTP) formalism. It is particularly emphasised how the procedure of real intermediate state subtraction familiar from the Boltzmann approach is realised within the CTP framework; and we show how in time-independent situations no lepton asymmetry emerges, in accordance with the CP T theorem. The CTP approach provides new quantum statistical corrections from evaluating the loop integrals. These lead to an enhancement of the asymmetry originating from the Bose statistics of the Higgs particles. To quantify this effect, we define and evaluate an effective CP -violating parameter. We also solve the kinetic equations and show explicitly that the new quantum statistical corrections can be neglected in the strong washout regime, while, depending on initial conditions, they can be sizable for weak washout.

Heavy neutrinos with masses below the electroweak scale can simultaneously generate the light neutrino masses via the seesaw mechanism and the baryon asymmetry of the universe via leptogenesis. The requirement to explain these phenomena imposes constraints on the mass spectrum of the heavy neutrinos, their flavour mixing pattern and their CP properties. We first combine bounds from different experiments in the past to map the viable parameter regions in which the minimal low scale seesaw model can explain the observed neutrino oscillations, while being consistent with the negative results of past searches for physics beyond the Standard Model. We then study which additional predictions for the properties of the heavy neutrinos can be made based on the requirement to explain the observed baryon asymmetry of the universe. Finally, we comment on the perspectives to find traces of heavy neutrinos in future experimental searches at the LHC, NA62, BELLE II, T2K, SHiP or a future high energy collider, such as ILC, CEPC or FCC-ee. If any heavy neutral leptons are discovered in the future, our results can be used to assess whether these particles are indeed the common origin of the light neutrino masses and the baryon asymmetry of the universe. If the magnitude of their couplings to all Standard Model flavours can be measured individually, and if the Dirac phase in the lepton mixing matrix is determined in neutrino oscillation experiments, then all model parameters can in principle be determined from this data. This makes the low scale seesaw a fully testable model of neutrino masses and baryogenesis.

Within the Closed Time Path (CTP) framework, we derive kinetic equations for particle distribution functions that describe leptogenesis in the presence of several lepton flavours. These flavours have different Standard-Model Yukawa couplings, which induce flavour-sensitive scattering processes and thermal dispersion relations. Kinetic equilibrium, which is rapidly established and maintained via gauge interactions, allows to simplify these equations to kinetic equations for the matrix of lepton charge densities. In performing this simplification, we notice that the rapid flavour-blind gauge interactions damp the flavour oscillations of the leptons. Leptogenesis turns out to be in the parametric regime where the flavour oscillations are overdamped and flavour decoherence is mainly induced by flavour sensitive scatterings. We solve the kinetic equations for the lepton number densities numerically and show that they interpolate between the unflavoured and the fully flavoured regimes within the intermediate parametric region, where neither of these limits is applicable.