Effective field theory approach to lepton number violating decays K±→π∓lα±lβ±:\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {K}^{\pm}\to {\pi}^{\mp }{l}_{\alpha}^{\pm }{l}_{\beta}^{\pm }: $$\end{document} long-distance contribution

This is a sequel to our recent work [1] in which we calculated the lepton number violating (LNV) K± decays due to contact dimension-9 (dim-9) quark-lepton effective interactions that are induced at a high energy scale. In this work we investigate the long- distance contribution to the decays arising from the exchange of a neutrino. These decays can probe LNV interactions involving the second generation of fermions that are not reach- able in nuclear neutrinoless double-β decays. Our study is completely formulated in the framework of effective field theories (EFTs), from the standard model effective field theory (SMEFT) through the low energy effective field theory (LEFT) to chiral perturbation theory (χPT). We work to the first nontrivial orders in each effective field theory, collect along the way the matching conditions and renormalization group effects, and express the decay branching ratios in terms of the Wilson coefficients associated with the dim-5 and dim-7 operators in SMEFT. Our result is general in that it does not depend on dynamical details of physics at a high scale that induce the effective interactions in SMEFT and in that it does not appeal to any hadronic models. We find that the long-distance contribution overwhelmingly dominates over the contact or short-distance one. Assuming the new physics scale to be around a TeV, the branching ratios are predicted to be below the current experimental upper bounds by several orders of magnitude.


Introduction
The origin of neutrino mass and the nature of neutrinos remain a challenging issue in physics beyond the standard model. If neutrinos are Majorana fermions, the lepton number is violated by two units. In that case it is desirable to explore lepton number violating (LNV) signals beyond the Majorana neutrino masses. At a high energy collider such as the LHC, the LNV signals usually manifest themselves as like-sign multileptons that supposedly originate from the decays of new heavy particles engaged in neutrino mass generation [2]. The null search result then sets a lower bound on the masses of new particles under some simplifying assumptions. Complementary to these direct searches are high-precision experiments at low energy that seek the imprints of new physics in rare or forbidden processes. The most extensively studied so far are the so-called nuclear neutrinoless double β (0νββ) decays, X → X e ∓ e ∓ , in which a parent nucleus X decays into a daughter nucleus X with the release of a pair of like-sign electrons or positrons [3,4]. The null result in current experiments can be then used to set a strong bound on the relevant LNV physics [5,6].
From the theoretical point of view the LNV decays of the flavored mesons and the τ lepton are sensitive to the effective interactions of the fermions beyond the first generation that cannot be probed in the nuclear 0νββ decays due to kinematical limitations, and can JHEP03(2020)120 thus provide complementary information on underlying new physics. These decays can be best investigated with the aid of various effective theories while avoiding theoretical uncertainties associated with nuclear physics. In a recent publication [1] we started the endeavor with the decays K ± → π ∓ l ± l ± arising from effective contact interactions among light quarks and charged leptons l = e, µ. In this work we make a comprehensive analysis on the decays by incorporating the long-distance contribution due to the exchange of neutrinos. Before diving into technical details we describe briefly the strategy of our study in the framework of effective field theory (EFT).
In the low energy region defined by the kaon and pion masses, the relevant dynamical degrees of freedom are the octet of the pseudo-Nambu-Goldstone bosons (π, K, η), charged leptons, neutrinos, and the photon, if we assume there are no new very light particles. The low-energy manifestations of lepton number violation from any high-scale new physics are reflected in the effective interactions of those light particles, which can be systematically organized in chiral perturbation theory (χPT) formulated in terms of external sources [24][25][26]. In particular, working to the leading order in χPT and in LNV effects, lepton number violation could manifest itself through the neutrino mass (shown in figure 1(a)), effective interactions of a single meson with a charged lepton and neutrino pair (figure 1(b)) or of the two mesons with a pair of likely-charged leptons (figure 1(c)). The short-distance (SD) contribution in figure 1(c) was thoroughly studied in [1], and this work will focus on the long-distance (LD) terms in figure 1(a, b) due to the exchange of neutrinos. It is easy to parameterize the above effective interactions, but our aim is to work them out systematically in the EFT approach by matching sequentially to EFTs closer to new physics at a high scale. In this manner we are able to express the decay branching ratios in terms of the Wilson coefficients in the EFT defined at the electroweak scale or an even higher scale when necessary.
The paper is organized as follows. We start in section 2 with the low energy effective field theory (LEFT) defined between the electroweak scale Λ EW and chiral symmetry breaking scale Λ χ [27,28]. We collect the relevant dimension-3 (dim-3), -6 and -7 LNV effective operators and discuss their one-loop QCD running effects. (The dim-3, -4, and -5 operators are the mass, kinetic, and electromagnetic (transition) moment terms.) We then match them to other EFTs along the ladder of scales. In section 3, the dim-6 and -7 operators in LEFT are matched at the scale Λ χ to χPT, thus determining the vertices in figure 1 in terms of the Wilson coefficients in LEFT and low energy constants (LECs) of QCD strong dynamics. Then in section 4 we match LEFT upwards the scale to the standard model effective field theory (SMEFT), assuming that there are no new particles with a mass of order Λ EW or lower. The relevant leading LNV operators in SMEFT are the dim-5 and -7 ones known in the literature [29][30][31][32] and reproduced in appendix A. We express the branching ratios in terms of the Wilson coefficients in SMEFT and the LECs of strong dynamics through the above two-step matching, whose complete expressions can be found in appendix B, and make some numerical estimates. Our main findings are finally recapitulated in section 5. JHEP03(2020)120

LNV effective interactions in LEFT
The low energy effective field theory is an EFT defined between the electroweak scale Λ EW ∼ 10 2 GeV and chiral symmetry breaking scale Λ χ = 4πF π ∼ 1 GeV. The dynamical degrees of freedom include five quarks (u, d, s, c, b), all charged leptons (e, µ, τ ) and neutrinos (ν e , ν µ , ν τ ), the photon and gluons, and enjoy QED and QCD gauge symmetries. LEFT has been fruitfully applied particularly in flavor physics [27]. As a low energy effective theory, it is an organized and infinite series of effective interactions whose importance is relatively measured by canonical dimensions of effective operators with similar symmetry properties. For our purpose here we focus on the effective operators that violate the lepton number L by two units and potentially contribute to the decays under consideration at the leading orders.
We work without losing generality in the convention that quarks and charged leptons have been diagonalized while neutrinos are in their flavor states. Different conventions amount to different ways to incorporate quark and lepton mixing matrices in generally unknown Wilson coefficients. We first recall that the SD contribution in figure 1(c) arises at leading order from dim-9 operators involving two like-sign leptons and four quarks which have been thoroughly analyzed in ref. [1]. In the following we investigate systematically the effective operators that could finally dominate the LD contribution in figure 1(a,b). The dim-3 operator is unique, i.e., the Majorana neutrino mass term in the effective Lagrangian: where m αβ is the neutrino mass matrix in the flavor basis of the neutrinos ν α = ν e , ν µ , ν τ and the superscript C refers to charge conjugation. For the LNV interactions in figure 1(b), the relevant operators in LEFT involve one charged lepton, one neutrino, and a pair of quarks. These operators first appear at dimension six and have been classified in ref. [28].

JHEP03(2020)120
Following our notations in [1], we denote them as follows: Here the Latin letters p, r indicate the flavors of the up-and down-type quarks u p , d r whose chiralities (L, R) are shown by their subscripts and by the first two superscripts of the operators O. Since ν C β is right-handed, the chirality of the charged lepton field in a lepton bilinear is automatically determined by the type of the operators, S, V, T . In addition we also require the SM effective operators due to charged-current interactions between leptons and quarks: where the V pr is the Cabibbo-Kobayashi-Maskawa (CKM) matrix. At the next order LNV operators carry a covariant derivative D µ to become dimension 7. Considering the restrictions and reductions due to gauge symmetry, equations of motion, integration by parts, and Fierz identities, we obtain the following LNV operators relevant to our purpose here [33]: The operators in equations (2.2)-(2.7), as well as the dim-3 Majorana mass term (2.1), make up the main body for the LD contribution. These operators will be matched in the next section to those in χPT where the lepton bilinears act as external sources.
Since we will match the effective interactions in LEFT to those in SMEFT at the scale Λ EW and to those in χPT at the scale Λ χ , it is necessary to sum the large logarithms between the two scales using renormalization group equations. In our case the leading effect arises from the 1-loop QCD renormalization. While the vector-type operators are free of renormalization, the scalar-and tensor-type operators are indeed renormalized, whose Wilson coefficients satisfy the renormalization group equations: where C F = (N 2 − 1)/(2N ) = 4/3 with N = 3 being the color number. The solutions between the scales µ 1 and µ 2 are

JHEP03(2020)120
where b = −11 + 2n f /3 with n f being the number of active quark flavors. Incorporating quark threshold effects, we obtain the numerical results between the scales Λ χ and Λ EW : Thus the scalar-type interactions are enhanced while the tensor-type ones are suppressed when evolving down from the high scale Λ EW to the low scale Λ χ .

Matching onto effective interactions in χPT
While the charged leptons and neutrinos retain their identities at low energy, the quark and gluon degrees of freedom will condense into hadrons due to strong dynamics. Since the process K − → π + l − α l − β in question involves only the light quarks q = u, d, s, its transition matrix element due to effective interactions in LEFT can be beautifully evaluated by matching to chiral perturbation theory, which is the low energy effective field theory of QCD. χPT is based on the fact that the QCD Lagrangian has the approximate chiral symmetry SU(3) L × SU(3) R for the three light quarks which is spontaneously broken by the quark condensate qq = −3BF 2 0 to the diagonal SU(3) V . The symmetry breakdown brings about eight pseudo-Nambu-Goldstone bosons (pNGBs), which are identified with the octet of the lowest-lying pseudoscalars π ± , π 0 , K ± , K 0 , K 0 , η. In the χPT formalism they are represented by the element in the coset space SU(3) L × SU(3) R /SU(3) V and take the matrix form, where F 0 is the decay constant in the chiral limit. Corresponding to chiral transformations of quarks q L → Lq L and q R → Rq R , U transforms as The interactions of pNGBs with leptons due to dim-6 and dim-7 operators in equations (2.2)-(2.7) can be realized through the external source method in which the global chiral symmetry is promoted to a local one [24][25][26]. At the quark-gluon level, the QCD Lagrangian with all possible external sources is parameterized as follows, where L QCD is the QCD Lagrangian for massless u, d, s quarks. The external sources, . By comparing the external sources in equation (3.2) with the effective interactions in LEFT formed with the operators in equations (2.2)-(2.7) multiplied by their Wilson coefficients, one singles out the terms in external sources specific JHEP03(2020)120 to the K − → π + transition: where Λ 2 is a low energy constant (LEC). Since the tensor structure in equation (3.11) involves at least two pNGBs, one charged and one neutral, it cannot contribute at tree level to the process under consideration and will be ignored below. The expansion of equation (3.9) yields the following terms relevant to the LD contribution to the decay where the parameters defined at the scale Λ χ are JHEP03(2020)120 with P i = π, K for i = d, s (and sometimes i = 1, 2). We note in passing that the leading LD contribution does not introduce new LECs of QCD strong dynamics. The above results show that the dim-6 vector-type operators are suppressed by O(p/B) relative to their scalar-type counterparts while dim-7 vector-type operators are further suppressed by O(p/Λ EW ). To put it in short, among the dim-6 and -7 LNV operators in LEFT, the scalar-type dim-6 operators generically dominate the LD contribution.

Matching onto SMEFT and decay branching ratios
Now we make connections between the effective interactions in SMEFT and LEFT, so that we can parameterize the decay branching ratios as a function of the SMEFT Wilson coefficients. The dim-5 and -7 LNV operators in SMEFT are reproduced in appendix A where we slightly improve the basis of dim-7 operators over ref. [31]. At the scale Λ EW where the electroweak symmetry spontaneously breaks down, we integrate out the heavy SM particles (W, Z, h, t) to induce effective interactions in LEFT. The matching results at Λ EW for the Wilson coefficients of the relevant dim-3, -6, and -7 operators in LEFT are, in terms of those of the dim-5 and -7 operators in SMEFT, where v ≈ 246 GeV is the vacuum expectation value of the Higgs field and we have neglected contributions suppressed by small Yukawa couplings. Incorporating the 1-loop QCD running effect in equation (2.11), the c i parameters in equation (3.12) defined at Λ χ are expressed in terms of the SMEFT Wilson coefficients defined at Λ EW : We are now in a position to employ equation (3.12) to calculate the LD contribution to the K − decay shown in figure 1(a,b). To make our answer complete, we include the SD contribution in figure 1(c) which takes the form [1] JHEP03(2020)120 where The X parameters are sums of the Wilson coefficients of the dim-7 operators in SMEFT defined at Λ EW , while the QCD LECs determined in [34] are, in our notation [1], g 27×1 = 0.38 ± 0.08, g a 8×8 = (5.5 ± 2) GeV 2 , and g b 8×8 = (1.55 ± 0.65) GeV 2 . The complete amplitude for the where T SD stands for the SD term and the others are the LD ones: with s = (p 1 + p 2 ) 2 , t = (k − p 1 ) 2 , and u = (k − p 2 ) 2 . The amplitude has the correct antisymmetry under interchange of the two leptons upon using the relations for bilinear spinor wavefunctions and obvious relations for T SD and T i tensors. The decay width is calculated as

JHEP03(2020)120
where the first factor removes double counting in phase space integration for identical particles, and the integration domains are with m K,π,α,β being the masses of the K − , π + , l α , and l β respectively and where int. stands for interference terms between any pair of Wilson coefficients, whose complete forms are displayed in appendix B. We can see a few features from the above results. First of all, since the neutrino mass scale is at most O(eV) [39,40], the contribution JHEP03(2020)120 from the neutrino mass matrix is negligible for any measurable branching ratios in a collidertype experiment. Second, if we assume the Wilson coefficients associated with the dim-7 operators in SMEFT are similar in size, all of X and Y parameters will be of a similar order of magnitude. Their relative importance is measured by their prefactors, which have the rough ratios: Generically speaking, a long-distance contribution (Y P i ,j term) due to a neutrino exchange in figure 1(b) dominates over its similar short-distance one (X j term) in figure 1(c), which in turn is similar to a Y P i j+1 term. The current experimental upper bounds on the above decays are

names bounds names bounds names bounds names bounds
To get some numerical feel on what these bounds would imply and considering the limited number of experimental bounds compared to that of Wilson coefficients, we assume only one of the X i or Y i is nonzero. The above upper bounds on branching ratios then translate into the lower bounds on their inverse cubic roots as displayed in table 1. The bounds are rather weak, especially when compared with those from nuclear 0νββ decays [32,38]. This relative weakness originates from much smaller data samples accumulated in kaon experiments than the number of nuclei available in a ton-level experiment of 0νββ decays as we estimated roughly in ref. [1]. Thus the weak bounds should not be interpreted as if the SMEFT approach would be valid for a new particle with a mass as low as tens or JHEP03(2020)120  even a few GeV; on the contrary, if there are such particles, they must be incorporated explicitly into the expanded version of SMEFT and even LEFT. Nevertheless, we stress that however weak the bounds are, they are the first ones worked out in a systematic effective field theory approach that involve the second generation of fermions and are thus complementary to those obtained from nuclear 0νββ decays. Conversely, if we assume the dim-7 Wilson coefficients are all of order Λ −3 where Λ is the new physics scale, the branching ratios are dominated by the terms with the largest coefficients, i.e., the longdistance terms of Y αβ P i 1 . In figure 2 we plot our theoretical predictions as a function of Λ, together with the current experimental bounds; also shown are the contributions from the neutrino mass matrix alone assuming m ν ≈ 0.1 or 1 eV. For instance, if Λ > 1 TeV as the current LHC searches and the null results in nuclear 0νββ decays imply, we have for SMEFT: These branching ratios are several orders of magnitude smaller than the current experimental upper bounds. JHEP03(2020)120

Conclusion
We have accomplished a comprehensive analysis on the lepton number violating decays K ± → π ∓ l ± α l ± β in the effective field theory approach. We focused in this work on the long-distance contribution due to an exchange of neutrinos, and incorporated the shortdistance contribution obtained in our previous work [1]. It turns out that the long-distance contribution overwhelmingly dominates over the short-distance one by about three orders of magnitude in the decay branching ratios. Assuming there are no new particles with a mass of the order of or below the electroweak scale, we related the decay branching ratios to the leading LNV effective interactions in SMEFT due to dim-5 and dim-7 operators. Our results are general in that subject to the above loose assumption they are independent of dynamical details at an even higher new physics scale; instead, different dynamics are hidden in the Wilson coefficients in SMEFT. Our results do not employ any hadronic models, but are completely based on the well-established symmetries and effective field theories from SMEFT through LEFT to χPT. While the hadronic LECs entering in the short-distance contribution were fixed previously by experimental measurements and lattice calculations, the long-distance contribution involves no parameters other than the pion decay constant and quark condensate making our results very robust. Unfortunately, the current experimental upper bounds on the decay branching ratios are too weak to set a useful bound on the scale of new physics that is responsible for lepton number violation. JHEP03(2020)120 operators [31]: The relations between the new (left) and old (right) operators are as follows, where EoM refers to equations of motion terms.

JHEP03(2020)120 B Complete results for branching ratios in SMEFT
In this appendix we show the complete results for the branching ratios in terms of the Wilson coefficients in SMEFT: B(e − e − ) GeV 6 (B.1)