Subleading power factorization in B¯→Xsℓ+ℓ−\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{B}\to {X}_s{\ell}^{+}{\ell}^{-} $$\end{document}

We analyze the factorization to subleading power in the flavor changing neutral current process B¯→Xsℓ+ℓ−\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{B}\to {X}_s{\ell}^{+}{\ell}^{-} $$\end{document}. In particular, we compute the so-called resolved contributions and explore the numerical impact on observables. In these contributions the virtual photon couples to light partons instead of connecting directly to the effective weak-interaction vertex. They represent an irreducible uncertainty in the inclusive B¯→Xsℓ+ℓ−\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{B}\to {X}_s{\ell}^{+}{\ell}^{-} $$\end{document} decay which cannot be removed by relaxing the experimentally necessary cuts in the hadronic mass spectrum.


Introduction
Flavour changing neutral currents (FCNC) play an essential role in the search for New Physics (NP) effects. The leading order Standard Model (SM) process already occurs only at the loop-level and consequently any new physics (NP) effects beyond the SM may enter at the same level. However, up to some 2 − 3σ deviations in FCNC no signal of NP has been detected yet. Due to this current lack of really significant deviations from SM predictions, any NP is either out of reach of the current colliders or has a peculiar flavour structure. This is the famous flavour problem, i.e. the question why FCNCs are suppressed (for a review see ref. [1]). This problem must be solved in any viable NP model. In both options, a thorough investigation of the flavour structure is mandatory in order to explore the underlying NP model.
The inclusive decay modeB → X s + − is one of the most important, theoretically clean modes of the indirect search for new physics via flavour observables (for reviews see refs. [2][3][4]). Compared with theB → X s γ decay, the inclusiveB → X s + − decay presents a complementary and more complex test of the SM, given that different perturbative electroweak contributions add to the decay rate. As a three body decay process it also offers more observables. Due to the presence of the lepton-antilepton pair, more structures contribute to the decay rate and some subtleties in the formal theoretical description arise JHEP10(2017)031 which one needs to scrutinize. It is generally assumed that this inclusive mode is dominated by perturbative contributions like the inclusiveB → X s γ decay if one eliminates cc resonances with the help of kinematic cuts. In the so-called perturbative q 2 windows below and above the resonances, namely in the low-dilepton mass region 1 GeV 2 < q 2 = m 2 < 6 GeV 2 as well as in the high-dilepton mass region where q 2 > 14.4 GeV 2 these perturbative contributions are well explored and have already reached a highly sophisticated level. The most recent analysis of all angular observables in theB → X s + − decay was given in ref. [5]; it includes all available perturbative NNLO QCD, NLO QED corrections and also the known subleading power corrections.
The inclusive modeB → X s + − allows for an important crosscheck of the recent LHCb data on the corresponding exclusive mode. The so-called anomalies found in some angular observables of the exclusive decay B → K * µ + µ − [6,7] cannot be interpreted unambiguously because of the unknown subleading power corrections in the theoretical framework of QCD improved factorization. One cannot decide at the moment if these deviations from the SM are first signs for new physics beyond the SM, a consequence of the unknown hadronic power corrections or just statistical fluctuations. As was shown in refs. [8,9], the future measurements of the inclusive mode will be able to resolve this puzzle.
Belle and BaBar have measured the branching ratio using the sum-of-exclusive technique only. Unfortunately, the latest published measurement of Belle [10] is based on less than 30% of the data set available at the end of the Belle experiment, i.e. on a sample of 152 × 10 6 BB events only. At least BaBar has published an analysis based on the whole data set of Babar using a sample of 471 × 10 6 BB events [11] which updated the former analysis of 2004 [12]. However, Belle has already measured the forward-backward asymmetry [13], while BaBar presented a measurement of the CP violation in this channel [11]. All these measurements are still limited by the statistical errors. The super flavour factory Belle II at KEK will accumulate data samples that are two orders of magnitude larger [14]. This will push experimental precision to its limit. Thus, also a precise understanding of the theoretical predictions is necessary.
The inclusive modes B → X s γ and B → X s + − are dominated by the partonic contributions which can be calculated perturbatively. It is well-known that the heavy mass expansion (HME) makes it possible to calculate the inclusive decay rates of a hadron containing a heavy quark, if only the leading operator in the effective Hamiltonian (O 7γ for B → X s γ, O 9 for B → X s + − ) is considered [17,18]. The HME represents a local operator product expansion (OPE) based on the optical theorem. The partonic contribution is the leading term in this expansion in power of 1/m b . Due to the equations of motion, there is no contribution of order Λ/m b . Thus, the corrections to the partonic contribution start with 1/m 2 b only and have a rather small numerical impact. For the inclusive decayB → X s + − these leading hadronic power corrections with 1/m 2 b and 1/m 3 b have already been analysed in refs. [21][22][23][24][25] (for the inclusive decayB → X s γ see ref. [26]).
However, as already noted in ref. [27], there is no OPE for the inclusive decay B → X s γ if one includes operators beyond the leading electromagnetic dipole operator O 7 into the analysis. Voloshin [30] has identified such a contribution to the total decay rate in the interference of the b → sγ amplitude due to the electromagnetic dipole operator O 7 and JHEP10(2017)031 the charming penguin amplitude due to the current-current operator O 2 . It is described by matrix element of a non-local operator. This is an example of a so-called resolved photon contribution. Such a contribution contains subprocesses in which the photon couples to light partons instead of connecting directly to the effective weak-interaction vertex [15]. 1 An analysis of all resolved photon contributions to the inclusive decayB → X s γ related to other operators in the weak Hamiltonian has been presented in ref. [15] (see also ref. [31]). All these non-local contributions manifestly demonstrate the breakdown of the local OPE within the hadronic power corrections. However, such non-local power corrections lead to a multi-scale problem which can be analysed well within soft-collinear effective theory (SCET). These non-local matrix elements are very difficult to estimate. It has been shown that there is an irreducible theoretical uncertainty of ±(4 − 5)% for the total CP averaged decay rate, defined with a photon-energy cut of E γ = 1.6 GeV [15].
In the present paper we explore the subleading power factorization of the inclusive decayB → X s + − and its implications to observables. Within the inclusive decaȳ B → X s + − , the hadronic (M X ) and dilepton invariant (q 2 ) masses are independent kinematical quantities. In order to suppress potential huge backgrounds one needs an invariant mass cut on the hadronic final state system (M X 2 GeV). This cut poses no additional constraints in the high-dilepton mass region, but in the low-dilepton one the cut on the hadronic mass implies specific kinematics in which the standard OPE breaks down and nonperturbative b-quark distributions, so-called shape functions, have to be introduced. The specific kinematics of low dilepton masses q 2 and of small hadronic masses M X leads to a multi-scale problem for which soft-collinear effective theory (SCET) is the appropriate tool.
A former SCET analysis uses the universality of the leading shape function to show that the reduction due to the M X -cut in all angular observables of the inclusive decaȳ B → X s + can be accurately computed. The effects of subleading shape functions lead to an additional uncertainty of 5% [32,33]. 2 However, in all these previous analyses a problematic assumption is made, namely that q 2 represents a hard scale in the kinematical region of low q 2 and of small M X . As we will show explicitly in our present SCET analysis, the hadronic cut implies the scaling of q 2 being not hard but (anti-) hard-collinear in the low-q 2 region.
The main goal of the paper is to identify the correct power counting of all the variables in the low-q 2 window of the inclusive decayB → X s + − within the effective theory SCET if a hadronic mass cut is imposed. Furthermore we will analyse the resolved power corrections in a systematic way and present numerical estimates of the corresponding uncertainties. As mentioned above, in these contributions the virtual photon couples to light partons instead of connecting directly to the effective weak-interaction vertex. Moreover, we will show that 1 It is possible to expand this non-local contribution to local operators again if one assumes that the charm is a heavy quark. Then the first term in this expansion is the dominating one [27][28][29]. This non-perturbative correction is suppressed by λ2/m 2 c and is estimated to be of order 3% compared with the leading-order (perturbative) contribution to Γ b→sγ . But if one assumes that the charm mass scales as m 2 c ∼ ΛQCDm b , the charm penguin contribution must be described by the matrix element of a non-local operator [15]. 2 In a later analysis [34] the uncertainties due to subleading shape functions are conservatively estimated.
Using the combined B → Xsγ, B → Xu ν and B → Xs + − data the uncertainties due to leading and sub-leading shape functions can be reduced in the future [34].

JHEP10(2017)031
the resolved contributions -as a special feature -stay non-local when the hadronic mass cut is released. In this sense they represent an irreducible uncertainty independent of the hadronic mass cut. The paper is organized as follows. In section 2 we introduce the theoretical framework, in particular we identify the correct power counting and the factorization properties of the subleading contributions. In section 3 we derive the fully differential decay rate. In section 4 we present the explicit calculation of the interference term of the O 7γ and the O 2 operators. In section 5 we present the analytical results of all resolved contributions in the first subleading power. Their numerical impact is investigated in section 6. Finally we summarize and discuss the obtained results in section 7.

Theoretical framework
The effective operator basis for the underlying parton interaction of the semi-leptonic flavour changing neutral current decayB → X s + − is well-known [37]. Many higherorder calculations have led to the availability of NNLO precision and NNLL resummation in the strong coupling α s . At the relevant scale m b of the b-quark, all heavier fields are integrated out, and the effective operator basis contains only active flavours. In our convention, corresponding to the one used in [38], the contributing operators are given by with q = u, c and i, j denoting the color indices and (q 1 q 2 ) V ±A =q 1 γ µ (1 ± γ 5 )q 2 . Our sign convention is such that iD µ = i∂ µ + g s T a A a µ + e Q f A µ , where T a are the SU(3) color generators, and Q f is the electric charge of the fermion in units of e. Using Standard Model CKM unitarity, with λ q = V qb V * qs and λ u + λ c + λ t = 0, we may write the effective Hamiltonian as ..,6,9,10 The Wilson coefficients C i depend on the scale µ at which the operators are renormalized and in our convention C 7γ is negative. Here the four-quark and QCD-penguin operators O 1−6 , and the QED and QCD dipole operators O 7γ,8g can contribute via an appropriate contraction with the QED Lagrangian to the process in question.

Set-up of the SCET ansatz
Calculating the inclusive decay modeB → X s + − we face two problems. On the one hand, the integrated branching fraction is dominated by resonant qq background, especially with q = c, i.e. resonant J/ψ → + − intermediate states for the (virtual) photon, which exceeds the non-resonant charm-loop contribution by two orders of magnitude. This feature should not be misinterpreted as a striking failure of global parton-hadron duality as shown in ref. [39]. However, cc resonances that show up as large peaks in the dilepton invariant mass spectrum are removed by appropriate kinematic cuts -leading to so-called 'perturbative q 2 -windows', namely the low-dilepton-mass region 1 GeV 2 < q 2 = m 2 < 6 GeV 2 , and also the high-dilepton-mass region with q 2 > 14.4 GeV 2 .
On the other hand, in a realistic experimental environment we need to suppress potential huge backgrounds by an invariant mass cut on the hadronic final state system (M X 2 GeV). This cut poses no additional constraints in the high-dilepton-mass region. But in the low-dilepton mass region we have in the B meson rest frame due to q Thus, for low enough q 2 in combination with M 2 X E 2 X the X s system is jet-like with E X ∼ M B . This further implies hat P X is near the light cone.
Within these kinematic constraints, soft-collinear-effective theory (SCET) [40] is the appropriate tool to study the factorization properties of inclusive B-meson decays and to analyse the multi-scale problem. The cuts in the two independent kinematic variables, namely the hadronic and dilepton invariant masses, force us to study the process in the so-called shape function region with a large energy E X of order M B and low invariant mass M X ∼ m b Λ QCD of the hadronic system. SCET enables us to systematically obtain a scaling law of the momentum components. In our set-up the scales Λ QCD , M X , and M B are relevant. For the ratio of these scales, one finds the following hierarchy: Hence, resumming logarithms between these scales becomes important. SCET allows to systematically resum the logarithms of these scale ratios, and more importantly factorizes the effects stemming from the different regions. This enables us to calculate the process in a consistent expansion, and to factorize off effects that can be calculated perturbatively. This reduces the non-perturbative quantities to a limited set of soft functions.
This sets the power-counting scale for the possible momentum components in light-cone coordinates n µ = (1, 0, 0, 1) andn µ = (1, 0, 0, −1). Any four-vector may be decomposed according to a µ = n·an µ /2+n·a n µ /2+a µ ⊥ . We use the short-hand notation a ∼ (n·a,n·a, a ⊥ ) to indicate the scaling of the momentum components in powers of λ. Within the validity of SCET, we have a hard momentum region p hard ∼ (1, 1, 1), a hard-collinear region p hc ∼ (λ, 1, √ λ), an anti-hard-collinear region p hc ∼ (1, λ, √ λ) and a soft region p soft ∼ (λ, λ, λ). Red: q 2 = [15,17,22] Figure 1. q 2 = (n · q)(n · q) with q ⊥ = 0 for the two perturbative mass windows. The gray band shows the experimental hadronic invariant mass cut with the K as the lowest mass state, and the red band corresponds to the q 2 cut. The blue lines indicate the scaling of the two light-cone components. Left: low invariant mass window. Scaling of q hc is indicated. Right: high invariant mass window, with the maximally allowed value of M B . Scaling of q hard is indicated.
As far as the two-body radiative decay is concerned, the kinematics imply q 2 = 0 and E γ ∼ m b /2, and, taking into account the invariant mass and photon energy requirements, the scaling is fixed to be a hard-collinear hadronic jet recoiling against an anti-hard-collinear photon.
In the case of a lepton-antilepton pair in the final state, we need to restrict the momentum transfer to the leptons outside the mass window of the cc resonances as described above. In figure 1 we compare the momentum scaling of the lepton-antilepton pair in terms of the light-cone coordinate decomposition and the experimental cuts. The gray band corresponds to the hadronic invariant mass cut in order to suppress background, while the red band is the q 2 constraint to reject the cc resonances. The blue lines show the validity of SCET in terms of the momentum component scaling, on the left figure for an anti-hardcollinear scaling, while on the right one for a hard momentum scaling. Note that there exist two solutions for the left figure, as we may view the leptons to be anti-hard-collinear and the hadronic jet collinear and vice versa. Obviously, the high mass window corresponds to hard leptons and is outside of the validity of a description in terms of SCET. It can be readily seen that the current mass cuts do not have an impact on this scenario. That is in contrast to the low q 2 region. The overlap of the red and gray band is the allowed region after experimental cuts, and it is in good agreement with our assumptions for the effective theory, which is approximately given by the blue rectangle. Therefore with assigning an anti-hard-collinear momentum to the virtual photon and a hard-collinear one to the hadronic system, we are in a good approximation in the validity window of both the experimental requirement and the effective theory. Upper lines: q + , lower lines: q - Figure 2. The scaling of the momentum components of the hadronic system P + X = n · P X and P − X =n · P X (left) and the lepton system q + = n · q and q − =n · q is plotted as a function of q 2 each for three values of the hadronic invariant mass.
To show this more explicitly, we can introduce the two light-cone components of the hadronic momentum with n · P Xn · P X = M 2 X and P ⊥ X = 0 Using the kinematical relations, the leptonic light-cone variables are given by In figure 2, we show the scaling of the momentum components of the hadronic system n · P X andn · P X (left plot) and of the lepton system n · q andn · q (right plot) as function of q 2 for three different values of the hadronic mass cut. It can be clearly seen, that for the experimentally invoked cuts without further assumptions other than assuming the effective two-body decay system B → X s γ * to be aligned along the light-cone axis without a perpendicular component, the hadronic system scales as hard-collinear, while the lepton system scales as anti-hard collinear. However, as also can be extracted from these plots, a lower cut of q 2 5 GeV 2 instead of q 2 6 GeV 2 is preferred because a higher value of the q 2 cut pushes the small component to values slightly beyond our assumptions of the momentum component scaling and therefore neglected higher order terms may have a more sizable contribution. Nevertheless, the assumption of a hard q momentum as used in the calculations of refs. [32][33][34] is not appropriate. Moreover, it implies a different scaling and also a different matching of the operators. And as we will show below, this assumption would imply that there are no resolved contributions in the effective field theory.

Factorization theorem and operator matching and scaling
We therefore describe the hadronic effects with SCET, corresponding to an expansion of the forward scattering amplitude in non-local operator matrix elements. One derives a factor- ization formula for the considered process, in complete analogy to the radiative decay in [15] dΓ The formula contains the so-called direct contributions in the first line, while the second line describes the resolved contributions which occur first only at the order 1/m b in the heavy-quark expansion. Figure 3 shows a graphical illustration of the three terms in the factorization theorem in the shape function region. Here H i . Similarly to the radiative decay investigated in ref. [15], we have in addition resolved virtual-photon contributions in the second line, whose effects are described by new jet functionsJ (n) i . This occurs due to the coupling of virtual photons with virtualities of order m b Λ QCD to light partons instead of the weak vertex directly. Consequently they probe the hadronic substructure at this scale. Resolved effects may occur as a single or double "resolved" contribution due to interference of the various operators, which also have the "direct virtual-photon" contribution. Finally the soft or shape functions are defined in terms of forward matrix elements of non-local heavy-quark effective theory (HQET) operators. This limited set of shape functions can not be calculated perturbatively, yet this allows a systematic analysis of hadronic effects in this decay mode. We imply the convolution of the soft and jet function due to the occurrence of common variables with the symbol ⊗.
Finally, we note that -as already discussed in ref. [15] -there is not a complete proof of this factorization formula. In fact, there is a direct and a resolved O 8g − O 8g contribution and the sum has to be scale and scheme independent at each order in the strong coupling. Moreover, the factorization theorem should be formulated in terms of renormalized shape and jet and hard functions. In the resolved contribution of this specific JHEP10(2017)031 case the factorization theorem seems to be correct in the sense that one is able to write the contribution in terms of a convolution of a jet and a soft function. However, it turns out that each of these components is independent of the scale and scheme choice at the zeroth order in α s . This conflicts with the scale dependence of the direct contribution at this order, which is induced by the divergent jet function which has to be regularized. It turns out that this missing scale dependence in the resolved contribution is induced by the UV divergence of the convolution integral itself. The physical origin of the divergence are the higher powers of soft momentum variables within such higher power corrections. But this divergence in the convolution integral is also a manifest failure of the factorization formula which implies that it is not clear at the moment how large logarithms can be consistently resummed in this case.
In the present analysis, we consider only the low q 2 region. In this region, obeying the invariant mass constraint, the only sensible power-counting -as shown above -is to assume q scales as an anti-hard-collinear momentum, while P X as a hard-collinear momentum just as in the radiative decay. In this sense, at least one of the leptons has to be anti-hardcollinear, while the other may be soft. In our effective theory, we have, besides the initial heavy quark, active hard-collinear and anti-hard-collinear fermions, whose fields scale in These two-component spinor fields obey the projector identities P n ξ n = ξ n , Pnξ n = 0 (and n ↔n) with P n = / n/ n 4 and Pn = / n/ n 4 . The quantities W n , Wn are the familiar (anti)-hard collinear Wilson lines in SCET that render the Lagrangian gauge invariant. The soft and heavy quark fields scale as h, q ∼ λ 3/2 . The b-quark is described in terms of a HQET field and its velocity is given by v µ = 1/2(n µ +n µ ) and to leading order the b-field satisfies / vb = b. The projections of the gauge fields onto the components scale the same as the corresponding momentum components Using this scaling, we can match the operators (2.1) onto the corresponding SCET operators and order them according to the scaling parameter λ. The relevant SCET Lagrangian for hard-collinear and soft fields (for anti-hard we need to replace n ↔n) obtained by the matching from the simple QCD (QED) Lagrangian is given by [41,42] where the superscript denotes the suppression in powers of √ λ. The terms are explicitly given by In order to describe the process in question, we have to describe QCD and QED fields in terms of SCET: kinematically we are in the situation where we need to describe the JHEP10(2017)031 hadronic part in terms of SCET for a proper and consistent description, but also as far as QED is concerned, we have to describe these fields in terms of an SCET-like theory. Thus, we investigate the matching of O 7γ onto SCET fields, where we consider the (virtual) photon to be power-counted as well.
The electromagnetic dipole operator is then written as (2.12) Suppressing the − em b 4π 2 e −im b v·x factor and following the notation of [41] O 7γ is matched onto the leading operator with A em being the Wilson line dressed gauge-invariant photon field We count the photon field as (n · A em ,n · A em , A em where n · A em = 0 follows from gauge invariance, despite of being off-shell.
We need to contract the photon from this operator with the QED Lagrangian in order to convert this virtual photon into a lepton-antilepton pair. Note that the contribution of O 7γ scales as λ 5 2 . The conversion of the virtual photon into hard-collinear leptons introduces no further suppression. For the semi-leptonic operators, the matching leads to the following SCET operators Both operators scale as λ 1 2 + 3 2 +2 1 2 = λ 3 , which is suppressed by λ 1 2 against the contribution from O 7γ . Note that this changes in the high q 2 region as in this case the leptons are hard and do not add a power suppression.
Thus, according to the power counting in the low q 2 region, the leading order reference is given by the direct O 7γ − O 7γ contribution at the order of λ 5 . If one takes into account all contributions up to order 1/m b corrections, i.e. terms up to λ 6 , corresponding to O(λ) corrections to the leading direct contribution, then within the direct contributions one has to include only the leading part of O 9,10 −O 9,10 , but the subleading part of O 7γ −O 7γ . This includes subleading soft and jet functions and the resolved contributions due to interference with other operators.
In this paper, we calculate the resolved contributions, which we consider to order 1/m b . For this, we need to compute the resolved contributions from as in theB → X s γ. They appear at the same order in the power counting inB → X s + − , since the conversion of the photon into the hard collinear leptons is not power suppressed. Are there additional contributions? Indeed, the virtual photon could give rise to additional quantities in the operator matching, which where zero in the real case. In particular, subleading operators might contain factors ofn·q andn·A em . However, these operators contain the photon field directly (i.e. they do not couple to the photon via JHEP10(2017)031 a Lagrangian insertion), and therefore do not give rise to resolved contributions. Also, there are no additional operators at leading power that contain these factors.
The usual observables can be obtained from the triple differential rate in the form as given in [5], and we will calculate the corrections to the structure functions H i below.
3 Obtaining the fully differential decay rate The differential rate is obtained by calculating the restricted discontinuity where the restriction implies that only cuts that contain the appropriate final states are taken into account. At first order in the electromagnetic coupling the resulting expression can be decomposed into a hadronic and a leptonic tensor, W αβ and L αβ respectively with the leptonic phase space indicated by dΠ Lept . The hadronic tensor W αβ contains the integration over the final state hadronic momentum and the total momentum conservation in its definition 3) with the Fourier transformed operators O had α . This explicitly contains the on-shell condition. For the leptonic tensor we have to distinguish between the contribution from the QED current insertion, and the direct contributions from O 9,10 , with the former defined as including the virtual photon propagator As will be shown below, for the current insertions only terms containing perpendicular components survive the contraction with the hadronic tensor to the first order. For the semi-leptonic contributions on the other hand the leptonic tensor is contracted with n α n β , which can be seen from equations (2.14) and (2.15). But as explained above, there are no resolved contributions with the semi-leptonic operators to the first order in 1/m b . Thus, we can restrict ourselves to the insertion of a QED current in the following. Below, the resolved 1/m b corrections to this hadronic tensor are calculated within the framework of SCET. Any desired distribution can then be recovered by performing the phase-space integration over the lepton momenta outlined below for our numerical study.
For an unpolarized three body decay we have two degrees of freedom. Remember that the hadronic on-shell condition leads to a delta distribution, respectively its derivative for JHEP10(2017)031 power corrections, in the hadronic tensor. This condition is implicitly contained in the non-local matrix element, and therefore we can have at most a triple differential rate from the phase space, where this on-shell condition still needs to be evaluated. It is convenient to use the following three kinematic variables as it was already indicated in eq. (2. 16 where q = p + + p − , v = 1/2(n +n), and z is defined as the angle of the positively charged anti-lepton with the flight direction of the B-meson in the rest frame of the leptonantilepton system ( q = 0). We keep the leptons massless in the following discussion. Then the structure functions in eq. (2.16) can easily be identified. In this notation it is obvious that z is a Lorentz scalar, and in the B-rest frame v · p ± = E ± .
We derive the phase-space result in full QED kinematics. It can be shown that expanding this calculation to the leading order in λ is equal to the result calculated directly in leading order SCET. Furthermore it is easy to verify that the leptonic part I αβ (v, q, z) defined in the contraction is transforming as a tensor under Lorentz transformations. Here, we have explicitly included the dependence on the angle z. The only invariants which occur in the integrand are v · p − and q · p − . Therefore, using current conservation q µ L µν = 0 = q ν L µν for massless leptons, we can decompose I αβ (v, q, z) as Note that for the same reasons we may decompose the hadronic tensor W αβ (v, q) in a similar way, as it depends on v µ and q µ , only.
In the case relevant for the resolved contribution we have to explicitly compute this decomposition for the insertion of a QED current. Then the leptonic structure functions JHEP10(2017)031 are given by The absence of a linear component in z shows that there exists no resolved contribution to the forward-backward asymmetry at this order. However, this result is already anticipated as neither O 9 nor O 10 contribute for resolved corrections at this order. Expanding this result to order O(λ), where we have to take into account that q ⊥ = 0 and that the open indices couple to a virtual photon field scaling as anti-hard-collinear, we obtain In this sense, the Dirac structure reduces to the on-shell photon case. Combining this expanded result with the phase-space integration in eq. (3.6), we obtain where we have defined the abbreviation dΛ αβ for later convenience. The transition to light-cone coordinates is easily obtained by using (3.14) for an anti-hard-collinear momentum q. Neglecting λ corrections it is easy to calculate where we have approximated (v · q) 2 − q 2 ≈ 1 2 n · q. Furthermore we find that in comparison with eq. (2.16), the only structure function that gets corrections of this type to the considered order is H T (q 2 ), while H A (q 2 ) and H L (q 2 ) do not. Thus, we find dΛ αβ = dn · q dn · q dz α 128π 3 (1 + z 2 ) n · q n · q g ⊥,αβ . With the appropriate replacement derived above we can therefore transit between the two differential rates, where we have to obey the power-counting in replacing the variables, by Finally, we can compare our results to the already known results of B → X s γ. This can be done by recomputing the phase-space and settingn · q = 0

Explicit calculation of the O 1 − O 7γ contribution
For the explicit calculation of this resolved contribution we need to derive the expression for the loop with the emission of an anti-hard-collinear virtual photon and a soft gluon. We define (see figure 4) Considering only those contributions that do not vanish between the Dirac structures Γ 2 ⊗ Γ 1 = γ µ (1 − γ 5 ) ⊗ γ µ (1 − γ 5 ) the leading charm-quark loop contribution with the emission of an off-shell photon q and a soft gluon l 1 is given in gauge invariant form by

JHEP10(2017)031
where we are using the conventioñ and have defined the penguin functions For a real photon q 2 = 0 and q α F αβ = 0 the above expression reduces to and we reproduce the result from B → X s γ. Note, that in the soft limit, where also l 1 ·q → 0 the product of the prefactor 1/(l 1 ·q) 2 with the specific combination of the penguin functions given above remains finite. As far as the field-strength tensors are concerned, the leading power is given by where the polarization vector (γ) represents an off-shell photon, which gives rise to the anti-hard-collinear propagator, when contracted with the QED current. Calculating the interference with the operator O 7γ we obtain the differential rate as where we have defined the shorthand notation 9) and the i prescription may be dropped if we assume the soft function is well behaved in the limit ω 1 → 0. The result obviously reproduces the known structure function result in the limit of a real photon. For this we have to replace the leptonic tensor by −g κσ , the photon energy by n · q = 2E γ andn · q = 0. We then obtain for the contraction of the matrix element which exactly reproduces the soft function in the radiative decay. The same is true for the semi-leptonic decay. Due to q ⊥ = 0 the only remaining term of the decomposition of the leptonic tensor in (3.7) is again g αβ ⊥ and the Dirac structure in the shape function again reduces to the radiative case. Hence, no new structure function is involved to this order in the power-counting.

Results to first order in 1/m b
Using standard relations explained in section 3, we automatically achieve the decomposition of the hadronic tensor into Lorentz structure functions. Below we have listed the results for the resolved contributions at order λ for the hadronic tensor. The smooth limit q 2 → 0 reproduces the known results from ref. [15]. In the following we state our results for the CP-averaged rate, i.e. the result factorizes into the real part of the strong matrix element and the weak prefactors. We have three resolved operator combinations to order 1/m b .
contribution, there are three cut diagrams. Maintaining the same notation as in ref. [15], we have for the two cuts with the hard-collinear gluon diagrams (see left diagrams in figures 5 and 6) Here the hadronic functions g 78 are defined exactly the same way as already known from the case B → X s γ.
Again we find the same shape functions which are defined as It is clear that the difference to the radiative decay is introduced through the non-vanishinḡ n · q that shifts the small component of the anti-hard-collinear propagator, which corresponds to the anti-hard-collinear jet function. With the same argument, we can already see that the direct contributions will not be affected in such a way, sincen · q is suppressed relative to the large component of any hard-collinear propagator. For the double resolved O 8g −O 8g contribution involving twice the QCD dipole operator (see diagrams in figure 7) we find × dω 1 ω 1 +n · q + i dω 2 ω 2 +n · q − i ḡ 88 (ω, ω 1 , ω 2 , µ) . Here the shape functionḡ 88 is again defined as in the radiative decaȳ As mentioned already in section 2.2, there is a subtlety concerning the convolution integral in eq. (5.5). When calculating the asymptotic behaviour of the soft function for ω 1,2 Λ QCD one finds that the convolution integrals are UV divergent [15]. This divergence is mirrored by an IR divergence in the direct contribution to O 8g − O 8g . The scale dependence and the UV divergence of this resolved contribution can be extracted by regularizing the UV divergence by the method of dimensional regularization: in order to properly define all quantities it is also necessary to split the convolution integral into a low-momentum region defined by ω 1 , ω 2 < Λ UV and a high-momentum region defined by the complement using an additional cut-off parameter Λ UV . The sum is still independent of the auxiliary scale Λ UV . The UV divergence of course stems from the high-momentum part of the convolution integral. In this part (for large values of ω 1,2 ) one can replace the soft function by its asymptotic behavior which can be calculated perturbatively and the scale dependence becomes explicit within dimensional regularisation. It turns out that the sum of direct and resolved contribution to O 8g − O 8g is scale and scheme independent. Within the numerical analysis of the resolved contribution, one finds that the low-momentum region of the convolution integral is dominating, a fact we will use in our numerical analysis below. For more details we refer the interested reader to the analogous B → X s γ analysis [15].
For the O 1 − O 7γ contribution (see figure 8) we have explicitly derived The decomposition of the Lorentz structure has been done above (see section 4).
Finally some remarks are in order: • Having listed our results for the triple differential decay rate above with the calculated phase space inserted, we find that there is no odd term in the variable z. Thus, there is no resolved contribution to the forward-backward asymmetry in the first subleading order.
• Strictly speaking the CP averaging with the real part prescription is only valid because no linear term in z appears, as for the CP conjugated rate we would have to replace z → −z.
• All diagrams show that if we considered the lepton momenta as hard, the resolved contributions would not exist. The hard momentum of the leptons would imply also a hard momentum of the intermediate parton. The latter would be integrated out at the hard scale and the virtual photon would be directly connected to the effective electroweak interaction vertex.
• As the various results show, the operators that define the shape functions are nonlocal in both light cone directions. Thus, the resolved contributions stay non-local JHEP10(2017)031 even when the hadronic mass cut is relaxed. In that case n · P X = M B − n · q is not necessarily small anymore. We can therefore expand the shape function in powers of Λ QCD /(m b − n · q) which leads to a series of matrix elements that are local on the n-direction. However, the non-locality in then direction is retained. In this sense the resolved contributions represent an irreducible uncertainty within the inclusive decayB → X s + − .

Numerical analysis
First we discuss our input parameters. For the bottom-quark mass we use the low-scale subtracted heavy quark mass defined in the shape-function scheme: m b = 4.65 GeV [46]. However, we vary the mass between the running mass in the MS scheme, Regarding the HQET parameters we adopt the choices of ref. [15]: we use λ 2 = (0.12 ± 0.02) GeV 2 . For the first inverse moment of the B-meson light-cone distribution amplitude, we take the range 0.25 GeV < λ B < 0.75 GeV. For the parameter F we use the relation F = f B √ M B , and with f B = (193 ± 10) MeV we finally obtain 0.177 GeV 3 < F 2 < 0.217 GeV 3 .
We use NLO Wilson coefficients. However, in the BBL basis used in our analysis, the coefficients C 7γ and C 8 are only known to LO. We crosschecked the numerical impact compared to using the CMM basis [45] for which all coefficients are known at least to NLO accuracy. We find that the numerical effect of the change is negligible in view of the other uncertainties within our analysis.

Interference of O 1 with O 7γ
We are interested in the relative magnitude of the resolved contributions compared to the total decay rate, i.e. the leading direct contributions to the decay rate which one also would consider when the decay rate was calculated within the OPE where the rate Γ OPE is given by The last line defines the quantity C OPE . The integration limits are specified below.

JHEP10(2017)031
The first term in the square brackets is the leading power in the 1/m b expansion and corresponds to the direct contribution due to the interference of O 7γ with itself. The other terms are formally suppressed in the shape function region in which we evaluate these direct contributions. But the large magnitude of the Wilson coefficients |C 9/10 | ∼ 13|C 7γ | necessitates their inclusion into our uncertainty.
For the resolved contribution from the interference of O 1 with O 7γ we find where we have neglected terms proportional to V ub . Here p + ≡ n · p = m b − n · q, Λ = M B − m b , and the penguin functions F and G are defined in equation (4.4).
The integration limits of the n · q andn · q can be read of figure 1. To order λ 2 they are Since the integrand of the n · q integration is not singular, the first and third line do not give a leading power contribution. Note, that the integration limits of n · q are of O(1) in all terms, as they have to be, but the integration region is only of O(λ). To illustrate this we can substitute n · q → m b − p + . For convenience, we reverse the sign p + → −p + . The integration in the first line of equation (6.3) can then be written as Changing the order of the ω and p + integrations, X,max M B −n·q dp + (6.6)

JHEP10(2017)031
and performing the p + integration to eliminate the δ distribution, yields for F 17 From this we define Since the soft function only has support for ω ∼ Λ QCD we can take the limit M X,max → M B to get 4 Knowing the explicit form of the HQET matrix element we can derive general properties of the shape function h 17 . Following the arguments given in ref. [15], one can derive from PT invariance that the function is real and even in ω 1 . One can also explicitly derive the general normalization of the soft function In summary, we can write the relative contribution due to the interference of O 1 with O 7γ as with J 17 (q 2 min , q 2 max , ω 1 ) = Re For the standard value of q 2 min and q 2 max the function J 17 is plotted in figure 9. It is largest around ω 1 = 0. As a first trial for a model function for h 17 , we use a Gaussian.
with σ = 0.5 GeV as typical hadronic scale. This model function has all properties one derives from the explicit HQET matrix element. Calculating the convolution integral, we find C OPE e c (−0.252 GeV) . (6.14) Using a smaller σ = 0.1 GeV leads to −0.304 GeV. We can express our numbers in percentages F 17exp ≈ + 1.9 % (6.15) Using a Gaussian for the soft function only yields negative numbers (positive percentages) for the expression in the square brackets. Thus, this model function does not lead to a conservative bound on the size of F 17 .
Using the same function as in ref. [15] h 17 (ω 1 ) = 2λ 2 √ 2πσ For a different parameter choice, Λ = 0.575 GeV, on the other hand By reducing the separation between Λ and σ one could reach larger values, but it would also increase the values of the soft function to outside the hadronic range. As mentioned in the introduction, for the decayB → X s γ, it is possible to expand this non-local contribution to local operators if the charm quark is treated as heavy. The first term in this expansion is the dominating one [27][28][29][30] which corresponds to the so-called Voloshin term. This non-perturbative correction is suppressed by λ 2 /m 2 c . But if the charm mass is assumed to scale as m 2 c ∼ Λ QCD m b , what seems a more reasonable assumption, the charm penguin contribution must be described by the matrix element of a non-local operator [15].
The same can be shown in the decayB → X s + − . In ref. [29], the local Voloshin term was derived from a local expansion assuming Λ QCD m b /m 2 c to be small. We can rederive the leading term (according to our power counting) of their result from our general result above under the following assumptions.
Using a Gaussian as shape function and assuming this function being narrow enough, one can expand the part of the integrand in square brackets in eq. (6.7) around ω 1 = 0, 5 where F V (r) is defined in eq. (4) of [29] with r = q 2 /(4m 2 c ) (which is different from the function F defined in eq. (4.4).). This corresponds exactly to the leading power in 1/m b of the Voloshin term forB → X s + − given in ref. [29]. For F V (0) = 1, this results in the Voloshin term forB → X s γ.

JHEP10(2017)031
Numerically this approach is not advisable. Evaluating the leading 1/m b Voloshin term yields Compared to our final estimate, we find that the Voloshin term significantly underestimates the possible charm contributions. For comparison we finally consider the higher orders in 1/m b of the Voloshin term derived in ref. [29]. They are given by We note that the higher order inn · q are numerically small but the first subleading C 9 is numerically significant taking into account |C 9/10 | ∼ 13|C 7γ |. We also find that these subleading contributions change the sign Clearly, within the Voloshin term there is a cancellation between the C 7γ and the subleading C 9 contribution but in our analysis in which we use m 2 c ∼ m b Λ QCD both terms get smeared out by different shape functions and, thus, the corresponding uncertainties have to be added up. These findings call for a calculation of the resolved contributions to order 1/m 2 b to collect all numerically relevant contributions [48].

Conclusions
The present and future measurements of the inclusive decayB → X s + − need a hadronic mass cut in order to suppress potential huge background. The cut on the hadronic mass implies specific kinematics in which the standard local OPE breaks down and non-perturbative b-quark distributions, so-called shape functions, have to be introduced. The specific kinematics of low dilepton masses q 2 and small hadronic mass M X leads to a multi-scale problem for which soft-collinear effective theory is the appropriate tool.
In this paper, we have identified the correct power counting of all variables in the low-q 2 window of the inclusive decayB → X s + − within the effective theory SCET if such an hadronic mass cut is imposed. We have analysed the resolved power corrections at the order 1/m b in a systematic way. Resolved contributions are those in which the virtual photon couples to light partons instead of connecting directly to the effective weakinteraction vertex. They stay non-local even if the hadronic mass cut is released. Thus, they represent an irreducible uncertainty independent of the hadronic mass cut.
We have presented numerical estimates of the corresponding uncertainties to the first order in 1/m b . We find an overall uncertainty of F 1/m b ∈ [−0.7, +3.8] for the decay rate. Numerical estimates of the uncertainties in the case of the other two independent angular observables in the inclusive decayB → X s + − can be easily derived from the analytical results of this paper. However, we have found indications that the subleading contributions to order 1/m 2 b might be numerically relevant due to the large ratio C 9 /C 7γ which calls for an additional calculation [48].