Abstract
We have revisited the computations of the flavor violating leptonic decays of the \(\tau \) and \(\mu \) leptons into three lighter charged leptons in the Standard Model with massive neutrinos. We were driven by a claimed unnaturally large branching ratio predicted for the \(\tau ^-\rightarrow \mu ^- \ell ^+ \ell ^-\) (\(\ell =\mu , e\)) decays (Pham, Eur Phys J C 8:513 1999), which was at odds with the corresponding predictions for the \(\mu ^-\rightarrow e^- e^-e^+\) processes (Petcov, Sov J Nucl Phys 25:340 1977). In contrast with the prediction in [17], our results are strongly suppressed and in good agreement with the approximation made in Ref. [15], where masses and momenta of the external particles were neglected in order to deal with the loop integrals. However -as a result of keeping external momenta and masses in the computation of the dominant penguin and box diagrams- we even find slightly smaller branching fractions. Therefore, we confirm that any future observation of such processes would be an unambiguous manifestation of new physics beyond the Standard Model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Lepton flavor violating (LFV) processes are forbidden in the standard model (SM) [1,2,3] with massless neutrinos. However, the experimental evidence of neutrino oscillations [4,5,6] claims for an extended model with neutrino mass terms. For massive neutrinos, the mass matrix will be nondiagonal in the interaction (weak) basis, as occurs in the quark sector [7, 8], and the mixing of three light neutrinos could be described through the \(3\times 3\) unitary Pontecorvo–Maki–Nakagawa–Sakata (PMNS) matrix [9,10,11]. In such a scenario, charged LFV transitions could arise, for instance, from one loop diagrams involving a couple of \(W\ell \nu _\ell \) vertices with different flavor neutrinos each. However, it turns out natural having a strong suppression for this class of processes owing to a GIM-like mechanism [12], just as it has been reported for the \(\mu ^-\rightarrow e^- \gamma \) decay, with a prediction at an unobservably low rate: \(BR(\mu ^-\rightarrow e^-\gamma )\sim \mathscr {O}(10^{-55})\) [13,14,15], which is far away from the capacity of any current or foreseen experimental facility.
By way of contrast, the prediction for the \(\tau ^-\rightarrow \mu ^- \ell ^+ \ell ^-\) (\(\ell =\mu , e\)) decays given by Ref. [17] claims that the GIM cancellation for these processes is much milder and a value of \(BR(\tau ^- \rightarrow \mu ^- \ell ^+\ell ^-)\ge 10^{-14}\) is reported. An updated evaluation using the amplitude derived in Ref. [17], employing the latest global fit results for neutrino mixing [18,19,20,21] yields a branching fraction \(\sim 4\times 10^{-16}\) for the three muon channel. Both values are still far away from the PDG upper bounds, \(1.5\,\times \,10^{-8}\) (for \(\ell =e\)) and \(2.1\,\times \,10^{-8}\) (\(\ell =\mu \)) at \(90\%\) confidence level.Footnote 1 Similarly, we verified that using the values reported in Refs. [18,19,20,21] for the neutrino mixing parameters, Pham’s result [17] would predict a \(\mu ^-\rightarrow e^-e^+e^-\) branching ratio of \(\sim 2\,\times \,10^{-21}\), larger than Petcov’s prediction [15] (\(\sim 10^{-53}\) evaluated with updated neutrino masses and mixing parameters, see Table 1) by at least some thirty orders of magnitude. Again, the current upper limit on this decay channel (\(1\,\times \,10^{-12}\) at \(90\%\) C.L. [18]) is still far from testing Pham’s result [17]. This author claims that this unexpectedly large estimation is due to the presence of a logarithmic divergent term depending on the neutrino mass, which comes from a one-loop diagram that involves two neutrino propagators (diag. (d) in our Fig. 1).
Certainly, considering the effects or processes that arise from quantum corrections could involve divergent loop integrals. However, in any renormalizable theory, the possible divergences must vanish order by order (in the loop or effective field theory expansion) to be able to define (finite) observables. In fact, in a Quantum Field Theory the divergences can be classified into two types: ultraviolet (UV) and infrared divergences (IR). The former (UV) appear in the high-energy regime and they can be healed redefining the theory parameters, whereas the latter (IR) occur in the low-energy regime and can be classified in soft and collinear divergences, which cancel however in properly defined (IR-safe) observables [25, 26]. We show that the seeming logarithmic divergent behavior of the LFV amplitude reported in Ref. [17] is not present, as the vanishing momentum transfer approximation considered in that paper lies outside the physical region. Consequently, the rates of \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays in the SM extended with massive neutrinos are extremely suppressed, in agreement with Ref. [15]. It is worth noting that, as neutrino oscillations, the LFV amplitudes must vanish in the limit of degenerate neutrinos. Moreover, according to the KLN theorem [25, 26], the amplitude for massless neutrinos can go to zero, but it is impossible that it presents an IR divergence. This requirement is satisfied by the result of Ref. [15], but it is not the case in Ref. [17] which behaves as \(\sum _j U_{Lj}U_{\ell j}^*\log (m_\nu /m_W)\) for very small neutrino masses. Our result, as it will be shown below, satisfies the expected agreement with the previous consistency remarks.
In Sects. 2 and 3 we discuss in detail our computation of these processes and compare it to those in Refs. [15] and [17], showing explicitly why the approximation in the latter is unreliable, and reproducing the results of [15] when masses and momenta of the external particles are neglected at the amplitude level. In Sect. 4 we analyze the (quite good) numerical accuracy of this latter approximation. Finally, we state our conclusions in Sect. 5. Several appendices complete technical details of our calculation.
2 Z-Penguin contribution emission from internal neutrino line
The \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays can be induced through the diagrams depicted in Fig. 1. Since the main purpose of this work is to falsify the existence of the logarithmic divergent term claimed in Ref. [17], we first concentrate on the amplitude of the diagram (d). We have, however, verified the corresponding expressions for the loop integrals in Ref. [15] for the particular process \(\mu ^-\rightarrow e^- e^-e^+\), when masses and momenta of external leptons are neglected in the computations. Particularly, in Ref. [15] it is shown that the corresponding branching ratio is completely dominated by those diagrams with two neutrino propagators, i.e. (d) and (e) in Fig. 1, which contribute comparably.
In our analysis, we keep employing the convention used by Ref. [17], in order to denote the masses and momenta (see Fig. 1) of the external leptons, that is M and P (m and p) stand for the mass and momentum of the \(L^-\) (\(\ell ^-\)) lepton, respectively. In this way, the amplitude of the diagram (d) can be written as
where \(l_{\ell '\ell '\lambda }=-ig/(2c_W)\bar{u}_{p_{1}}\gamma _{\lambda }(g_v^{\ell '}-g_a^{\ell '} \gamma _5) v_{p_2}\)Footnote 2 is independent of the loop integration, whereas the effective \(ZL\ell \) transition is given as follows:
where \(U_{im}\) are entries of the PMNS mixing matrix. In the Feynman-’t Hooft gauge, we have
with
After making the loop integration using dimensional regularization in order to deal with the (logarithmic) UV divergences, the Lorentz structure for the \(\varGamma ^\lambda _{j}\) factor can be written as follows,
where in general \(F_k=F_k(q^2,m_j^2)\) \((k=a,\,b...,\,f)\) are functions given in terms of the momentum transfer \(q^2=(P-p)^2\), and the neutrino mass squared (of course \(F_k\) functions will also depend on the mass of the W gauge boson and external masses, but these have well-defined values).
At this point, it is worth to note that in the approximation where the momenta of the external particles are neglected in Eq. (3), such as it is done in Ref. [15] for the \(\mu \rightarrow 3e\) decay, the computation is simplified considerably, as the only possible contribution is given by the \(F^0_a\) function, where we are using a superscript 0 in order to distinguish this approximation. In this simple case, the \(F^0_{a}\) function will not depend on \(q^2\) and is given in terms of the Feynman parameters as follows
where \(D^0_j(m_j^2)=(1-x) m_j^2+x m_W^2\). Whereas in terms of PaVe functions it is given by
Now, one analytical expression for the \(F_a^0\) function can be obtained in a straightforward way either integrating over the Feynman parameters in Eq. (6) or using the definition of the \(B_0(0,m^2,m^2)\) scalar function in Eq. (7). In such a way that after making an expansion around \(m_j^2=0\) we obtained
From Eq. (8) it becomes clear that, in this approximation, the amplitude will be proportional to the neutrino mass squared, where the dominant contribution, due to the big gap between the neutrino and W boson mass scales, comes from the first term as it involves a relative factor \(\log \left( \frac{m_W^2}{m_j^2} \right) \) compared to the second one,Footnote 3 whereas the terms independent of neutrino masses will vanish by the GIM-like mechanism.
Therefore, the structure of the matrix element for the contribution of the diagram (d) in Fig. 1 in the approximation where masses and momenta of the external particles are neglected is given by
where we have defined
We verified that Eq. (9) reproduces the result reported in Ref. [15] considering only the first term in Eq. (8) and the simple case of two families.
Returning to the general case (non-zero masses and momenta of the external particles), we also have obtained the \(F_k\) functions using both Feynman parametrization (we will denote the corresponding expressions by \(F_{F_k}\)) and the Passarino–Veltman (PaVe) technique (denoted by \(F_{PV_k}\)) [27, 28], employing FeynCalc [29]. In particular, we agree with the expressions previously reported in Ref. [17] in terms of the Feynman parameters,Footnote 4 namely the \(F_{F_k}\) functions can be written as
where
and \(D_j\) is defined as
We have omitted in \(f_a\) the term associated with the UV divergence since it is independent of \(m_j\) and vanishes owing to the GIM-like mechanism.
On the other hand, the \(F_{k}\) functions in terms of the PaVe scalar functions are given as follows
with
where \(\lambda \) is the Kallen function \(\lambda (x,y,z)=x^2+y^2+z^2-2(xy+xz+yz)\), and the \(\xi _{k}\) factors can be found in the “Appendix A”.Footnote 5
Unlike the approximation made in Ref. [15], the presence of masses and momenta of the external particles in the computation hinders the way for the derivation of analytical expressions for the integrals in Eqs. (11) or (19).Footnote 6 Nevertheless, we have done a numerical cross-check between both expressions, where we have employed the Looptools package [30, 31] for the evaluation of the PaVe functions and a numerical Mathematica [32] routine for the evaluation of the parametric integrals (see Fig. 2). We have found an excellent agreement between these two expressions for values of \(q^2<4m_j^2\), which are, however, outside of the physical domain for the considered decays, since \(q^2_\mathrm{{min}}=4m_{\ell '}^2\gg m_j^2\). In this way, owing to the simplified integrals, we verified that a better precision is found in terms of PaVe functions than using Feynman parameters. This feature is illustrated, as an example, for the particular case of the \(Z\tau \mu \) transition in Fig. 2 for the (dominant, as we will show) \(F_a\) factor.
At this point, we want to stress that we disagree with the approximation done in Ref. [17] in order to estimate the relevant dependence on the neutrino mass of the \(F_k\) functions. We highlight that we are studying a process where the momentum transfer \(q^2\) must be non-vanishing and in principle is much larger than the neutrino squared mass, \(m_j^2\), which comes from the loop computation. Therefore, using an expansion around \(q^2=0\) in order to simplify the integration over the Feynman parameters keeping the terms proportional to \(m_j^2\) in the denominators of Eqs. (12–17), as it is done in Ref. [17], modifies substantially the behavior of the original functions in the interesting physical region for the neutrino masses and, as a consequence, it gives rise to an incorrect infrared logarithmically divergent behavior of the \(F_k\) functions when \(m_j\) goes to zero, without any possible cure. In particular, the dependence on the momentum transfer, \(q^2\), plays a crucial role in the behavior of the \(F_k\) functions. In this respect, we point out the presence of a small imaginary part in the \(F_a\) function, which emerges for the physical values \(4m_j^2<q^2\).
As we mentioned before, the \(q^2\) minimum in the \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decay is given by \(4m_{\ell '}^2\), which is much larger than the neutrinos masses. This, together with the difficulties in obtaining analytical expressions directly for the \(F_k\) functions suggests employing some numerical approximation to deal with the problem. Because of this, we approximate the \(F_k\) functions in the physical region for the neutrinos masses by fitting the curves for the real and imaginary parts of the \(F_k\) functions evaluated in terms of the PaVe functionFootnote 7 We have found a reasonably good fit of the form
where \(u=1\) for \(k=a,b\) and \(u=M\) for \(k=c,d,e,f\) and the respective values for the \(Q_k=Q_{R_k}+i Q_{R_I}\) and \(R_k=R_{R_k}+i R_{R_I} \) factors of all considered channels are given in “Appendix D”.
From Eq. (23), it turns clear that the \(Q_k\) factors will not contribute owing to the GIM-like mechanism, whereas the relevant contributions are given by the \(R_k\) factors. Then, according to our numerical results, we find that the relevant factors of the \(F_b\), \(F_c\) and \(F_d\) functions are suppressed with respect to the \(F_a\) factor. On the other hand, despite the respective factors of \(F_e\) and \(F_f\) functions are larger than those of the \(F_a\) function, when the momentum transfer becomes smaller and smaller their helicity suppression makes them negligible. Therefore, we will concentrate on the contribution of the \(F_a\) function.
Furthermore, in order to check our results, we have made an expansion for the PaVe functions involved in Eq. (22), following the same strategy that Cheng and Li for the \(\mu \rightarrow e\gamma \) decay [13], that is: expanding the loop integrals around \(m_j^2=0\) (more details on our expansions are given in “Appendix E”). It must be noted that, since neutrino masses are the smallest energy scale in the problem, this is the expansion that is most efficient for the considered decays. Using the Package-X program [35], we could rewrite the \(F_{PV_a}\) contribution as follows:
where
in which \(\varDelta =\frac{1}{\textstyle {\epsilon }}-\gamma _E+\log (4\pi )\), and the \(f_Q\) and \(f_R\) factors can be found in the “Appendix E”. We verified that our numerical fits for the \(Z\tau \mu \) and \(Z\tau e\) vertex are in a very good agreement with Eq. (26), whereas a deviation is found for the \(Z\mu e\) vertex, as can be seen in Table 9. We consider the results obtained from Eq. (26) for the effective vertices as our reference ones.
In this way, we can approximate the amplitude for the diagram (d) according to Eq. (9) replacing \(F_a^0\) by
The penguin contributions to the branching ratios of the \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays are smaller by around one (two) orders of magnitude for the \(\mu \) (\(\tau \)) decays when one keeps external momenta and masses than when they are neglected. We will see in Sect. 4 a similar difference in the full result.
3 Contributions of the box diagrams
Now, in order to make a complete comparison with the approximation done in Ref. [15] we have also obtained the amplitude for the box diagram (e) in Fig. 1. Note that unlike the penguin diagram (d), which involves two neutrino propagators of the same mass state, the box diagram (e) can involve two neutrino propagators with different mass states. Thus, in full generality, the amplitude can be written as follows:
where we defined
and the relevant loop integral is given by (see Fig. 1e)
with
Since we have written the Eq. (30) in terms of the momenta P, \(p_1\) and \(p_2\), the integral must take the form
The \(H_k\) factors depend upon the kinematic variables \(s_{12}=(p_1+p_2)^2=q^2\) and \(s_{13}=(p_1+p)^2\), in addition of \(m_i\) and \(m_j\).
Anew, in the approximation where momenta of the external particles are neglected in Eq. (30), the only contribution is given by the \(H^0_a\) function, which will not depend either on \(s_{12}\) or \(s_{13}\). In such a case, we obtained the following simplified expression
where
Whereas, in terms of PaVe functions, \(H^0_a\) reads
In the same way as for the \(F_a^0\) form factor, an analytical expression for \(H_a^0\) can be obtained easily from either Eqs. (33) or (35). This time, making a double Taylor expansion, first around \(m_i^2=0\) and then around \(m_j^2=0\), we obtained that
Using that \(T_{\sigma \sigma '}g^{\sigma \sigma '}=16\bar{u}_p\gamma _{\lambda }(1- \gamma _5) u_P \times \bar{u}_{p_{1}}\gamma ^{\lambda }(1- \gamma _5) v_{p_2}\), the amplitude -in this approximation- is given by
with
Again, we verified that taking into account the first term in Eq. (36) and considering only two families, Eq. (37) reproduces the expression reported in Ref. [15] for the amplitude of the box diagram 1 (e) in the \(\mu \rightarrow 3e\) decay. Furthermore, our results are consistent with the previous expressions reported in Ref. [23] for the box contribution associated with the effective \(K^+\rightarrow \pi ^+\nu _\ell \bar{\nu }_\ell \) decay in the quark sector, where the approximation of taking masses and momenta of the external particles equal to zero is excellent, owing to the presence of the heavy top quark inside the loop.
In the general case, we also obtained the \(H_k\) (\(k=a,b,...,j\)) functions in terms of both Feynman parameters integrals, \(H_{F_k}\), and PaVe functions, \(H_{PV_k}\). This time, the \(H_k\) functions will depend on the squared masses of two different neutrinos, \(m_j^2\) and \(m_i^2\), and on two independent phase space variables \(s_{12}\) and \(s_{13}\). Using Feynman parametrization these functions read
where
In the previous expressions, the denominator function is given by
Expressions are rather lengthy in terms of the PaVe functions so that here we only present the expression for the dominant \(H_a\) function, which can be written as
with
and
where \(\chi _{k}\) factors are reported in “Appendix A”.
As far as the general case is concerned, we can see that although there are additional contributions associated with the \(H_k\) functions, with \(k=b\), c, d, \(\ldots \) j; they are expected to be suppressed, as they correspond to higher-dimensional operators, with respect to the \(H_a\) function associated with a \((V-A)\times (V-A)\) operator. Therefore, we will concentrate on the \(H_a\) function in order to estimate the box diagram contribution. We also have done a numerical cross-check between the expressions for the \(H_a\) function given in terms of the Feynman parameters Eq. (39) and the PaVe functions Eq. (51), as can be seen in Fig. 3. In this case, it turns very complicated and far away of the purpose of this work to obtain an analytical expression for the \(H_a\) function in Eq. (53) making an expansion for the respective scalar PaVe functions, owing to the number of propagators involved and the dependence on two different neutrino masses. However, we can expect a good approximation through our numerical results, as it happens with the penguin contribution.
Thus, we estimate the relevant dependence on the neutrino mass for the \(H_a\) function fitting the curve for the real and imaginary parts of the \(H_a\) function evaluated in terms of the PaVe functions considering fixed values for the \(m_i\), \(s_{12}\), and \(s_{13}\) parameters.Footnote 8 We obtained a good fit of the form
where \(R_{H_a}\approx 1.5+i0.007 \), for all different \(\tau \rightarrow \ell ^-\ell ^{\prime -}\ell ^{\prime +}\) channels, whereas \(R_{H_a} \approx 1.5\), for the \(\mu ^-\rightarrow e^-e^-e^+\) channel. These numbers were obtained considering that \(\varDelta m^2_{ij}=10^{-3}\) eV\(^2\), and representative values for \(s_{12}\) and \(s_{13}\) within the corresponding phase space.
4 Numerical results
In order to evaluate the branching fractions for the \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays we consider the results of the previous sections and the state of the art best-fit values of the three neutrino oscillation parameters [18,19,20,21]. Without loss of generality, we assume the CP-conserving scenario, and we use the values reported in Table 1.Footnote 9 The kinematics for the \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays can be found in “Appendix C”.
We will first make a partial evaluation neglecting the penguin contributions (only box diagrams are considered), which yields the values in Table 2.
Our final results, where the dominant penguin and box contributions are considered, are collected in Table 3, where they are compared to those obtained using Petcov’s results [15] with updated input. Our predictions are even smaller than Petcov’s updated results, as a consequence of keeping external masses and momenta in our computations (Tables 4, 5, 6, 7, 8).
These extremely suppressed branching ratios for lepton flavor violating \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays due to massive light neutrinos are found at similar rates in the case of LFV Z [33] and Higgs boson decays [34].
5 Conclusions
We have revisited the \(L^-\rightarrow \ell ^-\ell ^{\prime -}\ell ^{\prime +}\) decays in the SM with massive neutrinos. We obtained expressions in terms of both Feynman parameters and scalar Passarino-Veltman functions for the relevant loop integrals of the (dominant) diagrams that involve two neutrino propagators considering non-vanishing masses and momenta of the external particles. Opposed to the previous calculation reported in Ref. [17], we found that all the different amplitudes for these processes are strongly suppressed (as they are proportional to the neutrino mass squared). In the particular case of the penguin contribution with two neutrino propagators, we highlight that it is crucial saving the dependence on the momentum transfer in the Feynman integrals in order to evaluate the amplitude in the physical region for the neutrino masses. This fact avoids the incorrect logarithmic divergent behavior in the amplitude claimed in Ref. [17]. As far as the box contribution is concerned, we found that the dominant term comes from \(H_a\) function that is associated with a (V-A)\(\times \)(V-A) operator, and it is in good agreement with the approximation done in Ref. [15].
Current and forthcoming experiments were approaching the limits predicted by Ref. [17] on the SM prediction for the lepton flavor violating \(\tau ^-\rightarrow \mu ^- \ell ^+ \ell ^-\) (\(\ell =\mu , e\)) decays due to non-zero neutrino masses. This prediction was at odds with Ref. [15] corresponding computation for the \(\mu ^-\rightarrow e^- e^+ e^-\) decays predicting an extremely suppressed, unmeasurable branching ratio (as in \(L^-\rightarrow \ell ^- \gamma \) processes). The most important result of our analysis is the confirmation (in agreement with Ref. [15]) that any future observation of \(L^{-}\rightarrow \ell ^- \ell ^{\prime -} \ell ^{\prime +}\) decays would imply the existence of New Physics.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All data underlying the results are available as part of the article and no additional source data are required.]
Change history
18 May 2020
In the first paragraph of section 4, the sentence “Without loss of generality, we assume the CP-conserving scenario” is incorrect.
Notes
More stringent bounds of \(1.1 \,\times \, 10^{-8}\) and \(1.2 \,\times \, 10^{-8}\), respectively, can be obtained by combining results of different experiments according to the HFLAV group [22]. Belle-II shall be able to set limits on the \(\tau ^-\rightarrow \mu ^-\mu ^+\mu ^-\) decay at the level of \(3\,\times \,10^{-10}\) with their full data set (50 ab\(^{-1}\)) [24].
g is the \(SU(2)_L\) coupling and \(c_W(s_W)\) is short for the cosine(sine) of the weak mixing angle \(\theta _W\). In the SM, \(g_v^{\ell '}=-1/2+2 s_W^2\) and \(g_a^{\ell '}=-1/2\).
The cancellation of the UV divergences for the \(F_m\) functions in terms of the PaVe functions occurs again by the GIM mechanism. This can be verified easily owing to the fact that the sums over the coefficients of the different scalar \(B_0\) functions, which contain an isolated divergent term, are independent of \(m_j\). That is \(\sum _{i=1}^4 \frac{\xi _{a_i}}{D_{PV_a}}=-\frac{1}{2}\), and \(\sum _{i=1}^4 \frac{\xi _{l_i}}{D_{PV_l}}=0\) for (\(l=b,c,d,e,f\)).
Our fits for the \(F_k\) functions are taken with the precision of the Looptools package considering a neutrino mass varying from \(10^{-15}\) GeV to the benchmark point \(m_\mu \) (\(m_e\)), for a fixed value of \(q^2 = 4m_\mu ^2\) (\(q^2 = 4m_e^2\)) for the \(Z\tau \mu \) (\(Z\tau e\) and \(Z\mu e\)) vertices.
Our fits for the \(H_a\) function are taken considering an interval for the neutrino mass varying from \(10^{-15}\) to 10 GeV.
These numbers correspond to the normal hierarchy (\(m_1<m_2<m_3\)); different (though very similar) values are reported for the inverted hierarchy (\(m_3<m_1<m_2\)). Changing hierarchy is immaterial for our numerical evaluations. We have verified that results are not sensitive to the lightest neutrino mass value, but only to the mass squared differences.
References
S.L. Glashow, Nucl. Phys. 22, 579 (1961)
S. Weinberg, Phys. Rev. Lett. 19, 1264 (1967)
A. Salam, Conf. Proc. C 680519, 367 (1968)
Y. Fukuda et al. [Super-Kamiokande Collaboration], Phys. Rev. Lett. 81, 1562 (1998)
Q.R. Ahmad et al. [SNO Collaboration], Phys. Rev. Lett. 87, 071301 (2001)
Q.R. Ahmad et al. [SNO Collaboration], Phys. Rev. Lett. 89, 011301 (2002)
N. Cabibbo, Phys. Rev. Lett. 10, 531 (1963)
M. Kobayashi, T. Maskawa, Prog. Theor. Phys. 49, 652 (1973)
B. Pontecorvo, Sov. Phys. JETP 10, 1236 (1960)
B. Pontecorvo, Zh Eksp, Teor. Fiz. 37, 1751 (1959)
Z. Maki, M. Nakagawa, S. Sakata, Prog. Theor. Phys. 28, 870 (1962)
S.L. Glashow, J. Iliopoulos, L. Maiani, Phys. Rev. D 2, 1285 (1970)
T.P. Cheng, L.F. Li, Gauge Theory Of Elementary Particle Physics (Oxford Science Publications, Oxford, 1984), p. 536
L. Calibbi, G. Signorelli, Riv. Nuovo Cim. 41, 1 (2018)
S.T. Petcov, Sov. J. Nucl. Phys. 25, 340 (1977) [Yad. Fiz. 25, 641 (1977); Erratum: Sov. J. Nucl. Phys. 25, 698 (1977); Erratum: Yad. Fiz. 25, 1336 (1977)]
B.W. Lee, R.E. Shrock, Phys. Rev. D 16, 1444 (1977)
X.Y. Pham, Eur. Phys. J. C 8, 513 (1999)
C. Patrignani et al. [Particle Data Group], Chin. Phys. C 40, 100001 (2016)
I. Esteban, M.C. González-Garcia, M. Maltoni, I. Martínez-Soler, T. Schwetz, JHEP 1701, 087 (2017)
F. Capozzi, E. Di Valentino, E. Lisi, A. Marrone, A. Melchiorri, A. Palazzo, Phys. Rev. D 95, 096014 (2017)
P.F. de Salas, D.V. Forero, C.A. Ternes, M. Tortola, J.W.F. Valle, Phys. Lett. B 782, 633 (2018)
Sw. Banerjee et al. [HFLAV-Tau group]. http://www.slac.stanford.edu/xorg/hflav/tau/spring-2017/tau-report-web.pdf. Accessed 25 Sept 2018
A.J. Buras. Weak hamiltonian, CP-violation and rare decays, in Probing the Standard Model of particle interactions. In: Proceedings, summer school in theoretical physics, NATO advanced study institute, 68th session (Les Houches, France, 1997)
Belle II collaboration, E. Kou et al., The Belle II Physics Book, BELLE2-PUB-PH-2018-001. arXiv:1808.10567
T. Kinoshita, J. Math. Phys. 3, 650 (1962)
T.D. Lee, M. Nauenberg, Phys. Rev. 133, B1549 (1964)
G. Passarino, M.J.G. Veltman, Nucl. Phys. B 160, 151 (1979)
G. ’t Hooft, M.J.G. Veltman, Nucl. Phys. B 153, 365 (1979)
R. Mertig, M. Bohm, A. Denner, Comput. Phys. Commun. 64, 345 (1991)
G.J. van Oldenborgh, J.A.M. Vermaseren, Z. Phys. C 46, 425 (1990)
T. Hahn, M. Pérez-Victoria, Comput. Phys. Commun. 118, 153 (1999)
Wolfram Research, Inc. Mathematica, Version 11.3 (Champaign, IL, 2018)
J.I. Illana, T. Riemann, Phys. Rev. D 63, 053004 (2001)
E. Arganda, A.M. Curiel, M.J. Herrero, D. Temes, Phys. Rev. D 71, 035011 (2005)
H.H. Patel, Comput. Phys. Commun. 197, 276 (2015)
Acknowledgements
The authors are indebted to Swagato Banerjee and Simon Eidelman for pointing us the interest of this calculation. We are thankful to Serguey Petcov for fruitful discussions. Finally, we also acknowledge support from Conacyt through projects FOINS-296-2016 (Fronteras de la Ciencia), and 236394 and 250628 (Ciencia Básica).
Author information
Authors and Affiliations
Corresponding author
Appendices
One-loop PaVe scalar functions
In this appendix we collect the \(\left\{ \xi _{i_j}\right\} _{{i=a,...,f; j=0,..,5}}\) factors entering our results in Eq. (22):
As far as the \(\chi _k\) factors entering the \(H_{PV_a}\) functions in Eq. (53), they are given as follows
Some useful integrals
As we mentioned in the text, analytical expressions for the double integrals in Eqs. (12–17) are not easy to obtain. However, the first integrals over the y-Feynman parameter can be derived from the following expressions
where we have defined the functions
Kinematics for the \(L^{-}(P, M)\rightarrow \ell ^{-}(p,m)\) \( \ell ^{\prime -}(p_1, m_{\ell '}) \ell ^{\prime +}(p_2 , m_{\ell '})\) decays
Because of the necessity of anti-symmetrizing the amplitude when \(\ell =\ell ^\prime \), the total contribution for the sum of the penguin and box diagrams, in this case, is given by
On the other hand, when \(\ell \ne \ell '\), there is only one penguin diagram since the vertex of a neutral Z boson with a pair of fermions is flavor-conserving. Besides, we have to add the box diagram interchanging \(\ell ^-(p)\leftrightarrow \ell ^{\prime -}(p_1)\). Therefore, we have
where \(\beta _{H_a}\) has been defined in the main text and
In Petcov’s approximation, taking only the dominant term and since the contribution of the penguin and box diagrams have opposite sign, the dominant terms are given by the second terms in Eqs. (102) and (103), respectively. Therefore, \(|\mathscr {M}^2|\) is given by
where
for \(\ell \ne \ell '\), and
when \(\ell =\ell '\) (\(m=m_{\ell '}\)).
The unpolarized differential decay width for the \(L^{-}(P)\rightarrow \ell ^{-}(p) \ell ^{\prime -}(p_1) \ell ^{\prime +}(p_2)\) decays is given by
where N is the number of identical particles in the final state and \(s_{12}=(p_1+p_2)^2=q^2\) and \(s_{13}=(p_1+p)^2\). The corresponding integration limits are given by
and
Fits for \(Z\tau \mu \), \(Z\tau e\) and \(Z\mu e\) effective vertices
The numerical values for the \(Q_k\) and \(R_k\) factors involved in of our fits for the \(Z\tau \mu \), \(Z\tau e\) and \(Z\mu e\) effective vertices are given as follows (see Tables 4, 5, 6, 7, 8):
Expansion of the PaVe functions around \(m_j^2=0\)
The scalar PaVe functions involved in Eq. (22) are defined as follows
where \(p^2=m^2\), \(P^2=M^2\) and \(q^2=(P-p)^2=m^2+M^2-2P \cdot p\).
If we make an expansion around \(m_j^2=0\), for the Eqs. (111, 112, 113, 114) following the same strategy that Cheng and Li for the \(\mu \rightarrow e\gamma \) decay [13], we have that
Now, with the help of the Package-X program, we can obtain analytical expressions for the next functions
with \(\varDelta _I\sim \varDelta \) but associated with an infrared divergence.
Replacing Eqs. (115, 116, 117, 118) and subsequently Eqs. (121, 119, 120, 123, 122, 123 and 125) into (22) we obtain Eq. (24), with the \(f_Q\) and \(f_R\) factors given as follows
and \(\alpha =m^2 \left( M^2-m_W^2\right) +m_W^2 \left( m_W^2-M^2+q^2\right) \).
Something remarkable at this point is:
The factor \(Q_a\) has an ultraviolet divergence \(\varDelta \), as it can be seen in Eq. (25), but this divergence is independent of the neutrino mass. Then this divergence will vanish when we sum over the three families (GIM-mechanism), as it was mentioned previously.
Although there are infrared divergences \(\varDelta _I\) on the Eqs. (122, 123, 123, 125), the factor \(R_a\) is free of them. Further, there is no dependence on the renormalization scale, and these results are in agreement with our numerical fits. Taking into account the imaginary part of the \(C_0(m^2, M^2, q^2,0,m_W^2,0)\) function, it is possible to derive analytically that the imaginary parts appearing in the last column of Table 9 are exactly \(\pi \).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Hernández-Tomé, G., López Castro, G. & Roig, P. Flavor violating leptonic decays of \(\tau \) and \(\mu \) leptons in the Standard Model with massive neutrinos. Eur. Phys. J. C 79, 84 (2019). https://doi.org/10.1140/epjc/s10052-019-6563-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-6563-4