Abstract
In Effective Field Theory, we describe \(\mu \leftrightarrow e\) flavour changing transitions using an operator basis motivated by experimental observables. This implies that \(\mu \rightarrow e_L \gamma \), \(\mu \rightarrow e_L \bar{e} e\) and \(\mu \rightarrow e_L\) conversion on nuclei probe a six-dimensional subspace, where we derive constraints on the New Physics scale from past and future experiments, illustrating the complementarity of the processes in an intuitive way.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Lepton flavor-violating contact interactions – referred to as LFV or CLFV – are excellent probes of physics beyond the standard model (see e.g. [1, 2] for reviews). The non-zero neutrino masses and mixing angles imply their existence, and an observation could shed light on the neutrino mass mechanism [3], and even on the matter excess of our universe if generated via leptogenesis [4, 5]. The rates could be just below the current experimental bounds, in many extensions of the Standard Model that introduce additional CLFV sources [2].
CLFV searches have been conducted in a wide range of reactions, and a subset of current and anticipated experimental constraints are given in Table 1. While the multitude of \(\tau \) channels could contribute to identifying the nature of New Physics (NP), the greater sensitivity in muon sector seems more promising for discovering it. Although the number of muon processes is limited, the corresponding bounds are already quite restrictive, and exceptional improvements are expected in the coming years.
The reach and complementarity of \(\mu \rightarrow e \gamma \), \(\mu \rightarrow e \bar{e} e\) and \(\mu A \! \rightarrow \! eA \) transitions have been explored from various perspectives. Numerous authors have investigated model preferences and predictions for correlations among CLFV observables [20,21,22,23,24,25,26,27,28,29,30]. An early model-independent analysis was performed by de Gouvea and Vogel [31], using a simple effective Lagrangian to describe NP effects. The presentation of our results follows their intuitive plots. However, their approach was limited to comparing the reach of pairs of processes (e.g. \(\mu \rightarrow e \gamma \) vs. \(\mu A \! \rightarrow \! eA \)) at tree level. More systematic Effective Field Theory (EFT) studies, including more operators and some loop effects, were performed in [32, 33]; focused on the sensitivity of the processes to a more complete operator basis, and [33] explored whether the proposed experimental muon program is necessary and sufficient to find \(\mu \rightarrow e\) flavour change.
The aim of this work is to graphically illustrate the complementarity and reach of the \(\mu \rightarrow e \gamma \), \(\mu \rightarrow e \bar{e} e\) and \(\mu A \! \rightarrow \! eA \) processes. We describe the physics of CLFV in an EFT perspective [34,35,36,37,38,39,40,41], where the number of operator coefficients is reduced by choosing an operator basis motivated by our observables [33]. We quantify complementarity as the degree to which observables probe different operator coefficients, and study the complementarity of observables at the New Physics scale because the aim is to make observations that give distinct information at \(\Lambda _{LFV}\). The coefficients are translated to \(\Lambda _{LFV}\) using Renormalisation Group Equations. This study extends the analysis described in [33] in several ways: we provide more informative plots of the current and projected experimental reaches, and a more rigorous construction of the basis for the subspace of experimentally accessible operator coefficients. In addition we draw attention to the information loss in matching nucleons to quarks using current theoretical results. Using this formalism to study whether \(\mu \rightarrow e\) processes can distinguish among models is an interesting question that we leave for a subsequent publication.
This paper is organized as follows: Sect. 2 outlines the procedure to take the data parametrized in EFT from the experimental scale to beyond the weak scale. Section 3 presents constraints from various experimental measurements and projections for future initiatives. The construction of the basis used in this work is discussed in Appendices A and C. An independent issue regarding information loss in relating \(\mu A \! \rightarrow \! eA \) rates to models is finally discussed in Appendix B.
2 Theory overview
This section gives the Lagrangian and Branching Ratios at the experimental scale, and sketches the transformation of operator coefficients from the experimental scale to \(\Lambda _{LFV}\) (which is described in more detail in [33]).
A challenge of the EFT approach lies in the large number of operators. In the case of \(\mu \rightarrow e\) flavour changing processes, about 90 operators [33] are required to parametrize interactions that have \(\le 4\) Standard Model legs at low energy and are otherwise flavour-diagonal. The difficulty to constrain and visualize this high-dimensional space is compounded by the fact that there are (only) three processes with excellent sensitivity in the \(\mu \rightarrow e\) sector (see Table 1), imposing only about a dozen constraints on operator coefficients [42]. Improved theoretical calculations and additional \(\mu A \! \rightarrow \! eA \) measurements with different nuclear targets could increase this number to \(\sim 20\) independent constraints [42]. Determining all EFT coefficients appears therefore a daunting task.
This manuscript takes a different perspective, following [33]. Since there are three processes with excellent experimental sensitivity, we restrict to the (12-dimensional) subspace of operator coefficients probed by \(\mu \rightarrow e \gamma ,\mu \rightarrow e \bar{e} e\), and Spin IndependentFootnote 1\(\mu Al \rightarrow e Al\) and \(\mu Au \rightarrow e Au\). The dimension of the subspace can be further reduced by half since the operator coefficients can be labelled by the helicity (or chirality) of the outgoing relativistic electron, and the results are very similar for either \(e_L\) or \(e_R\), which do not interfere. Restricting the analysis to the subspace corresponding to an outgoing \(e_L\)in the bilinear with a muon, the three muon processes can be described at the experimental scale (\(\sim m_\mu \)) by the following effective Lagrangian [1]:
where \(\Lambda _{LFV}\) is the New Physics scale, and the dimensionless coefficients \(\{C_Z\}\) are lined up in a vector \(\vec {C}\) normalised to 1 at the experimental scale. The first term of this Lagrangian is a dipole operator mediating \(\mu \rightarrow e \gamma \) and contributing to both \(\mu \rightarrow e \bar{e} e\) and \(\mu A \! \rightarrow \! eA \). The next three contact operators contribute to \(\mu \rightarrow e \bar{e} e\), while \(\mathcal{O}_{Alight} \) is a combination of operators probed by light muon conversion targets such as Ti or Al, and \( \mathcal{O}_{Aheavy\perp }\) is an orthogonal combination probed by heavy targets such as Au. An Approximate expression for \(\mathcal{O}_{Alight}\) at the experimental scale is given in Eq (A.2), and for \(\mathcal{O}_{Alight}\) and \(\mathcal{O}_{Aheavy\perp }\) at 2 GeV in Eq. (A.14). We take Au and Al as prototypical “heavy” and “light” targets since Au was used by the SINDRUM experiment [10, 11], and Al will be used by the upcoming COMET [12, 13] and Mu2e [14] experiments, in addition to resembling Ti used in the past [10, 10].
The constraint on the dipole operator from \(\mu \rightarrow e \gamma \) is given by:
where we introduced unit vectors \(\hat{e}_A\) which select coefficients \(C_A\) in the six-dimensional subspace. The four-lepton operators have negligeable interference in \(\mu \rightarrow e \bar{e} e\) since the electrons are relativistic (\(\approx \) chiral), setting the three following constraints:
These can conveniently be summarised as
where the matrix R\(_{\mu \rightarrow e_L \bar{e} e}\) is proportional to the inverse covariance matrix for \(\mu \rightarrow e \bar{e} e\), given in Eq. (A.4). Similarly, the Conversion Ratios for \(\mu A \! \rightarrow \! eA \) can be written
where the R matrices are given in Eq. (A.10). These expressions justify a posteriori the basis in Eq. (2.1), chosen to be orthogonal, intuitive, and correspond closely to the coefficient combinations probed by observables. The eigenvectors of the covariance matrix could be another basis choice, discussed briefly in Appendix .
From the Lagrangian (2.1), one can easily deduce that the three processes are complementary at the experimental scale: four-fermion interactions with leptons only contribute to \(\mu \rightarrow e \bar{e} e\), interactions with strongly-interacting particles only contribute to \(\mu A \! \rightarrow \! eA \) (the complementarity between heavy or light targets is discussed at the end of Appendix A), while the dipole contributes to all processes. The complementarity of two processes can be interpreted geometrically as the misalignment between the corresponding vectors in coefficient space, defined as the angle \(\eta \) between the two vectors. In terms of R matrices, the complementarity between processes A and B can be expressed as:
which vanishes for perfectly complementary observables, and is equal to one when they contain the same information. The basis in Eq. (2.1) was chosen to be perfectly complementary, i.e. orthogonal, at the experimental scale.
In the following, we adopt a different approach to illustrate the complementarity between processes. Instead of using the geometric measure defined above, we show that each process gives independent information about the operator coefficients by plotting the corresponding reach separately. The measured rates can then be combined to identify a point in parameter space.
The degree of complementarity can be evaluated at \(\Lambda _{LFV}\) by translating the coefficients in Eq. (2.1) from the experimental scale to \(\Lambda _{LFV}\). Modifying the scale amounts to changing the separation between lower energy loop effects that are explicitly calculated, and higher energy loops that are implicitly resummed into the coupling constants. At the experimental scale, all the loops via which a New Physics model contributes to an observable are in the operator coefficients, and the rate is straightforward to calculate. On the other hand, the operator coefficients at the heavy LFV scale are easily derived from a New Physics model, but loops must be calculated to evaluate experimental quantities. So the low-energy operator coefficients of Eq. ( 2.1) can be transformed to the LFV scale \(\Lambda _{LFV}\) via the Renormalisation Group Equations (RGEs) [32, 43, 44], which peel off the SM loops in a leading log expansion. Solving the RGEs perturbatively, and modifying the EFT with scale to account for the changing particle content, allows us to write
The matrix G is similar to that given in [33]. We neglect loop effects in the EFT of nucleons and pions and match at 2 GeV onto a QCD-invariant EFT with gluons and five flavours of quarks (see Appendix A and Table 4). The leading log QED and QCD effects are included up to \(m_W\) [32, 47], where the coefficients are matched (at tree level in the lower-energy EFT) onto dimension six SMEFT operators, augmented by the dimension eight scalar operator [48, 49] corresponding to \(\hat{e}_{S}\), which could be relevant [50]. We neglected CKM angles in matching and some other relevant SMEFT operators of dimension eight, and stress that the running from \(m_W\rightarrow \Lambda _{LFV}\) is not included.
The Branching Ratios in terms of coefficients at \(\Lambda _{LFV}\) can be expressed as:
where the matrix G is not unitary, and does not preserve the orthonormality of the basis since SM loops and matching can change the normalisation and direction of the vectors \(\{\hat{e}_A\}\). This is expected since distinct observations at low energy can measure the same high-scale NP coefficients. The changing modulus of the basis vectors is simple to calculate and include, and affects the reach. The changes in direction can affect the complementarity of processes if the vectors become more or less aligned (see Appendix C).
3 Illustrating experimental constraints
In this section, we illustrate the constraints on New Physics from current and future \(\mu \rightarrow e\) searches, and show how these results can be combined to identify the allowed region of coefficient space. We parametrize the coefficient space with spherical coordinates [51] (Table 2) assuming that the vector of coefficients \(\vec {C}\) is normalised to unity at the experimental scale. The reach of the various experiments in \(\Lambda _{LFV}\) can be calculated as a function of these angles and the branching ratios given in Eq. C.3. We stress that we are showing (projected) exclusion curves, as opposed to “one-at-a-time” bounds, since our EFT formulation should account for potential cancellations in the theoretical rate.
In deriving this parametrization, we approximate the operator coefficients as real numbers. This familiar simplification reduces our coefficient space from six complex to six real dimensions, replacing relative phases between interfering coefficients with a relative sign. Furthermore, we focus on a four-dimensional subspace, corresponding approximately to the four processes we examine, by suppressing two of the three four-lepton directions (the four-lepton operators can be distinguished by measuring the angular distribution in \(\mu \rightarrow e \bar{e} e\) [52, 53]). The direction \(\vec {e}_S\) associated to the scalar four lepton operator interferes with none of the other operators and receives negligible loop corrections, so it is complementary by inspection. We also neglect a linear combination of the vector four-lepton directions \(\vec {e}_{VR}\) and \(\vec {e}_{VL}\), since their contributions to \(\mu \rightarrow e \bar{e} e\) have similar form. A judicious choice ensures the approximate orthogonality of the remaining four basis vectors. The full details are given in Appendix C. Modulo these approximations, the parametrisation describes the experimentally constrainable space, so we now plot various slices through the excluded region to illustrate its shape.
We plot in Fig. 1 the reach of \(\mu \rightarrow e_L \gamma \), \(\mu \rightarrow e_L \bar{e} e\) and \(\mu \mathrm{Al} \rightarrow e_L \mathrm{Al}\) as a function of \(\theta _D\) for \(\theta _{S} = \pi /2\), \(\theta _{V} = \pi /4\), and \(\phi = \pi /4\). This corresponds to \(\vec {C} \cdot \vec {e}_{S} = 0\), so \(\mu \rightarrow e \bar{e} e\) induced by the \(\vec {C} \cdot \vec {e}_{D}\), \(\vec {C} \cdot \vec {e}_{VR}\) and \(\vec {C} \cdot \vec {e}_{VL}\), and \(\mu A \! \rightarrow \! eA \) probed by Al and Au. At \(\theta _D=0,\) the dipole coefficient is only contribution to the rates. At \(\theta _D = \pi /2\), \(\vec {C} \cdot \vec {e}_{D}\) vanishes (so does \(\mu \rightarrow e \gamma \)) and \(\mu \rightarrow e \bar{e} e\) and \(\mu A \! \rightarrow \! eA \) are purely mediated by four-fermion operators. For \(\theta _D> \pi /2\), \(\vec {C} \cdot \vec {e}_{D}\) is negative and \(\mu A \! \rightarrow \! eA \) vanishes when the dipole contribution cancels the remaining contributions. The rate drops abruptly, indicating that the dipole contribution is relatively small and the cancellation only occurs in a narrow region. The valley is broader for \(\mu \rightarrow e \bar{e} e\), since the contribution of \(\vec {C} \cdot \vec {e}_{D}\) is more important, and the rate never vanishes because \(\mu \rightarrow e \bar{e} e\) independently constrains each coefficient contributing to this process, so the rate only vanishes when all the coefficients do (see Eq. 2.3); although the dipole interferes with four-fermion contributions in the amplitude, the long-distance log enhancement of the dipole prevents the vector from cancelling it in the BR.
Our angular coordinate parametrisation defined a measure on the parameter space that assumes all the coefficients in our subspace are \(\mathcal{O}(1)\) once the scale \(\Lambda _{LFV}\) is fixed. This might not be the case in some classes of models; for instance \(\vec {C} \cdot \vec {e}_{D} \gg \) four-fermion coefficients can occur (in SUSY [54]), or the dipole could be suppressed, when the four-fermion operators are generated at tree level. To illustrate complementarity when the “natural” size of \(\vec {C} \cdot \vec {e}_{D}\) is significantly different from the other coefficients, we also plot the reach in a parametrization similar to that introduced in [31] by defining a variable
This non-linear transformation magnifies the regions where the dipole contribution either dominates the four-fermion interactions (\(\theta =0,\pi \)) or is suppressed (\(\theta =\pi /2\)). (A similar variable \(\kappa _V = \mathrm{cotan} (\theta _V)\) could be defined to magnify the regions where leptonic four-fermion coefficients are much larger or smaller than those with quarks.) We subtract \(\pi /2\) in Eq. (3.1) in order to have \(\mu \rightarrow e \gamma \) larger at the centre of the plotFootnote 2 following [31].
Figure 2 displays the reach as a function of \(\theta _V\), which is effectively the angle between the \(\mu \rightarrow e \bar{e} e\) and \(\mu A \! \rightarrow \! eA \) four-fermion operators. Results for a vanishing dipole contribution (\(\theta _D=\pi /2\)) shows that \(\mu \rightarrow e \bar{e} e\) vanishes at \(\theta _V= \pi /2\) and \(\mu A \! \rightarrow \! eA \) at \(\theta _V= 0,\pi \). Adding a small negative dipole coefficient, \(\mu \rightarrow e \bar{e} e\) doesn’t vanish anymore since the dipole contributes independently as well as in interference with the four-fermion contributions, and the rate is reduced when this interference is destructive. The magnitude of the negative dipole coefficient is larger for \(\theta _D= 3\pi /4\), exhibiting that \(\mu A \! \rightarrow \! eA \) vanishes when the dipole cancels the four-fermion contributions.
Figure 3 illustrates the complementarity of heavy and light targets for \(\mu A \! \rightarrow \! eA \), by plotting the conversion ratios as function of \(\vec {C} \cdot \vec {e}_{Alight} \propto \sin \phi \) and \(\vec {C} \cdot \vec {e}_{Aheavy\perp }\propto \cos \phi \). Recall that \(\vec {C} \cdot \vec {e}_{Aheavy\perp }\) parametrizes the independent information obtained with Au. This additional contribution to \(\mu \mathrm{Au} \rightarrow e_L \mathrm{Au} \) causes the rate to vanish at a different value than that of the light targets. The dipole, which also contributes to \(\mu A \! \rightarrow \! eA \), was taken to either vanish (\(\theta _D= \pi /2\)), be positive (\(\theta _D= 3\pi /4\)) or negative (\(\theta _D= \pi /4\)). This illustrates the impact of \(\vec {C} \cdot \vec {e}_{D}\) on the rate: cancellations can occur among the dipole and four-fermion contributions, as well as between the two independent combinations of four-fermion coefficients.
Finally, the dependence of the sensitivity on the angle \(\phi \) and the variable \(\kappa _D\) is exhibited in Fig. 4. As expected, the \(\mu \rightarrow e \gamma \) and \(\mu \rightarrow e \bar{e} e\) processes are independent of \(\phi \). The shape of the conversion processes on light and heavy targets are globally similar, although the ridges along which the rates cancel are slightly different.
4 Summary
We use bottom-up EFT to calculate the reach and illustrate the complementarity of experiments searching for NP. This method is particularly well-suited to situations in which the number of observables is much smaller than the number of operators. It provides a complete parametrisation of the rates, without redundancies, and the EFT translation to \(\Lambda _{LFV}\) can be systematically improved. In addition, this formalism allows to explore the complementarity in a self-consistent manner at the same scale at which the theory is defined, and ensure that experiments effectively probe different combinations of NP parameters. This approach is generic and can be applied to many situations. In this manuscript, we use it to study CLFV in the muon sector and derive sensitivity projections for current and future experiments.
At the experimental scale, the Lagrangian given in Eq. (2.1) includes all and only the operators contributing at tree level to the observables. The combinations of coefficients constrained experimentally define the operator basis for our subspace, whose dimension is equal to the number of constraints. For \(\mu \rightarrow e_L \gamma \), \(\mu \rightarrow e_L \bar{e} e\) and Spin Independent \(\mu \mathrm{Al} \rightarrow e_L \mathrm{Al}\) and \(\mu \mathrm{Au} \rightarrow e_L \mathrm{Au} \), this subspace is six-dimensional. These coefficients are translated to \(\Lambda _{NP}\) by solving the leading order Renormalisation Group Equations below the weak scale, and matching them to SMEFT at tree level (see Eq. (2.7)). Since the number of constraints remains unchanged, the dimension of the subspace cannot grow (but it could decrease, as discussed in appendix B). However, the normalisation and direction of the basis vectors is altered, in order to include, at \(\Lambda _{LFV}\), the contributions from all the operators to the observables via short-distance effects described in the RGEs.
The ability of different experiments to probe independent operator coefficients – our definition of complementarity – is related to the misalignment between vector of coefficients. While it can be measured in various ways, we observe that a judiciously selected subset of our basis vectors remain approximately orthogonal above the weak scale, and we use various parametrisations (see Table 2 or Eq. (3.1)) to plot the experimental exclusion curves using the Branching Ratios given in Eq. (C.3). We also display a few projections to illustrate the reach and complementarity of future experiments.
An example of distinct observables probing the same New Physics is recalled in appendix B: \(\mu A \! \rightarrow \! eA \) on various nuclei could distinguish scalar \(\mu \rightarrow e\) contact interactions on neutrons from protons, but this may not allow the distinction of LFV scalar operators involving up quarks from those with down quarks. Improving the precision of the scalar \(\bar{q}q\) expectation values in the nucleon would be required to improve the situation.
This work is only a preliminary implementation of bottom-up EFT, relying on theoretical formalism described in [33]. In future work, we aim to implement the Renormalisation Group running of our vectors above the weak scale (it was neglected here for simplicity and the lack of knowledge of \(\Lambda _{LFV}\)), and match models onto the “observable subspace” at \(\Lambda _{LFV}\). We hope that finding robust distinctions among model predictions could be simplified by the reduced dimension of the subspace.
Data Availability
This manuscript has associated data in a data repository. [Authors’ comment: The data related to this manuscript can be found in the references, or obtained by request from the authors.]
Notes
This choice means that \(\kappa \)=0 corresponds to both to \(\theta \) = 0 and \(\theta = \pi \), whereas \(\pm \infty \) are identified. The plotted rates are not discontinuous at 0, because all the coefficients at \(\theta = 0,\pi \) differ by a sign.
SINDRUM searched for \(\mu \! \rightarrow \! e~ \mathrm{conversion}\) on Titanium [10, 11], and we will use these results in our study. However, according to [42], Ti and Al probe the “same” operator coefficients within current uncertainties, so we will apply the Ti bounds along the direction in coefficient space corresponding to Al.
The “\(4/\Lambda _{LFV}^4\)” in Eq. (A.5) differs from the “\(2G_F^2\)” given in KKO’s Equation (14), because \(-4 \widetilde{C}|_\mathrm{here} = \tilde{g}|_{KKO}\) in the case of four-fermion operators; and \(D_A\) is divided by 4 in the above because the dipole normalisation here is identical to KKO. In addition, the KKO overlap integrals are in units of \(m_\mu ^{3/2}\), which here sits in front.
This transition to quarks was not included in [42] due to the discrepancy among theoretical determinations of the \(G_S^{N,q}\).
The situations of the Z-penguin and the dipole are rather different: the dipole is far better constrained than the penguin, because its easier to produce muons than Z bosons. However, the dipole is also constrained by \(BR(\mu \rightarrow e \bar{e} e)\), and could be distinguished from four-fermion operators using angular distributions in \(\mu \rightarrow e \bar{e} e\), whereas \(Z \rightarrow e^\pm \mu ^\mp \) appears crucial for constraining and identifying the penguins.
References
Y. Kuno, Y. Okada, Muon decay and physics beyond the standard model. Rev. Mod. Phys. 73, 151–202 (2001). https://doi.org/10.1103/RevModPhys.73.151.arXiv:hep-ph/9909265
L. Calibbi, G. Signorelli, Charged lepton flavour violation: an experimental and theoretical introduction. Riv. Nuovo Cim. 41(2), 71–174 (2018). https://doi.org/10.1393/ncr/i2018-10144-0.arXiv:1709.00294 [hep-ph]
M.C. Gonzalez-Garcia, Y. Nir, Neutrino masses and mixing: evidence and implications. Rev. Mod. Phys. 75, 345–402 (2003). https://doi.org/10.1103/RevModPhys.75.345.arXiv:hep-ph/0202058
M. Fukugita, T. Yanagida, Baryogenesis without grand unification. Phys. Lett. B 174, 45–47 (1986). https://doi.org/10.1016/0370-2693(86)91126-3
S. Davidson, E. Nardi, Y. Nir, Leptogenesis. Phys. Rep. 466, 105–177 (2008). https://doi.org/10.1016/j.physrep.2008.06.002.arXiv:0802.2962 [hep-ph]
A.M. Baldini et al. [MEG Collaboration], Search for the lepton flavour violating decay \(\mu ^+ \rightarrow {\rm e}^+ \gamma \) with the full dataset of the MEG experiment. Eur. Phys. J. C 76(8), 434 (2016). https://doi.org/10.1140/epjc/s10052-016-4271-x. arXiv:1605.05081 [hep-ex]
A.M. Baldini et al. [MEG II Collaboration], The design of the MEG II experiment. Eur. Phys. J. C 78(5), 380 (2018). https://doi.org/10.1140/epjc/s10052-018-5845-6. arXiv:1801.04688 [physics.ins-det]
U. Bellgardt et al. [SINDRUM Collaboration], Search for the decay mu+ -\(>\) e+ e+ e-. Nucl. Phys. B 299, 1 (1988). https://doi.org/10.1016/0550-3213(88)90462-2
A. Blondel et al., Research proposal for an experiment to search for the decay \(\mu \rightarrow eee\). arXiv:1301.6113 [physics.ins-det]
W.H. Bertl et al. [SINDRUM II Collaboration], A search for muon to electron conversion in muonic gold. Eur. Phys. J. C 47, 337 (2006). https://doi.org/10.1140/epjc/s2006-02582-x
C. Dohmen et al. [SINDRUM II Collaboration], Test of lepton flavor conservation in mu -\(>\) e conversion on titanium. Phys. Lett. B 317, 631 (1993)
Y.G. Cui et al. [COMET Collaboration], Conceptual design report for experimental search for lepton flavor violating mu\(-\)–e\(-\) conversion at sensitivity of 10**(\(-\)16) with a slow-extracted bunched proton beam (COMET), KEK-2009-10
M.L. Wong [COMET Collaboration], Overview of the COMET Phase-I experiment. PoS FPCP 2015, 059 (2015)
R.M. Carey et al. [Mu2e Collaboration], Proposal to search for \(\mu ^- N \rightarrow e^- N\) with a single event sensitivity below \(10^{-16}\), FERMILAB-PROPOSAL-0973
Y. Kuno et al. [PRISM collaboration], An experimental search for a \(\mu N\rightarrow e N\) conversion at sensitivity of the order of \(10^{-18}\) with a highly intense muon source: PRISM, unpublished, J-PARC LOI (2006)
B. Aubert et al., Searches for lepton flavor violation in the decays tau+\(\rightarrow \) e+- gamma and tau+- \(\rightarrow \) mu+- gamma. Phys. Rev. Lett. 104, 021802 (2010)
W. Altmannshofer et al., The Belle II Physics Book. PTEP 2019(12), 123C01 (2019) [Erratum: PTEP 2020, 029201 (2020)]
K. Hayasaka et al., Search for lepton flavor violating tau decays into three leptons with 719 million produced tau+tau\(-\) pairs. Phys. Lett. B 687, 139–143 (2010)
Y. Miyazaki et al., Search for lepton flavor violating tau- decays into l- eta, l- eta-prime and l- pi0. Phys. Lett. B 648, 341–350 (2007)
J. Hisano, T. Moroi, K. Tobe, M. Yamaguchi, Lepton flavor violation via right-handed neutrino Yukawa couplings in supersymmetric standard model. Phys. Rev. D 53, 2442–2459 (1996). https://doi.org/10.1103/PhysRevD.53.2442.arXiv:hep-ph/9510309
W. Altmannshofer, A.J. Buras, S. Gori, P. Paradisi, D.M. Straub, Anatomy and phenomenology of FCNC and CPV effects in SUSY theories. Nucl. Phys. B 830, 17–94 (2010). https://doi.org/10.1016/j.nuclphysb.2009.12.019.arXiv:0909.1333 [hep-ph]
M. Blanke, A.J. Buras, B. Duling, A. Poschenrieder, C. Tarantino, Charged lepton flavour violation and (g-2)(mu) in the littlest Higgs model with T-parity: a clear distinction from supersymmetry. JHEP 05, 013 (2007). https://doi.org/10.1088/1126-6708/2007/05/013. arXiv:hep-ph/0702136 [hep-ph]
Y. Omura, E. Senaha, K. Tobe, Lepton-flavor-violating Higgs decay \(h \rightarrow \mu \tau \) and muon anomalous magnetic moment in a general two Higgs doublet model. JHEP 05, 028 (2015). https://doi.org/10.1007/JHEP05(2015)028. arXiv:1502.07824 [hep-ph]
E. Arganda, M.J. Herrero, X. Marcano, C. Weiland, Imprints of massive inverse seesaw model neutrinos in lepton flavor violating Higgs boson decays. Phys. Rev. D 91(1), 015001 (2015). https://doi.org/10.1103/PhysRevD.91.015001. arXiv:1405.4300 [hep-ph]
F. Deppisch, J.W.F. Valle, Enhanced lepton flavor violation in the supersymmetric inverse seesaw model. Phys. Rev. D 72, 036001 (2005). https://doi.org/10.1103/PhysRevD.72.036001. arXiv:hep-ph/0406040
S. Antusch, E. Arganda, M.J. Herrero, A.M. Teixeira, Impact of theta(13) on lepton flavour violating processes within SUSY seesaw. JHEP 11, 090 (2006). https://doi.org/10.1088/1126-6708/2006/11/090. arXiv:hep-ph/0607263 [hep-ph]
T.M. Aliev, A.S. Cornell, N. Gaur, Lepton flavour violation in unparticle physics. Phys. Lett. B 657, 77–80 (2007). https://doi.org/10.1016/j.physletb.2007.09.055.arXiv:0705.1326 [hep-ph]
M.L. López-Ibáñez, A. Melis, M.J. Pérez, M.H. Rahat, O. Vives, Constraining low-scale flavor models with (g-2)\(\mu \) and lepton flavor violation. Phys. Rev. D 105(3), 035021 (2022). https://doi.org/10.1103/PhysRevD.105.035021. arXiv:2112.11455 [hep-ph]
P. Escribano, M. Hirsch, J. Nava, A. Vicente, Observable flavor violation from spontaneous lepton number breaking. JHEP 01, 098 (2022). https://doi.org/10.1007/JHEP01(2022)098. arXiv:2108.01101 [hep-ph]
Y. Cai, J. Herrero-García, M.A. Schmidt, A. Vicente, R.R. Volkas, From the trees to the forest: a review of radiative neutrino mass models. Front. Phys. 5, 63 (2017). https://doi.org/10.3389/fphy.2017.00063. arXiv:1706.08524 [hep-ph]
A. de Gouvea, P. Vogel, Lepton flavor and number conservation, and physics beyond the standard model. Prog. Part. Nucl. Phys. 71, 75–92 (2013). https://doi.org/10.1016/j.ppnp.2013.03.006.arXiv:1303.4097 [hep-ph]
A. Crivellin, S. Davidson, G.M. Pruna, A. Signer, Renormalisation-group improved analysis of \(\mu \rightarrow e\) processes in a systematic effective-field-theory approach. JHEP 05, 117 (2017). arXiv:1702.03020 [hep-ph]
S. Davidson, Completeness and complementarity for \(\mu \rightarrow e\gamma \mu \rightarrow e \bar{e} e\) and \(\mu A \rightarrow eA\). JHEP 02, 172 (2021). https://doi.org/10.1007/JHEP02(2021)172. arXiv:2010.00317 [hep-ph]
H. Georgi, Effective field theory. Annu. Rev. Nucl. Part. Sci. 43, 209–252 (1993)
H. Georgi, On-shell effective field theory. Nucl. Phys. B 361, 339–350 (1991)
A.J. Buras, Weak Hamiltonian, CP violation and rare decays. arXiv:hep-ph/9806471
L. Houches, Lect. Notes 108 (2020)
A.V. Manohar, Introduction to effective field theories. arXiv:1804.05863 [hep-ph]
A. Pich, Effective field theory with Nambu–Goldstone modes. arXiv:1804.05664 [hep-ph]
L. Silvestrini, Effective theories for quark flavour physics. arXiv:1905.00798 [hep-ph]
M. Balsiger, M. Bounakis, M. Drissi, J. Gargalionis, E. Gustafson, G. Jackson, M. Leak, C. Lepenik, S. Melville, D. Moreno et al., Solutions to problems at Les Houches Summer School on EFT. arXiv:2005.08573 [hep-ph]
S. Davidson, Y. Kuno, M. Yamanaka, Selecting \(\mu \rightarrow e\) conversion targets to distinguish lepton flavour-changing operators. Phys. Lett. B 790, 380 (2019). https://doi.org/10.1016/j.physletb.2019.01.042. arXiv:1810.01884 [hep-ph]
R. Alonso, E.E. Jenkins, A.V. Manohar, M. Trott, Renormalization group evolution of the standard model dimension six operators III: gauge coupling dependence and phenomenology. JHEP 1404, 159 (2014). arXiv:1312.2014 [hep-ph]
E.E. Jenkins, A.V. Manohar, M. Trott, Renormalization group evolution of the standard model dimension six operators II: Yukawa dependence. JHEP 1401, 035 (2014). https://doi.org/10.1007/JHEP01(2014)035. arXiv:1310.4838 [hep-ph]
V. Cirigliano, S. Davidson, Y. Kuno, Spin-dependent \(\mu \rightarrow e\) conversion. Phys. Lett. B 771, 242 (2017). https://doi.org/10.1016/j.physletb.2017.05.053. arXiv:1703.02057 [hep-ph]
S. Davidson, Y. Kuno, A. Saporta, Spin-dependent \({\mu \rightarrow e}\) conversion on light nuclei. Eur. Phys. J. C 78(2), 109 (2018). https://doi.org/10.1140/epjc/s10052-018-5584-8. arXiv:1710.06787 [hep-ph]
M. Ciuchini, E. Franco, L. Reina and L. Silvestrini, Leading order QCD corrections to b \(\rightarrow \) s gamma and b \(\rightarrow \) s g decays in three regularization schemes. Nucl. Phys. B 421, 41 (1994). arXiv:hep-ph/9311357
W. Christopher, Murphy, dimension-8 operators in the standard model effective field theory. JHEP 10, 174 (2020)
H.-L. Li, Z. Ren, J. Shu, M.-L. Xiao, Y. Jiang-Hao, Y.-H. Zheng, Complete set of dimension-eight operators in the standard model effective field theory. Phys. Rev. D 104(1), 015026 (2021)
M. Ardu, S. Davidson, What is leading order for LFV in SMEFT? JHEP 08, 002 (2021). https://doi.org/10.1007/JHEP08(2021)002. arXiv:2103.07212 [hep-ph]
L.E. Blumenson, A derivation of n-dimensional spherical coordinates. Am. Math. Mon. 67(1), 63–66 (1960). http://www.jstor.org/stable/2308932
Y. Okada, K.I. Okumura, Y. Shimizu, Mu \(\rightarrow \) e gamma and mu \(\rightarrow \) 3 e processes with polarized muons and supersymmetric grand unified theories. Phys. Rev. D 61, 094001 (2000). https://doi.org/10.1103/PhysRevD.61.094001. arXiv:hep-ph/9906446
Y. Okada, K.I. Okumura, Y. Shimizu, CP violation in the mu \(\rightarrow \) 3 e process and supersymmetric grand unified theory. Phys. Rev. D 58, 051901 (1998). https://doi.org/10.1103/PhysRevD.58.051901. arXiv:hep-ph/9708446
J. Hisano, T. Moroi, K. Tobe, M. Yamaguchi, Exact event rates of lepton flavor violating processes in supersymmetric SU(5) model. Phys. Lett. B 391, 341–350 (1997) [Erratum: Phys. Lett. B 397, 357 (1997)] .https://doi.org/10.1016/S0370-2693(96)01473-6. arXiv:hep-ph/9605296
S. Davidson, D.C. Bailey, B.A. Campbell, Model independent constraints on leptoquarks from rare processes. Z. Phys. C 61, 613–644 (1994). https://doi.org/10.1007/BF01552629. [arXiv:hep-ph/9309310 [hep-ph]]
I. Doršner, S. Fajfer, A. Greljo, J.F. Kamenik, N. Košnik, Physics of leptoquarks in precision experiments and at particle colliders. Phys. Rep. 641, 1–68 (2016). https://doi.org/10.1016/j.physrep.2016.06.001. arXiv:1603.04993 [hep-ph]
V. Cirigliano, M.L. Graesser, G. Ovanesyan, WIMP-nucleus scattering in chiral effective theory. JHEP 10, 025 (2012). https://doi.org/10.1007/JHEP10(2012)025. arXiv:1205.2695 [hep-ph]
M. Hoferichter, P. Klos, A. Schwenk, Chiral power counting of one- and two-body currents in direct detection of dark matter. Phys. Lett. B 746, 410–416 (2015). https://doi.org/10.1016/j.physletb.2015.05.041.arXiv:1503.04811 [hep-ph]
A. Crivellin, M. Hoferichter, M. Procura, Improved predictions for \(\mu \rightarrow e\) conversion in nuclei and Higgs-induced lepton flavor violation. Phys. Rev. D 89, 093024 (2014). https://doi.org/10.1103/PhysRevD.89.093024. arXiv:1404.7134 [hep-ph]
V. Cirigliano, K. Fuyuto, M.J. Ramsey-Musolf, E. Rule, Next-to-leading order scalar contributions to \(\mu \rightarrow e\) conversion. arXiv:2203.09547 [hep-ph]
W. Dekens, E.E. Jenkins, A.V. Manohar, P. Stoffer, Non-perturbative effects in \(\mu \rightarrow e \gamma \). JHEP 01, 088 (2019). https://doi.org/10.1007/JHEP01(2019)088. arXiv:1810.05675 [hep-ph]
R. Kitano, M. Koike, Y. Okada, Detailed calculation of lepton flavor violating muon electron conversion rate for various nuclei. Phys. Rev. D 66, 096002 (2002) [Erratum: Phys. Rev. D 76, 059902 (2007)]. https://doi.org/10.1103/PhysRevD.76.059902. arXiv:hep-ph/0203110
S. Borsanyi, Z. Fodor, C. Hoelbling, L. Lellouch, K.K. Szabo, C. Torrero, L. Varnhorst, Ab-initio calculation of the proton and the neutron’s scalar couplings for new physics searches. arXiv:2007.03319 [hep-lat]
M. Hoferichter, J. Ruiz de Elvira, B. Kubis, U.G. Meissner, High-precision determination of the pion-nucleon term from Roy–Steiner equations. Phys. Rev. Lett. 115, 092301 (2015). https://doi.org/10.1103/PhysRevLett.115.092301. arXiv:1506.04142 [hep-ph]
A. Crivellin, M. Hoferichter, M. Procura, Accurate evaluation of hadronic uncertainties in spin-independent WIMP-nucleon scattering: disentangling two- and three-flavor effects. Phys. Rev. D 89, 054021 (2014). https://doi.org/10.1103/PhysRevD.89.054021. arXiv:1312.4951 [hep-ph]
J. Ruiz de Elvira, M. Hoferichter, B. Kubis, U.G. Meißner, Extracting the -term from low-energy pion-nucleon scattering. J. Phys. G 45(2), 024001 (2018). https://doi.org/10.1088/1361-6471/aa9422. arXiv:1706.01465 [hep-ph]
S. Durr et al., Lattice computation of the nucleon scalar quark contents at the physical point. Phys. Rev. Lett. 116(17), 172001 (2016). https://doi.org/10.1103/PhysRevLett.116.172001. arXiv:1510.08013 [hep-lat]
P. Junnarkar, A. Walker-Loud, Scalar strange content of the nucleon from lattice QCD. Phys. Rev. D 87, 114510 (2013). https://doi.org/10.1103/PhysRevD.87.114510. arXiv:1301.1114 [hep-lat]
J.M. Alarcon, J. Martin Camalich, J.A. Oller, The chiral representation of the \(\pi N\) scattering amplitude and the pion-nucleon sigma term. Phys. Rev. D 85, 051503 (2012). https://doi.org/10.1103/PhysRevD.85.051503. arXiv:1110.3797 [hep-ph]
R. Gupta, S. Park, M. Hoferichter, E. Mereghetti, B. Yoon, T. Bhattacharya, Pion-nucleon sigma term from lattice QCD. Phys. Rev. Lett. 127(24), 24 (2021). https://doi.org/10.1103/PhysRevLett.127.242002. arXiv:2105.12095 [hep-lat]
M.A. Shifman, A.I. Vainshtein, V.I. Zakharov, Remarks on Higgs boson interactions with nucleons. Phys. Lett. B 78, 443 (1978)
K.A. Olive et al. [Particle Data Group], Review of particle physics. Chin. Phys. C 38, 090001 (2014). https://doi.org/10.1088/1674-1137/38/9/090001
P.A. Zyla et al. [Particle Data Group], Review of particle physics. PTEP 2020(8), 083C01 (2020)
S. Davidson, Y. Kuno, Y. Uesaka, M. Yamanaka, Probing \(\mu e \gamma \gamma \) contact interactions with \(\mu \rightarrow e\) conversion. Phys. Rev. D 102(11), 115043 (2020). arXiv:2007.09612 [hep-ph]
T. Suzuki, D.F. Measday, J.P. Roalsvig, Total nuclear capture rates for negative muons. Phys. Rev. C 35, 2212 (1987). https://doi.org/10.1103/PhysRevC.35.2212
V. Cirigliano, R. Kitano, Y. Okada, P. Tuzon, On the model discriminating power of mu -\(>\) e conversion in nuclei. Phys. Rev. D 80, 013002 (2009). https://doi.org/10.1103/PhysRevD.80.013002. arXiv:0904.0957 [hep-ph]
W. Buchmuller, D. Wyler, Effective Lagrangian analysis of new interactions and flavor conservation. Nucl. Phys. B 268, 621 (1986). https://doi.org/10.1016/0550-3213(86)90262-2
B. Grzadkowski, M. Iskrzynski, M. Misiak, J. Rosiek, Dimension-six terms in the standard model Lagrangian. JHEP 1010, 085 (2010). arXiv:1008.4884 [hep-ph]
G. Aad et al., [ATLAS], Search for the lepton flavor violating decay \(Z\rightarrow e\bar{\mu }\) in pp collisions at \(\sqrt{s}\) TeV with the ATLAS detector. Phys. Rev. D 90(7), 072010 (2014). https://doi.org/10.1103/PhysRevD.90.072010. arXiv:1408.5774 [hep-ex]
Acknowledgements
SD thanks A. Ibarra for a seminar invitation and discussions.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Operators, rates and R-matrices at low energy
The operators contributing at the experimental scale \(\sim m_\mu \) to the tree level amplitudes for \(\mu \rightarrow e_L \gamma \), \(\mu \rightarrow e_L \bar{e} e\) and Spin Independent \(\mu A\rightarrow e_L A\) are given in Eq. (2.1), where the \(\mu A \! \rightarrow \! eA \) operators can be expanded on:
where \(N\in \{p,n\}\), and the list neglects subdominant operators such as \(\overline{e} P_{X} \mu FF\) [74]. The operator \(\mathcal{O}_{Alight} \) is approximatively
The Branching Ratios (BRs) for the various processes can be expressed in terms of the operator coefficients \(\vec {C}\) and the matrices R:
where \(v\simeq m_t\) is the Higgs vev, and \(\vec {C} \cdot \hat{e}_{D}={C}_{D}\). For \(\mu \rightarrow e_L \bar{e} e\), the BRs given in the text can be written using:
where R is given in the basis \((C^{e\mu ee}_{VL},C^{e\mu ee}_{VR},C^{e\mu ee}_{S}, C^{e\mu ee}_{D})\).
For \(\mu A \! \rightarrow \! eA \), we consider the conversion ratios on prototypical heavy and light targets, taken to be Au and Al.Footnote 3 Following Kitano, Koike and Okada (KKO) [62], the Spin-Independent conversion rate can be written
where we use the nucleus(A)- and nucleon(N)-dependent “overlap integrals” \(V_A^{(N)}\), \(S_A^{(N)}\), \(D_A\) given by KKO [62],Footnote 4 and \(\Gamma _{cap}\) is the rate for the muon to transform to a neutrino by capture on the nucleus. Some relevant rates are [75]:
KKO observed that the overlap integrals were nucleus-dependent, and measurements of \(\mu \! \rightarrow \! e~ \mathrm{conversion}\) on different targets could be used to determine the operator coefficients. Reference [42] explored this issue quantitatively, and showed that with current uncertainties, Ti and Au give independent constraints. In this work, we are interested in a slightly different question: whether the observables give different constraints on New Physics heavier than \(m_\mu \) and \(\Lambda _{QCD}\), instead of understanding if they are independent. Unfortunately, there is “information loss” in matching nucleons onto quarks (see Sect. B), so we match the nucleon onto quark operators before constructing the R-matrices for \(\mu \mathrm{Al} \rightarrow e_L \mathrm{Al}\) and \(\mu \mathrm{Au} \rightarrow e_L \mathrm{Au} \).
Nucleon operators can be matched at 2 GeV onto light quark operators (see [33] for a basis) as
We also include the two-step matching of scalar b and c operators \((\bar{e} P_R \mu )(\bar{Q} Q)\) [71, 76], first onto the gluon operator \((\bar{e} P_R \mu )GG\), then onto nucleons. As a result, the nucleon and quark coefficients are related as
where \(O\in \{S,V\}\) and the relevant Gs are given in Table 4. One can then define quark “overlap integrals” for target A as
where in this work we use the EFT results [64] for \(G_S^{N,q}\), which differ by \(\sim \)50% from lattice results [63, 67]. Assembling the quark overlap integrals for target A into a “target vector” \(\vec {u}_A\):
allows to write the Conversion Ratio as
where \(g_A^{cap}\) is defined in Eq. (A.6), and \(D_A\) is the KKO overlap integral for the dipole [62]. So the R-matrix at a scale of 2 GeV is
This translation of nucleon to quark operators neglects higher order QED and “strong interaction” effects between the experimental scale \(m_\mu \) and 2 GeV: the QED running is small for the considered operators, and we did not include recent \(\chi \)PT results [60].
The prospects of distinguishing coefficients by using different targets depend on the misalignment between the target vectors, which can be quantified as an angle [42]:
In the quark operator basis at 2 GeV, this angle is given for various potential targets in Table 3. The angles are smaller than the misalignment angles in the nucleon operator basis[42] (see Figs. 6 and 7), because the scalar quark overlap integrals are larger than the vector integrals, and comparable for u and d quarks. In addition, there is currently a large discrepancy, \(\sim 50\)%, between lattice and EFT determinations of the scalar overlap integrals. We assume that this theoretical discrepancy can be solved, so that \(\mu A\rightarrow e_L A\) on Au and Al give independent information.
Equation (A.11) gives the R-matrices for Al and Au, which probe directions in quark coefficient space that are misaligned by \(\sim \) 5 degrees, at a scale of 2 GeV. In the plane spanned by \(\vec {u}_{Au}\) and \(\vec {u}_{Al}\), the orthogonal combinations used in Eq. (2.1), can be obtained by writing the target vector \(\vec {u}_{Au} \) for Au as:
where \(\theta _{AuAl}\) is given in Table 3, and \(\vec {u}_{\perp } \approx .56 \hat{e}^{uu}_{V} + .8 \hat{e}^{dd}_V\) is the direction in coefficient space corresponding to the operator \(\mathcal{O}_{Aheavy\perp }\) of Eq. (2.1). As a result, from Eqs. (A.2), (A.10) and Eq. (A.13), one approximatively obtains
Appendix B: Are scalar quark currents indistinguishable?
This Appendix is focused on the information loss that occurs in matching nucleons to quarks at 2 GeV. In the data, LFV scalar interactions with neutrons might be distinguishable from those on protons [42]. But current theoretical translations of the nucleon results to quarks erase any distinction between LFV interactions with scalar u or d currents (the subdominant s, c, b, t quarks are neglected in this section).
The Spin-Independent Conversion Rate (CR) is given in Eq. (A.5) in terms of operator coefficients on nucleons. This result is at “Leading Order” in the low energy theory, and does not include the next order in \(\chi \)PT (parametrically \(\sim 10\)%, two-nucleon effects, pion exchange...) or in the nuclear matrix element. Such effects have been calculated for WIMP scattering [57, 58], and some partial results for \(\mu A \! \rightarrow \! eA \) have been obtained [59,60,61]. Improvements of the theoretical calculation of \(\Gamma (\mu A \! \rightarrow \! eA )\) could change the form of the conversion ratio (this occurs in [60]), or reduce the uncertainties on its parameters, thereby resolving the issue discussed here.
To set the stage, recall from KKO [62] that the overlap integrals for scalar and vector densities of neutrons and protons differ by less than a factor of three. In particular, Al approximately probes
(neglecting the dipole which could be constrained/measured elsewhere). In addition, it was pointed out in [42] that measuring \(\mu A \! \rightarrow \! eA \) on another light target with different numbers of n and p would allow the measurement of
Then, as noted by KKO, vector overlap integrals dominate over the scalars in heavy targets, so comparing Al to Au could allow to determine
However, heavy targets also have more neutrons, so the \(n-p\) measurement from comparing two light targets is required to extract the \(S-V\) from heavy targets. The one remaining combination of coefficients (an isospin-violating V-S difference) has little impact on the CR given in Eq. (A.5), and cannot be extracted with current theoretical uncertainties [42].
The operator coefficients on nucleons can be transformed to coefficients on quarks according to Eq. (A.7), using the matrix G given in Table 4.Footnote 5 Focusing on the first generation valence quarks, this can be written as:
where the vector coefficients exhibit the expected dominance of u quarks in the proton, and d quarks in the neutron: the quark vector coefficients can be calculated from the nucleon vector nucleon coefficients, and vice versa. In the case of the scalar coefficients, this is almost not the case; for both lattice and EFT determinations of the \(G_S^{N,q}\), the determinant of the scalar submatrix in Eq. (B.4) is small compared to the product of two \(G_S^{N,q}\) (\(G_S^{pu}G_S^{nd} -G_S^{pd}G_S^{nu}\) \(\sim 9^2 -8^2 (6^2 - 5^2)\)), causing large uncertainties when it is inverted to solve for quark coefficients as a function of nucleon coefficients. In addition, \(G_S^{N,q}\gg G_V^{N,q}\) increases the sensitivity to scalar coefficients, and reduces the relative contribution of the vector coefficients to about the magnitude of the scalar uncertainties.
The effects of transforming from nucleon operators to quark operators can be seen in Fig. 5, where are plotted the quark and nucleon overlap integrals. This illustrates the difficulty to distinguish scalar u vs d, and also that the variation with Z is reduced for the quarks compared to nucleons.
The ability of different targets to distinguish among operator coefficients can be quantified as the angle between the directions they probe in coefficient space [42], where the direction is given by the overlap integrals for the target. Figs. 6 and 7 plots this misalignment angle as a function of Z for various past and future targets. The plot on the left is for quark coefficients, and on the right is for nucleon coefficients (notice the difference in the vertical scale). Reference [42] estimated that a misalignment angle was required to overcome theoretical uncertainties in the nuclear calculation, and obtain independent measurement of distinct nucleon operator coefficients. Even if one neglects the theoretical uncertainty in the \(G_O^{N,q}\)s, applying this rule for quark coefficients suggests that the theoretical accuracy needs to be improved.
In summary, upcoming experiments could hope to bound or measure the three combinations of nucleon coefficients given in Eqs. (B.1–B.3). However, due to the almost-vanishing scalar determinant in Eq. (B.4), theoretical progress in calculating the \(G^{Nq}_S\) is required, for these to constrain three independent combinations of quark operator coefficients.
Appendix C: Including the penguin
This Appendix discusses the orthogonality of the basis used for the experimentally accessible subspace. We need an orthogonal basis to illustrate complementarity in polar coordinates; orthogonality would not be required to evaluate complementarity via Eq. (2.6), nor for exploring the model predictions for coefficients in the subspace. In the following, the term “penguins” refer to the operators of Eq. (C.1).
The basis vectors at are G\(^*(m_W,m_\mu ) \hat{e}_{A}\); we do not give explicit expressions because the translation from the observable-motivated basis to an arbitrary other choice is a technicality more suitable to computers. Expressions for various \(\vec {C}^\dagger {\varvec{ G}}^* (m_W,m_\mu ) \hat{e}_{A}\), appropriate for calculating LFV BRs in terms of coefficients at the weak scale, can be found in [33]. The norms and inner products among some basis vectors are given in Table 5, which shows an overlap of \( 10 \rightarrow 20 \) degrees between the vector operators (\(e_\perp \) has significant quark-vector components). The shrinking of the quark target-vectors is largely due to the shrinking scalar coefficients.
The overlap among the coefficients of \((\bar{e}\gamma ^\alpha P_L \mu )(\bar{f}\gamma _\alpha f)\) operators arises because the \(\mu \rightarrow e \) penguin operators of the SM EFT [77, 78]:
generate a flavour-changing vertex \(\frac{gv^2}{c_W \Lambda _{LFV}^2 }(C^{e \mu }_{HL1} + C^{e \mu }_{HL3}) \bar{e} \, Z \! \! \! \! / ~ P_L \mu \), so that Z exchange gives four-fermion operators in the low energy EFT:
where f is any light chiral fermion, we used the SM Z interaction \( \frac{g}{2c_W}(g^{f}_{L} P_L + g^{f}_{R} P_R)\) and \(c_W=\cos \theta _W\). As a result, at the weak scale, the basis vectors \(\vec {e}_{VL} \) and \(\vec {e}_{VR} \) have components \( g^e_{L}\) and \(g^e_{R}\) in the two penguin directions, respectively, giving a tree-level contribution to \(\vec {e}_{VL} \cdot \vec {e}_{VR}\) of order \( 2g^e_{L}g^e_{R} = 4 s_W^2(-1+2 s_W^2)\).
A more orthogonal basis could be obtained by removing the penguin contribution from the low energy \((\bar{e}\gamma ^\alpha P_L \mu )(\bar{f}\gamma _\alpha f)\) operators, and adding \(Z\rightarrow \mu e_L\) as an observable at \(m_W\). This is analogous to what was already done for the dipole, removing it from the combination of operators contributing to \(\mu A \! \rightarrow \! eA \), and including \(\mu \rightarrow e \gamma \) as an observable. However, this adds a dimension to the subspace, and tangles the intuitive link between basis vectors and observables. It is pursued in (C.2). (C.1) describes a simpler approach used to make the plots in the body of the paper.
1.1 C.1 A reduced basis at \(\Lambda _{LFV}\sim m_W\)
In this section we outline a method for choosing a penguin-less basis vector corresponding to a linear combination of \(\vec {e }_{VL}\) and \(\vec {e }_{VR}\), which is approximately orthogonal to the remaining basis vectors. In addition, the complementarity plots involving \(\vec {e }_{VL}\) or \(\vec {e }_{VR}\) are similar, so this choice suppresses redundancy.
The dependence of BR(\(\mu \rightarrow e \bar{e} e\)) on \(C_{VL}\) and \(C_{VR}\) is very similar, as can be seen from Eq. (2.3). Since these coefficients can be distinguished via the angular distributions of the final state electrons in \(\mu \rightarrow e \bar{e} e\) [52, 53] rather than by comparing BR(\(\mu \rightarrow e \gamma \)) and BR(\(\mu \rightarrow e \bar{e} e\)), it is sufficient to plot \(\mu \rightarrow e \gamma \) and \(\mu \rightarrow e \bar{e} e\) in terms of a combination of these coefficients. By choosing this combination to suppress penguin contribution, we obtain five approximately orthogonal basis vectors.
As mentioned above, in the SMEFT basis at \(m_W\), \(\vec {e }_{VL}\) and \(\vec {e }_{VR}\) have components \(\sim g^e_L, g^e_R\) along the directions of the penguin operators of Eq. (C.1). So introducing \(\vec {e}_{V}\propto g^e_R\vec {e }_{VL} - g^e_L \vec {e }_{VR}\), one sees that its penguin component vanishes at tree level, and \(\vec {e}_{V}\) will be orthogonal to \(\vec {e }_{Aheavy\perp }\) up to loop effects. We therefore replace the \(\vec {e}_{VR}\otimes \vec {e}_{VL}\) plane by an axis along \(\vec {e}_{V}\) and plot the complementarity of the three rates in the resulting 5-dimensional space.
In this reduced basis, the BRs can be written in terms of operator coefficients at \(\Lambda _{LFV}\sim m_W\) as
where we replace \(\{ \theta _{VR},\theta _{VL} \} \rightarrow \theta _V\), the un-primed norms of the basis vectors at \(m_W\) are on the diagonal of Table 5 and \( |\vec {e }^{~'}_{VR}|= -g^e_L|\vec {e }_{VR}| /\sqrt{ (g^e_L)^2+ (g^e_R)^2}= 1.05\), \(|\vec {e }^{~'}_{VL}| = g^e_L|\vec {e }_{VL}|/\sqrt{ (g^e_R)^2+ (g^e_R)^2}= 0.709 \), \(\theta _\mathrm{AuAl}\) is in Table 3, and norms obtained from the \(\mu A \! \rightarrow \! eA \) overlap integrals and nucleon-quark matching are \(|\vec {u}_{Al}| = 0.39706\) \(|\vec {u}_{Ti}| = 0.991275\), and \(|\vec {u}_{Au}| = 1.92876\).
1.2 C.2 An enlarged basis at \(\Lambda _{LFV}\sim m_W\)
This section outlines the approach of adding \(Z\rightarrow e^\pm \mu ^\mp \) to the observables, and removing the contribution of the flavour-changing Z penguin from the four-fermion operators. This ensures that the basis vectors are orthogonal at \(m_W\) to within a degree or two, and highlights the importance of \(Z \rightarrow e^\pm \mu ^\mp \) for distinguishing among coefficients and models.
The operators \(\mathcal{O}^{e \mu }_{HL1}\) and \(\mathcal{O}^{e \mu }_{HL3}\) of Eq. (C.1) mediate flavour-changing Z decays, upon which ATLAS [79] sets the constraint \(BR(Z \rightarrow e^\pm \mu ^\mp )<7.5\times 10^{-7}\) (based on 20 fb\(^{-1}\) of luminosity), implying:
The current sensitivity of \(\mu A \! \rightarrow \! eA \) and \(\mu \rightarrow e \bar{e} e\) to these coefficients is three orders of magnitude better, and should improve by another two orders of magnitude with upcoming experiments. Nonetheless, improving the experimental reach in \(Z \rightarrow e^\pm \mu ^\mp \) is interesting, because experiments at muon mass scale cannot distinguish these penguin operators from the four-fermion ones.Footnote 6
We include an additional basis vector in the coefficient subspace above \(m_W\) :
(for the case of an outgoing \(e_L\); for outgoing \(e_R\) it would be \(\hat{e}_{HE}\)), and rewrite the operator coefficients in spherical coordinates as
where \(\theta _J :0.. \pi \) and \(\phi :0.. 2\pi \), and recall that a model would predict the various angles and the scale.
The expressions for low energy BRs in this enlarged basis become more complicated, because the low energy four-fermion coefficients are expressed as the component from Z exchange, plus the component from four-fermion operator at the weak scale. The normalisation of some basis vectors changes as well, becoming:
The formulae for the reach, obtained from the Branching Ratios are:
where the one-loop matching of penguin operators to the dipole was included. For \(\mu \rightarrow e \bar{e} e\):
where 0.685 and -0.722 correspond respectively to \(\sqrt{2} g^e_{R,L}\times \)QED loop corrections. Finally, subtracting the penguins from the u and d vector operators in \(\mu A \! \rightarrow \! eA \) gives
1.3 C3. The eigenbasis of the covariance matrix
An alternative basis for the subspace of constrained coefficients, also orthogonal and perhaps more familiar, would be the eigenvectors of the covariance matrix. The inverse covariance matrix \({\varvec{V}}\) for all the processes can be written as
where the coefficients are evaluated at the experimental scale. The inverse eigenvalues give the allowed range of coefficients in the eigenbasis, and the eigenvectors are orthogonal combinations of operators, which correspond to the axes of the allowed ellipse around the origin in coefficient space. This is a convenient basis for plotting, because the limiting values of each parameter are obtained on the axes, so there is no need to do perform scans. However, we prefer the operator basis of Eq. (2.1), because it is simple and directly related to the experimental processes.
A covariance matrix for the coefficients at \(\Lambda _{LFV}\) can be obtained by substituting Eq. (2.7) into Eq. (C.11). This matrix is large, (\(\sim 90 \times 90\)), so despite that most of the eigenvalues should vanish, finding the eigenvectors of the 12 non-zero eigenvalues would be a numerical exercise which could disconnect the final basis and constraints from the input processes. It has the advantage of giving an orthonormal basis, whose eigenvectors correspond to the axes of the allowed ellipse in coefficient space.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Davidson, S., Echenard, B. Reach and complementarity of \(\mu \rightarrow e\) searches. Eur. Phys. J. C 82, 836 (2022). https://doi.org/10.1140/epjc/s10052-022-10773-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10773-4