K+→μ+νμνν¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathrm{K}}^{+}\to {\mu}^{+}{\nu}_{\mu}\nu \overline{\nu} $$\end{document} and K+→e+νeνν¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathrm{K}}^{+}\to {\mathrm{e}}^{+}{\nu}_{\mathrm{e}}\nu \overline{\nu} $$\end{document} decays within the Chiral Perturbation Theory

Decays K+→μ+νμνν¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {K}^{+}\to {\mu}^{+}{\nu}_{\mu}\nu \overline{\nu} $$\end{document} and K+→e+νeνν¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {K}^{+}\to {e}^{+}{\nu}_e\nu \overline{\nu} $$\end{document} are examined to the leading order in momenta in the framework of Chiral Perturbation Theory. Predictions of the Standard Model for the muon and electron differential energy spectra and branching ratios of Kμ3ν and Ke3ν are presented.


Introduction
Standard Model of particle physics (SM) allows at tree level of perturbation theory fully leptonic 4-body kaon decays K + → µ + ν µνl ν l and K + → e + ν µνl ν l , where l = e, µ, τ . However they occur only in the fourth order of weak coupling constant g (that is in the second order of the Fermi constant G F ) and hence are expected to be extremely rare. We calculate the amplitudes of these processes exploiting the Chiral Perturbation Theory (ChPT) [1]. In this paper we perform calculations of the process amplitudes to the leading order in momenta expansion, O(p 2 ), obtain the charged lepton spectra and estimate the corresponding branching ratios.
Experimental searches for the kaon leptonic 4-body decays, starting from refs. [2,3] reveal no evidence for the processes so far, which is not surprising given the smallness of estimated SM branching ratios ∼ 10 −16 [3]. The kaon experiments with large statistics, e.g. E494, NA62 (with about 10 13 charged kaons), can either find a hint of new physics or place new much stronger limits on the partial widths K µ3ν and K e3ν . So the correct SM estimate is needed to tell one case from another. Ultimately, in the absence of new physics signal, an experiment with sufficiently large statistics would allow to probe the new ChPT form factors related to the neutral weak boson exchange.
In practice, only a part of the phase space of final particles is available for experimental study. In our case the only one particle in the final state, the charged lepton, is observable, hence one has to calculate the charged lepton spectra in K µ3ν and K e3ν .
The theoretical predictions for the charged lepton spectra are also required, as K µ3ν and K e3ν contribute to the background in searches for new particles in kaon decays, K + → µ + + X, K + → µ + + X + Y , K + → µ + + X + Y + Z, etc. where neutral particles, X, Y , Z, etc. (including hypothetical ones) are invisible. Well-known examples are searches for sterile neutrinos, K + → µ + + N , see e.g. ref. [4] for recent experimental results and JHEP10(2016)039 ref. [5] for possible motivation, searches for hidden photons, K + → µ + ν + A, see e.g. ref. [6] for recent results and ref. [7] for possible motivation. Though the contribution of K µ3ν is beyond the immediate registration, in many model of new physics we have no definite predictions for the signal strength. Extensive searches for new physics may, sooner or later, bring to the situation where detailed predictions of the SM contributions to K l3ν are required to either further constrain or study the new physics models.
Processes K µ3ν and K e3ν have been considered previously either within a hypothetical models of strong neutrino interactions [3,8] or within the SM where only charged current contributions of electron and muon doublets have been accounted for [3]. Neutral currents have been considered in ref. [6]. In the present paper we calculate all the relevant SM leading order contributions working within ChPT.
The paper is organized as follows. In section 2 we derive the interaction lagrangian relevant for the kaon leptonic 4-body decays, present the Feynman diagrams of the processes and corresponding amplitudes. The numerical results for lepton spectra and partial decay widths are presented in section 3. We conclude in section 4. Appendix A contains the details of calculation of squared matrix elements of K µ3ν and K e3ν , integration over the 4-body phase space is performed in appendix B.

Lagrangian and diagrams
We are using the standard ChPT [1], which properly describes the dynamics of the octet of light pseudoscalar mesons forming the unitary matrix F is meson decay constant, which numerical value is specified in due course. To the leading order in momentum the model lagrangian can be obtained from [9] Here l µ and r µ are introduced as follows: r µ = v µ + a µ and l µ = v µ − a µ , where v µ , a µ are sums of the weak and the electromagnetic fields, interacting with vector and axial quark currents in SM. These interactions for the relevant set of three light quarks, q ≡ (u, d, s) T , which masses enter χ in (2.3), reads SM gives the following quark couplings to charged W ± µ and neutral Z µ weak gauge bosons:

JHEP10(2016)039
where we introduce with V ud and V us standing for the corresponding elements of the Cabibbo-Kobayashi-Maskawa mixing matrix, and with θ denoting the weak mixing angle, which relates the gauge boson masses as M W = M Z cos θ. Thus we obtain for the matrices entering (2.3) . Finally we expand the exponent in (2.1), put it into (2.2) and take the relevant for our study part of ChPT O(p 2 ) Lagrangian (2.2) and leptonic weak current part of the SM Lagrangian (mass terms are omitted below): (2.7) Here l = e, µ, τ and ν l = ν e , ν µ , ν τ are charged leptons and corresponding neutrinos and we added η -meson as a natural completion of the set of relevant mesons. 1 Diagrams corresponding to K + → µ + ν µν ν decay are shown in figure 1. The amplitude of K µ3ν can be written as where sum goes over all the six diagrams of figure 1 and we introduce the Fermi constant, The diagrams contribute to the amplitude as follows 1 Both external fields aµ, vµ have non-vanishing traces. It is admissible to gauge not only SUV (3)×SUA (3) symmetry, but SUV (3)×SUA(3)×UA(1)×UV (1), and η emerges in ChPT lagrangian in this case. Although U(1)A symmetry is broken due to Chiral anomaly, Wess-Zumino-Witten term, corresponding to its breaking, is of order O(p 4 ) so we won't take it into consideration. As we find below, η does not contribute to the processes under discussion (to the leading order in momenta), so we do not elaborate on this issue further.

JHEP10(2016)039
Similar amplitudes contribute to decay K e3ν with obvious replacements µ(p 4 ) → e(p 4 ), ν µ (p 3 ) →ν e (p 3 ), and m µ → m e . In case of decay K + → e + ν e ν µνµ diagram 6 has resonance divergence associated with muon producing on-shell. We are dealing it by cutting out the phase space region, corresponding to |(

Results and discussion
For the processes under discussion neutrinos can be treated as massless particles. Then amplitude M 3 referring to diagram 3 in figure 1 vanishes (Z mixes with derivative of scalars, see lagrangian (2.7) which nullifies the amplitude for outgoing neutrinos on massshell). Also note, that for decays K + → µ + ν µνµ ν µ and K + → e + ν eνe ν e there are two identical fermions in the final state and to the amplitudes presented in section 2 must be added the same ones with opposite signs and changed momenta, p 1 ↔ p 3 . In appendix A The full branchings, obtained by integration of interpolating polynomials differ from those obtained by integration of exact O(p 2 ) results by less than one percent. Integrating over the muon (electron) momentum, one arrives at the following branching ratios: Br(K + → µ + ν µ ν µνµ ) = 8.42 × 10 −18 Br(K + → e + ν e ν µνµ ) = 2.00 × 10 −17 Br(K + → µ + ν µ ν eνe ) = 6.27 × 10 −18 Br(K + → e + ν e ν eνe ) = 1. Obtained branchings are expectingly small and are beyond foreseeable direct registration (for instance NA62 at CERN is investigating the processes of 6 orders higher branchings). The question arises, how to distinguish this weak process from others with similar observable signature. The full answer is certainly beyond the scope of this paper. An example of the irreducible background process is K + → π + νν → µ + ν µ νν. Its contribution to the same final state as K µ3ν in the finite volume detector can be discriminated by increasing the pion boost, which correspondingly suppress the probability of pion decay in flight. Moreover, the muon spectra exhibits different behavior, because the π + spectrum is growing throughout the whole kinematically allowed region [10] (and therefore µ + spectrum as well) while in K + → µ + ν µ νν there is a clear maximum at E µ ≈ 155 MeV. Thus although Br(K + → π + νν → µ + ν µ νν) ≈ 10 6 Br(K + → µ + ν µ νν), the study of low energy muons will give a chance to distinguish the two processes.

Conclusions
To summarise, exploiting the ChPT we perform to the leading order in momenta the calculation of lepton spectra and partial widths of kaon decays K µ3ν and K e3ν . The accuracy of all numerical integrations and numerical fits to spectra are not worse than one percent. Recall, that the uncertainty associated with limiting the ChPT calculations by the leading order is significantly worse, about few tens percent.
We thank Yury Kudenko for suggesting to consider the problem of kaon four-body leptonic decay and encouraging conversations at various stages of the project. We thank Roman Lee and Artur Shaikhiev for discussions on the phase space integration. The work is supported by the RSF grant 14-22-00161.
A Squared amplitudes of K µ3ν and K e3ν In this section we present the explicit forms of squared matrix elements describing the four body decays K µ3ν and K e3ν . To shorten the notations we denote the scalar product of 4-

JHEP10(2016)039
vectors p i and p j as p i p j ≡ x ij (considering i < j for definiteness). Then the corresponding squared amplitudes for decay K µ3ν into the final states with electron and tau neutrinos, l = e, τ , are Since B and C are proportional to mass of the charged lepton in the final state, in case of the decay K e3ν they can be neglected. Then only one term in the squared matrix element survives, that is proportional to A 2 , where one must replace m µ with m e . Squared matrix elements for K µ3ν with only muon neutrinos in the final set, l = µ, read Again, in case of the decay K e3ν all the coefficients above except A and E are proportional to mass of the charged lepton in the final state. Thus only the single term proportional to A 2 saturates the squared matrix element of K e3ν , and m e replaces m µ in the expressions of A presented above.
B Integration over the phase space of K µ3ν and K e3ν We examine the four particle decay and phase density of final states has relatively complicated from. The main idea is to examine a chain of two particle decays from the rest frame of kaon. Thus we write all momenta in the fixed frame from the very beginning. As a consequence of neutrinos being massless, momenta of decay products are unambiguous and resulting formula has a rather simple form.
In the following section we are using notation p i = (E i , p i ) for 4-vector p i and p for length of 3-vector p. Formula of 2-particle phase space for decay q → q 1 + q 2 reads [11] R 2 (q, q 1 , q 2 ) = 1 4 dΩ 1 where q +,− 1 are solutions to the following equation, so that cos θ 1 is angle between q and q 1 , m 2 2 = q 2 2 . The r.h.s. of eq. (B.1) contains Lorentznon-invariant variables, but after integration R 2 still depends only on q 2 as it must be. Nevertheless we will denote it as R 2 (q, q 1 , q 2 ) to specify particles, involved in decay. Decomposition of n-particle phase space R n is performed with the following formula [11] R n (M 2 n ) = Thus, applying the reduction formula (B.2) twice, substituting common R 2 expressions and integrating out 3 trivial angles, we arrive at the following master formula .

(B.3)
Here we adopt the useful auxiliary momentum variables p 12 = (E 12 , p 12 ) = p 1 + p 2 ; p 123 = (E 123 , p 123 ) = p 1 + p 2 + p 3 , so that M 2 2 = p 2 12 , M 2 3 = p 2 123 , and angle variables θ 1 ≡ ∠( p 3 , p 123 ), θ 2 ≡ ∠( p 2 , p 12 ), φ is rotation angle of plane ( p 12 , p 2 ) around p 12 , as demonstrated in figure 4. The decay rates of K l3ν are found by integrating the corresponding squared amplitudes (2.8) over the above defined phase space, in the cases with two identical neutrinos in final state we must also divide the obtained in this way result by 2. Now substituting M 3 3 = (p 0 − p 4 ) 2 it is straightforward to obtain the differential spectra: where M 2 3 = M 2 K + m 2 4 − 2M K E 4 . Then the branching fraction is defined as where τ K is the kaon lifetime. For the numerical estimates we substitute the kaon decay constant F K ≈ 111 MeV [12] for the meson decay constant F .