1 Introduction

One of the most important questions in current particle physics and cosmology is to understand the nature of cosmic dark matter (DM). Although many popular theories can predict viable DM candidates, no DM particle has been discovered by collider or direct detection (DD) experiments so far. So alternative ways, e.g. indirect detection of DM by seeking for its annihilation or decay products, become valuable in understanding the nature of DM.

Recently, the DArk Matter Particle Explorer (DAMPE) experiment released the new measurement of the total cosmic \(e^++e^-\) flux between 25 GeV and 4.6 TeV and reported a hint of an excess in the \(e^+e^-\) spectrum at around 1.4 TeV [1, 2]. Although such an excess may originate from certain new unobserved astrophysical sources, it may also be explained by DM annihilation [3]. Relevant discussion on this subject can be found in [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20], and one notable conclusion is that if one assumes the \(e^+ e^-\) cosmic-ray spectrum to be generated directly from DM annihilation in a nearby clump halo, the best fit values for the DM particle mass, the DM clump mass and the annihilation luminosity are around 1.5 TeV, \(10^{6-8} \,M_{\odot }\) and \(10^{64-66}\, \mathrm{GeV^2 cm^{-3}}\), respectively, if the subhalo is about \(0.1 \sim 0.3\) kpc away from the earth [3].

In this work, we attempt to construct a new theory to explain the excess by DM annihilation. For this end, one preliminary requirement on the theory is that the DM annihilation product should be rich in \(e^+ e^-\) states. Other requirements include

  • I-ID: current DM annihilation cross section \(\langle \sigma v \rangle _0 \gtrsim 1 \times 10^{-26} \,\mathrm{cm^3/s}\) with \(v\sim 10^{-3}\,c\) in the halo, and meanwhile satisfying the constraints from other DM indirect search experiments.

  • II-RD: DM relic density \(\Omega _\mathrm{DM} = 0.1199\pm 0.0027\) [21, 22], which implies that \(\langle \sigma v \rangle _\mathrm{FO} \sim \mathcal{{O}}(10^{-26}) \, \mathrm{cm^3/s}\) with \(v \sim 0.1 \,c\) in early freeze out.

  • III-DD: DM direct detection bounds on spin-independent (SI) DM-nucleon scattering rate \(\sigma ^{SI}_{DM-n}\) from the recent XENON-1T [23] and PandaX-II experiments [24].

  • IV-Collider: collider constraints from LHC and LEP-II measurements.

The requirements I-ID and II-RD prefer the annihilation process dominated by s-wave and at the same time without chiral suppression by light fermion masses [25, 26]. Therefore a natural realization to explain the DAMPE excess is the Dirac DM scenario with certain lepton-specific gauge symmetry, where the DM annihilates directly to \(e^+e^-\) through s-channel mediation of the new gauge boson \(Z^\prime \) [4, 10, 12, 14, 15]. However, as indicated by recent studies in [4, 12, 14, 15], even though \(Z^\prime \) couples only with leptons, DM-nucleon scattering may still proceed by the t-change exchange of the \(Z^\prime -\gamma \) transition which is induced by lepton loops. As a result, DM direct detection bounds have tightly limited the parameter space into the resonant annihilation region, \(m_{Z^\prime } \simeq 2 m_{\mathrm{DM}}\), so that it becomes less attractive, especially given the fact that the bound will be improved greatly in near future. On the other hand, the scenario with scalar DM pair annihilation into vector bosons \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow 2 (e^+ e^-)\) can also satisfy the requirements I-ID and II-RD. In our previous work [13] we studied the scenario with the gauge boson as the mediator between the DM sector and SM sector corresponding to a gauged family symmetry \(U(1)_{B-3(L_e - L_u-L_\tau )}\). We found that the minimal model can not explain the DAMPE results due to the tight constraint from the LHC search for new gauge boson, but a slightly extended model can do this without conflicting with the constraint [13].

In principle, the scenario of the scalar DM annihilation with vector portal may be transported to other gauged family symmetries. In this direction, we are particularly interested in the lepton-specific family symmetry \(U(1)_{L_e-L_\mu }\) [27, 28] due to the following considerations. Firstly, the model is the most economical anomaly-free theory which may explain the peak, so its capability in this aspect should not be neglected. Moreover, we note that because the gauge boson in the model decays democratically into \(e^+ e^-\) and \(\mu ^+ \mu ^-\), instead of into single \(e^+ e^-\) discussed in [15] or equally into three generation lepton pairs discussed in [13], its prediction on the \(e^+ e^-\) spectrum should be different from the previous studies. Secondly, since quarks in the model are uncharged under the \(U(1)_{L_e-L_\mu }\) symmetry, the constraints from LHC experiments and DM direct detection experiments can be greatly relaxed. This facilitates the model in interpreting the DAMPE excess. Finally, we note that the model may address the neutrino mass problem [4] and the discrepancy between theoretical prediction and E821 experimental measurement on muon anomalous magnetic momentum [29, 30]. In this work, we only focus on the features of the model in explaining the DAMPE excess.

The paper is organized as follows. In Sect. 2, we show the favored values of \(m_{\chi }\) and \(m_{Z^\prime }\) by fitting the \(e^+e^-\) spectrum predicted by the DM annihilation \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow l \bar{l} l^\prime \bar{l}^\prime \) to the DAMPE results. In Sect. 3, we introduce the scalar DM model with \(U(1)_{L_e-L_\mu }\) gauge boson as the portal to leptons. In Sect. 4, we present the interpretation of the DAMPE excess by the model while satisfying various experimental constraints. Finally, in Sect. 5 we draw our conclusion.

2 Favored masses by the DAMPE excess

In this section, we determine the mass ranges of \(\chi \) and \(Z^\prime \) by fitting the \(e^+ e^-\) spectrum generated by the process \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow l \bar{l} l^\prime \bar{l}^\prime \) to the DAMPE data. For this end, we first adopt the parameterization of the cosmic ray background according to the formulae in [8] and use the package LikeDM [31] to calculate the propagation of the \(e^+e^-\) flux in the background. The needed data to determine the parameters for the background are taken as those of the AMS-02 \(e^+\) fraction and \(e^+e^- \) flux, and the DAMPE \(e^+e^-\) flux [8]. Then we add the contribution of the local subhalo directly by noting that such a component only affects the energy bin \(\mathrm \sim 1.5 \,\mathrm{TeV}\). We adopt a Navarro–Frenk–White profile [32] with a truncation at the tidal radius [33] for DM density distribution inside the subhalo, and use the subhalo mass \(M_\mathrm{halo}\) as an input to determine the profile with the method introduced in the appendix of [3]. The propagation of the nearby \(e^+e^-\) can be calculated analytically under the assumption of spherically symmetric geometry and infinite boundary conditions [34]. More details of the procedure were introduced in [4, 10, 13, 15]. Finally, we construct a likelihood function by comparing the predicted spectrum with the AMS-02 data and the DAMPE data, which are distributed from 0.5 to \(24\,\mathrm{GeV}\) in 36 energy bins for the former [35] and from \(24\,\mathrm{GeV}\) to \(4.57\,\mathrm{TeV}\) in 40 energy bins for the latter [1]. Obviously, this function depends on a series of parameters such as \(m_\chi \), \(m_{Z^\prime }\), \(\langle \sigma v \rangle _0\), \(M_\mathrm{halo}\), the distance of the subhalo way from the earth d as well as the parameters appearing in the background. Since DAMPE experiment has collected more than thirty electron/positron events in each energy bin around \(1.4\,\mathrm{TeV}\) [1], we can determine the favored ranges of these parameters by the binned likelihood fit adopted in this work. For the flux in the ith bin, we get its theoretical value by averaging the flux over the width of the energy bin, i.e. \(\Phi _i = \frac{1}{\Delta E} \int \Phi (E) d E\).

Before we proceed, let’s illustrate two key features of the spectrum. One is that the height of the spectrum is roughly decided by the product \(\langle \sigma v \rangle _0 \times (M_\mathrm{halo}/m_\odot )^{0.76}\) [36], which implies that one may fix \(\langle \sigma v \rangle _0\) or \(M_\mathrm{halo}\) while varying the other one in performing the fit. Since \(M_\mathrm{halo}\) is also needed to determine the DM profile, in practice we fix \(M_\mathrm{halo}\) and vary \(\langle \sigma v \rangle _0\) to simplify the calculation. We note that so far \(M_\mathrm{halo}\) is still unknown and may vary from \(10^{6} \,M_{\odot }\) to \(10^{8} \,M_{\odot }\) [3], thus \(\langle \sigma v \rangle _0\) can be chosen at the order of \(10^{-(24\sim 26)} \,\mathrm{cm^3 /s}\) in the analysis, which is widely adopted in many papers. The other feature is that the \(e^+ e^-\) spectrum generated by the two-step annihilation \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow l \bar{l} l^\prime \bar{l}^\prime \) exhibits box-shaped features, and the peak-like structure is significant only when the mass splitting \(\Delta m \equiv m_\chi - m_{Z^\prime }\) is small. Since the location and the shape of the spectrum are decided by the parameters \(m_{\chi }\) and \(\Delta m\), the excess should impose non-trivial constraints on their values.

Fig. 1
figure 1

Fitting the \(e^+e^-\) spectrum generated by the process \(\chi \chi \rightarrow Z' Z'\) with \(Z^\prime \rightarrow e^+e^-, \mu ^+ \mu ^-\) to the AMS-02 and DAMPE data with the background parameterization taken from [8]. Left panel: \(\chi ^2\) map projected on \(\Delta m-m_\chi \) plane with \(\Delta m \equiv m_\chi - m_{Z^\prime }\) and the color bar denoting the \(\chi ^2\) values. The best fit point locates at \((7 \, \mathrm{GeV}, 3060 \, \mathrm{GeV})\), and the contour of \(\chi ^2 = \chi ^2_{best} + 2.3\) is also plotted. Right panel: The cosmic \(e^+e^-\) spectrum of the best fit point generated by the DM annihilation process in comparison with the AMS-02 and DAMPE data

In our analysis, we fix \(d = 0.1 \,\mathrm{kpc}\), \(M_\mathrm{halo}= 1.9 \times 10^{7} m_\odot \) and scan the masses \(m_{\chi }\) and \(\Delta m\). For each set of \(m_{\chi }\) and \(\Delta m\), we generate the \(e^+e^-\) spectrum arising from both the background and the signal \(\chi \chi \rightarrow Z' Z'\) with \(Z^\prime \rightarrow e^+e^-, \mu ^+ \mu ^-\), and vary the parameters for the background and \(\langle \sigma v \rangle _0\) to get the maximum value of the constructed likelihood function. Then we obtain the \(\chi ^2\) of the fit by the formula \(\chi ^2 = -2 \ln \mathcal{{L}}_{max}\). In the left panel of Fig. 1, we show the map of the \(\chi ^2\) on the \(\Delta m - m_{\chi }\) plane with the color bar denoting the values of the \(\chi ^2\). We find that the best fit point locates at \((7 \, \mathrm{GeV}, 3060 \, \mathrm{GeV})\) with \(\langle \sigma v \rangle _0=2.34\times 10^{-26} \,\mathrm{cm^3/s}\) and its prediction on the \(\chi ^2\) is smaller than that obtained from the background-only spectrum by about 5.8. In this panel, we also plot the constant contour of \(\chi ^2 = \chi ^2_{best} + 2.3\). The region bounded by this contour is interpreted as the best region of the two-step DM annihilation process to explain the DAMPE excess at \(1 \sigma \) level. In the right panel of Fig. 1, we present the \(e^+e^-\) spectrum predicted by the best fit point. In obtaining this panel, we take the parameters for the background from the maximization of the likelihood in calculating the \(\chi ^2\). This panel indicates that by choosing appropriate \((\Delta m, m_\chi )\), the process \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow l \bar{l} l^\prime \bar{l}^\prime \) is indeed able to re-produce the DAMPE peak.

Fig. 2
figure 2

Best-fit of the \(e^+e^-\) spectrum generated by the process \(\chi \chi \rightarrow Z' Z'\) with \(Z^\prime \rightarrow e^+e^-, \mu ^+ \mu ^-\) to the DAMPE data with the background parameterization taken from [16]. The left panel is based on background-only hypothesis with corresponding \(\chi ^2 = 25.5\), while the right panel corresponds to background + signal fit with \(\chi ^2 = 17.0\)

We checked that if we adopt the parameterization of the background by the formulae in [16], we can roughly reproduce the results of [16]. In this case, due to the differences in background parameterization and data set,Footnote 1 the best point locates at \((8\,\mathrm{GeV}, 3061\,\mathrm{GeV})\) with \(\langle \sigma v \rangle _0=2.8 \times 10^{-26} \,\mathrm{cm^3/s}\), and the \(\chi ^2\) of the best point improves that of the background-only hypothesis by about 8.5. In Fig. 2, we plot the best-fit spectrum with the background considered in [16], and the left and right panels correspond to background-only hypothesis and background + signal hypothesis, respectively. This figure indicates that adopting the parameterizations of the background in [16] can also fit the data well, and does not result in a significant difference in underlying physics.

3 Scalar DM model with gauged \(U(1)_{L_e-L_\mu }\) portal

In this section, we introduce the key features of the scalar DM model which extends the SM gauge group \(G_{SM}\equiv SU(3)_C \times SU(2)_L \times U(1)_Y\) by the \(U(1)_{L_e-L_\mu }\) gauge symmetry. The particle contents of the model and their charges under the gauged groups are presented in Table 1, where we introduce a complex scalar \(\phi _\chi \) as DM field and a complex scalar \(\phi _s\) to be responsible for the broken of the \(U(1)_{L_e-L_\mu }\) symmetry as well as for the generation of the \(Z^\prime \) mass by its vacuum expectation value (vev) \(v_s\) [27, 28]. We impose an odd \(Z_2\) parity for \(\phi _\chi \) and an even parity for the other fields to guarantee the stability of the DM candidate. The Lagrangian relevant to our discussion includes

$$\begin{aligned} {\mathcal L} \supset&| D'_{\mu } \phi _\chi |^2 + | D'_{\mu } \phi _s |^2 - V(H,\, \phi _\chi ,\, \phi _s) - \frac{1}{4} |F'_{\mu \nu }|^2\nonumber \\&+\, g_{Y^\prime } Z^\prime _{\mu } ( \overline{e} \gamma ^\mu e - \overline{\mu } \gamma ^\mu \mu + \overline{\nu _e} \gamma ^\mu \nu _e - \overline{\nu _\mu } \gamma ^\mu \nu _\mu ),\nonumber \\ \end{aligned}$$
(3.1)

with

$$\begin{aligned} V(H,\, \phi _\chi ,\, \phi _s)= & {} m_H^2 |H|^2 + m_{\chi }^2 |\phi _\chi |^2 + m_{s}^2 |\phi _s|^2 \nonumber \\&+\, \lambda _H |H|^4 \nonumber \\&+\, \lambda _{\chi } |\phi _\chi |^4 + \lambda _{s} |\phi _s|^4 + \lambda _{\chi H} |\phi _\chi |^2 |H|^2 \nonumber \\&+\, \lambda _{s H} |\phi _s|^2 |H|^2\nonumber \\&+\, \lambda _{\chi s} |\phi _\chi |^2 |\phi _s|^2 + \lambda '_{\chi s} \Big ( (\phi ^*_\chi \phi _s)^2 + h.c. \Big ).\nonumber \\ \end{aligned}$$
(3.2)

In the above expressions, \(D'_{\mu } = \partial _\mu - i g_{Y^\prime } Y_\phi Z^\prime _{\mu }\) with \(Z^\prime \) denoting the gauge field of the new symmetry, \(F'_{\mu \nu }=\partial _\mu Z^\prime _{\nu } - \partial _\nu Z^\prime _{\mu }\), and \(m_i\), \(\lambda _i\) and \(\lambda _{ij}\) with \(i,j= H, \chi , s\) are all real free parameters. In Eq. (3.1) we neglect the kinematic mixing terms of the two U(1) gauge fields. Note that the \(\lambda ^\prime _{\chi s}\) term must vanish if \(Y_\chi \ne Y_s \). Also note that in Eq. (3.2) we do not consider the special cases of \(Y_s=0\) and \(2 Y_\chi \pm Y_s = 0\). As a result, cubic operators such as \(\phi _s^{(*)} \phi _\chi \phi _\chi \) are absent. Moreover, due to the assigned \(Z_2\) symmetry, bilinear operators such as \(\phi _\chi ^*\phi _s\) are also absent.

In our discussion, we set \(\lambda _{\chi H}=\lambda _{s H}=0\) and choose proper \(m_H^2\) and \(\lambda _H\) so that the properties of the H-dominated scalar are the same as those of the Standard Model (SM) Higgs boson. The minimization conditions of the potential for the fields \(\phi _\chi \) and \(\phi _s\) are then given by

$$\begin{aligned} m_\chi ^2 + (\lambda _{\chi s} + 2 \lambda ^\prime _{\chi s}) v_s^2 + 2 \lambda _\chi v_\chi ^2 = 0, \nonumber \\ m_s^2 + (\lambda _{\chi s} + 2 \lambda ^\prime _{\chi s}) v_\chi ^2 + 2 \lambda _s v_s^2 = 0, \end{aligned}$$
(3.3)

where \(v_\chi \) denotes potential vev of the field \(\phi _\chi \). The first condition indicates that for \(\lambda _\chi \ge 0\), the field \(\phi _\chi \) will not develop a vev if \(m_\chi ^2 + (\lambda _{\chi s} + 2 \lambda ^\prime _{\chi s}) v_s^2 > 0\). In this case, \(m_s^2 = -2 \lambda _s v_s^2\) and one can replace \(m_s^2\) by \(v_s\) as a theoretical input parameter. After the symmetry breaking, the terms induced by \(\lambda _{\chi s}\) and \(\lambda ^\prime _{\chi s}\) in the potential can be rewritten as

$$\begin{aligned} (v_s + \phi _{s, R} )^2 [ (\lambda _{\chi s} - 2 \lambda ^\prime _{\chi s} ) \chi ^2 + (\lambda _{\chi s} + 2 \lambda ^\prime _{\chi s} ) {\chi ^{\prime }}^2 ], \end{aligned}$$
(3.4)

where we define the imaginary and real parts of the field \(\phi _\chi \) as \(\chi \equiv \phi _{\chi , I}\) and \(\chi ^\prime \equiv \phi _{\chi , R}\), respectively, and neglect the field \(\phi _{s, I}\) since it becomes the longitudinal component of the gauge particle \(Z^\prime \). This expression indicates that \(\lambda ^\prime _{\chi s}\) can induce a mass splitting between \(\chi \) and \(\chi ^\prime \), \(\Delta m^2_{\chi ^\prime \chi } \equiv m_{\chi ^\prime }^2 - m_{\chi }^2 = 8 \lambda _{\chi s}^\prime v_s^2\), and that there is no mixing between \(\chi \) and \(\chi ^\prime \). Since the parameters \(\lambda _\chi \) and \(\lambda _{\chi s}\) are unimportant to our discussion, we hereafter treat them as zero .

Table 1 Particle contents and their charges in \(G_{SM} \times U(1)_{L_e-L_\mu }\) model

The gauge charges of the fields \(\phi _\chi \) and \(\phi _s\) play an important role in DM physics, and some important features about them are listed below.

  • Because in most cases the DM annihilation \(\chi \chi \rightarrow Z^\prime Z^\prime \) proceeds mainly via the quartic \(\chi \chi Z^\prime Z^\prime \) coupling, the DM relic density measured by Planck experiment [21, 22] and \(\langle \sigma v \rangle \propto Y_\chi ^4 g_{Y^\prime }^4\) require \(Y_\chi g_{Y^\prime } \simeq 1.2\) for \(m_\chi \sim m_{Z^\prime } \sim 3 \, \mathrm{TeV}\) [13]. This implies that the larger value of \(Y_\chi \) one takes, the smaller \(g_{Y^\prime }\) should be chosen. In this case, the LEP-II constraints on \(Z^\prime \) mass from \(e^+e^- \rightarrow Z^{\prime *} \rightarrow e^+ e^-\) becomes relaxed by the formula \(|\frac{g_{Y^\prime } Y_e}{m_{Z^\prime }}| \lesssim 2.02 \times 10^{-4} \, \mathrm{GeV^{-1}}\) presented in [37], where \(Y_e = 1\) in our model.

  • If \(Y_\chi \ne Y_s \), the \(\lambda ^\prime _{\chi s}\) term in Eq. (3.2) must vanish due to gauge invariance. In this case, \(\chi \) and \(\chi ^\prime \) degenerate in mass and the complex field \(\phi _\chi \) acts as the DM candidate. On the other hand, since the \(Z^\prime \phi _\chi ^*\phi _\chi \) coupling is non-zero, the DM-nucleon scattering can proceed by the t-channel exchange of the \(Z^\prime -Z\) transition induced by \(e/\mu \) loops [38,39,40]. Consequently, the spin-independent (SI) DM-proton scattering cross section can be approximated by [26, 40]

    $$\begin{aligned} \sigma _{\phi _\chi -p} \simeq \left\{ Y_\chi ^2 \left( \frac{g_{Y^\prime }}{0.6} \right) ^4 \left( \frac{3 \, \mathrm{TeV}}{m_{Z^\prime }} \right) ^2 \right\} \! \times \! 0.7 \!\times \!10^{-45} \, \mathrm{cm^2}.\nonumber \\ \end{aligned}$$
    (3.5)

    This expression indicates that with \(Y_\chi g_{Y^\prime } \simeq 1.2\) for \(m_{Z^\prime } \simeq 3 \, \mathrm{TeV}\), \(Y_\chi \) must be larger than about 2 in order to survive the tight bound from the DM direct detection experiments such as XENON-1T [23] and PandaX-II [24]. Considering that the bound will be further improved greatly in near future, we conclude that the case is disfavored if no DM signal is confirmed.

  • If \(Y_\chi = Y_s \), the non-vanishing \(\lambda ^\prime _{\chi s}\) term can induce a sizable splitting between \(m_{\chi ^\prime }\) and \(m_{\chi }\), especially \(m_{\chi ^\prime } > m_{\chi }\) for a positive \(\lambda ^\prime _{\chi s}\) [13]. In this case, \(\chi \) acts as the DM candidate. More importantly, there is no \(Z^\prime \chi \chi \) or \(Z^\prime \chi ^\prime \chi ^\prime \) interaction, but only \(Z^\prime \chi ^\prime \chi \) interaction [13]. The remarkable implication of the mass splitting is that if it is larger than the DM kinetic energy today \(\sim 1\) MeV, the inelastic scattering process \(\chi N \rightarrow \chi ^\prime N\) with N denoting nucleon is kinematically forbidden, while the elastic scattering process \(\chi N \rightarrow \chi N\) only starts from 2-loop level since \(Z^\prime \) does not couple directly with quarks [13]. As a result, the DM direct detection experiments will no longer limit the model.

  • In principle, our framework may also account for non-zero neutrino masses and mixing angles if one further introduces additional scalars [4]. For this purpose, \(Y_s\) is naturally chosen to be 2 so that it can couple to the right-handed neutrinos to generate their masses. For such a model, only \(Z^\prime \) among the gauge bosons couples with the right-handed neutrinos, which has important implications at colliders [41, 42].

Based on the above arguments, we take \(Y_\chi = Y_s = 2\) in the following as an example to study the implication of the model in DM physics.

4 Numerical results

Fig. 3
figure 3

Interpretation of the DAMPE excess by the samples satisfying the constraints from DM relic density and direct detection experiments, which are projected on \(g_{Y^\prime }-m_{Z^\prime }\) plane. The LEP-II bound on the plane is also plotted with the upper left region of the line excluded

Table 2 Status of the model \(G_{SM} \times U(1)_{L_e-L_\mu }\) confronting the four conditions

In the numerical calculations, we use the public package SARAH [43] to implement the model, SPheno [44, 45] to obtain the mass spectrum and micrOMEGAs [46, 47] to calculate the DM relic abundance in which the threshold effects may be important when \(m_\chi \sim m_{Z'}\) [48]. We scan the following parameter space by the package Easyscan-HEP [49] which is based on Markov Chain Monte Carlo (MCMC) sampling technique [50],

$$\begin{aligned}&0 \le \lambda _{s},\ g_{Y^\prime }, \, \lambda ^\prime _{\chi s} \le 1, \ 2.9 \,\mathrm{TeV} \le m_{\chi }\nonumber \\&\quad \le 3.2 \,\mathrm{TeV}, \ 1 \,\mathrm{TeV} \le v_s \le 5 \,\mathrm{TeV}. \end{aligned}$$
(4.1)

In the scan, we impose the constraints (see the four conditions listed in Sect. 1)

$$\begin{aligned}&m_{\phi _{s,R}},m_{\chi '} > 3.5 \,\mathrm{TeV}, \quad \Omega _{\chi } h^2 \in 0.1187 \nonumber \\&\quad \pm 0.01198, \quad \langle \sigma v \rangle _0 \gtrsim 1\times 10^{-26}\, \mathrm{cm^3/s}, \end{aligned}$$
(4.2)

where both of the two physical scalars \(\phi _{s,R}\) and \(\chi ^\prime \) are required to be heavier than \(3.5 \,\mathrm{TeV}\) so that they do not affect the DM annihilation. Moreover, we require that \(m_{\chi }\) and \(\Delta m\) are in the region bounded by the constant \(\chi ^2\) contour in Fig. 1.

The numerical results are provided in Fig. 3 on the plane of \(g_{Y^\prime }\) versus \(m_{Z^\prime }\), where the upper left region of the LEP-II bound, i.e. \(\frac{g_{Y'}}{m_{Z'}} \gtrsim 2.02 \times 10^{-4} \, \mathrm{GeV^{-1}}\) [37], has been excluded. This figure indicates that the LEP-II bound has tightly limited the ability of the model to explain the DAMPE excess, nevertheless there still exist surviving samples that are capable of the explanation. As we discussed in previous section, the tension can be relaxed greatly if one adopts a larger \(Y_\chi \). For example, if one chooses \(Y_\chi ^\prime =3 \), the observed relic density and the interpretation of the DAMPE excess require \(g_{Y^\prime } \simeq 0.4\) for \(m_{Z^\prime } \simeq 3 \, \mathrm{TeV}\), in which case the LEP-II experiments has no constraint on the model. Moreover, it should be noted that since the SM quarks are singlets under the group \(U(1)_{L_e-L_\mu }\), there are no Drell-Yan constraints on \(Z^\prime \) from the LHC [51], which is different from our previous work [13]. In order to illustrate clearly the status of our explanation confronting the four conditions listed in Section I, we summarize the details in Table 2.

Fig. 4
figure 4

Modified production rate \(\sigma (e^+e^- \rightarrow \mu ^+\mu ^-)\), which is relevant in searches for \(Z'\) at ILC

Before we end the discussion, we have the following comments.

  • As was pointed out in [4, 15], the DM explanation of the DAMPE peak is consistent with other DM indirect detection experimental results such as the H.E.S.S. data on the annihilation \(\chi \chi \rightarrow V V \rightarrow 2 (e^+ e^-) \) [52, 53], the Fermi-LAT data in the direction of the dwarf spheroidal galaxies [54], the Planck CMB data which is sensitive to energy injection to the CMB from DM annihilations [55, 56], and the IceCube data on DM annihilation into neutrinos [57]. It also survives the upper bounds from XENON-10 and XENON-100 experiments on the DM scattering off electron [58].

  • The DAMPE explanation imposes non-trivial requirements on \(g_{Y^\prime }\) and \(m_{Z^\prime }\) which will be further tested at the future International Linear Collider (ILC). For example, it is expected that the sensitivity \(\frac{g_{Z'}}{m_{Z'}}\gtrsim 2.2 \times 10^{-5} \, \mathrm{GeV^{-1}}\) will be achieved at the ILC with \(\sqrt{s}= 1 \, \mathrm{TeV}\) and a luminosity of 500 \(\mathrm{fb^{-1}}\) [59]. To gain a more complete picture, we also show the modified production cross section \(\sigma (e^+e^- \rightarrow \mu ^+\mu ^-) \) in Fig.4 for \(m_{Z^\prime }=3\) TeV with two benchmarks \(g_{Y^\prime }=0.6, 0.5\). This figure indicates that the gauge boson \(Z^\prime \) can indeed make sizable difference in the production rate at the ILC.

  • In our scalar DM model, \(Z^\prime \) contributes to the muon anomalous magnetic momentum \(g-2\) by [60]

    $$\begin{aligned} \Delta a_\mu \approx \frac{3g_{Y^\prime }^2}{4\pi ^2}\frac{m_\mu ^2}{M_{Z^\prime }^2}. \end{aligned}$$
    (4.3)

    For \(g_{Y^\prime } \simeq 0.6\) and \(m_{Z^\prime } \simeq 3 \, \mathrm{TeV}\), this contribution is about \(3.35\times 10^{-11}\) which is too small to account for the measured value of muon \(g-2\).

  • Throughout this work, we have chosen the scalar DM model with the \(U(1)_{L_e-L_\mu }\) symmetry to explain the DAMPE excess. Alternatively, one may also choose a similar model but with \(U(1)_{L_e-L_\tau }\) gauge symmetry. We find that roughly the same results for the \(e^+e^-\) spectrum and the favored \((\Delta m, m_\chi )\) region as those in Fig. 1 can be obtained. Therefore we conclude that the excess may also be explained by the \(U(1)_{L_e-L_\tau }\) symmetry.

5 Conclusion

In this work, we discussed the feasibility of scalar DM annihilation to explain the tentative peak observed by the recent DAMPE experiment in the cosmic \(e^+e^-\) flux. Assuming that the two-step process \(\chi \chi \rightarrow Z' Z' \rightarrow \ell \bar{\ell }\ell '\overline{\ell '}\) with \(\ell ^{(')}=e,\mu \) is responsible for the \(e^+ e^-\) spectrum, we first determined by fitting the spectrum to the DAMPE data the favored masses of the DM \(\chi \) and the mediator \(Z^\prime \), which are presented on \(\Delta m-m_\chi \) plane in Fig. 1. Then we considered a scalar DM model with gauged \(U(1)_{L_e-L_\mu }\) symmetry to realize the process and investigated the features of the model in explaining the excess. Our results indicate that the model can account for the excess without conflicting constraints from DM direct and indirect detection experiments as well as collider experiments. Depending on the assignment of DM charge \(Y_\chi \) under the \(U(1)_{L_e-L_\mu }\) symmetry, one can alleviate the tension between the DAMPE interpretation and the LEP-II bound on \(m_{Z^\prime }\). These observations are presented in Fig. 3 and also summarized in Table 2.

Before we end this work, we want to emphasize some facts. First, the scalar DM model with the \(U(1)_{L_e-L_\mu }\) symmetry is one of the most economical anomaly-free theory which may be used to explain the DAMPE excess. So its features in this aspect should be investigated carefully, especially in light of the fact that another economical anomaly-free U(1) extension of the SM studied in [13] fails in doing this. As we have shown in this work, the theory can explain the excess without conflicting with any experimental measurements, and a large \(Y_\chi \) is favored to relax the tension with the LEP-II constraint. These conclusions are rather new. Second, as we discussed in Sect. 2, the measured \(e^+e^-\) flux constrain nontrivially the parameters space of \(m_\chi \) and \(m_{Z^\prime }\). In getting the \(\chi ^2\) map on \(\Delta m - m_\chi \) plane in Fig. 1, we solved the propagation equation of electron/positron in cosmic ray and sought for the maximum value of the likelihood function, which depends on seven variables, for each set of (\(m_\chi \), \(\Delta m\)). So the involved calculation is rather complex and time consuming. We remind that, as far as we know, such a \(\chi ^2\) map was not obtained in previous literatures to explain the DAMPE excess. Finally, we’d like to clarify the relation of this work with our previous work [13], where we utilized another U(1) extension of the SM to explain the excess. In either work, a scalar DM candidate from a minimal and anomaly-free theory was considered to generate the \(e^+e^-\) flux by the two step annihilation process \(\chi \chi \rightarrow Z^\prime Z^\prime \rightarrow l \bar{l} l^\prime \bar{l}^\prime \). As a result, the scalar potentials in the two works and also the relevant experimental constraints are same, and therefore we organize the discussions in a similar way. However, the underlying physics is quite different, which can be seen in the following aspects:

  • the decay products of the mediator \(Z^\prime \), or equally speaking the final state in DM annihilation. For the theory considered in [13], \(Z^\prime \) decays democratically into \(e^+ e^-\), \(\mu ^+ \mu ^-\) and \(\tau ^+ \tau ^-\) to explain the excess. This was motivated by the original work [3] about the DAMPE experiment, where the authors pointed out by simulation that pure \(e^+e^-\) final state or equally mixed \(e^+e^-\), \(\mu ^+\mu ^-\) and \(\tau ^+\tau ^-\) final state is capable of predicting the right shape and height of the spectrum. In this work, however, \(Z^\prime \) decays with an equal rate into \(e^+ e^-\) and \(\mu ^+ \mu ^-\) states, and whether the final states can explain the excess is still unknown before our study. We stress that different final states can result in significant difference in the \(e^+e^-\) spectrum, and consequently can favor different ranges of physical inputs. For example, as was illustrated in a later discussion in [20], the former state prefers a larger mass splitting and a larger annihilation cross section than the latter state.

  • more important, the status of the theory confronting the constraints. Explicitly speaking, the anomaly-free condition for the former theory requires that the quark fields in the SM carry a charge of \(\frac{1}{3}\) under the new U(1) symmetry. This charge assignment can induce the tree-level process \(p p \rightarrow Z^\prime \rightarrow l^+ l^-\) at the LHC, and the analysis by ATLAS collaboration on dilepton signal has pushed the lower mass bound of \(Z^\prime \) up to about 4 TeV, which implies that the minimal framework fails to account for the excess [13]. By contrast, the explanation in this work is free of such a problem.