Abstract: We study systematically the decomposition of the Weinberg operator at three-loop order. There are more than four thousand connected topologies. However, the vast majority of these are infinite corrections to lower order neutrino mass diagrams and only a very small percentage yields models for which the three-loop diagrams are the leading order contribution to the neutrino mass matrix. We identify 73 topologies that can lead to genuine three-loop models with fermions and scalars, i.e. models for which lower order diagrams are automatically absent without the need to invoke additional symmetries. The 73 genuine topologies can be divided into two sub-classes: normal genuine ones (44 cases) and special genuine topologies (29 cases). The latter are a special class of topologies, which can lead to genuine diagrams only for very specific choices of fields. The genuine topologies generate 374 diagrams in the weak basis, which can be reduced to only 30 distinct diagrams in the mass eigenstate basis. We also discuss how all the mass eigenstate diagrams can be described in terms of only five master integrals. We present some concrete models and for two of them we give numerical estimates for the typical size of neutrino masses they generate. Our results can be readily applied to construct other d = 5 neutrino mass models with three loops.

Abstract: Recently Gligorov et al. [V. V. Gligorov et al., Phys. Rev. D 99, 015023 (2019)] proposed to build a cylindrical detector named AL3X close to the ALICE experiment at interaction point (IP) 2 of the LHC, aiming for discovery of long-lived particles (LLPs) during Run 5 of the HL-LHC. We investigate the potential sensitivity reach of this detector in the parameter space of different new-physics models with long-lived fermions namely heavy neutral leptons (HNLs) and light supersymmetric neutralinos, which have both not previously been studied in this context. Our results show that the AL3X reach can be complementary or superior to that of other proposed detectors such as CODEX-b, FASER, MATHUSLA and SHiP.

Abstract: Proton decay is usually discussed in the context of grand unified theories. However, as is well known, in the standard model effective theory proton decay appears in the form of higher-dimensional non-renormalizable operators. Here, we study systematically the one-loop decomposition of the d = 6 B + L violating operators. We exhaustively list the possible one-loop ultraviolet completions of these operators and discuss that, in general, two distinct classes of models appear. Models in the first class need an additional symmetry in order to avoid tree-level proton decay. These models necessarily contain a neutral particle, which could act as a dark matter candidate. For models in the second class the loop contribution dominates automatically over the tree-level proton decay, without the need for additional symmetries. We also discuss possible phenomenology of two example models, one from each class, and their possible connections to neutrino masses, LHC searches and dark matter.

Abstract: Majorana neutrino mass models with a scale of lepton number violation of order tem-electron-volts potentially lead to signals at the LHC. Here, we consider an extension of the standard model with a colored octet fermion and a scalar leptoquark. This model generates neutrino masses at two-loop order. We make a detailed Monte Carlo study of the lepton number violating signal at the LHC in this model, including a simulation of standard model backgrounds. Our forecast predicts that the LHC with 300/fb should be able to probe this model up to color-octet fermion masses in the range of (2.6-2.7) TeV, depending on the lepton flavor of the final state.

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.