1 Introduction

There has been a long-standing discrepancy between the standard model (SM) prediction and experiment for muon anomalous magnetic moment \(a_\mu =(g-2)_\mu /2\). The combined result of the FNAL E989 experiment  [1] and the BNL experiment gives a value which is \(4.2\sigma \) above the SM prediction  [2]:

$$\begin{aligned} \begin{aligned} \Delta a_{\mu }^\mathrm{{Exp-SM}}&=a_\mu ^\mathrm{Exp}-a_\mu ^\mathrm{SM} \\&= (2.51\pm 0.59) \times 10^{-9}. \end{aligned} \end{aligned}$$
(1)

On the other hand, for electron anomalous magnetic moment \(a_e\), the SM predicted value [3] derived from the measurement of the fine-structure constant \(\alpha _\mathrm{em}\) using \(^{133}\)Cs atoms at Berkeley [4] is \(2.4\sigma \) above the electron \(g-2\) experimental value [5]:

$$\begin{aligned} \begin{aligned} \Delta a_e^\mathrm{{Exp-SM}}&=a_e^\mathrm{Exp}-a_e^\mathrm{SM}(\text {Cs}) \\&=(-8.8\pm 3.6)\times 10^{-13}. \end{aligned} \end{aligned}$$
(2)

However, another experimental result of \(\alpha _\mathrm{em}\) measured with \(^{87}\)Rb atoms at Laboratoire Kastler Brossel (LKB) [6] gives a value of \(a_e\) [7] which agrees with the electron \(g-2\) experimental value [5]. So far, the cause of the discrepancy between the Berkeley and LKB results is not clear. Obviously, if the Berkeley result is correct, it may serve as a plausible hint for new physics; if the LKB result is correct, there will be no need for new physics to provide a contribution to \((g-2)_e\).

Actually, neither the Berkeley result for electron \(g-2\) nor the FNAL + BNL result for muon \(g-2\) can serve as a robust evidence for new physics beyond the SM. Whereas, while waiting for more forthcoming independent experiments to make confirmation, many theorists have chosen to keep open minds and intensively studied the implications of these anomalies for new physics. In this work, we keep open minds and study the implications of these anomalies for low energy supersymmetry.

The \(g-2\) of a charged lepton relates to the new physics scale \(\Lambda \) as [8]

$$\begin{aligned} \frac{\delta a_{\ell }}{a_{\ell }}\propto \left( \frac{m_{\ell }}{\Lambda }\right) ^2, \end{aligned}$$
(3)

where \(\Lambda \) is assumed to be much larger than the lepton mass \(m_{\ell }\). If the new physics is the same for different lepton flavors, we may expect

$$\begin{aligned} \frac{\delta a_e}{\delta a_\mu } \approx \left( \frac{m_e}{m_\mu }\right) ^2\approx \frac{1}{43000}. \end{aligned}$$
(4)

But from Eqs. (1) and (2) we obtain

$$\begin{aligned} \frac{\Delta a_e^\mathrm{{Exp-SM}} }{\Delta a_\mu ^\mathrm{{Exp-SM}} }\approx -15\times \frac{1}{43000}, \end{aligned}$$
(5)

which implies that the new physics should not be flavor blind [9]. This brings us a serious challenge for building new physics models. Intuitively, in order to jointly explain the electron and muon \(g-2\) anomalies, new physics models must have different couplings for charged leptons of different flavors. This will suggest us to consider some new physics models with lepton flavor universality violation. However, in some models the manifest breaking of lepton flavor universality is not required [10,11,12].

There have been many studies trying to explain electron and muon \(g-2\) jointly: (i) using the two-Higgs-doublet model (2HDM) or its extended versions [13,14,15,16,17,18,19], among which the aligned 2HDM with right-handed neutrinos was used in  [13], the 2-loop contribution in 2HDM with flavor conservation was considered in  [14], while a neutral scalar H with mass satisfying \(\mathcal {O}(1)\,\text {MeV}<m(H)<\mathcal {O}(1)\,\text {GeV}\) was used in  [16]; (ii) using leptoquarks  [17, 20, 21] and axion-like particles [21]; (iii) using flavor models  [15, 22] which attempted to solve the fermion mass hierarchy problem while provide a joint explanation for the muon/electron \(g-2\) anomalies; (iv) using the inverse type-III seesaw model with a pair of vector-like leptons  [23]; (v) using an abelian flavor symmetry [24] to make electron and muon decouple to circumvent the MEG bound of \(\mathcal {B}(\mu ^+\rightarrow e^+\gamma )\)  [25] (note that \(Z'\)-model cannot explain the muon/electron \(g-2\) anomalies under the MEG bound, as shown in  [26, 27]); (vi) using a flavor-dependent global U(1) symmetry and a discrete \(\mathbb {Z}_2\) symmetry with some additional fermion and scalar fields [28].

As a leading candidate for new physics models, the MSSM (minimal supersymmetric standard model) was also considered  [29] to interpret \(\Delta a_{e,\,\mu }\) while escaping the \(\mathcal {B}(\mu ^+\rightarrow e^+\gamma )\) constraint by assuming 1-3 flavor violation. Another attempt in the MSSM without assumption of flavor violation but with flavor non-universality was given in  [30], where the authors decouple the right-hand smuon and choose a negative soft mass parameter \(M_1\) to achieve the goal. Furthermore, one can explain \(\Delta a_{e,\,\mu }\) jointly by using the SUSY threshold correction to change the selectron and smuon Yukawa couplings including size and sign [31]. In addition, the B-L SSM and an extended NMSSM (next-to-minimal supersymmetric standard model) was used for a joint explanation of muon/electron \(g-2\) anomalies [32, 33].

Anyway, it is rather challenging for the MSSM to simultaneously explain electron and muon \(g-2\). Although previous studies found out a plausible part of parameter space in the MSSM, some relevant constraints were not considered (say from dark matter) or not fully considered (say from collider experiments). Given the popularity of the MSSM and the plausible new physics hints from the muon/electron \(g-2\) anomalies, we in this work revisit the MSSM to give a more comprehensive study. We will explore the MSSM parameter space to figure out the possibility to accommodate the muon/electron \(g-2\) anomalies under other relevant constraints from collider experiments and dark matter measurements.

This work is organized as follows. In Sect. 2, we describe the MSSM contributions to muon/electron \(g-2\). In Sect. 3, we explore parameter space to accommodate the muon/electron \(g-2\) anomalies. In Sect. 4, we show relevant constraints on the favored parameter space. Finally, we conclude in Sect. 5.

2 MSSM contributions to electron and muon \(g-2\)

The MSSM contributions to a charged lepton \(\ell \) (electron or muon) \(g-2\) mainly come from neutralino-slepton and chargino-sneutrino loops. The analytical expressions contributed by these two parts are given by [34]

$$\begin{aligned} \delta a_{\ell }^{\chi ^0}&= \frac{m_{\ell }}{16\pi ^2} \sum _{i,m}\left\{ -\frac{m_{\ell }}{ 12 m^2_{\tilde{\ell }_m}} (|n^L_{im}|^2+ |n^R_{im}|^2)F^N_1(x_{im}) \right. \nonumber \\&\quad \left. +\frac{m_{\chi ^0_i}}{3 m^2_{\tilde{\ell }_m}} \mathrm{Re}[n^L_{im}n^R_{im}] F^N_2(x_{im})\right\} , \end{aligned}$$
(6)
$$\begin{aligned} \delta a_{\ell }^{\chi ^\pm }&= \frac{m_{\ell }}{16\pi ^2}\sum _k \Bigg \{ \frac{m_\ell }{ 12 m^2_{\tilde{\nu }_\ell }} (|c^L_k|^2+ |c^R_k|^2)F^C_1(x_k) \nonumber \\&\quad \quad +\frac{2m_{\chi ^\pm _k}}{3m^2_{\tilde{\nu }_\ell }} \mathrm{Re}[ c^L_kc^R_k] F^C_2(x_k)\Bigg \}, \end{aligned}$$
(7)

where \(x_{im}=m^2_{\chi ^0_i}/m^2_{\tilde{l}_m}\) and \(x_k=m^2_{\chi ^{\pm }_k}/m^2_{\tilde{\nu }_l}\). The definitions of \(n^{L,R}\), \(c^{L,R}\) and \(F_{1,2}^{C,N}\) can be found in appendix.

In this work, we mainly use Eqs. (6) and  (7) to calculate the muon/electron \(g-2\) and some significant 2-loop corrections will also be included. After considering the 2-loop corrections, we have

$$\begin{aligned} \delta a_\ell ^\mathrm{SUSY}&=\left( 1-\frac{4\alpha }{\pi }\ln \frac{M_\mathrm{SUSY}}{m_\ell }\right) \nonumber \\&\quad \times \left( \frac{1}{1+\Delta _\ell }\right) \delta a_\ell ^\mathrm{SUSY,\,1L}, \end{aligned}$$
(8)

where \(\delta a_\ell ^\mathrm{SUSY,\,1L}\) denotes one-loop SUSY contributions. The term in the first bracket arises from the leading-logarithmic QED correction [35]. This correction takes into account renormalization group evolution of effective operators from \(M_\mathrm{SUSY}\) to \(m_\ell \) scale, which can lead to a reduction of about \(7\%\) for \(\delta a_\mu \), and a reduction of about \(11\%\) for \(\delta a_e\). The term in the second bracket of Eq. (8) arises from the \(\tan \beta \)-enhanced loop diagrams that can correct the Yukawa couplings of sleptons, and a resummation has been made [36, 37]. \(\Delta _\ell \) is given by

$$\begin{aligned} \Delta _\ell&= -\mu \tan \beta \,\frac{g_2^2 M_2}{16\pi ^2}\left[ I(m^2_{\chi ^{\pm }_1},m^2_{\chi ^{\pm }_2},m_{\tilde{\nu }_\ell }^2)\right. \nonumber \\&\qquad + \left. \frac{1}{2} I(m^2_{\chi ^{\pm }_1},m^2_{\chi ^{\pm }_2},m_{\tilde{\ell }_L}^2)\right] \nonumber \\&\quad - \mu \tan \beta \,\frac{g_1^2 M_1}{16\pi ^2} \left[ I(\mu ^2,M_1^2,m_{\tilde{\ell }_R}^2)\right. \nonumber \\&\qquad - \left. \frac{1}{2} I(\mu ^2,M_1^2,m_{\tilde{\ell }_L}^2)-I(M_1^2,m_{\tilde{\ell }_L}^2,m_{\tilde{\ell }_R}^2)\right] , \nonumber \\ \end{aligned}$$
(9)

where the loop function I(abc) is given by

$$\begin{aligned} I(a,b,c)=-\frac{ab\ln (a/b) + bc\ln (b/c) + ca\ln (c/a)}{(a-b)(b-c)(c-a)}. \end{aligned}$$
(10)

We use some tricks to prevent enormous errors while avoid false singularities of I(abc). We note that I(abc) is fully symmetric to the three parameters, and therefore we assume \(a\le b\le c\) and define \(x=a/b\), \(y=c/b\). Then we obtain

$$\begin{aligned} I(a,b,c)=\frac{1}{c-a}\left( y\times \frac{\ln y}{y-1}-x\times \frac{\ln x}{x-1}\right) . \end{aligned}$$
(11)

If \(x\approx 1\) and , one can perform Fourier expansion for \(\ln x/(x-1)\) around \(x=1\) for the calculation. The practice is similar when \(y\approx 1\) and . If \(a\approx c\), we demand the Fourier expansion of the binary function. Defining \(\delta x=x-1\) and \(\delta y=y-1\), then we have

$$\begin{aligned} I(a,b,c)&=\frac{1}{2b} \left[ 1-\frac{\delta x+\delta y}{3}+\frac{g(\delta x,\,\delta y,\,2)}{6}\right. \nonumber \\&\quad \left. - \frac{g(\delta x,\,\delta y,\,3)}{10}+\frac{g(\delta x,\,\delta y,\,4)}{15}+\cdots \right] ,\nonumber \\ \end{aligned}$$
(12)

where

$$\begin{aligned} g(\delta x,\,\delta y,\,n)=\sum _{i=0}^n\delta x^i\delta y^{n-i}. \end{aligned}$$
(13)

From Eq. (9) we know that this correction can be enhanced by a large \(\mu \tan \beta \). We calculate \(\delta a_{e,\,\mu }^\mathrm{SUSY}\) using the above results. Our code is cross-checked with CPsuperH 2.3 [38,39,40], and the difference between numerical results is less than \(0.1\%\) in magnitude.

In order to find out the parameter space that can jointly explain \(\Delta a_{e,\,\mu }^\mathrm{{Exp-SM}}\), we classify the SUSY contributions approximately as  [41, 42]

$$\begin{aligned} \delta a_\ell (\tilde{W},\tilde{H},\tilde{\nu }_\ell )\simeq & {} 15\times 10^{-9}R\left( \frac{(100 \mathrm{GeV})^2}{\mu ~M_2}\right) ,~ \end{aligned}$$
(14)
$$\begin{aligned} \delta a_\ell (\tilde{W},\tilde{H},\tilde{\ell }_L)\simeq & {} -2.5\times 10^{-9}R\left( \frac{(100 \mathrm{GeV})^2}{\mu ~ M_2}\right) ,~ \end{aligned}$$
(15)
$$\begin{aligned} \delta a_\ell (\tilde{B},\tilde{H},\tilde{\ell }_L)\simeq & {} 0.76\times 10^{-9}R\left( \frac{(100 \mathrm{GeV})^2}{\mu ~ M_1}\right) ,~ \end{aligned}$$
(16)
$$\begin{aligned} \delta a_\ell (\tilde{B},\tilde{H},\tilde{\ell }_R)\simeq & {} -1.5\times 10^{-9}R\left( \frac{(100 \mathrm{GeV})^2}{\mu ~M_1}\right) ,~ \end{aligned}$$
(17)
$$\begin{aligned} \delta a_\ell (\tilde{\ell }_L,\tilde{\ell }_R,\tilde{B})\simeq & {} 1.5\times 10^{-9}R\left( \frac{(100 \mathrm{GeV})^2(\mu M_1)}{m_{\tilde{\ell }_L}^2m_{\tilde{\ell }_R}^2}\right) ,\quad ~ \nonumber \\ \end{aligned}$$
(18)

where \(\ell =e,\,\mu \), and \(R=(m_\ell /m_\mu )^2(\tan \beta /10)\) for brevity. Equations (1418) are obtained through simplification under certain conditions, focusing on the order of magnitude. \(\delta a_{\ell }\) is derived from the loop correction. As the masses of the sleptons in the loops increase, the contribution of the loop diagrams becomes smaller. This dependency does not appear explicitly in Eqs. (1417). We see that the MSSM contribution to \(g-2\) of a charged lepton can be positive or negative. To have a negative \(\delta a_e^\mathrm{{SUSY}}\) and a positive \(\delta a_\mu ^\mathrm{{SUSY}}\), we need to assume non-universality between smuon and selectron soft masses. We can find out two typical scenarios to have a negative \(\delta a_e^\mathrm{{SUSY}}\) and a positive \(\delta a_\mu ^\mathrm{{SUSY}}\) for a joint explanation of muon/electron \(g-2\) anomalies:

  1. (i)

    Use the chargino-sneutrino loop in Eq. (14) to give a positive \(\delta a_\mu ^\mathrm{{SUSY}}\) assuming \(\mu M_2>0\); use the bino-selectron loop in Eq. (18) to give a negative \(\delta a_e^\mathrm{{SUSY}}\) assuming \(\mu M_1<0\). This scenario was studied in  [30] and will not be restudied in this work.

  2. (ii)

    Use the chargino-sneutrino loop in Eq. (14) to give a negative \(\delta a_e^\mathrm{{SUSY}}\) assuming \(\mu M_2<0\); use the bino-higgsino-smuon loop in Eq. (17) to give a positive \(\delta a_\mu ^\mathrm{{SUSY}}\) assuming \(\mu M_1<0\). This scenarios will be studied in detail in this work.

We would like to comment on the virtues of the second scenario. Since the SUSY contributions to \(a_e\) are suppressed by \((m_e/m_\mu )^2\) compared with the contrubutions to \(a_\mu \), we need much larger SUSY loop effects for \(a_e\). From the above formulas we see that the coefficient of the chargino-sneutrino loop in Eq. (14) is one order of magnitude higher than other four kinds of loops. Using it with assumption \(\mu M_2<0\) to explain \(\Delta a_e^\mathrm{{Exp-SM}}\) in Eq. (5) is a wise choice. In this way, winos and higgsinos do not need to be very light. On the other hand, in order for \(\delta a_\mu ^\mathrm{{SUSY}}\) not to get a sizable negative contribution from the chargino-sneutrino loop in Eq. (14), we assume the left-handed smuon \(\tilde{\mu }_L\) to be very heavy (note that \(\tilde{\nu }_\mu \) and \(\tilde{\mu }_L\) are in a \(SU(2)_L\) doublet and thus have the same soft mass). Therefore, in this scenario only the bino/higgsino-smuon loop in Eq. (17) is left to give a positive \(\delta a_\mu ^\mathrm{{SUSY}}\) assuming \(\mu M_1<0\). In this way, the right-handed smuon, bino and higgsinos are required to be light. As will be shown in the following, there is indeed a parameter space for a joint explanation of muon/electron \(g-2\) anomalies, which can survive collider constraints. However, since the lightest neutralino is bino-like, its thermal freeze-out number density is large; thus it cannot be the dark matter candidate and must decay (to a lighter stable particle like a gravitino or speudo-goldstino as the dark matter particle) after thermal freeze-out.

3 MSSM parameter space for a joint explanation

According to previous discussions, we require \(\mu M_1<0\) and \(\mu M_2<0\). In this work we assume that the parameters are all real to avoid CP violation. We can freely choose \(\mu >0\), \(M_1<0\) and \(M_2<0\) (similar results can be obtained for the case of \(\mu <0\)). For simplicity, we choose \(M_2\) and \(\mu \) as the scan variables, and

$$\begin{aligned} m_{L1}=m_{E2}=\min (|\mu |,\,|M_1|,\,|M_2|)+30\,\text {GeV}, \end{aligned}$$
(19)

where the 30 GeV increment is to ensure that the slepton masses are above the LEP bound  [43] (in our scan the minimal value of \(|\mu |,\,|M_1|,\,|M_2|\) is 80 GeV) and the difference from \(m_{\chi _1^0}\) is larger than 30 GeV, which helps to avoid the LHC search constraints for the compressed slepton-neutralino spartciles (see Fig. 16 in  [44]). The collider constraints will be discussed in the proceeding section. In order to suppress \(\delta a_\mu ^\mathrm{{SUSY}}(\tilde{W},\tilde{H},\tilde{\nu }_\mu )\), we take \(m_{L2 }=10m_{L1}\), with L1 and L2 denoting respectively the first and second generation left-handed sleptons (similarly E2 denotes the second generation righ-handed slepton, i.e., the righ-handed smuon). Because \(\delta a_e^\mathrm{{SUSY}}\) is dominated by \(\delta a_e^\mathrm{{SUSY}}(\tilde{W},\tilde{H},\tilde{\nu }_e)\), the right-handed selectron mass \(m_{R1}\) will not observably affect this part as long as it does not make \(\delta a_e^\mathrm{{SUSY}}(\tilde{B},\tilde{H},\tilde{e}_R)\) too large. Hence we set \(m_{R1}=5 m_{L1}\).

Fig. 1
figure 1

Contours of \(\delta a_{e}^\mathrm{SUSY}\) and \(\delta a_{\mu }^\mathrm{SUSY}\) on the plane of \(\mu \) versus \(M_2\) for \(\tan \beta =40\) (left) and \(\tan \beta =60\) (right). The colored regions correspond to \(M_1=-80\text {~GeV}\) while the colored curves correspond to \(M_1=-120~\text {GeV}\). The \(1\sigma \) and \(2\sigma \) mean to explain \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) at \(1\sigma \) and \(2\sigma \) levels, respectively

The results from our exploration of parameter space are shown in Fig. 1. Because \(\delta a_\mu ^\mathrm{{SUSY}}(\tilde{B},\tilde{H},\tilde{\mu }_R)\) is the dominant contribution to \(\delta a_\mu ^\mathrm{{SUSY}}\), the value of \(\delta a_\mu ^\mathrm{{SUSY}}\) (especially its \(1\sigma \) range required by the explanation of \(\Delta a_\mu ^\mathrm{{Exp-SM}}\) ) is sensitive to \(M_1\). With respect to the case with \(|M_1|=80~\text {GeV}\), the \(1\sigma \) range of \(|M_1|=120~\text {GeV}\) moves down significantly. For \(|M_1|>120~\text {GeV}\), the value of \(\delta a_\mu ^\mathrm{{SUSY}}\) will decrease rapidly, which is not shown in the figures. As for \(\delta a_e^\mathrm{{SUSY}}\), the dominant loop contribution is not sensitive to \(M_1\). Hence even if \(|M_1|\) is very large, \(\delta a_e^\mathrm{{SUSY}}\) does not change drastically. Therefore, in order to satisfy the experimental value of \(a_\mu \), \(|M_1|\) cannot be greater than \(\sim 120\) GeV. This makes the tree-level mass of \(\chi _1^0\) lower than 120 GeV.

From Fig. 1 we can also see that \(\mu \) and \(M_2\) have an inverse relationship when \(\delta a_e^\mathrm{{SUSY}}\) has a fixed value. This is easy to understand because of the appearance of \(\mu M_2\) in Eq. (14). However, \(\delta a_\mu ^\mathrm{{SUSY}}\) unexpectedly increases with the increase of \(|M_2|\). This is because \(\delta a_\mu ^\mathrm{{SUSY}}(\tilde{W},\tilde{H},\tilde{\nu }_\mu )\) is not suppressed enough by assuming \(m_{L2}=10m_{L1}\), which is getting suppressed by increasing \(|\mu M_2|\). If we set the value of \(m_{L2}\) bigger than \(10m_{L1}\), we can further reduce the dependence of \(\delta a_\mu ^\mathrm{{SUSY}}\) on \(M_2\). In that way, the range of \(M_2\) allowed by the experimental constraints will be extended.

From Fig. 1 we note that for \(\tan \beta =40\) the two \(1\sigma \)-ranges for the explanations of \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) do not overlap. Therefore, a joint explanation of \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) at \(1\sigma \) level needs a larger \(\tan \beta \). For \(\tan \beta =60\) the two \(1\sigma \)-ranges of \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) overlap, which, however, requires \(\mu <200~\text {GeV}\) and \(|M_2|<300~\text {GeV}\). For a joint explanation of \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) at \(2\sigma \) level, the ranges of the relevant parameters are relaxed significantly.

4 Dark matter and collider constraints

4.1 Dark matter constraints

We use FlexibleSUSY 2.6.0 [45, 46] to calculate the mass spectrum of supersymmetric particles, and then use MicrOMEGAs 5.2.7 [47,48,49,50] to calculate the dark matter relic density \(\Omega h^2\) and the LSP-nucleon scattering cross section. For the parameters that are not directly related to \(\delta a_{e,\,\mu }^\mathrm{{SUSY}}\), we generally take \(2~\text {TeV}\). In addition, the mass parameters of stau are taken as \(10m_{L1}\) and the A-parameters that describe the trilinear soft-breaking terms are set to be 0.

Fig. 2
figure 2

The parameter regions survived the dark matter relic density constraint and the XENON1T exclusion limits on the plane of \(\mu \) versus \(M_2\) with \(M_1=-100~\text {GeV}\) and \(\tan \beta =40,60\). The \(2\sigma \) regions for explaining the muon and electron \(g-2\) anomalies are also shown. For the curves of limits, the regions indicated by the arrows are the allowed regions

We first assume the lightest neutralino \(\chi _0^1\) is the dark matter candidate and search for the parameter space that meets the following three requirements:

  1. 1.

    The SUSY contributions \(\delta a_{e,\,\mu }^\mathrm{{SUSY}}\) in the \(2\sigma \) ranges of \(\Delta a_{e,\,\mu }^\mathrm{{Exp-SM}}\);

  2. 2.

    The dark matter thermal freeze-out relic density under the upper bound, i.e., \(\Omega _{\chi _1^0 }h^2<0.12\) [51];

  3. 3.

    The XENON1T limits from the dark matter direct detection  [52].

We scan over the parameter space and the results are shown in Fig. 2. In the regions shown in this figure, the dominant component of the lightest neutralino is bino, whose thermal freeze-out relic density can easily give an over-abundance. For the bino-like dark matter to give a correct relic density, higgsinos or wino must be mixed into it, which, however, will be not allowed by the XENON1T limits. As shown in this figure, only a very large \(\tan \beta =60\) can give a corner of parameter space to satisfy both the dark matter relic density and the XENON1T limits, which, however, is not allowed by the LHC constraints [44].

Fig. 3
figure 3

The MSSM parameter space for a joint explanation of muon/electron \(g-2\), showing the LHC and LEP constraints. The constraints are from ATLAS1912 [44], ATLAS1911 [63], CMS [62] and LEP [43]. Other constraints from the LHC  [64, 65] are not shown because they give similar results or have been considered in our scan (for an extensive recasting of LHC constraints, see, e.g., [66]). For the ATLAS1911 limits, the regions indicated by the arrows are the allowed regions

So we conclude that for the SUSY contributions \(\delta a_{e,\,\mu }^\mathrm{{SUSY}}\) in the \(2\sigma \) ranges of \(\Delta a_{e,\,\mu }^\mathrm{{Exp-SM}}\), the assumption of the lightest neutralino as the dark matter candidate cannot satisfy the dark matter constraints under the LHC search bounds. Note that in the framework of SUSY, the lightest neutralino is not the only candidate for cosmic dark matter. Instead, the lightest super particle (LSP) as the dark matter candidate can be a superWIMP (super-weakly interacting massive particle) like the gravitino  [53, 54] (its goldstino component has a relatively stronger interaction than gravity) or pseudo-goldstino  [55] in multi-sector SUSY breaking with gauge mediation. As discussed in detail in  [53], in such superWIMP dark matter scenarios, the superWIMPs produced thermally before inflation are diluted by inflation and the superWIMP dark matter is produced from the late decay of the lightest neutralinos which are produced from the thermal freeze-out after reheating (the reheating temperature is not high enough to thermally produce superWIMPs). Since the decay is one neutralino \(\chi _0^1\) to one superWIMP \(\tilde{G}\), i.e., \(\chi _0^1\rightarrow \tilde{G}+X\) (\(X=\gamma ,Z,h\)), the superWIMP dark matter inherits the number density of the parent neutralinos and hence its relic density is suppressed by a factor \(m_{\tilde{G}}/m_{\chi ^0_1}\), where \(m_{\chi ^0_1}\) is \(\mathcal {O}(100)~\text {GeV}\) and \(m_{\tilde{G}}\) can be lighter than \(\mathcal {O}(1)~\text {GeV}\) [55, 56]. So the relic density upper bound can be easily satisfied by such light superWIMP dark matter. Of course, a superWIMP scatters with a nucleon super-weakly and the direct detection limits can also be easily satisfied.

A possible problem caused by such superWIMP dark matter produced from the late decay of the lightest neutralinos is that the decay may release much energy to affect BBN if the decay happens after BBN. Such a problem and its constraints have been discussed in detail in  [53, 57]. Recently, it was found [58] that late decay of the freeze-out neutralinos to very light gravitino dark matter can ameliorate the tension of Hubble constant. At a future lepton collider the decay of a bino-like neutralino to gravitino plus a photon may be tested [59].

4.2 LHC constraints

Now we consider constraints from colliders. We use SPheno 4.0.4 [60, 61] to calculate the decay branching ratios of the relevant super particles. We consider two cases:

$$\begin{aligned} \text {case 1}&\left\{ \begin{aligned}&M_1=-100~\text {GeV},~\tan \beta =40,\\&m_{L1}=m_{E2}=\frac{m_{E1}}{5}=\frac{m_{L2}}{10}=130~\text {GeV}; \end{aligned}\right. \end{aligned}$$
(20)
$$\begin{aligned} \text {case 2}&\left\{ \begin{aligned}&M_1=-100~\text {GeV},~\tan \beta =60,\\&m_{L1}=m_{E2}=\frac{m_{E1}}{5}=\frac{m_{L2}}{10}=145~\text {GeV}; \end{aligned}\right. \end{aligned}$$
(21)

where the 45 GeV increment of \(M_{L1}\) and \(M_{E2}\) in Eq. (21) is to avoid the decay \(\chi _2^0\rightarrow \ell \tilde{\ell }\) for escaping the CMS constraints [62]. At the same time, the 45 GeV increment of \(M_{L1}\) and \(M_{E2}\) will not make \(\delta a_{e,\,\mu }^\mathrm{{SUSY}}\) too small.

For these two cases we plot \(\delta a_{e,\mu }^\mathrm{{SUSY}}\) in Fig. 3. We see that a joint explanation of \(\Delta a_{e,\mu }^\mathrm{{Exp-SM}}\) may need a relatively a compressed spectrum for the bino-like \(\chi ^0_1\), the higgsino-like \(\chi ^0_2\) and \(\chi ^\pm _1\). For such compressed electroweakinos, the LHC performed the searches and gave the bounds  [44]. Together with other searches for electroweakinos and sleptons at the LHC  [62, 63] and LEP  [43], the relevant experimental constraints are displayed in Fig. 3.

From Fig. 3 we see that in both cases the results of the CMS Collaboration give strong limits on \(\mu \): \(\mu <130~\text {GeV}\) for \(\tan \beta =40\) and \(\mu <145\text { GeV}\) for \(\tan \beta =60\). For \(\tan \beta =40\), \(470~\text {GeV}<M_2<900~\text {GeV}\) is required for \(\delta a_\mu ^\mathrm{{SUSY}}\) within the \(1\sigma \) range. However, the value of \(M_2\) has a much wider range for \(\tan \beta =60\). Of course, the constraints plotted in Fig. 3 can be relaxed if the relevant decay branch ratios are not assumed to be \(100\%\). So from Fig. 3 we see that there indeed exist a MSSM parameter space for a joint explanation of muon/electron \(g-2\) anomalies.

Note that here we used the constraints from the LHC searches in which the LSP is assumed to be the lightest neutralino. If the LSP is a superWIMP, the signals of the searched processes could be different, depending on the lifetime of the lightest neutralino. If the lightest neutralino has a relatively long lifetime and decays outside the detector  [53], the above LHC search constraints are applicable. If the lightest neutralino has a relatively short lifetime and decays inside the detector [67, 68], the signals of the relevant processes will be different. In the latter case, the signals may be more difficult to detect, for example, if the decay is dominated by \(\chi ^0_1\rightarrow \tilde{G} +h\) rather than by \(\chi ^0_1\rightarrow \tilde{G} +Z/\gamma \) [67, 68].

Finally we should remark that in SUSY only the low energy effective MSSM has enough free parameters to possibly allow for a joint explanation of muon/electron \(g-2\) anomalies (we do not go beyond the minimal framework of SUSY, albeit some extensions like NMSSM has the virtue of smaller fine-tuning extent confronting with the requirement of a 125 GeV Higgs boson, see, e.g., [69], which can explain muon \(g-2\) plus the AMS-02 anti-proton excess [70]). The GUT-constrained models like mSUGRA cannot even explain the single anomaly of muon \(g-2\) (the MSSM can readily explain the single anomaly of the muon \(g-2\), see, e.g., [71,72,73,74,75]). For this end, some extensions have been proposed for these models, e.g., in [76,77,78,79,80,81,82,83,84].

5 Conclusions

Given the FNAL+BNL measurements for muon \(g-2\) and the Berkeley \(^{133}\)Cs measurement for electron \(g-2\), we explored the parameter space for a joint explanation, which requires a positive contribution to muon \(g-2\) and a negative contribution to electron \(g-2\). Assuming no universality between smuon and selectron soft masses, we found out a part of parameter space for such a joint explanation at \(2\sigma \) level, i.e., \(\mu M_1,\mu M_2<0\), the masses of left selectron and right smuon below 200 GeV, \(m_{L2}\) much larger than the soft masses of other sleptons, \(|M_1|<125\) GeV and \(\mu <400\) GeV (\(|M_2|\) is not subject to strict restrictions). This part of parameter space can survive the LHC and LEP constraints, but gives an over-abundance for the dark matter if the bino-like lightest neutralino is assumed to be the dark matter candidate. Then with the assumption that the dark matter candidate is a superWIMP (such as a pseudo-goldstino in multi-sector SUSY breaking scenarios, whose mass can be as light as GeV and produced from the late-decay of the thermally freeze-out lightest neutralinos), the dark matter problem can be avoided. So, we conclude that the MSSM may give a joint explanation for the muon and electron \(g-2\) anomalies at \(2\sigma \) level (the muon \(g-2\) anomaly can be ameliorated to \(1\sigma \)).