Abstract: Measuring a nonzero value for the cross section of any lepton number violating (LNV) process would put a strong lower limit on the washout factor for the effective lepton number density in the early Universe at times close to the electroweak phase transition and thus would lead to important constraints on any high-scale model for the generation of the observed baryon asymmetry based on LNV. In particular, for leptogenesis (LG) models with masses of the right-handed neutrinos heavier than the mass scale observed at the LHC, the implied large washout factors would lead to a violation of the out-of-equilibrium condition and exponentially suppress the net lepton number produced in such LG models. We thus demonstrate that the observation of LNV processes at the LHC results in the falsification of high-scale LG models. However, no conclusions about the viability of LG models can be drawn from the nonobservation of LNV processes.

Abstract: We consider supersymmetric models in which sneutrinos are viable dark matter candidates. These are either simple extensions of the Minimal Supersymmetric Standard Model with additional singlet superfields, such as the inverse or linear seesaw, or a model with an additional U(1) group. All of these models can accomodate the observed small neutrino masses and large mixings. We investigate the properties of sneutrinos as dark matter candidates in these scenarios. We check for phenomenological bounds, such as correct relic abundance, consistency with direct detection cross section limits and laboratory constraints, among others lepton flavour violating (LFV) charged lepton decays. While inverse and linear seesaw lead to different results for LFV, both models have very similar dark matter phenomenology, consistent with all experimental bounds. The extended gauge model shows some additional and peculiar features due to the presence of an extra gauge boson Z' and an additional light Higgs. Specifically, we point out that for sneutrino LSPs there is a strong constraint on the mass of the Z' due to the experimental bounds on the direct detection scattering cross section.

Abstract: We examine the theoretical motivations for long-lived particle (LLP) signals at the LHC in a comprehensive survey of standard model (SM) extensions. LLPs are a common prediction of a wide range of theories that address unsolved fundamental mysteries such as naturalness, dark matter, baryogenesis and neutrino masses, and represent a natural and generic possibility for physics beyond the SM (BSM). In most cases the LLP lifetime can be treated as a free parameter from the μm scale up to the Big Bang Nucleosynthesis limit of similar to 10(7) m. Neutral LLPs with lifetimes above similar to 100 m are particularly difficult to probe, as the sensitivity of the LHC main detectors is limited by challenging backgrounds, triggers, and small acceptances. MATHUSLA is a proposal for a minimally instrumented, large-volume surface detector near ATLAS or CMS. It would search for neutral LLPs produced in HL-LHC collisions by reconstructing displaced vertices (DVs) in a low-background environment, extending the sensitivity of the main detectors by orders of magnitude in the long-lifetime regime. We study the LLP physics opportunities afforded by a MATHUSLA-like detector at the HL-LHC, assuming backgrounds can be rejected as expected. We develop a model-independent approach to describe the sensitivity of MATHUSLA to BSM LLP signals, and compare it to DV and missing energy searches at ATLAS or CMS. We then explore the BSM motivations for LLPs in considerable detail, presenting a large number of new sensitivity studies. While our discussion is especially oriented towards the long-lifetime regime at MATHUSLA, this survey underlines the importance of a varied LLP search program at the LHC in general. By synthesizing these results into a general discussion of the top-down and bottom-up motivations for LLP searches, it is our aim to demonstrate the exceptional strength and breadth of the physics case for the construction of the MATHUSLA detector.

Abstract: We revisit discovery prospects for a long-lived sterile neutrino N at the LHC in the context of left-right symmetric theories. We focus on a displaced vertex search strategy sensitive to O(GeV) neutrino masses produced via a right-handed W-R boson. Both on-shell and off-shell Drell-Yan production of W-R are considered. We estimate the reach as a function of m(N) and m(WR). With root s = 13 TeV and 300/fb of integrated luminosity, the LHC can probe neutrino masses as high as approximately 30 GeV and m(wR) around 6 TeV. The reach goes up to 11.5 TeV with 3000/tb and m(N) similar to 45 GeV. This represents an improvement of a factor of 2 in sensitivity with respect to earlier work.

Abstract: We study discovery prospects for long-lived sterile neutrinos at the LHC with multitrack displaced vertices, with masses below the electroweak scale. We reinterpret current displaced vertex searches making use of publicly available, parametrized selection efficiencies for modeling the detector response to displaced vertices. We focus on the production of right-handed WR bosons and neutrinos N in a left-right symmetric model, and find poor sensitivity. After proposing a different trigger strategy ( considering the prompt lepton accompanying the neutrino displaced vertex) and optimized cuts in the invariant mass and track multiplicity of the vertex, we find that the LHC with root s = 13 TeV and 300 fb(-1) is able to probe sterile neutrino masses between 10 GeV < m(N) < 20 GeV ( for a right-handed gauge boson mass of 2 TeV < m(WR) < 3.5 TeV). To probe higher masses up to m(N) similar to 30 GeV and m(WR) < 5 TeV, 3000 fb(-1) will be needed. This work joins other efforts in motivating dedicated experimental searches to target this low sterile neutrino mass region.