1 Introduction

Since the discovery of the Higgs boson at the Large Hadron Collider (LHC) [1, 2], the search for new physics (NP) degrees of freedom beyond the standard model (SM) has become one of the most important tasks in particle physics. In some NP models, when the initial group breaks down to \(SU(2)_L \times U(1)_Y\) of the SM, an extra \(U(1)^\prime \) gauge symmetry will usually be produced, which results in an additional massive neutral gauge boson called \(Z^\prime \). Meanwhile, the resulting triangle anomalies could be canceled by the addition of new heavy chiral fermions. Quite a few models are of this type, such as grand unified theories based on the gauge group SO(10) model, see, for example, [3], the \(E_6\) model [48], supersymmetric models [912], and some string inspired models [1316] (for a review, see Refs. [17, 18]). Although the \(U(1)^\prime \) charges are usually family-universal, it is not mandatory to be so, and the family-non-universal \(Z^\prime \) has been realized in some models, such as in the aforementioned \(E_6\) model [48].

On the experimental side, many efforts have been made to search for the \(Z^\prime \) directly at the LEP, Tevatron, and LHC. With the assumption that the \(Z^\prime \) couplings to the SM fermions are similar to those of the Z boson of the SM (the so-called sequential \(Z^\prime \) model), the direct searches for the \(Z^\prime \) can be performed in dilepton events. Now, the lower mass limit has been set as \(2.86~\mathrm {TeV}\) at the 95 % confidence level (CL) from collisions at 8 TeV with an integrated luminosity of \(19.5~\mathrm {fb}^{-1}\) by using \(e^+e^-\) and \(\mu ^+\mu ^-\) [19] events, and this value becomes \(1.90~\mathrm {TeV}\) using the \(\tau ^+\tau ^-\) events [20]. However, if the \(Z^\prime \) boson does not couple to the charged leptons, the current constraints from the LHC are no longer valid. Theoretically, such leptophobic \(Z^\prime \) bosons were first introduced several years ago in the context of the \(R_b\)\(R_c\) puzzle [21], and as a possible explanation of anomalous high-\(E_T\) jet events at CDF [22]. Although these experimental effects ultimately disappeared, thereby removing the original motivation for such new physics, models with a leptophobic \(Z^\prime \) still remain as viable candidates for physics beyond the SM, and it is therefore worthwhile to explore their phenomenology. In Refs. [23, 24], it was shown that a leptophobic \(Z^\prime \) can appear in \(E_6\) models due to the mixing of the gauge boson kinetic terms. Very recently, the phenomenological studies in the possible colliders have been explored [25, 26]. Complementary to the direct search, some features of the leptophobic \(Z^\prime \) boson can also be constrained indirectly in the flavor physics. The family-non-universal \(Z^\prime \) boson may induce tree-level flavor changing neutral currents (FCNCs) and thus they are severely bounded by experiment, most notably meson mixing [2739]. Other effects of the FCNC induced by \(Z^\prime \) in flavor physics have been studied extensively in past decades [4061]. Motivated by the above arguments, in this work, we aim to perform a comprehensive analysis of the impact of a family-non-universal \(Z^\prime \) boson on the pure annihilation decays \(B_d \rightarrow K^+K^-\) and \(B_s \rightarrow \pi ^+ \pi ^-\). Since these modes are power suppressed in the heavy quark limit, their branching ratios are expected to be very small, and hence the sensitivity to NP can be enhanced.

Experimentally, the decay mode \(B_s \rightarrow \pi ^+ \pi ^-\) was first reported by the CDF collaboration,

$$\begin{aligned} \mathcal{B}(B_s \rightarrow \pi ^+ \pi ^-)=(0.60 \pm 0.17 \pm 0.04) \times 10^{-6}\, [62], \end{aligned}$$
(1)

and it was soon confirmed by the LHCb collaboration with the \(0.37~\text{ fb }^{-1}\) data,

$$\begin{aligned} \mathcal{B }(B_s \rightarrow \pi ^+ \pi ^-)=(0.98^{+0.23}_{-0.19} \pm 0.07) \times 10^{-6}\, [63]. \end{aligned}$$
(2)

So, the averaged result is given as [64]

$$\begin{aligned} \mathcal{B }(B_s \rightarrow \pi ^+ \pi ^-)= & {} (0.76 \pm 0.13) \times 10^{-6}. \end{aligned}$$
(3)

The branching fraction of another pure annihilation decay mode \(B_d \rightarrow K^+ K^-\) has also been measured:

$$\begin{aligned} \mathcal{B }(B_d \rightarrow K^+ K^-)= & {} \left\{ \begin{array}{ll} (2.3 \pm 1.0 \pm 1.0)\times 10^{-7}, &{} \hbox {CDF}\, [62]; \\ (1.2^{+0.8}_{-0.7}\pm 0.1)\times 10^{-7}, &{} \hbox {LHCb}\,[63]; \end{array} \right. \nonumber \\ \end{aligned}$$
(4)

and the averaged result is given as [64]

$$\begin{aligned} \mathcal{B }(B_d \rightarrow K^+ K^-)=(1.3 ^{+0.6}_{- 0.5}) \times 10^{-7}. \end{aligned}$$
(5)

Note that the center value of CDF is larger by a factor of 2 than that of LHCb, though they are consistent with each other due to the large uncertainties.

Theoretically, within the QCD factorization (QCDF) approach [6569], due to the existence of the endpoint singularity, only an estimation of the orders of magnitude can be given for these two decays by introducing new phenomenological parameters (\(\rho _A\) and \(\phi _A\)) or an effective gluon propagator [70, 71]. The predicted branching fractions are at the order of \(10^{-8}\) [6569, 7274]. The effects of SU(3) asymmetry breaking have also been discussed [75, 76]. On the contrary, the perturbative QCD (PQCD) approach [7779] retains the transverse momenta of all inner quarks and then smears the endpoint singularity, which makes the perturbative calculations reliable. On the basis of PQCD, the decays \(B_s \rightarrow \pi ^+ \pi ^-\) and \(B_d \rightarrow K^+ K^-\) have been explored in Refs. [8082], respectively. In Ref. [83], the authors have revisited these two decays with new parameters (especially for the distribution amplitudes of light mesons), and the obtained results are

$$\begin{aligned}&\mathcal{B }(B_s \rightarrow \pi ^+ \pi ^-) = \left( 5.10^{+1.96+0.25+1.05+0.29}_{-1.68-0.19 -0.83-0.20}\right) \times 10^{-7}, \nonumber \\\end{aligned}$$
(6)
$$\begin{aligned}&\mathcal{A}_{\mathrm{CP}}(B_s \rightarrow \pi ^+ \pi ^-) = \left( -2.3^{+0.0+ 0.3+0.1+0.1}_{-0.3-0.2-0.2-0.1} \right) \%, \end{aligned}$$
(7)
$$\begin{aligned}&\mathcal{B }(B_d \rightarrow K^+ K^-) = \left( 1.56^{+0.44+0.23 +0.22+0.13}_{-0.42-0.22-0.19-0.09}\right) \times 10^{-7}, \nonumber \\\end{aligned}$$
(8)
$$\begin{aligned}&\mathcal{A}_{\mathrm{CP}}(B_d \rightarrow K^+ K^-) = \left( 18.9^{+0.2+1.4+0.1+0.8}_{-1.9-2.2-1.4-1.1}\right) \%, \end{aligned}$$
(9)

where the first two errors come from the LCDAs of light mesons, and the third ones are from the uncertainties of the heavy mesons; the last uncertainties are from the uncertainties of the relevant CKM elements. It is apparent that with large uncertainties the above results are in agreement with the experimental data well. In spite of the agreement, by comparing the above predictions with the experimental results, one finds that the center value of the LHCb measurement of \(B_s \rightarrow \pi ^+ \pi ^-\) (\(B_d \rightarrow K^+ K^-\)) is larger (smaller) than the theoretical prediction, which indicates that there may be some room left for the survival of a light \(Z^\prime \) boson. In the following we will use the PQCD approach and investigate the impact of the family-non-universal leptophobic \(Z^\prime \) model on the branching fractions and CP asymmetries of these two decays. Our results can be stringently tested at the LHCb experiment, Belle-II, and the future high energy \(e^+e^-\) collider.

This paper is organized as follows. In Sect. 2, after a brief introduction to the PQCD approach, we will present the numerical results of \(B_s \rightarrow \pi ^+ \pi ^-\) and \(B_d \rightarrow K^+ K^-\) in SM. In Sect. 3, we will discuss the effects of the \(Z^\prime \) on the branching fractions and CP asymmetries of these two decay modes. Finally, conclusions will be drawn in Sect. 4.

2 SM calculation

In this section, we will start with the effective weak Hamiltonian for the \(b\rightarrow D\) (\(D=d,s\)) transitions, which are given by [84]

$$\begin{aligned}&\mathcal{H}_{\mathrm{eff}} = \frac{G_{F}}{\sqrt{2}}\nonumber \\&\quad \times \left\{ \sum \limits _{q=u,c} V_{qb} V_{qD}^{*} (C_{1} O^{q}_{1} \!+\! C_{2} O^{q}_{2})\!-\! V_{tb} V_{tD}^{*} {\!\sum \limits _{i\!=\!3}^{10}} C_{i} O_{i} \right\} + \!\text{ H.c. },\nonumber \\ \end{aligned}$$
(10)

where \(V_{qb(D)}\) are the Cabibbo–Kobayashi–Maskawa (CKM) matrix elements. The explicit expressions of the local four-quark operators \(O_{i}\) (\(i=1,\ldots ,10\)) and the corresponding Wilson coefficients \(C_i\) at different scales have been studied explicitly in the literature (for example, see Ref. [84]). For convenience, we list the numerical values of the Wilson coefficients at two typical scales, \(\mu =2.1, 1.0~\mathrm{GeV}\), in Table 1. Note that \(O^q_{1,2}\) are tree operators and the others \(O_{3-10}\) are penguin ones.

Table 1 The Wilson coefficients \(C_i\) in the NDR scheme at the scale \(\mu =2.1, 1.0\,\mathrm {GeV}\)

Based on the \(k_T\) factorization, the PQCD approach has been applied to calculate many non-leptonic B meson decays [7780]. In this approach, the decay amplitude is conceptually written as

$$\begin{aligned}&\mathcal{A}\sim \int \,\mathrm{d}x_1 \,\mathrm{d}x_2\,\mathrm{d}x_3 \int b_1\,\mathrm{d}b_1b_2\,\mathrm{d}b_2b_3\,\mathrm{d}b_3 \mathrm{Tr}[C(t)\nonumber \\&\quad \Phi _B(x_1,b_1)\Phi _2(x_2,b_2) \Phi _3(x_3,b_3) H(x_i,b_i,t)S_t(x_i)\mathrm{e}^{-S(t)}],\nonumber \\ \end{aligned}$$
(11)

where \(x_i\) are the momentum fractions taken by light quarks in each mesons, and \(b_i\) are the conjugate variables of the transverse momenta of light quarks. “Tr” means the trace over both Dirac and color indices. In light of the factorization hypothesis, the Wilson coefficient C(t) encapsulates the dynamics from \(m_W\) down to the scale t, where \(t\sim O(\sqrt{M_B\Lambda _{\mathrm{QCD}}})\) is the typical scale of the concerned annihilation type decays. The hard part H, involving the four-quark operators and the hard gluon, describes the hard dynamics characterized by the scale t, so it can be calculated perturbatively. The wave function \(\Phi _M\), standing for hadronization of the quark and anti-quark into the meson M, is independent of the specific processes and thus universal. The factor \(S_t(x_i)\) arises from the resummation of the large double logarithms (\(\ln ^2 x_i\)) on the longitudinal direction, while the Sudakov form factor \(\mathrm{e}^{-S(t)}\) is from the resummation of the double logarithm \(\ln ^2 k_T\). Fortunately, the endpoint could be smeared effectively with the help of these two functions, which makes our calculation reliable.

In particular, the wave functions \(\Phi _{M,\alpha \beta }\) (\(\alpha ,\beta \) being Dirac indices) are decomposed in terms of the spin structures, \(1_{\alpha \beta }\), \(\gamma ^\mu _{\alpha \beta }\), \((\gamma _5\sigma ^{\mu \nu })_{\alpha \beta }\), \((\gamma ^\mu \gamma _5)_{\alpha \beta }\) and \((\gamma _5) _{\alpha \beta }\). For the heavy pseudo-scalar meson \(B_q\) (\(q=d,s\)), the wave function \(\Phi _{B,\alpha \beta }\) is given by

(12)

where \(N_\mathrm{c} = 3\) is the color degree of freedom, and \(p_B\) is the momentum of B meson. The scalar distribution amplitude \(\phi _B\) is normalized by its own decay constant \(f_B\),

$$\begin{aligned} \int _0^1\phi _B(x,b=0)\mathrm{d}x=\frac{f_B}{2\sqrt{2 N_\mathrm{c}}}. \end{aligned}$$
(13)

In this work, we employ the function

$$\begin{aligned} \phi _{B}(x,b)=N_{B}x^{2}(1-x)^{2}\exp \left[ -\frac{1}{2} \left( \frac{xm_{B}}{\omega _{B}}\right) ^{2} -\frac{\omega _{B}^{2}b^{2}}{2}\right] ,\nonumber \\ \end{aligned}$$
(14)

where the shape parameter \(\omega _{B_d}=0.4\) GeV (\(\omega _{B_s}=0.45\) GeV) has been adopted in all previous analyses of exclusive \(B_{d(s)}\) meson decays [7781].

Fig. 1
figure 1

The Feynman diagrams for annihilation contribution, with possible four-quark operator insertions

In contrast to the heavy meson, the wave functions of light meson \(\phi _M\) are much complicated due to the non-negligible chiral mass. Taking the \(K^+\) meson as an example for illustration, we define its wave function as

(15)

where \(p_K\) is its momentum, and \(m_{0K}=m_K^2/(m_u+m_s)\) is the aforementioned chiral mass. \(\vec {v}\) and \(\vec n\) are unit vectors, and \(\vec v \) (\(\vec n\)) is (anti-)parallel to \({\vec p}_K\). As nonperturbative parameters, the light cone distribution amplitudes (LCDAs), \(\phi ^{A,P,T}_M\), should be fixed by experimental data in principle. Though there is no direct experimental measurement for the moment up to now, the non-leptonic charmless \(B_q\) decays already give much hints on them [7780]. Since the PQCD approach had already given very good results for these decays, especially for the direct CP asymmetries in \(B^0\rightarrow \pi ^+\pi ^-\) and \(B^0 \rightarrow K^+\pi ^-\) decays, we shall adopt the well-constrained LCDAs of the mesons in these papers [7781]:

$$\begin{aligned} \phi _{\pi }^A(x)= & {} \frac{3f_{\pi }}{\sqrt{6}} x(1-x)[1 +0.44C_2^{3/2}(t)], \nonumber \\ \phi _{\pi }^P(x)= & {} \frac{f_{\pi }}{2\sqrt{6}}[1 +0.43C_2^{1/2}(t) ],\nonumber \\ \phi _{\pi }^T(x)= & {} -\frac{f_{\pi }}{2\sqrt{6}}[C_1^{1/2} (t)+0.55 C_3^{1/2} (t)] ,\nonumber \\ \phi _{K}^A(x)= & {} \frac{3f_{K}}{\sqrt{6}}x(1-x)[1+0.17C_1^{3/2}(t)+0.2C_2^{3/2}(t)], \nonumber \\ \phi _{K}^P(x)= & {} \frac{f_{K}}{2\sqrt{6}} [1+0.24C_2^{1/2}(t)],\nonumber \\ \phi _{K}^T(x)= & {} -\frac{f_{K}}{2\sqrt{6}}[C_1^{1/2} (t)+0.35 C_3^{1/2} (t)], \end{aligned}$$
(16)

with the Gegenbauer polynomials defined as

$$\begin{aligned}&C^{1/2}_{1}(t)=t, C^{3/2}_{1}(t)=3t, C_2^{1/2}(t)=\frac{1}{2} (3t^2-1), \nonumber \\&\quad C_2^{3/2}(t)=\frac{3}{2} (5t^2-1), C_3^{1/2}(t)=\frac{1}{2} t (5t^2 -3), \end{aligned}$$
(17)

and \(t=2x-1\). It should be stressed that we have dropped the terms proportional to \(C_4^{1/2,3/2}\), and only kept the first two terms, following the arguments of [81].

Now we turn to a calculation of the hard part H. According to the effective Hamiltonian, Eq. (10), we can draw four kinds of Feynman diagrams contributing to the \(B_d \rightarrow K^+ K^-\) and \(B_s \rightarrow \pi ^+ \pi ^-\) decays at the leading order, as shown in Fig. 1. The four diagrams are grouped into two types: (a) and (b) are factorizable diagrams, and (c) and (d) are non-factorizable ones. Due to the current conservation, the contributions from the factorizable diagrams (a) and (b) will be canceled exactly by each other, so that the contributions from diagrams (a) and (b) are null. As far as diagrams (c) and (d) are concerned, by inserting the possible operators, we can obtain the amplitudes for the non-factorizable annihilation diagram \(M_{\mathrm{ann}}^{LL}\) and \(M_{\mathrm{ann}}^{\mathrm{SP}}\), where LL stands for the contribution from \((V-A)(V-A)\) operators, and SP for the contribution from \((S-P)(S+P)\) operators, which result from the Fierz transformation of the \((V-A)(V+A)\) operators. The expressions of \(M_{\mathrm{ann}}^{LL}\) and \(M_{\mathrm{ann}}^{\mathrm{SP}}\) and the inner functions can be found in [81]. Finally, we obtain the total decay amplitudes for the decays of our concern as

$$\begin{aligned}&\mathcal{A}(\overline{B}_{s}\rightarrow \pi ^{+}\pi ^{-})\nonumber \\&\quad = \frac{G_F}{\sqrt{2}} \Bigg \{V_{ub}V_{us}^{*} M_{\mathrm{ann}}^{LL}[C_2]- V_{tb}V_{ts}^{*}\Bigg (M_{\mathrm{ann}}^{LL}[ C_{4}+C_{10}] \nonumber \\&\qquad + M_{\mathrm{ann}}^{\mathrm{SP}}[C_6+C_{8}] +M_{\mathrm{ann}}^{LL}\left[ C_{4}-\frac{1}{2}C_{10}\right] _{\pi ^-\leftrightarrow \pi ^+} \nonumber \\&\qquad + M_{\mathrm{ann}}^{\mathrm{SP}}\left[ C_6-\frac{1}{2}C_8\Bigg ]_{\pi ^-\leftrightarrow \pi ^+}\right) \Bigg \};\end{aligned}$$
(18)
$$\begin{aligned}&\mathcal{A}(\overline{B}_{d}\rightarrow K^{+}K^{-}) \nonumber \\&\quad = \frac{G_F}{\sqrt{2}} \Bigg \{V_{ub}V_{ud}^{*} M_{\mathrm{ann}}^{LL}[C_2] -V_{tb}V_{td}^{*}\Bigg (M_{\mathrm{ann}}^{LL}[ C_{4}+C_{10}] \nonumber \\&\qquad + M_{\mathrm{ann}}^{\mathrm{SP}}[C_6+C_{8}] +M_{\mathrm{ann}}^{LL}[C_{4}-\frac{1}{2}C_{10}]_{K^-\leftrightarrow K^+} \nonumber \\&\qquad + M_{\mathrm{ann}}^{\mathrm{SP}}[C_6-\frac{1}{2}C_8]_{K^-\leftrightarrow K^+}\Bigg )\Bigg \}. \end{aligned}$$
(19)

In Eq. (18), when \(\pi ^+\) and \(\pi ^-\) are exchanging, the \(M_{\mathrm{ann}}^{LL}\) results are obtained because of the SU(2) symmetry. Furthermore, if we ignore the small \(x_1\) (the momentum fraction of s quark in the \(\overline{B}_s\) meson) in the denominators, \(M_{\mathrm{ann}}^{LL}\) is the same as \(M_{\mathrm{ann}}^{\mathrm{SP}}\), too.Footnote 1 However, for \(\overline{B}_d \rightarrow K^+K^-\), \(M_{\mathrm{ann}}^{LL(SP)}\) do not have the same formulas as \(M_{\mathrm{ann}}^{LL(SP)}|_{K^-\leftrightarrow K^+}\) due to the difference between the mass of the up (down) quark and that of the strange quark, and such a difference might affect the direct CP asymmetry.

In fact, in our calculations there are many uncertainties, the most important one of which is from the distribution amplitude of initial heavy meson, because it cannot be calculated directly from QCD up till now. In the following work, we shall vary the shape parameter \(\omega _{B_d}=0.40\pm 0.05\) and \(\omega _{B_s}=0.50 \pm 0.05\). Furthermore, the contributions from the next-leading order (NLO) have not been treated. In the current work, to estimate the uncertainties of NLO, we simply vary t from 0.8t to 1.2t, where t is the largest scale in each diagram and its expressions have been given in Ref. [81]. Combining all above uncertainties, we obtain the CP-averaged branching fractions of two decay modes

$$\begin{aligned} \mathcal{B} (B_s\rightarrow \pi ^+\pi ^-)= & {} (5.5^{+1.1}_{-0.9})\times 10^{-7},\end{aligned}$$
(20)
$$\begin{aligned} \mathcal{B} (B_d\rightarrow K^+K^-)= & {} (1.9^{+0.3}_{-0.3})\times 10^{-7}. \end{aligned}$$
(21)

Since the uncertainties from the \(\pi , K\) meson distribution amplitudes are very small, we will not discuss them. Note that by employing the DAs of light mesons based on the QCD sum rules from Refs. [8593], Xiao et al. have explored these two decays [83]. They found that not only the DAs of B meson but also those of the light mesons will lead to large uncertainties for the branching fractions, as shown in Eqs. (6)–(9). In principle, the DAs of light mesons in B meson decays should be fitted or tested from the data. However, if we calculate the form factors of \(B \rightarrow K,\pi \) within the DAs, the form factors obtained (\(q^2=0\)) are much smaller than the values abstracted from the data. On the contrary, the DAs we used (Eq. (16)) are fitted not only from the B meson semi-leptonic decays [94, 95], but also from the non-leptonic B decays, such as \(B\rightarrow K\pi , \pi \pi \) [7779] and \(B_s \rightarrow K\pi , \pi \pi \) [81]. In addition, the DAs are based on the Gegenbauer expansion, while the PQCD approach is on the basis of heavy quark expansions, so it is implausible to adopt the values of [9193] directly.

In discussing the B meson decays, we usually define the direct CP asymmetry as

$$\begin{aligned} \mathcal{A}_{\mathrm{CP}}^{\mathrm{dir}}\equiv \frac{|A(\overline{B}_q\rightarrow f)|^2-|A(B_q\rightarrow \overline{f})|^2}{|A(\overline{B}_q\rightarrow f)|^2+|A(B_q\rightarrow \overline{f})|^2}. \end{aligned}$$
(22)

Moreover, because the final states \(\pi ^+\pi ^-, K^+K^-\) have definite CP-parity, one can measure the time-dependent decay width of the \(B_q \rightarrow f\) decay [96]:

$$\begin{aligned}&\Gamma (B(t)\rightarrow f)\propto \cosh \left( \frac{\Delta \Gamma t}{2}\right) \nonumber \\&\quad + \mathcal{H}_f \sinh \left( \frac{\Delta \Gamma t}{2}\right) -\mathcal{A}_{\mathrm {\mathrm{CP}}}^{\mathrm{dir}}\cos ( \Delta m t)- \mathcal{S}_f \sin (\Delta mt),\nonumber \\ \end{aligned}$$
(23)

where \(\Delta m=m_\mathrm{H}-m_\mathrm{L}>0\) is the mass difference, and \(\Delta \Gamma =\Gamma _\mathrm{H}-\Gamma _\mathrm{L}\) is the difference of the decay widths for the heavier and lighter \(B_q^0\) mass eigenstates. Correspondingly, the time-dependent decay width \(\Gamma (\overline{B}^0_q(t)\rightarrow f)\) is obtained from the above expression by flipping the signs of the \(\cos (\Delta m t)\) and \(\sin (\Delta m t)\) terms. \(\mathcal{S}_{f}\) and \(\mathcal{H}_{f}\), which can be extracted from the time-dependent decay width, are defined as

$$\begin{aligned} \mathcal{S}_{f} \equiv \frac{2Im[\lambda ]}{1+|\lambda |^2}, \quad \mathcal{H}_{f} \equiv \frac{2Re[\lambda ]}{1+|\lambda |^2}, \end{aligned}$$
(24)

with

$$\begin{aligned} \lambda =\eta _f \mathrm{e}^{2i\epsilon }\frac{A(\overline{B}_q\rightarrow f)}{A(B_q\rightarrow \bar{f})}, \end{aligned}$$
(25)

where \(\eta _f\) is \(+1(-1)\) for a CP-even (CP-odd) final state f and \(\epsilon =\text{ arg }[-V_{cb}V_{tq}V^*_{cq}V^*_{tb}]\). In SM, the predicted results are listed as

$$\begin{aligned} \left\{ \begin{array}{ll} \mathcal{A}_{\mathrm{CP}}^{\mathrm{dir}} (B_s\rightarrow \pi ^+\pi ^-)=(-1.5\pm 0.2)\,\%, &{} \\ \mathcal{S}_{f} (B_s\rightarrow \pi ^+\pi ^-)=0.11\pm 0.01, &{} \\ \mathcal{H}_{f} (B_s\rightarrow \pi ^+\pi ^-)=0.99; &{} \end{array} \right. \end{aligned}$$
(26)
$$\begin{aligned} \left\{ \begin{array}{ll} \mathcal{A}_{\mathrm{CP}}^{\mathrm{dir}} (B_d\rightarrow K^+K^-)=(37^{+5}_{-7})\,\%, &{} \\ \mathcal{S}_{f} (B_d\rightarrow K^+K^-)=-0.81 \pm 0.05, &{} \\ \mathcal{H}_{f} (B_d\rightarrow K^+K^-)=-0.45 \pm 0.05. &{} \end{array} \right. \end{aligned}$$
(27)

For \(B_s\rightarrow \pi ^+\pi ^-\), both branching fraction and CP asymmetry parameters agree with previous studies [80, 81, 83], and small differences are from the uncertainties of the CKM matrix elements. For \(B_d\rightarrow K^+K^-\), our branching fraction is consistent with the prediction of [83], but the direct CP asymmetry is much smaller than their result because they might have omitted the effect of the SU(3) asymmetry in the LCDAs of K meson.Footnote 2 Compared with the experimental results (especially from LHC), although our branching fractions are consistent with the data after considering the uncertainties of both the theoretical and the experimental sides, the center value of \(B_d \rightarrow K^+K^-\) (\(B_s \rightarrow \pi ^+\pi ^-\)) is a bit larger (smaller) than the data, which means there is a little room for us to search for possible effects of NP. Unfortunately, the CP asymmetries of these two decays have not been measured in the current experiments.

3 The contribution of the \(Z^\prime \) boson

Now we shall study the possible contributions of the extra gauge boson \(Z^\prime \) in these two decay modes. Ignoring the interference between the Z and \(Z^\prime \) bosons, we write the Lagrangian with \(Z^\prime \) on the gauge interaction basis as

$$\begin{aligned} \mathcal{L}^{Z^\prime }=-g_2 Z^{\prime {\mu }}\sum _{i,j} {\overline{\psi }_i^I} \gamma _{\mu } [ (\epsilon _{\psi _L})_{ij} P_L + (\epsilon _{\psi _R})_{ij} P_R] \psi ^I_j,\nonumber \\ \end{aligned}$$
(28)

where the field \(\psi _i\) stands for the ith family fermion, \(g_2\) for the coupling constant, \(\epsilon _{\psi _{L}}\) (\(\epsilon _{\psi _{R}}\)) for the left-handed (right-handed) chiral coupling, and \(P_{{L,R}}=(1\mp \gamma _5)/2\). After rotating to the physical basis, the mass eigenstates will be obtained by \(\psi _{{L,R}} = V_{\psi _{{L,R}}} \psi _{{L,R}}^I\), and the usual CKM matrix is given by \(V_\mathrm{CKM} = V_{u_{L}} V_{d_{L}}^{\dagger }\). Similarly, we can get the coupling matrices in the physical basis of up- (down)-type quarks,

$$\begin{aligned} B^X_u \equiv V_{u_X} \epsilon _{u_X} V_{u_X}^{\dagger }, \quad B^X_d \equiv V_{d_X} \epsilon _{d_X} V_{d_X}^{\dagger } \quad (X = L,R).\nonumber \\ \end{aligned}$$
(29)

If \(\epsilon _{u(d)_{L(R)}}\) is not proportional to the identity matrix, the nonzero off-diagonal elements in the \(B^{{L,R}}_{u,d}\) will appear, which induces the FCNC interactions at the tree level. In the current work, we assume that the up-type coupling matrix \(\epsilon _{u_{L(R)}}\) is proportional to the unit matrix, and the right-handed couplings are flavor-diagonal for simplicity. Thereby, the effective Hamiltonian of \( b \rightarrow s {\bar{q}}q~(q=u,d)\) transition mediated by the \(Z^\prime \) is given by

$$\begin{aligned} \mathcal{H}_\mathrm{eff}^{Z'}= & {} \frac{2 G_F}{\sqrt{2}} \left( \frac{g_2 m_Z}{g_1 m_{Z'}}\right) ^2 B^{L}_{bs}({\bar{s} }b)_{V-A}\sum _q (B^L_{qq} ({\bar{q}}q)_{V-A} \nonumber \\&+ B^R_{qq} ({\bar{q}}q)_{V+A}) + \hbox {h.c.}, \end{aligned}$$
(30)

where \(g_1=e/(\sin {\theta _W}\cos {\theta _W})\) and \(m_{Z^{\prime }}\) is the mass of \(Z^\prime \) boson. The diagonal elements of the effective coupling matrices \(B_{qq}^{L,R}\) are required to be real because of the hermiticity of the effective Hamiltonian. However, for the off-diagonal one of \(B_{bs}^{L}\), it might be a complex number and a new weak phase \(\phi _{bs}\) is introduced, which might play important roles in explaining the large CP asymmetries in \(B \rightarrow K\pi \) [7274]. Since the above operators of the forms \(({\bar{s}}b)_{V-A} ({\bar{q}}q)_{V\mp A}\) already exist in SM, we shall represent the \(Z^\prime \) effect by modifying the Wilson coefficients of the corresponding operators. As a result, we reorganize Eq. (30) as

$$\begin{aligned} \mathcal{H}_\mathrm{eff}^{Z^\prime }= & {} -\frac{G_F}{\sqrt{2}} V_{tb}V_{ts}^{*} \sum _q (\Delta C_3^s O_3^{(q)}\nonumber \\&+\Delta C_5^s O_5^{(q)} + \Delta C_7^s O_7^{(q)} + \Delta C_9^s O_9^{(q)}) +\text{ h.c. } \end{aligned}$$
(31)

Correspondingly, the contributions of the extra \(Z^\prime \) boson to the SM Wilson coefficients at the \(m_\mathrm{W}\) scale is given

$$\begin{aligned}&\Delta C^s_{3(5)}=- \frac{2}{3 V_{tb}V_{ts}^* }\left( \frac{g_2 m_Z}{g_1m_{Z^\prime }}\right) ^2 B^{L}_{bs} (B^{L(R)}_{uu} + 2 B^{L(R)}_{dd}),\nonumber \\\end{aligned}$$
(32)
$$\begin{aligned}&\Delta C^s_{9(7)} = -\frac{4}{3 V_{tb} V_{ts}^*} \left( \frac{g_2m_Z}{g_1 m_{Z^\prime }}\right) ^2 B^{L}_{bs} (B^{L(R)}_{uu} - B^{L(R)}_{dd}).\nonumber \\ \end{aligned}$$
(33)

One can see that \(Z^\prime \) contributes to the electro-weak penguins \(\Delta C_{9(7)}\) as well as the QCD penguins \(\Delta C_{3(5)}\). In order to show that the new physics is primarily manifest in the electro-weak penguins, we simply assume \(B^{L(R)}_{uu} \simeq -2 B^{L(R)}_{dd}\), and this relation has been used widely [2761]. Therefore, the \(Z'\) contributions to the Wilson coefficients are

$$\begin{aligned} \Delta C_{3(5)}^s= 0,\quad \Delta C_{9(7)}^s = 4 \frac{|V_{tb}V_{ts}^*|}{V_{tb}V_{ts}^* } \zeta _s^{LL(R)} \mathrm{e}^{i\phi _{bs}}, \end{aligned}$$
(34)

where

$$\begin{aligned} \zeta ^{LX}_s\!=\!\left( \frac{g_2 m_Z}{g_1 m_{Z'}}\right) ^2 \left| \frac{B^{L}_{bs} B^X_{dd}}{V_{tb}V_{ts}^* }\right| \quad (X\!=\!L,R), \phi _{bs} \!=\!\mathrm{Arg}[B^L_{bs}].\nonumber \\ \end{aligned}$$
(35)

Note that the other SM Wilson coefficients at a scale lower than \(m_b\) will also receive contributions from the \(Z^{\prime }\) boson through renormalization group evolution. Since in this model there is no new particle below \(m_W\), the renormalization group evolution of the modified Wilson coefficients is exactly the same as the one in SM (for a review, see [84]).

Similarly, we also obtain the hamiltonian \(b\rightarrow d \bar{q} q\), and the corresponding Wilson coefficients and inner functions are given as

$$\begin{aligned}&\Delta C_{3(5)}^d= 0,\quad \Delta C_{9(7)}^d = 4 \frac{|V_{tb}V_{td}^*|}{V_{tb}V_{td}^* } \zeta _d^{LL(R)} \mathrm{e}^{i\phi _{bd}}, \nonumber \\\end{aligned}$$
(36)
$$\begin{aligned}&\zeta ^{LX}_d=\left( \frac{g_2 m_Z}{g_1 m_{Z'}}\right) ^2 \left| \frac{B^{L}_{bd} B^X_{ss}}{V_{tb}V_{td}^* }\right| \, (X=L,R), \, \!\phi _{bd} \!=\!\mathrm{Arg}[B^L_{bd}].\nonumber \\ \end{aligned}$$
(37)

Now, we are in a position to discuss the possible parameter spaces of \(\zeta ^{LL,LR}_{s,d}\) and \(\phi _{bs,bd}\). In particular, we assume \(g_2/g_1 \sim 1\), because we expect that the hypercharges of the \(U(1)_Y\) gauge group and of the extra \(U(1)^\prime \) have the same origin from some grand unified models. Furthermore, we also hope \( m_Z/m_{Z^\prime }\) is at the order of \(\mathcal{O}(10^{-1})\), so that the neutral \(Z^\prime \) boson could be detected at the LHC experiment directly. Note that the mass of a leptophobic \(m_{Z^\prime }\) boson has not been constrained till now, as mentioned in Sect. 1. In addition, we need to determine the other parameters \(|B^{L}_{bs}|\), \(|B^{L}_{bd}|\), \(|B^X_{qq}|\), and new weak phases \(\phi _{bd,bs}\) with the accurate data from B factories and LHCb experiment. For example, \(B^L_{bs,bd}\) and \(\phi _{bs,bd}\) could be extracted from \(B_q^0\)\(\overline{B}_q^0\) (\(q=d, s\)) mixing. In order to explain the mass differences between \(B_{q}^0\) and \(\overline{B}_{q}^0\) with the new \(Z^\prime \) boson, \(|B^{L}_{bs(d)}|\sim |V_{tb}V_{ts(d)}^{*}|\) is required. Then, with the experimental data of \(B_{d,s}\) the non-leptonic charmless decays, \(B^{L,R}_{qq}\sim 1\) could be extracted. For the new introduced phases \(\phi _{bs}\) and \(\phi _{bd}\), they have not been constrained totally, although many efforts have been made [5761]; we therefore set them as free parameters. How to constrain these parameters globally is beyond the scope of the current work and can be found in many references [4061]. So as to probe the new physics effect for a maximum range, we assume \(\zeta \sim \zeta ^{LL}_{d,s}\sim \zeta ^{LR}_{d,s}\in [0.001,0.02]\), i.e., the range of \(m_{Z^\prime }\) is about \([636, 2800]~\mathrm {GeV}\), and \(\phi _{bd,bs} \in [-180^\circ , 180^\circ ]\).

In Fig. 2, we explore the possible effects of the \(Z^\prime \) boson on the decay mode \(B_s \rightarrow \pi ^+\pi ^-\). In the left panel, we present the variation of the CP-averaged branching fraction as a function of the new weak phase \(\phi _{bs}\) with different \(\zeta = 0.001\ (\mathrm {dotdashed}), 0.01\ (\mathrm {dotted}), 0.02\ (\mathrm {dashed})\). The experimental region (filled by horizontal lines) and the SM predictions (filled by vertical lines) are also shown for comparison. From this figure, one can see that the SM is consistent with the data within \(1\sigma \). Including the \(Z^\prime \) contribution, it is apparent that the parameter space \(|\phi _{bs}|< 80^\circ \) will be excluded. For \(|\phi _{bs}|> 80 ^\circ \), if \(\zeta < 0.01\), the contribution of the \(Z^\prime \) boson will be buried by the uncertainties of the SM. One also sees that when \(\zeta = 0.02\) the branching ratio will be enhanced to \(7.6 \times 10^{-7}\), which is larger than the SM prediction. Note that the averaged experimental have large errors, and the small band will help us to determine the magnitude of \(\zeta \). It is emphasized that the LHCb had obtained a bit larger result, which indicates the existence of a light \(Z^\prime \). In the right panel, we plot the relation between the branching ratio and the direct CP asymmetry \(\mathcal{A}_{\mathrm{CP}}^{\mathrm{dir}}\) with an extra \(Z^\prime \) boson. The region edged by a blue curve is the possible region with parameter \(\zeta <0.02\) and \(\phi _{bs} \in [-180^\circ , 180^\circ ]\). With the experimental data, the lower half of the region can be excluded. In the permitted region, the range of the direct CP asymmetry is \([-3.2\,\%,0.1\,\%]\), which is much larger than the estimation of the SM (the gray region). The future measurement of these values in the LHCb (LHC-II) experiment and the high energy \(e^+e^-\) collider will help us to probe the effects of \(Z^\prime \). Note that when discussing the effects of the \(Z^\prime \) boson, we will not include the uncertainties induced by wave functions and scale t, because the major objective of this work is to search for the possibility of a new physics signal, rather than to produce acute numerical results.

Fig. 2
figure 2

The contribution of \(Z^\prime \) to the decay mode \(B_s \rightarrow \pi ^+\pi ^-\). The left panel represents the branching fraction as functions of \(\phi _{bs}\), the dotdashed (green), dotted (red), and dashed (blue) lines represent results from \(\zeta =0.001,~0.01,~0.02\), respectively. The region edged by dot-dashed lines (black) is for the experimental data, while the one edged by the solid lines (red) is for the prediction of the SM. The right panel stands for the relation between the branching fraction and the direct CP asymmetry, the region edged by dot-dashed lines (black) is the experimental data, while the one edged by the solid lines (red) is the prediction of the SM

Fig. 3
figure 3

The contribution of \(Z^\prime \) to the decay mode \(B_d \rightarrow K^+K^-\). The legends are the same as in Fig. 2

Similarly, the effects of the extra \(Z^\prime \) boson in \(B_d \rightarrow K^+K^-\) are also presented in Fig. 3. In the left panel, it is clear that the position of the SM prediction is on the top of the experimental data, although some parts of them overlap with each other. Furthermore, the heavy \(Z^\prime \) contributions (\(\zeta <0.1\)) are not apparent due to the uncertainties of the SM. Moreover, for the \(\phi _{bd}\), the ranges \([0, 180^\circ ]\) and \([-180, -110^\circ ]\) will be excluded. We also plot the region (edged by a curve) related to the direct CP asymmetry and the branching fraction, as shown in the right panel. Note that the SM prediction is 30–42 %, but with a light \(Z^\prime \) the estimated range is to be 5–60 % after considering the constraint from the experimental data. It is concluded that for \(B_d \rightarrow K^+K^-\) the future measurement of the direct CP asymmetry will help us to search for the possible effect of a light \(Z^\prime \), though its contribution to the branching fraction is polluted by the SM uncertainties.

Finally, we shall discuss the \(Z^\prime \) effect on the CP symmetry parameters \(\mathcal{S}_f\) and \(\mathcal{H}_f\). For \(B_s \rightarrow \pi ^+\pi ^-\), as the weak phase of \(V_{tb}V_{ts}^*\) is very small, both \(\mathcal{S}_f\) and \(\mathcal{H}_f\) are not sensitive to the NP. On the contrary, for \(B_d \rightarrow K^+K^-\), \(\mathcal{S}_f\) and \(\mathcal{H}_f\) are sensitive to the extra leptophobic \(Z^\prime \) boson. In Fig. 4, we plot the relations of \(\mathcal{S}_f\) (right panel) and \(\mathcal{H}_f\) (left panel) with varying \(\phi _{bd}\) from \(-180\) to \( 180^\circ \), when \(\zeta = 0.01\) and \(\zeta = 0.02\). The estimates of SM (edged by the lines) are also presented. From the figures, one can see that in the permitted range of \(\phi _{bd}\), with a light \(Z^\prime \) boson (\(\zeta = 0.02\)), \(\mathcal{S}_f\) could reach \(-0.55\), which is larger than the prediction of the SM. For \(\mathcal{H}_f\), its values could reach to \(-0.75\) when \(\phi _{bd}=-50^\circ \). The future measurement of them will help us to further constrain the parameters, which might be helpful for direct searching for a light \(Z^\prime \) boson.

Fig. 4
figure 4

The CP symmetry parameters \(\mathcal{S}_f\) (left panel) and \(\mathcal{H}_f\) (right panel) as a function of the weak phase \(\phi _{bd}\), the dotted (red) and dashed (blue) lines represent results from the \(\zeta =0.01,~0.02\), and the regions edged by solid line (green) are the predictions of the SM

4 Summary

In this work, we have studied the pure annihilation decays \(B_d \rightarrow K^+K^-\) and \(B_s \rightarrow \pi ^+\pi ^-\) in the SM and the family-non-universal leptophobic \(Z^\prime \) model. Although the SM predictions in the PQCD approach are in agreement with the experimental data, the branching fraction of \(B_s \rightarrow \pi ^+\pi ^-\) (\(B_d \rightarrow K^+K^-\)) is a little bigger (smaller) than the LHCb result, which may indicate the survival space for a light \(Z^\prime \) boson. Inspired by this fact, we have constrained the U(1) phase as \(\phi _{bd} \in [-110,0^\circ ]\), and \(\phi _{bs}\) is \(|\phi _{bs}|>80^\circ \). Within the allowed space range, the direct CP asymmetry for \(B_s \rightarrow \pi ^+\pi ^-\) is predicted as \([-3.2,0.1\,\%]\), while it is 5–60 % for \(B_d \rightarrow K^+K^-\). Furthermore, we have also calculated the mixing-induced CP asymmetries and found that the parameters \(\mathcal{S}_f\) and \(\mathcal{H}_f\) of \(B_d \rightarrow K^+K^-\) are very sensitive to the effect of \(Z^\prime \). With a light \(Z^\prime \), the maximum (minimal) value of \(\mathcal{S}_f \)(\(\mathcal{H}_f\)) can reach \(-0.55\) (\(-0.75\)). The future measurements of these observables may provide us with some hints for direct searching for a light leptophobic \(Z^\prime \) boson.