1 Introduction

Despite the remarkable success of the Standard Model (SM) in describing the strong and electroweak interactions with a high degree of accuracy, as confirmed by the experiments at the Large Hadron Collider (LHC), it does not address several questions. One of them is the unexplained hierarchy of the SM fermion masses, which extends over a range of 13 orders of magnitude, from the light active neutrino mass scale up to the top quark mass. Other unaddressable issues of the SM are the number of SM fermion families, the current amount of dark matter relic density, lepton asymmetry of the Universe, and the muon and electron anomalous magnetic moments.

Models with extended symmetries, enlarged particle content, and radiative seesaw mechanisms, are frequently used to tackle the limitations of the SM [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94]. Furthermore, several extensions of the SM have been constructed to explain the experimental value of the muon anomalous magnetic moment [70, 81, 85, 88,89,90,91, 93, 95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165] , an anomaly not explained by the SM and recently confirmed by the Muon \(g-2\) experiment at FERMILAB [166].

Intending to address the drawbacks as mentioned earlier of the SM, we propose an extension of the Two Higgs Doublet Model (2HDM) with enlarged particle spectrum and symmetries, which allows for a successful implementation of the inverse seesaw mechanism to explain the SM fermion mass hierarchy. Unlike most of the works considered in the literature, in the proposed theory the inverse seesaw mechanism is implemented not only for the neutrino sector, but also for the charged fermion sector. Specifically, the charged fermions of the first and the second families receive masses via one-loop and tree-levels inverse seesaw mechanisms, respectively. For the third family, the charged fermions obtain a mass at tree-level, namely the t-quark mass depends on the VEV of the Higgs doublet, \(\phi _{1}\), while the masses of both tau-lepton and b-quark depend on the VEV of \(\phi _{2}\). The light active neutrinos gain masses at two loop level. The content of this paper goes as follows. In Sect. 2 we describe our proposed model. The implications of the model in the SM fermion mass hierarchy are discussed in Sect. 3, while we study the new contributions to the muon and electron anomalous magnetic moments in Sect. 4. Meson mixings are analyzed in Sect.5, and the constraints of our model in dark matter and leptogenesis are discussed in Sects. 6 and 7. We conclude in Sect. 8.

2 The model

We start this section by explaining the reasoning behind the inclusion of extra scalars, fermions, and symmetries required for the implementation of tree and one-loop level inverse seesaw mechanisms to generate the masses of the second and first families of SM charged fermions, respectively, and a two-loop level inverse seesaw mechanism to produce the tiny active neutrino masses. In our model, which is an extended 2HDM theory, the top quark mass will arise at tree level from a renormalizable Yukawa interaction involving a \(SU\left( 2\right) \) Higgs doublet, i.e., \(\phi _{1}\) . In contrast, the bottom quark and tau lepton will get tree-level masses from the second \(SU\left( 2\right) \) Higgs doublet \(\phi _{2}\). Such required Yukawa interactions, which generate the tree level masses for the top and bottom quarks as well as for the tau lepton, are:

$$\begin{aligned}&\overline{q}_{3L}{\widetilde{\phi }}_{1}u_{iR},\overline{q} _{3L}\phi _{2}d_{iR}, \quad \overline{l}_{iL}\phi _{2}l_{3R},i=1,2,3 \end{aligned}$$
(1)

The \(SU\left( 2\right) \) Higgs doublets \(\phi _{1}\) and \(\phi _{2}\) need to be distinguished by a symmetry, which can be a \(U\left( 1\right) _{X}\) local symmetry, assumed to be non universal in the quark sector, as it will be shown below. Such symmetry will distinguish the left handed quark doublets \(q_{nL}\) (\(n=1,2\)) from the \(q_{3L}\). Furthermore, a discrete symmetry \( Z_{4}\) is required to allow only the above given Yukawa interactions, thus allowing to forbid the operators:

$$\begin{aligned}&\overline{q}_{nL}{\widetilde{\phi }}_{2}u_{iR},\overline{q} _{nL}\phi _{1}d_{iR},\overline{l}_{iL}\phi _{2}l_{nR},\nonumber \\&\quad i=1,2,3,n=1,2 \end{aligned}$$
(2)

which would give rise to Dirac type masses for the first two generations of SM fermions. Furthermore, the \(Z_{4}\) discrete symmetry, together with the \(U\left( 1\right) _{X}\) gauge symmetry, will also permit the implementation of tree and one-loop level inverse seesaw mechanisms to generate the masses for the second and first generation of SM charged fermions, respectively. The advantage of the local \(U\left( 1\right) _{X}\) gauge symmetry, with respect to a cyclic symmetry, is that it allows more freedom in the particle assignments. The presence of this symmetry means that heavy non SM fermions can be produced via a Drell-Yan portal mediated by a heavy \(Z^{\prime }\) gauge boson. The masses of the active light neutrinos, obtained from an inverse seesaw mechanism when the full neutrino mass matrix is expressed in the basis \( \left( \nu _{L},\nu _{R}^{C},N_{R}^{C}\right) \), has the following structure:

$$\begin{aligned} M_{\nu }=\left( \begin{array}{ccc} 0_{3\times 3} &{} m_{\nu D} &{} 0_{3\times 3} \\ m_{\nu D}^{T} &{} 0_{3\times 3} &{} M \\ 0_{3\times 3} &{} M^{T} &{} \mu \end{array} \right) , \end{aligned}$$
(3)

where \(\nu _{iL}\) (\(i=1,2,3\)) correspond to the active neutrinos, whereas \( \nu _{iR}\) and \(N_{iR}\) (\(i=1,2,3\)) are the sterile neutrinos. Furthermore, the entries of the full neutrino mass matrix should fulfill the hierarchy \( \mu _{ij}<<\left( m_{\nu D}\right) _{ij}<<M_{ij}\) (\(i,j=1,2,3\)). It is worth mentioning that in the case \(\mu =0\), the light active neutrinos remain massless and the sterile neutrinos \(\nu _{iR}\) and \(N_{iR}\) become degenerate, forming Dirac neutrinos whose corresponding mass matrix is M, and their contribution to the light active neutrino masses vanishes. Thus, by analogy with the neutrino sector, the implementation of the tree-level inverse seesaw mechanism for the SM charged fermions requires that its corresponding mass matrix in the basis \((\overline{f}_{1L},\overline{f}_{2L}, \overline{f}_{3L},\overline{F}_{L},\overline{\widetilde{F}}_{L})\)-\( (f_{1R},f_{2R},f_{3R},F_{R},\widetilde{F}_{R})\) should have the form:

$$\begin{aligned} M_{F}=\left( \begin{array}{ccc} 0_{3\times 3} &{} F_{F} &{} 0_{3\times 1} \\ G_{F}^{T} &{} 0 &{} X_{F} \\ 0_{1\times 3} &{} Y_{F} &{} m_{F} \end{array} \right) , \end{aligned}$$
(4)

where \(f_{i}\) (\(i=1,2,3\)) correspond to the SM charged fermions, whereas F and \(\widetilde{F}\) are the exotic charged fermions. Let us note that in the limit \(m_{F}\rightarrow 0\) (\(F=T,D,E\)), the model under consideration has an accidental U(1) symmetry under which the charges of the \(f_{iL}\), \(f_{iR} \), \(F_{L}\), \(F_{R}\), \(\widetilde{F}_{L}\), \(\widetilde{F}_{R}\) are given by:

$$\begin{aligned}&Q_{U{(1)}}\left( f_{iL}\right) =Q_{U{(1)}}\left( \widetilde{F}_{L}\right) =Q_{U{(1)}}\left( F_{R}\right) =a,\nonumber \\&Q_{U{(1)}}\left( f_{iR}\right) =Q_{U{(1)}}\left( \widetilde{F}_{R}\right) =Q_{U{(1)}}\left( F_{L}\right) =b,\quad a\ne b. \nonumber \\ \end{aligned}$$
(5)

It is worth mentioning that unlike the neutrino sector, in the charged fermion sector the tree level inverse seesaw mechanism is only implemented to generate the masses of the second family of SM charged fermions. This is due to the fact that the third family of SM charged fermions obtain their masses from renormalizable interactions involving the \(SU\left( 2\right) \) Higgs doublets \(\phi _{1}\) and \(\phi _{2}\), whereas the first family of SM charged fermions get their masses from radiative corrections, as it will be shown below. Because of this reason there is only one family of exotic charged fermions F and \(\widetilde{F}\) involved in the tree level inverse seesaw mechanism, whereas the sterile neutrino spectrum resulting from Eq. (3) is composed of three copies of the \(\nu _{R}^{C}\) and \( N_{R}^{C}\) fields. It is worth mentioning that the Dirac type masses of the first two generations of SM charged fermions that would result from the \( \overline{q}_{nL}{\widetilde{\phi }}_{2}u_{iR}\) and \(\overline{q}_{nL}\phi _{1}d_{iR}\) operators will be forbidden by the \(Z_{4}\) discrete symmetry.

To generate the charged fermion mass matrix of Eq. (4), one has to include the following operators:

$$\begin{aligned} \begin{array}{l@{\quad }l@{\quad }l} \overline{q}_{nL}{\widetilde{\phi }}_{2}U_{R},&{} \overline{T} _{L}\eta U_{R},&{} m_{T}\overline{T}_{L}T_{R},\\ \overline{U}_{L}\chi T_{R}, &{}\overline{U}_{L}\sigma ^{*}u_{iR},&{} i=1,2,3,\\ \overline{q}_{nL}\phi _{1}D_{1R},&{} \overline{B}_{L}\eta ^{*}D_{1R},&{} m_{B}\overline{B}_{L}B_{R},\\ \overline{D} _{1L}\chi ^{*}B_{R},&{} \overline{D}_{1L}\sigma d_{iR}, \\ \overline{l}_{iL}\phi _{2}E_{1R},&{} \overline{E}_{2L}\rho ^{*}E_{1R},&{} m_{E}\overline{E}_{2L}E_{2R},\\ \overline{E}_{1L}\rho E_{2R},&{} \overline{E}_{1L}Sl_{nR}, &{} n=1,2, \end{array} \end{aligned}$$
(6)

Here \(q_{iL}\), \(l_{iL}\) (\(i=1,2,3\)) are the \(SU\left( 2\right) \) left handed SM quark and lepton doublets, respectively, whereas \(u_{iR}\), \(d_{iR}\) and \( l_{iR}\) stand for the right SM up-type quarks, down type quarks, and right-handed leptons. Furthermore, the SM fermion sector has to be extended to include the exotic fermions: up type quarks U, T, down type quarks \( D_{1}\), \(D_{2}\), B, charged exotic leptons \(E_{1}\), \(E_{2}\), as well as the right-handed Majorana neutrinos \(\nu _{iR}\) (\(i=1,2,3\)), \(N_{iR}\), \(\Psi _{mR}\) and \(\Omega _{nR}^{C}\), in singlet representations under \(SU\left( 2\right) _{L}\), with appropriate \(U\left( 1\right) _{X}\) charges (to be specified below), which will allow the implementation of inverse seesaw mechanisms to explain the SM charged fermion mass hierarchy and the tiny values of the light active neutrino masses, respectively, in a way consistent with the cancellation of chiral anomalies. Up to this point, the first generation of SM charged fermions remain massless up to loop corrections. In order to generate the masses for the first generation of SM charged fermions, the one-loop level corrections to the SM charged fermion mass matrices should have different vertices used for generating the resulting tree-level mass matrices arising from the inverse seesaw. The most economical solution to this problem requires considering one-loop level corrections involving electrically charged scalars running in the internal lines of the loop. So we have to introduce extra electrically charged scalar singlets in the scalar spectrum, generating the following interactions.

$$\begin{aligned}&\overline{U}_{L}\zeta _{1}^{+}d_{iR},\overline{D}_{1L}\zeta _{1}^{-}u_{iR},\overline{N_{iR}^{C}}\zeta _{2}^{+}l_{nR},\nonumber \\&\quad i=1,2,3,n=1,2. \end{aligned}$$
(7)

Then, the up quark mass can be generated at one-loop level from the first four operators of the second line of Eq. (6), as well as from the \( \overline{D}_{1L}\zeta _{1}^{-}u_{iR}\) interaction. Similarly, one-loop diagrams which generate a mass for down quark, arise from the first four operators of the first line of Eq. (6), as well as from the \( \overline{U}_{L}\zeta _{1}^{+}d_{iR}\) interaction. In order to close the one-loop Feynman diagrams giving rise to the first generation SM charged fermions, the following scalar interactions are required:

$$\begin{aligned}&\varepsilon _{ab}\phi _{1}^{a}\phi _{2}^{b}\zeta _{3}^{-}\sigma ^{*}, \zeta _{1}^{+}\zeta _{3}^{-}S^{2},\quad \zeta _{2}^{+}\zeta _{3}^{-}\sigma ^{*}, \quad a,b=1,2. \end{aligned}$$
(8)

Moreover, the operators required for the implementation of the two loop level inverse seesaw mechanism that produces the tiny active neutrino masses are:

$$\begin{aligned}&\overline{l}_{iL}{\widetilde{\phi }}_{2}\nu _{jR},\nu _{iR}\sigma ^{*}\overline{N_{kR}^{C}},\overline{N} _{rR}\Psi _{mR}^{C}\varphi _{1},\nonumber \\&\overline{\Psi }_{nR}\varphi _{2}\Omega _{mR}^{C},\overline{\Omega }_{nR}\Omega _{mR}^{C}\eta ,i,j,k,r=1,2,3,\nonumber \\&n,m=1,2, \end{aligned}$$
(9)

It is worth mentioning that the first two operators of Eq. (9), together with the \(\overline{N_{iR}^{C}}\zeta _{2}^{+}l_{nR}\), \(\varepsilon _{mn}\phi _{1}^{m}\phi _{2}^{n}\zeta _{3}^{-}\sigma ^{*}\) and \(\zeta _{2}^{+}\zeta _{3}^{-}\sigma ^{*}\) interactions, are crucial for generating a nonvanishing one-loop level electron mass.

Implementing the above-described inverse seesaw mechanism requires to add a preserved \(Z_{2}\) symmetry, under which the right-handed Majorana neutrinos \( \Psi _{nR}\), the exotic down type quark fields \(D_{2L}\), \(D_{2R}\) and the gauge scalar singlets \(\varphi _{1}\) and \(\varphi _{2}\) are charged, whereas the remaining fields are neutral. Additionally, we have extended the scalar sector of our 2HDM theory by including the electrically neutral gauge singlet scalars \(\sigma \), \(\chi \), \(\eta \), \(\rho \), S, \(\varphi _{1}\), \( \varphi _{2}\), as well as the electrically charged gauge singlet scalars \( \zeta _{1}^{+}\), \(\zeta _{2}^{+}\) and \(\zeta _{3}^{+}\). Notice that the electrically neutral gauge singlet scalars \(\sigma \) and S are needed to generate mixings between the right-handed SM charged fermions and left-handed heavy fermionic fields. On the other hand, the singlet scalars \( \chi \), \(\eta \), and \(\rho \) generate mixings between the heavy charged exotic fermionic fields. Those mixings are crucial for implementing a tree-level universal seesaw mechanism that produces the masses for the second generation of SM charged fermions. As mentioned earlier, we will be able to implement seesaw mechanisms useful for explaining the SM fermion mass hierarchy by suitable charge assignments, specified below. Due to those mentioned above exotic charged fermion spectrum, the SM charged fermion mass matrices would feature a proportionality between rows and columns, thus implying that the first generation SM charged fermions would be massless at tree level. The one-loop level corrections to these matrices involving different vertices that the ones used to implement the tree level universal seesaw will break such proportionality, thus giving rise to one-loop level masses for the up and down quarks, as well as for the electron. In order for this to happen, the electrically charged scalar fields \(\zeta _{1}^{+}\), \( \zeta _{2}^{+}\) and \(\zeta _{3}^{+}\) have to be introduced in the scalar spectrum. Furthermore, the inert electrically neutral scalar singlets \( \varphi _{1}\) and \(\varphi _{2}\) are needed to generate the Majorana \(\mu \) term at the two-loop level. Thus, such scalar and exotic charged fermion spectrum is the minimal required so that no massless charged SM-fermions would appear in the model, provided that one loop level corrections are taken into account. Furthermore, as mentioned earlier, exotic neutral lepton content is the minimal one required to generate the masses for two active light neutrinos, as required from the neutrino oscillation experimental data.

Table 1 Scalar assignments under \(SU\left( 3\right) _{C}\times SU\left( 2\right) _{L}\times U\left( 1\right) _{Y}\times U\left( 1\right) _{X}\times Z_{2}\times Z_{4}\)
Table 2 Quark assignments under \(SU\left( 3\right) _{C}\times SU\left( 2\right) _{L}\times U\left( 1\right) _{Y}\times U\left( 1\right) _{X}\times Z_{2}\times Z_{4}\). Here \(i=1,2,3\)
Table 3 Lepton assignments under \(SU\left( 3\right) _{C}\times SU\left( 2\right) _{L}\times U\left( 1\right) _{Y}\times U\left( 1\right) _{X}\times Z_{2}\times Z_{4}\). Here \(i=1,2,3\) and \(n=1,2\)
Fig. 1
figure 1

Feynman diagrams contributing to the entries of the SM charged fermion mass matrices. Here, \(n=1,2\) and \(i,j=1,2,3\)

Our proposed model corresponds to an extension of a 2HDM based on the \( SU\left( 3\right) _{C}\times SU\left( 2\right) _{L}\times U\left( 1\right) _{Y}\times U\left( 1\right) _{X}\) gauge symmetry, supplemented by the \( Z_{2}\times Z_{4}\) discrete group. The \(SU\left( 2\right) _{L}\times U\left( 1\right) _{Y}\times U\left( 1\right) _{X}\) gauge symmetry, as well as the \( Z_{4}\) discrete symmetry, are spontaneously broken, whereas the \(Z_{2}\) symmetry is preserved, which allows the implementation of a two loop level inverse seesaw mechanism to produce the tiny active neutrino masses. The scalar sector of our extended 2HDM model is composed of two Higgs doublets (having different \(U\left( 1\right) _{X}\) and \(Z_{4}\) charges) plus several electrically neutral gauge singlet scalars. In our model one Higgs doublet, i.e., \(\phi _{1}\), provides a tree level mass to the top quark, whereas the other one, i.e., \(\phi _{2}\), generates tree level masses for the bottom quark and tau lepton. The second and first families of SM charged fermions get their masses from tree and one loop level inverse seesaw mechanisms, respectively. The tiny active neutrino masses arise from a two loop level inverse seesaw mechanism. The scalar, quark and lepton content with their assignments under the \(SU(3)_{C}\times SU(2)_{L}\times U(1)_{Y}\times U\left( 1\right) \) group are shown in Tables 1, 2 and 3, respectively.

With the particle content previously specified, we have the following relevant Yukawa terms invariant under the symmetries of the model:

$$\begin{aligned} -\mathcal {L}_{Y}^{\left( q\right) }= & {} \sum _{i=1}^{3}y_{i}^{\left( u\right) } \overline{q}_{3L}{\widetilde{\phi }}_{1}u_{iR}+\sum _{i=1}^{3}y_{i}^{\left( d\right) }\overline{q}_{3L}\phi _{2}d_{iR}\nonumber \\&+\sum _{n=1}^{2}x_{n}^{\left( U\right) }\overline{q}_{nL}{\widetilde{\phi }}_{2}U_{R}+\sum _{n=1}^{2}x_{n}^{ \left( D\right) }\overline{q}_{nL}\phi _{1}D_{1R} \nonumber \\&+z_{D}\overline{D}_{2L}\sigma D_{2R}+\sum _{i=1}^{3}x_{i}^{\left( u\right) } \overline{U}_{L}\sigma ^{*}u_{iR}\nonumber \\&+z_{T}\overline{U}_{L}\chi T_{R}+z_{U} \overline{T}_{L}\eta U_{R}+m_{T}\overline{T}_{L}T_{R} \nonumber \\&+\sum _{i=1}^{3}x_{i}^{\left( d\right) }\overline{D}_{1L}\sigma d_{iR}+z_{B} \overline{D}_{1L}\chi ^{*}B_{R}+z_{D}\overline{B}_{L}\eta ^{*}D_{1R}\nonumber \\&+m_{B}\overline{B}_{L}B_{R} \nonumber \\&+\sum _{i=1}^{3}w_{i}^{\left( u\right) }\overline{D}_{1L}\zeta _{1}^{-}u_{iR}+\sum _{i=1}^{3}w_{i}^{\left( d\right) }\overline{U}_{L}\zeta _{1}^{+}d_{iR}+H.c, \end{aligned}$$
(10)
$$\begin{aligned}&-\mathcal {L}_{Y}^{\left( l\right) } =\sum _{i=1}^{3}y_{i}^{\left( l\right) } \overline{l}_{iL}\phi _{2}l_{3R}+\sum _{i=1}^{3}y_{i}^{\left( E\right) } \overline{l}_{iL}\phi _{2}E_{1R}\nonumber \\&+\sum _{n=1}^{2}x_{n}^{\left( l\right) } \overline{E}_{1L}Sl_{nR}+y_{E}\overline{E}_{1L}\rho E_{2R}\nonumber \\&+x_{E}\overline{E} _{2L}\rho ^{*}E_{1R}+m_{E}\overline{E}_{2L}E_{2R} \nonumber \\&+\sum _{i=1}^{3}\sum _{j=1}^{3}y_{ij}^{\left( \nu \right) }\overline{l}_{iL} {\widetilde{\phi }}_{2}\nu _{jR}+\sum _{i=1}^{3}\sum _{n=1}^{2}z_{in}^{\left( l\right) }\overline{N_{iR}^{C}}\zeta _{2}^{+}l_{nR}\nonumber \\&+\sum _{i=1}^{3}\sum _{j=1}^{3}y_{ij}^{\left( N\right) }\nu _{iR}\sigma ^{*}\overline{N_{jR}^{C}}+\sum _{i=1}^{3}\sum _{n=1}^{2}\left( x_{N}\right) _{in}\overline{N}_{iR}\Psi _{nR}^{C}\varphi _{1} \nonumber \\&+\sum _{n=1}^{2}\sum _{m=1}^{2}\left( x_{\Psi }\right) _{nm}\overline{\Psi } _{nR}\varphi _{2}\Omega _{mR}^{C}\nonumber \\&+\sum _{n=1}^{2}\sum _{m=1}^{2}\left( y_{\Omega }\right) _{nm}\overline{\Omega }_{nR}\Omega _{mR}^{C}\eta +h.c \end{aligned}$$
(11)
Fig. 2
figure 2

Two-loop Feynman diagram contributing to the Majorana neutrino mass submatrix \(\mu \). Here \(n,k,l,r=1,2\), \(s,p=1,2,3\), \(a,b,c=R,I\), with \(\varphi _{nR}\) and \(\varphi _{nI}\) corresponding to the CP even and CP odd parts of the scalar field \(\varphi _{n}\), respectively

3 Fermion mass matrices

From the charged fermion Yukawa terms we find that the up and down type quark mass matrices in the basis \((\overline{u}_{1L}, \overline{u}_{2L},\overline{u}_{3L},\overline{U}_{L},\overline{T}_{L})\)-\( (u_{1R},u_{2R}, u_{3R},U_{R},T_{R})\) and \((\overline{d}_{1L},\overline{d} _{2L},\overline{d}_{3L},\overline{D}_{1L},\overline{B}_{L})\)-\( (d_{1R},d_{2R},d_{3R},D_{1R},B_{R})\) are respectively given by:

$$\begin{aligned}&M_{U} =\left( \begin{array}{ccc} C_{U}+\Delta _{U} &{} F_{U} &{} 0_{3\times 1} \\ G_{U}^{T} &{} 0 &{} X_{U} \\ 0_{1\times 3} &{} Y_{U} &{} m_{T} \end{array} \right) ,\left( F_{U}\right) _{3}=0,\nonumber \\&\quad \left( F_{U}\right) _{n}=x_{n}^{\left( U\right) }\frac{v_{2}}{ \sqrt{2}},\left( G_{U}^{T}\right) _{i}=x_{i}^{\left( u\right) } \frac{v_{\sigma }}{\sqrt{2}}, \nonumber \\&C_{U} =\left( \begin{array}{ccc} 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \\ y_{1}^{\left( u\right) } &{} y_{2}^{\left( u\right) } &{} y_{3}^{\left( u\right) } \end{array} \right) \frac{v_{1}}{\sqrt{2}},X_{U}=z_{T}\frac{ v_{\chi }}{\sqrt{2}},\nonumber \\&\quad Y_{U}=z_{U}\frac{v_{\eta }}{ \sqrt{2}},i=1,2,3, n=1,2, \end{aligned}$$
(12)
$$\begin{aligned}&M_{D} =\left( \begin{array}{ccc} C_{D}+\Delta _{D} &{} F_{D} &{} 0_{3\times 1} \\ G_{D}^{T} &{} 0 &{} X_{D} \\ 0_{1\times 3} &{} Y_{D} &{} m_{D} \end{array} \right) ,\left( F_{D}\right) _{3}=0,\nonumber \\&\quad \left( F_{D}\right) _{n}=x_{n}^{\left( D\right) }\frac{v_{1}}{ \sqrt{2}},\left( G_{D}^{T}\right) _{i}=x_{i}^{\left( d\right) } \frac{v_{\sigma }}{\sqrt{2}}, \nonumber \\&C_{D} =\left( \begin{array}{ccc} 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \\ y_{1}^{\left( d\right) } &{} y_{2}^{\left( d\right) } &{} y_{3}^{\left( d\right) } \end{array} \right) \frac{v_{2}}{\sqrt{2}},X_{D}=z_{B}\frac{ v_{\chi }}{\sqrt{2}},\nonumber \\&\quad Y_{D}=z_{D}\frac{v_{\eta }}{ \sqrt{2}},i=1,2,3, n=1,2, \end{aligned}$$
(13)

Furthermore, notice that due to the \(Z_{2}\) symmetry, the exotic \(D_{2}\) down type quark does not mix with the remaining down type quarks. This exotic \(D_{2}\) quark gets a tree level mass equal to \(z_{D}\frac{v_{\sigma } }{\sqrt{2}}\) , which is at the \(v_{\sigma }\) scale. Furthermore, the charged lepton mass matrix, written in the basis \((\overline{l}_{1L},\overline{l} _{2L},\overline{l}_{3L},\overline{E}_{1L},\overline{E}_{2L})\) versus \( (l_{1R},l_{2R},l_{3R},E_{1R},E_{2R})\), takes the form:

$$\begin{aligned}&M_{E} =\left( \begin{array}{ccc} C_{E}+\Delta _{E} &{} F_{E} &{} 0_{3\times 1} \\ G_{E}^{T} &{} 0 &{} X_{E} \\ 0_{1\times 3} &{} Y_{E} &{} m_{E} \end{array} \right) ,\left( F_{E}\right) _{i}=y_{i}^{\left( E\right) }\frac{v_{2}}{\sqrt{2}},\nonumber \\&\quad \left( G_{E}^{T}\right) _{n}=x_{n}^{\left( l\right) }\frac{v_{S}}{\sqrt{2}},\left( G_{E}^{T}\right) _{3}=0, \nonumber \\&C_{E} =\left( \begin{array}{ccc} 0 &{} 0 &{} y_{1}^{\left( l\right) } \\ 0 &{} 0 &{} y_{2}^{\left( l\right) } \\ 0 &{} 0 &{} y_{3}^{\left( l\right) } \end{array} \right) \frac{v_{2}}{\sqrt{2}},X_{E}=y_{E}\frac{ v_{\rho }}{\sqrt{2}},\nonumber \\&\quad Y_{E}=x_{E}\frac{v_{\rho }}{ \sqrt{2}},i=1,2,3, n=1,2, \end{aligned}$$
(14)

Here we assume that the entries of the charged fermion mass matrices fulfill the hierarchy:

$$\begin{aligned}&m_{T},m_{D}<\quad<<\left( F_{Q}\right) _{n},\left( G_{Q}^{T}\right) _{i}<X_{Q}\sim Y_{Q}\sim \mathcal {O}(\text {TeV}),\nonumber \\&\quad Q=U,D,\nonumber \\&\quad m_{E}<\quad<<\left( F_{E}\right) _{i},\left( G_{E}^{T}\right) _{n}<X_{E}\sim Y_{E}\sim \mathcal {O}(\text {TeV}),\nonumber \\&\quad i=1,2,3, n=1,2. \end{aligned}$$
(15)

where \(\Delta _{U}\), \(\Delta _{D}\) and \(\Delta _{E}\) correspond to the one-loop level corrections to the SM charged fermion mass matrices. The one-loop level Feynman diagrams, generating the \(\Delta _{U}\), \(\Delta _{D}\) and \(\Delta _{E}\) submatrices, are shown in Fig. 1.

The hierarchy, as mentioned above, allows for the implementation of the inverse seesaw mechanisms at the tree and one-loop level to generate the masses of the second and first families of SM charged fermions, respectively. Thus, the resulting SM charged fermion mass matrices are given by:

$$\begin{aligned} \widetilde{M}_{U}= & {} C_{U}+\frac{m_{T}}{X_{U}Y_{U}}F_{U}G_{U}^{T}+\Delta _{U}, \end{aligned}$$
(16)
$$\begin{aligned} \widetilde{M}_{D}= & {} C_{D}+\frac{m_{D}}{X_{D}Y_{D}}F_{D}G_{D}^{T}+\Delta _{D}, \end{aligned}$$
(17)
$$\begin{aligned} \widetilde{M}_{E}= & {} C_{E}+\frac{m_{E}}{X_{E}Y_{E}}F_{E}G_{E}^{T}+\Delta _{E}. \end{aligned}$$
(18)

where the second and third terms of Eqs. (16), (17) and (18 ) correspond to the tree and one-loop levels, which contribute to the SM charged fermion mass matrices arising from the inverse seesaw mechanism. The first term in Eqs. (16), (17) and (18) corresponds to the dominant contribution to these matrices, arising from the renormalizable Yukawa interactions involving the \(SU\left( 2\right) \) scalar doublets \( H_{1} \) (for the up type quark sector) and \(H_{2}\) (for the down type quark and charged lepton sector), which generate the masses for the third family of SM charged fermions. Furthermore, the resulting physical charged exotic fermion mass spectrum is composed of two nearly degenerate heavy charged fermions with masses at the \(\mathcal {O}(\)TeV) scale and a small mass splitting of the order of \(m_{F}\) (\(F=U,D,E\)). The subGeV mass scale of the second family of SM charged fermions, arising from a tree-level inverse seesaw mechanism, can naturally be explained by considering \(\left( F_{Q}\right) _{n}\left( G_{Q}^{T}\right) _{i}\sim \left( F_{E}\right) _{i}\left( G_{E}^{T}\right) _{n}\sim \mathcal {O}(10^{-2}\)TeV\(^{2})\), \( m_{F}\sim \mathcal {O}(10^{-1}\)GeV) . Therefore, the inverse seesaw mechanism presented here can naturally explain the SM fermion mass hierarchy (Fig. 2).

The one loop level contributions to the SM charged fermion mass matrices are given by:

$$\begin{aligned}&\Delta _{U} =\frac{m_{\widetilde{T}}}{16\pi ^{2}}\sum _{i=1}^{3}\left( \begin{array}{ccc} r_{1i}^{\left( T\right) }w_{1i}^{\left( T\right) } &{} r_{1i}^{\left( T\right) }w_{2i}^{\left( T\right) } &{} r_{1i}^{\left( T\right) }w_{3i}^{\left( T\right) } \\ r_{2i}^{\left( T\right) }w_{1i}^{\left( T\right) } &{} r_{2i}^{\left( T\right) }w_{2i}^{\left( T\right) } &{} r_{2i}^{\left( T\right) }w_{3i}^{\left( T\right) } \\ 0 &{} 0 &{} 0 \end{array} \right) \nonumber \\&\quad \frac{m_{H_{i}^{\pm }}^{2}}{m_{H_{i}^{\pm }}^{2}-m_{\widetilde{T} }^{2}}\ln \left( \frac{m_{H_{i}^{\pm }}^{2}}{m_{\widetilde{T}}^{2}}\right) , \end{aligned}$$
(19)
$$\begin{aligned}&\Delta _{D} =\frac{m_{\widetilde{B}}}{16\pi ^{2}}\sum _{i=1}^{3}\left( \begin{array}{ccc} r_{1i}^{\left( B\right) }w_{1i}^{\left( B\right) } &{} r_{1i}^{\left( B\right) }w_{2i}^{\left( B\right) } &{} r_{1i}^{\left( B\right) }w_{3i}^{\left( B\right) } \\ r_{2i}^{\left( B\right) }w_{1i}^{\left( B\right) } &{} r_{2i}^{\left( B\right) }w_{2i}^{\left( B\right) } &{} r_{2i}^{\left( B\right) }w_{3i}^{\left( B\right) } \\ 0 &{} 0 &{} 0 \end{array} \right) \nonumber \\&\quad \frac{m_{H_{i}^{\pm }}^{2}}{m_{H_{i}^{\pm }}^{2}-m_{\widetilde{B} }^{2}}\ln \left( \frac{m_{H_{i}^{\pm }}^{2}}{m_{\widetilde{B}}^{2}}\right) , \end{aligned}$$
(20)
$$\begin{aligned}&\Delta _{E} =\frac{m_{\widetilde{E}}}{16\pi ^{2}}\sum _{i=1}^{3}\left( \begin{array}{ccc} r_{1i}^{\left( E\right) }w_{1i}^{\left( E\right) } &{} r_{1i}^{\left( E\right) }w_{2i}^{\left( E\right) } &{} r_{1i}^{\left( E\right) }w_{3i}^{\left( E\right) } \\ r_{2i}^{\left( E\right) }w_{1i}^{\left( E\right) } &{} r_{2i}^{\left( E\right) }w_{2i}^{\left( E\right) } &{} r_{2i}^{\left( E\right) }w_{3i}^{\left( E\right) } \\ 0 &{} 0 &{} 0 \end{array} \right) \nonumber \\&\quad \frac{m_{H_{i}^{\pm }}^{2}}{m_{H_{i}^{\pm }}^{2}-m_{\widetilde{E} }^{2}}\ln \left( \frac{m_{H_{i}^{\pm }}^{2}}{m_{\widetilde{E}}^{2}}\right) , \end{aligned}$$
(21)

The experimental values of the SM quark masses [167, 168] and Cabbibo–Kobayashi–Maskawa (CKM) parameters are:

$$\begin{aligned}&m_{u}(\mathrm{{MeV}})=1.24\pm 0.22,\quad m_{d}(\mathrm{{MeV}})=2.69\pm 0.19,\nonumber \\& m_{s}(\mathrm{{MeV}})=53.5\pm 4.6, \quad m_{c}(\mathrm{{GeV}})=0.63\pm 0.02,\quad \nonumber \\& m_{t}(\mathrm{{GeV}})=172.9\pm 0.4, \quad m_{b}(\mathrm{{GeV}})=2.86\pm 0.03,\quad \nonumber \\& \sin \theta _{12}=0.2245\pm 0.00044,\quad \sin \theta _{23}=0.0421\pm 0.00076,\nonumber \\& \sin \theta _{13}=0.00365\pm 0.00012, \nonumber \\& J=\left( 3.18\pm 0.15\right) \times 10^{-5}, \end{aligned}$$
(22)

which can be well reproduced for the following benchmark point:

$$\begin{aligned}&m_{H_{j}^{\pm }} =m_{H^{\pm }}=1.5\,\text{ TeV },\quad v_{1}\simeq 244.2 \,\text{ GeV },\nonumber \\& v_{2}\simeq 30\,\text{ GeV },\nonumber \\& v_{\sigma }\simeq 6\,\text{ TeV },\quad v_{\eta }=v_{\chi }\simeq 5\,\text{ TeV }, \nonumber \\& m_{\widetilde{T}} \simeq 1.7\,\text{ TeV },\quad m_{\widetilde{B}}\simeq 1.3 \,\text{ TeV },\nonumber \\& m_{T}\simeq 9.7\,\text{ GeV },\quad m_{D }=1.6\,\text{ GeV },\quad j=1,2,3, \nonumber \\& y_{1}^{\left( u\right) } \simeq 0.585,y_{2}^{\left( u\right) }\simeq 0.717,\nonumber \\& y_{3}^{\left( u\right) }\simeq -0.368, y_{1}^{\left( d\right) }\simeq 0.0713,\nonumber \\& y_{2}^{\left( d\right) }\simeq 0.060,y_{3}^{\left( d\right) }\simeq -0.067 \nonumber \\& x_{1}^{\left( U\right) } \simeq -4.566-1.209i,x_{2}^{\left( U\right) }\simeq -1.177+4.256i,\nonumber \\& x_{1}^{\left( D\right) }\simeq -0.732-0.005i,x_{2}^{\left( D\right) }\simeq 0.292+0.883i,\nonumber \\& x_{1}^{\left( u\right) } \simeq -0.238,\quad x_{2}^{\left( u\right) }\simeq 0.141,\nonumber \\& x_{3}^{\left( u\right) }\simeq -0.114,\quad z_{T}=z_{U}\simeq -0.481,\nonumber \\& z_{D}=z_{B}\simeq -0.441,\nonumber \\& x_{1}^{\left( d\right) } \simeq -0.038-0.158i,\quad x_{2}^{\left( d\right) }\simeq -0.037-0.035i,\nonumber \\& x_{3}^{\left( d\right) }\simeq 0.040+0.145i,\quad \nonumber \\& r_{1j}^{\left( T\right) } \simeq 0.139,\quad r_{2j}^{\left( T\right) }\simeq 0.087,\nonumber \\& r_{1j}^{\left( B\right) }\simeq 0.009-0.038i, \quad r_{2i}^{\left( B\right) }\simeq 0.083+0.081i,\nonumber \\& w_{3i}^{\left( B\right) }\simeq 0.012 \nonumber \\& w_{1j}^{\left( T\right) } \simeq 0.011,\quad w_{2j}^{\left( T\right) }\simeq -0.014,\nonumber \\& w_{3j}^{\left( T\right) }\simeq 0.009,\quad w_{1i}^{\left( B\right) }\simeq -0.009,\nonumber \\& w_{2i}^{\left( B\right) }\simeq -0.013, \end{aligned}$$
(23)

Thus, the proposed model can numerically reproduce the existing pattern of the observed quark spectrum. Furthermore, in the benchmark point shown in Eq. (23), the exotic up and down type quark masses are close to about 1.7  TeV and 1.6  TeV, respectively, which are values larger than the ATLAS exclusion limits of 1.6  TeV and 1.42  TeV [169]. Besides that, in the simplified benchmark scenario considered above, the electrically charged scalars are assumed to be degenerate, and their masses are set to be equal to 1.5  TeV, a value that exceeds the upper limit of [80, 160]  GeV arising from collider searches [170, 171].

On the other hand, from the neutrino Yukawa interactions and considering \( \Omega _{nR}\) (\(n=1,2\)) as physical neutral leptonic fields, we find the following neutrino mass terms:

$$\begin{aligned}&-\mathcal {L}_{mass}^{\left( \nu \right) }=\frac{1}{2}\left( \begin{array}{ccc} \overline{\nu _{L}^{C}}&\overline{\nu _{R}}&\overline{N_{R}} \end{array} \right) M_{\nu }\left( \nu _{L} \nu _{R}^{C} N_{R}^{C} \right) ^T \nonumber \\&\quad +\sum _{n=1}^{2}\left( m_{\Omega }\right) _{n}\overline{ \Omega }_{nR}\Omega _{nR}^{C}+H.c, \end{aligned}$$
(24)

where \(\left( m_{\Omega }\right) _{n}=\left( y_{\Omega }\right) _{n}\frac{ v_{\eta }}{\sqrt{2}}\) (\(n=1,2\)) and the neutrino mass matrix reads:

$$\begin{aligned} M_{\nu }=\left( \begin{array}{ccc} 0_{3\times 3} &{} m_{\nu D} &{} 0_{3\times 3} \\ m_{\nu D}^{T} &{} 0_{3\times 3} &{} M \\ 0_{3\times 3} &{} M^{T} &{} \mu \end{array} \right) , \end{aligned}$$
(25)

and the submatrices are:

$$\begin{aligned}&\left( m_{\nu D}\right) _{ij} =y_{ij}^{\left( \nu \right) }\frac{v_{2}}{ \sqrt{2}},M_{ij}=y_{ij}^{\left( N\right) }\frac{ v_{\sigma }}{\sqrt{2}},\nonumber \\&\quad i,j,s,p=1,2,3,n,k,r=1,2, \end{aligned}$$
(26)
$$\begin{aligned}&\mu _{sp}=\sum _{k=1}^{2}\frac{\left( x_{N}\right) _{sn}\left( x_{\Psi }^{*}\right) _{nk}\left( x_{\Psi }^{\dag }\right) _{kr}\left( x_{N}^{T}\right) _{rp}m_{\Omega _{k}}}{4(4\pi )^{4}}\int _{0}^{1}d\alpha \int _{0}^{1-\alpha }\\&\quad d\beta \frac{1}{\alpha (1-\alpha )}\Biggl [I\left( m_{\Omega _{k}}^{2},m_{RR}^{2},m_{RI}^{2}\right) -I\left( m_{\Omega _{k}}^{2},m_{IR}^{2},m_{II}^{2}\right) \Biggr ], \end{aligned}$$

with the loop integral given by [172]:

$$\begin{aligned}&I(m_{1}^{2},m_{2}^{2},m_{3}^{2})\!\!\! \nonumber \\&\quad =\!\!\!\frac{m_{1}^{2}m_{2}^{2}\log \left( \displaystyle \frac{m_{2}^{2}}{m_{1}^{2}}\right) +m_{2}^{2}m_{3}^{2}\log \left( \displaystyle \frac{m_{3}^{2}}{m_{2}^{2}} \right) +m_{3}^{2}m_{1}^{2}\log \left( \displaystyle \frac{m_{1}^{2}}{ m_{3}^{2}}\right) }{(m_{1}^{2}-m_{2}^{2})(m_{1}^{2}-m_{3}^{2})}, \nonumber \\&m_{ab}^{2}\!\!\! \nonumber \\&\quad =\!\!\!\frac{\beta m_{\left( \varphi _{1}\right) _{a}}^{2}+\alpha m_{\left( \varphi _{2}\right) _{b}}^{2}}{\alpha (1-\alpha )} \quad (a,b=R:\mathrm {or}:I), \end{aligned}$$
(27)

The active light neutrino masses are generated from an inverse seesaw mechanism at the two-loop level, and the physical neutrino mass matrices are given by:

$$\begin{aligned}&\widetilde{M}_{\nu } =m_{\nu D}\left( M^{T}\right) ^{-1}\mu M^{-1}m_{\nu D}^{T}, \end{aligned}$$
(28)
$$\begin{aligned}&M_{\nu }^{\left( -\right) } =-\frac{1}{2}\left( M+M^{T}\right) +\frac{1}{2} \mu , \end{aligned}$$
(29)
$$\begin{aligned}&M_{\nu }^{\left( +\right) } =\frac{1}{2}\left( M+M^{T}\right) +\frac{1}{2} \mu . \end{aligned}$$
(30)

where \(\widetilde{M}_{\nu }\) is the mass matrix for the active light neutrinos (\(\nu _{a}\)), whereas \(M_{\nu }^{(-)}\) and \(M_{\nu }^{(+)}\) are the mass matrices for sterile neutrinos. In the limit \(\mu \rightarrow 0\), which corresponds to unbroken lepton number, the active light neutrinos become massless. The smallness of the \(\mu \) parameter yields a small mass splitting for the two pairs of sterile neutrinos, thus implying that the sterile neutrinos form pseudo-Dirac pairs.

4 Muon and electron anomalous magnetic moments

The experimental data shows that the muon and electron anomalous magnetic moments deviate significantly from their SM values

$$\begin{aligned}&\Delta a_{\mu } =a_{\mu }^{\mathrm {exp}}-a_{\mu }^{\mathrm {SM}}=\left( 2.51\pm 0.59\right) \times 10^{-9}\nonumber \\&\quad [57, 166, 173-178] \end{aligned}$$
(31)
$$\begin{aligned}&\Delta a_{e} =a_{e}^{\mathrm {exp}}-a_{e}^{\mathrm {SM}}=(-0.88\pm 0.36)\times 10^{-12}\quad [179],\nonumber \\&\quad (4.8\pm 3.0)\times 10^{-13}[180] \end{aligned}$$
(32)

where the above given value of \(a_{\mu }^{\mathrm {exp}}\) is a combined result of the BNL E821 experiment [181] and the recently announced FNAL Muon g-2 measurement [166], showing the 4.2\( \sigma \) tension between the SM and experiment. The last positive value for \( \Delta a_{e}\) corresponds to the recently published new measurement of the fine-structure constant, with an accuracy of 81 parts per trillion [180]. In this section, we will analyze the implications of our model in the muon and electron anomalous magnetic moments.

Muon and electron anomalous magnetic moments receive contributions from one-loop diagrams involving the exchange of electrically neutral CP even and CP odd scalars and charged exotic leptons as well as electrically charged scalars and sterile neutrinos running in the internal lines of the loop. To simplify our analysis, we will consider a simplified benchmark scenario close to the alignment limit, where \(\phi _{2R}^{0}\) (\(\phi _{2I}^{0}\)) and \(S_{R}\) (\(S_{I}\)) are mainly composed of two orthogonal combinations involving two heavy CP even (odd) \(H_{1}\) (\(A_{1}\)), \(H_{2}\) (\(A_{2}\)) physical scalar fields. We consider the alignment limit in which the 125 GeV SM like Higgs boson is mainly composed of the CP even neutral part of the SU(2) scalar doublet \(\phi _1\). This component does not appear in the neutral scalar contribution to the muon and electron anomalous magnetic moment shown in Eq. (33). Thus, in the chosen benchmark scenario, the couplings of the 125 GeV SM like Higgs boson are very close to the SM expectation, which is consistent with the experimental data [168]. Then, the leading contributions to the muon and electron anomalous magnetic moments take the form:

$$\begin{aligned} \Delta a_{e,\mu }\simeq & {} \frac{\mathrm{{Re}}\left( \alpha _{e,\mu }\beta _{e,\mu }^{*}\right) m_{e,\mu }^{2}}{8\pi ^{2}}\nonumber \\&\times \left[ I_{S}^{(e,\mu )}\left( m_{\widetilde{E}},m_{H_{1}}\right) -I_{S}^{(e,\mu )}\left( m_{ \widetilde{E}},m_{H_{2}}\right) \right. \nonumber \\&\left. +I_{P}^{(e,\mu )}\left( m_{\widetilde{E} },m_{A_{1}}\right) -I_{P}^{(e,\mu )}\left( m_{\widetilde{E} },m_{A_{2}}\right) \right] \nonumber \\&\times \sin \theta \cos \theta \nonumber \\&+\frac{1}{8\pi ^{2}}\sum _{i=1}^{3}\sum _{j=1}^{3}\frac{\mathrm{{Re}}\left[ \kappa _{e,\mu }^{\left( ij\right) }\left( \gamma _{e,\mu }^{\left( ij\right) }\right) ^{*}\right] m_{e,\mu }m_{\widetilde{N}_{j}}}{ m_{H_{i}^{\pm }}^{2}}\nonumber \\&\times G_{2}\left( \frac{m_{\widetilde{N}_{j}}^{2}}{ m_{H_{i}^{\pm }}^{2}}\right) , \end{aligned}$$
(33)

where \(H_{1}\simeq \cos \theta _{S}S_{R}+\sin \theta _{S}\phi _{2R}^{0}\), \( H_{2}\simeq -\sin \theta _{S}S_{R}+\cos \theta _{S}\phi _{2R}^{0}\), \( A_{1}\simeq \cos \theta _{P}S_{I}+\sin \theta _{P}\phi _{2I}^{0}\), \( A_{2}\simeq -\sin \theta _{P}S_{I}+\cos \theta _{P}\phi _{2I}^{0}\), and for the sake of simplicity we have set \(\theta _{S}=\theta _{P}\) and \(m_{ \widetilde{E}}\) is the mass of the nearly degenerate physical charged exotic leptons. Besides that, \(m_{\phi _{i}^{\pm }}\) and \(m_{\widetilde{N}_{j}}\) (\( i,j=1,2,3\)) are the masses of the physical electrically charged scalars and \(Z_{2}\) even sterile neutrinos, respectively. Furthermore, the \(I_{S\left( P\right) }\left( m_{\widetilde{E}},m\right) \) and \(G_{2}\left( r\right) \) loop functions have the form: [182,183,184,185,186]:

$$\begin{aligned}&I_{S\left( P\right) }^{\left( e,\mu \right) }\left( m_{\widetilde{E} },m_{S}\right) \nonumber \\&\quad =\int _{0}^{1}\frac{x^{2}\left( 1-x\pm \frac{m_{\widetilde{E}} }{m_{e,\mu }}\right) }{m_{\mu }^{2}x^{2}+\left( m_{\widetilde{E} }^{2}-m_{e,\mu }^{2}\right) x+m_{S,P}^{2}\left( 1-x\right) }dx,\nonumber \\&\quad G_{2}\left( r\right) =\frac{-1+r^{2}-2r\ln r}{\left( r-1\right) ^{3}} \end{aligned}$$
(34)

Requiring that the muon and electron anomalous magnetic moments acquire values in the ranges shown in Eqs. (31) and (32), respectively, we display in Fig. 3 the correlation between the masses of the scalars \(H_{1}\) and \(H_{2}\) consistent with the experimental data on \(\left( g-2\right) _{e,\mu }\). These masses have been taken to range from 1 TeV up to 2 TeV. In contrast, the electrically charged scalar masses are varied from 0.5 TeV up to 1.5 TeV, and the CP odd scalar masses have been set to be equal to 1 TeV. Furthermore, the masses for the heavy vector-like leptons have been varied from 2 TeV up to 3 TeV, a range of values more extensive than the expected reach of 600 GeV for the High Luminosity Large Hadron Collider (HL-LHC). The above values for the scalar masses are consistent with constraints arising from collider searches [168], and accommodate a nearly degenerate spectrum of heavy scalar masses which is favored by electroweak precision tests [187]. Figure 3 shows that our model is consistent with the experimental values of the muon and electron anomalous magnetic moments.

Fig. 3
figure 3

Correlation between the masses of the scalars \(H_{1}\) and \(H_{2}\) consistent with the muon and electron anomalous magnetic moments

5 Meson oscillations

In this section, we analyze the consequences of our proposed theory in the \(K^{0}-\bar{K}^{0}\), \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \( B_{s}^{0}-\bar{B}_{s}^{0}\) meson oscillations. These meson oscillations are caused by flavour violating down type quark interactions mediated by the tree level exchange of electrically neutral CP even and CP odd scalars as well as by the tree level \(Z^{\prime }\) exchange. The \(K^{0}-\bar{K}^{0}\), \( B_{d}^{0}-\bar{B}_{d}^{0}\) and \(B_{s}^{0}-\bar{B}_{s}^{0}\) meson oscillations are described by the following effective Hamiltonians:

$$\begin{aligned} \mathcal {H}_{eff}^{\left( K\right) }= & {} \sum _{j=1}^{3}c_{j}^{\left( K\right) }\left( \mu \right) \mathcal {O}_{j}^{\left( K\right) }\left( \mu \right) \nonumber \\&+\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}}\left| \left( V_{DL}^{*}\right) _{32}\left( V_{DL}\right) _{31}\right| ^{2} \mathcal {O}_{4}^{\left( K\right) }, \end{aligned}$$
(35)
$$\begin{aligned} \mathcal {H}_{eff}^{\left( B_{d}\right) }= & {} \sum _{j=1}^{3}c_{j}^{ \left( B_{d}\right) }\left( \mu \right) \mathcal {O}_{j}^{\left( B_{d}\right) }\left( \mu \right) \nonumber \\&+\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}}\left| \left( V_{DL}^{*}\right) _{31}\left( V_{DL}\right) _{33}\right| ^{2} \mathcal {O}_{4}^{\left( B_{d}\right) }, \end{aligned}$$
(36)
$$\begin{aligned} \mathcal {H}_{eff}^{\left( B_{s}\right) }= & {} \sum _{j=1}^{3}c_{j}^{ \left( B_{s}\right) }\left( \mu \right) \mathcal {O}_{j}^{\left( B_{s}\right) }\left( \mu \right) \nonumber \\&+\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}}\left| \left( V_{DL}^{*}\right) _{32}\left( V_{DL}\right) _{33}\right| ^{2} \mathcal {O}_{4}^{\left( B_{s}\right) }, \end{aligned}$$
(37)

where the operators relevant for the \(K^{0}-\bar{K}^{0}\), \(B_{d}^{0}-\bar{B} _{d}^{0}\) and \(B_{s}^{0}-\bar{B}_{s}^{0}\) meson mixings have the form:

$$\begin{aligned} \mathcal {O}_{1}^{\left( K\right) }= & {} \left( \overline{s}_{R}d_{L}\right) \left( \overline{s}_{R}d_{L}\right) ,\nonumber \\ \mathcal {O} _{2}^{\left( K\right) }= & {} \left( \overline{s}_{L}d_{R}\right) \left( \overline{ s}_{L}d_{R}\right) , \end{aligned}$$
(38)
$$\begin{aligned} \mathcal {O}_{3}^{\left( K\right) }= & {} \left( \overline{s}_{R}d_{L}\right) \left( \overline{s}_{L}d_{R}\right) ,\nonumber \\ \mathcal {O} _{4}^{\left( K\right) }= & {} \left( \overline{s}_{L}\gamma _{\mu }d_{L}\right) \left( \overline{s}_{L}\gamma ^{\mu }d_{L}\right) , \end{aligned}$$
(39)
$$\begin{aligned} \mathcal {O}_{1}^{\left( B_{d}\right) }= & {} \left( \overline{d} _{R}b_{L}\right) \left( \overline{d}_{R}b_{L}\right) ,\nonumber \\ \mathcal {O}_{2}^{\left( B_{d}\right) }= & {} \left( \overline{d} _{L}b_{R}\right) \left( \overline{d}_{L}b_{R}\right) , \end{aligned}$$
(40)
$$\begin{aligned} \mathcal {O}_{3}^{\left( B_{d}\right) }= & {} \left( \overline{d} _{R}b_{L}\right) \left( \overline{d}_{L}b_{R}\right) ,\nonumber \\ \mathcal {O}_{4}^{\left( B_{d}\right) }= & {} \left( \overline{d}_{L}\gamma _{\mu }b_{L}\right) \left( \overline{d}_{L}\gamma ^{\mu }b_{L}\right) , \end{aligned}$$
(41)
$$\begin{aligned} \mathcal {O}_{1}^{\left( B_{s}\right) }= & {} \left( \overline{s} _{R}b_{L}\right) \left( \overline{s}_{R}b_{L}\right) ,\nonumber \\ \mathcal {O}_{2}^{\left( B_{s}\right) }= & {} \left( \overline{s} _{L}b_{R}\right) \left( \overline{s}_{L}b_{R}\right) , \end{aligned}$$
(42)
$$\begin{aligned} \mathcal {O}_{3}^{\left( B_{s}\right) }= & {} \left( \overline{s} _{R}b_{L}\right) \left( \overline{s}_{L}b_{R}\right) ,\nonumber \\ \mathcal {O}_{4}^{\left( B_{s}\right) }= & {} \left( \overline{s}_{L}\gamma _{\mu }b_{L}\right) \left( \overline{s}_{L}\gamma ^{\mu }b_{L}\right) , \end{aligned}$$
(43)

and the Wilson coefficients are:

$$\begin{aligned} c_{1}^{\left( K\right) }= & {} \frac{z_{h\overline{s}_{R}d_{L}}^{2}}{m_{h}^{2}} +\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s}_{R}d_{L}}^{2}}{M_{H_{j}}^{2}} -\sum _{j=1}^{2}\frac{z_{A_{j}\overline{s}_{R}d_{L}}^{2}}{M_{A_{j}}^{2}}, \end{aligned}$$
(44)
$$\begin{aligned} c_{2}^{\left( K\right) }= & {} \frac{z_{h\overline{s}_{L}d_{R}}^{2}}{m_{h}^{2}} +\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s}_{L}d_{R}}^{2}}{M_{H_{j}}^{2}} -\sum _{j=1}^{2}\frac{z_{A_{j}\overline{s}_{L}d_{R}}^{2}}{M_{A_{j}}^{2}}, \end{aligned}$$
(45)
$$\begin{aligned} c_{3}^{\left( K\right) }= & {} \frac{z_{h\overline{s}_{R}d_{L}}z_{h\overline{s} _{L}d_{R}}}{m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s} _{R}d_{L}}z_{H_{j}\overline{s}_{L}d_{R}}}{M_{H_{j}}^{2}}\nonumber \\&-\sum _{j=1}^{2}\frac{ z_{A_{j}\overline{s}_{R}d_{L}}z_{A_{j}\overline{s}_{L}d_{R}}}{M_{A_{j}}^{2}}, \end{aligned}$$
(46)
$$\begin{aligned} c_{1}^{\left( B_{d}\right) }= & {} \frac{z_{h\overline{d}_{R}b_{L}}^{2}}{ m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{d}_{R}b_{L}}^{2}}{ M_{H_{j}}^{2}}-\sum _{j=1}^{2}\frac{z_{A_{j}\overline{d}_{R}b_{L}}^{2}}{ M_{A_{j}}^{2}}, \end{aligned}$$
(47)
$$\begin{aligned} c_{2}^{\left( B_{d}\right) }= & {} \frac{z_{h\overline{d}_{L}b_{R}}^{2}}{ m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{d}_{L}b_{R}}^{2}}{ M_{H_{j}}^{2}}-\sum _{j=1}^{2}\frac{z_{A_{j}\overline{d}_{L}b_{R}}^{2}}{ M_{A_{j}}^{2}}, \end{aligned}$$
(48)
$$\begin{aligned} c_{3}^{\left( B_{d}\right) }= & {} \frac{z_{h\overline{d}_{R}b_{L}}z_{h \overline{d}_{L}b_{R}}}{m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{d} _{R}b_{L}}z_{H_{j}\overline{d}_{L}b_{R}}}{M_{H_{j}}^{2}}\nonumber \\&-\sum _{j=1}^{2}\frac{ z_{A_{j}\overline{d}_{R}b_{L}}z_{A_{j}\overline{d}_{L}b_{R}}}{M_{A_{j}}^{2}}, \end{aligned}$$
(49)
$$\begin{aligned} c_{1}^{\left( B_{s}\right) }= & {} \frac{z_{h\overline{s}_{R}b_{L}}^{2}}{ m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s}_{R}b_{L}}^{2}}{ M_{H_{i}}^{2}}-\sum _{j=1}^{2}\frac{z_{A_{j}\overline{s}_{R}b_{L}}^{2}}{ M_{A_{j}}^{2}}, \end{aligned}$$
(50)
$$\begin{aligned} c_{2}^{\left( B_{s}\right) }= & {} \frac{z_{h\overline{s}_{L}b_{R}}^{2}}{ m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s}_{L}b_{R}}^{2}}{ M_{H_{j}}^{2}}-\sum _{j=1}^{2}\frac{z_{A_{j}\overline{s}_{L}b_{R}}^{2}}{ M_{A_{j}}^{2}}, \end{aligned}$$
(51)
$$\begin{aligned} c_{3}^{\left( B_{s}\right) }= & {} \frac{z_{h\overline{s}_{R}b_{L}}z_{h \overline{s}_{L}b_{R}}}{m_{h}^{2}}+\sum _{j=1}^{2}\frac{z_{H_{j}\overline{s} _{R}b_{L}}z_{H_{j}\overline{s}_{L}b_{R}}}{M_{H_{j}}^{2}}\nonumber \\&-\sum _{j=1}^{2}\frac{ z_{A_{j}\overline{s}_{R}b_{L}}z_{A_{j}\overline{s}_{L}b_{R}}}{M_{A_{j}}^{2}}, \end{aligned}$$
(52)

Furthermore, the following relations have been taken into account:

$$\begin{aligned} \widetilde{M}_{f}= & {} \left( M_{f}\right) _{diag}=V_{fL}^{\dagger }M_{f}V_{fR},\nonumber \\ f_{\left( L,R\right) }= & {} V_{f\left( L,R\right) }\widetilde{f}_{\left( L,R\right) }, \nonumber \\ \overline{f}_{iL}\left( M_{f}\right) _{ij}f_{jR}= & {} \overline{\widetilde{f}} _{kL}\left( V_{fL}^{\dagger }\right) _{ki}\left( M_{f}\right) _{ij}\left( V_{fR}\right) _{jl}\nonumber \\ \widetilde{f}_{lR}= & {} \overline{\widetilde{f}}_{kL}\left( V_{fL}^{\dagger }M_{f}V_{fR}\right) _{kl}\widetilde{f}_{lR}=\overline{ \widetilde{f}}_{kL}\left( \widetilde{M}_{f}\right) _{kl}\nonumber \\ \widetilde{f} _{lR}= & {} m_{fk}\overline{\widetilde{f}}_{kL}\widetilde{f}_{kR}, \nonumber \\&\quad k =1,2,3\,. \end{aligned}$$
(53)

Here, \(\widetilde{f}_{k\left( L,R\right) }\) and \(f_{k\left( L,R\right) }\) (\( k=1,2,3\)) are the SM fermionic fields in the mass and interaction bases, respectively.

On the other hand, the \(K-\bar{K}\), \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \( B_{s}^{0}-\bar{B}_{s}^{0}\) meson mass differences are given by:

$$\begin{aligned} \Delta m_{K}= & {} \Delta m_{K}^{\left( SM\right) }+\Delta m_{K}^{\left( NP\right) },\nonumber \\ \Delta m_{B_{d}}= & {} \Delta m_{B_{d}}^{\left( SM\right) }+\Delta m_{B_{d}}^{\left( NP\right) },\nonumber \\ \Delta m_{B_{s}}= & {} \Delta m_{B_{s}}^{\left( SM\right) }+\Delta m_{B_{s}}^{\left( NP\right) }, \end{aligned}$$
(54)

where \(\Delta m_{K}^{\left( SM\right) }\), \(\Delta m_{B_{d}}^{\left( SM\right) }\) and \(\Delta m_{B_{s}}^{\left( SM\right) }\) stand for the SM contributions, while \(\Delta m_{K}^{\left( NP\right) }\), \(\Delta m_{B_{d}}^{\left( NP\right) }\) and \(\Delta m_{B_{s}}^{\left( NP\right) }\) arise from new physics effects.

In the model under consideration, we find the following new physics contributions to the \(K-\bar{K}\), \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \(B_{s}^{0}- \bar{B}_{s}^{0}\) meson mass splittings:

$$\begin{aligned}&\Delta m_{K}^{\left( NP\right) }=\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}} \left| \left( V_{DL}^{*}\right) _{32}\left( V_{DL}\right) _{31}\right| ^{2}f_{K}^{2}B_{K}\eta _{K}m_{K}\nonumber \\&\quad +\frac{8}{3}f_{K}^{2}\eta _{K}B_{K}m_{K}\left[ k_{2}^{\left( K\right) }c_{3}^{\left( K\right) }+k_{1}^{\left( K\right) }\left( c_{1}^{\left( K\right) }+c_{2}^{\left( K\right) }\right) \right] \end{aligned}$$
(55)
$$\begin{aligned}&\Delta m_{B_{d}}^{\left( NP\right) }=\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}} \left| \left( V_{DL}^{*}\right) _{31}\left( V_{DL}\right) _{33}\right| ^{2}f_{B_{d}}^{2}B_{B_{d}}\eta _{B_{d}}m_{B_{d}}\nonumber \\&\quad +\frac{8}{3} f_{B_{d}}^{2}\eta _{B_{d}}B_{B_{d}}m_{B_{d}}\nonumber \\&\quad \left[ k_{2}^{\left( B_{d}\right) }c_{3}^{\left( B_{d}\right) }+k_{1}^{\left( B_{d}\right) }\left( c_{1}^{\left( B_{d}\right) }+c_{2}^{\left( B_{d}\right) }\right) \right] \end{aligned}$$
(56)
$$\begin{aligned}&\Delta m_{B_{s}}^{\left( NP\right) }=\frac{g_{X}^{2}}{9m_{Z^{\prime }}^{2}} \left| \left( V_{DL}^{*}\right) _{32}\left( V_{DL}\right) _{33}\right| ^{2}f_{B_{s}}^{2}B_{B_{s}}\eta _{B_{s}}m_{B_{s}}\nonumber \\&\quad +\frac{8}{3} f_{B_{s}}^{2}\eta _{B_{s}}B_{B_{s}}m_{B_{s}}\nonumber \\&\quad \left[ k_{2}^{\left( B_{s}\right) }c_{3}^{\left( B_{s}\right) }+k_{1}^{\left( B_{s}\right) }\left( c_{1}^{\left( B_{s}\right) }+c_{2}^{\left( B_{s}\right) }\right) \right] \end{aligned}$$
(57)

In our numerical analysis, we use the following numerical values of the meson parameters [188,189,190,191,192,193,194]:

$$\begin{aligned}&\Delta m_{K} =\left( 3.484\pm 0.006\right) \times 10^{-12}\mathrm{{MeV}},\nonumber \\&\Delta m_{K}^{\left( SM\right) }=3.483\times 10^{-12}\mathrm{{MeV}} \nonumber \\&f_{K} =160\mathrm{{MeV}},\quad B_{K}=0.85,\quad \eta _{K}=0.57, \nonumber \\&k_{1}^{\left( K\right) } =-9.3,\quad k_{2}^{\left( K\right) }=30.6,\quad m_{K}=497.614\mathrm{{MeV}}, \end{aligned}$$
(58)
$$\begin{aligned}&\left( \Delta m_{B_{d}}\right) _{\exp } =\left( 3.337\pm 0.033\right) \times 10^{-10}\mathrm{{MeV}},\nonumber \\&\Delta m_{B_{d}}^{\left( SM\right) }=3.582\times 10^{-10}\mathrm{{MeV}}, \nonumber \\&f_{B_{d}} =188\mathrm{{MeV}},\quad B_{B_{d}}=1.26,\quad \eta _{B_{d}}=0.55, \nonumber \\&k_{1}^{\left( B_{d}\right) } =-0.52,\quad k_{2}^{\left( B_{d}\right) }=0.88,\quad m_{B_{d}}=5279.5\mathrm{{MeV}}, \end{aligned}$$
(59)
$$\begin{aligned}&\left( \Delta m_{B_{s}}\right) _{\exp } =\left( 104.19\pm 0.8\right) \times 10^{-10}\mathrm{{MeV}},\nonumber \\&\Delta m_{B_{s}}^{\left( SM\right) }=121.103\times 10^{-10}\mathrm{{MeV}}, \nonumber \\&f_{B_{s}} =225\mathrm{{MeV}},\quad B_{B_{s}}=1.26,\quad \eta _{B_{s}}=0.55, \nonumber \\&k_{1}^{\left( B_{s}\right) } =-0.52,\quad k_{2}^{\left( B_{s}\right) }=0.88,\quad m_{B_{s}}=5366.3\mathrm{{MeV}}, \end{aligned}$$
(60)
Fig. 4
figure 4

Allowed region in the \(m_{Z^{\prime }}-g_{X}\) plane consistent with the constraint arising from \(B_{d}^{0}-\bar{B}_{d}^{0}\) (left-plot) and \( B_{s}^{0}-\bar{B}_{s}^{0}\) (right-plot) mixings. Here we fix the couplings of the flavor violating neutral Yukawa interactions as \(2\times 10^{-4}\) and \(10^{-3}\) for the left and right plots, respectively

We plot in Fig. 4 the allowed region in the \(m_{Z^{\prime }}-g_{X}\) plane, consistent with the constraint arising from \(B_{d}^{0}-\bar{ B}_{d}^{0}\) (left-plot) and \(B_{s}^{0}-\bar{B}_{s}^{0}\) (right-plot) mixings. In our numerical analysis we have considered a simplified benchmark scenario where the couplings of the flavor violating neutral Yukawa interactions responsible for the \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \(B_{s}^{0}- \bar{B}_{s}^{0}\) mixings take values of about \(2\times 10^{-4}\) and \(10^{-3}\) , respectively. Furthermore, we have set \(M_{H_{1}}=1.2\) TeV, \(M_{H_{2}}=1.3\)  TeV, \(M_{A_{1}}=M_{A_{2}}=1\) TeV and the \(Z^{\prime }\) mass has been taken to be in the range 6 TeV\(\leqslant m_{Z^{\prime }}\leqslant \) 10 TeV. As seen from Fig. 4, the \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \(B_{s}^{0}- \bar{B}_{s}^{0}\) meson oscillations caused by the flavor changing neutral interactions reach values close to their experimental upper limits, thus giving rise to the allowed regions in the \(g_{X}-m_{Z^{\prime }}\) plane consistent with these constraints. On the other hand, concerning the \(K^{0}- \bar{K}^{0}\) mixing, we have numerically checked that in the aforementioned simplified benchmark scenario and above-described region of parameter space with a corresponding flavor violating Yukawa coupling of the order of \( 0.5\times 10^{-5}\), the obtained values for the \(\Delta m_{K}\) are consistent with the meson oscillation experimental data. It is worth mentioning that in our numerical analysis we have considered the case of real down quark Yukawa couplings, which implies that CP violation in the quark sector only arises from the up-type quark sector. Therefore, the constraints that are usually imposed on any possible new contributions to the \(K^{0}-\bar{K}^{0}\), \(B_{d}^{0}-\bar{B}_{d}^{0}\) and \(B_{s}^{0}-\bar{B} _{s}^{0}\) meson oscillations, arising from CP-violating processes, are not relevant for our case.

6 Dark matter

Both the \(SU(2)_L \times U(1)_Y \times U(1)_X\) gauge symmetry and the \(Z_4\) discrete symmetry are spontaneously broken, whereas the \(Z_2\) symmetry is preserved. This \(Z_2\) conservation implies that the particles carrying a non trivial \(Z_2\) charge always couple in pairs, and therefore the lightest of the electrically neutral \(Z_2\) odd particles is a dark matter candidate. The considered model contains two kinds of candidates: the fermion singlet \(\Psi _{nR}\) and the scalar singlets that are either \( \varphi _1\) or \(\varphi _2\). The fields, \(\varphi _1, \Psi _{nR}\), carry the \( \text {X}\) charge but the \(\varphi _2\) does not. Except for the Yukawa interaction of \(\varphi _2\) with new fermions \(\Omega _{mR},\Psi _{nR}\), the \( \varphi _2\) has only quartic scalar interactions. Thus, the \(\varphi _2\) mainly annihilates into \(W^+W^-, ZZ, t \bar{t}, b \bar{b}, HH \) via a scalar portal interaction, and the relic density is governed by Higgs portal interactions and takes the form [195]

$$\begin{aligned} \Omega h^2 \simeq 0.1 \left( \frac{m_{\varphi _2}}{\lambda _{eff} \times 1.354 \text {TeV}} \right) ^2, \end{aligned}$$
(61)

where \(\lambda _{eff}\) is an effective coupling, which depends on all trilinear Higgs couplings of \(\varphi _2\) with the remaining Higgs. In order to consistently reproduce the experimental value of the dark matter relic density [196], \(\Omega h^2 =0.1198\pm 0.0026\), the mass \( m_{\varphi _2}\) has to fulfill the constraint, \(m_{\varphi _2} < \lambda _{eff} \times 1.5 \text {TeV}\). If the effective coupling is in the range \(0.5<\lambda _{eff} < 1.5\), the dark matter mass satisfies \(0.75 \text {TeV}<m_{\varphi _2}< 2.25 \text {TeV}\). Since \(\varphi _2\) is a gauge singlet scalar, it is electrically neutral, and then it only scatters off in a quark antiquark pair via SM Higgs portal interaction, which has a rate proportional to the quartic coupling of \(\varphi _2^2 H^2\), denoted as \( \lambda _D\). The tree-level SM Higgs exchange produces a spin-independent cross section given by [197]:

$$\begin{aligned} \sigma _{\varphi _2-p,n}\simeq 3.88 \times 10^{-45} \left( \frac{\lambda _{D}}{ 0.5}\right) ^2 \left( \frac{2 \text {TeV}}{m_{\varphi _2} } \right) ^2 \text {cm} ^2. \end{aligned}$$
(62)

This scattering cross-section reaches the direct detection limit from the XENON1T experiment [198] for dark matter mass around \(2 \text {TeV}\) and effective coupling \(\lambda _{D}\simeq 0.5.\) Unlike \(\varphi _2\), \( \varphi _1\) carries a \(\text {X}\)-charge. Thus, if \(\varphi _1\) is a dark matter candidate, it will scatter off a nucleon not only through the exchange of the Higgs, but also via the exchange of a new neutral gauge boson. This obeys direct detection limits from the XENON1T experiment [198], and yields the correct relic density if the dark matter mass is heavier than \(3 \text {TeV}\), (see in [199]).    Let us now assume that the dark matter is the neutral fermion, denoted \(\Psi \). This is a \(SU(2)_L\) singlet which does not carry hypercharge, but carries a \(U(1)_X\) charge. Thus, the interaction of two dark matter candidates \(\Psi \) with a new neutral gauge boson, called \(Z_X\), determines the dark matter phenomenology. \(\Psi _n\) annihilates into SM particles through the exchange of a new gauge boson. The relic density is given as [200]

$$\begin{aligned} \Omega _\Phi h^2 \simeq 0.1 \text {pb}\left( \frac{\alpha }{150 \text {GeV}} \right) ^{-2} \left( \frac{m_{\Psi }}{2.86 \text {TeV}} \right) ^2, \end{aligned}$$
(63)

where \(\left( \frac{\alpha }{150 \text {GeV}} \right) ^2 \simeq 1 \text {pb}\). This relic density satisfies the experimental value [196] if and only if \(m_\Psi > 3.13 \text {TeV}\). At the tree-level, the dark matter \( \Psi _N\) scatters off nuclei via the exchange of the gauge boson \(\text {Z}_X\) . In the limit, \(m_\Psi > 3.13 \text {TeV}\), the cross-section of this scattering is predicted to be consistent with the XENON1T experiment (see [92, 195, 199]).

7 Leptogenesis

Before counting flavored \(\text {CP}-\)asymmetry parameters from the decay of each heavy pseudo-Dirac neutrinos, we must rotate the sterile neutrinos \(\nu _{aR},N_{aR}\), into their mass basis. As previously mentioned, the sterile neutrinos form three pairs of quasi-degenerate pseudo-Dirac fermions due to the small \(\mu -\)parameter, which is generated at two loop level. The eigenstates \(\left( N_{aR}^{+},N_{aR}^{-}\right) \), corresponding to the eigenvalues \(\left( M_{\nu }^{+},-M_{\nu }^{-}\right) \) , are related to \(\left( \nu _{Ra},N_{Ra}\right) \) through:

$$\begin{aligned}&N_{aR}^{+}=\frac{1}{\sqrt{2}}\left( \nu _{aR}+N_{aR}\right) ,\nonumber \\&N_{aR}^{-}=\frac{i}{\sqrt{2}}\left( \nu _{aR}-N_{aR}\right) . \end{aligned}$$
(64)

Henceforth, the Yukawa interactions of \(\nu _{aR},N_{aR}\) can be modified and written on the new basis as follows

$$\begin{aligned}&-\mathcal {L}_{Y}^{l}\ni \sum _{i=1}^{3}\sum _{a=1}^{3}y_{ia}^{\nu }\overline{l} _{iL}{\widetilde{\phi }}_{2}\frac{\left( N_{aR}^{+}-iN_{aR}^{-}\right) }{\sqrt{ 2}}\nonumber \\&\quad +\sum _{a=1}^{3}\sum _{n=1}^{2}\left( x_{N}\right) _{aj}\frac{\left( \overline{N^{+}}_{aR}+i\overline{N^{-}}_{aR}\right) }{\sqrt{2}}\Psi _{nR}^{C}\varphi _{1} \end{aligned}$$
(65)
Fig. 5
figure 5

The washout parameter as a function of the \(\Im [\theta ]\)

Fig. 6
figure 6

The washout parameter as a function of the \(\Re [\theta ]\). Left panel: \(\Im [\theta ]=0.005\), right panel: \( \Im [\theta ]=1.5\)

Fig. 7
figure 7

Estimating the baryon asymmetry in the weak-washout regime. Left panel: log-plot of the baryon asymmetry as a function of the \(\Im [\theta ]\). Right panel: log-plot the baryon asymmetry as a function of the \(\Re [\theta ]\)

Fig. 8
figure 8

Estimating the baryon asymmetry in the strong-washout regime. Left panel: Plot of the baryon asymmetry as a function of the \(\Im [ \theta ]\). Right panel: Plot of the baryon asymmetry as a function of the \(\Re [ \theta ]\)

The lepton asymmetry is generated from the decay of the lightest pair of pseudo-Dirac neutrinos, called \((N_{\pm })\), and it can be enhanced due to a resonance effect [201,202,203]. If \((N_{\pm })\) couples only with a SM lepton, the washout factor is determined from the inverse decay of the SM lepton and Higgs into the pair of pseudo-Dirac neutrinos. Since the washout factor has a quadratic suppression with the \(\mu -\) parameter [204, 205], the smallness of \(\mu \) can naturally suppress the washout factor. However, in our model, the \(\mu -\)parameter can be small in a technically natural way since it is generated at the two-loop level. Therefore, in addition to the inverse decay \(lH^{\pm }\rightarrow N_{\pm }\rightarrow lH^{^{\pm }}\), the model creates new washout processes: \( lH^{^{\pm }}\rightarrow N_{\pm }\rightarrow \Psi _{R}\varphi _{1}\) (see Eq. (65)). In the high-temperature region (temperature larger than the inverse see-saw scale), new washout processes can be avoided if the Yukawa couplings \((x_{aj}^{N})\) are very suppressed. This is unreasonable, because the \(\mu -\)parameter is generated at two loop level, as shown in Eq. (26). If the temperature of the Universe drops below the see-saw scale, the inverse decays producing \(N_{aR}\) fall out of thermal equilibrium, and thermal leptogenesis can happen. Assuming that the fermions \(\Psi _{nR}\) are heavier than the lightest pseudo-Dirac pair, \((N^{\pm })\), the lepton asymmetry generates via the decay of the lightest pair of pseudo-Dirac \((N_{\pm }\equiv N_{1}^{\pm })\) to the SM Higgs and lepton doublets and has the following form

$$\begin{aligned}&\frac{\Im \left[ (y^{\nu })^{\dag }y^{\nu }(y^{\nu })^{\dag }y^{\nu }\right] _{11}}{8\pi A_{\pm }}\frac{r}{\% r^{2}+\frac{\Gamma _{\mp }^{2}}{m_{N_{\mp }}^{2}}}\nonumber \\&\quad by: \frac{{\Im }\left\{ \left( \left[ \left( y_{N_{+}}\right) ^{\dagger }\left( y_{N_{-}}\right) \right] ^{2}\right) _{11}\right\} }{8\pi A_{\pm }}\frac{r}{r^{2}+\frac{\Gamma _{\mp }^{2}}{m_{N_{\mp }}^{2}}} \end{aligned}$$
(66)

where \(y_{N_{\pm }}=\frac{y^{\left( \nu \right) }}{\sqrt{2}}\left( 1\pm \frac{1}{4}M^{-1}\mu \right) \), \(r\equiv \frac{m_{N_{+}}^{2}-m_{N_{-}}^{2}}{m_{N_{+}}m_{N_{-}}}\), \(A_{\pm }=\left( (y^{\nu })^{\dag }y^{\nu }\right) _{11}\), \(\Gamma _{\pm }\equiv \frac{A_{\pm }m_{N_{\pm }}}{8\pi }\). In the weak and strong washout region, the approximate baryon asymmetry is estimated as

$$\begin{aligned} \eta _{B}= & {} \frac{\epsilon _{N_{\pm }}}{g_{*}}\text {for} K_{N_{\pm }}^{eff}\ll 1, \nonumber \\ \eta _{B}= & {} \frac{0.3\epsilon _{N_{\pm }}}{g_{*}K_{N_{\pm }}^{eff}(\ln K_{N_{\pm }}^{eff})^{0.6}}\text {for}K_{N_{\pm }}^{eff}\gg 1. \end{aligned}$$
(67)

Here, \(g_{*}\simeq 118\) is the number of relativistic degrees of freedom. In the leptogenesis epoch, the effective washout parameter is defined as

$$\begin{aligned} K_{N_{\pm }}^{eff}\simeq \left( \frac{\Gamma _{+}+\Gamma _{-}}{H}\right) \left( \frac{m_{N^{+}}-m_{N^{-}}}{\Gamma _{\pm }}\right) ^{2} \end{aligned}$$
(68)

where \(\text {H}=\sqrt{\frac{4\pi ^{3}g_{*}}{45}}\frac{T^{2}}{M_{Pl}}\) is the Hubble constant. For a successful leptogenesis and inverse see-saw mechanism, we have to choose the parameter space including four Yukawa couplings \(y^{\nu },y^{N},x_{N},x_{\Psi }\), two VEVs \(v_{2},v_{\sigma }\), and as well as the masses of \(\Omega _{n},\Psi _{n},\Im [\varphi _{i}],\Re [\varphi _{i}]\). To study this result more quantitatively it is convenient to use the Casas–Ibarra parametrization [206, 207] of the Yukawa coupling \(y^{\nu }\), as follows

$$\begin{aligned} y^{\nu }=\frac{v_{\sigma }}{v_{2}}\left( \text {U}_{\text {PMNS}}\text {M}_{\nu }^{\frac{1}{2}}\text {R}\mu ^{-\frac{1}{2}}y^{N}\right) . \end{aligned}$$
(69)

In this parametrization, R is a complex orthogonal matrix that has the general form

$$\begin{aligned} R=\left( \begin{array}{ccc} c_{y}c_{z} &{} -s_{x}c_{z}s_{y}-c_{x}s_{z} &{} s_{x}s_{z}-c_{x}s_{y}c_{z} \\ c_{y}s_{z} &{} c_{x}c_{z}-s_{x}s_{y}s_{z} &{} -c_{z}s_{x}-c_{x}s_{y}s_{z} \\ s_{y} &{} s_{x}c_{y} &{} c_{x}c_{y} \end{array} \right) , \end{aligned}$$
(70)

where \(c_{x}=\cos x,s_{x}=\sin x\) and so on, with \(x,y,z\in C\). Here \(\text {U }_{\text {PMNS}}\) is the Pontecorvo–Maki–Nakagawa–Sakata mixing matrix for the lepton sector, while \(\text {M}_{\nu }=\text {Diag}(m_{\nu _{1}},m_{\nu _{2}},m_{\nu _{3}})\) is a diagonal light active neutrino mass matrix. The current best fit values for the light neutrino masses, mixing angles and the CP violation phase of \(\text {U}_{\text {PMNS}}\) are given in [208]. In order to reduce the number of free parameters, we need to take some assumptions. Therefore, we fix the three complex mixing angles \( x=0,y=z=\Re [\theta ]+i\Im [\theta ]\). Notice that the values of the Yukawas \(y_{ij}^{\nu }\) are sensitive to the \(\Im [\theta ]\) but not sensitive to \(\Re [\theta ]\). Additionally, we assume that \( Y^{(N)}\) is a diagonal matrix and is fixed as \(Y^{(N)}=\text {Diag}(\text {0.5} ,\text {0.9i},\text {1.8})\). Two VEVs are chosen as \(v_{2}=24.6\, \text {GeV}\), \( v_{\sigma }\simeq 5\times 10^{3}\,\text {GeV }\). These choices guarantee that the gauge interactions of \(N_{1}^{\pm }\) decouple at the leptogenesis epoch [209, 210]. In the perturbative region, the Yukawa coupling given in (65) has to satisfy the condition: \((y^{\nu })_{ij}^{2}<4\pi \). Thus, the large-value domain of \(\Im [\theta ]\) is inhibited, namely \(-2<\Im [\theta ]<2\). With the above choices, the mass of light neutrinos can approach the experimental limit [208] when \(\mu \) satisfies: \(\mu \simeq 1\text {keV}.\)    Figure  5 show the strong sensitivity of the washout parameter with respect to \(\Im [\theta ]\), especially in the region of small values of \(\Im [\theta ]\). The strong washout regime, \(K_{eff}\gg 1\), corresponds to small values of \(\Im [\theta ]\) (left panel), while the weak washout regime, \(K_{eff}\ll 1\) corresponds to large values of \(\Im [\theta ]\) (right panel). For fixed values of \(\Im [\theta ]\), the washout parameter oscillates over \(\Re [\theta ]\) (see Fig. 6), and the amplitude of oscillation increases as the value of \(\Im [\theta ]\) decreases. The washout effect is not affected much by \(\Re [\theta ]\).

Figure 7 show the generated baryon asymmetry from a numerical study of the approximate results of the Boltzmann equation, given in Eq. (67). In the weak washout regime, the predicted baryon asymmetry barely reaches the observed values \(\eta _{B}\simeq 6.08\times 10^{-10}.\)

In the strong-washout regime, the baryon asymmetry generation can reach the observed value, for the small phase entries of the \(\text {R}\) matrix. For small values of \(\Im [\theta ]\), we obtain the strong washout effect for every choice of \(\Re [\theta ]\) (see the left panel of Fig. 5). However, not every value of \(\Re [\theta ]\) predicts a sufficient amount of baryon asymmetries for the Universe. The right-panel of Fig. 8 shows the amount of baryon asymmetry as a function of \(\Re [\theta ]\), which seems to drastically change under variations of \(\Re [\theta ]\). Fixing \(\Re [\theta ]\), the behavior of the baryon asymmetry as a function of the imaginary part of the complex angle \(\theta \) appears in the left panel of Fig. 8. It drastically decreases as \(\Im [\theta ]\) increases. We conclude that in the present model leptogenesis is viable with a strong-washout regime if we include the small phase of the \(\text {R}\) matrix. The amount of baryon asymmetry oscillates according to \(\theta \), and the oscillation amplitude can reach the observed value.

8 Conclusions

We have built a 2HDM theory in which both particle content and symmetry are enlarged. We added several gauge singlet scalars and electrically charged vector-like fermions, as well as right-handed Majorana neutrinos, with the SM gauge symmetry being supplemented by a \( U(1)_{X}\times Z_{2}\times Z_{4}\) family symmetry. We have built a renormalizable theory based on the given particle content, where to the best of our knowledge, for the first time an inverse seesaw mechanism produces the SM fermion mass hierarchy. The nonuniversal \(U(1)_{X}\) gauge symmetry and the discrete \(Z_{4}\) symmetry are spontaneously broken, whereas the \( Z_{2}\) symmetry is preserved, thus allowing to have stable scalar and fermionic dark matter candidates. Our proposed theory is consistent with the observed SM fermion mass hierarchy, the tiny values for the light active neutrino masses, the lepton and baryon asymmetries of the Universe, the dark matter relic density, the meson oscillation experimental data as well as the muon and electron anomalous magnetic moments.