Reinterpretation of searches for long-lived particles from meson decays
Abstract
Many models beyond the Standard Model predict light and feebly interacting particles that are often long-lived. These long-lived particles (LLPs) in many cases can be produced from meson decays. In this work, we propose a simple and quick reinterpretation method for models predicting LLPs produced from meson decays. With the method, we are not required to run Monte-Carlo simulation, implement detector geometries and efficiencies, or apply experimental cuts in an event analysis, as typically done in recasting and reinterpretation works. The main ingredients our method requires are only the theoretical input, allowing for computation of the production and decay rates of the LLPs. There are two conditions for the method to work: firstly, the LLPs in the models considered should be produced from a set of mesons with similar mass and lifetime (or the same meson) and second, the LLPs should, in general, have a lab-frame decay length much larger than the distance between the interaction point and the detector. As an example, we use this method to reinterpret exclusion bounds on heavy neutral leptons (HNLs) in the minimal “3+1” scenario, into those for HNLs in the general effective-field-theory framework as well as for axion-like particles. We are able to reproduce existing results, and obtain new bounds via reinterpretation of past experimental results, in particular, from CHARM and Belle.
1 Introduction
With a lack of concrete discovery of heavy new fields inspired mainly by supersymmetry Nilles:1983ge ; Martin:1997ns at the LHC, increasingly more attention has been shifted in recent years towards light and feebly interacting new physics (NP). Such exotic form of NP often involves long-lived particles (LLPs)111See Refs. Alimena:2019zri ; Lee:2018pag ; Curtin:2018mvb ; Knapen:2022afb for some recent summary reviews. that perhaps have so far escaped LHC searches. LLPs are predicted in a wide range of models beyond the Standard Model (BSM), and usually motivated for solving issues in the Standard Model (SM) of particle physics, such as the non-vanishing neutrino mass and the nature of dark matter (DM). For instance, a class of the so-called “portal-physics” models predict heavy neutral leptons (HNLs), dark photons, dark Higgs, and axion-like particles (ALPs), that can be either promptly decaying or long-lived, and may connect our visible SM sector to a hidden sector of the DM.
LLPs can be produced via different channels at high-energy colliders, -factories, beam-dump experiments, and so on. For instance, they can be directly produced via beam collisions, e.g. electroweakino production at proton-proton colliders CMS:2020atg ; ATLAS:2022rme . LLPs can also originate from (rare) decays of mesons, electroweak gauge bosons, Higgs bosons, or perhaps heavy new particles. Testing all the different channels can usually allow for probing complementary parts of the model parameter space. In this study, we will focus on LLPs produced from mesons.
In fact, there exist a wide range of models predicting LLPs that can be produced from meson decays, such as HNLs, ALPs, and the lightest neutralino in R-parity-violating supersymmetry Dedes:2001zia ; Dreiner:2002xg ; Dreiner:2009er ; deVries:2015mfw . When an experiment publishes its results for a search, usually a certain model, say the HNLs in a minimal “3+1” scenario, is chosen to be interpreted for the experimental results. If the experimental search can, in principle, also constrain another model, traditionally a proper reinterpretation would require knowledge of the detailed signal-event chain topologies, of the main beam collisions, of the detector geometries and efficiencies, and of the cuts taken by the search. For instance, the recasting tool CheckMATE Drees:2013wra ; Kim:2015wza ; Dercks:2016npn can call programs such as MadGraph5 Alwall:2014hca or Pythia8 Sjostrand:2014zea to perform Monte-Carlo (MC) simulation including hadronization and showering, and Delphes3 deFavereau:2013fsa for fast detector simulation, followed by applying closely the experimental event-selection cuts, to determine if a parameter point of a model is excluded or allowed by the search. Or the tool SModelS Kraml:2013mwa ; Khosa:2020zar studies simplified model spectrum topologies and confronts them with the related experimental bounds, with no necessity to perform MC simulation.
For LLP searches, there are additional challenges for reinterpretation, as there are no standard definitions for LLP objects nor enough experimental information publicly available for LLP reconstruction in most cases LHCReinterpretationForum:2020xtr ; Alimena:2019zri ; Proceedings:2018het . Current efforts for addressing LLP reconstruction within standard tools include CheckMATE Desai:2021jsa , MadAnalysis Araz:2021akd , and SModelS Alguero:2021dig . Other recasting LLP simulation efforts include public repositories with specific long-lived particle searches as displaced vertices or disappearing charged tracks LLPrecastingRepo , as well as a dedicated new Delphes module to reconstruct displaced showers delphes_pr .
Here, we wonder, whether it is possible to conduct reinterpretation of LLPs from meson decays without running simulation, which is time-consuming, and also with no need to check and compare the details of the event topologies, nor the knowledge of the relevant collision and detector information; can we accomplish the job with only a computation of the LLPs’ production and decay rates? We find this is achievable under certain conditions, i.e. if the LLPs in different models have similar kinematics, e.g. all are produced from a set of mesons with similar mass and lifetime or the same meson (at the identical experiment), and have a lab-frame decay length much larger than the distance between the interaction point (IP) and the detector of the experiment.
It is impractical to consider all the possible models in one paper, and therefore we choose to restrict ourselves to the HNLs and ALPs only, for illustrative purposes. We will now briefly discuss the models we consider here. Firstly, HNLs are perhaps the most hunted candidate of LLPs, which are highly motivated for various reasons. They are fermionic SM singlets that mix with one, two, or all three species of the SM active neutrinos. They can explain the non-vanishing active neutrino masses in an elegant way by the so-called seesaw mechanism and its variations Minkowski:1977sc ; Yanagida:1979as ; Gell-Mann:1979vob ; Mohapatra:1979ia ; Schechter:1980gr ; Wyler:1982dd ; Mohapatra:1986bd ; Bernabeu:1987gr ; Akhmedov:1995ip ; Akhmedov:1995vm ; Malinsky:2005bi . In the minimal “3+1” scenario of the HNLs, there are only two types of parameters in the model, i.e. the HNL mass and mixing angles, controlling both production and decay of the HNLs. Oftentimes for the purpose of performing phenomenological studies, the HNLs are assumed to mix with only one generation of the active neutrinos, and hence constraints are obtained in a plane spanned by two independent parameters, the mixing angle and the mass. Even though this choice is unrealistic as neutrino oscillation data (see Refs. Capozzi:2021fjo ; Esteban:2020cvm ; deSalas:2020pgw for recent global analyses) requires at least two massive HNLs, it is a useful minimal choice to characterize a possible experimental signal. At beam-dump experiments such as CHARM CHARM:1985nku , HNLs can arise from weak decays of various mesons that are copiously produced there. -factories including Belle Belle:2013ytx and BaBar BaBar:2022cqj have also obtained bounds for HNLs from -meson decays. Moreover, in recent years, a series of far-detector programs have been proposed (with some already approved) to be operated in the vicinity of different IPs at the LHC, aiming mainly to detect displaced-vertex signatures of LLPs. These include FASER Feng:2017uoz ; FASER:2018eoc , MATHUSLA Curtin:2018mvb ; Chou:2016lxi ; MATHUSLA:2020uve , and MoEDAL-MAPP Pinfold:2019nqj ; Pinfold:2019zwp , among others. Since the production rates of mesons at the LHC are huge, these experiments are estimated to be highly sensitive to LLPs from meson decays. Phenomenological studies on the exclusion limits of these far detectors on the HNLs in the minimal case can be found e.g. in Refs. Helo:2018qej ; Kling:2018wct ; Hirsch:2020klk ; Curtin:2018mvb ; Ovchynnikov:2022its ; Aielli:2019ivi ; DeVries:2020jbs .
Beyond the minimal scenario, HNLs also appear in other BSM models that often extend the SM with new gauge groups. Examples include models with an extra gauge group predicting a new gauge boson Chiang:2019ajm , and leptoquark models predicting heavy leptoquark particles Dorsner:2016wpm . In this class of models, the production and decay of the HNLs are usually mediated by two independent parameters, respectively, besides the HNL mass. If HNLs have masses around the weak scale and other new particles are much heavier, the effects of NP at low energies can be described in terms of the Standard Model effective field theory extended with HNLs, known as SMEFT delAguila:2008ir ; Aparici:2009fh ; Liao:2016qyd . In the SMEFT, one writes down non-renormalizable operators including one or more HNLs in the Lagrangian and the operator coefficients are associated with the NP scale, usually labeled as . For GeV-scale HNLs produced in meson decays, the appropriate description is provided by the low-energy effective field theory extended with HNLs, LEFT Bischer:2019ttk ; Chala:2020vqp ; Li:2020lba ; Li:2020wxi , in which heavy SM degrees of freedom (namely, the top quark, the Higgs and and gauge bosons) are not present. In this paper, we will adopt this framework and will show how the bounds on the HNLs in the minimal scenario can be translated to those on the Wilson coefficients of the LEFT. For simplicity, for the HNLs in either the minimal scenario or effective-field-theory (EFT) scenarios, we will study their association with a charged lepton or active neutrino of the electron flavor only.
Besides the HNLs, there are other possible LLPs that may be produced from meson decays, such as ALPs. ALPs are the pseudo-Nambu-Goldstone bosons associated with an approximate global symmetry that is spontaneously broken at a high scale . They are mainly motivated as DM candidates Preskill:1982cy ; Abbott:1982af ; Dine:1982ah ; Panci:2022wlc , and their mass and couplings are independent and can range across orders of magnitude Kim:2015yna ; DeMartino:2017qsa ; Rubakov:1997vp . At low energies, the ALP interactions are described by the corresponding EFT Georgi:1986df ; Choi:1986zw . This theory has gained significant attention in recent years, see e.g. Refs. Brivio:2017ije ; Chala:2020wvs ; Bauer:2020jbp ; Bauer:2021mvw ; MartinCamalich:2020dfe ; Calibbi:2020jvd , in part because of the lack of observation of NP at the LHC. The (pseudo-)Goldstone nature of the ALP manifests itself in its derivative couplings to SM fermion currents. In particular, the flavor off-diagonal couplings to up (down) quarks can trigger the decays of ()-mesons to a lighter meson and the ALP. The latter can be long-lived, decaying e.g. via its couplings to charged leptons, cf. Ref. Dreyer:2021aqd . In this work, we will show how the searches for HNLs in the minimal scenario can constrain the parameter space of the ALP EFT.
Since all these LLPs are produced from meson decays, they should have similar kinematics, as long as they come from a set of similar mesons such as -mesons (, and ) or only -mesons (, and ), or even the same meson, at the same experiment. This is legitimate because the LLPs stemming from mesons of similar masses and lifetimes are expected to have similar boost factor and polar angle distributions and hence similar decay probabilities in the detector, given the same LLP proper lifetime and mass.222The spin of the LLP, the number of LLPs in each signal meson decay, as well as whether the meson decay is two-body or three-body, should have an impact on the distribution. However, as we will see when we discuss numerical results, this impact is small. Therefore, we do not discuss it in detail here. Moreover, from the experimental exclusion limit point of view, the small coupling regime (or heavy NP scale) is almost always harder to probe than the large coupling one (or light NP scale), and in the small coupling regime, the LLPs are usually very long-lived given their small masses as required by kinematic constraints (production from meson decays). Therefore, our requirements for the simple reinterpretation as mentioned above are fulfilled most of the time, for the LLPs originating from mesons. In this work, as a proof-of-principle example, we will show how to reinterpret bounds on the minimal HNL scenario (in the plane mixing angle vs. mass) produced from charm and bottom meson decays, into the model-parameter planes of (i) the LEFT and (ii) the ALP EFT. For the LEFT, we will consider operators that include either one or two HNLs, i.e. single- or pair- operators.
In the next section, we elaborate on the reinterpretation method we propose for LLPs produced from meson decays. Sec. 3 contains a brief introduction to both the past and future experiments we consider, as well as relevant experimental bounds for the theoretical scenarios we are studying in this work. Then in Sec. 4, we show the results of reinterpreting the sensitivity limits on HNLs in the minimal scenario into HNLs in the EFT and into ALPs. Finally, we discuss the advantages and limitations of the proposed reinterpretation method and provide an outlook, in Sec. 5.
2 Reinterpretation method
To explain the reinterpretation procedure, we start with a general discussion on searches for the HNLs in the minimal scenario. First, once an experimental search for the minimal HNL scenario is finished, say, without a discovery, the (or sometimes ) confidence level (C.L.) exclusion limits corresponding to a certain number of signal events, , are determined according to the numbers of observed events and expected background events. These bounds can be converted to model parameters with the following formula,
(1) |
where is the total number of HNLs produced from certain meson decays, is the product of the detector acceptance and efficiencies, and is the decay branching ratio of the HNLs into certain final states visible/detectable/observable in the detector chamber. and BR can just be computed from the model parameters, mixing angle squared and mass , and should be determined by a proper simulation together with the computation of the proper lifetime of the HNL, , from and . Thus, the experimental search can obtain bounds in the plane vs. . Therefore, from the published results of the experimental search, we obtain a three-dimensional (3D) array of data in , with fixed at a certain single value (e.g. for C.L. exclusion limits with zero observed event) and and varying. Alternatively, if we could perform the simulation including the experimental event-selection cuts by ourselves, we could also obtain another set of 3D data for the same set of variables, but with fixed at a certain value, and and varied.
Now, assuming the HNLs are in the large decay length limit, such that its boosted decay length, , with being the HNL total decay width, is much larger than the distance from the detector to the IP, would be simply linearly proportional to the total decay width of the HNL, in general. This can be understood as follows. is proportional to the detector acceptance to the HNL, , which can be essentially expressed with the following formula:
(2) | |||||
where is the distance from the IP to the detector, is the length inside the detector that the HNL traverses if it does not decay inside the detector, and the second-last equality holds for . One sees that in the large decay length limit, the exponential decay distribution can be approximated as linearly proportional to the HNL total decay width. As a result, we can derive from Eq. (1) the following relation:
(3) |
where the last equality stands because where denotes the sum of partial widths of the HNLs into visible final states. Now considering the HNLs in the LEFT, we can write a similar relation,
(4) |
where the primed variables are the EFT-counterparts of those in Eq. (3). We assume for now that the production and decay Wilson coefficients are different in the LEFT. Note that the same relation can also be written for other types of LLPs than the HNLs, such as the ALPs, but we will stick to the HNLs in the EFT in the rest of this section, for convenience of discussion.
Here, we should comment that as long as we work in the large decay length limit, and the HNLs in both cases are produced from the same type of mesons (-mesons only or -mesons only, for instance), the kinematics of the HNLs in the two cases are sufficiently similar so that we can ignore the differences for our purpose and assume that the proportionality is shared between Eq. (3) and Eq. (4). This allows us to take the ratio of Eq. (3) to Eq. (4) and to reach the following relation:
(5) |
or equivalently,
(6) |
We further note that in a commonly seen case where , Eq. (6) can be simplified to be:
(7) |
As discussed above, we already have a list of 3D data in . For each , the corresponding value of allows to compute and . Further, is known, and is usually either equal to or can be determined from the experimental search depending on the final states of the LLP decays. As a result, for the LEFT case, once we fix the production Wilson coefficient determining , we can derive with the usage of Eq. (6) or Eq. (7). It is then a straightforward exercise to convert these bounds on into the corresponding bounds on the decay Wilson coefficient in the LEFT.
We stress again this approximation holds only if in both the minimal scenario and the LEFT scenario:
-
1.
the HNLs are produced from the same type of mesons, ensuring the same kinematics, and
-
2.
the HNLs are long-lived relative to the detector distance from the IP, ensuring working in the linear regime for the exponential decay distributions.
In the procedure above, it has been assumed that the production and decay couplings of the LLP in the new model (the ALP and HNL in the EFTs as in this work) are unrelated. However, it is also often the case that they are related. Labeling these two Wilson coefficients as and , we discuss briefly here, without loss of generality, the case that they are equal: . We first fix a value for and derive a limit on following the algorithm given above. In the general case, the derived value of is unequal to . We notice the fact that if we chose a value of larger (smaller) by a random positive number , we would obtain a bound on stronger (weaker) also by , assuming the production and decay rates of the LLP are proportional to and , respectively. This means if we multiply by to reach the geometric mean of and , this new production coupling would lead to a new bound on of equal value. We emphasize again that all the manipulation here works only if the boosted decay lengths of the LLPs in the relevant parts of the parameter space are sufficiently large.
3 Experiments
In this section, we provide details of existing searches to be recast with our reinterpretation method, as well as comment on existing upper limits on the branching ratios of (semi-) invisible decays of - and -mesons. The latter will provide strong constraints on the couplings in our selected benchmark scenarios. Additionally, we briefly describe the future LLP far detectors, whose sensitivities to the minimal HNL scenario will be reinterpreted into the LEFT and the ALP EFT in Sec. 4.
3.1 Past experiments
Several past experiments can place constraints on HNLs and ALPs (see e.g. Refs. Boiarska:2021yho ; Barouki:2022bkt ). A summary of bounds in the minimal HNL scenario can be found e.g. in Ref. hnl_limits . In this section, we concentrate on three past experiments, which can provide stringent bounds on LLP masses between roughly 0.1 and 5 GeV. We discuss each particular case below.
-
•
CHARM: HNLs can be produced from -mesons in semi-leptonic decays (from charged and neutral ’s) and via leptonic decays of charged ’s, see e.g. Ref. Bondarenko:2018ptm . For the minimal HNL scenario with HNL mixing in the electron sector, and for HNL masses between the kaon and the mass, the strongest constraint comes from the CHARM beam-dump experiment CHARM:1983ayi ; CHARM:1985nku , where a prompt neutrino beam was produced at CERN SPS by dumping 400 GeV protons on a thick copper target. Searches for decays of HNLs were performed within a detector decay region of 35 m length and 9 m2 surface area. The detector was located 480 m away from the copper target. The values of active-heavy mixing as small as for GeV were probed.
In the experimental analysis CHARM:1985nku , HNLs were searched for in the leptonic decays of and semi-leptonic decays of both and . We consider all two and three body decays of both and ,333We note that Ref. CHARM:1985nku assumed a ratio of in the estimates of the HNL production. We follow this choice when computing and for both the EFT HNL and ALP scenarios. In addition, Ref. Boiarska:2021yho claims that HNL production from decays was not included in the CHARM search CHARM:1985nku . We therefore neglect the contributions, which would be negligible anyway for the relatively small fragmentation factor of . where decays further via mixing in the electron sector as i) or ii) . These modes lead to signatures with i) two separated electromagnetic showers and ii) one electromagnetic shower and one -track, originating in the decay region. As the experimental signatures require at least two charged leptons from decays, we do not recast the CHARM search for the single- scenarios. However, the search is directly applicable to the scenario in which HNLs are produced through pair- effective operators and subsequently decay via standard mixing with the active neutrinos, as well as the ALP scenario where the ALP decays to a pair of charged leptons.
-
•
Belle: HNLs can also be searched for in leptonic and semileptonic -meson decays. The Belle experiment, which was operated at the KEKB collider mainly at the center-of-mass energy of 10.58 GeV (mass of the resonance), searched for HNLs mixed in the electron sector through semi-leptonic two-body decays Belle:2013ytx . All two- and three-body decays of mesons ( and )444Belle runs at the resonance which decays to with a branching ratio of 51.4% and to with a branching ratio of 48.6% ParticleDataGroup:2022pth . were considered. The search relies on the identification of a (prompt) charged lepton, and of a pion and a ‘signal’ lepton with opposite charges arising from a common displaced origin. The maximum sensitivity achieved for an HNL mass around 2 GeV is . As the analysis strategy relies on identification of a prompt lepton coming from the -meson decay, limits from this search are not applicable to meson decays triggered by the pair- effective operators or by the quark-flavor-violating (QFV) ALP effective couplings in association with a lighter meson.
Belle also searched for the rare decays with , , , , , , , with full luminosity of 711 fb-1 Belle:2017oht . The search strategy includes the reconstruction of an accompanying -meson decaying semi-leptonically (i.e. -tag). An updated search at Belle II operating at the SuperKEKB for was performed with a different tagging method that exploits the inclusive decay of the other meson in the event Belle-II:2021rof . Nevertheless, this last search provides a less stringent bound compared to Belle:2017oht , owing to the lower search luminosity of 63 fb-1. These existing upper limits on branching ratios will apply if the HNL decay products are not detected. We will consider them in the next section, when discussing bounds on the Wilson coefficients of interest.
-
•
BaBar: For completeness, the BaBar experiment at SLAC has also searched for rare decays and BaBar:2010oqg ; BaBar:2013npw with a similar strategy as Belle, by reconstructing a recoiled -meson decaying semileptonically to . BaBar has also placed a more stringent limit with an hadronic tag for in Ref. BaBar:2010oqg . However, we consider the Belle one in Belle:2017oht in our calculations in order to be conservative. BaBar has also searched for a dark photon directly in events with large missing transverse momenta and a single photon BaBar:2017tiz . This search can also be recast into bounds on the ALP-electron coupling relevant to our ALP scenario, although the limits are weak compared to other current bounds, so we do not include them in numerical studies.
In the following sections, the existing HNL searches at CHARM CHARM:1985nku and Belle Belle:2013ytx are reinterpreted with the proposed method in the EFT with HNLs and that of ALPs. In Table 1, we summarize to which of the benchmark scenarios considered in Sec. 4 each past search is sensitive. For completeness, we also list the current bounds on branching ratios of rare meson decays we will use. Current bounds on the ALP coupling are also shown.
Past HNL search | Sensitivity to |
---|---|
CHARM CHARM:1985nku | pair-: 2HNL-D1, 2HNL-D2 and ALP-D |
Belle Belle:2013ytx | single-: 1HNL-B1, 1HNL-B2 |
ALP bounds | Sensitivity to |
Supernovae Ferreira:2022xlw | : ALP-D, ALP-B |
E137 Essig:2010gu | : ALP-D, ALP-B |
Decay | Limit on BR |
inv. Belle:2016qek | |
BESIII:2021slf | |
inv. BaBar:2012yut | |
Belle:2017oht | |
Belle:2017oht | |
Belle:2017oht |
3.2 Future LHC far detectors
Rather new LLP far detectors are already approved at the LHC: MoEDAL-MAPP1 Pinfold:2019nqj and FASER Feng:2017uoz . Their follow-up programs are also proposed to be operated with different integrated luminosities at the high-luminosity LHC (MoEDAL-MAPP2 Pinfold:2019zwp with fb-1 and FASER2 FASER:2018eoc with ab-1). Other experimental proposals include MATHUSLA Chou:2016lxi ; Curtin:2018mvb ; MATHUSLA:2020uve , ANUBIS Bauer:2019vqk , CODEX-b Gligorov:2017nwh , and more recently FACET Cerci:2021nlb . All these proposed detectors would be sensitive to detecting light long-lived particles decaying m, depending on their corresponding distance from the interaction point (IP). As being more than several meters away from the primary proton-proton collisions ensures a very low background environment, usually when assessing phenomenological prospects at these experiments, the assumption of a background free experiment is made when deriving C.L. upper limits on the model parameter space (corresponding to ).
Sensitivity estimates at these detectors were provided in detail in Ref. DeVries:2020jbs for the minimal HNL scenario and for -LEFT operators with one HNL. In addition, in Ref. Beltran:2022ast estimates for pair- operators were studied. All details on the Monte-Carlo simulations and computation of decay probabilities at each experiment can be found in Refs. DeVries:2020jbs ; Beltran:2022ast . Nevertheless, we highlight here some key aspects of the simulation procedure.
Decay probabilities of each simulated HNL take into account the far detector geometry and the HNL kinematics. These are estimated with the help of Pythia8 Bierlich:2022pfr ; Sjostrand:2014zea , which we use to generate the production of - and -mesons from proton-proton collisions at TeV at the LHC. The mesons then decay to different channels that contain either one or two HNLs. The meson decay branching ratios are computed analytically and fed into our Monte-Carlo simulation to compute the projected number of signal events, . This quantity also depends on the expected acceptance rate at each far detector experiment (i.e. defined as the average in Eq. (4.1) of Beltran:2022ast ) (labeled as in Eq. (2)). The exponential decay probability of each HNL in a detector generally depends on its boost factor including the traveling direction, its proper lifetime, and the detector location and geometries. Specific formulas that encapsulate the complicated geometrical shapes of each detector are detailed in Refs. DeVries:2020jbs ; Beltran:2022ast ,555In Ref. Beltran:2022ast , we add projections at FACET, which were not included in Ref. DeVries:2020jbs . and we strictly follow their procedure in this work for obtaining the projected limits in Fig. 1.
4 Example models
The minimal “3+1” scenario assumes the existence of one HNL, , that mixes with the active neutrinos , . The interaction Lagrangian of interest reads
(8) |
where is the gauge coupling, is the weak mixing angle, is active-heavy mixing, whereas is active-light mixing (the PMNS mixing matrix). The sum over and is implied. Note that we have neglected the terms quadratic in . Production and decays of the HNL are governed by its mass and the mixing angles . In phenomenological studies, it is often assumed that the HNL mixes with one active flavor at a time. In this case, the model is characterized just by two independent parameters, mass and mixing . For this work, we focus on the mixing with the electron neutrino only. Most of the searches for HNLs are interpreted in the framework of this simple model. For a generalization to the case of several HNLs, see e.g. Refs. Abada:2018sfh ; Abada:2022wvh . Using the method formulated in Sec. 2, we will translate the bounds on the parameter space of the minimal scenario to the constraints on other (non-minimal) scenarios. We will consider two examples featured with long-lived fermions and (pseudo-)scalars, respectively: (i) the EFT with HNLs and (ii) ALPs.
In Fig. 1, we present bounds on the HNLs in the minimal scenario which dominantly mix with the electron neutrino, shown in the plane vs. . The left and right plots contain results for the HNLs produced from rare decays of - and - mesons, respectively. In both plots, the exclusion limits of the LHC far detectors are at 95% confidence level for 3 signal events with vanishing background, obtained by MC simulation following the procedures given in Refs. DeVries:2020jbs ; Beltran:2022ast . In the right plot, we have included results from the Belle experiment Belle:2013ytx with 711 fb-1 integrated luminosity, and in the left, the results are overlapped with the existing bounds obtained at CHARM CHARM:1985nku , since these two experiments gave the leading bounds on the minimal HNLs produced from - and -mesons’ decays, respectively.


For the far detectors, as we have performed MC simulations, we have three-dimensional data sets of , across the whole kinematically allowed mass range. For this 3D dataset, we fix to a small value such as , in order to ensure working in the large decay length limit. However, for the existing bounds from Belle and CHARM, we do not have this full simulation information and can hence only make use of the published exclusion limits directly. These datasets then allow us to perform reinterpretation into other models, such as the HNLs in the EFT, and ALPs, which are produced from bottom or charm meson decays.
4.1 Effective field theory with HNLs
The SM extended by HNLs with masses below or around the electroweak scale should be viewed as an EFT, assuming heavy new physics exists at a scale . Such an EFT is known as the SMEFT delAguila:2008ir ; Aparici:2009fh ; Liao:2016qyd . In this work, we are interested in GeV-scale HNLs produced in meson decays, and the suitable EFT is the LEFT Bischer:2019ttk ; Chala:2020vqp ; Li:2020lba ; Li:2020wxi , in which the heavy SM degrees of freedom (namely, the top quark, the Higgs boson, and the and gauge bosons) are not present. The Lagrangian of this EFT reads
(9) |
where is the renormalizable part of the Lagrangian (see e.g. Eq. (2.1) in Ref. Beltran:2022ast ), are the Wilson coefficients of higher-dimensional operators , and the second sum goes over all independent operators of a given mass dimension . The dimensionful coefficients scale as .
We will focus on four-fermion operators with two quarks and either two or one , since these contact interactions can mediate meson decays into HNLs. In Table 2, we summarize the pair- operators, assuming one generation of HNLs. Each of these operators carries quark flavor indices and . The last column indicates the number of independent real parameters associated with each operator structure. We recall that in the LEFT, there are three generations of down-type quarks and two generations of up-type quarks.
LNC operators | ||
---|---|---|
Name | Structure | # params |
9 | ||
4 | ||
9 | ||
4 |
LNV operators | ||
---|---|---|
Name | Structure | # params |
18 | ||
8 | ||
18 | ||
8 |
In Table 3, we list the single- operators with two quarks and a charged lepton. In addition to two quark flavor indices and , these operators also carry a lepton flavor index . Assuming one generation of , each operator structure encodes 36 independent real parameters.
LNC operators | |
---|---|
Name | Structure |
LNV operators | |
---|---|
Name | Structure |
4.1.1 Four-fermion pair- operators
While the pair- operators may enhance the production of HNLs in meson decays, they do not trigger HNL decays (for one generation of HNLs). Under the assumption that no other non-renormalizable interaction is present, HNLs decay via mixing with active neutrinos. Such a setup has been recently investigated in detail in the context of future LLP detectors at the LHC Beltran:2022ast . Similarly, here we assume this mixing is with the electron neutrinos only. For the far detectors, we compute the HNL visible decay width as including all the channels except the fully invisible ones (tri-neutrino), and for the CHARM search, we take into account only the purely leptonic channels with two charged leptons.
Each of the pair- operators carries quark flavor indices and , e.g. , with or . The operator induces as well as a series of three-body decays , with denoting a lighter pseudoscalar (vector) meson. Similarly, () triggers () and a number of decays. The same applies for the scalar-type operators given in the right panel of Table 2 and the operators with different chiralities (). As an example, we will restrict ourselves to some of these operators. The chosen benchmarks are listed in Table 4.
Benchmark | Production modes | Decay modes | ||
---|---|---|---|---|
2HNL-D1 | All decay modes via active-heavy mixing, see e.g. Ref. Bondarenko:2018ptm . | |||
2HNL-D2 | ||||
2HNL-B1 | All decay modes via active-heavy mixing, see e.g. Ref. Bondarenko:2018ptm . | |||
2HNL-B2 | ||||
For the computation of the corresponding branching ratios, we refer the reader to Ref. Beltran:2022ast .






We show the reinterpretation results in Fig. 2, Fig. 3, and Fig. 4. These are shown either in the plane with the Wilson coefficients fixed at 0.001 (Fig. 2), or in the plane for (Fig. 3 and Fig. 4) with denoting the Wilson coefficients. For the far detectors, we extract the full simulation results (solid lines) from Ref. Beltran:2022ast and compare them with our reinterpreted ones (dashed lines). Further, since the HNLs can decay to leptonic final states via mixing, the CHARM search CHARM:1985nku is sensitive to the two -meson benchmarks. On the other hand, as the Belle search Belle:2013ytx requires a prompt lepton, it is insensitive to the two -meson benchmarks. We find that for all the far detectors, the simulated and reinterpreted exclusion limits agree with each other very well in general, with very few exceptions. For instance, in the plots in the left column of Fig. 4, the reinterpreted bounds for ANUBIS and MATHUSLA are slightly too strong compared to the simulated ones. This arises because for and GeV, the HNLs are not long-lived enough in the lab frame, compared to the distance of MATHUSLA from the CMS IP, impairing the approximation that our reinterpretation method takes to some extent. For ANUBIS, similar behavior is observed, because of the relatively small pseudorapidity position of the detector and hence the small boost of the sterile neutrinos in the direction. We place markers on the MATHUSLA and ANUBIS curves for , roughly where our recasting method’s approximation breaks down. Moreover, for the two -meson benchmarks, we find the reinterpreted CHARM search imposes exclusion limits comparable to those from MAPP1. We stress here that our reinterpreted bounds are valid only for the large decay length limits, and hence do not work for the large regime in Fig. 2.
4.1.2 Four-fermion single- operators with a charged lepton
In contrast to the pair- operators, the same single- operator structure can mediate both HNL production and decay if two Wilson coefficients with different quark flavor indices are simultaneously present. Such a scenario for some of the operators given in Table 3 has been studied in Ref. DeVries:2020jbs in the context of future far detectors at the LHC. Namely, the operators that arise from single- operators in the SMEFT have been considered. In the notation of Ref. DeVries:2020jbs , we have (see Eqs. (8), (18) and (19) therein):
(10) | |||||
(11) | |||||
(12) |
where the approximate equalities hold in the limit of negligible active-heavy mixing. Following the matching conditions given in Eq. (11) of this reference, the VLR and VLL operators arise from the fermion-boson operators in the SMEFT, whereas the remaining four operators are generated by the SMEFT four-fermion operators.
In Ref. DeVries:2020jbs , two scenarios have been considered: (i) a leptoquark (LQ) model leading to and (ii) a scenario motivated by left-right symmetric models for which . Several benchmarks depending on the quark flavor indices of the operators responsible for HNL production and decay have been analyzed. As an example, we choose benchmarks 1 and 3 from Ref. DeVries:2020jbs . We rename benchmark 1.2 (1.3) as 1HNL-D1 (1HNL-D2) and benchmark 3.2 (3.3) as 1HNL-B1 (1HNL-B2). They are shown in Table 5.
Benchmark | Production modes | Decay modes | ||
---|---|---|---|---|
1HNL-D1 | ||||
1HNL-D2 | ||||
1HNL-B1 | ||||
1HNL-B2 | ||||
For the computation of the corresponding branching ratios of meson and HNL decays, we refer the reader to Ref. DeVries:2020jbs .
The reinterpretation results are given in Fig. 5 and Fig. 6, for the two benchmark scenarios, respectively. Here, we assume that the minimal mixing is vanishing, and the production and decay of the HNLs are solely induced by the two single- operators switched on in each benchmark; this is somewhat different from the approach taken in Ref. DeVries:2020jbs where the full simulation method was used and the minimal mixing was taken to be equal to as a representative value leading to the HNL participation in weak interaction with the mixing. Since we assume vanishing , our results show discrepancies from those shown in Ref. DeVries:2020jbs in certain parameter regions. For example, our curves have no sensitivity below the pion mass threshold. Therefore, we only show the reinterpreted exclusion limits (with dashed lines), but not the full simulated results; comparison can nevertheless be performed by cross-checking various parameter points against the plots given in Ref. DeVries:2020jbs . In Fig. 5 containing results for HNLs produced from -meson decays, we consider only the LHC far detectors since the CHARM search CHARM:1985nku requires leptonic final states while the HNLs in this benchmark decay to , where the charged pion was not searched for in Ref. CHARM:1985nku . However, for the -meson benchmarks (1HNL-B1 and 1HNL-B2), the Belle search Belle:2013ytx can be recast into bounds, as these benchmarks have a prompt electron from -decays and their final states were also searched for in Ref. Belle:2013ytx . Here, we take into account both and meson contributions. These new results are shown in Fig. 6 (orange for Belle). We observe that the reinterpreted Belle bounds are rather weak and only comparable to those of FASER in the plotted mass range;666In principle, if the production and decay EFT couplings are decoupled as in the case of the upper plots of Fig. 6, these experiments including Belle should be sensitive to the whole kinematically allowed mass range. However, since without a simulation for the minimal-scenario search at Belle we can only make use of the published exclusion limits for the reinterpretation, our method gives results covering only the mass range shown in the minimal-scenario bounds. all the other far detectors can probe new parameter space.
In general, for the parameter regions where the effect from the non-zero mixing angle is negligible, we find excellent agreement between our reinterpreted exclusion limits and the results given in Ref. DeVries:2020jbs , with a single exception: in the lower plots of Fig. 6 shown in the plane vs. , our reinterpretation results for FASER are sensitive across the whole kinematically allowed mass range, while the corresponding curves worked out with a full simulation in Ref. DeVries:2020jbs have a slightly smaller upper mass reach; we over-estimate the sensitivities to some extent with the reinterpretation method. Indeed, this can happen if the production and decay couplings are related. However, in the case that they are decoupled, the whole kinematically allowed mass range is usually covered by the exclusion bounds, and this issue would not arise.
Before we close this subsection, we shall mention again that our reinterpretation only works for long decay length, and therefore, for instance, in Fig. 5 and Fig. 6, there are only lower parts of the sensitivity curves and the upper parts are absent; as the upper curves would correspond to the promptly decaying regime.


4.2 Axion-like particles
Another example, which may feature LLPs produced in meson decays, is the low-energy EFT of ALPs Georgi:1986df ; Choi:1986zw . This theory has received significant attention in recent years (see e.g. Refs. Brivio:2017ije ; Chala:2020wvs ; Bauer:2020jbp ; Bauer:2021mvw and the references therein). The low-energy Lagrangian for the ALP to reads
(13) |
where denotes the ALP mass; runs over , , , ; goes over , , ; and the dots stand for the couplings of the ALP to anomalous gauge currents. This Lagrangian is approximately invariant under the shift symmetry, .777The shift symmetry is broken by the ALP mass term and the gauge anomalous couplings.
We will focus on flavor off-diagonal ALP couplings to quarks and flavor-diagonal couplings to charged leptons, as a representative benchmark for our study. For the latter, only the coupling to the axial-vector current is relevant.888Upon integrating by parts and applying the equation of motion for a fermion field, the coupling to the vector current reduces to a total derivative. Namely, for charged leptons , , , we have
(14) |
For , this coupling triggers the decay with the decay rate Bauer:2017ris
(15) |
Concerning the quark flavor indices, we will consider two possibilities: (i) up-type quarks with and leading to the transitions, i.e. and , and (ii) down-type quarks with and realizing the transitions, i.e. and . The corresponding decay rates read Bauer:2021mvw :
(16) | ||||
(17) |
where and are the corresponding form factors defined in Ref. Wirbel:1985ji , and
(18) |
The numerical factors and are different from 1 only in some transitions involving neutral mesons. In particular, we have for , for and , and for and , whereas for and . For and , we have
(19) | ||||
(20) |
For and , we have instead,
(21) | ||||
(22) |
In the numerical study, we will assume that either or , such that a single coupling controls both and decays. The considered benchmarks are shown in Table 6.
Benchmark | Production modes | Decay modes | ||
ALP-D | ||||
ALP-B | ||||
The charge-conjugated channels are included in the computation.
We take the transition form factors from Ref. Lubicz:2017syv for and and from Ref. Ivanov:2019nqd for the other -meson decays listed in Table 6. For the -meson decays, we use from Ref. Aoki:2021npn for and from Ref. Wu:2006rd for ; we extract from Ref. Bharucha:2015bzk for and . In all these cases we evaluate the form factors at . For more details on the form factors used, we refer the reader to Appendix A.3 of Ref. Beltran:2022ast .999We note that used here is related to the form factors employed in Ref. Beltran:2022ast as




Further, to obtain the current upper bounds on and , we consider the strongest existing experimental limits on the decay branching ratios of and , while currently there is no measurement of the decay branching ratios of and . BESIII BESIII:2021slf reports an upper bound of on BR at 90% C.L., and Belle Belle:2017oht gives upper bounds of on BR and on BR at 90% C.L.. In numerical studies, we multiply the latter by 2 to reach a bound of on BR. Plugging these numbers into Eq. (16) for various possible ALP masses, we derive upper bounds on the QFV couplings and . At the end, conservatively, we choose to take TeV-1 and TeV-1 for our numerical analysis. In Fig. 7, we display the branching ratios of the - and -meson decays discussed above, fixing the corresponding couplings to these values. 101010For the LEFT scenario with pair- operators discussed in Sec. 4.1.1, similar plots are given in Figs. 2 and 3 of Ref. Beltran:2022ast , whereas for the scenario with single- operators considered in Sec. 4.1.2, the reader is referred to Fig. 2 of Ref. DeVries:2020jbs . As for current bounds on the coupling , we extract supernovae limits from Ref. Ferreira:2022xlw , beam-dump bounds from Ref. Essig:2010gu ; Bjorken:1988as , as well as -factory bounds from BaBar BaBar:2017tiz ; Darme:2020sjf . The first two are shown in gray in Fig. 8, while the latter are not because they are too weak.
Following the reinterpretation method spelled out in Sec. 2, we show our results in Fig. 8, in the plane vs. , fixing and at the above-mentioned values.


The left and right plots are for the benchmarks ALP-D and ALP-B, respectively. For the charm scenario, we have studied not only the LHC far detectors, but also the CHARM search CHARM:1985nku which focuses on leptonic final states, while for the bottom scenario, we only take into account the far detectors, as the Belle search Belle:2013ytx requires a prompt lepton which is absent in the current case. As expected, the CHARM limits are comparable to those of MAPP1.
In the upper parts of these plots, the ALPs become too short-lived to decay inside the considered detectors and therefore, the sensitivity curves should close up at the top. However, as emphasized before, our reinterpretation method only works in the large decay length limit, and these “prompt bounds” are hence missing.
Finally, we comment that from the plots in Fig. 8, it is, in principle, possible to derive bounds on the production couplings and , given a different value of than those shown in Fig. 8, as long as the ALP lab-frame decay length is still larger than the distance between the IP and the detector. For instance, the left plot of Fig. 8 shows that with TeV-1, MATHUSLA is sensitive to TeV-1 for GeV. For another value of , say, TeV-1, we easily see that this corresponds to a decay length smaller (larger) by a factor of 100, and hence a bound of () TeV-1 on . Note that these bounds will be complementary to those derived in Ref. Bauer:2021mvw .
5 Discussion and summary
In this work, we have proposed a simple reinterpretation method for searches for long-lived particles (LLPs) produced in rare meson decays, and applied the method to reinterpret heavy neutral leptons (HNLs) in the minimal scenario mixing with electron neutrinos only, into HNLs or axion-like particles (ALPs) in different effective field theories (EFTs).
Our method allows for simple and fast reinterpretations, where no simulation, or at most simulation for only one theoretical scenario, is required, as long as the following two conditions are satisfied: i) the LLPs in different theoretical scenarios possess similar kinematics (e.g. all are produced from the same type of mesons or the same meson), and ii) the relevant parameter regions correspond to large decay length regime compared to the distance between the detector and the interaction point (IP). Other factors could also affect the results, such as the spin of the LLP and the number of decay products associated with the LLP production, but they have only minor effects and are hence neglected. Thus, with only knowledge of the production and decay rates of the LLPs, one can easily perform the reinterpretation.
In this work, for the illustrative purpose of demonstrating the reinterpretation method, we have chosen the minimal HNLs produced from charm and bottom meson decays separately, as the base model, from which we derive bounds on EFT HNLs and ALPs, which can also be produced from these mesons’ decays. For pair- operators, the HNLs are produced in pair via these EFT operators and decay via mixing with the electron neutrino. For single- operators, we consider HNLs produced and decaying via two EFT operators of the same spinor structure but different quark flavor indices, assuming vanishing mixing with the active neutrinos. Finally, for the ALPs, we study two benchmark scenarios, assuming a non-vanishing quark-flavor-violating coupling in each scenario leading to the ALP production, and a simple ALP coupling to a pair of electrons giving rise to the decay at tree level. We have focused on a series of proposed LHC far detectors such as FASER and MATHUSLA, and in addition recast two existing searches at CHARM and Belle. For the HNLs in the EFTs, we compare our reinterpreted bounds with those published in the literature, and find generally excellent agreement. Very few discrepancies arise, when the limits correspond to decay lengths that are not large enough, or when we relate the production and decay couplings; the reinterpretation method would be slightly off from the full-simulated results in these cases.
While in general the reinterpretation method shows excellent performance, it has its drawbacks. Firstly, it is valid only in the large decay length limit and breaks down if the LLPs decay promptly, and hence the prompt-regime bounds for the LLPs cannot be obtained this way. Further, since no full simulation is performed, minor effects such as the LLP’s spin are missing, which could alter the bounds slightly.
We have studied both long-lived fermions (HNLs) and (pseudo-)scalars (ALPs), showing that the method is not restricted (severely) by the LLP spins. In fact, the method is clearly also not limited to the LLPs produced from charm or bottom mesons either, and can be extended to LLPs produced in decays of pions and kaons, for example. However, one should note that when one uses our reinterpretation method on LLPs produced from pseudo-scalar kaons, one should separate , and ; this is because even though they are of similar masses resulting in similar kinematics of the LLPs produced from their decays, they have different production rates in general and their lifetimes differ by orders of magnitude. The same note also holds for and , for the same reasons.111111For - and -mesons, this is not an issue, as all the mesons considered in this work can be regarded as promptly decaying compared to the scale of the distance between the detector and the IP. Moreover, although in this work we confine ourselves to LLPs coupled with the electron and electron neutrinos, the method should apply to LLPs coupled with the second or third generation leptons, or those coupled purely hadronically; one just needs to ensure that the corresponding final states are or can be searched for in the considered experiments.
Finally, we should mention that further examples of LLPs from meson decays include the lightest neutralinos in the R-parity-violating supersymmetry Dedes:2001zia ; Dreiner:2002xg ; Dreiner:2009er ; deVries:2015mfw . Furthermore, it should be worthwhile to explore our method for LLPs produced in direct collisions or decays of heavier particles such as the -boson and the top quark.
Acknowledgements
We thank Juan Carlos Helo and Abi Soffer for useful discussions. G.C. would like to thank the AHEP Group at Instituto de Física Corpuscular for hospitality offered while working on this project. This work is supported by the Spanish grants PID2020-113775GB-I00 (AEI/10.13039/ 501100011033) and CIPROM/2021/054 (Generalitat Valenciana). R.B. acknowledges financial support from the Generalitat Valenciana (grant ACIF/2021/052). G.C. acknowledges support from ANID FONDECYT grant No. 11220237 and ANID – Millennium Science Initiative Program ICN2019_044.
References
- (1) H.P. Nilles, Supersymmetry, Supergravity and Particle Physics, Phys. Rept. 110 (1984) 1.
- (2) S.P. Martin, A Supersymmetry primer, Adv. Ser. Direct. High Energy Phys. 18 (1998) 1 [hep-ph/9709356].
- (3) J. Alimena et al., Searching for long-lived particles beyond the Standard Model at the Large Hadron Collider, J. Phys. G 47 (2020) 090501 [1903.04497].
- (4) L. Lee, C. Ohm, A. Soffer and T.-T. Yu, Collider Searches for Long-Lived Particles Beyond the Standard Model, Prog. Part. Nucl. Phys. 106 (2019) 210 [1810.12602].
- (5) D. Curtin et al., Long-Lived Particles at the Energy Frontier: The MATHUSLA Physics Case, Rept. Prog. Phys. 82 (2019) 116201 [1806.07396].
- (6) S. Knapen and S. Lowette, A guide to hunting long-lived particles at the LHC, 2212.03883.
- (7) CMS collaboration, Search for disappearing tracks in proton-proton collisions at 13 TeV, Phys. Lett. B 806 (2020) 135502 [2004.05153].
- (8) ATLAS collaboration, Search for long-lived charginos based on a disappearing-track signature using 136 fb-1 of pp collisions at = 13 TeV with the ATLAS detector, Eur. Phys. J. C 82 (2022) 606 [2201.02472].
- (9) A. Dedes, H.K. Dreiner and P. Richardson, Attempts at explaining the NuTeV observation of dimuon events, Phys. Rev. D 65 (2001) 015001 [hep-ph/0106199].
- (10) H. Dreiner, G. Polesello and M. Thormeier, Bounds on broken R parity from NOMAD and CHORUS, hep-ph/0207160.
- (11) H.K. Dreiner, S. Grab, D. Koschade, M. Kramer, B. O’Leary and U. Langenfeld, Rare meson decays into very light neutralinos, Phys. Rev. D 80 (2009) 035018 [0905.2051].
- (12) J. de Vries, H.K. Dreiner and D. Schmeier, R-Parity Violation and Light Neutralinos at SHiP and the LHC, Phys. Rev. D 94 (2016) 035006 [1511.07436].
- (13) M. Drees, H. Dreiner, D. Schmeier, J. Tattersall and J.S. Kim, CheckMATE: Confronting your Favourite New Physics Model with LHC Data, Comput. Phys. Commun. 187 (2015) 227 [1312.2591].
- (14) J.S. Kim, D. Schmeier, J. Tattersall and K. Rolbiecki, A framework to create customised LHC analyses within CheckMATE, Comput. Phys. Commun. 196 (2015) 535 [1503.01123].
- (15) D. Dercks, N. Desai, J.S. Kim, K. Rolbiecki, J. Tattersall and T. Weber, CheckMATE 2: From the model to the limit, Comput. Phys. Commun. 221 (2017) 383 [1611.09856].
- (16) J. Alwall, R. Frederix, S. Frixione, V. Hirschi, F. Maltoni, O. Mattelaer et al., The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations, JHEP 07 (2014) 079 [1405.0301].
- (17) T. Sjöstrand, S. Ask, J.R. Christiansen, R. Corke, N. Desai, P. Ilten et al., An introduction to PYTHIA 8.2, Comput. Phys. Commun. 191 (2015) 159 [1410.3012].
- (18) DELPHES 3 collaboration, DELPHES 3, A modular framework for fast simulation of a generic collider experiment, JHEP 02 (2014) 057 [1307.6346].
- (19) S. Kraml, S. Kulkarni, U. Laa, A. Lessa, W. Magerl, D. Proschofsky-Spindler et al., SModelS: a tool for interpreting simplified-model results from the LHC and its application to supersymmetry, Eur. Phys. J. C 74 (2014) 2868 [1312.4175].
- (20) C.K. Khosa, S. Kraml, A. Lessa, P. Neuhuber and W. Waltenberger, SModelS Database Update v1.2.3, LHEP 2020 (2020) 158 [2005.00555].
- (21) LHC Reinterpretation Forum collaboration, Reinterpretation of LHC Results for New Physics: Status and Recommendations after Run 2, SciPost Phys. 9 (2020) 022 [2003.07868].
- (22) G. Brooijmans et al., Les Houches 2017: Physics at TeV Colliders New Physics Working Group Report, in 10th Les Houches Workshop on Physics at TeV Colliders, 3, 2018 [1803.10379].
- (23) N. Desai, F. Domingo, J.S. Kim, R.R.d.A. Bazan, K. Rolbiecki, M. Sonawane et al., Constraining electroweak and strongly charged long-lived particles with CheckMATE, Eur. Phys. J. C 81 (2021) 968 [2104.04542].
- (24) J.Y. Araz, B. Fuks, M.D. Goodsell and M. Utsch, Recasting LHC searches for long-lived particles with MadAnalysis 5, Eur. Phys. J. C 82 (2022) 597 [2112.05163].
- (25) G. Alguero, J. Heisig, C.K. Khosa, S. Kraml, S. Kulkarni, A. Lessa et al., Constraining new physics with SModelS version 2, JHEP 08 (2022) 068 [2112.00769].
- (26) L.R. Repository, “LLP Recasting Repository: https://github.com/llprecasting/recastingCodes.” June, 2021.
- (27) C. Wang, “Dedicated Delphes Module: https://github.com/delphes/delphes/pull/103.” March, 2022.
- (28) P. Minkowski, at a Rate of One Out of Muon Decays?, Phys. Lett. 67B (1977) 421.
- (29) T. Yanagida, Horizontal gauge symmetry and masses of neutrinos, Conf. Proc. C 7902131 (1979) 95.
- (30) M. Gell-Mann, P. Ramond and R. Slansky, Complex Spinors and Unified Theories, Conf. Proc. C 790927 (1979) 315 [1306.4669].
- (31) R.N. Mohapatra and G. Senjanovic, Neutrino Mass and Spontaneous Parity Nonconservation, Phys. Rev. Lett. 44 (1980) 912.
- (32) J. Schechter and J.W.F. Valle, Neutrino Masses in SU(2) x U(1) Theories, Phys. Rev. D 22 (1980) 2227.
- (33) D. Wyler and L. Wolfenstein, Massless Neutrinos in Left-Right Symmetric Models, Nucl. Phys. B 218 (1983) 205.
- (34) R.N. Mohapatra and J.W.F. Valle, Neutrino Mass and Baryon Number Nonconservation in Superstring Models, Phys. Rev. D 34 (1986) 1642.
- (35) J. Bernabeu, A. Santamaria, J. Vidal, A. Mendez and J.W.F. Valle, Lepton Flavor Nonconservation at High-Energies in a Superstring Inspired Standard Model, Phys. Lett. B 187 (1987) 303.
- (36) E.K. Akhmedov, M. Lindner, E. Schnapka and J.W.F. Valle, Left-right symmetry breaking in NJL approach, Phys. Lett. B 368 (1996) 270 [hep-ph/9507275].
- (37) E.K. Akhmedov, M. Lindner, E. Schnapka and J.W.F. Valle, Dynamical left-right symmetry breaking, Phys. Rev. D 53 (1996) 2752 [hep-ph/9509255].
- (38) M. Malinsky, J.C. Romao and J.W.F. Valle, Novel supersymmetric SO(10) seesaw mechanism, Phys. Rev. Lett. 95 (2005) 161801 [hep-ph/0506296].
- (39) F. Capozzi, E. Di Valentino, E. Lisi, A. Marrone, A. Melchiorri and A. Palazzo, Unfinished fabric of the three neutrino paradigm, Phys. Rev. D 104 (2021) 083031 [2107.00532].
- (40) I. Esteban, M.C. Gonzalez-Garcia, M. Maltoni, T. Schwetz and A. Zhou, The fate of hints: updated global analysis of three-flavor neutrino oscillations, JHEP 09 (2020) 178 [2007.14792].
- (41) P.F. de Salas, D.V. Forero, S. Gariazzo, P. Martínez-Miravé, O. Mena, C.A. Ternes et al., 2020 global reassessment of the neutrino oscillation picture, JHEP 02 (2021) 071 [2006.11237].
- (42) CHARM collaboration, A Search for Decays of Heavy Neutrinos in the Mass Range 0.5-GeV to 2.8-GeV, Phys. Lett. B 166 (1986) 473.
- (43) Belle collaboration, Search for heavy neutrinos at Belle, Phys. Rev. D 87 (2013) 071102 [1301.1105].
- (44) BaBar collaboration, Search for Heavy Neutral Leptons Using Tau Lepton Decays at BABAR, 2207.09575.
- (45) J.L. Feng, I. Galon, F. Kling and S. Trojanowski, ForwArd Search ExpeRiment at the LHC, Phys. Rev. D 97 (2018) 035001 [1708.09389].
- (46) FASER collaboration, FASER’s physics reach for long-lived particles, Phys. Rev. D 99 (2019) 095011 [1811.12522].
- (47) J.P. Chou, D. Curtin and H.J. Lubatti, New Detectors to Explore the Lifetime Frontier, Phys. Lett. B 767 (2017) 29 [1606.06298].
- (48) MATHUSLA collaboration, An Update to the Letter of Intent for MATHUSLA: Search for Long-Lived Particles at the HL-LHC, 2009.01693.
- (49) J.L. Pinfold, The MoEDAL Experiment at the LHC–A Progress Report, Universe 5 (2019) 47.
- (50) J.L. Pinfold, The MoEDAL experiment: a new light on the high-energy frontier, Phil. Trans. Roy. Soc. Lond. A 377 (2019) 20190382.
- (51) J.C. Helo, M. Hirsch and Z.S. Wang, Heavy neutral fermions at the high-luminosity LHC, JHEP 07 (2018) 056 [1803.02212].
- (52) F. Kling and S. Trojanowski, Heavy Neutral Leptons at FASER, Phys. Rev. D 97 (2018) 095016 [1801.08947].
- (53) M. Hirsch and Z.S. Wang, Heavy neutral leptons at ANUBIS, Phys. Rev. D 101 (2020) 055034 [2001.04750].
- (54) M. Ovchynnikov, V. Kryshtal and K. Bondarenko, Sensitivity of the FACET experiment to Heavy Neutral Leptons and Dark Scalars, 2209.14870.
- (55) G. Aielli et al., Expression of interest for the CODEX-b detector, Eur. Phys. J. C 80 (2020) 1177 [1911.00481].
- (56) J. De Vries, H.K. Dreiner, J.Y. Günther, Z.S. Wang and G. Zhou, Long-lived Sterile Neutrinos at the LHC in Effective Field Theory, JHEP 03 (2021) 148 [2010.07305].
- (57) C.-W. Chiang, G. Cottin, A. Das and S. Mandal, Displaced heavy neutrinos from decays at the LHC, JHEP 12 (2019) 070 [1908.09838].
- (58) I. Doršner, S. Fajfer, A. Greljo, J.F. Kamenik and N. Košnik, Physics of leptoquarks in precision experiments and at particle colliders, Phys. Rept. 641 (2016) 1 [1603.04993].
- (59) F. del Aguila, S. Bar-Shalom, A. Soni and J. Wudka, Heavy Majorana Neutrinos in the Effective Lagrangian Description: Application to Hadron Colliders, Phys. Lett. B 670 (2009) 399 [0806.0876].
- (60) A. Aparici, K. Kim, A. Santamaria and J. Wudka, Right-handed neutrino magnetic moments, Phys. Rev. D 80 (2009) 013010 [0904.3244].
- (61) Y. Liao and X.-D. Ma, Operators up to Dimension Seven in Standard Model Effective Field Theory Extended with Sterile Neutrinos, Phys. Rev. D 96 (2017) 015012 [1612.04527].
- (62) I. Bischer and W. Rodejohann, General neutrino interactions from an effective field theory perspective, Nucl. Phys. B 947 (2019) 114746 [1905.08699].
- (63) M. Chala and A. Titov, One-loop matching in the SMEFT extended with a sterile neutrino, JHEP 05 (2020) 139 [2001.07732].
- (64) T. Li, X.-D. Ma and M.A. Schmidt, General neutrino interactions with sterile neutrinos in light of coherent neutrino-nucleus scattering and meson invisible decays, JHEP 07 (2020) 152 [2005.01543].
- (65) T. Li, X.-D. Ma and M.A. Schmidt, Constraints on the charged currents in general neutrino interactions with sterile neutrinos, JHEP 10 (2020) 115 [2007.15408].
- (66) J. Preskill, M.B. Wise and F. Wilczek, Cosmology of the Invisible Axion, Phys. Lett. B 120 (1983) 127.
- (67) L.F. Abbott and P. Sikivie, A Cosmological Bound on the Invisible Axion, Phys. Lett. B 120 (1983) 133.
- (68) M. Dine and W. Fischler, The Not So Harmless Axion, Phys. Lett. B 120 (1983) 137.
- (69) P. Panci, D. Redigolo, T. Schwetz and R. Ziegler, Axion Dark Matter from Lepton flavor-violating Decays, 2209.03371.
- (70) J.E. Kim and D.J.E. Marsh, An ultralight pseudoscalar boson, Phys. Rev. D 93 (2016) 025027 [1510.01701].
- (71) I. De Martino, T. Broadhurst, S.H. Henry Tye, T. Chiueh, H.-Y. Schive and R. Lazkoz, Recognizing Axionic Dark Matter by Compton and de Broglie Scale Modulation of Pulsar Timing, Phys. Rev. Lett. 119 (2017) 221103 [1705.04367].
- (72) V.A. Rubakov, Grand unification and heavy axion, JETP Lett. 65 (1997) 621 [hep-ph/9703409].
- (73) H. Georgi, D.B. Kaplan and L. Randall, Manifesting the Invisible Axion at Low-energies, Phys. Lett. B 169 (1986) 73.
- (74) K. Choi, K. Kang and J.E. Kim, Effects of in Low-energy Axion Physics, Phys. Lett. B 181 (1986) 145.
- (75) I. Brivio, M.B. Gavela, L. Merlo, K. Mimasu, J.M. No, R. del Rey et al., ALPs Effective Field Theory and Collider Signatures, Eur. Phys. J. C 77 (2017) 572 [1701.05379].
- (76) M. Chala, G. Guedes, M. Ramos and J. Santiago, Running in the ALPs, Eur. Phys. J. C 81 (2021) 181 [2012.09017].
- (77) M. Bauer, M. Neubert, S. Renner, M. Schnubel and A. Thamm, The Low-Energy Effective Theory of Axions and ALPs, JHEP 04 (2021) 063 [2012.12272].
- (78) M. Bauer, M. Neubert, S. Renner, M. Schnubel and A. Thamm, Flavor probes of axion-like particles, JHEP 09 (2022) 056 [2110.10698].
- (79) J. Martin Camalich, M. Pospelov, P.N.H. Vuong, R. Ziegler and J. Zupan, Quark Flavor Phenomenology of the QCD Axion, Phys. Rev. D 102 (2020) 015023 [2002.04623].
- (80) L. Calibbi, D. Redigolo, R. Ziegler and J. Zupan, Looking forward to lepton-flavor-violating ALPs, JHEP 09 (2021) 173 [2006.04795].
- (81) S. Dreyer et al., Physics reach of a long-lived particle detector at Belle II, 2105.12962.
- (82) I. Boiarska, A. Boyarsky, O. Mikulenko and M. Ovchynnikov, Constraints from the CHARM experiment on heavy neutral leptons with tau mixing, Phys. Rev. D 104 (2021) 095019 [2107.14685].
- (83) R. Barouki, G. Marocco and S. Sarkar, Blast from the past II: Constraints on heavy neutral leptons from the BEBC WA66 beam dump experiment, SciPost Phys. 13 (2022) 118 [2208.00416].
- (84) HNL, “Heavy Neutrino Limits: https://github.com/mhostert/Heavy-Neutrino-Limits.”.
- (85) K. Bondarenko, A. Boyarsky, D. Gorbunov and O. Ruchayskiy, Phenomenology of GeV-scale Heavy Neutral Leptons, JHEP 11 (2018) 032 [1805.08567].
- (86) CHARM collaboration, A Search for Decays of Heavy Neutrinos, Phys. Lett. B 128 (1983) 361.
- (87) Particle Data Group collaboration, Review of Particle Physics, PTEP 2022 (2022) 083C01.
- (88) Belle collaboration, Search for decays with semileptonic tagging at Belle, Phys. Rev. D 96 (2017) 091101 [1702.03224].
- (89) Belle-II collaboration, Search for Decays Using an Inclusive Tagging Method at Belle II, Phys. Rev. Lett. 127 (2021) 181802 [2104.12624].
- (90) BaBar collaboration, Search for the Rare Decay , Phys. Rev. D 82 (2010) 112002 [1009.1529].
- (91) BaBar collaboration, Search for and invisible quarkonium decays, Phys. Rev. D 87 (2013) 112005 [1303.7465].
- (92) BaBar collaboration, Search for Invisible Decays of a Dark Photon Produced in Collisions at BaBar, Phys. Rev. Lett. 119 (2017) 131804 [1702.03327].
- (93) R.Z. Ferreira, M.C.D. Marsh and E. Müller, Strong supernovae bounds on ALPs from quantum loops, JCAP 11 (2022) 057 [2205.07896].
- (94) R. Essig, R. Harnik, J. Kaplan and N. Toro, Discovering New Light States at Neutrino Experiments, Phys. Rev. D 82 (2010) 113008 [1008.0636].
- (95) Belle collaboration, Search for decays to invisible final states at Belle, Phys. Rev. D 95 (2017) 011102 [1611.09455].
- (96) BESIII collaboration, Search for the decay , Phys. Rev. D 105 (2022) L071102 [2112.14236].
- (97) BaBar collaboration, Improved Limits on Decays to Invisible Final States and to , Phys. Rev. D 86 (2012) 051105 [1206.2543].
- (98) M. Bauer, O. Brandt, L. Lee and C. Ohm, ANUBIS: Proposal to search for long-lived neutral particles in CERN service shafts, 1909.13022.
- (99) V.V. Gligorov, S. Knapen, M. Papucci and D.J. Robinson, Searching for Long-lived Particles: A Compact Detector for Exotics at LHCb, Phys. Rev. D 97 (2018) 015023 [1708.09395].
- (100) S. Cerci et al., FACET: A new long-lived particle detector in the very forward region of the CMS experiment, JHEP 2022 (2022) 110 [2201.00019].
- (101) R. Beltrán, G. Cottin, J.C. Helo, M. Hirsch, A. Titov and Z.S. Wang, Long-lived heavy neutral leptons from mesons in effective field theory, JHEP 01 (2023) 015 [2210.02461].
- (102) C. Bierlich et al., A comprehensive guide to the physics and usage of PYTHIA 8.3, 2203.11601.
- (103) A. Abada, N. Bernal, M. Losada and X. Marcano, Inclusive Displaced Vertex Searches for Heavy Neutral Leptons at the LHC, JHEP 01 (2019) 093 [1807.10024].
- (104) A. Abada, P. Escribano, X. Marcano and G. Piazza, Collider searches for heavy neutral leptons: beyond simplified scenarios, Eur. Phys. J. C 82 (2022) 1030 [2208.13882].
- (105) M. Bauer, M. Neubert and A. Thamm, Collider Probes of Axion-Like Particles, JHEP 12 (2017) 044 [1708.00443].
- (106) M. Wirbel, B. Stech and M. Bauer, Exclusive Semileptonic Decays of Heavy Mesons, Z. Phys. C 29 (1985) 637.
- (107) ETM collaboration, Scalar and vector form factors of decays with twisted fermions, Phys. Rev. D 96 (2017) 054514 [1706.03017].
- (108) M.A. Ivanov, J.G. Körner, J.N. Pandya, P. Santorelli, N.R. Soni and C.-T. Tran, Exclusive semileptonic decays of D and Ds mesons in the covariant confining quark model, Front. Phys. (Beijing) 14 (2019) 64401 [1904.07740].
- (109) Flavour Lattice Averaging Group (FLAG) collaboration, FLAG Review 2021, Eur. Phys. J. C 82 (2022) 869 [2111.09849].
- (110) Y.-L. Wu, M. Zhong and Y.-B. Zuo, , , , , , , , Transition Form Factors and Decay Rates with Extraction of the CKM parameters , , , Int. J. Mod. Phys. A 21 (2006) 6125 [hep-ph/0604007].
- (111) A. Bharucha, D.M. Straub and R. Zwicky, in the Standard Model from light-cone sum rules, JHEP 08 (2016) 098 [1503.05534].
- (112) J.D. Bjorken, S. Ecklund, W.R. Nelson, A. Abashian, C. Church, B. Lu et al., Search for Neutral Metastable Penetrating Particles Produced in the SLAC Beam Dump, Phys. Rev. D 38 (1988) 3375.
- (113) L. Darmé, F. Giacchino, E. Nardi and M. Raggi, Invisible decays of axion-like particles: constraints and prospects, JHEP 06 (2021) 009 [2012.07894].