This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

aainstitutetext: AHEP Group, Instituto de Física Corpuscular – CSIC/Universitat de València, Apartado 22085, E–46071 València, Spainbbinstitutetext: Departamento de Ciencias, Facultad de Artes Liberales, Universidad Adolfo Ibáñez, Diagonal Las Torres 2640, Santiago, Chileccinstitutetext: Millennium Institute for Subatomic Physics at the High Energy Frontier (SAPHIR), Fernández Concha 700, Santiago, Chileddinstitutetext: Dipartimento di Fisica “Enrico Fermi”, Università di Pisa and INFN, Sezione di Pisa, Largo Bruno Pontecorvo 3, I–56127 Pisa, Italyeeinstitutetext: Department of Physics, National Tsing Hua University, Hsinchu 300, Taiwanffinstitutetext: Center for Theory and Computation, National Tsing Hua University, Hsinchu 300, Taiwan

Reinterpretation of searches for long-lived particles from meson decays

Rebeca Beltrán [email protected] b,c    Giovanna Cottin [email protected] a    Martin Hirsch [email protected] d    Arsenii Titov [email protected] e,f    Zeren Simon Wang [email protected]
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.

preprint: IFIC/23-04

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, BB-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. BB-factories including Belle Belle:2013ytx and BaBar BaBar:2022cqj have also obtained bounds for HNLs from BB-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 U(1)U(1) gauge group predicting a new gauge boson ZZ^{\prime} 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 NRN_{R}SMEFT delAguila:2008ir ; Aparici:2009fh ; Liao:2016qyd . In the NRN_{R}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 Λ\Lambda. For GeV-scale HNLs produced in meson decays, the appropriate description is provided by the low-energy effective field theory extended with HNLs, NRN_{R}LEFT Bischer:2019ttk ; Chala:2020vqp ; Li:2020lba ; Li:2020wxi , in which heavy SM degrees of freedom (namely, the top quark, the Higgs and ZZ and W±W^{\pm} 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 NRN_{R}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 Λ\Lambda. 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 DD(BB)-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 DD-mesons (D0D^{0}, D±D^{\pm} and DsD_{s}) or only BB-mesons (B0B^{0}, B±B^{\pm} and BsB_{s}), 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 NRN_{R}LEFT and (ii) the ALP EFT. For the NRN_{R}LEFT, we will consider operators that include either one or two HNLs, i.e. single-NRN_{R} or pair-NRN_{R} 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 95%95\% (or sometimes 90%90\%) confidence level (C.L.) exclusion limits corresponding to a certain number of signal events, NSN_{S}, 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,

NS=NNϵBR(Nvis.),\displaystyle N_{S}=N_{N}\cdot\epsilon\cdot\text{BR}(N\to\text{vis.})\,, (1)

where NNN_{N} is the total number of HNLs produced from certain meson decays, ϵ\epsilon is the product of the detector acceptance and efficiencies, and BR(Nvis.)\text{BR}(N\to\text{vis.}) is the decay branching ratio of the HNLs into certain final states visible/detectable/observable in the detector chamber. NNN_{N} and BR(Nvis.)(N\to\text{vis.}) can just be computed from the model parameters, mixing angle squared |VeN|2|V_{eN}|^{2} and mass mNm_{N}, and ϵ\epsilon should be determined by a proper simulation together with the computation of the proper lifetime of the HNL, cτNc\tau_{N}, from |VeN|2|V_{eN}|^{2} and mNm_{N}. Thus, the experimental search can obtain bounds in the plane |VeN|2|V_{eN}|^{2} vs. mNm_{N}. Therefore, from the published results of the experimental search, we obtain a three-dimensional (3D) array of data in (mN,|VeN|2,NS)(m_{N},|V_{eN}|^{2},N_{S}), with NSN_{S} fixed at a certain single value (e.g. NS=3N_{S}=3 for 95%95\% C.L. exclusion limits with zero observed event) and mNm_{N} and |VeN|2|V_{eN}|^{2} 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 |VeN|2|V_{eN}|^{2} fixed at a certain value, and mNm_{N} and NSN_{S} varied.

Now, assuming the HNLs are in the large decay length limit, such that its boosted decay length, λdecay=βγcτ=βγc/Γtot.\lambda_{\text{decay}}=\beta\gamma c\tau=\beta\gamma c\hbar/\Gamma_{\text{tot.}}, with Γtot.\Gamma_{\text{tot.}} being the HNL total decay width, is much larger than the distance from the detector to the IP, ϵ\epsilon would be simply linearly proportional to the total decay width of the HNL, Γtot.\Gamma_{\text{tot.}} in general. This can be understood as follows. ϵ\epsilon is proportional to the detector acceptance to the HNL, P[decay]P[\text{decay}], which can be essentially expressed with the following formula:

P[decay]\displaystyle P[\text{decay}] \displaystyle\sim exp(L/λdecay)(1exp(ΔL/λdecay))\displaystyle\text{exp}(-L/\lambda_{\text{decay}})\cdot(1-\text{exp}(-\Delta L/\lambda_{\text{decay}})) (2)
=\displaystyle= exp(L/λdecay)exp((L+ΔL)/λdecay),\displaystyle\text{exp}(-L/\lambda_{\text{decay}})-\text{exp}(-(L+\Delta L)/\lambda_{\text{decay}}),
\displaystyle\approx ΔL/λdecay=ΔLΓtot./(βγc),\displaystyle\Delta L/\lambda_{\text{decay}}=\Delta L\cdot\Gamma_{\text{tot.}}/(\beta\gamma c\hbar)\,,

where LL is the distance from the IP to the detector, ΔL\Delta L 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 λdecayL\lambda_{\text{decay}}\gg L. 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:

NSNNΓtot.BR(Nvis.)=NNΓvis.,\displaystyle N_{S}\propto N_{N}\cdot\Gamma_{\text{tot.}}\cdot\text{BR}(N\to\text{vis.})=N_{N}\cdot\Gamma_{\text{vis.}}\,, (3)

where the last equality stands because BR(Nvis.)=Γvis./Γtot.\text{BR}(N\to\text{vis.})=\Gamma_{\text{vis.}}/\Gamma_{\text{tot.}} where Γvis.\Gamma_{\text{vis.}} denotes the sum of partial widths of the HNLs into visible final states. Now considering the HNLs in the NRN_{R}LEFT, we can write a similar relation,

NSNNΓvis.,\displaystyle N^{\prime}_{S}\propto N^{\prime}_{N}\cdot\Gamma^{\prime}_{\text{vis.}}\,, (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 NRN_{R}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 (DD-mesons only or BB-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:

NSNSNNNNΓvis.Γvis.,\displaystyle\frac{N_{S}}{N^{\prime}_{S}}\approx\frac{N_{N}}{N^{\prime}_{N}}\frac{\Gamma_{\text{vis.}}}{\Gamma^{\prime}_{\text{vis.}}}\,, (5)

or equivalently,

Γvis.Γvis.NNNNNSNS.\displaystyle\Gamma^{\prime}_{\text{vis.}}\approx\Gamma_{\text{vis.}}\cdot\frac{N_{N}}{N^{\prime}_{N}}\frac{N^{\prime}_{S}}{N_{S}}\,. (6)

We further note that in a commonly seen case where NS=NSN_{S}=N^{\prime}_{S}, Eq. (6) can be simplified to be:

Γvis.Γvis.NNNN.\displaystyle\Gamma^{\prime}_{\text{vis.}}\approx\Gamma_{\text{vis.}}\cdot\frac{N_{N}}{N^{\prime}_{N}}\,. (7)

As discussed above, we already have a list of 3D data in (mN,|VeN|2,NS)(m_{N},|V_{eN}|^{2},N_{S}). For each mNm_{N}, the corresponding value of |VeN|2|V_{eN}|^{2} allows to compute NNN_{N} and Γvis.\Gamma_{\text{vis.}}. Further, NSN_{S} is known, and NSN^{\prime}_{S} is usually either equal to NSN_{S} or can be determined from the experimental search depending on the final states of the LLP decays. As a result, for the NRN_{R}LEFT case, once we fix the production Wilson coefficient determining NNN^{\prime}_{N}, we can derive Γvis.\Gamma^{\prime}_{\text{vis.}} with the usage of Eq. (6) or Eq. (7). It is then a straightforward exercise to convert these bounds on Γvis.\Gamma^{\prime}_{\text{vis.}} into the corresponding bounds on the decay Wilson coefficient in the NRN_{R}LEFT.

We stress again this approximation holds only if in both the minimal scenario and the NRN_{R}LEFT scenario:

  1. 1.

    the HNLs are produced from the same type of mesons, ensuring the same kinematics, and

  2. 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 PprodP_{\text{prod}} and PdecayP_{\text{decay}}, we discuss briefly here, without loss of generality, the case that they are equal: Pprod=PdecayP_{\text{prod}}=P_{\text{decay}}. We first fix a value for PprodP_{\text{prod}} and derive a limit on PdecayP_{\text{decay}} following the algorithm given above. In the general case, the derived value of PdecayP_{\text{decay}} is unequal to PprodP_{\text{prod}}. We notice the fact that if we chose a value of PprodP_{\text{prod}} larger (smaller) by a random positive number xx, we would obtain a bound on PdecayP_{\text{decay}} stronger (weaker) also by xx, assuming the production and decay rates of the LLP are proportional to Pprod2P_{\text{prod}}^{2} and Pdecay2P_{\text{decay}}^{2}, respectively. This means if we multiply PprodP_{\text{prod}} by Pdecay/Pprod\sqrt{P_{\text{decay}}/P_{\text{prod}}} to reach the geometric mean of PprodP_{\text{prod}} and PdecayP_{\text{decay}}, this new production coupling would lead to a new bound on PdecayP_{\text{decay}} 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 DD- and BB-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 NRN_{R}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 DD-mesons in semi-leptonic decays (from charged and neutral DD’s) and via leptonic decays of charged DD’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 DD 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 VeNV_{eN} as small as |VeN|2107|V_{eN}|^{2}\sim 10^{-7} for mN1m_{N}\approx 1 GeV were probed.

    In the experimental analysis CHARM:1985nku , HNLs were searched for in the leptonic decays of D±D^{\pm} and semi-leptonic decays of both D±D^{\pm} and D0D^{0}. We consider all two and three body decays of both D0D^{0} and D±D^{\pm},333We note that Ref. CHARM:1985nku assumed a ratio of σ(D±)=σ(D0)/2\sigma(D^{\pm})=\sigma(D^{0})/2 in the estimates of the HNL production. We follow this choice when computing NNN_{N} and NNN^{\prime}_{N} for both the EFT HNL and ALP scenarios. In addition, Ref. Boiarska:2021yho claims that HNL production from DsD_{s} decays was not included in the CHARM search CHARM:1985nku . We therefore neglect the DsD_{s} contributions, which would be negligible anyway for the relatively small fragmentation factor of cDsc\to D_{s}. where NN decays further via mixing in the electron sector as i) Ne+eνeN\rightarrow e^{+}e^{-}\nu_{e} or ii) Ne±μνμN\rightarrow e^{\pm}\mu^{\mp}\nu_{\mu}. These modes lead to signatures with i) two separated electromagnetic showers and ii) one electromagnetic shower and one μ\mu-track, originating in the decay region. As the experimental signatures require at least two charged leptons from NN decays, we do not recast the CHARM search for the single-NRN_{R} scenarios. However, the search is directly applicable to the scenario in which HNLs are produced through pair-NRN_{R} 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 BB-meson decays. The Belle experiment, which was operated at the KEKB e+ee^{+}e^{-} collider mainly at the center-of-mass energy of 10.58 GeV (mass of the Υ(4S)\Upsilon(4S) resonance), searched for HNLs mixed in the electron sector through semi-leptonic two-body decays Ne±πN\rightarrow e^{\pm}\pi^{\mp} Belle:2013ytx . All two- and three-body decays of BB mesons (B0B^{0} and B±B^{\pm})444Belle runs at the Υ(4S)\Upsilon(4S) resonance which decays to B+BB^{+}B^{-} with a branching ratio of 51.4% and to B0B0¯B^{0}\overline{B^{0}} 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 |VeN|23×105|V_{eN}|^{2}\sim 3\times 10^{-5}. As the analysis strategy relies on identification of a prompt lepton coming from the BB-meson decay, limits from this search are not applicable to meson decays triggered by the pair-NRN_{R} 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 Bhνν¯B\rightarrow h\nu\bar{\nu} with h=π0h=\pi^{0}, KS0K^{0}_{S}, π+\pi^{+}, K+K^{+}, K+K^{\ast+}, K0K^{\ast 0}, ρ+\rho^{+}, ρ0\rho^{0} with full luminosity of 711 fb-1 Belle:2017oht . The search strategy includes the reconstruction of an accompanying BB-meson decaying semi-leptonically (i.e. BB-tag). An updated search at Belle II operating at the SuperKEKB for B+K+νν¯B^{+}\rightarrow K^{+}\nu\bar{\nu} was performed with a different tagging method that exploits the inclusive decay of the other BB meson in the Υ(4S)B+B\Upsilon(4S)\rightarrow B^{+}B^{-} 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 B+K+νν¯B^{+}\rightarrow K^{+}\nu\bar{\nu} and B0K0νν¯B^{0}\rightarrow K^{0}\nu\bar{\nu} BaBar:2010oqg ; BaBar:2013npw with a similar strategy as Belle, by reconstructing a recoiled BB-meson decaying semileptonically to BD()lνB\rightarrow D^{(*)}l\nu. BaBar has also placed a more stringent limit with an hadronic tag for B+K+νν¯B^{+}\rightarrow K^{+}\nu\bar{\nu} 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 ceec_{ee} are also shown.

Past HNL search Sensitivity to
CHARM CHARM:1985nku pair-NRN_{R}: 2HNL-D1, 2HNL-D2 and ALP-D
Belle Belle:2013ytx single-NRN_{R}: 1HNL-B1, 1HNL-B2
ALP bounds Sensitivity to
Supernovae Ferreira:2022xlw ceec_{ee}: ALP-D, ALP-B
E137 Essig:2010gu ceec_{ee}: ALP-D, ALP-B
Decay Limit on BR
D0D^{0}\rightarrow inv. Belle:2016qek 9.4×1059.4\times 10^{-5}
D0π0νν¯D^{0}\rightarrow\pi^{0}\nu\bar{\nu} BESIII:2021slf 2.1×1042.1\times 10^{-4}
B0B^{0}\rightarrow inv. BaBar:2012yut 2.4×1052.4\times 10^{-5}
B0π0νν¯B^{0}\rightarrow\pi^{0}\nu\bar{\nu} Belle:2017oht 9.0×1069.0\times 10^{-6}
B0KS0νν¯B^{0}\to K^{0}_{S}\nu\overline{\nu} Belle:2017oht 1.3×1051.3\times 10^{-5}
B+K+νν¯B^{+}\to K^{+}\nu\overline{\nu} Belle:2017oht 1.9×1051.9\times 10^{-5}
Table 1: Recast searches and their sensitivities to our benchmarks in Tables 4, 5 and 6, as well as upper limits on the branching ratios (BRs) of (semi-)invisible DD- and BB-meson decays that will provide strong constraints on the corresponding HNL Wilson coefficients and QFV ALP couplings. Current limits constraining ceec_{ee} are also quoted for completeness.

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 300300 fb-1 and FASER2 FASER:2018eoc with 33 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 𝒪(1)𝒪(100)\mathcal{O}(1)-\mathcal{O}(100) 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 95%95\% C.L. upper limits on the model parameter space (corresponding to NS=3N_{S}=3).

Sensitivity estimates at these detectors were provided in detail in Ref. DeVries:2020jbs for the minimal HNL scenario and for NRN_{R}-LEFT operators with one HNL. In addition, in Ref. Beltran:2022ast estimates for pair-NRN_{R} 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 DD- and BB-mesons from proton-proton collisions at s=14\sqrt{s}=14 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, NSN_{S}. This quantity also depends on the expected acceptance rate at each far detector experiment (i.e. defined as the average P[Ndecay]\langle P[N\text{decay}]\rangle in Eq. (4.1) of Beltran:2022ast ) (labeled as P[decay]P[\text{decay}] 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, NN, that mixes with the active neutrinos ν\nu_{\ell}, =e,μ,τ\ell=e,\,\mu,\,\tau. The interaction Lagrangian of interest reads

min=g2VN¯γμPLNWμg2cosθWUiVNνi¯γμPLNZμ+h.c.,\mathcal{L}_{\mathrm{min}}=-\frac{g}{\sqrt{2}}\,V_{\ell N}\,\overline{\ell}\gamma^{\mu}P_{L}N\,W_{\mu}^{\dagger}-\frac{g}{2\cos\theta_{W}}\,U_{\ell i}^{\ast}V_{\ell N}\,\overline{\nu_{i}}\gamma^{\mu}P_{L}N\,Z_{\mu}+\text{h.c.}\,, (8)

where gg is the SU(2)LSU(2)_{L} gauge coupling, θW\theta_{W} is the weak mixing angle, VNV_{\ell N} is active-heavy mixing, whereas UiU_{\ell i} is active-light mixing (the PMNS mixing matrix). The sum over =e,μ,τ\ell=e,\,\mu,\,\tau and i=1, 2, 3i=1,\,2,\,3 is implied. Note that we have neglected the terms quadratic in VNV_{\ell N}. Production and decays of the HNL are governed by its mass mNm_{N} and the mixing angles VNV_{\ell N}. 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 VNV_{\ell N}. 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 |VeN|2|V_{eN}|^{2} vs. mNm_{N}. The left and right plots contain results for the HNLs produced from rare decays of DD- and BB- 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 BB- and DD-mesons’ decays, respectively.

Refer to caption
Refer to caption
Figure 1: Sensitivity limits of LHC far detectors for HNLs produced from DD-mesons (left) and BB-mesons (right), respectively. We also show existing bounds on the minimal model obtained by CHARM CHARM:1985nku (left plot, red line) and Belle Belle:2013ytx (right plot, orange line).

For the far detectors, as we have performed MC simulations, we have three-dimensional data sets of (mN,|VeN|2,NS)(m_{N},|V_{eN}|^{2},N_{S}), across the whole kinematically allowed mass range. For this 3D dataset, we fix |VeN|2|V_{eN}|^{2} to a small value such as 10910^{-9}, 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 vv should be viewed as an EFT, assuming heavy new physics exists at a scale Λv\Lambda\gg v. Such an EFT is known as the NRN_{R}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 NRN_{R}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 ZZ and WW gauge bosons) are not present. The Lagrangian of this EFT reads

NRLEFT=ren+d5ici(d)𝒪i(d),\mathcal{L}_{N_{R}\mathrm{LEFT}}=\mathcal{L}_{\mathrm{ren}}+\sum_{d\geq 5}\sum_{i}c_{i}^{(d)}\mathcal{O}_{i}^{(d)}\,, (9)

where ren\mathcal{L}_{\mathrm{ren}} is the renormalizable part of the Lagrangian (see e.g. Eq. (2.1) in Ref. Beltran:2022ast ), ci(d)c_{i}^{(d)} are the Wilson coefficients of higher-dimensional operators 𝒪i(d)\mathcal{O}_{i}^{(d)}, and the second sum goes over all independent operators of a given mass dimension dd. The dimensionful coefficients ci(d)c_{i}^{(d)} scale as v4dv^{4-d}.

We will focus on d=6d=6 four-fermion operators with two quarks and either two or one NRN_{R}, since these contact interactions can mediate meson decays into HNLs. In Table 2, we summarize the pair-NRN_{R} operators, assuming one generation of HNLs. Each of these operators carries quark flavor indices ii and jj. The last column indicates the number of independent real parameters associated with each operator structure. We recall that in the NRN_{R}LEFT, there are three generations of down-type quarks and two generations of up-type quarks.

LNC operators
Name Structure # params
𝒪dNV,RR{\cal O}_{dN}^{V,RR} (dR¯γμdR)(NR¯γμNR)\left(\overline{d_{R}}\gamma_{\mu}d_{R}\right)\left(\overline{N_{R}}\gamma^{\mu}N_{R}\right) 9
𝒪uNV,RR{\cal O}_{uN}^{V,RR} (uR¯γμuR)(NR¯γμNR)\left(\overline{u_{R}}\gamma_{\mu}u_{R}\right)\left(\overline{N_{R}}\gamma^{\mu}N_{R}\right) 4
𝒪dNV,LR{\cal O}_{dN}^{V,LR} (dL¯γμdL)(NR¯γμNR)\left(\overline{d_{L}}\gamma_{\mu}d_{L}\right)\left(\overline{N_{R}}\gamma^{\mu}N_{R}\right) 9
𝒪uNV,LR{\cal O}_{uN}^{V,LR} (uL¯γμuL)(NR¯γμNR)\left(\overline{u_{L}}\gamma_{\mu}u_{L}\right)\left(\overline{N_{R}}\gamma^{\mu}N_{R}\right) 4
LNV operators
Name Structure # params
𝒪dNS,RR{\cal O}_{dN}^{S,RR} (dL¯dR)(NRc¯NR)\left(\overline{d_{L}}d_{R}\right)\left(\overline{N_{R}^{c}}N_{R}\right) 18
𝒪uNS,RR{\cal O}_{uN}^{S,RR} (uL¯uR)(NRc¯NR)\left(\overline{u_{L}}u_{R}\right)\left(\overline{N_{R}^{c}}N_{R}\right) 8
𝒪dNS,LR{\cal O}_{dN}^{S,LR} (dR¯dL)(NRc¯NR)\left(\overline{d_{R}}d_{L}\right)\left(\overline{N_{R}^{c}}N_{R}\right) 18
𝒪uNS,LR{\cal O}_{uN}^{S,LR} (uR¯uL)(NRc¯NR)\left(\overline{u_{R}}u_{L}\right)\left(\overline{N_{R}^{c}}N_{R}\right) 8
Table 2: Four-fermion operators in the NRN_{R}LEFT, involving two quarks and two NRN_{R}, assuming one generation of HNLs. The third column shows the number of independent real parameters associated with the given operator structure. The LNV operator structures require “+h.c.”.

In Table 3, we list the single-NRN_{R} operators with two quarks and a charged lepton. In addition to two quark flavor indices ii and jj, these operators also carry a lepton flavor index =e,μ,τ\ell=e,\,\mu,\,\tau. Assuming one generation of NRN_{R}, each operator structure encodes 36 independent real parameters.

LNC operators
Name Structure
𝒪udeNV,RR{\cal O}_{udeN}^{V,RR} (uR¯γμdR)(eR¯γμNR)\left(\overline{u_{R}}\gamma_{\mu}d_{R}\right)\left(\overline{e_{R}}\gamma^{\mu}N_{R}\right)
𝒪udeNV,LR{\cal O}_{udeN}^{V,LR} (uL¯γμdL)(eR¯γμNR)\left(\overline{u_{L}}\gamma_{\mu}d_{L}\right)\left(\overline{e_{R}}\gamma^{\mu}N_{R}\right)
𝒪udeNS,RR{\cal O}_{udeN}^{S,RR} (uL¯dR)(eL¯NR)\left(\overline{u_{L}}d_{R}\right)\left(\overline{e_{L}}N_{R}\right)
𝒪udeNT,RR{\cal O}_{udeN}^{T,RR} (uL¯σμνdR)(eL¯σμνNR)\left(\overline{u_{L}}\sigma_{\mu\nu}d_{R}\right)\left(\overline{e_{L}}\sigma^{\mu\nu}N_{R}\right)
𝒪udeNS,LR{\cal O}_{udeN}^{S,LR} (uR¯dL)(eL¯NR)\left(\overline{u_{R}}d_{L}\right)\left(\overline{e_{L}}N_{R}\right)
LNV operators
Name Structure
𝒪udeNV,LL{\cal O}_{udeN}^{V,LL} (uL¯γμdL)(eL¯γμNRc)\left(\overline{u_{L}}\gamma_{\mu}d_{L}\right)\left(\overline{e_{L}}\gamma^{\mu}N_{R}^{c}\right)
𝒪udeNV,RL{\cal O}_{udeN}^{V,RL} (uR¯γμdR)(eL¯γμNRc)\left(\overline{u_{R}}\gamma_{\mu}d_{R}\right)\left(\overline{e_{L}}\gamma^{\mu}N_{R}^{c}\right)
𝒪udeNS,LL{\cal O}_{udeN}^{S,LL} (uR¯dL)(eR¯NRc)\left(\overline{u_{R}}d_{L}\right)\left(\overline{e_{R}}N_{R}^{c}\right)
𝒪udeNT,LL{\cal O}_{udeN}^{T,LL} (uR¯σμνdL)(eR¯σμνNRc)\left(\overline{u_{R}}\sigma_{\mu\nu}d_{L}\right)\left(\overline{e_{R}}\sigma^{\mu\nu}N_{R}^{c}\right)
𝒪udeNS,RL{\cal O}_{udeN}^{S,RL} (uL¯dR)(eR¯NRc)\left(\overline{u_{L}}d_{R}\right)\left(\overline{e_{R}}N_{R}^{c}\right)
Table 3: Four-fermion operators in the NRN_{R}LEFT, involving two quarks, one charged lepton and one NRN_{R}. For one generation of HNLs, there are 36 independent real parameters associated with each operator structure. All operator structures require “+h.c.”.

4.1.1 Four-fermion pair-NRN_{R} operators

While the pair-NRN_{R} 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-NRN_{R} operators carries quark flavor indices ii and jj, e.g. 𝒪qN,ijV,RR=(qiR¯γμqjR)(NRγμNR)\mathcal{O}_{qN,ij}^{V,RR}=(\overline{q_{iR}}\gamma_{\mu}q_{jR})(N_{R}\gamma^{\mu}N_{R}), with q=uq=u or dd. The operator 𝒪uN,12V,RR\mathcal{O}_{uN,12}^{V,RR} induces D0NND^{0}\to NN as well as a series of three-body decays DP/VNND\to P/VNN, with P(V)P~{}(V) denoting a lighter pseudoscalar (vector) meson. Similarly, 𝒪dN,31V,RR\mathcal{O}_{dN,31}^{V,RR} (𝒪dN,32V,RR\mathcal{O}_{dN,32}^{V,RR}) triggers B0NNB^{0}\to NN (Bs0NNB_{s}^{0}\to NN) and a number of BP/VNNB\to P/VNN decays. The same applies for the scalar-type operators given in the right panel of Table 2 and the operators with different chiralities (LRLR). As an example, we will restrict ourselves to some of these operators. The chosen benchmarks are listed in Table 4.

Benchmark PprodijP_{\mathrm{prod}}^{ij} PdecayP_{\mathrm{decay}} Production modes Decay modes
2HNL-D1 cuN,12V,RRc_{uN,12}^{V,RR} VeNV_{eN} DN+ND\to N+N All decay modes via active-heavy mixing, see e.g. Ref. Bondarenko:2018ptm .
Dπ+N+ND\to\pi+N+N
Dη()+N+ND\to\eta^{(\prime)}+N+N
2HNL-D2 cuN,12S,RRc_{uN,12}^{S,RR} VeNV_{eN} Dρ+N+ND\to\rho+N+N
Dω+N+ND\to\omega+N+N
DsK()+N+ND_{s}\to K^{(\ast)}+N+N
2HNL-B1 cdN,31V,RRc_{dN,31}^{V,RR} VeNV_{eN} BN+NB\to N+N All decay modes via active-heavy mixing, see e.g. Ref. Bondarenko:2018ptm .
Bπ+N+NB\to\pi+N+N
Bη()+N+NB\to\eta^{(\prime)}+N+N
2HNL-B2 cdN,31S,RRc_{dN,31}^{S,RR} VeNV_{eN} Bρ+N+NB\to\rho+N+N
Bω+N+NB\to\omega+N+N
BsK()+N+NB_{s}\to K^{(\ast)}+N+N
Table 4: Example benchmarks from Ref. Beltran:2022ast for which HNL production is mediated by a pair-NRN_{R} operator with certain quark flavor indices, whereas HNL decays proceed via active-heavy mixing.

For the computation of the corresponding branching ratios, we refer the reader to Ref. Beltran:2022ast .

Refer to caption
Refer to caption
Figure 2: Reinterpretation results for the four selected pair-NRN_{R} benchmarks, shown in the plane |VeN|2|V_{eN}|^{2} vs. mNm_{N} for fixed corresponding Wilson coefficients at 0.001v2v^{-2}. The solid lines are simulation results obtained in Ref. Beltran:2022ast and dashed lines are reinterpretation results derived in the present work. The red dashed lines are for CHARM CHARM:1985nku .
Refer to caption
Refer to caption
Figure 3: Reinterpretation results for the 2HNL-D1 (top panel) and 2HNL-D2 benchmarks (bottom panel), fixing |VeN|2|V_{eN}|^{2} at 10710^{-7} (left column) and 101010^{-10} (right column), shown in the plane cc vs. mNm_{N}. The solid lines are simulation results obtained in Ref. Beltran:2022ast and dashed lines are reinterpretation results derived in the present work. The red dashed lines are for CHARM CHARM:1985nku .
Refer to caption
Refer to caption
Figure 4: The same as Fig. 3 but for the 2HNL-B1 (top panel) and 2HNL-B2 benchmarks (bottom panel). The markers on the ANUBIS and MATHUSLA curves in the left plots correspond roughly to the positions where our recasting method’s approximation starts to break down.

We show the reinterpretation results in Fig. 2, Fig. 3, and Fig. 4. These are shown either in the (mN,|VeN|2)(m_{N},|V_{eN}|^{2}) plane with the Wilson coefficients fixed at 0.001v2v^{-2} (Fig. 2), or in the (mN,c)(m_{N},c) plane for |VeN|2=107,1010|V_{eN}|^{2}=10^{-7},10^{-10} (Fig. 3 and Fig. 4) with cc 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 DD-meson benchmarks. On the other hand, as the Belle search Belle:2013ytx requires a prompt lepton, it is insensitive to the two BB-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 |VeN|2=107|V_{eN}|^{2}=10^{-7} and mN2.0m_{N}\gtrsim 2.0 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 |VeN|2=107|V_{eN}|^{2}=10^{-7}, roughly where our recasting method’s approximation breaks down. Moreover, for the two DD-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 |VeN|2|V_{eN}|^{2} regime in Fig. 2.

Note that the invisible decay width constraint has been included in Fig. 3 and Fig. 4 (the gray area), implemented according to the relevant discussion in Sec. 3.1.

4.1.2 Four-fermion single-NRN_{R} operators with a charged lepton

In contrast to the pair-NRN_{R} operators, the same single-NRN_{R} 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 d=6d=6 single-NRN_{R} operators in the NRN_{R}SMEFT have been considered. In the notation of Ref. DeVries:2020jbs , we have (see Eqs. (8), (18) and (19) therein):

v2cudeNV,RR\displaystyle v^{2}c_{udeN}^{V,RR} =c¯VR(6)CVRR(6),\displaystyle=\overline{c}_{\rm VR}^{(6)}\approx C_{\rm VRR}^{(6)}\,, v2cudeNV,LR=c¯VL(6)CVLR(6),\displaystyle v^{2}c_{udeN}^{V,LR}=\overline{c}_{\rm VL}^{(6)}\approx C_{\rm VLR}^{(6)}\,, (10)
v2cudeNS,RR\displaystyle v^{2}c_{udeN}^{S,RR} =c¯SR(6)CSRR(6),\displaystyle=\overline{c}_{\rm SR}^{(6)}\approx C_{\rm SRR}^{(6)}\,, v2cudeNT,RR=c¯T(6)CTRR(6),\displaystyle v^{2}c_{udeN}^{T,RR}=\overline{c}_{\rm T}^{(6)}\approx C_{\rm TRR}^{(6)}\,, (11)
v2cudeNS,LR\displaystyle v^{2}c_{udeN}^{S,LR} =c¯SL(6)CSLR(6),\displaystyle=\overline{c}_{\rm SL}^{(6)}\approx C_{\rm SLR}^{(6)}\,, v2cudeNV,LL=C¯VL(6)CVLL(6),\displaystyle v^{2}c_{udeN}^{V,LL}=\overline{C}_{\rm VL}^{(6)}\approx C_{\rm VLL}^{(6)}\,, (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 NRN_{R}SMEFT, whereas the remaining four operators are generated by the NRN_{R}SMEFT four-fermion operators.

In Ref. DeVries:2020jbs , two scenarios have been considered: (i) a leptoquark (LQ) model leading to CSRR(6)=4CTRR(6)C_{\rm SRR}^{(6)}=4C_{\rm TRR}^{(6)} and (ii) a scenario motivated by left-right symmetric models for which CVLR(6)0C_{\rm VLR}^{(6)}\neq 0. 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 PprodijP_{\mathrm{prod}}^{ij} PdecayklP_{\mathrm{decay}}^{kl} Production modes Decay modes
1HNL-D1 CSRR21=4CTRR21C_{\rm SRR}^{21}=4C_{\rm TRR}^{21} CSRR11=4CTRR11C_{\rm SRR}^{11}=4C_{\rm TRR}^{11} De+ND\to e+N
Dπ+e+ND\to\pi+e+N Nπ+eN\to\pi+e
1HNL-D2 CVLR21C_{\rm VLR}^{21} CVLR11C_{\rm VLR}^{11} Dρ+e+ND\to\rho+e+N Nρ+eN\to\rho+e
DsK()+e+ND_{s}\to K^{(\ast)}+e+N
1HNL-B1 CSRR13=4CTRR13C_{\rm SRR}^{13}=4C_{\rm TRR}^{13} CSRR11=4CTRR11C_{\rm SRR}^{11}=4C_{\rm TRR}^{11} Be+NB\to e+N
Bπ+e+NB\to\pi+e+N Nπ+eN\to\pi+e
1HNL-B2 CVLR13C_{\rm VLR}^{13} CVLR11C_{\rm VLR}^{11} Bρ+e+NB\to\rho+e+N Nρ+eN\to\rho+e
BsK()+e+NB_{s}\to K^{(\ast)}+e+N
Table 5: Example benchmarks from Ref. DeVries:2020jbs for which HNL production and decays are mediated by the same single-NRN_{R} operator structure, but with different quark flavor indices for production and decay: (ij)(kl)(ij)\neq(kl). We rename benchmark 1.2 (1.3) in Ref. DeVries:2020jbs as 1HNL-D1 (1HNL-D2) and benchmark 3.2 (3.3) as 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 |VeN|2|V_{eN}|^{2} is vanishing, and the production and decay of the HNLs are solely induced by the two single-NRN_{R} 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 |VeN|2|V_{eN}|^{2} was taken to be equal to mν/mN=(0.05 eV)/mNm_{\nu}/m_{N}=(0.05\text{ eV})/m_{N} as a representative value leading to the HNL participation in weak interaction with the mixing. Since we assume vanishing |VeN|2|V_{eN}|^{2}, 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 DD-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 e±πe^{\pm}\pi^{\mp}, where the charged pion was not searched for in Ref. CHARM:1985nku . However, for the BB-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 BB-decays and their final states were also searched for in Ref. Belle:2013ytx . Here, we take into account both B±B^{\pm} and B0B^{0} 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 Pprod13=Pdecay11P^{13}_{\text{prod}}=P^{11}_{\text{decay}} vs. mNm_{N}, 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.

Refer to caption
Figure 5: Reinterpretation results in dashed curves for benchmarks 1HNL-D1 (left panel) and 1HNL-D2 (right panel), shown in two types of parameter planes. The full simulation results obtained in Ref. DeVries:2020jbs are not overlapped, because here we turn off completely the minimal mixings, unlike in Ref. DeVries:2020jbs , leading to discrepancies in certain parameter regions where the non-zero mixing plays an important role, e.g. at masses below the pion threshold. The CHARM search CHARM:1985nku is not sensitive to this scenario and is hence not reinterpreted. Our reinterpretation method does not apply in the prompt regime, and hence the corresponding bounds for large decay couplings are not available.
Refer to caption
Figure 6: The same figure as Fig. 5, but for benchmarks 1HNL-B1 and 1HNL-B2. In addition, here, besides the LHC far detectors, we also reinterpret the Belle search Belle:2013ytx . As in Fig. 5, the “prompt bounds” are not derivable with the fast reinterpretation method and are hence not displayed.

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 aa to d=5d=5 reads

ALP=12μaμa12ma2a2+μa[qi,jcijqqi¯γμqj+l,cll¯γμl]+,\mathcal{L}_{\mathrm{ALP}}=\frac{1}{2}\,\partial_{\mu}a\,\partial^{\mu}a-\frac{1}{2}\,m_{a}^{2}\,a^{2}+\partial_{\mu}a\left[\sum_{q}\sum_{i,j}c^{q}_{ij}\,\overline{q_{i}}\gamma^{\mu}q_{j}+\sum_{l}\sum_{\ell,\ell^{\prime}}c^{l}_{\ell\ell^{\prime}}\,\overline{l_{\ell}}\gamma^{\mu}l_{\ell^{\prime}}\right]+\dots\,, (13)

where mam_{a} denotes the ALP mass; qq runs over uLu_{L}, uRu_{R}, dLd_{L}, dRd_{R}; ll goes over eLe_{L}, eRe_{R}, νL\nu_{L}; and the dots stand for the couplings of the ALP to anomalous gauge currents. This Lagrangian is approximately invariant under the shift symmetry, aa+constanta\to a+\text{constant}.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 =e\ell=e, μ\mu, τ\tau, we have

μa[ceL¯γμPL+ceR¯γμPR]c2μa¯γμγ5withc=ceRceL.\partial_{\mu}a\left[c^{e_{L}}_{\ell\ell}\,\overline{\ell}\gamma^{\mu}P_{L}\ell+c^{e_{R}}_{\ell\ell}\,\overline{\ell}\gamma^{\mu}P_{R}\ell\right]\to\frac{c_{\ell\ell}}{2}\,\partial_{\mu}a\,\overline{\ell}\gamma^{\mu}\gamma_{5}\ell\quad\text{with}\quad c_{\ell\ell}=c^{e_{R}}_{\ell\ell}-c^{e_{L}}_{\ell\ell}\,. (14)

For ma>2mm_{a}>2m_{\ell}, this coupling triggers the decay a¯a\to\ell\bar{\ell} with the decay rate Bauer:2017ris

Γ(a+)=c28πmam214m2ma2.\Gamma\left(a\to\ell^{+}\ell^{-}\right)=\frac{c_{\ell\ell}^{2}}{8\pi}\,m_{a}m_{\ell}^{2}\,\sqrt{1-\frac{4m_{\ell}^{2}}{m_{a}^{2}}}\,. (15)

Concerning the quark flavor indices, we will consider two possibilities: (i) up-type quarks with i=1i=1 and j=2j=2 leading to the cuc\to u transitions, i.e. D(π,η(),ρ,ω)+aD\to(\pi\,,~{}\eta^{(\prime)}\,,~{}\rho\,,~{}\omega)+a and Ds+K()++aD_{s}^{+}\to K^{(\ast)+}+a, and (ii) down-type quarks with i=3i=3 and j=2j=2 realizing the bsb\to s transitions, i.e. BK()+aB\to K^{(\ast)}+a and Bs0(η(),ϕ)+aB_{s}^{0}\to(\eta^{(\prime)}\,,~{}\phi)+a. The corresponding decay rates read Bauer:2021mvw :

Γ(PPa)\displaystyle\Gamma\left(P\to P^{\prime}a\right) =f|cijq|264π|F0PP(ma2)|2mP3(1mP2mP2)2λ1/2(mP2mP2,ma2mP2),\displaystyle=f\,\frac{|c^{q}_{ij}|^{2}}{64\pi}\left|F_{0}^{P\to P^{\prime}}(m_{a}^{2})\right|^{2}m_{P}^{3}\left(1-\frac{m_{P^{\prime}}^{2}}{m_{P}^{2}}\right)^{2}\lambda^{1/2}\left(\frac{m_{P^{\prime}}^{2}}{m_{P}^{2}},\frac{m_{a}^{2}}{m_{P}^{2}}\right)\,, (16)
Γ(PVa)\displaystyle\Gamma\left(P\to Va\right) =g|cijq|264π|A0PV(ma2)|2mP3λ3/2(mV2mP2,ma2mP2),\displaystyle=g\,\frac{|c^{q}_{ij}|^{2}}{64\pi}\left|A_{0}^{P\to V}(m_{a}^{2})\right|^{2}m_{P}^{3}\,\lambda^{3/2}\left(\frac{m_{V}^{2}}{m_{P}^{2}},\frac{m_{a}^{2}}{m_{P}^{2}}\right)\,, (17)

where F0PPF_{0}^{P\to P^{\prime}} and A0PVA_{0}^{P\to V} are the corresponding form factors defined in Ref. Wirbel:1985ji , and

λ(x,y)=1+x2+y22x2y2xy.\lambda(x,y)=1+x^{2}+y^{2}-2x-2y-2xy\,. (18)

The numerical factors ff and gg are different from 1 only in some transitions involving neutral mesons. In particular, we have f=1/2f=1/2 for D0π0D^{0}\to\pi^{0}, f=2/3f=2/3 for D0ηD^{0}\to\eta and Bs0ηB_{s}^{0}\to\eta, and f=1/3f=1/3 for D0ηD^{0}\to\eta^{\prime} and Bs0ηB_{s}^{0}\to\eta^{\prime}, whereas g=1/2g=1/2 for D0ρ0D^{0}\to\rho^{0} and D0ωD^{0}\to\omega. For q=uq=u and (i,j)=(1,2)(i,j)=(1,2), we have

c12u=c12uR+c12uL\displaystyle c^{u}_{12}=c^{u_{R}}_{12}+c^{u_{L}}_{12}\qquad forD+π+,Ds+K+,\displaystyle\text{for}\qquad D^{+}\to\pi^{+},~{}D_{s}^{+}\to K^{+},
andD0π0,D0η,D0η,\displaystyle\text{and}\qquad D^{0}\to\pi^{0},~{}D^{0}\to\eta,~{}D^{0}\to\eta^{\prime}\,, (19)
c12u=c12uRc12uL\displaystyle c^{u}_{12}=c^{u_{R}}_{12}-c^{u_{L}}_{12}\qquad forD+ρ+,Ds+K+,\displaystyle\text{for}\qquad D^{+}\to\rho^{+},~{}D_{s}^{+}\to K^{\ast+},
andD0ρ0,D0ω.\displaystyle\text{and}\qquad D^{0}\to\rho^{0},~{}D^{0}\to\omega\,. (20)

For q=dq=d and (i,j)=(3,2)(i,j)=(3,2), we have instead,

c32d=c32dR+c32dL\displaystyle c^{d}_{32}=c^{d_{R}}_{32}+c^{d_{L}}_{32}\qquad forB+K+,\displaystyle\text{for}\qquad B^{+}\to K^{+},
andB0K0,Bs0η,Bs0η,\displaystyle\text{and}\qquad B^{0}\to K^{0},~{}B_{s}^{0}\to\eta,~{}B_{s}^{0}\to\eta^{\prime}, (21)
c32d=c32dRc32dL\displaystyle c^{d}_{32}=c^{d_{R}}_{32}-c^{d_{L}}_{32}\qquad forB+K+, and B0K0,Bs0ϕ.\displaystyle\text{for}\qquad B^{+}\to K^{\ast+},\text{ and }B^{0}\to K^{\ast 0},~{}B_{s}^{0}\to\phi\,. (22)

In the numerical study, we will assume that either cijqR=0c^{q_{R}}_{ij}=0 or cijqL=0c^{q_{L}}_{ij}=0, such that a single coupling controls both PP+aP\to P^{\prime}+a and PV+aP\to V+a decays. The considered benchmarks are shown in Table 6.

Benchmark PprodijP_{\mathrm{prod}}^{ij} PdecayP_{\mathrm{decay}} Production modes Decay modes
ALP-D c12uc^{u}_{12} ceec_{ee} Dπ+aD\to\pi+a ae++ea\to e^{+}+e^{-}
Dη()+aD\to\eta^{(\prime)}+a
Dρ+aD\to\rho+a
Dω+aD\to\omega+a
DsK()+aD_{s}\to K^{(\ast)}+a
ALP-B c32dc^{d}_{32} ceec_{ee} BK()+aB\to K^{(\ast)}+a ae++ea\to e^{+}+e^{-}
Bsη()+aB_{s}\to\eta^{(\prime)}+a
Bsϕ+aB_{s}\to\phi+a
Table 6: Example benchmarks for the scenario in which an ALP is produced through a flavor off-diagonal coupling to quarks (iji\neq j) and subsequently decays via a flavor-diagonal coupling to charged leptons.

The charge-conjugated channels are included in the computation.

We take the transition form factors F0DP(q2)F_{0}^{D\to P^{\prime}}(q^{2}) from Ref. Lubicz:2017syv for DπD\to\pi and F0DP(q2)F_{0}^{D\to P^{\prime}}(q^{2}) and A0DV(q2)A_{0}^{D\to V}(q^{2}) from Ref. Ivanov:2019nqd for the other DD-meson decays listed in Table 6. For the BB-meson decays, we use F0BP(q2)F_{0}^{B\to P^{\prime}}(q^{2}) from Ref. Aoki:2021npn for BKB\to K and from Ref. Wu:2006rd for Bs0η()B_{s}^{0}\to\eta^{(\prime)}; we extract A0BV(q2)A_{0}^{B\to V}(q^{2}) from Ref. Bharucha:2015bzk for BKB\to K^{\ast} and Bs0ϕB_{s}^{0}\to\phi. In all these cases we evaluate the form factors at q2=ma2q^{2}=m_{a}^{2}. For more details on the form factors used, we refer the reader to Appendix A.3 of Ref. Beltran:2022ast .999We note that A0PVA_{0}^{P\to V} used here is related to the form factors employed in Ref. Beltran:2022ast as |A0PV(q2)|=12mV|f(q2)+(mP2mV2)a+(q2)+q2a(q2)|.\left|A_{0}^{P\to V}(q^{2})\right|=\frac{1}{2m_{V}}\left|f(q^{2})+\left(m_{P}^{2}-m_{V}^{2}\right)a_{+}(q^{2})+q^{2}a_{-}(q^{2})\right|\,.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 7: Branching ratios of DD- and BB-meson decays to a lighter meson and the ALP triggered by the couplings c12uc^{u}_{12} and c32dc^{d}_{32}, respectively. The couplings have been fixed as c12u=2×104c^{u}_{12}=2\times 10^{-4} TeV-1 (top) and c32d=8×106c^{d}_{32}=8\times 10^{-6} TeV-1 (bottom).

Further, to obtain the current upper bounds on c21uc^{u}_{21} and c32dc^{d}_{32}, we consider the strongest existing experimental limits on the decay branching ratios of D0π0νν¯D^{0}\to\pi^{0}\nu\bar{\nu} and BKνν¯B\to K\nu\bar{\nu}, while currently there is no measurement of the decay branching ratios of D±π±νν¯D^{\pm}\to\pi^{\pm}\nu\bar{\nu} and DsKνν¯D_{s}\to K\nu\bar{\nu}. BESIII BESIII:2021slf reports an upper bound of 2.1×1042.1\times 10^{-4} on BR(D0π0νν¯)(D^{0}\to\pi^{0}\nu\bar{\nu}) at 90% C.L., and Belle Belle:2017oht gives upper bounds of 1.9×1051.9\times 10^{-5} on BR(B+K+νν¯)(B^{+}\to K^{+}\nu\bar{\nu}) and 1.3×1051.3\times 10^{-5} on BR(B0KS0νν¯)(B^{0}\to K^{0}_{S}\nu\bar{\nu}) at 90% C.L.. In numerical studies, we multiply the latter by 2 to reach a bound of 2.6×1052.6\times 10^{-5} on BR(B0K0νν¯)(B^{0}\to K^{0}\nu\bar{\nu}). Plugging these numbers into Eq. (16) for various possible ALP masses, we derive upper bounds on the QFV couplings c21uc^{u}_{21} and c32dc^{d}_{32}. At the end, conservatively, we choose to take c12u=2×104c^{u}_{12}=2\times 10^{-4} TeV-1 and c32d=8×106c^{d}_{32}=8\times 10^{-6} TeV-1 for our numerical analysis. In Fig. 7, we display the branching ratios of the DD- and BB-meson decays discussed above, fixing the corresponding couplings to these values. 101010For the NRN_{R}LEFT scenario with pair-NRN_{R} 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-NRN_{R} 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 ceec_{ee}, we extract supernovae limits from Ref. Ferreira:2022xlw , beam-dump bounds from Ref. Essig:2010gu ; Bjorken:1988as , as well as BB-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 ceec_{ee} vs. mam_{a}, fixing c12uc^{u}_{12} and c32dc^{d}_{32} at the above-mentioned values.

Refer to caption
Refer to caption
Figure 8: Reinterpretation results for ALPs produced from meson decays and decaying into a pair of electrons. The gray area represents the existing bounds on the coupling ceec_{ee}, obtained at E137 Essig:2010gu ; Bjorken:1988as (dark gray) and derived from supernovae Ferreira:2022xlw (light gray). Since our method does not work in the prompt regime, the corresponding bounds on higher values of ceec_{ee} are not shown.

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 c12uc^{u}_{12} and c32dc^{d}_{32}, given a different value of ceec_{ee} 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 c12u=2×104c^{u}_{12}=2\times 10^{-4} TeV-1, MATHUSLA is sensitive to cee107c_{ee}\approx 10^{-7} TeV-1 for ma=1m_{a}=1 GeV. For another value of ceec_{ee}, say, 106(108)10^{-6}~{}(10^{-8}) TeV-1, we easily see that this corresponds to a decay length smaller (larger) by a factor of 100, and hence a bound of 2×1052\times 10^{-5} (2×1032\times 10^{-3}) TeV-1 on c12uc^{u}_{12}. 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-NRN_{R} operators, the HNLs are produced in pair via these EFT operators and decay via mixing with the electron neutrino. For single-NRN_{R} 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 ae+ea\to e^{+}e^{-} 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 KS0,KL0K^{0}_{S},K^{0}_{L}, and K±K^{\pm}; 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 π0\pi^{0} and π±\pi^{\pm}, for the same reasons.111111For DD- and BB-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 WW-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