1 Introduction

Top-quark flavor changing neutral currents (FCNCs) are extremely suppressed in the standard model (SM) due to the Glashow–Iliopoulos–Maiani (GIM) mechanism [1]. The branching ratios (BRs) for the \(t\rightarrow q (g, \gamma , Z,h)\) decays with \(q=u, c\) in the SM are of order of \(10^{-12}\)\(10^{-17}\) [2, 3], and these results are far below the detection limits of LHC, where the expected sensitivity in the high luminosity (HL) LHC for an integrated luminosity of 3000 \(\hbox {fb}^{-1}\) at \(\sqrt{s}=14\) TeV is in the range \(10^{-5}\)\(10^{-4}\) [4, 5]. Thus, the top-quark flavor-changing processes can serve as good candidates for investigating the new physics effects. Extensions of the SM, which can reach the HL-LHC sensitivity, can be found in [6,7,8,9,10,11,12,13,14,15,16,17].

Using the data collected with an integrated luminosity of 36.1 \(\hbox {fb}^{-1}\) at \(\sqrt{s}=13\) TeV, ATLAS reported the current strictest upper limits on the BRs for \(t\rightarrow q Z\) as [18]:

$$\begin{aligned} BR(t\rightarrow u Z)&< 1.7 \times 10^{-4}, \nonumber \\ BR(t\rightarrow c Z)&< 2.4 \times 10^{-4}. \end{aligned}$$
(1)

Based on the current upper bounds, we model-independently study the implications of anomalous tqZ couplings in the low energy flavor physics. It is found that the tqZ couplings through the Z-penguin diagram can significantly affect the rare decays in K and B systems, such as \(\epsilon '/\epsilon \), \(K\rightarrow \pi \nu {\bar{\nu }}\), \(K_S \rightarrow \mu ^+ \mu ^-\), and \(B_d \rightarrow \mu ^+ \mu ^-\). Since the gluon and photon in the top-FCNC decays are on-shell, the contributions from the dipole-operator transition currents are small. In this study we thus focus on the \(t\rightarrow qZ\) decays, especially the \(t\rightarrow u Z\) decay.

From a phenomenological perspective, the importance of investigating the influence of these rare decays are stated as follows: The inconsistency in \(\epsilon '/\epsilon \) between theoretical calculations and experimental data was recently found based on two analyses: (i) The RBC-UKQCD collaboration obtained the lattice QCD result with [19, 20]:

$$\begin{aligned} Re(\epsilon '/\epsilon ) = 1.38(5.15)(4.59) \times 10^{-4}, \end{aligned}$$
(2)

where the numbers in brackets denote the errors. (ii) Using a large \(N_c\) dual QCD [21,22,23,24,25], the authors in [26, 27] obtained:

$$\begin{aligned} Re(\epsilon '/\epsilon )_{\mathrm{SM}} = (1.9 \pm 4.5)\times 10^{-4}. \end{aligned}$$
(3)

Note that the authors in [28] could obtain \(Re(\epsilon '/\epsilon ) = (15 \pm 7) \times 10^{-4}\) when the short-distance (SD) and long-distance (LD) effects are considered. Both RBC-UKQCD and DQCD results show that the theoretical calculations exhibit an over \(2\sigma \) deviation from the experimental data of \(Re(\epsilon '/\epsilon )_{\mathrm{exp}}=(16.6 \pm 2.3)\times 10^{-4}\), measured by NA48 [29] and KTeV [30, 31]. Based on the results, various extensions of the SM proposed to resolve the anomaly can be found in [32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56]. We find that the direct Kaon CP violation arisen from the tuZ-coupling can be \(\epsilon '/\epsilon \lesssim 0.8 \times 10^{-3}\) when the bound of \(BR(t\rightarrow uZ)< 1.7 \times 10^{-4}\) is satisfied.

Unlike \(\epsilon '/\epsilon \), which strongly depends on the hadronic matrix elements, the calculations of \(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }}\) and \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) are theoretically clean and the SM results can be found as [40]:

$$\begin{aligned} BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})= & {} (8.5 ^{+1.0}_{-1.2}) \times 10^{-11}, \end{aligned}$$
(4)
$$\begin{aligned} BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})= & {} (3.2^{+1.1}_{-0.7})\times 10^{-11}, \end{aligned}$$
(5)

where the QCD corrections at the next-to-leading-order (NLO) [62,63,64] and NNLO [65,66,67] and the electroweak corrections at the NLO [68,69,70] have been calculated. In addition to their sensitivity to new physics, \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) is a CP-violating process and its BR indicates the CP-violation effect. The current experimental situations are \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})^{\mathrm{exp}} =(17.3^{+11.5}_{-10.5})\times 10^{-11}\) [71] and \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})^{\mathrm{exp}} < 2.6\times 10^{-8}\) [72]. The NA62 experiment at CERN is intended to measure the BR for \(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }}\) with a \(10\%\) precision [57, 58], and the KOTO experiment at J-PARC will observe the \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) decay [59, 60]. In addition, the KLEVER experiment at CERN starting in Run-4 could observe the BR of \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) to \(20\%\) precision [61]. Recently, NA62 reported its first result using the 2016 taken data and found that one candidate event of \(K^+\rightarrow \pi ^+ \nu {\bar{\nu }}\) could be observed, where the corresponding BR upper bound is given by \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})< 14 \times 10^{-10}\) at a \(95\%\) confidence level (CL) [73]. We will show that the anomalous tuZ-coupling can lead to \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }}) \lesssim 12 \times 10^{-11}\) and \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})\lesssim 7.9 \times 10^{-11}\). It can be seen that NA62, KOTO, and KLEVER experiments can further constrain the tuZ-coupling using the designed sensitivities.

Another important CP violating process is \(K_S \rightarrow \mu ^+\mu ^-\), where the SM prediction including the long-distance (LD) and short-distance (SD) effects is given as \(BR(K_S \rightarrow \mu ^+ \mu ^-)=(5.2 \pm 1.5) \times 10^{-12}\) [74,75,76]. The current upper limit from LHCb is \(BR(K_S\rightarrow \mu ^+ \mu ^-) < 0.8 (1.0) \times 10^{-9}\) at a 90% (95%) CL. It is expected that using the LHC Run-2 data, the LHCb sensitivity can be improved to \([4,\, 200]\times 10^{-12}\) with 23 \(\hbox {fb}^{-1}\) and to \([1,\, 100]\times 10^{-12}\) with 100 \(\hbox {fb}^{-1}\) [77]. Although the tuZ-coupling can significantly enhance the SD contribution of \(K_S\rightarrow \mu ^+ \mu ^-\), due to LD dominance, the increase of \(BR(K_S \rightarrow \mu ^+ \mu ^-)_{\mathrm{LD + SD}}\) can be up to \(11\%\).

It has been found that the tuZ-coupling-induced Z-penguin can significantly enhance the \(B_d\rightarrow \mu ^+ \mu ^-\) decay, where the SM prediction is given by \(BR(B_d \rightarrow \mu ^+ \mu ^-)=(1.06\pm 0.09)\times 10^{-10}\) [78]. From the data, which combine the full Run I data with the results of 26.3 \(\hbox {fb}^{-1}\) at \(\sqrt{s}=13\) TeV, ATLAS reported the upper limit as \(BR(B_d \rightarrow \mu ^+ \mu ^-) < 2.1 \times 10^{-10}\) [79]. In addition, the result combined CMS and LHCb was reported as \(BR(B_d \rightarrow \mu ^+ \mu ^-) =(3.9^{+1.6}_{-1.4}) \times 10^{-10}\) [80], and LHCb recently obtained the upper limit of \(BR(B_d \rightarrow \mu ^+ \mu ^-) < 3.4 \times 10^{-10}\) [81]. It can be seen that the measured sensitivity is close to the SM result. We find that using the current upper limit of \(BR(t\rightarrow u Z)\), the \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) can be enhanced up to \(1.97 \times 10^{-10}\), which is close to the ATLAS upper bound.

The paper is organized as follows: In Sect. 2, we introduce the effective interactions for \(t\rightarrow qZ\) and derive the relationship between the tqZ-coupling and \(BR(t\rightarrow qZ)\). The Z-penguin FCNC processes induced via the anomalous tqZ couplings are given in Sect. 3. The influence on \(\epsilon '/\epsilon \) is shown in the same section. The tqZ-coupling contribution to the other rare K and B decays is shown in Sect. 4. A summary is given in Sect. 5.

2 Anomalous tqZ couplings and their constraints

Based on the prescription in [2], we write the anomalous tqZ interactions as:

$$\begin{aligned} -{{\mathcal {L}}}_{t q Z}&= \frac{g}{2 c_W} {\bar{q}} \gamma ^\mu \left( \zeta ^L_q P_L + \zeta ^R_q P_R \right) t Z_\mu + H.c., \end{aligned}$$
(6)

where g is the \(SU(2)_L\) gauge coupling; \(c_W=\cos \theta _W\) and \(\theta _W\) is the Weinberg angle; \(P_{L(R)}=(1\mp \gamma _5)/2\), and \(\zeta ^{L(R)}_q\) denote the dimensionless effective couplings and represent the new physics effects. In this study, we mainly concentrate the impacts of the tqZ couplings on the low energy flavor physics, in which the rare K and B decays are induced through the penguin diagram.

The rare D-meson processes, such as D\({\bar{D}}\) mixing and \(D\rightarrow \ell {\bar{\ell }}\), can be induced through the box diagrams; however, the processes in D system can always be suppressed by taking one of the involved anomalous couplings, e.g. tcZ, to be small. Thus, in the following analysis, we focus on the study in the rare K and B decays. In order to study the influence on the Kaon CP violation, we take \(\zeta ^{L, R}_q \) as complex parameters, and the new CP violating phases are defined as \(\zeta ^{\chi }_q = |\zeta ^{\chi }_q| e^{-i\theta ^\chi _q}\) with \(\chi =L,R\).

Table 1 Inputs for the numerical estimates

The top anomalous couplings in Eq. (6) can basically arise from the dimension-six operators in the SM effective field theory (EFT), where the theory with new physics effects obeys the \(SU(2)_L\times U(1)_Y\) gauge symmetry. For clarity, we show the detailed analysis for the left-handed quark couplings in Appendix. It can be found that the couplings in Eq. (6), which are generated from the SM-EFT, are not completely excluded by the low-energy flavor physics when the most general couplings are applied. The case with the strict constraints can be found in [10]. In addition to the SM-EFT [82,83,84], the top anomalous tqZ couplings can be induced from the lower dimensional operators in the extension of the SM, such as SU(2) singlet vector-like up-type quark model [8], extra dimensions [9], and generic two-Higgs-doublet model [16]. Hence, in this study, we take \(\zeta ^\chi _q\) are the free parameters and investigate the implications of the sizable \(\zeta ^\chi _q\) effects without exploring their producing mechanism.

Using the interactions in Eq. (6), we can calculate the BR for \(t\rightarrow q Z\) decay. Since our purpose is to examine whether the anomalous tqZ-coupling can give sizable contributions to the rare K and B decays when the current upper bound of \(BR(t\rightarrow q Z)\) is satisfied, we express the parameters \(\zeta ^{L,R}_q\) as a function of \(BR(t \rightarrow q Z)\) to be:

$$\begin{aligned} \sqrt{ \left| \zeta ^L_q \right| ^2 + \left| \zeta ^R_q \right| ^2}&= \left( \frac{BR(t\rightarrow q Z)}{C_{tqZ} }\right) ^{1/2}, \nonumber \\ C_{tqZ}&= \frac{G_F m^3_t}{16 \sqrt{2} \pi \Gamma _t} \left( 1- \frac{m^2_Z}{m^2_t}\right) ^2\left( 1+ 2\frac{m^2_Z}{m^2_t} \right) . \end{aligned}$$
(7)

For the numerical analysis, the relevant input values are shown in Table 1. Using the numerical inputs, we obtain \(C_{tqZ} \approx 0.40\). When \(BR(t\rightarrow u(c) Z) < 1.7 (2.3) \times 10^{-4}\) measured by ATLAS are applied, the upper limits on \(\sqrt{|\zeta ^L_{u(c)}|^2 + |\zeta ^{R}_{u(c)}|^2}\) can be respectively obtained as:

$$\begin{aligned} \sqrt{|\zeta ^L_{u}|^2 + |\zeta ^{R}_{u}|^2}< 0.019, \nonumber \\ \sqrt{|\zeta ^L_{c}|^2 + |\zeta ^{R}_{c}|^2} < 0.022. \end{aligned}$$
(8)

Since the current measured results of the \(t\rightarrow (u, c) Z\) decays are close each other, the bounds on \(\zeta ^\chi _{u}\) and \(\zeta ^{\chi }_c\) are very similar. We note that BR cannot determine the CP phase; therefore, \(\theta ^{\chi }_{u}\) and \(\theta ^{\chi }_c\) are free parameters.

3 Anomalous tqZ effects on \(\epsilon '/\epsilon \)

In this section, we discuss the tqZ-coupling contribution to the Kaon direct CP violation. The associated Feynman diagram is shown in Fig. 1, where \(q=u,c\); \(q'\) and \(q''\) are down type quarks, and f denotes any possible fermions. That is, the involved rare K and B decay processes in this study are such as \(K\rightarrow \pi \pi \), \(K\rightarrow \pi \nu {\bar{\nu }}\), and \(K_S(B_{d}) \rightarrow \ell ^+ \ell ^-\). It is found that the contributions to \(K_L \rightarrow \pi \ell ^+ \ell ^-\) and \(B\rightarrow \pi \ell ^+ \ell ^-\) are not significant; therefore, we do not discuss the decays in this work.

Fig. 1
figure 1

Sketched Feynman diagram for \(q'\rightarrow q'' f {\bar{f}}\) induced by the tqZ coupling, where \(q'\) and \(q''\) denote the down-type quarks; \(q=u,c\), and f can be any possible fermions

Based on the tqZ couplings shown in Eq. (6), the effective Hamiltonian induced by the Z-penguin diagram for the \(K\rightarrow \pi \pi \) decays at \(\mu =m_W\) can be derived as:

$$\begin{aligned} {{{\mathcal {H}}}}_{tqZ}&= - \frac{G_F \lambda _t}{\sqrt{2}} \left( y^{Z}_3 Q_3 + y^Z_{7} Q_7 + y^Z_9 Q_9 \right) , \end{aligned}$$
(9)

where \(\lambda _t= V^*_{ts} V_{td}\); the operators \(Q_{3,7,9}\) are the same as the SM operators and are defined as:

$$\begin{aligned} Q_{3}&= ({\bar{s}} d)_{V-A} \sum _{q'} ({\bar{q}}' q')_{V-A}, \nonumber \\ Q_{7}&= \frac{3}{2} ({\bar{s}} d)_{V-A} \sum _{q'} e_{q'} ({\bar{q}}' q')_{V+A}, \nonumber \\ Q_{9}&= \frac{3}{2} ({\bar{s}} d)_{V-A} \sum _{q'} e_{q'} ({\bar{q}}' q')_{V-A}, \end{aligned}$$
(10)

with \(e_{q'}\) being the electric charge of \(q'\)-quark, and the effective Wilson coefficients are expressed as:

$$\begin{aligned} y^Z_3&= - \frac{\alpha }{24 \pi s^2_W} I_Z(x_t) \eta _Z , ~ y^Z_7 = - \frac{\alpha }{6\pi } I_Z(x_t) \eta _Z, \nonumber \\ y^Z_9&= \left( 1- \frac{1}{s^2_W} \right) y^Z_7, ~ \eta _Z = \sum _{q=u,c} \left( \frac{V_{qd} \zeta ^{L*}_q }{V_{td}} + \frac{V^*_{qs} \zeta ^L_q }{V^*_{ts}} \right) , \end{aligned}$$
(11)

with \(\alpha =e^2/4\pi \), \(x_t=m^2_t/m^2_W\), and \(s_W=\sin \theta _W\). The penguin-loop integral function is given as:

$$\begin{aligned} I_Z(x_t) = -\frac{1}{4} + \frac{x_t\, \ln x_t}{2 (x_t-1)}\approx 0.693. \end{aligned}$$
(12)

Since W-boson can only couple to the left-handed quarks, the right-handed couplings \(\zeta ^R_{u, c}\) in the diagram have to appear with \(m_{u(c)}\) and \(m_{t}\), in which the mass factors are from the mass insertion in the quark propagators inside the loop. When we drop the small factors \(m_{c,u}/m_W\), the effective Hamiltonian for \(K\rightarrow \pi \pi \) only depends on \(\zeta ^L_{u, c}\). Since \(|V_{ud}/V_{td}|\) is larger than \(|V_{cs}/V_{ts}|\) by a factor of 4.67, the dominant contribution to the \(\Delta S=1\) processes is from the first term of \(\eta _Z\) defined in Eq. (11). In addition, \(V_{ud}\) is larger than \(|V_{cd}|\) by a factor of \(1/\lambda \sim 4.44\); therefore, the main contribution in the first term of \(\eta _Z\) comes from the \(V_{ud} \zeta ^{L*}_{u}/V_{td}\) effect. That is, the anomalous tuZ-coupling is the main effect in our study.

Using the isospin amplitudes, the Kaon direct CP violating parameter from new physics can be estimated using [27]:

$$\begin{aligned} Re\left( \frac{\epsilon '}{\epsilon }\right) \approx - \frac{ \omega }{\sqrt{2} |\epsilon _K|} \left[ \frac{Im A_0}{ Re A_0} - \frac{Im A_2}{ Re A_2}\right] , \end{aligned}$$
(13)

where \(\omega = Re A_2/Re A_0 \approx 1/22.35\) denotes the \(\Delta I=1/2\) rule, and \(|\epsilon _K|\approx 2.228\times 10^{-3}\) is the Kaon indirect CP violating parameter. It can be seen that in addition to the hadronic matrix element ratios, \(\epsilon '/\epsilon \) also strongly depends on the Wilson coefficients at the \(\mu =m_c\) scale. It is known that the main new physics contributions to \(\epsilon '/\epsilon \) are from the \(Q^{(\prime )}_6\) and \(Q^{(\prime )}_8\) operators [33, 85]. Although these operators are not generated through the tqZ couplings at \(\mu =m_W\) in our case, they can be induced via the QCD radiative corrections. The Wilson coefficients at the \(\mu =m_c\) scale can be obtained using the renormalization group (RG) evolution [86]. Thus, the induced effective Wilson coefficients for \(Q_{6,8}\) operators at \(\mu =m_c\) can be obtained as:

$$\begin{aligned} y^Z_6(m_c)&\approx -0.08 y^Z_3 - 0.01 y^Z_7 + 0.07 y^Z_9, \nonumber \\ y^Z_8(m_c)&\approx 0.63 y^Z_7. \end{aligned}$$
(14)

It can be seen that \(y^Z_6(m_c)\) is much smaller than \(y^Z_8(m_c)\); that is, we can simply consider the \(Q_8\) operator contribution.

According to the \(K\rightarrow \pi \pi \) matrix elements and the formulation of \(Re(\epsilon '/\epsilon )\) provided in [27], the \(O_8\) contribution can be written as:

$$\begin{aligned} Re\left( \frac{\epsilon '}{\epsilon }\right) ^Z_P&\approx - a^{(3/2)}_8 B^{(3/2)}_8, \nonumber \\ a^{(3/2)}_8&= Im\left( \lambda _t y^Z_8(m_c)\right) \frac{r_2 \langle Q_8 \rangle _2}{ B^{(3/2)}_8 Re A_2}, \end{aligned}$$
(15)

where \(r_2 = \omega G_F/(2 |\epsilon _K|)\approx 1.17\times 10^{-4}\) \(\hbox {GeV}^{-2}\), \(B^{(3/2)}_8 \approx 0.76\); \(Re A^\mathrm{exp}_{2(0)}\approx 1.21 (27.04)\times 10^{-8}\) GeV [87], and the matrix element of \(\langle Q_8 \rangle _2\) is defined as:

$$\begin{aligned} \langle Q_8 \rangle _2 = \sqrt{2} \left( \frac{m^2_K}{m_s (\mu )+ m_d(\mu )} \right) ^2 f_\pi B^{3/2}_8. \end{aligned}$$
(16)

Although the \(Q_8\) operator can contribute to the isospin \(I=0\) state of \(\pi \pi \), because its effect is a factor of 15 smaller than the isospin \(I=2\) state, we thus neglect its contribution.

Since the \(t\rightarrow (u, c)Z\) decays have not yet been observed, in order to simplify their correlation to \(\epsilon '/\epsilon \), we use \(BR(t\rightarrow q Z)\equiv \mathrm{Min}(BR(t\rightarrow cZ), \, BR(t\rightarrow u Z))\) instead of \(BR(t\rightarrow u(c) Z)\) as the upper limit. The contours for \(Re(\epsilon '/\epsilon )^Z_P\) ( in units of \(10^{-3}\)) as a function of \(BR(t\rightarrow q Z)\) and \(\theta ^L_u\) are shown in Fig. 2, where the solid and dashed lines denote the results with \(\theta ^L_c = -\theta ^L_u\) and \(\zeta ^L_c=0\), respectively, and the horizontal dashed line is the current upper limit of \(BR(t\rightarrow q Z)\). It can be seen that the Kaon direct CP violation arisen from the anomalous tuZ-coupling can reach \(0.8 \times 10^{-3}\), and the contribution from tcZ-coupling is only a minor effect. When the limit of \(t\rightarrow qZ\) approaches \(BR(t\rightarrow qZ)\sim 0.5 \times 10^{-4}\), the induced \(\epsilon '/\epsilon \) can be as large as \(Re(\epsilon '/\epsilon )^Z_P \sim 0.4 \times 10^{-3}\).

Fig. 2
figure 2

Contours for \(Re(\epsilon '/\epsilon )^Z_P\) (in units of \(10^{-3}\)) as a function of \(BR(t\rightarrow q Z)\) and \(\theta ^L_u\), where the solid and dashed lines denote the \(\theta ^L_c=-\theta ^L_u\) and \(\zeta ^L_c=0\) results, respectively. The \(BR(t\rightarrow q Z)\) is defined as the minimal one between \(BR(t\rightarrow u Z)\) and \(BR(t\rightarrow c Z)\). The horizontal dashed line (red) is the current upper limit of \(BR(t\rightarrow q Z)\)

4 Z-penguin induced (semi)-leptonic K and B decays and numerical analysis

The same Feynman diagram as that in Fig. 1 can be also applied to the rare leptonic and semi-leptonic K(B) decays when f is a neutrino or a charged lepton. Because \(|V_{us}/V_{ts}| \ll |V_{cs}/V_{ts}| \sim |V_{us}/V_{td}| \ll |V_{ud}/V_{td}|\), it can be found that the anomalous tu(c)Z-coupling contributions to the \(b\rightarrow s \ell {\bar{\ell }}\) (\(\ell = \nu , \ell ^-)\) processes can deviate from the SM result being less than \(7\%\) in terms of amplitude. However, the influence of the tuZ coupling on \(d \rightarrow s \ell {\bar{\ell }}\) and \(b\rightarrow d \ell {\bar{\ell }}\) can be over \(20\%\) at the amplitude level. Accordingly, in the following analysis, we concentrate the study on the rare decays, such as \(K\rightarrow \pi \nu {\bar{\nu }}\), \(K_{S}\rightarrow \mu ^+ \mu ^-\), and \(B_d \rightarrow \mu ^+ \mu ^-\), in which the channels are sensitive to the new physics effects and are theoretically clean.

According to the formulations in [45], we write the effective Hamiltonian for \(d_i \rightarrow d_j \ell {\bar{\ell }}\) induced by the tuZ coupling as:

$$\begin{aligned}&{{\mathcal {H}}}_{d_i \rightarrow d_j \ell {\bar{\ell }}}\nonumber \\&\quad =-\frac{G_F V^*_{td_j } V_{td_i} }{\sqrt{2} } \frac{\alpha }{\pi } C^Z_L [ {\bar{d}}_j \gamma _\mu P_L d_i] [{\bar{\nu }} \gamma ^\mu (1-\gamma _5)\nu ] \nonumber \\&\qquad - \frac{G_F V^*_{td_j } V_{td_i} }{\sqrt{2}} \frac{\alpha }{ \pi } {\bar{d}}_j \gamma _\mu P_L d_i [ C^Z_9 {\bar{\ell }} \gamma ^\mu \ell + C^Z_{10} {\bar{\ell }} \gamma ^\mu \gamma _5 \ell ], \end{aligned}$$
(17)

where we have ignored the small contributions from the tcZ-coupling; \(d_i \rightarrow d_j\) could be the \(s\rightarrow d\) or \(b\rightarrow d\) transition, and the effective Wilson coefficients are given as:

$$\begin{aligned} C^Z_L = C^Z_{10}&\approx \frac{I_Z(x_t) \zeta ^{L}_u}{4s^2_W} \frac{V^*_{ud}}{V^*_{td}}, ~ C^Z_{9} \approx C^Z_L \left( -1 + 4 s^2_W \right) . \end{aligned}$$
(18)

Because \(-1+4s^2_W \approx -0.08\), the \(C^Z_9\) effect can indeed be neglected.

Based on the interactions in Eq. (17), the BRs for the \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) and \(K^+\rightarrow \pi ^+ \nu {\bar{\nu }}\) decays can be formulated as [33]:

$$\begin{aligned} BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})&= \kappa _L \left| \frac{Im\, X_{\mathrm{eff}} }{\lambda ^5} \right| ^2, \nonumber \\ BR(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }})&= \kappa _+ (1+\Delta _{\mathrm{EM}}) \left[ \left| \frac{Im\, X_{\mathrm{eff}}}{\lambda ^5 } \right| ^2 \right. \nonumber \\&\quad \left. +\left| \frac{Re\, \lambda _c}{\lambda } P_c(X) + \frac{Re\, X_\mathrm{eff}}{\lambda ^5}\right| ^2 \right] , \end{aligned}$$
(19)

where \(\lambda _c= V^*_{cs} V_{cd}\), \(\Delta _{EM}=-0.003\); \(P_c(X)=0.404\pm 0.024\) denotes the charm-quark contribution [88, 89]; the values of \(\kappa _{L}\) and \(\kappa _+\) are respectively given as \(\kappa _L=(2.231 \pm 0.013)\times 10^{-10}\) and \(\kappa _{+}=(5.173\pm 0.025)\times 10^{-11}\), and \(X_{\mathrm{eff}}\) is defined as:

$$\begin{aligned} X_{\mathrm{eff}} = \lambda _t \left( X^{\mathrm{SM}}_L - s^2_W C^{Z*}_L \right) , \end{aligned}$$
(20)

with \( X^{\mathrm{SM}}_L =1.481 \pm 0.009\) [33]. Since \(K_L\rightarrow \pi ^0 \nu {\bar{\nu }}\) is a CP violating process, its BR only depends on the imaginary part of \(X_{\mathrm{eff}}\). Another important CP violating process in K decay is \(K_S\rightarrow \mu ^+ \mu ^-\), where its BR from the SD contribution can be expressed as [45]:

$$\begin{aligned}&BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{SD}} \nonumber \\&\quad = \tau _{K_S} \frac{G^2_F \alpha ^2}{8\pi ^3} m_K f^2_K m^2_\mu \sqrt{1- \frac{4m^2_\mu }{m^2_{K}}}\nonumber \\&\qquad \times \left| Im \left[ \lambda _t \left( C^\mathrm{SM}_{10} + C^{Z*}_{10} \right) \right] \right| ^2, \end{aligned}$$
(21)

with \(C^{\mathrm{SM}}_{10}\approx -4.21\). Including the LD effect [74, 75], the BR for \(K_S \rightarrow \mu ^+ \mu ^-\) can be estimated using \(BR(K_S\rightarrow \mu ^+ \mu ^-)_\mathrm{LD+SD}\approx 4.99_{\mathrm{LD}} \times 10^{-12}+ BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{SD}}\) [76]. Moreover, it is found that the effective interactions in Eq. (17) can significantly affect the \(B_d \rightarrow \mu ^+ \mu ^-\) decay, where its BR can be derived as:

$$\begin{aligned}&BR(B_d \rightarrow \mu ^+ \mu ^-) \nonumber \\&\quad = \tau _{B} \frac{G^2_F \alpha ^2}{16\pi ^3} m_{B} f^2_B m^2_\mu \left( 1- \frac{2 m^2_\ell }{m^2_B} \right) \sqrt{1- \frac{4 m^2_\mu }{m^2_{B}}} \nonumber \\&\qquad \times \left| V^*_{td} V_{tb} \left( C^{\mathrm{SM}}_{10} + C^Z_{10} \right) \right| ^2. \end{aligned}$$
(22)

Because \(B_d \rightarrow \mu ^+ \mu ^-\) is not a pure CP violating process, the BR involves both the real and imaginary part of \(V^*_{td} V_{tb} \left( C^{\mathrm{SM}}_{10} + C^Z_{10} \right) \). Note that the associated Wilson coefficient in \(B_d \rightarrow \mu ^+ \mu ^-\) is \(C^{Z}_{10}\), whereas it is \(C^{Z*}_{10}\) in the K decays.

After formulating the BRs for the investigated processes, we now numerically analyze the tuZ-coupling effect on these decays. Since the involved parameter is the complex \(\zeta ^L_u=|\zeta ^L_u| e^{-i\theta ^L_u}\), we take \(BR(t\rightarrow uZ)\) instead of \(|\zeta ^L_u|\). Thus, we show \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})\) (in units of \(10^{-11})\) as a function of \(BR(t\rightarrow u Z)\) and \(\theta ^L_u\) in Fig. 3a, where the CP phase is taken in the range of \(\theta ^L_u=[-\pi , \pi ]\); the SM result is shown in the plot, and the horizontal line denotes the current upper limit of \(BR(t\rightarrow u Z)\). It can be clearly seen that \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})\) can be enhanced to \(7\times 10^{-11}\) in \(\theta ^L_u >0\) when \(BR(t\rightarrow uZ)<1.7 \times 10^{-4}\) is satisfied. Moreover, the result of \(BR(K_L\rightarrow \pi ^0 \nu {\bar{\nu }})\approx 5.3 \times 10^{-11}\) can be achieved when \(BR(t\rightarrow u Z)=0.5\times 10^{-4}\) and \(\theta ^u_L\ =2.1\) are used. Similarly, the influence of \(\zeta ^L_u\) on \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})\) is shown in Fig. 3b. Since \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})\) involves the real and imaginary parts of \(X_{\mathrm{eff}}\), unlike the \(K_L \rightarrow \pi ^0 \nu {\bar{\nu }}\) decay, its BR cannot be enhanced manyfold due to the dominance of the real part. Nevertheless, the BR of \(K^+\rightarrow \pi ^+ \nu {\bar{\nu }}\) can be maximally enhanced by \(38\%\); even, with \(BR(t\rightarrow u Z)=0.5\times 10^{-4}\) and \(\theta ^u_L= 2.1\), the \(BR(K^+\rightarrow \pi ^+ \nu {\bar{\nu }})\) can still exhibit an increase of \(15\%\). It can be also found that in addition to \(|\zeta ^L_u|\), the BRs of \(K\rightarrow \pi \nu {\bar{\nu }}\) are also sensitive to the \(\theta ^L_u\) CP-phase. Although the observed \(BR(K\rightarrow \pi \nu {\bar{\nu }})\) cannot constrain \(BR(t\rightarrow u Z)\), the allowed range of \(\theta ^L_u\) can be further limited.

Fig. 3
figure 3

Contours of the branching ratio as a function of \(BR(t\rightarrow u Z)\) and \(\theta ^L_u\) for a \(K_L\rightarrow \pi ^0 \nu {\bar{\nu }}\), b \(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }} \), c \(K_S\rightarrow \mu ^+ \mu ^{-}\), and d \(B_d \rightarrow \mu ^+ \mu ^{-}\), where the corresponding SM result is also shown in each plot. The long-distance effect has been included in the \(K_S\rightarrow \mu ^+ \mu ^-\) decay

For the \(K_S \rightarrow \mu ^+ \mu ^-\) decay, in addition to the SD effect, the LD effect, which arises from the absorptive part of \(K_S \rightarrow \gamma \gamma \rightarrow \mu ^+ \mu ^-\), predominantly contributes to the \(BR(K_S \rightarrow \mu ^+ \mu ^-)\). Thus, if the new physics contribution is much smaller than the LD effect, the influence on \(BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{LD +SD}}=BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{LD }}+ BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{SD}}\) from new physics may not be so significant. In order to show the tuZ-coupling effect, we plot the contours for \(BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{LD +SD}}\) ( in units of \(10^{-12}\)) in Fig. 3c. From the result, it can be clearly seen that \(BR(K_S\rightarrow \mu ^+ \mu ^-)_{\mathrm{LD +SD}}\) can be at most enhanced by \(11\%\) with respect to the SM result, whereas the BR can be enhanced only \(\sim 4.3\%\) when \(BR(t\rightarrow uZ)=0.5\times 10^{-4}\) and \(\theta ^L_u=2.1\) are used. We note that the same new physics effect also contributes to \(K_L\rightarrow \mu ^+ \mu ^-\). Since the SD contribution to \(K_L\rightarrow \mu ^+ \mu ^-\) is smaller than the SM SD effect by one order of magnitude, we skip to show the case for the \(K_L \rightarrow \mu ^+ \mu ^-\) decay.

As discussed earlier that the tcZ-coupling contribution to the \(B_s \rightarrow \mu ^+ \mu ^-\) process is small; however, similar to the case in \(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }}\) decay, the BR of \(B_d \rightarrow \mu ^+ \mu ^-\) can be significantly enhanced through the anomalous tuZ-coupling. We show the contours of \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) ( in units of \(10^{-10})\) as a function of \(BR(t\rightarrow uZ)\) and \(\theta ^L_u\) in Fig. 3d. It can be seen that the maximum of the allowed \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) can reach \(1.97 \times 10^{-10}\), which is a factor of 1.8 larger than the SM result of \(BR(B_d \rightarrow \mu ^+ \mu ^-)^{\mathrm{SM}}\approx 1.06 \times 10^{-10}\). Using \(BR(t\rightarrow u Z)=0.5\times 10^{-4}\) and \(\theta ^L_u=2.1\), the enhancement factor to \(BR(B_d \rightarrow \mu ^+ \mu ^-)^{\mathrm{SM}}\) becomes 1.38. Since the maximum of \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) has been close to the ATLAS upper bound of \(2.1\times 10^{-10}\), the constraint from the rare B decay measured in the LHC could further constrain the allowed range of \(\theta ^L_u\)

5 Summary

We studied the impacts of the anomalous tqZ couplings in the low energy physics, especially the tuZ coupling. It was found that the anomalous coupling can have significant contributions to \(\epsilon '/\epsilon \), \(BR(K\rightarrow \pi \nu {\bar{\nu }})\), \(K_S \rightarrow \mu ^+ \mu ^-\), and \(B_d \rightarrow \mu ^+ \mu ^-\). Although these decays have not yet been observed in experiments, with the exception of \(\epsilon '/\epsilon \), their designed experiment sensitivities are good enough to test the SM. It was found that using the sensitivity of \(BR(t\rightarrow uZ)\sim 5\times 10^{-5}\) designed in HL-LHC, the resulted \(BR(K\rightarrow \pi \nu {\bar{\nu }})\) and \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) can be examined by the NA62, KOTO, KELVER, and LHC experiments.

According to our study, it was found that we cannot simultaneously enhance \(Re(\epsilon '/\epsilon )\), \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})\), and \(BR(K_S \rightarrow \mu ^+ \mu ^-)\) in the same region of the CP violating phase, where the positive \(Re(\epsilon '/\epsilon )\) requires \(\theta ^L_u < 0\), but the large \(BR(K_L \rightarrow \pi ^0 \nu {\bar{\nu }})\) and \(BR(K_S \rightarrow \mu ^+ \mu ^-)\) have to rely on \(\theta ^L_u > 0\). Since \(BR(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }})\) and \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) involve both real and imaginary parts of Wilson coefficients, their BRs are not sensitive to the sign of \(\theta ^L_u\). Hence, \(Re(\epsilon '/\epsilon )\), \(BR(K^+ \rightarrow \pi ^+ \nu {\bar{\nu }})\) and \(BR(B_d \rightarrow \mu ^+ \mu ^-)\) can be enhanced at the same time.