1 Introduction

An electric dipole moment (EDM) for elementary particles is a CP-violating quantity and it gives important information on the matter anti-matter asymmetry in the universe. EDMs of elementary fermions within the Standard Model (SM) are induced through the Cabibbo–Kobayashi–Maskawa (CKM) CP-violating phase. EDMs are studied also within many models Beyond the SM (BSM). For reviews on SM and BSM EDMs, see [1,2,3,4,5]. Experimentally only bounds on electron, muon, proton and neutron EDMs are determined [6]. Explicitly, for the EDM of the neutron (nEDM \( \equiv \, d_n\)) discussed in this paper, the present experimental bound is [7]

$$\begin{aligned} d_n^{exp}/e \le 2.9 \times 10 ^{-26} \, \text{ cm }. \end{aligned}$$
(1)

Within the SM, the nEDM is calculated to be several orders of magnitudes below the experimental bound. Calculations of the nEDM will in general put bounds on hypothetical models BSM, and any measured nEDM significantly bigger that the SM estimate (\(10 ^{-32}\) to \(10 ^{-31} \, e~\hbox {cm}\)) would signal New Physics.

The SM contributions to the nEDM are well known and thoroughly explained in [1]. At a low energy scale one can construct an effective Lagrangian

$$\begin{aligned} {{{\mathcal {L}}}}_\mathrm {eff} ={{\mathcal {L}}}_4 + {{\mathcal {L}}}_5 + {{\mathcal {L}}}_6 +\cdots , \end{aligned}$$
(2)

with all possible CP-odd operators of appropriate dimension. The QCD-odd term gives the dimension 4 operator [1, 5]. The dimension 5 term contains electric dipole moment operators as well as color electric operators of quarks. The color electric operator and the the CP-odd three-gluon Weinberg operator (of dimension six) will in general mix under QCD renormalization [1,2,3]. The electric dipole moment of a single fermion in (2) has the form

$$\begin{aligned} {{\mathcal {L}}}_\mathrm {5,em} =\frac{i}{2} \, d_f \, \bar{\psi _f} \sigma _{\mu \nu } \, F^{\mu \nu } \gamma _5 \psi _f, \end{aligned}$$
(3)

where \(d_f\) is the electric dipole moment of the fermion, \(\psi _f\) is the fermion (quark) field, \(F^{\mu \nu }\) is the electromagnetic field tensor, and \(\sigma _{\mu \nu } = i [\gamma _\mu , \, \gamma _\nu ]/2\) is the dipole operator in Dirac space. The color electric dipole operator is given by the same expression with \(d_f\) replaced by the color electric dipole moment \(d^c_f\) and \(F_{\mu \nu }\) replaced by \(G^a_{\mu \nu } \, t^a\), where \(G^a_{\mu \nu }\) is the color octet gluon tensor, and \(t^a\) are the \(SU(3)_c\) color matrices. The electric dipole operator in (3) for quarks appears within the SM from three loop diagrams with double Glashow–Iliopoulos–Maiani (GIM)- cancellations and in addition a gluon exchange. These are of order \(\alpha _s G_F^2\), and are proportional to quark masses and an imaginary Cabibbo–Kobayashi–Maskawa(CKM) factor. They were found to be very small, of order \(10^{-34} e\hbox { cm}\) [8,9,10]. Still within the SM, many contributions to the nEDM due to interplay of quarks in the neutron, were studied [1, 11,12,13,14,15,16,17,18,19,20]. These mechanisms, gave results of order \(10^{-33}\) to \(10^{-31} e\hbox { cm}\).

The nEDM due to EDMs of light u- and d-, and even s-quarks may be given by the formula

$$\begin{aligned} d_n = \rho _u d_u + \rho _d \, d_d + \rho _s d_s, \end{aligned}$$
(4)

similar to a corresponding formula for the magnetic moment. In the strict valence approximation,

$$\begin{aligned} \rho _u = - \frac{1}{3}, \quad \rho _d = \frac{4}{3}, \quad \rho _s = 0, \end{aligned}$$
(5)

while lattice calculations [21, 22] give

$$\begin{aligned} \rho _u= & {} - 0.22 \pm 0.03, \quad \rho _d= 0.74 \pm 0.07, \quad \nonumber \\ \rho _s= & {} 0.008 \pm 0.010. \end{aligned}$$
(6)

Note that there is a contribution to the nEDM from the EDM of the s-quark, with a small coefficient.

Many models BSM suggest possible new particles and/or new interaction Lagrange terms inducing EDMs [1,2,3,4,5, 11, 23,24,25,26,27,28,29,30,31,32,33]. In the case of New Physics (NP) presence, flavor physics might be testable through CP-violating asymmetries in mesonic decays [24, 25, 34]. The properties and couplings of the physical Higgs boson (H) are still not completely known. Some authors [35,36,37,38,39,40] have suggested that the physical Higgs boson might have flavor changing couplings to fermions which might also be CP-violating. In these papers bounds on quadratic expressions of such couplings were obtained from various processes, say, like \(K-{\bar{K}}, \,D-{\bar{D}} \,\), and \( B-{\bar{B}}\) - mixings, and also from leptonic flavor changing decays like \(\mu \rightarrow e \, \gamma \) and \(\tau \rightarrow \mu \, \gamma \). In the latter case two loop diagrams of Barr-Zee type [41] were also considered [35,36,37, 42]. (See also [43]). Such flavor changing couplings might occur when higher mass states are integrated out. For instance, flavor changing Higgs (FCH) couplings might stem from \(SU(2)_L \times U(1)_Y\)-invariant but non-renormalizable Lagrangian terms of dimension six.

The purpose of the present paper is to extend the analysis of [36, 37] to two loop diagrams. In the one loop case one needed two FCH couplings to generate the EDM. In the two loop case it is however possible to find diagrams with the FCH coupling to first order only, while the rest of the couplings are ordinary SM couplings.

Some of these two loop diagrams considered here give contributions suppressed by the small mass ratio \(m_d/M_W\) for the ordinary SM Higgs coupling to fermions. (\(M_W\) denotes the mass of the W-boson and \(m_q\) is the mass of the quark q). However, if the Higgs is coupled to a top (t) quark one might obtain relevant non-suppressed contributions. Motivated by the result of the previous work [33], I consider such diagrams. There are additional reasons to extend the analysis in [36, 37] for nEDM to two loop level. Namely, in general, it is known that some two loop diagrams might give bigger amplitudes than one loop diagrams because of helicity flip(s) in the latter [36, 37, 42, 44]. In the present case, two loop amplitudes will be proportional to a large ttH coupling or a large WWH coupling within the SM, in contrast to the small SM Higgs couplings to light fermions. This might compensate for the two loop suppression of the diagrams. I have also adressed the issue of perturbative QCD corrections, which turn out to suppress the bare result.

In the next Sect. 2 I will present the framework for the FCH couplings. In the Sects. 3 and 4 two loop calculations for the FCH couplings will be presented. The QCD corrections are presented in Sect. 5. In Sect. 6 the results will be discussed, and the conclusion given in Sect. 7. An Appendix is given in Sect. 8.

2 Flavor changing physical Higgs?

Within the framework in [35,36,37,38,39,40] (see also Ref. [45]) the effective interaction Lagrangian for the FC transition \(f_1 \rightarrow f_2\) due to Higgs exchange can in general be written

$$\begin{aligned} {{\mathcal {L}}}_\mathrm {eff} = Y_R(f_1 \rightarrow f_2) \cdot \overline{(f_2)_L} \, H \, (f_{1})_R + h.c., \end{aligned}$$
(7)

where \(f_{1,2}\) are fermion fields, H the physical Higgs field and \(Y_{R}(f_1 \rightarrow f_2)\)’s are coupling constants, thought to be complex numbers. Then, from the hermitean conjugation part, there will be a left-handed \(f_2 \rightarrow f_1\) coupling

$$\begin{aligned} Y_R(f_1 \rightarrow f_2)^{*} = Y_L(f_2 \rightarrow f_1). \end{aligned}$$
(8)

Flavor changing Higgs couplings of the type presented in Eq. (7) may occur if there are non-renormalizable Higgs type Yukawa-like interactions due to dimension six operators, as shown explicitly in [37, 40]:

$$\begin{aligned} {{\mathcal {L}}}^{(D)} = - \lambda _{ij} \overline{Q_i} \Phi D_j- \frac{{\tilde{\lambda }}_{ij}}{\Lambda _{NP}^2} \overline{Q_i} \Phi D_j \, (\Phi )^\dagger \Phi + h.c., \end{aligned}$$
(9)

where the generation indices i and j are understood to be summed over the values 1, 2, 3. Further, \(\Phi \) is the SM Higgs field, \(Q_i\) is the left-handed \(SU(2)_L\) quark doublets, and the \(D_j\)’s are the right-handed \(SU(2)_L\) singlet d-type quarks in a general basis. Moreover, \(\Lambda _{NP}\) is the scale where New Physics is assumed to appear. There is a similar term as in (9) for right-handed type u-quarks, \(U_j\).

Using the assumptions based on (7), one obtains one loop diagrams for EDMs of u- and d-quarks [36, 37]. The one loop diagram in Fig. 1 - with FCH coupling at both vertices, puts bounds on quadratic expressions of the Y’s for definte choices of flavor. Note that this diagram gives a finite contribution to quark EDMs.

Fig. 1
figure 1

One loop diagrams for EDMs of u- and d-quarks with FC Higgs couplings. Here \(q=s,b\) for an EDM of the d-quark and \(q=c,t\) for an EDM of a u-quark

3 Diagrams with one FC coupling -and a \(t {\bar{t}} H\)-coupling

In Fig. 2 are shown some two loop diagrams for the EDM of a d-quark generated by exchange of one physical Higgs (H) boson and one W-boson, with a sizeable Higgs coupling \(\sim g_W \, m_t/M_W\) to a top quark and where only one of the Higgs couplings are flavor changing (a soft photon is assumed to be added). The non-crossed version to the left in Fig. 2 does not give non-suppressed contributions. Taking crossed Higgs and W-bosons are equivalent to the topologies in the middle and right of Fig. 2.

Fig. 2
figure 2

Three diagrams with FC Higgs coupling for EDMs of a d-quark. Soft photon emission from one of the charged particles is assumed to be added. The left diagram will give contributions suppressed by \(m_{u,d}/M_W\). Taking the crossed diagrams in the center or to the right, we will get contributions which are not suppressed by light quark masses. The diagram to the right is the complex conjugate of the diagram in the middle

Adding a soft photon to the diagram in the middle and to the right, we get four diagrams for both cases. In Fig.  3 the four diagrams obtained by adding a soft photon emission to the diagram to the right in Fig. 2 are shown.

Fig. 3
figure 3

Four diagrams for an EDM of a d quark obtained by adding a soft photon to the diagram to the right of Fig. 2. There are also corresponding diagrams where the W-boson is replaced by an unphysical Higgs-boson within Feynman gauge

I have found that the results for the loop contributions in Fig. 3 have the form:

$$\begin{aligned} {{\mathcal {M}}}(f \rightarrow f \gamma )_{(a)} = A \, \left( {\bar{f}} \sigma \cdot F P_R f \right) , \end{aligned}$$
(10)

where the quantity A contains coupling constants and loop functions depending on the involved masses. The diagrams with interchanged order of H and W loops, as in the middle of Fig. 2 have then the corresponding form:

$$\begin{aligned} {{\mathcal {M}}}(f \rightarrow f \gamma )_{(c)} = A^* \, \left( {\bar{f}} \, \sigma \cdot F P_L \, f \right) , \end{aligned}$$
(11)

where \(P_L = (1-\gamma _5)/2\) and \(P_R = (1+\gamma _5)/2\) are projectors in Dirac space. Thus the electric dipole moment is found to be:

$$\begin{aligned} (d_f)_{2-loop} = 2 Im(A). \end{aligned}$$
(12)

There is also a contribution to the magnetic moment (i.e the gyromagnetic quantity \((g-2)\)) given by \(2 \, Re(A)\).

The contributions from the four diagrams (\(i = 1-4\)) in Fig. 3 and its complex conjugates can then, by using (12) be written

$$\begin{aligned} \left( \frac{d_d}{e}\right) _i = {\hat{e}}_i \, F_2 \, S_i \, Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}], \end{aligned}$$
(13)

where the \({\hat{e}}_i\)’s are the electric charges (in units e= the proton charge) of the photon-emitting particles, i.e. \({\hat{e}}_{1,3}= {\hat{e}}_t = + 2/3\), \({\hat{e}}_{2}= {\hat{e}}_b = - 1/3\), and \({\hat{e}}_{4}= {\hat{e}}_W = +1 \). Here I have used the relations (8) and (12). Note that a left-handed coupling \(Y_L(d \rightarrow b) \, P_L\) would not contribute in (13) due to wrong chirality. The V’s are CKM matrix elements in the standard notation. The constant \(F_2\) sets the overall scale of the EDMs obtained from the two loop diagrams:

$$\begin{aligned} F_2= & {} \frac{g_W^3}{M_W \, \sqrt{2}} \left( \frac{1}{16 \pi ^2}\right) ^2 = \frac{2 M_W^2}{v^3} \left( \frac{1}{16 \pi ^2}\right) ^2 \nonumber \\\simeq & {} 6.94 \times 10^{-22} \text{ cm }, \end{aligned}$$
(14)

where I have used the conversion rule \(1/(200MeV)=10^{-13}\)cm. The quantities \(S_i\) in (13) are dimensionless functions of the masses of the particles entering the two loop diagrams. Some details from the loop calculations are given in the Appendix.

Using Feynman gauge for the W-boson, one has also to add diagrams with the unphysical Higgs field \(\phi _\pm \) (i.e. the longitudinal component of the W-boson) given by the the Lagrangian

$$\begin{aligned} {{\mathcal {L}}}_\mathrm {\phi t d} = - \frac{g_W}{M_W} \, V_{td}^* {\bar{d}} \, \phi _- (m_d P_L \, - \, m_t P_R) t + h.c.. \end{aligned}$$
(15)

For finite loop diagrams, a typical example is given in (51)–(53), while other finite integrals are given with same type formulae with permuted masses. The loop functions \(S_1\) and \(S_2\) are finite, dimensionless, and depend on the mass ratios

$$\begin{aligned} u_t = (m_t/M_W)^2 =4.64, \quad u_H = (M_H/M_W)^2=2.44. \end{aligned}$$
(16)

The masses of the W-boson, the t-quark and the physical Higgs-boson H are of the same order of magnitude. Therefore, because of lack of a clear mass hierarchy, it makes no sense to consider leading logarithmic approximations, in contrast to [33]. Numerically, I find

$$\begin{aligned} S_1 = - 2.55; \quad S_2 = 2.50. \end{aligned}$$
(17)

If the soft photon is emitted from the top quark after exchange of the Higgs boson, as in the third diagram from left in Fig. 3, or from the W-boson in the fourth diagram, the left sub-loop containing the Higgs boson is logarithmically divergent, which is not unexpected because the interaction in (9) is non-renormalizable. Each of the divergent integrals \(\sim ln(\Lambda ^2)\) are followed by finite logarithmic terms more cumbersome than for finite loop integrals, and such integrals are given by expressions like in (58), also with masses permuted for different diagrams.

The total contribution from the third digram in Fig. 3, including the contribution from the unphysical Higgs, is

$$\begin{aligned} S_3 = u_t p_1(u_t) C_\Lambda + 1.81. \end{aligned}$$
(18)

Here the UV divergence is parametrized through the quantity

$$\begin{aligned} C_\Lambda \equiv ln\left( \frac{\Lambda ^2}{M_W^2}\right) + \frac{1}{2}, \end{aligned}$$
(19)

where \(\Lambda \) is the UV cut-off. Numerically, \(C_\Lambda \) is \(\sim 5.5\) to 9.4 for \(\Lambda \sim \) 1 to 7 TeV. Furthermore, \( u_t \, p_1(u_t)\) is the result of the second subloop. Here

$$\begin{aligned} p_1(u) \equiv \frac{u}{(u-1)} \left( 1 - \frac{ln(u)}{u-1} \right) ; \quad p_1(u_t)= 0.737, \end{aligned}$$
(20)

where \(u_t\) is given in (16).

The fourth diagram in Fig. 3 with the soft photon emitted from the W-boson again contains a divergent part, and the total contribution to the fourth diagram is

$$\begin{aligned} S_4 = - \frac{3}{4} \, p_2(u_t) \, C_\Lambda + 2.98, \end{aligned}$$
(21)

where

$$\begin{aligned} p_2(u) \, \equiv \, \frac{u}{(u-1)} \left( \frac{u \cdot ln(u)}{u-1}- 1 \right) ; \quad p_2(u_t)= 1.219. \end{aligned}$$
(22)

Summing all contributions from diagrams in Fig. 3, I find

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{Fig.3}= & {} (1.65 \, + \, 1.37 \, C_\Lambda )\nonumber \\&\cdot F_2 \; \cdot Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}]. \end{aligned}$$
(23)

There are in addition contributions from the same diagrams in Fig. 3, but with other quarks in the loop. If the b-quark is replaced by an s-quark, the CKM factors are two orders of magnitude smaller, and in addition \(Y_R(d \rightarrow s)\) has a stricter bound from \(K -{\bar{K}}\)-mixing. If the t-quark is replaced by the u- or c-quark, the contributions are suppressed by \((m_u/m_t)^2\) and \((m_c/m_t)^2\), respectively.

Fig. 4
figure 4

Three diagrams with one WWH-Higgs coupling and one FC Higgs coupling for EDMs of a u- or d-quark. Soft photon emission from one of the charged particles is assumed to be added. The (b) diagrams are zero in the limit of zero external momentum of the light quarks due to momentum integration, or are suppressed by small light quark masses. The (c) diagrams are complex conjugates of the (a) diagrams . Here \(q=s,b\) and \({\tilde{q}}=u,c,t\) for EDM of a d-quark, and \(q=c,t\) and \({\tilde{q}}=d,s,b\) for EDM of a u-quark

Fig. 5
figure 5

Emission of a soft photon from (a)-type diagrams of Fig. 4. There is also a diagram with emission from the W in center of the diagram, and in addition graphs with the W replaced by an unphysical Higgs within Feynman gauge

There are also similar diagrams for EDM of an u-quark, i.e. like in Fig. 3 with the t- and the b-quarks interchanged. This amplitude has the same structure as in (13), and is proportional to the combination \(Im[Y_R(u \rightarrow t) \cdot V_{tb}^* \, V_{ub}]\). But the u-quark EDM contributions will be neglected. First, the ordinary SM coupling of the Higgs will be proportional to \(m_b/M_W\) instead of \(m_t/M_W\) for the d-quark case. Then it turns out that the prefactors \(S_i\) for u-quark EDM contributions are suppressed by a factor of order \((m_b/m_t)^2 \sim 10^{-3}\) compared to the analogous d-quark contributions. Second, even if the ratio between \(Y_R(u \rightarrow t)\) and \(Y_R(d \rightarrow b)\) would be of order \(m_t/m_b\), the u-quark EDM contribution to the nEDM in (4) would still be suppressed by \(|(\rho _u \cdot m_b)/(\rho _d \cdot m_t)| \, \sim 10^{-2}\) compared to the d-quark EDM contribution to the nEDM.

4 Diagrams with one FC coupling -and a WWH-coupling

We will now consider another class of two loop diagrams generated by FC Higgs-boson couplings. These diagrams shown in Fig. 4 have a big WWH-coupling \(\sim g_W \, M_W\) and only one FC Higgs coupling to a fermion. These two loop diagrams are divided in three types: the (a)-diagrams with Higgs exchange to the left, the (b)-diagrams with Higgs exchange in the middle, and the (c)-diagrams with Higgs exchange to the right. In the limit of small external light quark momenta, which we work, the (b)-diagrams are zero due to (odd) momentum integration, or they are suppressed by small external quark masses. The (c)-diagrams are complex conjugates of the (a)-diagrams. Soft photon emission from one of the charged particles should of course be added in Fig. 4, as seen in Fig. 5 for the (a)-diagrams. The (a) diagrams give contributions like in (10), and the (c) diagrams like in (11).

The relevant piece of the SM Lagrangian for a Higgs coupling to two W-bosons is given by

$$\begin{aligned} {{\mathcal {L}}}_\mathrm {WWH} =g_W \, M_W \, \sqrt{2} H W^{(-) \mu } W_\mu ^{(+)}. \end{aligned}$$
(24)

Using Feynman gauge for the W-boson, we must also consider Lagrangian terms for a physical Higgs coupling to a W-boson and the unphysical Higgs boson \(\phi _\pm \). In addition to the term for quarks coupling to \(\phi _\pm \) in (15), there is the relevant \(H W \phi _\pm \)- coupling obtained from the Lagrangian

$$\begin{aligned} {{\mathcal {L}}}_\mathrm {HW\phi } = \frac{g_W}{\sqrt{2}} \left\{ \, H (i \partial ^\mu \phi _-) \, - \, (i \partial ^\mu \, H) \phi _- \right\} W_\mu ^{(+)} + h.c. \end{aligned}$$
(25)

Because of derivative couplings, the vertices involving the unphysical Higgs \(\phi _\pm \) will depend on the loop momenta, which might give divergent (sub-)loops. There are also \(W \gamma \phi _\pm \)-couplings, but they do not contribute for soft photon emission.

In the preceeding Sect. 3, for all the shown diagrams in Fig.3, the physical Higgs coupled to the top quark with strength \(\sim g_W m_t/M_W\). Also the chiral structure of the diagrams is such that these diagrams are proportional to \(m_t^2\), and even \(m_t^4\) in \(S_3\). In the present section the diagrams have a flavor blind WWH coupling, and have another chiral structure, and one gets diagrams \(\sim \, m_t^2\) only for the case when the W-boson is replaced by an unphysical Higgs \(\phi _\pm \). Therefore I have apriori considered all quark flavors in the loops, although it is expected that the GIM-mechanism will cancel the leading terms with light quark flavors, except for the difference between the t-quark and the c-quarks contribution.

Contributions to the d-quark EDM from soft photon emission from the quark \(q= s,b\) in the diagram 5a,(i.e. to the left in Fig. 5) can in the general case be written:

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{5a}= & {} - \, 2 \, {\hat{e}}_s \, F_2 \, \left\{ \text{ Im } \left[ Y_R(d \rightarrow s) \, \lambda _u\right] \cdot \Delta f_d(s,u-c)\right. \nonumber \\&\left. +\, \text{ Im } \left[ Y_R(d \rightarrow s) \lambda _t \right] \cdot \Delta f_d(s,t-c) \right\} \nonumber \\&-\, 2 \, {\hat{e}}_b \, F_2 \, \left\{ \text{ Im }\left[ Y_R(d \rightarrow b) \, \xi _u \right] \cdot \Delta f_d(b,u-c) \right. \nonumber \\&\left. +\, \text{ Im }\left[ Y_R(d \rightarrow b) \, \xi _t \right] \cdot \Delta f_d(b,t-c) \, \right\} , \end{aligned}$$
(26)

where \(F_2\) is given in (14) and where \({\hat{e}}_s = {\hat{e}}_b = -1/3\) are charges for the photon-emitting quarks, and the \(\lambda \)’s and the \(\xi \)’s are CKM factors:

$$\begin{aligned} \lambda _{{\tilde{q}}} = V_{{\tilde{q}} d}^* V_{{\tilde{q}} s}, \quad \xi _{{\tilde{q}}} = V_{{\tilde{q}} d}^* V_{{\tilde{q}} b}, \quad {\tilde{q}} = u,c,t. \end{aligned}$$
(27)

The \(\Delta f\)’s in (29) are differences, due to GIM-cancellation, between loop functions \(f(q,{\tilde{q}})\), for given flavors \(q =s,b\) and \({\tilde{q}} =u,c,t\). These are functions of quark, W-boson and Higgs masses. Above, I have used the shortages

$$\begin{aligned} \Delta f_d(b,t-c)\equiv & {} f(b,t) - f(b,c)\;\nonumber \\ \Delta f_d(s,c-u)\equiv & {} f(s,c) - f(s,u), \end{aligned}$$
(28)

and so on in a self-explanatory way. The quantities \(f(q,{\tilde{q}})\) have the same form as in (53) with proper mass replacements. Numerically they are finite, and are of order \(10^{-1}\) to 1. The GIM-cancellations for the difference between the u- and c-quark contributions are very efficient, such that the differences \(\Delta f_d(s,u-c)\) and \(\Delta f_d(b,u-c)\) are of order \(10^{-3}\) to \(10^{-7}\), and can be safely neglected. Contributions with the t-quark in the loops are significantly different from contributions involving the lighter quarks. Thus, the determination of both the t-quark and the c-quark contributions will be important. In this case the GIM cancellation is not efficient.

Contributions to the d-quark EDM from soft photon emission from the quark \(q= s,b\) in the diagram 5a, the dominating contribution can be written:

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{5a}= & {} - \, 2 \, {\hat{e}}_b \, F_2 \, \left\{ \text{ Im }\left[ Y_R(d \rightarrow b) \, \xi _t \right] \right. \nonumber \\&\left. \cdot \Delta f_d(b,t-c) \, \right\} , \end{aligned}$$
(29)

where \(F_2\) is given in (14) and where \({\hat{e}}_b = -1/3\) is the charge for the photon-emitting b-quark, and \(\xi _{{\tilde{q}}} = V_{td}^* V_{t b}\). There are also other contributions which are small and can be neglected.

The quantity \(\Delta f_d(b,t-c)\) from loop calculations is the difference between the \(b \rightarrow t\) and the \(b \rightarrow c\) contributions, and is given by

$$\begin{aligned} \Delta f_d(b,t-c) \simeq -\,0.34. \end{aligned}$$
(30)

The diagram with soft photon emission from the quark \({\tilde{q}} = u,c,t\), is shown the center of Fig. 5 (i.e Fig. 5b). Adding contributions where the W is replaced by an unphysical Higgs \(\phi _\pm \), one obtains divergent contributions for these loop functions.

Because the \(WH\phi _\pm \)-vertex is momemtum dependent, the left subloop is divergent, reflecting again that the theory based on the Lagrangian in Eq. (7) alone is not renormalizable. The numerically relevant term from diagram 5b is given by

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{5b}\simeq & {} +\, 2 \, {\hat{e}}_{{\tilde{q}}} \, F_2 \cdot \text{ Im } \left[ \xi _t \, Y_R(d \rightarrow b) \right] \nonumber \\&\cdot \Delta h_d(b,t-c), \end{aligned}$$
(31)

where \(\Delta h_d(b,t-c)\) is defined similar to the \(\Delta f\)’s in Eq. (28). In this case there is a divergent term when W is replaced by the unphysical Higgs \(\phi _\pm \), and the total result from diagram 5b is

$$\begin{aligned} \Delta h_d(b,t-c) = p_2(u_t) \, C_\Lambda - 1.26, \end{aligned}$$
(32)

where \(C_\Lambda \) is given in (19) and \(p_2(u)\) in (22). The finite part is partly due du terms like (53), and partly terms given as in (56)–(58).

An example for diagrams with a soft photon emitted from the W-boson is shown at the right of Fig. 5 (Fig. 5c). Also in this case there are divergent diagrams, because the left sub-loop might be divergent for the replacement \(W \rightarrow \phi _{\pm }\). After GIM-cancellation the dominant term is

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{5c} \, \simeq \, 3 \, {\hat{e}}_W \, F \, \cdot \text{ Im } \left[ Y_R(d \rightarrow b) \, \xi _t \right] \cdot \Delta k_d(b,t-c),\nonumber \\ \end{aligned}$$
(33)

where one finds

$$\begin{aligned} \Delta k_d(b,t-c) = \frac{1}{2} p_2(u_t) \, C_\Lambda - 2.48, \end{aligned}$$
(34)

where the finite terms are given like those in (32).

Neglecting small contributions (all except those proportional to \(V_{td}^* \, V_{tb} \, \equiv \xi _t\)), and summing all contributions from diagrams in Fig. 5 one finds

$$\begin{aligned} \left( \frac{d_d}{e}\right) _{Fig.5}= & {} (3.46 \, C_\Lambda - 9.35) \cdot F_2 \nonumber \\&\cdot Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}] \end{aligned}$$
(35)

The EDM of the u-quark is neglected due to small loop functions (-after GIM-cancellation), and small CKM-factors. Moreover, the comments about the \(Y_R\)’s at the end of the previous sections are also relevant here.

5 Perturbative QCD corrections

Summing all two loop contributions from Sects. 3 and 4, I obtain the total bare dominanting contribution for an EDM of the d-quark:

$$\begin{aligned}&\left( \frac{d_d}{e}\right) _{Tot}^{bare} \, \equiv \, C_E(\mu _\Lambda ) \nonumber \\&\quad = \, (4.83 \, C_\Lambda - 7.70) \, F_2 \, \, Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}], \end{aligned}$$
(36)

where the scale \(\mu _\Lambda \, \sim \, \Lambda \). But perturbative QCD effects for scales below \(\mu _\Lambda \) must also be taken into account. The color electric term can be easily found from the same expressions for photon emission from quarks (corresponding to all quark charges put to \(+g_s\)). The total color electric term is then found to be

$$\begin{aligned} \left( \frac{d_d}{g_s}\right) _{Tot}^{bare}\equiv & {} C_C(\mu _\Lambda ) \nonumber \\= & {} (1.96 \, C_\Lambda {-} 2.55) \, F_2 \, \, Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}].\nonumber \\ \end{aligned}$$
(37)

There are also contributions from the Weinberg operator for the FCH couplings. Contributions to the Weinberg operator proportional to \(Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}]\), are shown in Fig. 6. These are however very small due to “wrong” chiralities, are suppressed by \(m_d/M_W\), and will therefore be neglected.

Fig. 6
figure 6

The contributions to the Weinberg operator for the flavor changing Higgs interaction \(Y_R(d~\rightarrow ~b)\), represented by the grey blobs to the left in both diagrams. Three gluon lines have to be attached to quark lines

The color electric term mixes into the EDM term in (3) due to renormalization effects in perturbative QCD. The relevant mixing matrix under QCD renormalization at one loop level is given in [47]. This result is also used in [39]. The result for the coefficient \(C_E\) of the EDM-operator describing the running from a high scale \(\mu _{high}\) down to a smaller scale \(\mu _{low}\) is

$$\begin{aligned} C_E (\mu _{low})= & {} \eta ^{\kappa _E} C_E(\mu _{high}) \nonumber \\&+ \frac{\gamma _{CE}}{\gamma _E \, - \gamma _C} \, (\eta ^{\kappa _E} \, - \, \eta ^{\kappa _C}) \, C_C(\mu _{high}). \end{aligned}$$
(38)

There is also a term due to the Weinberg operator which is omitted here because of the negligible contribution mentioned above. In this one loop formula, \(\gamma _E\) and \(\gamma _C\) are the anomalous dimensions of the EDM- and the color electric operators, respectively, and \(\gamma _{CE}\) describes the mixing of the color operator into the EDM operator. One has

$$\begin{aligned} \gamma _E = \gamma _{CE} = \frac{32}{3}, \gamma _C = \frac{28}{3}, \end{aligned}$$
(39)

and

$$\begin{aligned} \kappa _i = \frac{\gamma _i}{2\beta _0}; \eta = \frac{\alpha _s(\mu _{high})}{\alpha _s(\mu _{low})}; \beta _0 =11 - \frac{2 n_f}{3}, \end{aligned}$$
(40)

where \(n_f\) is the number of active quark flavors, which is \(n_f=6\) above the t-quark scale and \(n_f=5\) below. In the present case one should do the running in four steps, from the big scale \(\mu _\Lambda \sim \Lambda \) down to the top scale \(\mu _t \sim m_t\) with \(\beta _0 = 7\), from the top scale down to the b-quark scale \(m_b\) with \(\beta _0 = 23/3\), from the b-quark scale down to the charm scale \(m_c\) with \(\beta _0 = 25/3\), and at last from the charm scale down to the hadronic scale \(\mu _h \sim 1\hbox { GeV}\) with \(\beta _0 =9\).

Including QCD corrections, I obtain at the hadronic scale \(\mu _h = 1\hbox { GeV}\):

$$\begin{aligned} d_d/e= & {} C_e (\mu _h) = K_1 \, \eta ^{\frac{16}{21}} \, C_E(\mu _\Lambda ) \nonumber \\&+ \left( K_1 \,(\eta ^{\frac{16}{21}} - \eta ^{\frac{14}{21}}) + K_5 \, \eta ^{\frac{14}{21}} \right) \, C_C(\mu _\Lambda ). \end{aligned}$$
(41)

where \(\eta \equiv \alpha _s(\mu _\Lambda )/\alpha _s(\mu _t)\), and where \(K_1\) and \(K_5\) takes care of the QCD corrections below \(\mu _t\), and are given in Eqs. (60)–(64) in the Appendix. The one loop result should be a good approximation above top mass scale, but not for lower scales, i.e. not below say, the b-quark scale.

Fig. 7
figure 7

The divergent effective W-loop vertex correction diagram relevant for diagrams of Sect. 3 (left), and the (finite) effective vertex correction relevant for diagrams in Sect. 4 (right)

6 Summary and discussion

As expected, there are cases where the considered two loop diagrams for the EDMs of d- and u-quarks diverges. This happens for cases in Sect. 3 where the left sub-loop in Fig. 7 is involved, and for diagrams where the unphysical Higgs (\(\phi _\pm \)) is involved both in sect III and IV. More specific, the left diagram in Fig. 7 which looks like a vertex correction for \(d \rightarrow W \, + \, u, c, t\) is logarithmically divergent. Actually, this diagram generates a logarithmic divergent right-handed current which has no match in the SM. The diagram at the right in Fig. 7 is convergent, but if the W-boson is replaced by an unphysical Higgs \(\phi _\pm \), when used in two loop diagrams as in Fig. 5, we obtain logarithmic divergent diagrams due to a momentum dependent vertex, as seen from (25). These are numerically relevant if the quark \({\tilde{q}} \) is a top quark. The dominating divergent terms in Sects. 3 and 4 are proportional to \(m_t^2\) (-or even \(m_t^4\) in one case in Sect. 3). It should also be noted that the first and last diagram in Fig. 5 are relevant for the EDM of the electron [46]. However, in that case the divergent terms would be proportional to powers of a tiny neutrino mass, instead of the top-quark mass.

All contributions (after GIM-cancellation) not proportional to \( \xi _t \, \equiv \, V_{td}^* \, V_{tb}\) are neglected, using bounds on other \(Y_R\)’s [36, 37], as explaned in the preceeding sections. Also all the contributions for an EDM of the u-quark can be neglected, for reasons given at the end of the Sects. 3 and 4.

I have also neglected the s-quark contribution \(d_s\) for the following reason: The loop functions for the s-quark are numerically close to the ones for the d-quark. The CKM factor is bigger, but \(\gamma _s/\gamma _d \simeq 10 ^{-2}\), such that the contribution to the result in (4) from the \(d_s\) is of order \(5 \%\). Thus our final result for the nEDM is simply

$$\begin{aligned} d_n \; \simeq \; \rho _d \, d_d, \end{aligned}$$
(42)

where the lattice value of \(\rho _d\) is given in (6). Using the experimental bound for nEDM in (1), the result (36) of the present study gives the bound

$$\begin{aligned} | \text{ Im } \left[ Y_R(d \rightarrow b) \cdot \frac{V_{td}^* \, V_{tb}}{|V_{td}^* \, V_{tb}|} \right] | \le (1.2\text{ to }2.2 ) \times 10^{-3}. \end{aligned}$$
(43)

for values of \(\Lambda \) from 1 up to 7 TeV.

From the mathematical point of view, \(\Lambda \) is the quantity which regularise the divergent two loop diagrams, while \(\Lambda _{NP}\) in (9) is introduced as a dimensional quantity parametrising the \(Y_R\)’s and indicates the scale of new physics. But these scales are expected to be of the same order of magnitude.

In (43) I have found a bound on the imaginary part of the coupling \(Y_R(d \rightarrow b)\) multiplied by the CKM entry \(V_{td}^* V_{tb}\) (-remembering that \(V_{tb} \simeq 1\)). Thus the present bound is not directly comparable to the previous bound \(1.5 \times 10^{-4}\) on the absolute value of \(Y_R(d \rightarrow b)\) given in refs. [36, 37]. But, turning things around, if the bound for \(Y_R(d \rightarrow b)\) found in [37] is assumed to be saturated, then one can see how close to the experimental bound on the nEDM in (1) my value of nEDM might come. This is illustrated explicitly as follows:

Fig. 8
figure 8

The quantity \(N = N(\Lambda )\), in units \(10^{-26}\) cm (at the vertical axis), as a function of cut-off \(\Lambda \) in TeV (at the horisontal axis). The upper blue curve describes the bare case and the lower red curve the case with QCD corrections included

Using (36), the lattice values in (6) and absolute value of \(V_{td}^* \, V_{tb}\) from [6], one may write my result for the nEDM in the following way

$$\begin{aligned} d_n/e\simeq & {} N(\Lambda ) \times \left\{ \frac{|Y_R(b \rightarrow d)|}{|Y_R(b \rightarrow d)|_{Bound}} \right. \nonumber \\&\left. \cdot \text{ Im } \left[ \frac{Y_R(d \rightarrow b)}{|Y_R(b \rightarrow d)|} \cdot \frac{V_{td}^* \, V_{tb}}{|V_{td}^* \, V_{tb}|}\right] \right\} \times 10 ^{-26} \text{ cm },\nonumber \\ \end{aligned}$$
(44)

where I have scaled the result with the bound from [36, 37]:

$$\begin{aligned} | Y_R(d \rightarrow b)| \le \; 1.5 \times 10^{-4} \equiv | Y_R(d \rightarrow b)|_{Bound}. \end{aligned}$$
(45)

Defining first

$$\begin{aligned} C_a = F_2 Im[Y_R(d \rightarrow b) \, V_{td}^* \, V_{tb}] \, {\hat{C}}_a , \end{aligned}$$
(46)

for \(a=E,C\), I further define the function \(N(\Lambda )\), by the relation

$$\begin{aligned}&\rho _d \, F_2 \, |Y_R(d \rightarrow b)|_{Bound} |V_{td}^* \, V_{tb}| \,{\hat{C}_E}(\mu _\Lambda ) \nonumber \\&\quad = N(\Lambda ) \times 10 ^{-26} \text{ cm }. \end{aligned}$$
(47)

The function \(N(\Lambda )\) is plotted as a function of \(\Lambda \) in Fig. 8.

Now, the maximal value of the parenthesis \(\{\ldots \}\) in (44) is \(= 1\). Then, if the bound for \(Y_R(d \rightarrow b)\) is saturated, the plot for the function \(N(\Lambda )\) in Fig. 8 shows that when the cut-off \(\Lambda \) is stretched up to 20 TeV, the bound for nEDM in (1) is reached in the bare case (upper curve), while the perturbative QCD-suppression tells us that the value of the nEDM can at maximum be of order one tenth of the experimental bound for \(\Lambda \) up to 20 TeV (lower curve). If the bound for \(|Y_R(d \rightarrow b)|\) is reduced, and also \(\Lambda \) is reduced, my value for nEDM will be accordingly smaller.

7 Conclusion

In conclusion, I have explored the consequenses for the nEDM of having flavor changing Higgs couplings. In the scenary of [37, 40] such couplings might stem from a six dimensional non-renormalisable, \(SU(2)_L \times U(1)_Y\) gauge-invariant Lagrangian piece proportional to the third power of the SM Higgs doublet field, as seen in Eq. (9). The considerd effective theory is non-renormalisable and some diagrams are ultraviolet divergent. I have parametrised the divergence in terms of the logarithm of the ultraviolet cut-off, of order of possible New Physics. One might think that, even if this effective theory is non-renormalisable, one might regularise it with \({\overline{MS}}\)-regularisation and add counterterms, -say like in chiral perturbation theory. However, I do not think that this will give a better description in the present case.

While previous analysis [36, 37] obtained bound(s) of quadratic expressions of the FCH coupling(s), in the present paper the analysis is extended to the two loop case for quark EDMs generated by a flavor changing Higgs coupling \(Y_R(d \rightarrow d)\) to first order only.

I have found and calculated two loop contributions which gives a bound for the imaginary part of the product of \(Y_R(d \rightarrow b)\) and the CKM entry \(V_{td}^* V_{tb}\) (where \(V_{tb}\) is known to be very close to one). This bound cannot be directly compared with the bound from [36, 37], which is on the absolute value. But even if this bound on the absolute value is saturated, and even if \(\Lambda \) is stretched up to 20 TeV, it is seen from Fig. 8 that the value of the nEDM can at maximum be of order one tenth of the present experimental bound in (1).