1 Introduction

In the development of quantum field theory, the study of lepton anomalous magnetic dipole moment (MDM) is very important. The most accurate calculation of the lepton MDM is helpful in finding new physics beyond the standard model (SM) and Schwinger propose the electron magnetic dipole moment (MDM) for the first time. It has been recognized that the lepton MDMs can provide accurate testing of quantum electrodynamics (QED) [1]. Therefore, it is of special significance to study the MDM of lepton.

At present, the experimental accuracy of measuring the MDM of the \(\mu \), \(a_{\mu }\) has reached 540ppb at the muon E821 anomalous magnetic moment measurement at Brookhaven National Laboratory (BNL) [2]. And currently there are about 3.7 \(\sigma \) [3, 4] between SM prediction and experimental measurement. In this precision, such measurements do more than testing the leading QED contributions [5], meanwhile, the influence of the weak interaction and strong interaction of the SM of particle physics can be tested [6,7,8,9]. The discovery of the Higgs made the SM a huge success [3, 10]. Although the contribution from QED [5] plays an important role in lepton MDM, it is not the only factor. The hadronic contributions [11, 12] are also particularly important, and it is modified by hadron vacuum polarization and light-by-light [13,14,15,16] scattering contributions. Moreover, weak interaction [17,18,19] also has a certain effect on MDMs [3, 10]. As a result, the MDM of lepton can be expressed as [3, 10, 20]:

$$\begin{aligned} a_l^{SM}=a_l^{QED}+a_l^{EW}+a_l^{HAD}. \end{aligned}$$
(1)

Due to the deficiency of MSSM which can not explain neutrino mass and solve \(\mu \) problem, U(1) extension of MSSM is carried out. There are two U(1) groups in \(U(1)_X\) SSM: \(U(1)_Y\) and \(U(1)_X\), and we use SARAH software packages [21,22,23] to study \(U(1)_X\) SSM. On the basis of the MSSM, the superfields are added; then one obtains the additional Higgs, neutrino and gauge fields, but also corresponding superpartners that extend the neutralino and sfermion sectors. The CP-even parts of the three Higgs singlet fields \(\eta \), \({\overline{\eta }}\), S mix with the neutral CP-even parts of the two doublets \(H_d\) and \(H_u\) to form a tree order \(5\times 5\) CP-even Higgs mass matrix. \(m_{h0}\) is the tree level mass of the lightest CP-even Higgs in \(U(1)_X\) SSM, and it can be greater than the corresponding mass at tree order in MSSM. Therefore, the loop graph correction to \(m_{h_0}\) in \(U(1)_X\) SSM needs not be very large. In \(U(1)_X\) SSM, there are an \(8\times 8\) mass matrix for neutralinos and a \(6\times 6\) mass matrix for scalar neutrinos [24]. Next, we calculate the contribution of the two-loop diagrams to muon MDM under the \(U(1)_X\) SSM with the effective Lagrangian method. The error between the experimental value and the predicted value by SM is [4, 10, 25]

$$\begin{aligned} \Delta a_{\mu }=a_{\mu }^{exp}-a_{\mu }^{SM}=(274\pm 73)\times 10^{-11}. \end{aligned}$$
(2)

In BLMSSM, the one-loop corrections are similar to the MSSM results [26,27,28,29] in analytic form [30]. The two-loop Barr-Zee type diagrams with a closed scalar (Fermi) loop between vector Boson and Higgs are studied in the frame work of BLMSSM [30,31,32]. There are other works [33,34,35] for the two-loop supersymmetric corrections [36,37,38,39,40,41,42,43,44,45] to the lepton MDM.

In this paper, the new physics contributions at one loop level are similar to the MSSM results in analytic form. The differences are that the mass matrices of scalar leptons, scalar neutrinos, neutrino, chargino and neutralino possess new parameters \(g_X, v_{{\bar{\eta }}}, v_{\eta }\) and so on. The mass eigenstates of neutralinos, scalar neutrinos, neutrinos are more than those in the MSSM. Because the masses of those virtual fields (\(W^{\pm }, Z, Z'\) gauge bosons, neutral and charged Higgs, as well as neutralinos and charginos) are much heavier than the muon mass \(m_{\mu }\), we can expand the denominator corresponding to the ratio (external momentum to internal momentum) to simplify the loop calculation [46]. We use the formula:

$$\begin{aligned}&\frac{1}{(k-p)^2-m_s^2}=\frac{1}{k^2-m_s^2}\nonumber \\&\quad \times \left( 1+\frac{2k\cdot p-p^2}{k^2-m_s^2}+\frac{4(k\cdot p)^2}{(k^2-m_s^2)^2}\right) + \cdots . \end{aligned}$$
(3)

Here, p is the external momentum of \(m_{\mu }\), and k is the internal momentum at the order of \(m_{SUSY}\). So, \(\frac{m_{\mu }}{m_{SUSY}} \ll 1\) and \(\frac{p}{k}\ll 1.\)

Our two-loop self energy diagrams contributing to the lepton MDMs are shown in Fig. 2. The two-loop triangle diagrams for \(\mu \rightarrow \mu +\gamma \) can be obtained from the two-loop self energy diagrams by attaching a photon on the internal lines in all possible ways. The sum of all the two-loop triangle diagrams generated from a two-loop self energy diagram satisfies Ward-identity.

The researched two-loop self energy diagrams include Barr-Zee type diagrams and rainbow type diagrams with Fermion sub-loop. Here, we suppose the scalar leptons and scalar quarks are very heavy, whose contributions from the studied two-loop diagrams can be neglected. In the works [2, 30,31,32,33,34,35], the two-loop rainbow diagrams with two vector bosons ZZ are not considered. However, in our work [47] the order analysis of two-loop SUSY corrections [44, 45] to lepton MDM shows that the contributions from two-loop rainbow diagrams with ZZ are at the same order of the contributions from two-loop rainbow diagrams with WW. Therefore, we take into account the ZZ rainbow diagrams.

In the following, we introduce the specific form of \(U(1)_X\) SSM and its superfields. The analytic results of the one-loop corrections and two-loop corrections in the \(U(1)_X\) SSM are deduced in the Sect. 3. Section 4 is used for the numerical calculation and discussion. In the last section, we have a special summary and discussion. Some mass matrix and Feynman rules are collected in the Appendix.

2 The \(U(1)_X\) SSM

The gauge group of the \(U(1)_X\) SSM is \(SU(3)_C\otimes SU(2)_L \otimes U(1)_Y\otimes U(1)_X\). To obtain the \(U(1)_X\) SSM, the MSSM is added with three Higgs singlets \({\hat{\eta }},~\hat{{\bar{\eta }}},~{\hat{S}}\) and right-handed neutrinos \({\hat{\nu }}_i\). It can give light neutrino mass at the tree level through the seesaw mechanism. The neutral CP-even parts of \(H_u,~ H_d,~\eta ,~{\bar{\eta }}\) and S mix together, forming \(5\times 5 \) mass squared matrix. Because of the right handed neutrinos, the mass matrix of neutrino is expended to \(6\times 6\). At the same time, the squared mass matrix of scalar neutrinos turns to \(6\times 6\) too. For details of the mass matrix of particles, please see the Appendix.

The superpotential for this model reads as:

$$\begin{aligned} W= & {} l_W{\hat{S}}+\mu {\hat{H}}_u{\hat{H}}_d+M_S{\hat{S}}{\hat{S}}-Y_d{\hat{d}}{\hat{q}}{\hat{H}}_d-Y_e{\hat{e}}{\hat{l}}{\hat{H}}_d+\lambda _H{\hat{S}}{\hat{H}}_u{\hat{H}}_d \nonumber \\&+\lambda _C{\hat{S}}{\hat{\eta }}\hat{{\bar{\eta }}}+\frac{\kappa }{3}{\hat{S}}{\hat{S}}{\hat{S}}+Y_u{\hat{u}}{\hat{q}}{\hat{H}}_u+Y_X{\hat{\nu }}\hat{{\bar{\eta }}}{\hat{\nu }} +Y_\nu {\hat{\nu }}{\hat{l}}{\hat{H}}_u. \end{aligned}$$
(4)

There are two Higgs doublets and three Higgs singlets. Their specific forms are shown below,

$$\begin{aligned} H_{u}= & {} \left( \begin{array}{c}H_{u}^+\\ {1\over \sqrt{2}}\Big (v_{u}+H_{u}^0+iP_{u}^0\Big )\end{array}\right) , \nonumber \\ H_{d}= & {} \left( \begin{array}{c}{1\over \sqrt{2}}\Big (v_{d}+H_{d}^0+iP_{d}^0\Big )\\ H_{d}^-\end{array}\right) , \nonumber \\ \eta= & {} {1\over \sqrt{2}}\Big (v_{\eta }+\phi _{\eta }^0+iP_{\eta }^0\Big ),\nonumber \\ {\bar{\eta }}= & {} {1\over \sqrt{2}}\Big (v_{{\bar{\eta }}}+\phi _{{\bar{\eta }}}^0+iP_{{\bar{\eta }}}^0\Big ),\nonumber \\ S= & {} {1\over \sqrt{2}}\Big (v_{S}+\phi _{S}^0+iP_{S}^0\Big ), \end{aligned}$$
(5)

\(v_u,~v_d,~v_\eta \), \(v_{{{\bar{\eta }}}}\) and \(v_S\) are the corresponding VEVs of the Higgs superfields \(H_u\), \(H_d\), \(\eta \), \({\bar{\eta }}\) and S. Here, we define \(\tan \beta =v_u/v_d\) and \(\tan \beta _\eta =v_{{\bar{\eta }}}/v_{\eta }\). The definition of \({\tilde{\nu }}_L\) and \({\tilde{\nu }}_R\) is

$$\begin{aligned} {\tilde{\nu }}_L= & {} \frac{1}{\sqrt{2}}\phi _l+\frac{i}{\sqrt{2}}\sigma _l,\nonumber \\ {\tilde{\nu }}_R= & {} \frac{1}{\sqrt{2}}\phi _R+\frac{i}{\sqrt{2}}\sigma _R. \end{aligned}$$
(6)

The soft SUSY breaking terms are

$$\begin{aligned}&{\mathcal {L}}_{soft}={\mathcal {L}}_{soft}^{MSSM}-B_SS^2-L_SS\nonumber \\&\quad -\frac{T_\kappa }{3}S^3-T_{\lambda _C}S\eta {\bar{\eta }} +\epsilon _{ij}T_{\lambda _H}SH_d^iH_u^j-T_X^{IJ}{\bar{\eta }}{\tilde{\nu }}_R^{*I}{\tilde{\nu }}_R^{*J}\nonumber \\&\quad +\epsilon _{ij}T^{IJ}_{\nu }H_u^i{\tilde{\nu }}_R^{I*}{\tilde{l}}_j^J -m_{\eta }^2|\eta |^2-m_{{\bar{\eta }}}^2|{\bar{\eta }}|^2\nonumber \\&\quad -m_S^2S^2-(m_{{\tilde{\nu }}_R}^2)^{IJ}{\tilde{\nu }}_R^{I*}{\tilde{\nu }}_R^{J}\nonumber \\&\quad -\frac{1}{2}\Big (M_S\lambda ^2_{{\tilde{X}}}+2M_{BB^\prime }\lambda _{{\tilde{B}}}\lambda _{{\tilde{X}}}\Big )+h.c. \end{aligned}$$
(7)

With the singlet superfield \({\hat{S}}\) coupling to heavy fields in the most general way, radiative corrections can induce very large terms in the effective action. These terms are linear in \({\hat{S}}\) in the superpotential or linear in S in \({\mathcal {L}}_{soft}\), and they are called tadpole terms [48]. If they are too large, a tadpole problem appears in the model. In the case of gauge mediated supersymmetry breaking (GMSB) [49], the messenger fields \({\hat{\varphi }}\) with SM gauge quantum numbers and supersymmetric mass terms (\(M_{mess}\)) are the source of supersymmetry breaking. The real and imaginary scalar components of the messenger fields have different masses, and they are split by a scale \({\hat{m}}\). This kind of supersymmetry breaking can be denoted as F-type splitting and represented by a F component of a spurion superfield coupling to the messenger fields \({\hat{\varphi }}\). Then, we obtain \(l_W\sim C_S{\hat{m}}^2\) and \(L_S\sim C_S{\hat{m}}^4/M_{mess}\) with the simplest coupling \(C_S {\hat{S}} {\hat{\varphi }}{\hat{\varphi }}\). Here, \(C_S\) is the small Yukawa coupling. There is not tadpole problem with \(M_{mess}\) and the F-type splitting \({\hat{m}}\) not much larger than the weak scale [50, 51]. If these scales are larger than the weak scale, small Yukawa couplings can suppress the tadpole diagrams.

There is conflict between domain wall and tadpole problems, whose solutions are studied by Refs. [52, 53]. One can impose constraints on \(Z_3\)-symmetry breaking non-renormalisable interactions or hidden sectors in the form of various additional symmetries [54,55,56]. As the tadpole terms, \(Z_3\)-symmetry breaking renormalisable terms are generated radiatively and have very small coefficients. \(Z_3\)-symmetry breaking terms can solve the domain wall problem.

We use \(Y^Y\) for the \(U(1)_Y\) charge and \(Y^X\) for the \(U(1)_X\) charge. According to the textbook [57], the SM is anomaly free. The anomalies of \(U(1)_X\) SSM are more complicated than those of SM [10]. In the end, this model is anomaly free. The presence of two Abelian groups \(U(1)_Y\) and \(U(1)_X\) in \(U(1)_X\) SSM have a new effect absent in the MSSM with just one Abelian gauge group \(U(1)_Y\): the gauge kinetic mixing. This effect can also be induced through RGEs, even if it is set to zero at \(M_{GUT}\). The covariant derivatives of this model have the general form [58,59,60]

$$\begin{aligned}&D_{\mu }=\partial _{\mu }-i\left( \begin{array}{cc}Y,&X\end{array}\right) \left( \begin{array}{cc}g_{Y},&{}g{'}_{{YX}}\\ g{'}_{{XY}},&{}g{'}_{{X}}\end{array}\right) \left( \begin{array}{c}A_{\mu }^{\prime Y} \\ A_{\mu }^{\prime X}\end{array}\right) . \end{aligned}$$
(8)

Here, \(A_{\mu }^{\prime Y}\) and \(A^{\prime X}_{\mu }\) signify the gauge fields of \(U(1)_Y\) and \(U(1)_X\). We can do a basis conversion, because the two Abelian gauge groups are unbroken. The following formula can be obtained by using the appropriate matrix R [58, 60]

$$\begin{aligned}&\left( \begin{array}{cc}g_{Y},&{}g{'}_{{YX}}\\ g{'}_{{XY}},&{}g{'}_{{X}}\end{array}\right) R^T=\left( \begin{array}{cc}g_{1},&{}g_{{YX}}\\ 0,&{}g_{{X}}\end{array}\right) . \end{aligned}$$
(9)

We deduce \(\sin ^2\theta _{W}^\prime \) as

$$\begin{aligned}&\sin ^2\theta _{W}'=\frac{1}{2}\nonumber \\&\quad -\frac{(g_{{YX}}^2-g_{1}^2-g_{2}^2)v^2+ 4g_{X}^2\xi ^2}{2\sqrt{(g_{{YX}}^2+g_{1}^2+g_{2}^2)^2v^4+8g_{X}^2(g_{{YX}}^2 -g_{1}^2-g_{2}^2)v^2\xi ^2+16g_{X}^4\xi ^4}},\nonumber \\ \end{aligned}$$
(10)

with \(\xi =\sqrt{v_\eta ^2+v_{{\bar{\eta }}}^2}\). The new mixing angle \(\theta _{W}^\prime \) appears in the couplings involving Z and \(Z^{\prime }\).

3 Formulation

We use the effective Lagrangian method, and the Feynman amplitude can be expressed by these dimension 6 operators [46]. The higher order operators such as the dimension 8 operators are suppressed by additional factor \(\frac{m_{\mu }^2}{m_{SUSY}^2}\) \(\sim \) (\(10^{-7}\), \(10^{-8}\)) comparing with the dimension 6 operators, which are neglected.

$$\begin{aligned} {\mathcal {O}}_1^{\mp }= & {} \frac{1}{(4\pi )^2}{\bar{l}} (i{\mathcal {D}}\!\!\!/)^3\omega _{\mp }l,\nonumber \\ {\mathcal {O}}_2^{\mp }= & {} \frac{eQ_f}{(4\pi )^2} \overline{(i{\mathcal {D}}_{\mu }l)}\gamma ^{\mu } F\cdot \sigma \omega _{\mp }l, \nonumber \\ {\mathcal {O}}_3^{\mp }= & {} \frac{eQ_f}{(4\pi )^2}{\bar{l}}F\cdot \sigma \gamma ^{\mu } \omega _{\mp }(i{\mathcal {D}}_{\mu }l),\nonumber \\ {\mathcal {O}}_4^{\mp }= & {} \frac{eQ_f}{(4\pi )^2}{\bar{l}}(\partial ^{\mu }F_{\mu \nu })\gamma ^{\nu } \omega _{\mp }l,\nonumber \\ {\mathcal {O}}_5^{\mp }= & {} \frac{m_l}{(4\pi )^2}{\bar{l}}(i{\mathcal {D}}\!\!\!/)^2\omega _{\mp }l, \nonumber \\ {\mathcal {O}}_6^{\mp }= & {} \frac{eQ_fm_l}{(4\pi )^2}{\bar{l}}F\cdot \sigma \omega _{\mp }l, \end{aligned}$$
(11)

with \({\mathcal {D}}_{\mu }=\partial _{\mu }+ieA_{\mu }\) and \(\omega _{\mp }=\frac{1\mp \gamma _5}{2}\). \(F_{{\mu \nu }}\) is the electromagnetic field strength, and \(m_{_l}\) is the lepton mass. Therefore, the Wilson coefficients of the operators \({\mathcal {O}}_{2,3,6}^{\mp }\) in the effective Lagrangian are of interest and their dimensions are \(-2.\) The lepton MDM is the combination of the Wilson coefficients \(C^{\mp }_{2,3,6}\) and can be obtained from the following effective Lagrangian

$$\begin{aligned} \mathcal{L}_{_{MDM}}={e\over 4m_{l}}\;a_{l}\;{\bar{l}}\sigma ^{\mu \nu } l\;F_{{\mu \nu }}. \end{aligned}$$
(12)

3.1 The one-loop corrections

In \(U(1)_X\) SSM, the masses of the neutralinos, neutrinos, scalar neutrinos and scalar charged leptons are all adopted comparing with those in MSSM. The one loop new physics contributions to muon MDM comes from the diagrams in Fig. 1.

Fig. 1
figure 1

The one-loop self energy diagrams affect lepton MDMs in the \(U(1)_X\) SSM. The triangle diagrams can be obtained by attaching a photon on the internal lines of the self energy diagrams in all possible ways

In \(U(1)_X\) SSM, we find that our own results of the one-loop corrections are similar to the MSSM results in analytic form. However, the mass matrices of scalar, Fermion and Majorana particles have relation with new parameters \(g_L, {\bar{v}}_L, v_L\) and so on. The corrections to muon MDM from neutralinos and scalar leptons are expressed as

$$\begin{aligned}&a_{l}^{{\tilde{L}}\chi ^{0}}= -\sum _{i=1}^8\sum _{j=1}^6\left[ \mathfrak {R}(A_L^*A_R) \sqrt{x_{\chi _j^{0}}x_{\mu }}x_{{\tilde{L}}_i}\frac{\partial ^2 {\mathcal {B}}(x_{\chi _j^{0}},x_{{\tilde{L}}_i})}{\partial x_{{\tilde{L}}_i}^2}\right. \nonumber \\&\quad \left. +\frac{1}{3}(|A_L|^2+|A_R|^2)x_{{\tilde{L}}_i}x_{\mu } \frac{\partial {\mathcal {B}}_1(x_{\chi _j^{0}},x_{{\tilde{L}}_i})}{\partial x_{{\tilde{L}}_i}}\right] , \end{aligned}$$
(13)

where \(x_M=\frac{M^2}{\Lambda ^2}\), M is the particle mass and \(\Lambda \) is the mass scale. The couplings \(A_R,A_L\) are shown as

$$\begin{aligned} A_R= & {} \frac{1}{\sqrt{2}}g_1N_{i1}^{*}Z_{k2}^{E}+ \frac{1}{\sqrt{2}}g_2N_{i2}^{*}Z_{k2}^{E}\nonumber \\&+\frac{1}{\sqrt{2}}g_{YX}N_{i5}^{*}Z_{k2}^{E} -N_{i3}^{*}Y_{\mu } Z_{k5}^{E},\nonumber \\ A_L= & {} -\frac{1}{\sqrt{2}}Z_{k5}^{E}(2g_1N_{i1}+(2g_{YX}+g_X)N_{i5}) -Y_{\mu }^{*}Z_{k2}^EN_{i3}.\nonumber \\ \end{aligned}$$
(14)

The matrices \(Z^{E}\), N respectively diagonalize the mass matrices of scalar lepton and neutralino. The concrete forms of the functions \({\mathcal {B}}(x,y)\) and \({\mathcal {B}}_1(x,y)\) are

$$\begin{aligned} {\mathcal {B}}(x,y)= & {} \frac{1}{16 \pi ^2}\left( \frac{x \ln x}{y-x}+\frac{y \ln y}{x-y}\right) ,\nonumber \\ {\mathcal {B}}_1(x,y)= & {} \left( \frac{\partial }{\partial y}+\frac{y}{2}\frac{\partial ^2 }{\partial y^2}\right) {\mathcal {B}}(x,y). \end{aligned}$$
(15)

In a similar way, the corrections from chargino and CP-odd scalar neutrino are also obtained.

$$\begin{aligned}&a_{lI}^{{\tilde{\nu }}\chi ^{\pm }}=\sum _{j=1}^2\sum _{k=1}^6 \Bigg [-2\mathfrak {R}(B_L^{*}B_R)\sqrt{x_{\chi _i^{-}}x_{\mu }}{\mathcal {B}}_1(x_{{\tilde{\nu }}_I}^{k},x_{\chi _i^{-}}) \nonumber \\&\quad +\frac{1}{3}(|B_L|^2+|B_R|^2)x_{\mu } x_{\chi _i^{-}}\frac{\partial {\mathcal {B}}_1(x_{{\tilde{\nu }}_I}^{k},x_{\chi _i^{-}})}{\partial x_{\chi _i^{-}}}\Bigg ]. \end{aligned}$$
(16)

Here, the \(B_L\) and \(B_R\) is

$$\begin{aligned} B_L= & {} -\frac{1}{\sqrt{2}}U_{j2}^{*}Z_{k2}^{I*}Y_{\mu },\nonumber \\ B_R= & {} \frac{1}{\sqrt{2}}g_2Z_{k2}^{I*}V_{j1}. \end{aligned}$$
(17)

The corrections from chargino and CP-even scalar neutrino read as

$$\begin{aligned}&a_{lR}^{{\tilde{\nu }}\chi ^{\pm }}=\sum _{j=1}^2\sum _{k=1}^6 \Bigg [-2\mathfrak {R}(C_L^{*}C_R)\sqrt{x_{\chi _i^{-}}x_{\mu }}{\mathcal {B}}_1(x_{{\tilde{\nu }}_R}^{k},x_{\chi _i^{-}}) \nonumber \\&\quad +\frac{1}{3}(|C_L|^2+|C_R|^2)x_{\mu } x_{\chi _i^{-}}\frac{\partial {\mathcal {B}}_1(x_{{\tilde{\nu }}_R}^{k},x_{\chi _i^{-}})}{\partial x_{\chi _i^{-}}}\Bigg ]. \end{aligned}$$
(18)

Here, the \(C_L\) and \(C_R\) are

$$\begin{aligned} C_L= & {} \frac{1}{\sqrt{2}}U_{j2}^{*}Z_{k2}^{R*}Y_{\mu },\nonumber \\ C_R= & {} -\frac{1}{\sqrt{2}}g_2Z_{k2}^{R*}V_{j1}. \end{aligned}$$
(19)
Fig. 2
figure 2

One-loop Higgs diagrams contributings to muon MDM in the \(U(1)_X\) SSM. It is suppressed by the square of the lepton Yukawa coupling

Here, UV are used to diagonalize the chargino mass matrix, and the mass squared matrix of CP-even (CP-odd) scalar neutrino is diagonalized by \(Z^{R}~(Z^I)\). The one-loop Higgs contribution to muon MDM is shown by the Fig. 2, which is suppressed by the factor \(\frac{m_{l^I}^2}{m^2_W}\sim 10^{-6}\). In numerical estimation, the correction from Higgs one-loop diagram is around \(10^{-13}\), and we can neglect it safely. So, the one-loop corrections to lepton MDM can be expressed as

$$\begin{aligned} \Delta a_l^{one-loop}=a_{l}^{{\tilde{L}}\chi ^{0}}+a_{lI}^{{\tilde{\nu }} \chi ^{\pm }}+a_{lR}^{{\tilde{\nu }}\chi ^{\pm }}. \end{aligned}$$
(20)

3.2 The two-loop corrections

As discussed in Ref. [47], the Barr-Zee two-loop diagrams (Fig. 3a–c) and rainbow two-loop diagrams (Fig. 3d, g) have not small factors to muon MDM. That is to say, they have considerable contributions to muon MDM. The triangle diagrams can be obtained by attaching a photon on the internal lines of the self energy diagrams in all possible ways. The sum of all the triangle diagrams corresponding to one self energy diagram satisfy the Ward-identity and the CTP invariance.

Fig. 3
figure 3

The two-loop Barr-Zee and rainbow type diagrams affect lepton MDMs in the \(U(1)_X\) SSM

At first, we consider the corrections from Fig. 3a. Under the assumption \(m_F=m_{F_1}=m_{F_2}\gg m_W\), the results [61] can be simplified as

$$\begin{aligned}&a_l^{WH}=\frac{G_F m_l m_W^2s_W}{128e\pi ^4}\sum _{F_1=\chi ^{\pm }}\sum _{F_2=\chi ^0}\frac{H_{{\bar{l}}H\nu }^L}{ m_F}\nonumber \\&\quad \times \left\{ \left[ \frac{21}{4}-\frac{5}{18}Q_{F_1}+\left( 3+\frac{Q_{F_1}}{3}\right) (\ln {m_{F_1}^2}\right. \right. \nonumber \\&\quad -\varrho _{1,1}(m_W^2,m_{H^\pm }^2))\Bigg ]\mathfrak {R}(H_{HF_1F_2}^LH_{WF_1F_2}^L+H_{HF_1F_2}^RH_{WF_1F_2}^R)\nonumber \\&\quad +\Bigg [\frac{19-20Q_{F_1}}{9} +\frac{2-4Q_{F_1}}{3} (\ln {m_{F_1}^2}-\varrho _{1,1}(m_W^2,m_{H^\pm }^2))\Bigg ]\nonumber \\&\quad \times \mathfrak {R}(H_{HF_1F_2}^LH_{WF_1F_2}^R+H_{HF_1F_2}^RH_{WF_1F_2}^L) \nonumber \\&\quad +\Bigg [-\frac{16}{9}-\frac{2+6Q_{F_1}}{3} (\ln {m_{F_1}^2}-\varrho _{1,1}(m_W^2,m_{H^\pm }^2))\Bigg ]\nonumber \\&\quad \times \mathfrak {R}(H_{HF_1F_2}^LH_{WF_1F_2}^L-H_{HF_1F_2}^RH_{WF_1F_2}^R) \nonumber \\&\quad +\Bigg [-\frac{2Q_{F_1}}{9}-\frac{6-2Q_{F_1}}{3} (\ln {m_{F_1}^2}-\varrho _{1,1}(m_W^2,m_{H^\pm }^2))\Bigg ]\nonumber \\&\quad \times \mathfrak {R}(H_{HF_1F_2}^LH_{WF_1F_2}^R-H_{HF_1F_2}^RH_{WF_1F_2}^L)\Bigg \}, \end{aligned}$$
(21)

where \(\varrho _{1,1}(x,y)=\frac{x\ln x-y\ln y}{x-y}\). \(H_{HF_1F_2}^{L,R}\) and \(H_{WF_1F_2}^{L,R}\) represent the coupling coefficients of the corresponding vertices with the presentation

$$\begin{aligned}&{\mathcal {L}}_{HF_1F_2}=i\bar{F_1}(H_{HF_1F_2}^{L}P_L+H_{HF_1F_2}^{R}P_R)F_2H^{\pm },\nonumber \\&\quad {\mathcal {L}}_{WF_1F_2}=i\bar{F_1}(H_{WF_1F_2}^{L}\gamma _{\mu } P_L+H_{WF_1F_2}^{R}\gamma _{\mu } P_R)F_2W^\mu .\nonumber \\ \end{aligned}$$
(22)

Their concrete forms are collected in the Appendix.

Then under the assumption \(m_F=m_{F_1}=m_{F_2}\gg m_{h_0}\), the two-loop Barr-Zee type diagrams contributing to the lepton MDMs corresponding to Fig. 3b, c can be simplified as

$$\begin{aligned}&a_l^{\gamma h_0}=\frac{G_FQ_fQ_{F_1}m_lm_W^2s_W^2}{16\pi ^4}\nonumber \\&\quad \times \sum _{F_1=F_2=\chi ^\pm }\frac{1}{m_{F_1}} \mathfrak {R}(H_{h_0F_1F_2}^L)\Bigg [1+\ln \frac{m_{F_1}^2}{m_{h_0}^2}\Bigg ]. \nonumber \\&a_l^{Zh_0}=\frac{\sqrt{2}m_l }{512\pi ^4}\nonumber \\&\quad \times \sum _{F_1=F_2=\chi ^{\pm },\chi ^0} \frac{H_{h_0l{\bar{l}}}}{m_{F_1}}\Big [\varrho _{1,1}(m_Z^2,m_{h_0}^2)-\ln {m_{F_1}^2}-1\Big ] \nonumber \\&\quad \times (H^L_{Zll}-H^R_{Zll})\mathfrak {R}(H_{h_0F_1F_2}^LH_{ZF_1F_2}^L+H_{h_0F_1F_2}^RH_{ZF_1F_2}^R).\nonumber \\ \end{aligned}$$
(23)

\(Q_f\) is the electric charge of the external lepton \(m_{\mu }\). \(Q_{F_1}\) and \(Q_{F_2}\) are the electric charges of the internal charginos.

Under the assumption \(m_F=m_{F_1}=m_{F_2}\gg m_W\sim m_Z\), the two-loop rainbow type diagrams contributing to the lepton MDMs corresponding to Fig. 3d–f can be simplified as

$$\begin{aligned}&a_l^{WW}=\frac{G_F m_l^2}{192\sqrt{2}\pi ^4}\sum _{F_1=\chi ^{\pm }}\sum _{F_2=\chi ^0}\Big \{(18Q_{F_1}-13)(|H_{WF_1F_2}^L|^2+|H_{WF_1F_2}^R|^2)\nonumber \\&\quad +3(Q_{F_1}-3)(|H_{WF_1F_2}^L|^2-|H_{WF_1F_2}^R|^2)+11\mathfrak {R}(H_{WF_1F_2}^{R*}H_{WF_1F_2}^L)\Big \}. \nonumber \\&a_l^{\gamma \gamma }=\frac{\sqrt{2}e^2G_FQ_{F_1}^2m_l^2}{180\pi ^4}\sum _{F_1=F_2=\chi ^\pm }\frac{m_W^2}{m_{F_1}^2}. \nonumber \\&a_l^{\gamma Z}=\frac{Q_{F_1}m_l^2e^2}{256\pi ^4}(H^R_{Zll}-H^L_{Zll})\nonumber \\&\quad \times \sum _{F_1=F_2=\chi ^\pm }\frac{1}{m_{F_1}^2} \mathfrak {R}(H_{ZF_1F_2}^L-H_{ZF_1F_2}^R)\Bigg [35+\ln \frac{m_{F_1}^2}{m_Z^2}\Bigg ]. \end{aligned}$$
(24)

Here, we focus on ZZ two-loop rainbow diagram in the Fig. 3g. In the references [31,32,33,34,35], the ZZ two-loop diagram has not been taken into account. But in this paper, we research the ZZ two-loop diagram and show the simplified result. The triangle diagrams of the two-loop ZZ rainbow self-energy diagram can be divided into two parts: 1 the external photon is attached on the virtual lepton between ZZ, and the corresponding counter term should be considered. After the simplification, the contributions from this type two-loop diagrams are tiny, and can be neglected safely. 2 the external photon is attached on the charged fermion sub-loop. The full two-loop results of this type triangle diagrams are very tedious and can be found in Ref. [61]. With the assumption \(m_F = m_{F1} = m_{F2} \gg m_W \sim m_Z\), we simplify the tedious two-loop results to the order \(\frac{m_{\mu }^2}{M_Z^2}\sim 10^{-6}\) or \(\frac{m_{\mu }^2}{m_{SUSY}^2}\), and obtain the concise form.

$$\begin{aligned}&a_{l}^{ZZ}= -\frac{Q_{F_1} x_l}{1024\pi ^4}\sum _{F_1=F_2=\chi ^\pm }\Big \{ \Big (|H^L_{ZF_1F_2}|^2+|H^R_{ZF_1F_2}|^2\Big )\nonumber \\&\quad \times \Big (|H^L_{Zll}|^2 +|H^R_{Zll}|^2\Big )\left[ \frac{-12 \log x_F-30}{x_Z}\right] \nonumber \\&\quad +\Big (|H^L_{ZF_1F_2}|^2-|H^R_{ZF_1F_2}|^2\Big )\Big (|H^L_{Zll}|^2 -|H^R_{Zll}|^2\Big )\nonumber \\&\quad \times \left[ \frac{-3 \log x_Z+3 \log x_F+2}{9 x_F}\right] \nonumber \\&\quad +\mathfrak {R}(H^L_{ZF_1F_2}H^R_{ZF_1F_2})\Big (|H^L_{Zll}|^2 +|H^R_{Zll}|^2\Big )\nonumber \\&\quad \times \left[ \frac{-6 \log x_Z+6 \log x_F+4}{9 x_F}\right] \nonumber \\&\quad +\Big (|H^L_{ZF_1F_2}|^2+|H^R_{ZF_1F_2}|^2\Big )H^L_{Zll}H^R_{Zll}\nonumber \\&\quad \times \left[ 16\frac{(\log x_F-\log x_Z) (\log x_F+2)+2}{x_Z}\right] \Bigg \}. \end{aligned}$$
(25)

At two-loop level, the contributions to lepton MDMs can be summarized as

$$\begin{aligned} \Delta a_l^{two-loop}= & {} \Delta a_l^{one-loop}+a_l^{WH}+a_l^{\gamma h_0}\nonumber \\&+a_l^{Z h_0}+a_l^{WW}+a_l^{\gamma \gamma }+a_l^{\gamma Z}+a_{l}^{ZZ}. \end{aligned}$$
(26)

4 The numerical results

In this section, we will discuss the numerical results. The lightest CP-even Higgs mass is considered as an input parameter, which is \(m_{h0}=125.1\) GeV [62, 63]. The parameters used in \(U(1)_X\) SSM are given below:

$$\begin{aligned}&g_X=0.3,~g_{YX}=0.2,~\lambda _C=-0.3,~\kappa =0.3,~T_{\lambda _H}=1.8~\mathrm{TeV},\nonumber \\&T_{\kappa }=1.6~\mathrm{TeV},~B_{\mu }=1~\mathrm{TeV^2}, \nonumber \\&T_{\lambda _C}=M_{BL}=M_1=1~\mathrm{TeV},~v_{\eta }=15.5\times \cos {\beta _\eta }~\mathrm{TeV},\nonumber \\&v_{{\bar{\eta }}}=15.5\times \sin {\beta _\eta }~\mathrm{TeV},~\tan {\beta _\eta }=1, \nonumber \\&m_{SF}=2~\mathrm{TeV^2},~\mu _x=500~\mathrm{GeV},~M_{{BB}^\prime }=0.4~\mathrm{TeV},\nonumber \\&tan{\beta }=11,~T_{E11}=T_{E22}=T_{E33}=1~\mathrm{TeV}, \nonumber \\&T_{\nu 33}=1600~\mathrm{GeV},~M_{\nu 11}=M_{\nu 22}=0.5~\mathrm{TeV^2},\nonumber \\&M_{\nu 33}=250^{2}~\mathrm{GeV^2}, ~ Y_{X11}=Y_{X22}=0.5, \nonumber \\&M_{L11}=M_{E11}=M_{L22}=M_{E22}=M_{L33}=M_{E33}=2.4~\mathrm{TeV^2}, \nonumber \\&T_{X11}=T_{X22}=-1~\mathrm{TeV}, \nonumber \\&T_{X33}=-2~\mathrm{TeV},~Y_{X33}=0.4,~ B_S=1~\mathrm{TeV^2},\nonumber \\&\lambda _H=0.1, ~l_W=5~\mathrm{TeV^2}. \end{aligned}$$
(27)

To simplify the discussion, the parameters \(Y_X\), \(T_X\), \(T_\nu \), \(T_E\), \(M_{L}\), \(M_{E}\) and \(M_{\nu }\) are supposed as diagonal matrices. In the follow, the remaining tunable parameters are \(M_2\), \(M_S\), \(\mu \), \(v_S\), \(M_{E11}=M_{E22}=M_{E33}=M_E\). Next, we will analyze the effects of these parameters on the contributions to the muon MDM.

Fig. 4
figure 4

\(a_{\mu }\) versus \(v_S\). The solid (dashed) line corresponds to the result with \(M_2=1000~(1200)~{\mathrm{GeV}}\)

With the parameters \(M_S=1200~{\mathrm{GeV}}\), \(\mu =300~{\mathrm{GeV}}\), \(M_{E}=1~{\mathrm{TeV}}^{2}\), we plot \(a_{\mu }\) versus \(v_S\) in the Fig. 4. \(v_S\) is VEV of the Higgs singlet S, which affects the particle masses. So, it is expected that \(v_S\) gives influence on \(a_{\mu }\). The dashed curve corresponds to \(M_2=1200~{\mathrm{GeV}}\), and the solid line corresponds to \(M_2=1000~{\mathrm{GeV}}\). The both curves vary gently with \(v_S\) in the region \((3000{-}4500)\) GeV. The dashed curve is a little larger than the solid curve. In the whole, the both curves are around the order \(5.0\times 10^{-10}\). These corrections are considerable.

Fig. 5
figure 5

\(a_{\mu }\) versus \(M_S\). The dashed (solid) line denotes the result with \(M_2=1200~(800)~{\mathrm{GeV}}\)

\(M_S\) is the mass of the new gaugino, and it appears in the mass matrix of neutralino. Therefore, the one loop and two loop corrections relating with neutralino are affected by \(M_S\). Supposing \(\mu =300~{\mathrm{GeV}}\), \(v_S=4500~{\mathrm{GeV}}\), \(M_{E}=1{\mathrm{TeV}}^{2}\), we show \(a_{\mu }\) varying with \(M_S\) by the solid curve (\(M_2=800\) GeV) and dashed curve (\(M_2=1200\) GeV) in the Fig. 5. During the region (\(1000\sim 1500\)) GeV, the solid curve is almost an increasing function. As \(M_S\) is near 750 GeV, the biggest value of the dashed line can reach \(5.4\times 10^{-10}\). As \(M_S\) is larger than 1200 GeV, the dashed line is almost horizontal and about \(5.0\times 10^{-10}\). The smallest value of the dashed line is about \(4.8\times 10^{-10}\). Generally speaking, \(M_S\) is a sensitive parameter and influence \(a_{\mu }\) obviously. The biggest value of the dashed line is about \(0.3\times 10^{-10}\) larger than the horizon. The change in \(M_S\) has an effect on the two mass eigenvalues of neutralino \(\chi ^0\). The mass matrix of neutralino affects the contributions from the WH two-loop diagram, the Z\(h_0\) two-loop diagram, the WW two-loop diagram, the ZZ two-loop diagram, like Fig. 3a, c, d, g. Among them, the influence on WW two-loop Fig. 3d is greater. The contributions of these two-loop diagrams add up to the large bump. The condition of the solid line is similar as that of the dashed line.

Fig. 6
figure 6

The relationship between \(a_{\mu }\) and \(M_{E11}=M_{E22}=M_{E33}=M_E\). The dashed line expresses \(M_2=1000~{\mathrm{GeV}}\), and the solid line expresses \(M_2=800~{\mathrm{GeV}}\)

Then, we analyze the effects of the parameters \(M_{E}\) on the results and try to find their reasonable ranges. The parameters \(M_{E}\) are the diagonal elements of the mass squared matrix of the charged slepton, and they are major factors for slepton mass. Based on \(M_S=1200~{\mathrm{GeV}}\), \(\mu =300~{\mathrm{GeV}}\), \(v_S=3000~{\mathrm{GeV}}\), the numerical results are shown by the dashed curve and solid curve corresponding to \(M_2=1000\) GeV and \(M_2=800\) GeV respectively. In the Fig. 6, \(a_{\mu }\) varies with \(M_E\) in the range from \(2.0~{\mathrm{TeV}}^{2}\) to \(4.0~{\mathrm{TeV}}^{2}\). The both curves possess similar behavior, and the dashed curve is above the solid curve. In the \(M_E\) region (\(2.0~{\mathrm{TeV}}^{2}\) to \(2.5~{\mathrm{TeV}}^{2}\)), the both curves are slowly increasing functions. As \(2.5~{\mathrm{TeV}}^{2}<M_E<4.0~{\mathrm{TeV}}^{2}\), they hardly changes at all.

Fig. 7
figure 7

The effect of \(M_2\) on the results. The dashed line expresses \(v_S=3800~{\mathrm{GeV}}\), and the solid line expresses \(v_S=4300~{\mathrm{GeV}}\)

The SU(2) gaugino mass \(M_2\) is the diagonal element of chargino and neutralino, so \(M_2\) gives influence to the masses of chargino and neutralino. Certainly, the corrections to \(a_{\mu }\) are affected by \(M_2\). From the Figs. 4, 5, 6, one can find that \(M_2\) is a sensitive parameter. Adopting \(M_S=1200~{\mathrm{GeV}}\), \(\mu =300~{\mathrm{GeV}}\), \(M_{E}=1~{\mathrm{TeV}}^{2}\), we plot the results by the dashed curve (\(v_S=3800~{\mathrm{GeV}}\)) and solid curve (\(v_S=4300~{\mathrm{GeV}}\)) in the Fig. 7. The both curves are similar and almost overlap, which increase obviously with the enlarging \(M_2\). When \(M_2\) is near 5000 GeV, the both curves can reach \(7.4\times 10^{-10}\) about one \(\sigma \) deviation between experiment data and SM prediction.

Fig. 8
figure 8

The influence of \(\mu \) on \(a_{\mu }\). The dashed line expresses \(M_2=800~{\mathrm{GeV}}\), and the solid line expresses \(M_2=1000~{\mathrm{GeV}}\)

To see how \(\mu \) affects the muon MDM, we suppose \(M_S=1200~{\mathrm{GeV}}\), \(v_S=3000~{\mathrm{GeV}}\), \(M_{E}=1~{\mathrm{TeV}}^{2}\) and plot the results versus \(\mu \). The solid (dashed) curve corresponds to the results obtained with \(M_2=1000(800)\) GeV, which is shown in the Fig. 8. It is obvious that, \(\mu \) affects \(a_{\mu }\) strongly. Their smallest value is about \(4.7\times 10^{-10}\) and largest value is about \(6.8\times 10^{-10}\). When \(\mu \) ia larger than 800 GeV, the both curves decrease. The dashed line expresses the result with \(M_2 = 800\) GeV, and it comes up the large bump (\(a_{\mu } = 6.01 \times 10^{-10}\)) around \(\mu = 630\) GeV. The change in \(\mu \) affects the mass matrices of chargino and neutralino. Their mass eigenvalues and turning matrices can influence the contributions of all the studied two-loop diagrams in the Fig. 3. So the effect from \(\mu \) is larger than that of \(M_S\). \(\mu \) is a sensitive parameter and affects the result obviously in the Fig. 8.

5 Discussion and conclusion

\(U(1)_X\) SSM is the \(U(1)_X\) extension of MSSM, and it has new superfields. Using the effective Lagrangian method, we calculate and analyze the contributions from the one-loop and two-loop diagrams to muon MDM in \(U(1)_X\) SSM. The constraint from the lightest CP-even Higgs with the top-scalar-top loop correction is taken into account. As introduced in the Sect. 2, these new particles lead to new corrections to \(a_{\mu }\). The studied contributions are composed of one-loop diagrams, two-loop Barr-Zee type diagrams and two-loop rainbow diagrams

$$\begin{aligned} \Delta a_l^{two-loop}= & {} \Delta a_l^{one-loop}+a_l^{WH}+a_l^{\gamma h_0}\nonumber \\&+a_l^{Z h_0}+a_l^{WW}+a_l^{\gamma \gamma }+a_l^{\gamma Z}+a_{l}^{ZZ}. \end{aligned}$$
(28)

The two-loop rainbow diagrams with two Z bosons are not considered in the works [2, 31,32,33,34,35]. In our numerical calculation, the contributions from two-loop rainbow diagrams with two Z bosons are at the same order of the contributions from the two-loop rainbow diagrams with two W bosons. This result is consistent with the two-loop order analysis in our previous work [47]. Therefore, the contributions from the two-loop rainbow diagrams with two Z bosons are not small, and they should be taken into account.

The numerical results show that the parameters \(\mu \), \(M_2\), \(M_S\), \(v_S\), \(M_{E11}=M_{E22}=M_{E33}\) are all influential to \(a_{\mu }\). \(M_2\) is a sensitive parameter, and the largest value of \(a_{\mu }\) in our used parameter space can reach \(7.4\times 10^{-10}\). In the large part of the parameter space, the contributions from these loop diagrams are about \(5.0\times 10^{-10}\). These corrections can make up the deviation between experimental data and SM prediction to about one quarter. As we all know, there are a lot of two-loop diagrams contributing to muon MDM. Some non-studied two-loop diagrams can also give important corrections to muon MDM, which can improve theoretical value more. Because the calculation of the two-loop diagrams are very tedious, we will study other two-loop diagrams in the future work.