License: CC BY 4.0
arXiv:2404.06577v1 [hep-ph] 09 Apr 2024
{}^{\ast}start_FLOATSUPERSCRIPT ∗ end_FLOATSUPERSCRIPTcarolina.arbelaez@usm.cl, {}^{\dagger}start_FLOATSUPERSCRIPT † end_FLOATSUPERSCRIPTantonio.carcamo@usm.cl, {}^{\ddagger}start_FLOATSUPERSCRIPT ‡ end_FLOATSUPERSCRIPTclaudio.dib@usm.cl, {}^{\bullet}start_FLOATSUPERSCRIPT ∙ end_FLOATSUPERSCRIPT patricioescalona96@gmail.com,
{}^{\diamond}start_FLOATSUPERSCRIPT ⋄ end_FLOATSUPERSCRIPT vishnudath.neelakand@usm.cl, direct-product{}^{\odot}start_FLOATSUPERSCRIPT ⊙ end_FLOATSUPERSCRIPT alfonso.zerwekh@usm.cl

A common framework for fermion mass hierarchy, leptogenesis and dark matter

Carolina Arbeláez1,313{}^{1,3\leavevmode\nobreak\ \ast}start_FLOATSUPERSCRIPT 1 , 3 ∗ end_FLOATSUPERSCRIPT, A.E. Cárcamo Hernández1,2,3123{}^{1,2,3\leavevmode\nobreak\ \dagger}start_FLOATSUPERSCRIPT 1 , 2 , 3 † end_FLOATSUPERSCRIPT, Claudio Dib1,313{}^{1,3\leavevmode\nobreak\ \ddagger}start_FLOATSUPERSCRIPT 1 , 3 ‡ end_FLOATSUPERSCRIPT,
Patricio Escalona Contreras1,212{}^{1,2\leavevmode\nobreak\ \bullet}start_FLOATSUPERSCRIPT 1 , 2 ∙ end_FLOATSUPERSCRIPT, Vishnudath K. N.1limit-from1{}^{1\leavevmode\nobreak\ \diamond}start_FLOATSUPERSCRIPT 1 ⋄ end_FLOATSUPERSCRIPT, and Alfonso Zerwekh1,2,3123direct-product{}^{1,2,3\leavevmode\nobreak\ \odot}start_FLOATSUPERSCRIPT 1 , 2 , 3 ⊙ end_FLOATSUPERSCRIPT
11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTUniversidad Técnica Federico Santa María, Avenida España 1680, Valparaíso, Chile
22{}^{2}start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPTMillennium Institute for Subatomic Physics at High Energy Frontier – SAPHIR, Fernandez Concha 700, Santiago, Chile
33{}^{3}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPTCentro Científico-Tecnológico de Valparaíso, Universidad Técnica Federico Santa María, Avenida España 1680, Valparaíso, Chile
Abstract

In this work, we explore an extension of the Standard Model designed to elucidate the fermion mass hierarchy, account for the dark matter relic abundance, and explain the observed matter-antimatter asymmetry in the universe. Beyond the Standard Model particle content, our model introduces additional scalars and fermions. Notably, the light active neutrinos and the first two generations of charged fermions acquire masses at the one-loop level. The model accommodates successful low-scale leptogenesis, permitting the mass of the decaying heavy right-handed neutrino to be as low as 10 TeV. We conduct a detailed analysis of the dark matter phenomenology and explore various interesting phenomenological implications. These include charged lepton flavor violation, muon and electron anomalous magnetic moments, constraints arising from electroweak precision observables, and implications for collider experiments.

I Introduction

Despite the remarkable success of the Standard Model (SM) in explaining a wide range of experimental observations, several issues still remain unexplained. One of the main issues to which the SM does not have an answer is the non-zero light active neutrino masses as indicated by various oscillation experiments McDonald:2016ixn ; Kajita:2016cak . Moreover, the huge hierarchy in the fermion mass spectrum, which spreads over 13 orders of magnitude from the light active neutrino mass scale up to the top quark mass, is not explained by the SM. Besides that, the pattern of quark and lepton mixings are substantially different. In the quark sector, all three mixing angles are small whereas in the lepton sector two of the mixing angles are large and one is small. The SM also does not explain the current amount of matter-antimatter asymmetry observed in the Universe Planck:2018vyg as well as the measured dark matter (DM) relic abundance Bertone:2004pz . All these issues suggest to consider the SM as the low energy limit of an unknown underlying theory. Such an underlying theory should be capable of successfully accommodating the observed DM relic density as well as the matter-antimatter asymmetry of the Universe and should include a dynamical mechanism responsible for the observed pattern of the SM fermion masses and mixings.

Here in this work we propose an extension of the Inert Doublet Model (IDM) Deshpande:1977rw , where the scalar content is enlarged from the IDM by the inclusion of two electrically neutral scalar singlets and the fermion sector is augmented by adding right handed Majorana neutrinos and charged fermions that are vector-like with respect to the SM gauge group. The SM gauge symmetry is supplemented by the inclusion of a spontaneously broken discrete Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry. The charge assignments of the particles forbid tree level masses for the light neutrinos as well as the first two generations of SM charged fermions. However, the Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry is broken down to a preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry and active neutrinos as well as the first and second generations of SM charged fermions obtain their masses radiatively at one-loop level. The light active neutrinos are Majorana particles in our setup. The third generation of SM charged fermions obtain tree level masses as in the SM. Also, out of the four scalar representations, two remain odd under the remnant Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry and thus providing a stable DM candidate. These dark scalars also contribute to the one-loop generation of the masses of the fermions, thus connecting DM with neutrino mass generation and fermion mass hierarchy. Thus, the model also generalises the features of the scotogenic model Tao:1996vb . Moreover, the model can also accommodate successful leptogenesis - a scenario in which the CP violating decays of the heavy Majorana right handed neutrinos into the doublet scalar and the SM leptons produce a lepton asymmetry in the early universe Fukugita:1986hr . The lepton asymmetry thus generated then gets converted into baryon asymmetry via non-perturbative sphaleron processes in the early universe Kolb:1990vq . We find that successful leptogenesis is viable in the model for heavy Majorana right handed neutrinos as light as 10 TeV. Note that several extensions of the IDM theory have been proposed to explain the tiny masses of the active neutrinos via the implementation of a radiative seesaw mechanism at one loop level Balakrishna:1988ks ; Ma:1988fp ; Ma:1989ys ; Ma:1990ce ; Ma:1998dn ; Ma:2006km ; Gu:2007ug ; Ma:2008cu ; Hirsch:2013ola ; Aranda:2015xoa ; Restrepo:2015ura ; Longas:2015sxk ; Fraser:2015zed ; Fraser:2015mhb ; Wang:2015saa ; Arbelaez:2016mhg ; vonderPahlen:2016cbw ; Nomura:2016emz ; Kownacki:2016hpm ; Nomura:2017emk ; Nomura:2017vzp ; Bernal:2017xat ; Wang:2017mcy ; Bonilla:2018ynb ; Calle:2018ovc ; Avila:2019hhv ; Alvarado:2021fbw ; Arbelaez:2022ejo ; Cepedello:2022xgb ; CarcamoHernandez:2022vjk ; Leite:2023gzl . In this work, we extend the loop generation of masses to the charged fermionic sector as well, thereby providing a plausible explanation for the fermion mass hierarchy.

In addition to the above mentioned features, our model can also explain the observed muon and electron anomalous magnetic moments. It has been known that the experimentally measured anomalous magnetic moments (g2𝑔2g-2italic_g - 2) of both the muon and electron differ by a few standard deviations from the SM predictions. The longstanding non-compliance of the muon g2𝑔2g-2italic_g - 2 with the SM was first observed by the experiment E821 at BNL Bennett:2006fi and has been recently confirmed by the Muon g2𝑔2g-2italic_g - 2 experiment at FERMILAB Abi:2021gix . The discrepancy of the electron g2𝑔2g-2italic_g - 2 with the SM prediction was revealed more recently, following an accurate measurement of the fine structure constant Parker:2018vye . The different magnitudes of the electron and the muon g2𝑔2g-2italic_g - 2 deviations do not find an explanation within the context of the SM and have motivated theories with extended symmetries and particle spectra; see  Athron:2021iuf for a very recent review.

The rest of the paper is organised as follows. In Section-II, we provide a comprehensive overview of the model, detailing its scalar and fermionic spectrum, along with an in-depth exploration of how it generates the observed SM fermion mass hierarchy. Section-III is dedicated to an extensive examination of the model’s phenomenological implications, encompassing topics such as charged lepton flavor violation, anomalous magnetic moments of electron and muon, constraints derived from electroweak precision observables, collider bounds, leptogenesis, and the impact of current dark matter constraints on our model’s parameter space. Our findings and overall conclusions are summarized in Section-IV.

II The model

We formulate an extension of the IDM where the active neutrino masses as well as the first and second generation of SM charged fermion masses are radiatively generated at one loop level, whereas the masses of the third generation of SM charged fermions arise at tree level. The SM charged fermions of the third families obtain their masses as in the SM from the following Yukawa interactions:

q¯3Lϕ~uiR,q¯3LϕdiR,l¯iLϕe3R,i=1,2,3,formulae-sequencesubscript¯𝑞3𝐿~italic-ϕsubscript𝑢𝑖𝑅subscript¯𝑞3𝐿italic-ϕsubscript𝑑𝑖𝑅subscript¯𝑙𝑖𝐿italic-ϕsubscript𝑒3𝑅𝑖123\overline{q}_{3L}\widetilde{\phi}u_{iR},\hskip 28.45274pt\overline{q}_{3L}\phi d% _{iR},\hskip 28.45274pt\overline{l}_{iL}\phi e_{3R},\hskip 28.45274pti=1,2,3,over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT 3 italic_L end_POSTSUBSCRIPT over~ start_ARG italic_ϕ end_ARG italic_u start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT , over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT 3 italic_L end_POSTSUBSCRIPT italic_ϕ italic_d start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT , over¯ start_ARG italic_l end_ARG start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT italic_ϕ italic_e start_POSTSUBSCRIPT 3 italic_R end_POSTSUBSCRIPT , italic_i = 1 , 2 , 3 , (1)

where the SU(2)L𝑆𝑈subscript2𝐿SU(2)_{L}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT fermionic doublets are defined as

q=iL(uiL,diL),liL=(νiL,eiL),i=1,2,3,q{{}_{iL}=\left(u_{iL},d_{iL}\right)},\hskip 28.45274ptl_{iL}={\left(\nu_{iL},% e_{iL}\right)},\hskip 28.45274pti=1,2,3,italic_q start_FLOATSUBSCRIPT italic_i italic_L end_FLOATSUBSCRIPT = ( italic_u start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT ) , italic_l start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT = ( italic_ν start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT , italic_e start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT ) , italic_i = 1 , 2 , 3 , (2)

and the scalar doublet ϕitalic-ϕ\phiitalic_ϕ corresponds to the SM Higgs field and can be expanded as

ϕ=(ϕ+12(v+ϕR0+iϕI0)).italic-ϕsuperscriptitalic-ϕ12𝑣superscriptsubscriptitalic-ϕ𝑅0𝑖superscriptsubscriptitalic-ϕ𝐼0\phi=\left(\begin{array}[]{c}\phi^{+}\\ \frac{1}{\sqrt{2}}\left(v+\phi_{R}^{0}+i\phi_{I}^{0}\right)\end{array}\right).italic_ϕ = ( start_ARRAY start_ROW start_CELL italic_ϕ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_v + italic_ϕ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) end_CELL end_ROW end_ARRAY ) . (3)

Here, v=246𝑣246v=246italic_v = 246 is the scale of spontaneous breaking of the SU(2)L×U(1)Y𝑆𝑈subscript2𝐿𝑈subscript1𝑌SU(2)_{L}\times U(1)_{Y}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT gauge symmetry. The Yukawa couplings of the first two generations of charged fermions to the SM Higgs are forbidden by a discrete Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry. To generate one-loop level masses for the first and second generations of the SM charged fermions as well as for the active neutrinos, the SM scalar sector has to be enlarged by the inclusion of an extra SU(2)𝑆𝑈2SU\left(2\right)italic_S italic_U ( 2 ) scalar doublet η𝜂\etaitalic_η as well as two gauge singlet scalars ξ𝜉\xiitalic_ξ and σ𝜎\sigmaitalic_σ. These scalars can be expanded as

η=(η+12(ηR0+iηI0)),ξ=12(ξR+iξI),σ=12(σR+vσ+iσI).formulae-sequence𝜂superscript𝜂12superscriptsubscript𝜂𝑅0𝑖superscriptsubscript𝜂𝐼0formulae-sequence𝜉12subscript𝜉𝑅𝑖subscript𝜉𝐼𝜎12subscript𝜎𝑅subscript𝑣𝜎𝑖subscript𝜎𝐼\eta=\left(\begin{array}[]{c}\eta^{+}\\ \frac{1}{\sqrt{2}}\left(\eta_{R}^{0}+i\eta_{I}^{0}\right)\end{array}\right),\,% \,\,\,\,\,\,\xi=\frac{1}{\sqrt{2}}\left(\xi_{R}+i\leavevmode\nobreak\ \xi_{I}% \right),\,\,\,\,\,\,\,\sigma=\frac{1}{\sqrt{2}}\left(\sigma_{R}+v_{\sigma}+i% \leavevmode\nobreak\ \sigma_{I}\right).italic_η = ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + italic_i italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) end_CELL end_ROW end_ARRAY ) , italic_ξ = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT + italic_i italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ) , italic_σ = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_σ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT + italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + italic_i italic_σ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ) . (4)

Furthermore, the SM fermion sector is augmented by adding heavy vector-like up, down quarks and charged leptons as well as right handed Majorana neutrinos, denoted as

Tk,Bk,Ek(k=1,2)andNjR(j=1,2,3),subscript𝑇𝑘subscript𝐵𝑘subscript𝐸𝑘𝑘12andsubscript𝑁𝑗𝑅𝑗123T_{k},B_{k},E_{k}\leavevmode\nobreak\ \leavevmode\nobreak\ (k=1,2)\leavevmode% \nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \textrm{and}\leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode% \nobreak\ \leavevmode\nobreak\ N_{jR}\leavevmode\nobreak\ \leavevmode\nobreak% \ (j=1,2,3),italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_k = 1 , 2 ) and italic_N start_POSTSUBSCRIPT italic_j italic_R end_POSTSUBSCRIPT ( italic_j = 1 , 2 , 3 ) , (5)

respectively. The complete fermionic and scalar particle contents and their charges under SU(3)c×SU(2)L×U(1)Y×Z4𝑆𝑈subscript3𝑐𝑆𝑈subscript2𝐿𝑈subscript1𝑌subscript𝑍4SU(3)_{c}\times SU(2)_{L}\times U(1)_{Y}\times Z_{4}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT × italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT are given in Tables 1 and 2, respectively.

Note that the vev𝑣𝑒𝑣vevitalic_v italic_e italic_v of σ𝜎\sigmaitalic_σ will break the Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry to a remnant Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry. The Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT charges of the fields are defined as (1)QZ4superscript1subscript𝑄subscript𝑍4\left(-1\right)^{Q_{Z_{4}}}( - 1 ) start_POSTSUPERSCRIPT italic_Q start_POSTSUBSCRIPT italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, with QZ4subscript𝑄subscript𝑍4Q_{Z_{4}}italic_Q start_POSTSUBSCRIPT italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_POSTSUBSCRIPT being the Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT charge in additive notation of the field under consideration. The scalars η𝜂\etaitalic_η and ξ𝜉\xiitalic_ξ are odd under this remnant Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry, because of which, these scalars do not acquire vev𝑣𝑒𝑣vevitalic_v italic_e italic_vs. Thus, the preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry allows for a stable scalar DM candidate, which can be the lightest of the neutral CP- odd or -even component of η𝜂\etaitalic_η or the CP- odd or -even component of ξ𝜉\xiitalic_ξ. Also, for this reason, we refer to the scalars η𝜂\etaitalic_η and ξ𝜉\xiitalic_ξ as dark scalars from here onwards.

qnLsubscript𝑞𝑛𝐿q_{nL}italic_q start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT q3Lsubscript𝑞3𝐿q_{3L}italic_q start_POSTSUBSCRIPT 3 italic_L end_POSTSUBSCRIPT uiRsubscript𝑢𝑖𝑅u_{iR}italic_u start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT diRsubscript𝑑𝑖𝑅d_{iR}italic_d start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT TnLsubscript𝑇𝑛𝐿T_{nL}italic_T start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT TnRsubscript𝑇𝑛𝑅T_{nR}italic_T start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT BnLsubscript𝐵𝑛𝐿B_{nL}italic_B start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT BnRsubscript𝐵𝑛𝑅B_{nR}italic_B start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT liLsubscript𝑙𝑖𝐿l_{iL}italic_l start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT enRsubscript𝑒𝑛𝑅e_{nR}italic_e start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT e3Rsubscript𝑒3𝑅e_{3R}italic_e start_POSTSUBSCRIPT 3 italic_R end_POSTSUBSCRIPT EnLsubscript𝐸𝑛𝐿E_{nL}italic_E start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT EnRsubscript𝐸𝑛𝑅E_{nR}italic_E start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT NiRsubscript𝑁𝑖𝑅N_{iR}italic_N start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT
SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟑3\mathbf{3}bold_3 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1
SU(2)L𝑆𝑈subscript2𝐿SU(2)_{L}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT 𝟐2\mathbf{2}bold_2 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟐2\mathbf{2}bold_2 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1
U(1)Y𝑈subscript1𝑌U(1)_{Y}italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT 1616\frac{1}{6}divide start_ARG 1 end_ARG start_ARG 6 end_ARG 2323\frac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG 2323\frac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG 1313-\frac{1}{3}- divide start_ARG 1 end_ARG start_ARG 3 end_ARG 2323\frac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG 2323\frac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG 1313-\frac{1}{3}- divide start_ARG 1 end_ARG start_ARG 3 end_ARG 1313-\frac{1}{3}- divide start_ARG 1 end_ARG start_ARG 3 end_ARG 1212-\frac{1}{2}- divide start_ARG 1 end_ARG start_ARG 2 end_ARG 11-1- 1 11-1- 1 11-1- 1 11-1- 1 00
Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT 22-2- 2 00 00 00 11-1- 1 1111 1111 11-1- 1 00 2222 00 11-1- 1 1111 11-1- 1
Table 1: Fermion charge assignments under the SU(3)C×SU(2)L×SU(2)Y×Z4𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝐿𝑆𝑈subscript2𝑌subscript𝑍4SU\left(3\right)_{C}\times SU\left(2\right)_{L}\times SU\left(2\right)_{Y}% \times Z_{4}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT × italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry. Here i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3 and n=1,2𝑛12n=1,2italic_n = 1 , 2.
ϕitalic-ϕ\phiitalic_ϕ η𝜂\etaitalic_η ξ𝜉\xiitalic_ξ σ𝜎\sigmaitalic_σ
SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1
SU(2)L𝑆𝑈subscript2𝐿SU(2)_{L}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT 𝟐2\mathbf{2}bold_2 𝟐2\mathbf{2}bold_2 𝟏1\mathbf{1}bold_1 𝟏1\mathbf{1}bold_1
U(1)Y𝑈subscript1𝑌U(1)_{Y}italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT 1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG 1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG 00 00
Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT 00 11-1- 1 1111 2222
Table 2: Scalar charge assignments under the SU(3)C×SU(2)L×SU(2)Y×Z4𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝐿𝑆𝑈subscript2𝑌subscript𝑍4SU\left(3\right)_{C}\times SU\left(2\right)_{L}\times SU\left(2\right)_{Y}% \times Z_{4}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT × italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry.

The complete quark and leptonic Yukawa parts of the Lagrangian that are invariant under the symmetries of the model are given as

Y(q)superscriptsubscript𝑌𝑞\displaystyle-\mathcal{L}_{Y}^{\left(q\right)}- caligraphic_L start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT =\displaystyle== i=13yi(u)q¯3Lϕ~uiR+i=13yi(d)q¯3LϕdiR+n=12k=12ynk(T)q¯nLη~TkR+k=12i=13xki(u)T¯kLξuiRsuperscriptsubscript𝑖13superscriptsubscript𝑦𝑖𝑢subscript¯𝑞3𝐿~italic-ϕsubscript𝑢𝑖𝑅superscriptsubscript𝑖13superscriptsubscript𝑦𝑖𝑑subscript¯𝑞3𝐿italic-ϕsubscript𝑑𝑖𝑅superscriptsubscript𝑛12superscriptsubscript𝑘12superscriptsubscript𝑦𝑛𝑘𝑇subscript¯𝑞𝑛𝐿~𝜂subscript𝑇𝑘𝑅superscriptsubscript𝑘12superscriptsubscript𝑖13superscriptsubscript𝑥𝑘𝑖𝑢subscript¯𝑇𝑘𝐿superscript𝜉subscript𝑢𝑖𝑅\displaystyle\sum_{i=1}^{3}y_{i}^{\left(u\right)}\overline{q}_{3L}\widetilde{% \phi}u_{iR}+\sum_{i=1}^{3}y_{i}^{\left(d\right)}\overline{q}_{3L}\phi d_{iR}+% \sum_{n=1}^{2}\sum_{k=1}^{2}y_{nk}^{\left(T\right)}\overline{q}_{nL}\widetilde% {\eta}T_{kR}+\sum_{k=1}^{2}\sum_{i=1}^{3}x_{ki}^{\left(u\right)}\overline{T}_{% kL}\xi^{\ast}u_{iR}∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_u ) end_POSTSUPERSCRIPT over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT 3 italic_L end_POSTSUBSCRIPT over~ start_ARG italic_ϕ end_ARG italic_u start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_d ) end_POSTSUPERSCRIPT over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT 3 italic_L end_POSTSUBSCRIPT italic_ϕ italic_d start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_T ) end_POSTSUPERSCRIPT over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT over~ start_ARG italic_η end_ARG italic_T start_POSTSUBSCRIPT italic_k italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_u ) end_POSTSUPERSCRIPT over¯ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT (6)
+n=12k=12ynk(B)q¯nLηBkR+k=12n=12xkn(d)B¯kLξdnRsuperscriptsubscript𝑛12superscriptsubscript𝑘12superscriptsubscript𝑦𝑛𝑘𝐵subscript¯𝑞𝑛𝐿𝜂subscript𝐵𝑘𝑅superscriptsubscript𝑘12superscriptsubscript𝑛12superscriptsubscript𝑥𝑘𝑛𝑑subscript¯𝐵𝑘𝐿𝜉subscript𝑑𝑛𝑅\displaystyle+\sum_{n=1}^{2}\sum_{k=1}^{2}y_{nk}^{\left(B\right)}\overline{q}_% {nL}\eta B_{kR}+\sum_{k=1}^{2}\sum_{n=1}^{2}x_{kn}^{\left(d\right)}\overline{B% }_{kL}\xi d_{nR}+ ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_B ) end_POSTSUPERSCRIPT over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_n italic_L end_POSTSUBSCRIPT italic_η italic_B start_POSTSUBSCRIPT italic_k italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_d ) end_POSTSUPERSCRIPT over¯ start_ARG italic_B end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_ξ italic_d start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT
+k=12n=12(zT)knT¯kLσTnR+k=12n=12(zB)knB¯kLσBnR+H.c,formulae-sequencesuperscriptsubscript𝑘12superscriptsubscript𝑛12subscriptsubscript𝑧𝑇𝑘𝑛subscript¯𝑇𝑘𝐿superscript𝜎subscript𝑇𝑛𝑅superscriptsubscript𝑘12superscriptsubscript𝑛12subscriptsubscript𝑧𝐵𝑘𝑛subscript¯𝐵𝑘𝐿𝜎subscript𝐵𝑛𝑅𝐻𝑐\displaystyle+\sum_{k=1}^{2}\sum_{n=1}^{2}\left(z_{T}\right)_{kn}\overline{T}_% {kL}\sigma^{\ast}T_{nR}+\sum_{k=1}^{2}\sum_{n=1}^{2}\left(z_{B}\right)_{kn}% \overline{B}_{kL}\sigma B_{nR}+H.c,+ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT over¯ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_T start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT over¯ start_ARG italic_B end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_σ italic_B start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT + italic_H . italic_c ,

and,

Y(l)superscriptsubscript𝑌𝑙\displaystyle-\mathcal{L}_{Y}^{\left(l\right)}- caligraphic_L start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_l ) end_POSTSUPERSCRIPT =\displaystyle== i=13yi(e)l¯iLϕe3R+i=13k=12yik(E)l¯iLηEkR+k=12n=12xkn(e)E¯kLξenR+i=13j=13yij(N)l¯iLη~NjRsuperscriptsubscript𝑖13superscriptsubscript𝑦𝑖𝑒subscript¯𝑙𝑖𝐿italic-ϕsubscript𝑒3𝑅superscriptsubscript𝑖13superscriptsubscript𝑘12superscriptsubscript𝑦𝑖𝑘𝐸subscript¯𝑙𝑖𝐿𝜂subscript𝐸𝑘𝑅superscriptsubscript𝑘12superscriptsubscript𝑛12superscriptsubscript𝑥𝑘𝑛𝑒subscript¯𝐸𝑘𝐿𝜉subscript𝑒𝑛𝑅superscriptsubscript𝑖13superscriptsubscript𝑗13superscriptsubscript𝑦𝑖𝑗𝑁subscript¯𝑙𝑖𝐿~𝜂subscript𝑁𝑗𝑅\displaystyle\sum_{i=1}^{3}y_{i}^{\left(e\right)}\overline{l}_{iL}\phi e_{3R}+% \sum_{i=1}^{3}\sum_{k=1}^{2}y_{ik}^{\left(E\right)}\overline{l}_{iL}\eta E_{kR% }+\sum_{k=1}^{2}\sum_{n=1}^{2}x_{kn}^{\left(e\right)}\overline{E}_{kL}\xi e_{% nR}+\sum_{i=1}^{3}{\sum_{j=1}^{3}y_{ij}^{\left(N\right)}\overline{l}_{iL}% \widetilde{\eta}N_{jR}}∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT over¯ start_ARG italic_l end_ARG start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT italic_ϕ italic_e start_POSTSUBSCRIPT 3 italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT over¯ start_ARG italic_l end_ARG start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT italic_η italic_E start_POSTSUBSCRIPT italic_k italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT over¯ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_ξ italic_e start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT over¯ start_ARG italic_l end_ARG start_POSTSUBSCRIPT italic_i italic_L end_POSTSUBSCRIPT over~ start_ARG italic_η end_ARG italic_N start_POSTSUBSCRIPT italic_j italic_R end_POSTSUBSCRIPT (7)
+k=12n=12(zE)knE¯kLσEnR+i=13j=13(zN)ijNiRNjRC¯σ+H.c,formulae-sequencesuperscriptsubscript𝑘12superscriptsubscript𝑛12subscriptsubscript𝑧𝐸𝑘𝑛subscript¯𝐸𝑘𝐿𝜎subscript𝐸𝑛𝑅superscriptsubscript𝑖13superscriptsubscript𝑗13subscriptsubscript𝑧𝑁𝑖𝑗subscript𝑁𝑖𝑅¯superscriptsubscript𝑁𝑗𝑅𝐶𝜎𝐻𝑐\displaystyle+\sum_{k=1}^{2}\sum_{n=1}^{2}\left(z_{E}\right)_{kn}\overline{E}_% {kL}\sigma E_{nR}+{\sum_{i=1}^{3}\sum_{j=1}^{3}\left(z_{N}\right)_{ij}N_{iR}% \overline{N_{jR}^{C}}\sigma}+H.c,+ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT over¯ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_k italic_L end_POSTSUBSCRIPT italic_σ italic_E start_POSTSUBSCRIPT italic_n italic_R end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_z start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_i italic_R end_POSTSUBSCRIPT over¯ start_ARG italic_N start_POSTSUBSCRIPT italic_j italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT end_ARG italic_σ + italic_H . italic_c ,

respectively. The complete scalar potential and the masses and mixing of the scalars are discussed in the Appendix. From the Lagrangian, the first two generations of the SM charged fermions as well as the three generations of light active neutrinos obtain their masses from one loop level radiative seesaw mechanism as shown in the Feynman diagrams of Figures 1 and 2. Note that the dark scalars η𝜂\etaitalic_η and ξ𝜉\xiitalic_ξ run in these loop diagrams and thereby bring in a connection between the DM, active ν𝜈\nuitalic_ν mass generation and fermion mass hierarchy. Thus our model acts as a generalized version of the combination of scotogenic model Tao:1996vb and IDM Deshpande:1977rw .

Refer to caption
Refer to caption
Figure 1: Loop Feynman diagrams contributing to the entries of the SM up (left panel) and SM down (right panel) quark mass matrices. Here i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3 and k,n,m=1,2formulae-sequence𝑘𝑛𝑚12k,n,m=1,2italic_k , italic_n , italic_m = 1 , 2.
Refer to caption
Refer to caption
Figure 2: Loop Feynman diagrams contributing to the entries of the charged lepton (left panel) and light active neutrino (right panel) mass matrices. Here i,k,m,n=1,2,3formulae-sequence𝑖𝑘𝑚𝑛123i,k,m,n=1,2,3italic_i , italic_k , italic_m , italic_n = 1 , 2 , 3.

From the charged fermion Yukawa interactions and evaluating the diagrams in Figs.1 and 2, we find that the entries of the mass matrices for SM charged fermions are given as

(MU)nisubscriptsubscript𝑀𝑈𝑛𝑖\displaystyle\left(M_{U}\right)_{ni}( italic_M start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT =\displaystyle== k=12ynk(T)xki(u)mTk16π2{[f(mS12,mSk2)f(mS22,mTk2)]sin2θS[f(mA12,mTk2)f(mA22,mTk2)]sin2θA},superscriptsubscript𝑘12superscriptsubscript𝑦𝑛𝑘𝑇superscriptsubscript𝑥𝑘𝑖𝑢subscript𝑚subscript𝑇𝑘16superscript𝜋2delimited-[]𝑓superscriptsubscript𝑚subscript𝑆12superscriptsubscript𝑚subscript𝑆𝑘2𝑓superscriptsubscript𝑚subscript𝑆22superscriptsubscript𝑚subscript𝑇𝑘22subscript𝜃𝑆delimited-[]𝑓superscriptsubscript𝑚subscript𝐴12superscriptsubscript𝑚subscript𝑇𝑘2𝑓superscriptsubscript𝑚subscript𝐴22superscriptsubscript𝑚subscript𝑇𝑘22subscript𝜃𝐴\displaystyle\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{y_{nk}^{\left(T% \right)}x_{ki}^{\left(u\right)}m_{T_{k}}}{16\pi^{2}}\left\{\left[f\left(m_{S_{% 1}}^{2},m_{S_{k}}^{2}\right)-f\left(m_{S_{2}}^{2},m_{T_{k}}^{2}\right)\right]% \sin 2\theta_{S}-\left[f\left(m_{A_{1}}^{2},m_{T_{k}}^{2}\right)-f\left(m_{A_{% 2}}^{2},m_{T_{k}}^{2}\right)\right]\sin 2\theta_{A}\right\},∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_y start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_T ) end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_u ) end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { [ italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT - [ italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT } ,
(MU)3isubscriptsubscript𝑀𝑈3𝑖\displaystyle\left(M_{U}\right)_{3i}( italic_M start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 3 italic_i end_POSTSUBSCRIPT =\displaystyle== yi(u)v2,k,n=1,2,i=1,2,3.formulae-sequencesuperscriptsubscript𝑦𝑖𝑢𝑣2𝑘𝑛12𝑖123\displaystyle y_{i}^{\left(u\right)}\frac{v}{\sqrt{2}},\qquad\qquad k,n=1,2,% \qquad\qquad i=1,2,3.italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_u ) end_POSTSUPERSCRIPT divide start_ARG italic_v end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG , italic_k , italic_n = 1 , 2 , italic_i = 1 , 2 , 3 . (8)
(MD)nisubscriptsubscript𝑀𝐷𝑛𝑖\displaystyle\left(M_{D}\right)_{ni}( italic_M start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT =\displaystyle== k=12ynk(B)xkn(d)mBk16π2{[f(mS12,mBk2)f(mS22,mBk2)]sin2θS[f(mA12,mBk2)f(mA22,mBk2)]sin2θA},superscriptsubscript𝑘12superscriptsubscript𝑦𝑛𝑘𝐵superscriptsubscript𝑥𝑘𝑛𝑑subscript𝑚subscript𝐵𝑘16superscript𝜋2delimited-[]𝑓superscriptsubscript𝑚subscript𝑆12superscriptsubscript𝑚subscript𝐵𝑘2𝑓superscriptsubscript𝑚subscript𝑆22superscriptsubscript𝑚subscript𝐵𝑘22subscript𝜃𝑆delimited-[]𝑓superscriptsubscript𝑚subscript𝐴12superscriptsubscript𝑚subscript𝐵𝑘2𝑓superscriptsubscript𝑚subscript𝐴22superscriptsubscript𝑚subscript𝐵𝑘22subscript𝜃𝐴\displaystyle\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{y_{nk}^{\left(B% \right)}x_{kn}^{\left(d\right)}m_{B_{k}}}{16\pi^{2}}\left\{\left[f\left(m_{S_{% 1}}^{2},m_{B_{k}}^{2}\right)-f\left(m_{S_{2}}^{2},m_{B_{k}}^{2}\right)\right]% \sin 2\theta_{S}-\left[f\left(m_{A_{1}}^{2},m_{B_{k}}^{2}\right)-f\left(m_{A_{% 2}}^{2},m_{B_{k}}^{2}\right)\right]\sin 2\theta_{A}\right\},∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_y start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_B ) end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_d ) end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { [ italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT - [ italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT } ,
(MD)3isubscriptsubscript𝑀𝐷3𝑖\displaystyle\left(M_{D}\right)_{3i}( italic_M start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 3 italic_i end_POSTSUBSCRIPT =\displaystyle== yi(d)v2,k,n=1,2,i=1,2,3.formulae-sequencesuperscriptsubscript𝑦𝑖𝑑𝑣2𝑘𝑛12𝑖123\displaystyle y_{i}^{\left(d\right)}\frac{v}{\sqrt{2}},\qquad\qquad k,n=1,2,% \qquad\qquad i=1,2,3.italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_d ) end_POSTSUPERSCRIPT divide start_ARG italic_v end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG , italic_k , italic_n = 1 , 2 , italic_i = 1 , 2 , 3 . (9)
(Ml)nisubscriptsubscript𝑀𝑙𝑛𝑖\displaystyle\left(M_{l}\right)_{ni}( italic_M start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT =\displaystyle== k=12ynk(E)xkn(e)mEk16π2{[f(mS12,mEk2)f(mS22,mEk2)]sin2θS[f(mA12,mEk2)f(mA22,mEk2)]sin2θA},superscriptsubscript𝑘12superscriptsubscript𝑦𝑛𝑘𝐸superscriptsubscript𝑥𝑘𝑛𝑒subscript𝑚subscript𝐸𝑘16superscript𝜋2delimited-[]𝑓superscriptsubscript𝑚subscript𝑆12superscriptsubscript𝑚subscript𝐸𝑘2𝑓superscriptsubscript𝑚subscript𝑆22superscriptsubscript𝑚subscript𝐸𝑘22subscript𝜃𝑆delimited-[]𝑓superscriptsubscript𝑚subscript𝐴12superscriptsubscript𝑚subscript𝐸𝑘2𝑓superscriptsubscript𝑚subscript𝐴22superscriptsubscript𝑚subscript𝐸𝑘22subscript𝜃𝐴\displaystyle\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{y_{nk}^{\left(E% \right)}x_{kn}^{\left(e\right)}m_{E_{k}}}{16\pi^{2}}\left\{\left[f\left(m_{S_{% 1}}^{2},m_{E_{k}}^{2}\right)-f\left(m_{S_{2}}^{2},m_{E_{k}}^{2}\right)\right]% \sin 2\theta_{S}-\left[f\left(m_{A_{1}}^{2},m_{E_{k}}^{2}\right)-f\left(m_{A_{% 2}}^{2},m_{E_{k}}^{2}\right)\right]\sin 2\theta_{A}\right\},∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_y start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG { [ italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT - [ italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_f ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT } ,
(Ml)3isubscriptsubscript𝑀𝑙3𝑖\displaystyle\left(M_{l}\right)_{3i}( italic_M start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 3 italic_i end_POSTSUBSCRIPT =\displaystyle== yi(e)v2,k,n=1,2,i=1,2,3.formulae-sequencesuperscriptsubscript𝑦𝑖𝑒𝑣2𝑘𝑛12𝑖123\displaystyle y_{i}^{\left(e\right)}\frac{v}{\sqrt{2}},\qquad\qquad k,n=1,2,% \qquad\qquad i=1,2,3.italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT divide start_ARG italic_v end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG , italic_k , italic_n = 1 , 2 , italic_i = 1 , 2 , 3 . (10)

In the above equations, S1,2subscript𝑆12S_{1,2}italic_S start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and A1,2subscript𝐴12A_{1,2}italic_A start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT correspond to the physical dark CP even and CP odd neutral scalar mass eigenstates, respectively. As shown in detail in the Appendix, they are related to the gauge eigenstates as

(S1S2)=(RS)T(ηRξR)=(cosθSsinθSsinθScosθS)(ηRξR),(A1A2)=(RA)T(ηIξI)=(cosθAsinθAsinθAcosθA)(ηIξI).formulae-sequencesubscript𝑆1subscript𝑆2superscriptsubscript𝑅𝑆𝑇subscript𝜂𝑅subscript𝜉𝑅subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆subscript𝜂𝑅subscript𝜉𝑅subscript𝐴1subscript𝐴2superscriptsubscript𝑅𝐴𝑇subscript𝜂𝐼subscript𝜉𝐼subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴subscript𝜂𝐼subscript𝜉𝐼\left(\begin{array}[]{c}S_{1}\\ S_{2}\end{array}\right)=(R_{S})^{T}\left(\begin{array}[]{c}\eta_{R}\\ \xi_{R}\end{array}\right)=\left(\begin{array}[]{cc}\cos\theta_{S}&\sin\theta_{% S}\\ -\sin\theta_{S}&\cos\theta_{S}\end{array}\right)\left(\begin{array}[]{c}\eta_{% R}\\ \xi_{R}\end{array}\right),\hskip 14.22636pt\left(\begin{array}[]{c}A_{1}\\ A_{2}\end{array}\right)=(R_{A})^{T}\left(\begin{array}[]{c}\eta_{I}\\ \xi_{I}\end{array}\right)=\left(\begin{array}[]{cc}\cos\theta_{A}&\sin\theta_{% A}\\ -\sin\theta_{A}&\cos\theta_{A}\end{array}\right)\left(\begin{array}[]{c}\eta_{% I}\\ \xi_{I}\end{array}\right).( start_ARRAY start_ROW start_CELL italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , ( start_ARRAY start_ROW start_CELL italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) . (11)

Note that the expressions for the charged fermion masses depend on the above scalar mixing angles due to the presence of the interaction vertex C1(ϕηξ)subscript𝐶1superscriptitalic-ϕ𝜂𝜉C_{1}\left(\phi^{\dagger}\eta\xi\right)italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η italic_ξ ) in the loop diagrams for the masses of the charged fermions. The expressions for these mixing angles depend on the parameters in the potential and are given in the Appendix. Also, evaluating the diagram in the left hand side of Fig.2 results in the following expression for the active neutrino mass matrix:

(Mν)ijsubscriptsubscript𝑀𝜈𝑖𝑗\displaystyle\left(M_{\nu}\right)_{ij}( italic_M start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =\displaystyle== α=12k=13(y(N)RN~)ik(y(N)RN~)jkmN~k16π2[((RS)α1)2mSα2mSα2mN~k2ln(mSα2mN~k2)\displaystyle\sum_{\alpha=1}^{2}{\sum_{k=1}^{3}}\frac{\left(y^{\left(N\right)}% R_{\widetilde{N}}\right)_{ik}\left(y^{\left(N\right)}R_{\widetilde{N}}\right)_% {jk}m_{\widetilde{N}_{k}}}{16\pi^{2}}\left[\left(\left(R_{S}\right)_{\alpha 1}% \right)^{2}\frac{m_{{}_{S_{\alpha}}}^{2}}{m_{{}_{S_{\alpha}}}^{2}-m_{% \widetilde{N}_{k}}^{2}}\ln\left(\frac{m_{{}_{S_{\alpha}}}^{2}}{m_{\widetilde{N% }_{k}}^{2}}\right)\right.∑ start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_α 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (12)
\displaystyle-- ((RA)α1)2mAα2mA2mN~k2ln(mAα2mN~k2)],i,j=1,2,3,\displaystyle\left.\left(\left(R_{A}\right)_{\alpha 1}\right)^{2}\frac{m_{{}_{% A_{\alpha}}}^{2}}{m_{A}^{2}-m_{\widetilde{N}_{k}}^{2}}\ln\left(\frac{m_{A_{% \alpha}}^{2}}{m_{\widetilde{N}_{k}}^{2}}\right)\right],\hskip 28.45274pti,j=1,% 2,3{\small,}( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_α 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] , italic_i , italic_j = 1 , 2 , 3 ,

where RN~subscript𝑅~𝑁R_{\widetilde{N}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT, diagonalizes the sterile neutrino mass matrix mN~subscript𝑚~𝑁m_{\widetilde{N}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT and mN~ksubscript𝑚subscript~𝑁𝑘m_{\widetilde{N}_{k}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT are the corresponding eigenvalues. Again, note the dependence on the scalar mixing due to the presence of the vertex C2(ξ2σ)subscript𝐶2superscript𝜉2𝜎C_{2}\left(\xi^{2}\sigma\right)italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ ) in the loop diagram for neutrino mass.

To summarize, our proposed model corresponds to an extension of the IDM theory, where the scalar sector is augmented by the inclusion of two gauge singlet scalars whereas the fermion sector is increased by some charged vector-like fermions and right handed Majorana neutrinos. The SM gauge symmetry is supplemented by the inclusion of the Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT discrete symmetry, whose spontaneous breaking down to a preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry yields one loop level masses for the first and second families of SM charged fermions as well as for the active light Majorana neutrinos. It is worth mentioning that the remnant preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry prevents tree level masses for the first and second generation of SM charged fermions as well as for the active neutrinos, thereby guaranteeing the radiative nature of the seesaw mechanisms that produce these masses.

II.1 Modified Casas-Ibarra Parametrization for the neutrino Yukawa coupling

In this section, we discuss a simple parametrization for the neutrino Yukawa coupling matrix y(N)superscript𝑦𝑁y^{(N)}italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT, inspired by the Casas-Ibarra (CI) parametrization proposed in Casas:2001sr for the canonical type-I seesaw mechanism. The idea is to express the Yukawa coupling matrix in terms of the PMNS neutrino mixing matrix, active light neutrino masses and the masses of the heavy particles that contribute to light neutrino mass generation. By doing this, we ensure that the Yukawa coupling matrix that we take always reproduces the correct active light neutrino masses and mixing.

For simplicity, we take the sterile neutrino mass matrix mN~subscript𝑚~𝑁m_{\widetilde{N}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT to be diagonal so that RN~subscript𝑅~𝑁R_{\widetilde{N}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG end_POSTSUBSCRIPT becomes the identity matrix and denoting

Λk=α=12116π2[((RS)α1)2mSα2mSα2mN~k2ln(mSα2mN~k2)((RA)α1)2mAα2mA2mN~k2ln(mAα2mN~k2)],subscriptΛ𝑘superscriptsubscript𝛼12116superscript𝜋2delimited-[]superscriptsubscriptsubscript𝑅𝑆𝛼12superscriptsubscript𝑚subscript𝑆𝛼2superscriptsubscript𝑚subscript𝑆𝛼2superscriptsubscript𝑚subscript~𝑁𝑘2lnsuperscriptsubscript𝑚subscript𝑆𝛼2superscriptsubscript𝑚subscript~𝑁𝑘2superscriptsubscriptsubscript𝑅𝐴𝛼12superscriptsubscript𝑚subscript𝐴𝛼2superscriptsubscript𝑚𝐴2superscriptsubscript𝑚subscript~𝑁𝑘2lnsuperscriptsubscript𝑚subscript𝐴𝛼2superscriptsubscript𝑚subscript~𝑁𝑘2\Lambda_{k}=\sum_{\alpha=1}^{2}\frac{1}{16\pi^{2}}\Big{[}\left(\left(R_{S}% \right)_{\alpha 1}\right)^{2}\frac{m_{{}_{S_{\alpha}}}^{2}}{m_{{}_{S_{\alpha}}% }^{2}-m_{\widetilde{N}_{k}}^{2}}\textrm{ln}\left(\frac{m_{{}_{S_{\alpha}}}^{2}% }{m_{\widetilde{N}_{k}}^{2}}\right)-\left(\left(R_{A}\right)_{\alpha 1}\right)% ^{2}\frac{m_{{}_{A_{\alpha}}}^{2}}{m_{A}^{2}-m_{\widetilde{N}_{k}}^{2}}\textrm% {ln}\left(\frac{m_{A_{\alpha}}^{2}}{m_{\widetilde{N}_{k}}^{2}}\right)\Big{]},roman_Λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_α 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ln ( divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - ( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_α 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_m start_POSTSUBSCRIPT start_FLOATSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_FLOATSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ln ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] , (13)

the light neutrino mass matrix in Eqn.12 can be written as

Mν=y(N)Λy(N)T.subscript𝑀𝜈superscript𝑦𝑁Λsuperscriptsuperscript𝑦𝑁𝑇M_{\nu}=y^{(N)}\Lambda{y^{(N)}}^{T}.italic_M start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT roman_Λ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (14)

This equation can be inverted to express the Yukawa coupling matrix in terms of the neutrino oscillation parameters using the modified CI parametrization as Casas:2001sr

y(N)=U*MνdiagRΛk1.superscript𝑦𝑁superscript𝑈superscriptsubscript𝑀𝜈𝑑𝑖𝑎𝑔𝑅superscriptsubscriptΛ𝑘1y^{(N)}=U^{*}\sqrt{M_{\nu}^{diag}}R\sqrt{\Lambda_{k}^{-1}}.italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT = italic_U start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT square-root start_ARG italic_M start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d italic_i italic_a italic_g end_POSTSUPERSCRIPT end_ARG italic_R square-root start_ARG roman_Λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG . (15)

In the above equation, Mνdiagsuperscriptsubscript𝑀𝜈𝑑𝑖𝑎𝑔{M_{\nu}}^{diag}italic_M start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d italic_i italic_a italic_g end_POSTSUPERSCRIPT is the diagonal light neutrino mass matrix, U𝑈Uitalic_U is the PMNS mixing matrix and R𝑅Ritalic_R is a general 3×3333\times 33 × 3 complex orthogonal matrix parametrized by the three complex mixing angles, z1subscript𝑧1z_{1}italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, z2subscript𝑧2z_{2}italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and z3subscript𝑧3z_{3}italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT.

III Phenomenological Implications

In this section, we discuss the various phenomenological implications of our model. In particular, we study the predictions for charged lepton flavor violation, muon and electron magnetic moments, bounds from electroweak precision observables, collider constraints, leptogenesis and dark matter phenomenology.

III.1 Lepton flavor violation

Refer to caption
Figure 3: Correlation of BR (μeγ)𝜇𝑒𝛾(\mu\rightarrow e\gamma)( italic_μ → italic_e italic_γ ) against Tr[y(N)y(N)]delimited-[]superscriptsuperscript𝑦𝑁superscript𝑦𝑁[{y^{(N)}}^{\dagger}y^{(N)}][ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ] in our model are shown by the gray points. The pink shaded region is disfavored by the existing bound from MEG MEG:2016leq whereas the black horizontal line corresponds to the projected future sensitivity of MEG-II Baldini:2013ke ; Meucci:2022qbh . In generating this figure, we have used the modified CI parametrization for y(N)superscript𝑦𝑁y^{(N)}italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT as given in Eqn. 15.

One of the interesting features of the model that we are studying is the predictions for charged lepton flavour violating (LFV) decays, such as μeγ𝜇𝑒𝛾\mu\rightarrow e\gammaitalic_μ → italic_e italic_γ, which are strongly constrained by experiments. These decays occur at the one-loop level and are mediated by the exchanges of the neutral fermions and the charged scalars. The branching fraction for the radiative two-body decay process ijγsubscript𝑖subscript𝑗𝛾\ell_{i}\rightarrow\ell_{j}\gammaroman_ℓ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → roman_ℓ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_γ, where i=μ,τ𝑖𝜇𝜏i=\mu,\tauitalic_i = italic_μ , italic_τ is given as Ma:2001mr ; Toma:2013zsa ; Vicente:2014wga ; Lindner:2016bgg

BR(liljγ)=3(4π)3αem4GF2|k=13(y(N))ks(VlL)ikk,m=13(y(N))ms(VlL)jm2(4π)2mη±2F(mN~k2mη±2)|2BR(liljνiνj¯),BRsubscript𝑙𝑖subscript𝑙𝑗𝛾3superscript4𝜋3subscript𝛼em4superscriptsubscript𝐺𝐹2superscriptsuperscriptsubscript𝑘13subscriptsuperscript𝑦𝑁𝑘𝑠subscriptsuperscriptsubscript𝑉𝑙𝐿𝑖𝑘superscriptsubscript𝑘𝑚13subscriptsuperscript𝑦𝑁𝑚𝑠subscriptsuperscriptsubscript𝑉𝑙𝐿𝑗𝑚2superscript4𝜋2superscriptsubscript𝑚superscript𝜂plus-or-minus2𝐹superscriptsubscript𝑚subscript~𝑁𝑘2superscriptsubscript𝑚superscript𝜂plus-or-minus22BRsubscript𝑙𝑖subscript𝑙𝑗subscript𝜈𝑖¯subscript𝜈𝑗\mathrm{BR}\left(l_{i}\rightarrow l_{j}\gamma\right)=\frac{3\left(4\pi\right)^% {3}\alpha_{\mathrm{em}}}{4G_{F}^{2}}\left|\frac{\sum_{k=1}^{3}(y^{(N)})_{ks}% \left(V_{lL}^{\dagger}\right)_{ik}\sum_{k,m=1}^{3}(y^{(N)})_{ms}\left(V_{lL}^{% \dagger}\right)_{jm}}{2\left(4\pi\right)^{2}m_{\eta^{\pm}}^{2}}F\left(\frac{m_% {\tilde{N}_{k}}^{2}}{m_{\eta^{\pm}}^{2}}\right)\right|^{2}\mathrm{BR}\left(l_{% i}\rightarrow l_{j}\nu_{i}\overline{\nu_{j}}\right)\,,roman_BR ( italic_l start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_l start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_γ ) = divide start_ARG 3 ( 4 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_em end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | divide start_ARG ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k , italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_m italic_s end_POSTSUBSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_j italic_m end_POSTSUBSCRIPT end_ARG start_ARG 2 ( 4 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F ( divide start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_BR ( italic_l start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_l start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over¯ start_ARG italic_ν start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ) , (16)

with s=1,2,3𝑠123s=1,2,3italic_s = 1 , 2 , 3. Here, αemsubscript𝛼em\alpha_{\mathrm{em}}italic_α start_POSTSUBSCRIPT roman_em end_POSTSUBSCRIPT is the fine-structure constant, GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT the Fermi constant, V𝑉Vitalic_V is the left-handed charged lepton mixing matrix and mη±subscript𝑚superscript𝜂plus-or-minusm_{\eta^{\pm}}italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT is the mass of the charged scalar components of the SU(2)LSUsubscript2L\mathrm{SU(2)_{L}}roman_SU ( 2 ) start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT inert doublet η𝜂\etaitalic_η. The loop function F𝐹Fitalic_F is given as

F(x)=16x+3x2+2x36x2lnx6(1x).𝐹𝑥16𝑥3superscript𝑥22superscript𝑥36superscript𝑥2𝑥61𝑥F\left(x\right)=\frac{1-6x+3x^{2}+2x^{3}-6x^{2}\ln x}{6\left(1-x\right)}.italic_F ( italic_x ) = divide start_ARG 1 - 6 italic_x + 3 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - 6 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ln italic_x end_ARG start_ARG 6 ( 1 - italic_x ) end_ARG . (17)

The most stringent bounds for LFV come from muon decay measurements, namely μeγ𝜇𝑒𝛾\mu\rightarrow e\gammaitalic_μ → italic_e italic_γ. The MEG experiment puts an upper bound on the branching ratio as comes BR(μeγ)<4.2×1013BR𝜇𝑒𝛾4.2superscript1013\mathrm{BR}\left(\mu\rightarrow e\gamma\right)<4.2\times 10^{-13}roman_BR ( italic_μ → italic_e italic_γ ) < 4.2 × 10 start_POSTSUPERSCRIPT - 13 end_POSTSUPERSCRIPT MEG:2016leq .

In Fig.3, we show the predictions for BR(μeγ)BR𝜇𝑒𝛾\mathrm{BR}\left(\mu\rightarrow e\gamma\right)roman_BR ( italic_μ → italic_e italic_γ ) in our model as a function of Tr[y(N)y(N)]delimited-[]superscript𝑦𝑁superscriptsuperscript𝑦𝑁[{y^{(N)}y^{(N)}}^{\dagger}][ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ]. The pink shaded region is disfavored by the existing bound from MEG whereas the black horizontal line corresponds to the projected future sensitivity of 6×10146superscript10146\times 10^{-14}6 × 10 start_POSTSUPERSCRIPT - 14 end_POSTSUPERSCRIPT for MEG-II Baldini:2013ke ; Meucci:2022qbh . In generating this figure, we have used the modified CI parametrization for y(N)superscript𝑦𝑁y^{(N)}italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT as given in Eqn. 15. The masses of the scalars η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT, S1subscript𝑆1S_{1}italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, S2subscript𝑆2S_{2}italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are all varied in the range [300GeV,1.7TeV]300GeV1.7TeV[300\leavevmode\nobreak\ \textrm{GeV},1.7\leavevmode\nobreak\ \textrm{TeV}][ 300 GeV , 1.7 TeV ], the masses of the lightest heavy neutrino, mN~1subscript𝑚subscript~𝑁1m_{\tilde{N}_{1}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is varied in the range [200GeV,200TeV]200GeV200TeV[200\leavevmode\nobreak\ \textrm{GeV},200\leavevmode\nobreak\ \textrm{TeV}][ 200 GeV , 200 TeV ], mN~2subscript𝑚subscript~𝑁2m_{\tilde{N}_{2}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT and mN~3subscript𝑚subscript~𝑁3m_{\tilde{N}_{3}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT are varied in ranges [mN~1,2000TeV]subscript𝑚subscript~𝑁12000TeV[m_{\tilde{N}_{1}},2000\leavevmode\nobreak\ \textrm{TeV}][ italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , 2000 TeV ], the scalar mixing angles entering the expression for ΛksubscriptΛ𝑘\Lambda_{k}roman_Λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT are varied in the range [0,1]01[0,1][ 0 , 1 ], the active light neutrino mixing angles, mass-squared differences and CP phase are varied in the 3σ3𝜎3\sigma3 italic_σ ranges deSalas:2020pgw and the active neutrino Majorana phases are varied in the range [0,π]0𝜋[0,\pi][ 0 , italic_π ]. For the orthogonal matrix R𝑅Ritalic_R in Eqn. 15, the complex mixing angles z1subscript𝑧1z_{1}italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and z2subscript𝑧2z_{2}italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are taken to be 00 whereas z3subscript𝑧3z_{3}italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is taken as x3Ix3subscript𝑥3𝐼subscript𝑥3x_{3}-Ix_{3}italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_I italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT with x3subscript𝑥3x_{3}italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT varying in the range [0,50]050[0,50][ 0 , 50 ].

From this figure, it is evident that the majority of the predicted values lie with the current limits. However, it is noteworthy that a small number of data points corresponding to significantly large Yukawa couplings are disfavored by MEG whereas a few points are present within the future discovery sensitivity of MEG-II.

III.2 Muon and electron anomalous magnetic moments

In this subsection we analyze the implications of our model for the muon and the electron anomalous magnetic moments. The contributions to these mainly arise from the one-loop diagrams involving the exchange of electrically neutral scalars and charged vector like leptons running in the internal lines of the loop as shown in Figure 4.

Refer to caption
Refer to caption
Figure 4: Feynman diagrams contributing to the anomalous magnetic moment of the electron and muon.

Thus, the leading contributions to the muon and the electron anomalous magnetic moments in our model take the form:

ΔaμΔsubscript𝑎𝜇\displaystyle\Delta a_{\mu}roman_Δ italic_a start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT =\displaystyle== k=12Re(β2kγk2)mμ28π2[(RS)11(RS)12IS(μ)(mEk,mS1)+(RS)21(RS)22IS(μ)(mEk,mS2)]superscriptsubscript𝑘12R𝑒subscript𝛽2𝑘superscriptsubscript𝛾𝑘2superscriptsubscript𝑚𝜇28superscript𝜋2delimited-[]subscriptsubscript𝑅𝑆11subscriptsubscript𝑅𝑆12superscriptsubscript𝐼𝑆𝜇subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝑆1subscriptsubscript𝑅𝑆21subscriptsubscript𝑅𝑆22superscriptsubscript𝐼𝑆𝜇subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝑆2\displaystyle\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{\mathop{\mathrm{% R}e}\left(\beta_{2k}\gamma_{k2}^{\ast}\right)m_{\mu}^{2}}{8\pi^{2}}\left[\left% (R_{S}\right)_{11}\left(R_{S}\right)_{12}I_{S}^{\left(\mu\right)}\left(m_{E_{k% }},m_{S_{1}}\right)+\left(R_{S}\right)_{21}\left(R_{S}\right)_{22}I_{S}^{\left% (\mu\right)}\left(m_{E_{k}},m_{S_{2}}\right)\right]∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG start_BIGOP roman_R italic_e end_BIGOP ( italic_β start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_k 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) + ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] (18)
+k=12Re(β2kγk2)mμ28π2[(RA)11(RA)12IA(μ)(mEk,mA1)+(RA)21(RA)22IA(μ)(mEk,mA2)],superscriptsubscript𝑘12R𝑒subscript𝛽2𝑘superscriptsubscript𝛾𝑘2superscriptsubscript𝑚𝜇28superscript𝜋2delimited-[]subscriptsubscript𝑅𝐴11subscriptsubscript𝑅𝐴12superscriptsubscript𝐼𝐴𝜇subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝐴1subscriptsubscript𝑅𝐴21subscriptsubscript𝑅𝐴22superscriptsubscript𝐼𝐴𝜇subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝐴2\displaystyle+\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{\mathop{\mathrm% {R}e}\left(\beta_{2k}\gamma_{k2}^{\ast}\right)m_{\mu}^{2}}{8\pi^{2}}\left[% \left(R_{A}\right)_{11}\left(R_{A}\right)_{12}I_{A}^{\left(\mu\right)}\left(m_% {E_{k}},m_{A_{1}}\right)+\left(R_{A}\right)_{21}\left(R_{A}\right)_{22}I_{A}^{% \left(\mu\right)}\left(m_{E_{k}},m_{A_{2}}\right)\right],+ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG start_BIGOP roman_R italic_e end_BIGOP ( italic_β start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_k 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) + ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] ,
ΔaeΔsubscript𝑎𝑒\displaystyle\Delta a_{e}roman_Δ italic_a start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT =\displaystyle== k=12Re(β1kγk1)me28π2[(RS)11(RS)12IS(e)(mEk,mS1)+(RS)21(RS)22IS(e)(mEk,mS2)]superscriptsubscript𝑘12R𝑒subscript𝛽1𝑘superscriptsubscript𝛾𝑘1superscriptsubscript𝑚𝑒28superscript𝜋2delimited-[]subscriptsubscript𝑅𝑆11subscriptsubscript𝑅𝑆12superscriptsubscript𝐼𝑆𝑒subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝑆1subscriptsubscript𝑅𝑆21subscriptsubscript𝑅𝑆22superscriptsubscript𝐼𝑆𝑒subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝑆2\displaystyle\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{\mathop{\mathrm{% R}e}\left(\beta_{1k}\gamma_{k1}^{\ast}\right)m_{e}^{2}}{8\pi^{2}}\left[\left(R% _{S}\right)_{11}\left(R_{S}\right)_{12}I_{S}^{\left(e\right)}\left(m_{E_{k}},m% _{S_{1}}\right)+\left(R_{S}\right)_{21}\left(R_{S}\right)_{22}I_{S}^{\left(e% \right)}\left(m_{E_{k}},m_{S_{2}}\right)\right]∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG start_BIGOP roman_R italic_e end_BIGOP ( italic_β start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_k 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) + ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] (19)
+k=12Re(β1kγk1)me28π2[(RA)11(RA)12IA(e)(mEk,mA1)+(RA)21(RA)22IA(e)(mEk,mA2)].superscriptsubscript𝑘12R𝑒subscript𝛽1𝑘superscriptsubscript𝛾𝑘1superscriptsubscript𝑚𝑒28superscript𝜋2delimited-[]subscriptsubscript𝑅𝐴11subscriptsubscript𝑅𝐴12superscriptsubscript𝐼𝐴𝑒subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝐴1subscriptsubscript𝑅𝐴21subscriptsubscript𝑅𝐴22superscriptsubscript𝐼𝐴𝑒subscript𝑚subscript𝐸𝑘subscript𝑚subscript𝐴2\displaystyle+\mathop{\displaystyle\sum}\limits_{k=1}^{2}\frac{\mathop{\mathrm% {R}e}\left(\beta_{1k}\gamma_{k1}^{\ast}\right)m_{e}^{2}}{8\pi^{2}}\left[\left(% R_{A}\right)_{11}\left(R_{A}\right)_{12}I_{A}^{\left(e\right)}\left(m_{E_{k}},% m_{A_{1}}\right)+\left(R_{A}\right)_{21}\left(R_{A}\right)_{22}I_{A}^{\left(e% \right)}\left(m_{E_{k}},m_{A_{2}}\right)\right].+ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG start_BIGOP roman_R italic_e end_BIGOP ( italic_β start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_k 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) + ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] .

In the above equations, the loop factor IS(P)(e,μ)(mE,mS)superscriptsubscript𝐼𝑆𝑃𝑒𝜇subscript𝑚𝐸subscript𝑚𝑆I_{S\left(P\right)}^{\left(e,\mu\right)}\left(m_{E},m_{S}\right)italic_I start_POSTSUBSCRIPT italic_S ( italic_P ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e , italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) has the form Diaz:2002uk ; Jegerlehner:2009ry ; Kelso:2014qka ; Lindner:2016bgg ; Kowalska:2017iqv :

IS(A)(e,μ)(mE,mS)=01x2(1x±mEme,μ)mμ2x2+(mE2me,μ2)x+mS,A2(1x)𝑑x,superscriptsubscript𝐼𝑆𝐴𝑒𝜇subscript𝑚𝐸subscript𝑚𝑆superscriptsubscript01superscript𝑥2plus-or-minus1𝑥subscript𝑚𝐸subscript𝑚𝑒𝜇superscriptsubscript𝑚𝜇2superscript𝑥2superscriptsubscript𝑚𝐸2superscriptsubscript𝑚𝑒𝜇2𝑥superscriptsubscript𝑚𝑆𝐴21𝑥differential-d𝑥I_{S\left(A\right)}^{\left(e,\mu\right)}\left(m_{E},m_{S}\right)=\int_{0}^{1}% \frac{x^{2}\left(1-x\pm\frac{m_{E}}{m_{e,\mu}}\right)}{m_{\mu}^{2}x^{2}+\left(% m_{E}^{2}-m_{e,\mu}^{2}\right)x+m_{S,A}^{2}\left(1-x\right)}dx,italic_I start_POSTSUBSCRIPT italic_S ( italic_A ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_e , italic_μ ) end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - italic_x ± divide start_ARG italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_e , italic_μ end_POSTSUBSCRIPT end_ARG ) end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_e , italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_x + italic_m start_POSTSUBSCRIPT italic_S , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - italic_x ) end_ARG italic_d italic_x , (20)

and the dimensionless parameters β1ksubscript𝛽1𝑘\beta_{1k}italic_β start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT, β2ksubscript𝛽2𝑘\beta_{2k}italic_β start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT, γk1subscript𝛾𝑘1\gamma_{k1}italic_γ start_POSTSUBSCRIPT italic_k 1 end_POSTSUBSCRIPT, γk2subscript𝛾𝑘2\gamma_{k2}italic_γ start_POSTSUBSCRIPT italic_k 2 end_POSTSUBSCRIPT are given by:

β1ksubscript𝛽1𝑘\displaystyle\beta_{1k}italic_β start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT =\displaystyle== i=13yik(E)(VlL)1i,γk1=j=13xkj(E)(VlR)j1,superscriptsubscript𝑖13superscriptsubscript𝑦𝑖𝑘𝐸subscriptsuperscriptsubscript𝑉𝑙𝐿1𝑖subscript𝛾𝑘1superscriptsubscript𝑗13superscriptsubscript𝑥𝑘𝑗𝐸subscriptsubscript𝑉𝑙𝑅𝑗1\displaystyle\mathop{\displaystyle\sum}\limits_{i=1}^{3}y_{ik}^{\left(E\right)% }\left(V_{lL}^{\dagger}\right)_{1i},\hskip 19.91684pt\hskip 19.91684pt\gamma_{% k1}=\mathop{\displaystyle\sum}\limits_{j=1}^{3}x_{kj}^{\left(E\right)}\left(V_% {lR}\right)_{j1},∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT italic_k 1 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_R end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , (21)
β2ksubscript𝛽2𝑘\displaystyle\beta_{2k}italic_β start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT =\displaystyle== i=13yik(E)(VlL)2i,γk2=j=13xkj(E)(VlR)j2,superscriptsubscript𝑖13superscriptsubscript𝑦𝑖𝑘𝐸subscriptsuperscriptsubscript𝑉𝑙𝐿2𝑖subscript𝛾𝑘2superscriptsubscript𝑗13superscriptsubscript𝑥𝑘𝑗𝐸subscriptsubscript𝑉𝑙𝑅𝑗2\displaystyle\mathop{\displaystyle\sum}\limits_{i=1}^{3}y_{ik}^{\left(E\right)% }\left(V_{lL}^{\dagger}\right)_{2i},\hskip 19.91684pt\hskip 19.91684pt\gamma_{% k2}=\mathop{\displaystyle\sum}\limits_{j=1}^{3}x_{kj}^{\left(E\right)}\left(V_% {lR}\right)_{j2},∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 2 italic_i end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT italic_k 2 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_E ) end_POSTSUPERSCRIPT ( italic_V start_POSTSUBSCRIPT italic_l italic_R end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_j 2 end_POSTSUBSCRIPT , (22)

where, VlLsubscript𝑉𝑙𝐿V_{lL}italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT and VlRsubscript𝑉𝑙𝑅V_{lR}italic_V start_POSTSUBSCRIPT italic_l italic_R end_POSTSUBSCRIPT are the rotation matrices that diagonalize the charged lepton matrix Mlsubscript𝑀𝑙M_{l}italic_M start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT according to the relation

VlLMlVlR=diag(me,mμ,mτ).superscriptsubscript𝑉𝑙𝐿subscript𝑀𝑙subscript𝑉𝑙𝑅𝑑𝑖𝑎𝑔subscript𝑚𝑒subscript𝑚𝜇subscript𝑚𝜏V_{lL}^{\dagger}{M}_{l}V_{lR}=diag\left(m_{e},m_{\mu},m_{\tau}\right).italic_V start_POSTSUBSCRIPT italic_l italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_l italic_R end_POSTSUBSCRIPT = italic_d italic_i italic_a italic_g ( italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) . (23)

The muon and electron anomalous magnetic moments are constrained to be in the ranges Abi:2021gix ; Morel:2020dww ; Muong-2:2023cdq ,

(Δaμ)expsubscriptΔsubscript𝑎𝜇\displaystyle\left(\Delta a_{\mu}\right)_{\exp}( roman_Δ italic_a start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT =\displaystyle== (2.49±0.48)×109plus-or-minus2.490.48superscript109\displaystyle\left(2.49\pm 0.48\right)\times 10^{-9}( 2.49 ± 0.48 ) × 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT
(Δae)expsubscriptΔsubscript𝑎𝑒exp\displaystyle(\Delta a_{e})_{\text{exp}}( roman_Δ italic_a start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT exp end_POSTSUBSCRIPT =\displaystyle== (4.8±3.0)×1013.plus-or-minus4.83.0superscript1013\displaystyle(4.8\pm 3.0)\times 10^{-13}.( 4.8 ± 3.0 ) × 10 start_POSTSUPERSCRIPT - 13 end_POSTSUPERSCRIPT . (24)

Figure 5 shows the allowed parameter space in the mEmS1subscript𝑚𝐸subscript𝑚subscript𝑆1m_{E}-m_{S_{1}}italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT and mEmS2subscript𝑚𝐸subscript𝑚subscript𝑆2m_{E}-m_{S_{2}}italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT planes consistent with the muon and electron anomalous magnetic moments. As seen from Figure 5, our model is consistent with the experimental values of the muon and electron anomalous magnetic moments for dark scalar masses (mS1,mS2subscript𝑚subscript𝑆1subscript𝑚subscript𝑆2m_{S_{1}},\leavevmode\nobreak\ m_{S_{2}}italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT) in the TeV scale and masses of charged exotic leptons (mEsubscript𝑚𝐸m_{E}italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT) in the sub-TeV scale.

Refer to caption
Refer to caption
Figure 5: Parameter space in the mEmS1subscript𝑚𝐸subscript𝑚subscript𝑆1m_{E}-m_{S_{1}}italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT (left) and mEmS2subscript𝑚𝐸subscript𝑚subscript𝑆2m_{E}-m_{S_{2}}italic_m start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT (right) planes that are consistent with the measured values of the electron and muon anomalous magnetic moments

III.3 Oblique parameters

The extra scalars in our model, in particular, the inert scalar doublet, affect the oblique corrections of the SM which are parameterized in terms of the well-known quantities T𝑇Titalic_T, S𝑆Sitalic_S and U𝑈Uitalic_U, defined as Altarelli:1990zd ; Peskin:1991sw ; Barbieri:2004qk

T𝑇\displaystyle Titalic_T =Π33(q2)Π11(q2)αEM(MZ)MW2|q2=0,absentevaluated-atsubscriptΠ33superscript𝑞2subscriptΠ11superscript𝑞2subscript𝛼EMsubscript𝑀𝑍superscriptsubscript𝑀𝑊2superscript𝑞20\displaystyle=\left.\frac{\Pi_{33}\left(q^{2}\right)-\Pi_{11}\left(q^{2}\right% )}{\alpha_{\text{EM}}(M_{Z})\,M_{W}^{2}}\right|_{q^{2}=0},= divide start_ARG roman_Π start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - roman_Π start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_α start_POSTSUBSCRIPT EM end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT ) italic_M start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_POSTSUBSCRIPT italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 end_POSTSUBSCRIPT , (25)
S𝑆\displaystyle Sitalic_S =2sin2θWαEM(MZ)dΠ30(q2)dq2|q2=0,absentevaluated-at22subscript𝜃𝑊subscript𝛼EMsubscript𝑀𝑍𝑑subscriptΠ30superscript𝑞2𝑑superscript𝑞2superscript𝑞20\displaystyle=\left.\frac{2\,\sin 2\theta_{W}}{\alpha_{\text{EM}}(M_{Z})}\frac% {d\Pi_{30}\left(q^{2}\right)}{dq^{2}}\right|_{q^{2}=0},= divide start_ARG 2 roman_sin 2 italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT EM end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT ) end_ARG divide start_ARG italic_d roman_Π start_POSTSUBSCRIPT 30 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_POSTSUBSCRIPT italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 end_POSTSUBSCRIPT , (26)
U𝑈\displaystyle Uitalic_U =4sin2θWαEM(MZ)(dΠ33(q2)dq2dΠ11(q2)dq2)|q2=0.absentevaluated-at4superscript2subscript𝜃𝑊subscript𝛼EMsubscript𝑀𝑍𝑑subscriptΠ33superscript𝑞2𝑑superscript𝑞2𝑑subscriptΠ11superscript𝑞2𝑑superscript𝑞2superscript𝑞20\displaystyle=\left.\frac{4\sin^{2}\theta_{W}}{\alpha_{\text{EM}}(M_{Z})}\left% (\frac{d\Pi_{33}\left(q^{2}\right)}{dq^{2}}-\frac{d\Pi_{11}\left(q^{2}\right)}% {dq^{2}}\right)\right|_{q^{2}=0}.= divide start_ARG 4 roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT EM end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT ) end_ARG ( divide start_ARG italic_d roman_Π start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG italic_d roman_Π start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) | start_POSTSUBSCRIPT italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 end_POSTSUBSCRIPT . (27)

Here Π11(0)subscriptΠ110\Pi_{11}\left(0\right)roman_Π start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( 0 ), Π33(0)subscriptΠ330\Pi_{33}\left(0\right)roman_Π start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT ( 0 ), and Π30(q2)subscriptΠ30superscript𝑞2\Pi_{30}\left(q^{2}\right)roman_Π start_POSTSUBSCRIPT 30 end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) are the vacuum polarization amplitudes with the {Wμ1,Wμ1}superscriptsubscript𝑊𝜇1superscriptsubscript𝑊𝜇1\{W_{\mu}^{1}\,,W_{\mu}^{1}\}{ italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT , italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT }, {Wμ3,Wμ3}superscriptsubscript𝑊𝜇3superscriptsubscript𝑊𝜇3\{W_{\mu}^{3},\,W_{\mu}^{3}\}{ italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT } and {Wμ3,Bμ}superscriptsubscript𝑊𝜇3subscript𝐵𝜇\{W_{\mu}^{3},\,B_{\mu}\}{ italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , italic_B start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT } external gauge bosons, respectively. We note that in the definitions of the parameters S𝑆Sitalic_S, T𝑇Titalic_T and U𝑈Uitalic_U, the new physics scale is assumed to be heavy compared to MWsubscript𝑀𝑊M_{W}italic_M start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT and MZsubscript𝑀𝑍M_{Z}italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT. As their values are measured in high-precision experiments, they act as a constraint on the validity of our model. In this section, we determine the one-loop contributions to S𝑆Sitalic_S, T𝑇Titalic_T, U𝑈Uitalic_U in our model and find the parameter space where the oblique parameter constraints can be successfully accommodated.

The one-loop contributions to the oblique parameters arising from the inert scalar exchange are given by:

T𝑇\displaystyle Titalic_T 116π2v2αEM(MZ)[i=12j=12((RS)1i)2((RA)1j)2F(mSi02,mAj02)+mη±2\displaystyle\simeq\frac{1}{16\pi^{2}\,v^{2}\,\alpha_{\text{EM}}(M_{Z})}\left[% \sum_{i=1}^{2}\sum_{j=1}^{2}\left(\left(R_{S}\right)_{1i}\right)^{2}\left(% \left(R_{A}\right)_{1j}\right)^{2}\,F\left(m_{S_{i}^{0}}^{2},\,m_{A_{j}^{0}}^{% 2}\right)+m_{\eta^{\pm}}^{2}\right.≃ divide start_ARG 1 end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT EM end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT ) end_ARG [ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
i=12((RS)1i)2F(mSi02,mη±2)i=12((RA)1i)2F(mAi02,mη±2)],\displaystyle\qquad-\left.\sum_{i=1}^{2}\left(\left(R_{S}\right)_{1i}\right)^{% 2}\,F\left(m_{S_{i}^{0}}^{2},\,m_{\eta^{\pm}}^{2}\right)-\sum_{i=1}^{2}\left(% \left(R_{A}\right)_{1i}\right)^{2}\,F\left(m_{A_{i}^{0}}^{2},\,m_{\eta^{\pm}}^% {2}\right)\right],- ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] , (28)
S𝑆\displaystyle Sitalic_S i=12j=12((RS)1i)2((RA)1j)212πK(mSi02,mAj02,mη±2),similar-to-or-equalsabsentsuperscriptsubscript𝑖12superscriptsubscript𝑗12superscriptsubscriptsubscript𝑅𝑆1𝑖2superscriptsubscriptsubscript𝑅𝐴1𝑗212𝜋𝐾superscriptsubscript𝑚superscriptsubscript𝑆𝑖02superscriptsubscript𝑚superscriptsubscript𝐴𝑗02superscriptsubscript𝑚superscript𝜂plus-or-minus2\displaystyle\simeq\sum_{i=1}^{2}\sum_{j=1}^{2}\frac{\left(\left(R_{S}\right)_% {1i}\right)^{2}\left(\left(R_{A}\right)_{1j}\right)^{2}}{12\pi}\,K\left(m_{S_{% i}^{0}}^{2},\,m_{A_{j}^{0}}^{2},\,m_{\eta^{\pm}}^{2}\right),≃ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 italic_π end_ARG italic_K ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (29)
U𝑈\displaystyle Uitalic_U S+i=12[((RA)1i)2K2(mAj02,mη±2)+((RS)1i)2K2(mSi02,mη±2)],similar-to-or-equalsabsent𝑆superscriptsubscript𝑖12delimited-[]superscriptsubscriptsubscript𝑅𝐴1𝑖2subscript𝐾2superscriptsubscript𝑚superscriptsubscript𝐴𝑗02superscriptsubscript𝑚superscript𝜂plus-or-minus2superscriptsubscriptsubscript𝑅𝑆1𝑖2subscript𝐾2superscriptsubscript𝑚superscriptsubscript𝑆𝑖02superscriptsubscript𝑚superscript𝜂plus-or-minus2\displaystyle\simeq-S+\sum_{i=1}^{2}\left[\left(\left(R_{A}\right)_{1i}\right)% ^{2}\,K_{2}\left(m_{A_{j}^{0}}^{2},\,m_{\eta^{\pm}}^{2}\right)+\left(\left(R_{% S}\right)_{1i}\right)^{2}\,K_{2}\left(m_{S_{i}^{0}}^{2},\,m_{\eta^{\pm}}^{2}% \right)\right],≃ - italic_S + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ ( ( italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ( ( italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 1 italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] , (30)

where we introduce the functions CarcamoHernandez:2015smi

F(m12,m22)𝐹superscriptsubscript𝑚12superscriptsubscript𝑚22\displaystyle F\left(m_{1}^{2},\,m_{2}^{2}\right)italic_F ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) =m12m22m12m22ln(m12m22),absentsuperscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚12superscriptsubscript𝑚22\displaystyle=\frac{m_{1}^{2}\,m_{2}^{2}}{m_{1}^{2}-m_{2}^{2}}\,\ln\left(\frac% {m_{1}^{2}}{m_{2}^{2}}\right),= divide start_ARG italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , (31)
K(m12,m22,m32)𝐾superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚32\displaystyle K\left(m_{1}^{2},\,m_{2}^{2},\,m_{3}^{2}\right)italic_K ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) =1(m22m12)3[m14(3m22m12)ln(m12m32)m24(3m12m22)ln(m22m32)\displaystyle=\frac{1}{\left(m_{2}^{2}-m_{1}^{2}\right)^{3}}\left[m_{1}^{4}% \left(3\,m_{2}^{2}-m_{1}^{2}\right)\,\ln\left(\frac{m_{1}^{2}}{m_{3}^{2}}% \right)-m_{2}^{4}\left(3\,m_{1}^{2}-m_{2}^{2}\right)\ln\left(\frac{m_{2}^{2}}{% m_{3}^{2}}\right)\right.= divide start_ARG 1 end_ARG start_ARG ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG [ italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( 3 italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( 3 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
16[27m12m22(m12m22)+5(m26m16)]],\displaystyle\qquad-\left.\frac{1}{6}\left[27\,m_{1}^{2}m_{2}^{2}\left(m_{1}^{% 2}-m_{2}^{2}\right)+5\left(m_{2}^{6}-m_{1}^{6}\right)\right]\right],- divide start_ARG 1 end_ARG start_ARG 6 end_ARG [ 27 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + 5 ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT ) ] ] , (32)
K2(m12,m22)subscript𝐾2superscriptsubscript𝑚12superscriptsubscript𝑚22\displaystyle K_{2}(m_{1}^{2},m_{2}^{2})italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) =5m16+27m14m2227m12m24+6(m163m14m22)ln(m12m22)+5m266(m12m22)3absent5superscriptsubscript𝑚1627superscriptsubscript𝑚14superscriptsubscript𝑚2227superscriptsubscript𝑚12superscriptsubscript𝑚246superscriptsubscript𝑚163superscriptsubscript𝑚14superscriptsubscript𝑚22superscriptsubscript𝑚12superscriptsubscript𝑚225superscriptsubscript𝑚266superscriptsuperscriptsubscript𝑚12superscriptsubscript𝑚223\displaystyle=\frac{-5m_{1}^{6}+27m_{1}^{4}m_{2}^{2}-27m_{1}^{2}m_{2}^{4}+6% \left(m_{1}^{6}-3m_{1}^{4}m_{2}^{2}\right)\ln\left(\frac{m_{1}^{2}}{m_{2}^{2}}% \right)+5m_{2}^{6}}{6\left(m_{1}^{2}-m_{2}^{2}\right)^{3}}= divide start_ARG - 5 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT + 27 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 27 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 6 ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT - 3 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + 5 italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG start_ARG 6 ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG (33)

The above given functions have the following properties:

limm2m1F(m12,m22)=m12,subscriptsubscript𝑚2subscript𝑚1𝐹superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚12\displaystyle\lim_{m_{2}\rightarrow m_{1}}F\left(m_{1}^{2},\,m_{2}^{2}\right)=% m_{1}^{2}\,,roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_F ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (34)
limm1m3K(m12,m22,m32)=K2(m22,m32),subscriptsubscript𝑚1subscript𝑚3𝐾superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚32subscript𝐾2superscriptsubscript𝑚22superscriptsubscript𝑚32\displaystyle\lim_{m_{1}\rightarrow m_{3}}K(m_{1}^{2},\,m_{2}^{2},\,m_{3}^{2})% =K_{2}(m_{2}^{2},\,m_{3}^{2})\,,roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_K ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (35)
limm1m2K(m12,m22,m32)=K1(m22,m32)=ln(m22m32),subscriptsubscript𝑚1subscript𝑚2𝐾superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚32subscript𝐾1superscriptsubscript𝑚22superscriptsubscript𝑚32superscriptsubscript𝑚22superscriptsubscript𝑚32\displaystyle\lim_{m_{1}\rightarrow m_{2}}K(m_{1}^{2},\,m_{2}^{2},\,m_{3}^{2})% =K_{1}(m_{2}^{2},\,m_{3}^{2})=\ln\left(\frac{m_{2}^{2}}{m_{3}^{2}}\right),roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_K ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = roman_ln ( divide start_ARG italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , (36)
limm2m3K(m12,m22,m32)=K2(m12,m32).subscriptsubscript𝑚2subscript𝑚3𝐾superscriptsubscript𝑚12superscriptsubscript𝑚22superscriptsubscript𝑚32subscript𝐾2superscriptsubscript𝑚12superscriptsubscript𝑚32\displaystyle\lim_{m_{2}\rightarrow m_{3}}K(m_{1}^{2},\,m_{2}^{2},\,m_{3}^{2})% =K_{2}(m_{1}^{2},\,m_{3}^{2}).roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_K ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (37)

It is worth mentioning that, from the properties of the loop functions appearing in the expressions for the oblique S𝑆Sitalic_S, T𝑇Titalic_T and U𝑈Uitalic_U parameters given in Grimus:2007if ; Grimus:2008nb ; CarcamoHernandez:2015smi , it follows that the contributions to these parameters arising from new physics will vanish in the limit of degenerate heavy BSM scalars, in the multiHiggs doublet models. Thus, in multiHiggs doublet models, a spectrum of the BSM scalars with a moderate mass splitting will be favoured by electroweak precision tests. The values allowed for S𝑆Sitalic_S, T𝑇Titalic_T, U𝑈Uitalic_U from the PDG electroweak fit  Zyla:2020zbs , S=0.01±0.10,T=0.03±0.12formulae-sequence𝑆plus-or-minus0.010.10𝑇plus-or-minus0.030.12S=-0.01\pm 0.10,T=0.03\pm 0.12italic_S = - 0.01 ± 0.10 , italic_T = 0.03 ± 0.12 and U=0.02±0.11𝑈plus-or-minus0.020.11U=0.02\pm 0.11italic_U = 0.02 ± 0.11, are in good agreement with the SM prediction S=T=U=0𝑆𝑇𝑈0S=T=U=0italic_S = italic_T = italic_U = 0.

Refer to caption
Refer to caption
Figure 6: Correlations of the S,T𝑆𝑇S,Titalic_S , italic_T and U𝑈Uitalic_U parameters (left panel) and correlation of the masses of the charged scalar, η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT against that of the lightest CP even scalar, S1subscript𝑆1S_{1}italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, for the points that satisfy the constraints on S,T𝑆𝑇S,Titalic_S , italic_T and U𝑈Uitalic_U parameters (right panel). In plotting these figures, the masses of the scalars A1,A2,S1,S2subscript𝐴1subscript𝐴2subscript𝑆1subscript𝑆2A_{1},A_{2},S_{1},S_{2}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT are varied in the range [1,2]12[1,2][ 1 , 2 ] TeV.

In the left panel of Fig. 6, we have shown the predictions for correlations of the S,T𝑆𝑇S,Titalic_S , italic_T and U𝑈Uitalic_U parameters in our model. The S𝑆Sitalic_S and U𝑈Uitalic_U parameters are shown in the x and y axes whereas the values of the T𝑇Titalic_T parameter are shown by the color code. In plotting this figure, we have varied the masses of the scalars A1,A2,S1,S2subscript𝐴1subscript𝐴2subscript𝑆1subscript𝑆2A_{1},A_{2},S_{1},S_{2}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT in the range [1,2]12[1,2][ 1 , 2 ] TeV. In the right panel of Fig. 6, we have shown the correlation of the mass of the charged scalar, mη±subscript𝑚superscript𝜂plus-or-minusm_{\eta^{\pm}}italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT against the mass of the lightest CP even scalar, mS1subscript𝑚subscript𝑆1m_{S_{1}}italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT, for the points that satisfy experimental constraints on the three oblique parameters. Note that the lightest CP even dark scalar S1subscript𝑆1S_{1}italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT can have masses in the TeV range, the exact allowed range being dependent on the mass of the charged scalar η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT.

III.4 Higgs diphoton decay rate

The presence of an extra charged scalar also means that the the decay rate for the hγγ𝛾𝛾h\rightarrow\gamma\gammaitalic_h → italic_γ italic_γ process gets modified. This in our case, takes the form:

Γ(hγγ)=αem2mh3256π3v2|fahffNCQf2F1/2(ρf)+ahWWF1(ρW)+Chη±ηv2mη±2F0(ρη±)|2,Γ𝛾𝛾superscriptsubscript𝛼𝑒𝑚2superscriptsubscript𝑚3256superscript𝜋3superscript𝑣2superscriptsubscript𝑓subscript𝑎𝑓𝑓subscript𝑁𝐶superscriptsubscript𝑄𝑓2subscript𝐹12subscript𝜌𝑓subscript𝑎𝑊𝑊subscript𝐹1subscript𝜌𝑊subscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plus𝑣2superscriptsubscript𝑚superscript𝜂plus-or-minus2subscript𝐹0subscript𝜌superscript𝜂plus-or-minus2\Gamma(h\rightarrow\gamma\gamma)=\dfrac{\alpha_{em}^{2}m_{h}^{3}}{256\pi^{3}v^% {2}}\left|\sum_{f}a_{hff}N_{C}Q_{f}^{2}F_{1/2}(\rho_{f})+a_{hWW}F_{1}(\rho_{W}% )+\frac{C_{h\eta^{\pm}\eta^{\mp}}v}{2m_{\eta^{\pm}}^{2}}F_{0}(\rho_{\eta^{\pm}% })\right|^{2},roman_Γ ( italic_h → italic_γ italic_γ ) = divide start_ARG italic_α start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 256 italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_h italic_f italic_f end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT ( italic_ρ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) + italic_a start_POSTSUBSCRIPT italic_h italic_W italic_W end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_ρ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT ) + divide start_ARG italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_v end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ρ start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (38)

where ρf=mh24Mf2subscript𝜌𝑓superscriptsubscript𝑚24superscriptsubscript𝑀𝑓2\rho_{f}=\frac{m_{h}^{2}}{4M_{f}^{2}}italic_ρ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_M start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, ρW=mh24MW2subscript𝜌𝑊superscriptsubscript𝑚24superscriptsubscript𝑀𝑊2\rho_{W}=\frac{m_{h}^{2}}{4M_{W}^{2}}italic_ρ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_M start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and ρη±=mh24Mη±2subscript𝜌superscript𝜂plus-or-minussuperscriptsubscript𝑚24superscriptsubscript𝑀superscript𝜂plus-or-minus2\rho_{\eta^{\pm}}=\frac{m_{h}^{2}}{4M_{\eta^{\pm}}^{2}}italic_ρ start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_M start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, αemsubscript𝛼𝑒𝑚\alpha_{em}italic_α start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT is the fine structure constant; NCsubscript𝑁𝐶N_{C}italic_N start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT is the color factor (NC=1subscript𝑁𝐶1N_{C}=1italic_N start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 1 for leptons and NC=3subscript𝑁𝐶3N_{C}=3italic_N start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 3 for quarks) and Qfsubscript𝑄𝑓Q_{f}italic_Q start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT is the electric charge of the fermion in the loop. From the fermion-loop contributions, we only consider the dominant top quark term. Chη±ηsubscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plusC_{h\eta^{\pm}\eta^{\mp}}italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT is the trilinear coupling between the SM-like Higgs and a pair of charged Higges, whereas ahttsubscript𝑎𝑡𝑡a_{htt}italic_a start_POSTSUBSCRIPT italic_h italic_t italic_t end_POSTSUBSCRIPT and ahWWsubscript𝑎𝑊𝑊a_{hWW}italic_a start_POSTSUBSCRIPT italic_h italic_W italic_W end_POSTSUBSCRIPT are the deviation factors from the SM Higgs-top quark coupling and the SM Higgs-W gauge boson coupling, respectively (in the SM these factors are unity). Such deviation factors are close to unity in our model, which is a consequence of the fact that the singlet scalar field σ𝜎\sigmaitalic_σ acquires a VEV much larger than the electroweak symmetry-breaking scale.

Moreover, F1/2(z)subscript𝐹12𝑧F_{1/2}(z)italic_F start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT ( italic_z ) and F1(z)subscript𝐹1𝑧F_{1}(z)italic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_z ) are the dimensionless loop factors for spin-1/2121/21 / 2 and spin-1111 particles running in the internal lines of the loops. They are given by:

F1/2(z)subscript𝐹12𝑧\displaystyle F_{1/2}(z)italic_F start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT ( italic_z ) =2(z+(z1)f(z))z2,absent2𝑧𝑧1𝑓𝑧superscript𝑧2\displaystyle=2(z+(z-1)f(z))z^{-2},= 2 ( italic_z + ( italic_z - 1 ) italic_f ( italic_z ) ) italic_z start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , (39)
F1(z)subscript𝐹1𝑧\displaystyle F_{1}(z)italic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_z ) =(2z2+3z+3(2z1)f(z))z2,absent2superscript𝑧23𝑧32𝑧1𝑓𝑧superscript𝑧2\displaystyle=-(2z^{2}+3z+3(2z-1)f(z))z^{-2},= - ( 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 3 italic_z + 3 ( 2 italic_z - 1 ) italic_f ( italic_z ) ) italic_z start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , (40)
F0(z)subscript𝐹0𝑧\displaystyle F_{0}(z)italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_z ) =(zf(z))z2,absent𝑧𝑓𝑧superscript𝑧2\displaystyle=-(z-f(z))z^{-2},= - ( italic_z - italic_f ( italic_z ) ) italic_z start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , (41)

with

f(z)={arcsin2zforz1,14(ln(1+1z111z1iπ)2)forz>1.f(z)=\left\{\begin{array}[]{lcc}\arcsin^{2}\sqrt{z}&\text{for}&z\leq 1,\\ &&\\ -\frac{1}{4}\left(\ln\left(\frac{1+\sqrt{1-z^{-1}}}{1-\sqrt{1-z^{-1}}-i\pi}% \right)^{2}\right)&\text{for}&z>1.\\ &&\end{array}\right.italic_f ( italic_z ) = { start_ARRAY start_ROW start_CELL roman_arcsin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG italic_z end_ARG end_CELL start_CELL for end_CELL start_CELL italic_z ≤ 1 , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL - divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( roman_ln ( divide start_ARG 1 + square-root start_ARG 1 - italic_z start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 - square-root start_ARG 1 - italic_z start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG - italic_i italic_π end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL for end_CELL start_CELL italic_z > 1 . end_CELL end_ROW end_ARRAY (42)

In order to study the implications of our model in the decay of the 126126126126 GeV Higgs into a photon pair, one introduces the Higgs diphoton signal strength Rγγsubscript𝑅𝛾𝛾R_{\gamma\gamma}italic_R start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT, which is defined as

Rγγ=σ(pph)Γ(hγγ)σ(pph)SMΓ(hγγ)SMahtt2Γ(hγγ)Γ(hγγ)SM.subscript𝑅𝛾𝛾𝜎𝑝𝑝Γ𝛾𝛾𝜎subscript𝑝𝑝𝑆𝑀Γsubscript𝛾𝛾𝑆𝑀similar-to-or-equalssuperscriptsubscript𝑎𝑡𝑡2Γ𝛾𝛾Γsubscript𝛾𝛾𝑆𝑀R_{\gamma\gamma}=\frac{\sigma(pp\rightarrow h)\Gamma(h\rightarrow\gamma\gamma)% }{\sigma(pp\rightarrow h)_{SM}\Gamma(h\rightarrow\gamma\gamma)_{SM}}\simeq a_{% htt}^{2}\frac{\Gamma(h\rightarrow\gamma\gamma)}{\Gamma(h\rightarrow\gamma% \gamma)_{SM}}.italic_R start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT = divide start_ARG italic_σ ( italic_p italic_p → italic_h ) roman_Γ ( italic_h → italic_γ italic_γ ) end_ARG start_ARG italic_σ ( italic_p italic_p → italic_h ) start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT roman_Γ ( italic_h → italic_γ italic_γ ) start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT end_ARG ≃ italic_a start_POSTSUBSCRIPT italic_h italic_t italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( italic_h → italic_γ italic_γ ) end_ARG start_ARG roman_Γ ( italic_h → italic_γ italic_γ ) start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT end_ARG . (43)

That Higgs diphoton signal strength normalizes the γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ signal predicted by our model in relation to the one given by the SM. Here we have used the fact that in our model, single Higgs production is dominated by gluon fusion into a top quark loop as in the SM.

The ratio Rγγsubscript𝑅𝛾𝛾R_{\gamma\gamma}italic_R start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT has been measured by CMS and ATLAS collaborations with the best fit signals 10.1007/978-981-19-2354-8_33 ; ATLAS:2022tnm :

RγγCMS=1.020.09+0.11andRγγATLAS=1.040.09+0.10.formulae-sequencesuperscriptsubscript𝑅𝛾𝛾𝐶𝑀𝑆superscriptsubscript1.020.090.11andsuperscriptsubscript𝑅𝛾𝛾𝐴𝑇𝐿𝐴𝑆superscriptsubscript1.040.090.10R_{\gamma\gamma}^{CMS}=1.02_{-0.09}^{+0.11}\quad\text{and}\quad R_{\gamma% \gamma}^{ATLAS}=1.04_{-0.09}^{+0.10}.italic_R start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C italic_M italic_S end_POSTSUPERSCRIPT = 1.02 start_POSTSUBSCRIPT - 0.09 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + 0.11 end_POSTSUPERSCRIPT and italic_R start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_T italic_L italic_A italic_S end_POSTSUPERSCRIPT = 1.04 start_POSTSUBSCRIPT - 0.09 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + 0.10 end_POSTSUPERSCRIPT . (44)

Figure 7 displays the Higgs diphoton signal strength as a function of the electrically charged scalar mass, for different values of the trilinear scalar coupling Chη±ηsubscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plusC_{h\eta^{\pm}\eta^{\mp}}italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT set to be equal to 11-1- 1 TeV, 750750-750- 750 GeV and 500500-500- 500 GeV, 1111 TeV, 750750750750 GeV and 500500500500 GeV, in the gray, purple, red, black, blue and purple curves, respectively. The horizontal lines correspond to the 1σ1𝜎1\sigma1 italic_σ CMS bounds on the Higgs diphoton signal strength. This figure clearly shows that our model can successfully accommodate the current Higgs diphoton decay rate constraints. One can see that the lower bound on charged scalar mass is around 300300300300 GeV for the value trilinear coupling Chη±η=1subscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plus1C_{h\eta^{\pm}\eta^{\mp}}=1italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 1 TeV. This lower bound increases further to 430similar-toabsent430\sim 430∼ 430 GeV for Chη±η=500subscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plus500C_{h\eta^{\pm}\eta^{\mp}}=500italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 500 GeV.

Refer to caption
Figure 7: Higgs diphoton signal strength as a function of the charged scalar mass for different values of the trilinear scalar coupling Chη±ηsubscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plusC_{h\eta^{\pm}\eta^{\mp}}italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT. The gray, purple, red, black, blue and purple curves correspond to values of the values of the trilinear scalar coupling Chη±ηsubscript𝐶superscript𝜂plus-or-minussuperscript𝜂minus-or-plusC_{h\eta^{\pm}\eta^{\mp}}italic_C start_POSTSUBSCRIPT italic_h italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ∓ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT equal to 11-1- 1 TeV, 750750-750- 750 GeV and 500500-500- 500 GeV, 1111 TeV, 750750750750 GeV and 500500500500 GeV, respectively.

III.5 Charged scalar pair production

Refer to caption
Figure 8: Total cross section for the charged scalar pair production via Drell-Yan mechanism at a proton-proton collider for S=14𝑆14\sqrt{S}=14square-root start_ARG italic_S end_ARG = 14 TeV (continuous line) and S=100𝑆100\sqrt{S}=100square-root start_ARG italic_S end_ARG = 100 TeV (dashed-line) as a function of the charged scalar mass mη±subscript𝑚superscript𝜂plus-or-minusm_{\eta^{\pm}}italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT.

Next we discuss the production of a scalar pair η+ηsuperscript𝜂superscript𝜂\eta^{+}\eta^{-}italic_η start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT at a proton-proton collider. Such production mechanism at the LHC is dominated by Drell-Yan annihilation. Fig. 8 displays the total cross section for the charged scalar pair production via Drell-Yan mechanism at a proton-proton collider for S=14𝑆14\sqrt{S}=14square-root start_ARG italic_S end_ARG = 14 TeV (continuous line) and S=100𝑆100\sqrt{S}=100square-root start_ARG italic_S end_ARG = 100 TeV (dashed-line) as a function of the charged scalar mass mη±subscript𝑚superscript𝜂plus-or-minusm_{\eta^{\pm}}italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT. This figure shows that the total cross section for the scalar pair production at a proton-proton collider ranges from 2222 fb up to 104superscript10410^{-4}10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT fb, for mη±3001000similar-tosubscript𝑚superscript𝜂plus-or-minus3001000m_{\eta^{\pm}}\sim 300-1000italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∼ 300 - 1000 GeV and S=14𝑆14\sqrt{S}=14square-root start_ARG italic_S end_ARG = 14 TeV. This total production cross section is enhanced when the proton-proton center of mass energy is increased and takes values ranging from 40404040 fb up to about 0.10.10.10.1 fb for S=100𝑆100\sqrt{S}=100square-root start_ARG italic_S end_ARG = 100 TeV. For an LHC integrated luminosity of 100100100100 fb 11{}^{-1}start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT, we get 200200200200 events per year. This implies 4×1044superscript1044\times 10^{-4}4 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT events per minute for pair production of charged scalars of mass 300300300300 GeV at S=14𝑆14\sqrt{S}=14square-root start_ARG italic_S end_ARG = 14 TeV. This number of events is well below the experimental upper limit of 5555 scalars per minute showing that charged scalars of mass 300300300300 GeV and above are allowed by the bounds from the LHC searches. Moreover such values of the charged scalar mass are also allowed by the Higgs diphoton decay rate constraints as seen in the previous section.

III.6 Leptogenesis

As mentioned before, the SM does not provide an explanation for the observed baryon asymmetry of the Universe. The asymmetry can be expressed in terms of a parameter η𝜂\etaitalic_η defined as η=ηBηB¯ηγ𝜂subscript𝜂𝐵subscript𝜂¯𝐵subscript𝜂𝛾\eta=\frac{\eta_{B}-\eta_{\bar{B}}}{\eta_{\gamma}}italic_η = divide start_ARG italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT - italic_η start_POSTSUBSCRIPT over¯ start_ARG italic_B end_ARG end_POSTSUBSCRIPT end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG , where ηBsubscript𝜂𝐵\eta_{B}italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , ηB¯subscript𝜂¯𝐵\eta_{\bar{B}}italic_η start_POSTSUBSCRIPT over¯ start_ARG italic_B end_ARG end_POSTSUBSCRIPT and ηγsubscript𝜂𝛾\eta_{\gamma}italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT are the number densities of baryons, antibaryons and photons, respectively. The combined analysis of the data from measurements of the cosmic microwave background and large-scale structure indicates η6.1×1010similar-to𝜂6.1superscript1010\eta\sim 6.1\times 10^{-10}italic_η ∼ 6.1 × 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT Planck:2018vyg ; ParticleDataGroup:2022pth . One appealing solution to this observed matter-antimatter asymmetry is the mechanism of leptogenesis where the out-of-equilibrium lepton number violating decay of the heavy states gives rise to a lepton asymmetry, which in turn is converted into a baryon asymmetry via the non-perturbative sphaleron processes Fukugita:1986hr ; Kolb:1990vq . In the traditional vanilla leptogenesis with type-I seesaw, the requirement of satisfying the correct active neutrino masses leads to a lower bound on the lightest heavy neutrino mass 1081010similar-toabsentsuperscript108superscript1010\sim 10^{8}-10^{10}∼ 10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT GeV Davidson:2002qv . On the other hand, in our model, it is possible to lower the scale of leptogenesis much further since the light neutrino masses are also loop-suppressed. The authors of reference Hugle:2018qbw have studied low-scale leptogenesis in the context of the scotogenic model, where it was shown that in the version of scotogenic model with three heavy Majorana neutrinos, the scale of the decaying neutrino could be as low as 10 TeV (This is not possible if there are only two heavy neutrinos, in which case the decaying Majorana fermion should be as heavy as 1081010superscript108superscript101010^{8}-10^{10}10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT GeV.). We extend the analysis to our model and as we will see, successful leptogenesis can be realized for heavy neutrino masses as low as 10101010 TeV.

Assuming that the CP asymmetry is generated by the decay of the lightest heavy neutrino N1subscript𝑁1N_{1}italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to the SM leptons and the components of the dark scalar η𝜂\etaitalic_η, the relevant Boltzmann equations are given as:

dNN1dz1=D1(NN1NN1eq),𝑑subscript𝑁subscript𝑁1𝑑subscript𝑧1subscript𝐷1subscript𝑁subscript𝑁1superscriptsubscript𝑁𝑁1𝑒𝑞\frac{dN_{N_{1}}}{dz_{1}}=-D_{1}(N_{N_{1}}-N_{N1}^{eq}),divide start_ARG italic_d italic_N start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG = - italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_N start_POSTSUBSCRIPT italic_N 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_q end_POSTSUPERSCRIPT ) , (45)
dNBLdz1=ϵ1D1(NN1NN1eq)WtotNBL,𝑑subscript𝑁𝐵𝐿𝑑subscript𝑧1subscriptitalic-ϵ1subscript𝐷1subscript𝑁subscript𝑁1superscriptsubscript𝑁𝑁1𝑒𝑞superscript𝑊𝑡𝑜𝑡subscript𝑁𝐵𝐿\frac{dN_{B-L}}{dz_{1}}=-\epsilon_{1}D_{1}(N_{N_{1}}-N_{N1}^{eq})-W^{tot}N_{B-% L},divide start_ARG italic_d italic_N start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG = - italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_N start_POSTSUBSCRIPT italic_N 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_q end_POSTSUPERSCRIPT ) - italic_W start_POSTSUPERSCRIPT italic_t italic_o italic_t end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT , (46)

where z1=mN~1/Tsubscript𝑧1subscript𝑚subscript~𝑁1𝑇z_{1}=m_{\widetilde{N}_{1}}/Titalic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT / italic_T. The CP asymmetry parameter ϵ1subscriptitalic-ϵ1\epsilon_{1}italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is given by

ϵ1=18π(y(N)y(N))11j=2,3Im[(y(N)y(N))j12]1rj1F(rj1,η1),subscriptitalic-ϵ118𝜋subscriptsuperscriptsuperscript𝑦𝑁superscript𝑦𝑁11subscript𝑗23Imdelimited-[]subscriptsuperscriptsuperscriptsuperscript𝑦𝑁superscript𝑦𝑁2𝑗11subscript𝑟𝑗1𝐹subscript𝑟𝑗1subscript𝜂1\epsilon_{1}=\frac{1}{8\pi({y^{(N)}}^{\dagger}y^{(N)})_{11}}\sum_{j=2,3}% \textrm{Im}\leavevmode\nobreak\ [({y^{(N)}}^{\dagger}y^{(N)})^{2}_{j1}]\frac{1% }{\sqrt{r_{j1}}}F(r_{j1},\eta_{1}),italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 8 italic_π ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j = 2 , 3 end_POSTSUBSCRIPT Im [ ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT ] divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG end_ARG italic_F ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (47)

where the function F(rj1,η1)𝐹subscript𝑟𝑗1subscript𝜂1F(r_{j1},\eta_{1})italic_F ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) is defined as Buchmuller:2004nz ; Davidson:2008bu ; Hugle:2018qbw

F(rj1,η1)=rj1[f(rj1,η1)rj1rj11(1η1)2],𝐹subscript𝑟𝑗1subscript𝜂1subscript𝑟𝑗1delimited-[]𝑓subscript𝑟𝑗1subscript𝜂1subscript𝑟𝑗1subscript𝑟𝑗11superscript1subscript𝜂12F(r_{j1},\eta_{1})=\sqrt{r_{j1}}\Big{[}f(r_{j1},\eta_{1})-\frac{\sqrt{r_{j1}}}% {r_{j1}-1}(1-\eta_{1})^{2}\Big{]},italic_F ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = square-root start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG [ italic_f ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) - divide start_ARG square-root start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT - 1 end_ARG ( 1 - italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (48)

with f(rj1,η1)𝑓subscript𝑟𝑗1subscript𝜂1f(r_{j1},\eta_{1})italic_f ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) given as

f(rj1,η1)=rj1[1+12η1+rj1(1η1)2ln(rj1η1212η1+rj1)].𝑓subscript𝑟𝑗1subscript𝜂1subscript𝑟𝑗1delimited-[]112subscript𝜂1subscript𝑟𝑗1superscript1subscript𝜂12lnsubscript𝑟𝑗1superscriptsubscript𝜂1212subscript𝜂1subscript𝑟𝑗1f(r_{j1},\eta_{1})=\sqrt{r_{j1}}\Big{[}1+\frac{1-2\eta_{1}+r_{j1}}{(1-\eta_{1}% )^{2}}\textrm{ln}\Big{(}\frac{r_{j1}-\eta_{1}^{2}}{1-2\eta_{1}+r_{j1}}\Big{)}% \Big{]}.italic_f ( italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = square-root start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG [ 1 + divide start_ARG 1 - 2 italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 1 - italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ln ( divide start_ARG italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT - italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 1 - 2 italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT end_ARG ) ] . (49)

The parameters rj1subscript𝑟𝑗1r_{j1}italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT and η1subscript𝜂1\eta_{1}italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT are defined as

rj1=mN~j2mN~12,η1=mη2mN~12.formulae-sequencesubscript𝑟𝑗1superscriptsubscript𝑚subscript~𝑁𝑗2superscriptsubscript𝑚subscript~𝑁12subscript𝜂1superscriptsubscript𝑚𝜂2superscriptsubscript𝑚subscript~𝑁12r_{j1}=\frac{m_{\widetilde{N}_{j}}^{2}}{m_{\widetilde{N}_{1}}^{2}},\,\,\eta_{1% }=\frac{m_{\eta}^{2}}{m_{\widetilde{N}_{1}}^{2}}.italic_r start_POSTSUBSCRIPT italic_j 1 end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .

The coefficient D1subscript𝐷1D_{1}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT in Eqns.45 and 46 depend on z1subscript𝑧1z_{1}italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and is given by :

D1=K1z1𝒦1(z1)𝒦(z1),wheresubscript𝐷1subscript𝐾1subscript𝑧1subscript𝒦1subscript𝑧1𝒦subscript𝑧1whereD_{1}=K_{1}z_{1}\frac{\mathcal{K}_{1}(z_{1})}{\mathcal{K}(z_{1})},\,\,\,% \textrm{where}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG caligraphic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG caligraphic_K ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG , where (50)
K1=Γ1H(z1=1),Γ1=M18π(y(N)y(N))11(1η1)2,H=4π3g*45T2MPl=H(z1=1)z12.formulae-sequencesubscript𝐾1subscriptΓ1𝐻subscript𝑧11formulae-sequencesubscriptΓ1subscript𝑀18𝜋subscriptsuperscriptsuperscript𝑦𝑁superscript𝑦𝑁11superscript1subscript𝜂12𝐻4superscript𝜋3superscript𝑔45superscript𝑇2subscript𝑀𝑃𝑙𝐻subscript𝑧11superscriptsubscript𝑧12K_{1}=\frac{\Gamma_{1}}{H(z_{1}=1)}\,,\,\,\,\,\Gamma_{1}=\frac{M_{1}}{8\pi}({y% ^{(N)}}^{\dagger}y^{(N)})_{11}(1-\eta_{1})^{2},\,\,\,\,H=\sqrt{\frac{4\pi^{3}g% ^{*}}{45}}\frac{T^{2}}{M_{Pl}}=\frac{H(z_{1}=1)}{z_{1}^{2}}.italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_H ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1 ) end_ARG , roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 8 italic_π end_ARG ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( 1 - italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_H = square-root start_ARG divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT end_ARG start_ARG 45 end_ARG end_ARG divide start_ARG italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_P italic_l end_POSTSUBSCRIPT end_ARG = divide start_ARG italic_H ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1 ) end_ARG start_ARG italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (51)
Wtot=W1+ΔW,wheresuperscript𝑊𝑡𝑜𝑡subscript𝑊1Δ𝑊whereW^{tot}=W_{1}+\Delta W,\,\,\,\textrm{where}italic_W start_POSTSUPERSCRIPT italic_t italic_o italic_t end_POSTSUPERSCRIPT = italic_W start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Δ italic_W , where (52)
W1=14K1z13𝒦1(z1),ΔW=ΓΔL=2Hz1=365MPlπ1/2glg*M1z12Tr[y(N)Ty(N)(y(N)Ty(N))]and,formulae-sequencesubscript𝑊114subscript𝐾1superscriptsubscript𝑧13subscript𝒦1subscript𝑧1Δ𝑊subscriptΓΔ𝐿2𝐻subscript𝑧1365subscript𝑀𝑃𝑙superscript𝜋12subscript𝑔𝑙superscript𝑔subscript𝑀1superscriptsubscript𝑧12Trdelimited-[]superscriptsuperscript𝑦𝑁𝑇superscript𝑦𝑁superscriptsuperscriptsuperscript𝑦𝑁𝑇superscript𝑦𝑁and,W_{1}=\frac{1}{4}K_{1}z_{1}^{3}\mathcal{K}_{1}(z_{1})\,,\,\,\,\Delta W=\frac{% \Gamma_{\Delta L=2}}{Hz_{1}}=\frac{36\sqrt{5}M_{Pl}}{\pi^{1/2}g_{l}\sqrt{g^{*}% }M_{1}z_{1}^{2}}\textrm{Tr}[{y^{(N)}}^{T}y^{(N)}({y^{(N)}}^{T}y^{(N)})^{% \dagger}]\,\,\,\,\textrm{and,}italic_W start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , roman_Δ italic_W = divide start_ARG roman_Γ start_POSTSUBSCRIPT roman_Δ italic_L = 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_H italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG = divide start_ARG 36 square-root start_ARG 5 end_ARG italic_M start_POSTSUBSCRIPT italic_P italic_l end_POSTSUBSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT square-root start_ARG italic_g start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT end_ARG italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG Tr [ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ( italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ] and, (53)
NN1eq=z122κ2(z1).superscriptsubscript𝑁subscript𝑁1𝑒𝑞superscriptsubscript𝑧122subscript𝜅2subscript𝑧1N_{N_{1}}^{eq}=\frac{z_{1}^{2}}{2}\kappa_{2}(z_{1}).italic_N start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_q end_POSTSUPERSCRIPT = divide start_ARG italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_κ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . (54)

In the above equations, 𝒦i(z1)subscript𝒦𝑖subscript𝑧1\mathcal{K}_{i}(z_{1})caligraphic_K start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) with i=1,2𝑖12i=1,2italic_i = 1 , 2 are the modified Bessel functions of the second kind, gl=2subscript𝑔𝑙2g_{l}=2italic_g start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 2 counts the effective degrees of freedom per active neutrino, g*=141superscript𝑔141g^{*}=141italic_g start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT = 141 denotes the total number of degrees of freedom and MPlsubscript𝑀𝑃𝑙M_{Pl}italic_M start_POSTSUBSCRIPT italic_P italic_l end_POSTSUBSCRIPT is the Planck scale.

Refer to caption
Refer to caption
Figure 9: The baryon asymmetry parameter η𝜂\etaitalic_η as a function of Tr[y(N)y(N)]delimited-[]superscriptsuperscript𝑦𝑁superscript𝑦𝑁[{y^{(N)}}^{\dagger}y^{(N)}][ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ] (left) and the lightest heavy neutrino mass M1subscript𝑀1M_{1}italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (right), respectively. We have used the modified CI parametrization for y(N)superscript𝑦𝑁y^{(N)}italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT as given in Eq. 15 to generate this figure. Refer to the text for details.

We solve Eqs.45 and 46 numerically to calculate the final BL𝐵𝐿B-Litalic_B - italic_L asymmetry NBLfsuperscriptsubscript𝑁𝐵𝐿𝑓N_{B-L}^{f}italic_N start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT which in turn can be converted into baryon asymmetry η𝜂\etaitalic_η as η=CNBLf𝜂𝐶superscriptsubscript𝑁𝐵𝐿𝑓\eta=CN_{B-L}^{f}italic_η = italic_C italic_N start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT, where the conversion factor C0.006𝐶0.006C\approx 0.006italic_C ≈ 0.006 Hugle:2018qbw . The results of our numerical analysis are shown in Fig. 9, where we have plotted the calculated baryon asymmetry η𝜂\etaitalic_η as a function of Tr[y(N)y(N)]delimited-[]superscriptsuperscript𝑦𝑁superscript𝑦𝑁[{y^{(N)}}^{\dagger}y^{(N)}][ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ] (left) and the lightest heavy neutrino mass M1subscript𝑀1M_{1}italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (right), respectively. As in section-III.1, we have used the modified CI parametrization for y(N)superscript𝑦𝑁y^{(N)}italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT as given in Eq. 15 to generate this figure. The masses of the scalars η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT, S1subscript𝑆1S_{1}italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and S2subscript𝑆2S_{2}italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are fixed to be 700 GeV, 500 GeV and 750 GeV respectively, whereas the masses of the two CP odd scalars A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are varied in the ranges [mS1,mS1+50GeV]subscript𝑚subscript𝑆1subscript𝑚subscript𝑆150GeV[m_{S_{1}},m_{S_{1}}+50\leavevmode\nobreak\ \textrm{GeV}][ italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + 50 GeV ] and [mS2,mS2+50GeV]subscript𝑚subscript𝑆2subscript𝑚subscript𝑆250GeV[m_{S_{2}},m_{S_{2}}+50\leavevmode\nobreak\ \textrm{GeV}][ italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + 50 GeV ] respectively, the scalar mixing angles entering the expression for ΛksubscriptΛ𝑘\Lambda_{k}roman_Λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT are varied in the range [0,1]01[0,1][ 0 , 1 ], the two heavier Majorana neutrino masses mN~2subscript𝑚subscript~𝑁2m_{\tilde{N}_{2}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT and mN~3subscript𝑚subscript~𝑁3m_{\tilde{N}_{3}}italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT are varied in ranges [mN~1,2000TeV]subscript𝑚subscript~𝑁12000TeV[m_{\tilde{N}_{1}},2000\leavevmode\nobreak\ \textrm{TeV}][ italic_m start_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , 2000 TeV ], the active light neutrino mixing angles, mass-squared differences and CP phase are varied in the 3σ3𝜎3\sigma3 italic_σ ranges deSalas:2020pgw and the active neutrino Majorana phases are varied in the range [0,π]0𝜋[0,\pi][ 0 , italic_π ]. For the orthogonal matrix R𝑅Ritalic_R in Eqn. 15, the complex mixing angles z1subscript𝑧1z_{1}italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and z2subscript𝑧2z_{2}italic_z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are taken to be 00 whereas z3subscript𝑧3z_{3}italic_z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is taken as x3Ix3subscript𝑥3𝐼subscript𝑥3x_{3}-Ix_{3}italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_I italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT with x3subscript𝑥3x_{3}italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT varying in the range [0,50]050[0,50][ 0 , 50 ]. The blue horizontal line in Fig. 9 corresponds to the observed asymmetry. From these two figures, one can clearly see that our model can successfully accommodate the observed baryon asymmetry of the universe for M1 >10 >subscript𝑀110M_{1}\mathrel{\hbox to 0.0pt{\lower 4.0pt\hbox{\hskip 1.0pt$\sim$}\hss}\raise 1% .0pt\hbox{$>$}}10italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∼> 10 TeV and Tr[y(N)y(N)] >0.01 >delimited-[]superscriptsuperscript𝑦𝑁superscript𝑦𝑁0.01[{y^{(N)}}^{\dagger}y^{(N)}]\mathrel{\hbox to 0.0pt{\lower 4.0pt\hbox{\hskip 1% .0pt$\sim$}\hss}\raise 1.0pt\hbox{$>$}}0.01[ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ] ∼> 0.01.

III.7 Dark matter

In this section, we discuss the DM phenomenology. In particular, we focus on the consequences of the genesis of the relic density via thermal decoupling in the early Universe, commonly referred to as the freeze-out mechanism. The lightest of the fields that are odd under the residual Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry - namely, the scalar mass eigenstates S1,S2,A1subscript𝑆1subscript𝑆2subscript𝐴1S_{1},S_{2},A_{1}italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, or the lightest right-handed Majorana neutrino - can be the stable DM candidate in our model.

Note that even though one of the three Majorana right-handed neutrinos Nisubscript𝑁𝑖N_{i}italic_N start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT could be a DM candidate, such a scenario will be incompatible with low-scale leptogenesis. This is because as mentioned earlier, to have successful low-scale leptogenesis, the neutrino sector should consist of three heavy Majorana neutrinos, the lightest of which decays to produce the required lepton asymmetry111Leaving leptogenesis aside, an estimation based on Ref. Bernal:2017xat gives cosmologically acceptable results for DM relic density for a Yukawa coupling equal to unity, a 400400400400 GeV mass for the fermionic DM candidate and mη1.6similar-tosubscript𝑚𝜂1.6m_{\eta}\sim 1.6italic_m start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ∼ 1.6 TeV.. Thus we focus only on the scalar DM candidate and its phenomenology. Our approach involves simplifying the analysis by considering the masses of the exotic fermions to be much greater than that of the scalar particles, thus effectively decoupling their interaction with the DM candidate.

Consequently, we consider only the scalar potential presented in the App. A for DM phenomenology. We present a few illustrative numerical results that underscore the viability and scope of the DM-related predictions derived from the model. These results stem from a systematic exploration of a subset of the model’s parameter space, in which we minimize a logarithmic likelihood function for the DM abundance222In the high statistic limit this procedure proves as useful as minimizing a χ2superscript𝜒2\chi^{2}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT-function defined accordingly. as measured by Planck Planck:2018vyg , which states Ωch2=0.11933±0.00091subscriptΩ𝑐superscript2plus-or-minus0.119330.00091\Omega_{c}h^{2}=0.11933\pm 0.00091roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.11933 ± 0.00091 at 68%percent6868\%68 % confidence level, where ΩcsubscriptΩ𝑐\Omega_{c}roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the ratio of cold DM energy density and the critical density of the Universe, and h=67.27±0.60plus-or-minus67.270.60h=67.27\pm 0.60italic_h = 67.27 ± 0.60 quantifies the Hubble constant as defined by H0=hsubscript𝐻0H_{0}=hitalic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_h km s11{}^{-1}start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT Mpc11{}^{-1}start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT.

Conducting a thorough numerical scan within the recently described regime poses a formidable 16-dimensional optimization problem. We have chosen to take 13 coupling constants (comprising 11 quartic ones and the trilinear coupling constants C1subscript𝐶1C_{1}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and C2subscript𝐶2C_{2}italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT) alongside 3 free μ𝜇\muitalic_μ parameters as independent variables. Consequently, masses, vacuum expectation values, as well as mixing angles between interaction eigenstates, were considered dependent variables, as described in the App. A.

To simplify our analysis, it is important to note that the self-interactions governed by λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, λ3subscript𝜆3\lambda_{3}italic_λ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, and λ4subscript𝜆4\lambda_{4}italic_λ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT do not directly impact the Boltzmann equations. Instead, their influence is mediated through the masses of particles in the dark sector. Consequently, we set these parameters to 0.10.10.10.1. To suppress mixing between H1subscript𝐻1H_{1}italic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and H2subscript𝐻2H_{2}italic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and ensure that H1subscript𝐻1H_{1}italic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT retains properties akin to the Higgs in the SM, we set the constant λ7subscript𝜆7\lambda_{7}italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT to 0.001. This choice does not diminish the role of H2subscript𝐻2H_{2}italic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT as a scalar portal in the decoupling process. Similarly, we fixed λ10subscript𝜆10\lambda_{10}italic_λ start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT at an arbitrary value of 0.0010.0010.0010.001 since it does not appear in the mass matrix. Its negligible impact on the solutions to Boltzmann equations was verified afterward.

For simplicity, we choose C1=0subscript𝐶10C_{1}=0italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0. Then, we selected the μ𝜇\muitalic_μ parameters and the coupling constant C2subscript𝐶2C_{2}italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT in two distinctive scenarios: one where the dark matter (DM) is CP-even and another where it is CP-odd. For the remaining six coupling constants, we chose values within the range of 0.001 to 10, ensuring that this parameter selection adheres to the theoretical requirements of vacuum stability and perturbativity.

We use the differential evolution algorithm Storn97 from the scipy package virtanen2020scipy for Python to search for points that saturate the totality of the DM budget, solving the Boltzmann equation using micrOMEGAs 5.3.41 BELANGER2018173 . The entire model implementation was carried out using FeynRules Alloul_2014 .

The annihilation channels contributing to the Boltzmann equations are mainly the s𝑠sitalic_s-channel annihilation into the SM gauge bosons and fermions through the two Higgs portals. The seagull, contact four-point interaction coming from the covariant derivative of the doublet scalar η𝜂\etaitalic_η is a relevant extra annihilation channel depending on the magnitude of the mixing between the doublet and singlet states. The coannihilations between the non-stable scalars and the DM candidate are also relevant in our particular scan because the mass differences lie below 15%similar-toabsentpercent15\sim 15\%∼ 15 %.

This scenario can be proved with deep underground experiments like XENONnT XENON:2018voc ; XENON:2023cxc or LZ LZ:2022lsv , capable of measuring the recoil energy of elastic scatterings of DM off nucleons, which in our model are mediated by the Higgs particle and its partner. The Z𝑍Zitalic_Z boson does not act as a mediator because the trilinear interactions of dark scalars with the Z𝑍Zitalic_Z are

\displaystyle\mathcal{L}caligraphic_L superset-of\displaystyle\supset MZv(cosθSS1sinθSS2)(cosθAμA1sinθAμA2)Zμsubscript𝑀𝑍𝑣subscript𝜃𝑆subscript𝑆1subscript𝜃𝑆subscript𝑆2subscript𝜃𝐴subscript𝜇subscript𝐴1subscript𝜃𝐴subscript𝜇subscript𝐴2superscript𝑍𝜇\displaystyle\frac{M_{Z}}{v}\left(\cos\theta_{S}S_{1}-\sin\theta_{S}S_{2}% \right)\left(\cos\theta_{A}\partial_{\mu}A_{1}-\sin\theta_{A}\partial_{\mu}A_{% 2}\right)Z^{\mu}divide start_ARG italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT end_ARG start_ARG italic_v end_ARG ( roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ( roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_Z start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (55)
MZv(cosθAA1sinθAA2)μ(cosθSμS1sinθSμS2)Zμ,subscript𝑀𝑍𝑣subscript𝜃𝐴subscript𝐴1subscript𝜃𝐴subscript𝐴2subscript𝜇subscript𝜃𝑆subscript𝜇subscript𝑆1subscript𝜃𝑆subscript𝜇subscript𝑆2superscript𝑍𝜇\displaystyle-\frac{M_{Z}}{v}\left(\cos\theta_{A}A_{1}-\sin\theta_{A}A_{2}% \right)\partial_{\mu}\left(\cos\theta_{S}\partial_{\mu}S_{1}-\sin\theta_{S}% \partial_{\mu}S_{2}\right)Z^{\mu},- divide start_ARG italic_M start_POSTSUBSCRIPT italic_Z end_POSTSUBSCRIPT end_ARG start_ARG italic_v end_ARG ( roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_Z start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ,

which are irrelevant for elastic DM-nucleon scattering.

Refer to caption
Refer to caption
Figure 10: DM-nucleon spin-independent elastic scattering cross-section as a function of the DM mass. The continuous and dashed lines represent upper limits bounds and prospects for different direct detection experiments, adapted from Akerib:2022ort (left) CP-even candidate, μσ=2000subscript𝜇𝜎2000\mu_{\sigma}=2000italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 2000 GeV, μη=1500subscript𝜇𝜂1500\mu_{\eta}=1500italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = 1500 GeV, μξ=1000subscript𝜇𝜉1000\mu_{\xi}=1000italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT = 1000 GeV, C2=100subscript𝐶2100C_{2}=-100italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 100 GeV. (right) CP-odd candidate, μσ=1000subscript𝜇𝜎1000\mu_{\sigma}=1000italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 1000 GeV, μη=1500subscript𝜇𝜂1500\mu_{\eta}=1500italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = 1500 GeV, μξ=2000subscript𝜇𝜉2000\mu_{\xi}=2000italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT = 2000 GeV, C2=100subscript𝐶2100C_{2}=100italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 100 GeV

The constraints obtained are shown in Fig. 10, the left and right plots corresponding to CP-even and CP-odd DM candidates respectively. All points displayed saturate the cosmological DM abundance with 10%similar-toabsentpercent10\sim 10\%∼ 10 % tolerance, i.e., ΩDMh2=0.12±0.01subscriptΩ𝐷𝑀superscript2plus-or-minus0.120.01\Omega_{DM}h^{2}=0.12\pm 0.01roman_Ω start_POSTSUBSCRIPT italic_D italic_M end_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.12 ± 0.01, and have dark matter masses of around 10101010 TeV. The vertical axis represents the DM-nucleon spin-independent elastic scattering cross-section, and the horizontal axis represents the DM mass. Current measurements of the WIMP-nucleon cross-section exclude points overlapping with the faint red region. The model can generically accommodate direct detection signals across 5 orders of magnitude, so we have points already excluded by XENON1T, others observable in next-generation experiments, and others down to one order of magnitude below the expectations for those detectors, falling below prospects of detection even for the DARWIN DARWIN:2016hyl collaboration.

Refer to caption
Refer to caption
Figure 11: Thermally averaged DM annihilation cross-section into a Higgs pair, in the non-relativistic approximation, i.e., keeping just the s𝑠sitalic_s-wave. (left) μσ=2000subscript𝜇𝜎2000\mu_{\sigma}=2000italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 2000 GeV, μη=1500subscript𝜇𝜂1500\mu_{\eta}=1500italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = 1500 GeV, μξ=1000subscript𝜇𝜉1000\mu_{\xi}=1000italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT = 1000 GeV, C2=100subscript𝐶2100C_{2}=-100italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 100 GeV. (right) μσ=1000subscript𝜇𝜎1000\mu_{\sigma}=1000italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 1000 GeV, μη=1500subscript𝜇𝜂1500\mu_{\eta}=1500italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = 1500 GeV, μξ=2000subscript𝜇𝜉2000\mu_{\xi}=2000italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT = 2000 GeV, C2=100subscript𝐶2100C_{2}=100italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 100 GeV

We now consider the possibility of discovering or ruling out the DM candidate through the identification of the products of its annihilation in the galactic halo. To do so we project the points allowed by the considerations exposed for Fig. 10 in a plane relevant for indirect detection, in Fig. 11, where we represent DM annihilation cross-section into a pair of Higgs bosons in the vertical axis, as a function of DM mass in the horizontal axis. The blue line represents the canonical value σv2×1026delimited-⟨⟩𝜎𝑣2superscript1026\langle\sigma v\rangle\approx 2\times 10^{-26}⟨ italic_σ italic_v ⟩ ≈ 2 × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT cm33{}^{3}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT s11{}^{-1}start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT, which lies in the ballpark of sensitivity of most detectors of cosmic rays as Fermi-LAT Fermi-LAT:2016uux , AMS Kopp:2013eka , or CTA Duangchan:2022jqn 333The upper bounds constructed from the data of these collaborations are model dependent. For instance, the presence of a Higgs partner should modify the gamma-ray spectra of photons coming from DM annihilation into h1subscript1h_{1}italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT pairs, and the h1,h2subscript1subscript2h_{1},h_{2}italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and h2,h2subscript2subscript2h_{2},h_{2}italic_h start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT final states interfere with it. A detailed analysis of cosmic ray spectra is beyond the scope of this work. The subsequent decays of the Higgs boson into b𝑏bitalic_b quark pairs are the ones with more constraining power for Higgs portal DM DiazSaez:2021pmg . Regardless of this, our model has difficulties to be identified or constrained in the present and next generation of cosmic-ray detectors. Even in the most optimistic case, the annihilation cross-section lies at least one order of magnitude below the sensibility of these instruments.

IV Conclusions

We have constructed an extension of the Inert Doublet Model (IDM) that successfully accommodates the SM-charged fermion mass hierarchy, is compatible with the neutrino oscillation experimental data and can explain the observed DM relic abundance and baryon asymmetry of the universe. In addition to the SM particle content, the model contains one inert doublet and two electrically neutral singlet scalars, three right-handed Majorana neutrinos and additional charged vector-like fermions. A discrete Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry prevents tree-level masses of the active light neutrinos and the first two generations of the SM charged fermions. Consequently, their masses are generated at one-loop level, thereby providing an explanation to the huge hierarchy in the fermion mass spectrum. Of the three extra scalars, the doublet and one singlet (which we collectively refer to as the dark scalars) are odd under the remnant preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry and hence do not acquire vev𝑣𝑒𝑣vevitalic_v italic_e italic_vs providing a stable DM candidate whereas the other scalar is even under Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and acquires a vev𝑣𝑒𝑣vevitalic_v italic_e italic_v that preserves the Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry. Thus, an interesting feature of the model is that in addition to explaining the observed DM relic density, the dark scalars also (i) contribute to the one-loop generation of the fermion masses thus explaining light neutrino masses and fermion mass hierarchy, (ii) contribute to the charged lepton flavor violation, (iii) participate in leptogenesis and (iv) can give rise to interesting collider signatures - thereby providing a connection between the various phenomenological aspects of the model.

In a large part of the parameter space, the model successfully complies with the constraints arising from the muon and the electron g2𝑔2g-2italic_g - 2 anomalies, electroweak precision observables, and Higgs diphoton decay rate. The smallness of the observed neutrino masses, together with the requirement of explaining the observed baryon asymmetry of the Universe puts a lower bound of around 10101010 TeV on the lightest heavy Majorana neutrino mass. This low-scale leptogenesis scenario is possible as a consequence of the loop suppression of the active light neutrino masses, and differs from the traditional vanilla leptogenesis where the heavy neutrino mass mNsubscript𝑚𝑁m_{N}italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is typically of the order 1081010superscript108superscript101010^{8}-10^{10}10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT GeV. For this scenario to work, the Yukawa couplings have to satisfy the bound - Tr[y(N)y(N)] >0.01 >delimited-[]superscriptsuperscript𝑦𝑁superscript𝑦𝑁0.01[{y^{(N)}}^{\dagger}y^{(N)}]\mathrel{\hbox to 0.0pt{\lower 4.0pt\hbox{\hskip 1% .0pt$\sim$}\hss}\raise 1.0pt\hbox{$>$}}0.01[ italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT ( italic_N ) end_POSTSUPERSCRIPT ] ∼> 0.01. The parameter space that we consider are within the current bounds from charged lepton flavor violation.

The constraints from the experimental values of the muon and the electron anomalous magnetic moments set the dark scalar and charged exotic lepton masses to be around the TeV scale. Moreover, our analysis of the model’s implications on the Higgs diphoton decay sets a lower bound on the electrically charged scalar mass of around 300 GeV, whose exact value depends on the trilinear scalar coupling between the SM-like Higgs and the pair of charged Higgs.

As mentioned, the scalar DM candidate is stabilized by the remnant preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry arising from the spontaneous breaking of the Z4subscript𝑍4Z_{4}italic_Z start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT symmetry. The correct relic abundance as indicated by the Planck bound is satisfied for a wide range of scalar DM masses. Part of the parameter space allowed by the constraints from the current and the future direct and indirect DM detection experiments, also fulfills all the phenomenological constraints arising from leptogenesis, neutrino oscillation data and g2𝑔2g-2italic_g - 2 experiments.

Acknowledgments

P.E.C. thanks support by ANID-Chile Grant 21210952, and grant PIIC 2022-I, DPP UTFSM. V.K.N. is supported by ANID-Chile Fondecyt Postdoctoral grant 3220005. The authors also thank the support from ANID-Chile FONDECYT grants No. 1210131, No. 1210378, No. 1230110 and No. 1231248, from ANID PIA/APOYO AFB230003, and from ANID Millenium Science Initiative ANID-ICN2019-044.

Appendix A Scalar potential

The scalar potential invariant under the symmetries of the model is given as,

V=𝑉absent\displaystyle V=italic_V = μϕ2(ϕϕ)+μη2(ηη)+μξ2(ξξ)μσ2σ2+λ1(ϕϕ)2+λ2(ηη)2superscriptsubscript𝜇italic-ϕ2superscriptitalic-ϕitalic-ϕsuperscriptsubscript𝜇𝜂2superscript𝜂𝜂superscriptsubscript𝜇𝜉2superscript𝜉𝜉superscriptsubscript𝜇𝜎2superscript𝜎2subscript𝜆1superscriptsuperscriptitalic-ϕitalic-ϕ2subscript𝜆2superscriptsuperscript𝜂𝜂2\displaystyle-\mu_{\phi}^{2}(\phi^{\dagger}\phi)+\mu_{\eta}^{2}(\eta^{\dagger}% \eta)+\mu_{\xi}^{2}(\xi^{\ast}\xi)-\mu_{\sigma}^{2}\sigma^{2}+\lambda_{1}(\phi% ^{\dagger}\phi)^{2}+\lambda_{2}(\eta^{\dagger}\eta)^{2}- italic_μ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) + italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) + italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ξ ) - italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+λ3(ξξ)2+λ4σ4+λ5(ϕϕ)(ηη)+λ6(ϕη)(ηϕ)+λ7(ϕϕ)σ2subscript𝜆3superscriptsuperscript𝜉𝜉2subscript𝜆4superscript𝜎4subscript𝜆5superscriptitalic-ϕitalic-ϕsuperscript𝜂𝜂subscript𝜆6superscriptitalic-ϕ𝜂superscript𝜂italic-ϕsubscript𝜆7superscriptitalic-ϕitalic-ϕsuperscript𝜎2\displaystyle+\lambda_{3}(\xi^{\ast}\xi)^{2}+\lambda_{4}\sigma^{4}+\lambda_{5}% (\phi^{\dagger}\phi)(\eta^{\dagger}\eta)+\lambda_{6}(\phi^{\dagger}\eta)(\eta^% {\dagger}\phi)+\lambda_{7}(\phi^{\dagger}\phi)\sigma^{2}+ italic_λ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ξ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) + italic_λ start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) + italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+λ8(ϕϕ)(ξξ)+λ9(ηη)σ2+λ10(ηη)(ξξ)+λ11(ξξ)σ2subscript𝜆8superscriptitalic-ϕitalic-ϕsuperscript𝜉𝜉subscript𝜆9superscript𝜂𝜂superscript𝜎2subscript𝜆10superscript𝜂𝜂superscript𝜉𝜉subscript𝜆11superscript𝜉𝜉superscript𝜎2\displaystyle+\lambda_{8}(\phi^{\dagger}\phi)(\xi^{\ast}\xi)+\lambda_{9}(\eta^% {\dagger}\eta)\sigma^{2}+\lambda_{10}(\eta^{\dagger}\eta)(\xi^{\ast}\xi)+% \lambda_{11}(\xi^{\ast}\xi)\sigma^{2}+ italic_λ start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) ( italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ξ ) + italic_λ start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η ) ( italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ξ ) + italic_λ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ξ ) italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+λ12((ηϕ)ξσ+h.c)+C1(ϕηξ+h.c)+C2(ξ2σ+h.c).\displaystyle+\lambda_{12}\left((\eta\phi^{\dagger})\xi^{\ast}\sigma+h.c\right% )+C_{1}\left(\phi^{\dagger}\eta\xi+h.c\right)+C_{2}\left(\xi^{2}\sigma+h.c% \right).+ italic_λ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( ( italic_η italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) italic_ξ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_σ + italic_h . italic_c ) + italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η italic_ξ + italic_h . italic_c ) + italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ + italic_h . italic_c ) .

The minimization conditions resulting from the scalar potential given above are,

μϕ2superscriptsubscript𝜇italic-ϕ2\displaystyle\mu_{\phi}^{2}italic_μ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== λ1v2+12λ7vσ2,subscript𝜆1superscript𝑣212subscript𝜆7superscriptsubscript𝑣𝜎2\displaystyle\lambda_{1}v^{2}+\frac{1}{2}\lambda_{7}v_{\sigma}^{2},italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
μσ2superscriptsubscript𝜇𝜎2\displaystyle\mu_{\sigma}^{2}italic_μ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== λ4vσ2+12λ7v2.subscript𝜆4superscriptsubscript𝑣𝜎212subscript𝜆7superscript𝑣2\displaystyle\lambda_{4}v_{\sigma}^{2}+\frac{1}{2}\lambda_{7}v^{2}.\ italic_λ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (56)

From the analysis of the scalar potential, it follows that ϕI0superscriptsubscriptitalic-ϕ𝐼0\phi_{I}^{0}italic_ϕ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT is the massless CP odd scalar field corresponding to the SM neutral Goldstone boson. The remaining CP odd neutral scalar fields, i.e., ηIsubscript𝜂𝐼\eta_{I}italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT and ξIsubscript𝜉𝐼\xi_{I}italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT mix among themselves and the corresponding mass-squared matrix in the basis (ηI,ξI)subscript𝜂𝐼subscript𝜉𝐼\left(\eta_{I},\xi_{I}\right)( italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT , italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ) has the form,

MA2=(12(2μη2+λ5v2+λ9vσ2)12λ12vvσ12C1v12λ12vvσ12C1v12(22C2vσ+2μξ2+λ8v2+λ11vσ2)).superscriptsubscript𝑀𝐴2122superscriptsubscript𝜇𝜂2subscript𝜆5superscript𝑣2subscript𝜆9superscriptsubscript𝑣𝜎212subscript𝜆12𝑣subscript𝑣𝜎12subscript𝐶1𝑣12subscript𝜆12𝑣subscript𝑣𝜎12subscript𝐶1𝑣1222subscript𝐶2subscript𝑣𝜎2superscriptsubscript𝜇𝜉2subscript𝜆8superscript𝑣2subscript𝜆11superscriptsubscript𝑣𝜎2M_{A}^{2}=\left(\begin{array}[]{cc}\frac{1}{2}\left(2\mu_{\eta}^{2}+\lambda_{5% }v^{2}+\lambda_{9}v_{\sigma}^{2}\right)&\frac{1}{2}\lambda_{12}vv_{\sigma}-% \frac{1}{\sqrt{2}}C_{1}v\\ \frac{1}{2}\lambda_{12}vv_{\sigma}-\frac{1}{\sqrt{2}}C_{1}v&\frac{1}{2}\left(-% 2\sqrt{2}C_{2}v_{\sigma}+2\mu_{\xi}^{2}+\lambda_{8}v^{2}+\lambda_{11}v_{\sigma% }^{2}\right)\\ &\end{array}\right).italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( start_ARRAY start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 2 italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( - 2 square-root start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + 2 italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL end_ROW end_ARRAY ) . (57)

This matrix can be diagonalized as,

RATMA2RAsuperscriptsubscript𝑅𝐴𝑇superscriptsubscript𝑀𝐴2subscript𝑅𝐴\displaystyle R_{A}^{T}M_{A}^{2}R_{A}italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT =\displaystyle== (TrMA22+12(TrMA2)24detMA200TrMA2212(TrMA2)24detMA2),𝑇𝑟superscriptsubscript𝑀𝐴2212superscript𝑇𝑟superscriptsubscript𝑀𝐴224superscriptsubscript𝑀𝐴200𝑇𝑟superscriptsubscript𝑀𝐴2212superscript𝑇𝑟superscriptsubscript𝑀𝐴224superscriptsubscript𝑀𝐴2\displaystyle\left(\begin{array}[]{cc}\frac{TrM_{A}^{2}}{2}+\frac{1}{2}\sqrt{% \left(TrM_{A}^{2}\right)^{2}-4\det M_{A}^{2}}&0\\ 0&\frac{TrM_{A}^{2}}{2}-\frac{1}{2}\sqrt{\left(TrM_{A}^{2}\right)^{2}-4\det M_% {A}^{2}}\end{array}\right),( start_ARRAY start_ROW start_CELL divide start_ARG italic_T italic_r italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG ( italic_T italic_r italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 roman_det italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG italic_T italic_r italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG ( italic_T italic_r italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 roman_det italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW end_ARRAY ) , (60)
RAsubscript𝑅𝐴\displaystyle R_{A}italic_R start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT =\displaystyle== (cosθAsinθAsinθAcosθA),tan2θA=2(MA2)12(MA2)11(MA2)22.subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴2subscript𝜃𝐴2subscriptsuperscriptsubscript𝑀𝐴212subscriptsuperscriptsubscript𝑀𝐴211subscriptsuperscriptsubscript𝑀𝐴222\displaystyle\left(\begin{array}[]{cc}\cos\theta_{A}&-\sin\theta_{A}\\ \sin\theta_{A}&\cos\theta_{A}\end{array}\right),\hskip 14.22636pt\hskip 19.916% 84pt\tan 2\theta_{A}=\frac{2\left(M_{A}^{2}\right)_{12}}{\left(M_{A}^{2}\right% )_{11}-\left(M_{A}^{2}\right)_{22}}.( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , roman_tan 2 italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG 2 ( italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG start_ARG ( italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT - ( italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG . (63)

Consequently, the physical inert CP odd neutral scalar mass eigenstates A1,2subscript𝐴12A_{1,2}italic_A start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are given by:

(A1A2)=(cosθAsinθAsinθAcosθA)(ηIξI).subscript𝐴1subscript𝐴2subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴subscript𝜃𝐴subscript𝜂𝐼subscript𝜉𝐼\left(\begin{array}[]{c}A_{1}\\ A_{2}\end{array}\right)=\left(\begin{array}[]{cc}\cos\theta_{A}&\sin\theta_{A}% \\ -\sin\theta_{A}&\cos\theta_{A}\end{array}\right)\left(\begin{array}[]{c}\eta_{% I}\\ \xi_{I}\end{array}\right).( start_ARRAY start_ROW start_CELL italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) .

Due to the remnant preserved Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry, the CP even parts of the neutral component of ϕitalic-ϕ\phiitalic_ϕ and σ𝜎\sigmaitalic_σ (i.e, ϕR0superscriptsubscriptitalic-ϕ𝑅0\phi_{R}^{0}italic_ϕ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT and the σR0superscriptsubscript𝜎𝑅0\sigma_{R}^{0}italic_σ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT) do not mix with the remaining CP even neutral scalar fields. The corresponding mass-squared matrix in the basis (ϕR0,σR0)superscriptsubscriptitalic-ϕ𝑅0superscriptsubscript𝜎𝑅0\left(\phi_{R}^{0},\sigma_{R}^{0}\right)( italic_ϕ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_σ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) can be written as follows:

MH2=(2λ1v2λ7vvσλ7vvσ2λ4vσ2),superscriptsubscript𝑀𝐻22subscript𝜆1superscript𝑣2subscript𝜆7𝑣subscript𝑣𝜎subscript𝜆7𝑣subscript𝑣𝜎2subscript𝜆4superscriptsubscript𝑣𝜎2M_{H}^{2}=\left(\begin{array}[]{cc}2\lambda_{1}v^{2}&\lambda_{7}vv_{\sigma}\\ \lambda_{7}vv_{\sigma}&2\lambda_{4}v_{\sigma}^{2}\end{array}\right),italic_M start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( start_ARRAY start_ROW start_CELL 2 italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL start_CELL italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_CELL start_CELL 2 italic_λ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL end_ROW end_ARRAY ) ,

where in the decoupling limit λ70subscript𝜆70\lambda_{7}\rightarrow 0italic_λ start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT → 0, ϕR0superscriptsubscriptitalic-ϕ𝑅0\phi_{R}^{0}italic_ϕ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT will correspond to the 126126126126 GeV SM Higgs boson. The remaining CP even neutral scalar fields charged under the remnant Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry, i.e., ηRsubscript𝜂𝑅\eta_{R}italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT and ξRsubscript𝜉𝑅\xi_{R}italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT mix among themselves and the corresponding mass-squared matrix in the basis (ηR,ξR)subscript𝜂𝑅subscript𝜉𝑅\left(\eta_{R},\xi_{R}\right)( italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) has the form,

MS2=(12(2μη2+λ5v2+λ9vσ2)12λ12vvσ+12C1v12λ12vvσ+12C1v2C2vσ+μξ2+λ8v22+12λ11vσ2).superscriptsubscript𝑀𝑆2122superscriptsubscript𝜇𝜂2subscript𝜆5superscript𝑣2subscript𝜆9superscriptsubscript𝑣𝜎212subscript𝜆12𝑣subscript𝑣𝜎12subscript𝐶1𝑣12subscript𝜆12𝑣subscript𝑣𝜎12subscript𝐶1𝑣2subscript𝐶2subscript𝑣𝜎superscriptsubscript𝜇𝜉2subscript𝜆8superscript𝑣2212subscript𝜆11superscriptsubscript𝑣𝜎2M_{S}^{2}=\left(\begin{array}[]{cc}\frac{1}{2}\left(2\mu_{\eta}^{2}+\lambda_{5% }v^{2}+\lambda_{9}v_{\sigma}^{2}\right)&\frac{1}{2}\lambda_{12}vv_{\sigma}+% \frac{1}{\sqrt{2}}C_{1}v\\ \frac{1}{2}\lambda_{12}vv_{\sigma}+\frac{1}{\sqrt{2}}C_{1}v&\sqrt{2}C_{2}v_{% \sigma}+\mu_{\xi}^{2}+\frac{\lambda_{8}v^{2}}{2}+\frac{1}{2}\lambda_{11}v_{% \sigma}^{2}\end{array}\right).italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( start_ARRAY start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 2 italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_v italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_v end_CELL start_CELL square-root start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_λ start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL end_ROW end_ARRAY ) . (64)

The squared mass matrix for the inert CP even scalars can be diagonalized as,

RSTMS2RSsuperscriptsubscript𝑅𝑆𝑇superscriptsubscript𝑀𝑆2subscript𝑅𝑆\displaystyle R_{S}^{T}M_{S}^{2}R_{S}italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT =\displaystyle== (TrMS22+12(TrMS2)24detMS200TrMS2212(TrMS2)24detMS2),𝑇𝑟superscriptsubscript𝑀𝑆2212superscript𝑇𝑟superscriptsubscript𝑀𝑆224superscriptsubscript𝑀𝑆200𝑇𝑟superscriptsubscript𝑀𝑆2212superscript𝑇𝑟superscriptsubscript𝑀𝑆224superscriptsubscript𝑀𝑆2\displaystyle\left(\begin{array}[]{cc}\frac{TrM_{S}^{2}}{2}+\frac{1}{2}\sqrt{% \left(TrM_{S}^{2}\right)^{2}-4\det M_{S}^{2}}&0\\ 0&\frac{TrM_{S}^{2}}{2}-\frac{1}{2}\sqrt{\left(TrM_{S}^{2}\right)^{2}-4\det M_% {S}^{2}}\end{array}\right),( start_ARRAY start_ROW start_CELL divide start_ARG italic_T italic_r italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG ( italic_T italic_r italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 roman_det italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG italic_T italic_r italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG ( italic_T italic_r italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 roman_det italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW end_ARRAY ) , (67)
RSsubscript𝑅𝑆\displaystyle R_{S}italic_R start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT =\displaystyle== (cosθSsinθSsinθScosθS),tan2θS=2(MS2)12(MS2)11(MS2)22.subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆2subscript𝜃𝑆2subscriptsuperscriptsubscript𝑀𝑆212subscriptsuperscriptsubscript𝑀𝑆211subscriptsuperscriptsubscript𝑀𝑆222\displaystyle\left(\begin{array}[]{cc}\cos\theta_{S}&-\sin\theta_{S}\\ \sin\theta_{S}&\cos\theta_{S}\end{array}\right),\hskip 14.22636pt\hskip 19.916% 84pt\tan 2\theta_{S}=\frac{2\left(M_{S}^{2}\right)_{12}}{\left(M_{S}^{2}\right% )_{11}-\left(M_{S}^{2}\right)_{22}}.( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , roman_tan 2 italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT = divide start_ARG 2 ( italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG start_ARG ( italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT - ( italic_M start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG . (70)

Consequently, the physical inert CP even neutral scalar mass eigenstates S1,2subscript𝑆12S_{1,2}italic_S start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are given by:

(S1S2)=(cosθSsinθSsinθScosθS)(ηRξR),subscript𝑆1subscript𝑆2subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆subscript𝜃𝑆subscript𝜂𝑅subscript𝜉𝑅\left(\begin{array}[]{c}S_{1}\\ S_{2}\end{array}\right)=\left(\begin{array}[]{cc}\cos\theta_{S}&\sin\theta_{S}% \\ -\sin\theta_{S}&\cos\theta_{S}\end{array}\right)\left(\begin{array}[]{c}\eta_{% R}\\ \xi_{R}\end{array}\right),( start_ARRAY start_ROW start_CELL italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) = ( start_ARRAY start_ROW start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_sin italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL start_CELL roman_cos italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) ( start_ARRAY start_ROW start_CELL italic_η start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ξ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) ,

Finally, ϕ±superscriptitalic-ϕplus-or-minus\phi^{\pm}italic_ϕ start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT correspond to the SM charged Goldstone bosons, whereas the mass of the remaining electrically charged scalar η±superscript𝜂plus-or-minus\eta^{\pm}italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT is given as,

mη±2=12(2μη2+λ5v2+λ9vσ2).superscriptsubscript𝑚superscript𝜂plus-or-minus2122superscriptsubscript𝜇𝜂2subscript𝜆5superscript𝑣2subscript𝜆9superscriptsubscript𝑣𝜎2m_{\eta^{\pm}}^{2}=\frac{1}{2}\left(2\mu_{\eta}^{2}+\lambda_{5}v^{2}+\lambda_{% 9}v_{\sigma}^{2}\right).italic_m start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 2 italic_μ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (71)

References