1 Introduction

Event shapes and jet rates have been extensively studied in \(e^+e^-\) collisions (see e.g. Ref. [1] and references therein). The former measure geometrical properties of the final-state hadronic energy flow, while the latter allow us to count the number of jets, thereby providing access to the underlying partonic structure of the hadronic event. Since jet rates always depend on a resolution parameter, they can themselves be used to define event shape variables.

The value of a given event shape encodes in a continuous fashion, for example, the transition from pencil-like two-jet events to planar three-jet events or to events with a spherical distribution of hadron momenta. For this reason, event shapes were already widely used in early studies of strong interactions. Being infrared (IR) safe by construction, event shapes and jet rates can be computed order by order in perturbation theory, and can in turn be used to measure the QCD coupling \(\alpha _{\textrm{S}}\). More generally, these observables are also relevant in studies of the interplay between perturbative and non-perturbative QCD.

In this paper we focus on event shape variables that are non-zero in three-jet configurations. We generically denote an event shape variable (that we assume to be properly normalised to make it dimensionless) as r, such that the two-jet limit corresponds to \(r\rightarrow 0\). The differential cross section in this limit receives large logarithmic contributions that need to be resummed to all orders. Such resummation has been extensively studied [2,3,4,5,6,7,8,9,10,11,12,13,14,15] at leading power, and observable-independent formulations of the resummation program do exist [16,17,18,19,20].

The next-to-leading power contributions in the \(r\rightarrow 0\) limit have received less attention, and only recently they have started to be systematically investigated [21,22,23,24,25,26,27,28]. Besides helping us to improve our understanding of perturbative QCD, the study of power suppressed contributions is important when the observable is used as resolution variable to set up higher order computations with non-local subtraction or slicing schemes [29,30,31,32,33].

In this paper we study subleading power corrections for several different event shape variables. We start from the jettiness \(\tau _2\) [31] and \(y_{23}\) resolution variable for the \(k_T\) jet clustering algorithm [34]. We compute the necessary ingredients to use them as slicing variables to evaluate generic \(e^+e^-\rightarrow 2\) jet observables at next-to-leading order (NLO). We show that while the linear power corrections for jettiness are logarithmically-enhanced, those for \(y_{23}\) are not. We also contrast the behavior of \(\tau _2\) and \(y_{23}\) with that of a toy variable \(k_T^\textrm{FSR}\), which can be defined at NLO as the transverse momentum of the gluon with respect to the quark–antiquark pair. Then, we analytically compute the cumulative cross section for these observables, and discuss the origin of the different behavior of power corrections, which is traced back to the different way in which the phase space is covered by these variables. We then move to the thrust [35] and C-parameter [36,37,38], evaluating the corresponding power corrections and discussing their origin. We finally consider a variable \(r_b\) depending on a continuous parameter b that gives different weight to central and forward emissions along the relevant collinear direction, and we compute the ensuing subleading power corrections.

The paper is organised as follows. In Sect. 2 we introduce our notation and discuss the implementation of \(k_T^\textrm{FSR}\), \(\tau _2\) and \(y_{23}\) as resolution variables. In Sect. 3 we carry out our analytical study. We first compute the cumulative cross section for \(k_T^\textrm{FSR}\) (Sect. 3.1), \(\tau _2\) (Sect. 3.2) and \(y_{23}\) (Sect. 3.3) and in Sect. 3.4 we discuss their physical differences. Then in Sect. 3.5 we extend our discussion to the case of thrust and the C-parameter, and we finally study in Sect. 3.6 an observable that smoothly interpolates between thrust and \(y_{23}\), evaluating the corresponding power corrections. In Sect. 4 we summarise our results. Analytical results for the NLO coefficients for \(\tau _2\), \(y_{23}\) and \(k_T^\textrm{FSR}\) are provided in Appendix A, while the exact expression of the three-jet rate with the \(k_T\) jet clustering algorithm is reported in Appendix B.

2 Setup and preliminary investigations

We consider the inclusive production of hadrons in \(e^+e^-\) annihilation. The LO reaction at parton level is

$$\begin{aligned} e^+(p_a)+e^-(p_b)\rightarrow \gamma ^*(q)\rightarrow q(p_1)+q(p_2), \end{aligned}$$
(1)

where we limit ourselves to consider virtual photon exchange. At NLO the real emission reaction is

$$\begin{aligned} e^+(p_a)+e^-(p_b)\rightarrow \gamma ^*(q)\rightarrow q(p_1)+q(p_2)+g(p_3).\nonumber \\ \end{aligned}$$
(2)

The NLO cross section can be written as

$$\begin{aligned} \sigma _\textrm{NLO}=\int d\sigma ^B+\int d\sigma ^R+\int d\sigma ^V \end{aligned}$$
(3)

where \(d\sigma ^B\), \(d\sigma ^R\) and \(d\sigma ^V\) are the Born, real and virtual contributions, respectively. At NLO a slicing method based on a resolution variable r (that we assume to be suitably normalised to make it dimensionless) can be built up by rewriting Eq. (3) as

$$\begin{aligned} \sigma _\textrm{NLO}= & {} \int d\sigma ^R\theta (r-v)\nonumber \\{} & {} +\left( \int d\sigma ^R\theta (v-r)+\int d\sigma ^V+\int d\sigma ^B\right) . \end{aligned}$$
(4)

In Eq. (4) we have split the real contribution into a contribution above and a contribution below a small cut v, using a generic resolution variable r. The first term in Eq. (4) is finite and can be evaluated in \(d=4\) dimensions, while the second term can be evaluated in the small v limit through suitable approximations of the phase space and of the real matrix element in the IR limits. More precisely, one can start from the evaluation of the collinear contributions, and then proceed to add the soft contribution, after subtraction of the soft-collinear terms (see e.g. Ref. [39]). Eventually the IR poles from the real contribution below the cut cancel out with those in the virtual contribution and we can write

$$\begin{aligned}&\int d\sigma ^R\theta (v-r)+\int d\sigma ^V+\int d\sigma ^B \nonumber \\&\quad =\int d\sigma ^B\left( 1+\frac{\alpha _{\textrm{S}}(\mu _R)}{\pi }\left( A_r \ln ^2v+B_r \ln v\right. \right. \nonumber \\&\qquad \left. \left. +C_r+{{\mathcal {O}}}(v^p)\right) \right) \, . \end{aligned}$$
(5)

The explicit form of the coefficients \(A_r\), \(B_r\) and \(C_r\) depends on the choice of the resolution variable r, and, in general, also on the Born kinematics. The power suppressed terms can be neglected if v is sufficiently small. Their structure depends on the observable and we anticipate that they can be logarithmically enhanced.

In the following we will focus on two resolution variables, the 2-jettiness variable \(\tau _2\) [31] and the \(y_{23}\) resolution variable with the \(k_T\) algorithm [34]. For an event with n final-state partons with momenta \(p_1\), \(p_2 \ldots p_n\) the definition of \(\tau _2\) is

$$\begin{aligned} \tau _2=\sum _{k=1}^n \textrm{min}\left\{ \frac{2p_k\cdot q_1}{Q^2},\frac{2p_k\cdot q_2}{Q^2}\right\} \end{aligned}$$
(6)

and depends on the choice of the jet axes \(q_1\) and \(q_2\). In this paper \(q_1\) and \(q_2\) are defined by using the JADE clustering algorithmFootnote 1 [40, 41]. Alternative definitions [21] directly identify \(\tau _2\) with the thrust variable [35], that we will consider in Sect. 3.5. The variable \(y_{23}\) is instead defined as follows. We introduce the distance measure \(d_{ij}\) for the \(k_T\) algorithm as

$$\begin{aligned} d_{ij}=\frac{2\min \{E_i^2,E_j^2\}(1-\cos \theta _{ij})}{Q^2}, \end{aligned}$$
(7)

where \(E_i\) and \(\theta _{ij}\) are energies and angular separations defined in the \(e^+e^-\) centre-of-mass frame. The pair with the smallest \(d_{ij}\) is clustered and replaced with a pseudo-particle with momentum \(p_i+p_j\) and the procedure is repeated until all remaining \(d_{ij}\) are larger than some value \(y_\textrm{cut}\). The variable \(y_{23}\) is defined as the maximum value of \(y_\textrm{cut}\) for which the event has three jets. In the NLO case in which only three partons are present, we simply have

$$\begin{aligned} y_{23}=\textrm{min}\{d_{12},d_{13},d_{23}\}. \end{aligned}$$
(8)

More generally, we are interested in observables \(r(\{ p_i\}, k)\) whose dependence on the momentum of a single soft emission of momentum k, collinear to one of the hard legs of the Born events, can be parametrised as

$$\begin{aligned} r(\{ p_i\}, k) = \left( \frac{k_t^{(\ell )}}{Q}\right) ^a e^{-b_\ell \eta ^{(\ell )}}, \end{aligned}$$
(9)

where \(\{ p_i\}\) are the Born momenta and \(k_t^{(\ell )}\) and \( \eta ^{(\ell )}(\ge 0)\) denote the transverse momentum and rapidity of k with respect to the leg \(\ell \). It is easy to show that \(\tau _2\) corresponds to the case \(a=1,b=1\), while \(y_{23}\) corresponds to \(a=2,b=0\). In order to have an homogeneous scaling in \(k_{t}^{(\ell )}\), in the following we will use \({\tilde{y}}_{23}\equiv \sqrt{y_{23}}\). By limiting ourselves to NLO we can also consider the variable

$$\begin{aligned} k_T^\textrm{FSR}=\sqrt{\frac{2(p_1\cdot p_3)(p_2\cdot p_3)}{p_1\cdot p_2}} \end{aligned}$$
(10)

which represents the transverse momentum of the parton with momentum \(p_3\) in the frame in which \(p_1\) and \(p_2\) are back to back.

Fig. 1
figure 1

Comparison of power suppressed contributions for \(\tau _2\), \({\tilde{y}}_{23}\) and \(x_T^\textrm{FSR}\)

We have evaluated the NLO coefficients \(A_r\), \(B_r\) and \(C_r\) in Eq. (5) necessary to carry out the NLO calculation of arbitrary 2-jet observables by using Eq. (4) for the resolution variables \(\tau _2\), \({\tilde{y}}_{23}\) and \(x_T^\textrm{FSR}\equiv k_T^\textrm{FSR}/Q\). The corresponding results are reported in Appendix A. We can test the quality of the slicing procedure, or, equivalently, the size of power corrections, by plotting the relative deviation of the NLO correction \(\Delta \sigma _\textrm{NLO}\) from its exact result (see e.g. Ref. [42]) as a function of v. This is shown in Fig. 1.

We see that the smallest power corrections are those of the \(x_T^\textrm{FSR}\) variable, for which the v behavior is consistent with a quadratic dependence. This is somewhat expected, since this variable strongly resembles the transverse momentum of a colourless system in hadronic collisions.Footnote 2 The power corrections for the variable \(\tau _2\) are consistent with a logarithmically-enhanced linear behavior. This could have been expected from the known behaviour of the thrust observable [45], which is equivalent to \(\tau _2\) to leading power.Footnote 3 On the contrary the \({\tilde{y}}_{23}\) variable, which represents an effective transverse momentum in the final-state splitting, features purely linear power corrections. These results are consistent with what observed in Ref. [33] in the more complicated case of hadronic collisions. In the following we will check these results through explicit analytic computations, and we will investigate the origin of the different behavior of power corrections.

3 The calculation

We now focus on the real emission contribution \(d\sigma ^R\). The three-parton phase space is spanned by five independent variables that can be chosen as three Euler angles and two of the three energy fractions

$$\begin{aligned} x_{i}&= \frac{ 2 p_{i} \cdot Q}{Q^2},~~~~~~~~Q=p_a+p_b \end{aligned}$$
(11)

that fulfill the energy conservation constraint \(x_1 + x_2 + x_3 = 2\). The variables that we are going to consider are independent of the angles, and, therefore, we can focus on the variables \(x_1\) and \(x_2\), whose physical region correspond to the triangle delimited by the lines \(x_2=1-x_1\), \(x_1=1\) and \(x_2=1\) in the \((x_1,x_2)\) plane. In terms of these variables the resolved real contribution to the cross section, first term of Eq. (4), can be written as

$$\begin{aligned} {\sigma }_r^R(v)=\int d\sigma ^R\theta (r-v)\equiv \sigma _0 \frac{\alpha _{\textrm{S}}}{2\pi }C_F\, R_r(v), \end{aligned}$$
(12)

where

$$\begin{aligned} R_r(v)=\int _0^1 dx_1 \int _{1-x_1}^1 dx_2f(x_1,x_2)\theta (r(x_1,x_2)-v).\nonumber \\ \end{aligned}$$
(13)

In Eq. (12) \(C_F=(N^2_c-1)/(2N_c)\) (with \(N_c\) the number of colours), \(\sigma _0\) is the LO cross section

$$\begin{aligned} \sigma _0=\frac{4\pi \alpha ^2 N_c\sum _q e_q^2}{Q^2}, \end{aligned}$$
(14)

where the sum is over the quarks q with charge \(e_q\) and \(\alpha \) is the QED coupling. The function

$$\begin{aligned} f(x_1,x_2) = \frac{x_1^2+x_2^2}{(1-x_1)(1-x_2)} \end{aligned}$$
(15)

in Eq. (13) represents, up to an overall normalisation, the matrix element squared for the process in Eq. (2). We recall that the collinear limit \(p_3 \parallel p_1\) corresponds to \(x_2=1\), while the collinear limit \(p_3\parallel p_2\) corresponds to \(x_1=1\). The soft limit \(x_{3}\rightarrow 0\) is reached in the corner \(x_{1,2} \rightarrow 1\).

In the case of three partons relevant at NLO, assuming \(s_{ij}<s_{ik},s_{jk}\) the jettiness \(\tau _2\) variable can be simply written as

$$\begin{aligned} \tau _2=x_k(1-x_k) \end{aligned}$$
(16)

where (ijk) is an arbitrary permutation of (1, 2, 3). We also have

$$\begin{aligned} d_{ij}=\frac{\min \{x_i^2,x_j^2\}}{x_i x_j} (1-x_k) \end{aligned}$$
(17)

and

$$\begin{aligned} x_T^\textrm{FSR}=\sqrt{\frac{(1-x_1)(1-x_2)}{x_1+x_2-1}}. \end{aligned}$$
(18)

It is interesting to study the regions in the \((x_1,x_2)\) plane encompassed by the conditions \(r>v\) for the three variables, which are shown in Fig. 2.

Fig. 2
figure 2

Regions in the \(x_1-x_2\) plane corresponding to the condition \(r>v=1/10\) for the variables \(\tau _{2}\) (left), \({\tilde{y}}_{23}\) (central) and \(x_T^\textrm{FSR}\)(right)

We see that the region \(\tau _2>v\) is a triangle, which cuts away the singular regions \(x_1\sim 1\) and \(x_2\sim 1\) but also a stripe along the line \(x_2=1-x_1\). For the same value of v, the region \({\tilde{y}}_{23}>v\) is larger, and in particular gets closer both to the \(x_{1,2}=1\) singular limits as to the non singular region around \(x_2=1-x_1\). The best coverage of the phase space is obtained with the variable \(x_T^\textrm{FSR}\), which, in particular, fully covers the non singular region around \(x_2=1-x_1\). We can therefore interpret the results in Sect. 2 as follows. When the variable \(x_T^\textrm{FSR}\) becomes small, we are really close to the singular limits of the matrix element, and the condition \(x_T^\textrm{FSR}>v\) really cuts only the truly singular region of the \((x_1,x_2)\) plane. We note that instead, for each values of v, a cut on the variable \({\tilde{y}}_{23}\) leaves out part of a non-singular region along the line \(x_2=1-x_1\), which is one of the sources of the different scaling of the power corrections for \({\tilde{y}}_{23}\). A cut on the variable \(\tau _2\) removes instead a linear stripe along the lines \(x_2=1-x_1\), \(x_1=1\), \(x_2=1\). This can be related to the different dependence on the rapidity of the emission, and, in particular, on the fact that \(\tau _2\sim k_T/Q\,e^{-\eta }\). Therefore, a cut \(\tau _{2}>v\) induces not only a minimum on the transverse momentum of the radiated parton but also a maximum on its rapidity. We will see below that this pictorial analysis, which provides us with a qualitative understanding of the scaling of the power corrections, will be confirmed by our explicit calculation.

3.1 The variable \(x_T^\textrm{FSR}\)

For the variable \(x_T^\textrm{FSR}\) the real contribution \(R_{x_T^\textrm{FSR}}(v)\) can be computed exactly in a straightforward way and reads

$$\begin{aligned} R_{x_T^\textrm{FSR}}(v)= & {} \frac{7}{2}+v^2+(3+4v^2+v^4)\ln \frac{v^2}{1+v^2}\nonumber \\{} & {} -2\textrm{Li}_2\left( -\frac{1}{v^2}\right) . \end{aligned}$$
(19)

In the small-v limit we obtain

$$\begin{aligned} R_{x_T^\textrm{FSR}}(v)= & {} 4\ln ^2 v+6 \ln v+\frac{7}{2}+\frac{\pi ^2}{3}\nonumber \\{} & {} +4\left( 2\ln v-1\right) v^2+{{\mathcal {O}}}(v^4). \end{aligned}$$
(20)

In this limit the function develops the customary double and single logarithmic contributions. We also see that, as expected, the power suppressed contributions are quadratic for this variable, consistently to what we have seen in Fig. 1.

3.2 The variable \(\tau _2\)

We now move to the variable \(\tau _2\). From now on, in order to simplify the calculations, we will exploit the symmetry under the exchange of the quark and antiquark momenta (corresponding to \(x_1\leftrightarrow x_2\)) and consider only the integral in the region \(x_2>x_1\).

Fig. 3
figure 3

As in Fig. 2 with the additional constraint \(x_{2}>x_{1}\) for \(\tau _{2}\) (left) and \({\tilde{y}}_{23}\) (right)

In the \((x_1,x_2)\) plane, the cut \(\tau _2>v\) defines a triangular region as shown in the left panel of Fig. 3. A similar contour is obtained for the case of the thrust event shape [35], and also for the three-jet region defined by the JADE clustering algorithm [40]. We can extend our calculation for this class of observables by considering the following parametrisation of the region

$$\begin{aligned} {{\mathcal {R}}}(v)&= \bigg \{2 u< x_1< \frac{1}{2}(1+u), 1 - x_1 + u< x_2 \nonumber \\&< 1-u \vee \frac{1}{2}(1+u)< x_1, x_1< x_2 < 1 - u \bigg \},\; \end{aligned}$$
(21)

where, for example, \(u(v) = v\) for thrust and \(u(v) = \frac{1}{2}(1-\sqrt{1-4v}) = v + \mathcal {O}(v^{2})\) for \(\tau _{2}\). The real contribution is obtained by integrating the function \(f(x_1,x_2)\) in the above region, namely

$$\begin{aligned} R_r(v)&=2\int _{{{\mathcal {R}}}(v)} \!\!\text{ d }x_1\text{ d }x_2 \, f(x_1,x_2) \nonumber \\&=\frac{5}{2} {-} \frac{\pi ^2}{3} {+} 2\ln ^2\left( \frac{1-u}{u}\right) {+} \left( 6 u-3\right) \ln \left( \frac{1-2u}{u}\right) \nonumber \\&\quad - 6 u- \frac{9 u^2}{2} + 4\text {Li}_2\left( \frac{u}{1-u}\right) . \end{aligned}$$
(22)

We focus here on the case of 2-jettiness variable and postpone the discussion on thrust to Sect. 3.5. For \(r=\tau _{2}\) we have \(u(v) = \frac{1}{2}(1-\sqrt{1-4v})\) and

$$\begin{aligned} R_{\tau _{2}}(v)&= -\frac{11}{4}-\frac{\pi ^2}{3}+2 \ln ^2\left( \frac{2}{1-\sqrt{1-4v}}-1\right) \nonumber \\&\quad -3 \sqrt{1-4 v} \ln \left( \frac{2}{1-\sqrt{1-4v}}-2\right) \nonumber \\ {}&\quad + \frac{9v}{2}+\frac{21}{4} \sqrt{1-4 v} \nonumber \\&\quad + 4 \text {Li}_2\left( -\frac{2 v+\sqrt{1-4 v}-1}{2 v}\right) \nonumber \\&= 2 \ln ^{2}{v} + 3 \ln {v} +\frac{5}{2} -\frac{\pi ^{2}}{3} + v(7+2\ln {v}) \nonumber \\&\quad + v^{2}\left( 5+6\ln {v} \right) + \mathcal {O}(v^{3}). \end{aligned}$$
(23)

We notice that the subleading power correction is linear and is logarithmically-enhanced, consistently to what we have observed in Fig. 1.

3.3 The variable \({\tilde{y}}_{23}\)

A similar analysis can be carried for \({\tilde{y}}_{23}\). The region \({\tilde{y}}_{23}> v\) is given by (see right panel of Fig. 3)

$$\begin{aligned} {{\mathcal {R}}}({\tilde{y}}_{23}; v)= & {} \bigg \{ \frac{v}{2}\sqrt{8+v^{2}} - \frac{v^{2}}{2}< x_1< \frac{1}{2} + \frac{v^{2}}{2}, 1-x_{1} \nonumber \\{} & {} + v^{2}\frac{1-x_{1}}{x_{1}-v^{2}}< x_2< 1 - v^{2}\frac{1-x_{1}}{x_{1}-v^{2}} \nonumber \\{} & {} \vee \; \frac{1}{2} + \frac{v^{2}}{2}< x_1< 1 -\frac{v}{4}\sqrt{8+v^{2}} + \frac{v^{2}}{4}, \nonumber \\{} & {} x_{1} {<} x_2 {<} \frac{3}{2}{-}\frac{x_{1}}{2} {-} \frac{1}{2}\sqrt{1+x_{1}(x_{1}-2+4v^{2})}\bigg \}.\nonumber \\ \end{aligned}$$
(24)

The integral can be computed analytically, but the final result (which corresponds to the LO 3-jet rate with the \(k_T\) algorithm) is less compact than that for \(\tau _2\) and is reported in Appendix B. We find agreement with the result of Ref. [46], provided a typo therein is corrected. By expanding in v, we observe that the power correction is again linear in v, but does not contain any logarithmic enhancement:

$$\begin{aligned} R_{{\tilde{y}}_{23}}(v)= & {} 4\ln ^{2}{v} + 6 \ln {v} +\frac{5}{2}-\frac{\pi ^{2}}{6} \nonumber \\{} & {} + 6\ln {2} + \left( \!4\ln \left( 1 \!+ \! \sqrt{2}\right) \!- 8\sqrt{2}\right) v\nonumber \\{} & {} +\left( 5\! - 18\! \ln 2 - \! 8 \ln v\right) v^2+{{\mathcal {O}}}(v^3). \end{aligned}$$
(25)

The first occurrence of a logarithmically-enhanced term appears at \({{\mathcal {O}}}(v^2)\).

3.4 Comparison between \(\tau _{2}\) and \({\tilde{y}}_{23}\)

Although we could perform the two calculations analytically, thereby obtaining the full tower of power corrections at order \(\alpha _{\textrm{S}}\), this analysis does not shed light on the physical origin of the power corrections nor on the observed difference between the two cases. To gain further insight, we compare the regions \({{\mathcal {R}}}(\tau _{2};v)\) and \({{\mathcal {R}}}({\tilde{y}}_{23};v)\) associated with the two variables for the same value of the parameter v. The situation is illustrated in Fig. 4. We observe that the region \(\mathcal{R}(\tau _{2};v)\) is included in \({{\mathcal {R}}}({\tilde{y}}_{23};v)\) and we focus on the region \({{\mathcal {D}}} = {{\mathcal {R}}}({\tilde{y}}_{23};v)\backslash \mathcal{R}(\tau _{2};v)\). Since the variable \({\tilde{y}}_{23}\) does not feature logarithmically-enhanced power corrections, the integral of the matrix element in the region \({{\mathcal {D}}}\) must give rise to the same logarithmically-enhanced power corrections of \(\tau _{2}\), but with an opposite sign. In order to identify the phase space regions responsible for the presence of logarithmically-enhanced power corrections, we further split the region \({{\mathcal {D}}}\) into two subregions \({{\mathcal {D}}}^{(1)}\) and \({{\mathcal {D}}}^{(2)}\) by connecting the two corners by a straight line, whose equation is simply given by \(1-x_{1}/2-x_{2}=0\), as shown in Fig. 4.

Fig. 4
figure 4

Regions \({{\mathcal {D}}}^{(1,2)}(v)\) (left) and \(\mathcal{D}^{(1,2)}(v,{\bar{v}})\) (right) in the \(x_1-x_2\) plane

We perform the integration over the two regions. The results expanded up to \(\mathcal {O}(v)\) read

$$\begin{aligned}&2 \int _{{{\mathcal {D}}}^{(1)}}d x_{1} d x_{2} f(x_{1},x_{2})\nonumber \\ {}&\quad = 2\ln ^2{v} + 3 \ln {v} + \frac{\pi ^2}{6} + 6\ln 2 \nonumber \\ {}&\qquad + v \left( -7-8 \sqrt{2}+8\ln \left( 1+\sqrt{2}\right) \right) + \mathcal {O}(v^{2}) \; , \end{aligned}$$
(26)

and

$$\begin{aligned}{} & {} 2 \int _{{{\mathcal {D}}}^{(2)}}d x_{1} d x_{2} f(x_{1},x_{2}) \nonumber \\{} & {} \quad = -4 v\ln \left( 1+\sqrt{2}\right) - 2 v \ln v + \mathcal {O}(v^{2}) , \end{aligned}$$
(27)

respectively.

The main result of the above analysis is that the logarithmically enhanced linear power correction comes entirely from the region \({{\mathcal {D}}}^{(2)}\), where, as expected, it appears with opposite sign with respect to the one present for the \(\tau _{2}\) variable.Footnote 4 This region corresponds to physical configurations in which the gluon is hard and recoils against a collinear and/or soft quark–antiquark pair. In fact, we are far from configurations in phase space where the real matrix element develops IR singularities, and so the contribution stemming from the region \({{\mathcal {D}}}^{(2)}\) is a pure power correction. The fact that the logarithmically-enhanced power corrections are entirely due to the non singular region close to the \(x_2 = 1- x_1\) line is non trivial. As we will see in the following when considering the case of thrust and C-parameter, the absence of logarithmically-enhanced power corrections in the \(\mathcal{D}^{(1)}\) region is a peculiar characteristic of \(\tau _{2}\).

Having identified the phase space region responsible for the logarithmically-enhanced power corrections, we would like to confirm that their origin is purely kinematical. To this end, we turn our attention to the matrix element and we consider its approximation in the singular limits. The only singular limit approached in the region \({{\mathcal {D}}}^{(2)}\) is the collinear limit \(x_{2}\rightarrow 1\), where the momentum of the gluon becomes parallel to the one of the quark. We perform, then, the integration over \({{\mathcal {D}}}^{(2)}\) of the matrix element in this limit, which implies replacing the function \(f(x_1,x_2)\) in Eq. (15) with the leading term \(f_\textrm{coll}^{(0)}(x_1,x_2)\) of the collinear expansion of the matrix element

$$\begin{aligned} f (x_{1},x_{2})= & {} \frac{1+x_{1}^{2}}{(1-x_{1})(1-x_{2})} - \frac{2}{1-x_1}+ \mathcal {O}(1-x_2) \nonumber \\\equiv & {} f_\textrm{coll}^{(0)} (x_{1},x_{2}) + f_\textrm{coll}^{(1)} (x_{1},x_{2}) + \mathcal {O}(1-x_2).\nonumber \\ \end{aligned}$$
(28)

The result reads

$$\begin{aligned}{} & {} 2 \int _{{{\mathcal {D}}}^{(2)}}d x_{1} d x_{2} f^{(0)}_\textrm{coll}(x_{1},x_{2}) \nonumber \\{} & {} \quad = v \left( 1 + 2\ln {2} - 4 \ln \left( 1+\sqrt{2}\right) -2 \ln {v} \right) + \mathcal {O}(v^{2}).\nonumber \\ \end{aligned}$$
(29)

We observe that the collinear approximation of the matrix element is sufficient to correctly recover the logarithmically-enhanced linear power correction. Furthermore, we checked that this remains true also by setting \(x_1 = 0\) in the expression of the collinear matrix element \(f^{(0)}_\textrm{coll}\), i.e. by considering the limit in which the quark becomes soft.

The picture that emerges is that this contribution is a consequence of removing a phase space region which is non-singular but extends itself into the collinear limits, because of the cut on \(\tau _{2}\). By contrast, we notice that integrating down to the \({\tilde{y}}_{23}\) contour does not lead to the appearance of a similar logarithmically-enhanced linear power correction. We associate this result to the fact that the phase space volume removed by imposing the cut on \({\tilde{y}}_{23}\) scales quadratically with v whereas it scales linearly for the case of \(\tau _{2}\). In turn, the different profile of the contour is a consequence of the different rapidity dependence of the variable in the collinear limit, i.e. the exponent b in Eq. (9). Before moving forward, we complete the above discussion repeating the same exercise replacing the \(\mathcal{R}({\tilde{y}}_{23},v)\) region with another \(\tau _{2}\) region \(\mathcal{R}(\tau _{2},{\bar{v}})\) with \({\bar{v}} < v\), as shown in the right panel of Fig. 4. Performing the integration over the region \({{\mathcal {D}}}^{(2)}(v,{\bar{v}})\), we obtain

$$\begin{aligned} 2 \int _{{{\mathcal {D}}}^{(2)}(v,{\bar{v}})}d x_{1} d x_{2} f(x_{1},x_{2})= & {} 2{\bar{v}} \ln {{\bar{v}}} - 2 v \ln v \nonumber \\{} & {} + \mathcal {O}(v^{2},{\bar{v}}^{2}), \end{aligned}$$
(30)

which is consistent with our expectation that this region is the one responsible for the logarithmically-enhanced linear power correction. We note that the integral in the region \({{\mathcal {D}}}^{(2)} (v, {\bar{v}})\) does not give rise to linear, non-logarithmically-enhanced power corrections, which are thus entirely contained in the region \({{\mathcal {D}}}^{(1)} (v, {\bar{v}})\).

In conclusion, we have shown that, for the case of \(\tau _2\), the logarithmically-enhanced power correction is a pure phase space effect. The simplicity of this result is observable dependent, as we will discuss in the following section. In fact, one generally expects contributions to the power correction also stemming from the expansion of the real matrix element beyond the leading power. Nonetheless, we anticipate here that in the non-singular region close to the boundary \(x_{2} = 1-x_1\) the collinear approximation of the matrix element is sufficient to capture the logarithmically-enhanced power correction also for the variables considered in the next section.

3.5 Thrust and C-parameter

In this section we will study the cases of thrust [35] and of C-parameter [36,37,38]. We start with thrust T and consider the observable \(1-T\). By using the energy fractions we can write

$$\begin{aligned} 1- T= \min \{1-x_{1},1-x_{2},1-x_{3}\}. \end{aligned}$$
(31)

The exact result for the cumulative cross section is given by Eq. (22) with \(u(v)=v\), which reproduces the known result in the literature [45]. Expanding in v we obtain

$$\begin{aligned} R_{1-T}(v)= & {} 2 \ln ^{2}{v} + 3 \ln {v} +\frac{5}{2} -\frac{\pi ^{2}}{3} + 2v(2-\ln (v))\nonumber \\{} & {} - v^{2}\left( \frac{7}{2}-2\ln {v} \right) + \mathcal {O}(v^{3}). \end{aligned}$$
(32)

Comparing Eq. (32) with Eq. (23) we see that the expansion of \(R_{\tau _2}(v)\) and \(R_{1-T}(v)\) coincides at the leading power \({{\mathcal {O}}}(v^0)\), including the constant term. This is not unexpected, since these variables behave exactly in the same way in the relevant IR limits. However, the subleading power corrections are different, as the two variables start to depart from each other going beyond the soft and collinear approximations. In particular, the subleading power corrections are logarithmically enhanced in both cases but with a different coefficient. We have repeated the analysis of Sect. 3.4 for thrust, studying the contribution to subleading power corrections from the regions \({{\mathcal {D}}}^{(1)}\) and \({{\mathcal {D}}}^{(2)}\). We find that, contrary to what happens for \(\tau _2\), the subleading-power logarithmic term does not originate only from \({{\mathcal {D}}}^{(2)}\) but there is also a contribution from \({{\mathcal {D}}}^{(1)}\). As anticipated, the contribution from \({{\mathcal {D}}}^{(2)}\) can be obtained through a collinear approximation of the matrix element, extended into the non-singular region, and is identical to that of \(\tau _2\). The contribution of \({{\mathcal {D}}}^{(1)}\) can be exactly obtained from a collinear approximation of the matrix element including both the leading and the next-to-leading power contributionsFootnote 5\(f_\textrm{coll}^{(0)}\) and \(f_\textrm{coll}^{(1)}\) in Eq. (28), and, combined with the \({{\mathcal {D}}}^{(2)}\) contribution, leads to the result reported in Eq. (32). Our result and the associated interpretation of the origin of the logarithmically-enhanced subleading power correction for thrust is in perfect correspondence with the analysis performed in Ref. [21] in the SCET framework.

We now move to the case of the C-parameter. For final-state massless particles the C-parameter can be defined as

$$\begin{aligned} C=3-\frac{3}{2}\sum _{i,j}\frac{(p_i\cdot p_j)^2}{(p_i\cdot q)(p_j\cdot q)}. \end{aligned}$$
(33)

The two-jet limit corresponds to \(C\rightarrow 0\) and in this limit the C parameter and thrust are related by

$$\begin{aligned} C=6(1-T). \end{aligned}$$
(34)

This relation holds up to next-to-leading logarithmic accuracy [8]. In the following we will consider the variable \(c=C/6\) which can be written in terms of the energy fractions as

$$\begin{aligned} c=\frac{(1-x_1)(1-x_2)(1-x_3)}{x_1 x_2 x_3}. \end{aligned}$$
(35)

The evaluation of the cumulative cross section \(R_c(v)\) in this case is more complicated and involves elliptic integrals [28, 47]. In the \(v\rightarrow 0\) limit we find

$$\begin{aligned} R_c(v)= & {} 2\ln ^2 v+3\ln v+\frac{5}{2}-\frac{2}{3}\pi ^2\nonumber \\{} & {} +v(7-4\ln v)+{{\mathcal {O}}}(v^2). \end{aligned}$$
(36)

We see that the logarithmic terms are the same as those in Eqs. (32) and (23), but the constant term is different. We also see that the subleading power correction is logarithmically-enhanced,Footnote 6 with a different coefficient with respect to that of \((1-T)\) and \(\tau _2\). By repeating the analysis in the corresponding regions \({{\mathcal {D}}}^{(1)}\) and \({{\mathcal {D}}}^{(2)}\), we observe the same pattern as for thrust. Summarising we have

$$\begin{aligned}{} & {} 2 \int _{{{\mathcal {D}}}^{(2)}(v)}\!d x_{1} d x_{2} f(x_{1},x_{2}) \sim 2 \int _{{{\mathcal {D}}}^{(2)}(v)}\!d x_{1} d x_{2} f^{(0)}_\textrm{coll}(x_{1},x_{2})\nonumber \\{} & {} \sim - 2 v \ln v , \end{aligned}$$
(37)

valid for both thrust and C-parameter and

$$\begin{aligned} 2 \int _{{{\mathcal {D}}}^{(1)}(v)}d x_{1} d x_{2} f(x_{1},x_{2}) \sim {\left\{ \begin{array}{ll} + 4 v \ln v; \quad \text {for } 1-T\\ + 6 v \ln v; \quad \text {for } c\\ \end{array}\right. }. \end{aligned}$$
(38)

In the above formulae, with the symbol \(\sim \) we mean that we are restricting the result to the logarithmically-enhanced subleading power correction. As anticipated, in the region \({{\mathcal {D}}}^{(2)}\) the latter has a common origin and the same coefficient for all three considered variables.

3.6 The variable \(r_b\)

In this section we investigate in more detail the presence of logarithmically-enhanced power corrections for a variable of the kind of Eq. (9) with a generic b exponent [48]. Observables of such kind have been considered in Ref. [18] and were recently studied in order to assess the logarithmic accuracy of Monte Carlo parton showers [49]. The motivation of introducing such family of shower ordering variables is related to their different coverage of the Lund plane [50], which, in combination with an appropriate treatment of the recoil of the emission, may ultimately affect the possibility to achieve next-to-leading logarithmic accuracy or beyond.

Based on the discussion in Sect. 3.4, and, in particular, on our observation that \(\tau _2\) corresponds to the case \(a=1\) and \(b=1\) in Eq. (9), the most natural definition of such general observable for our NLO analysis would be obtained through an appropriate combination of \({\tilde{y}}_{23}\) and \(\tau _2\). However, we have seen that \(\tau _2\) is quite special, since with our definition of the jet axes the logarithmically-enhanced power correction originates only in the region \({{\mathcal {D}}}^{(2)}\). We therefore use \(1-T\) instead of \(\tau _2\). We define the class of observables

$$\begin{aligned} r_b = (1-T)^b \, {\tilde{y}}_{23}^{1-b}, \end{aligned}$$
(39)

that smoothly interpolates between the two limits \(b=0\) (\({\tilde{y}}_{23}\)) and \(b=1\) (\(1-T\)). These observables admit a compact expression as a function of \(x_i\), facilitating our analysis in the \((x_1,x_2)\) plane. We note that these observables are not recursive infrared collinear safe [17] being a combination of two recursive infrared collinear safe observables but with a different b [18]. This, however, is not an issue in our case, since we are looking for an observable that is sufficiently simple to allow for the evaluation of the leading power corrections in analytic form. We have computed the cumulative cross section \(R_{r_b}\) for this observable, including subleading power corrections. We find:

$$\begin{aligned}&R_{r_b}(v)=\frac{2}{1+b}\left( 2\ln ^2 v{+}3\ln v\right) {+}\frac{5}{2}-(1{+}b)\,\frac{\pi ^2}{6} {+}6\,\frac{1-b}{1+b}\,\ln 2{+}\left[ \,\frac{2^{\frac{5+b}{2}}b}{1{+}b} {+}4B_{1/2}\left( -\frac{1+b}{2},0\right) {-}2B_{1/2}\left( \frac{1-b}{2},0\right) \right] v \nonumber \\&\!+\Bigg [4B_{1/2}\left( \frac{b-1}{b+1}, 0\right) - 4B_{1/2}\left( \frac{2 b}{1 + b},0\right) \nonumber \\&+\frac{\Gamma \left( \frac{b-1}{b+1}\right) \left( 4 \left( b^4+3b^3+6b^2+b+1+\frac{b(b^3-7b^2+3b+3)}{b+1} B_{\frac{1}{2}}\left( \frac{b-1}{b+1},\frac{2}{b+1}\right) \right) -4 b^{\frac{2+b}{1+b}} (b+1)^2\right) }{(b+1)^3\, \Gamma \left( \frac{2 b}{b+1}+1\right) }\nonumber \\&+\frac{5 b^2+ 6 b-3}{(1+b)^2}\left( \psi \left( \frac{b}{1+b}\right) -\psi \left( \frac{1+3b}{2(1+b)}\right) \right) \Bigg ]v^{\frac{2}{1+b}} +{{\mathcal {O}}}\left( v^2\right) , \end{aligned}$$
(40)

where the incomplete Beta function is defined as

$$\begin{aligned} B_{z}(a,b) = \int _{0}^{z} dt \, t^{a-1}(1-t)^{b-1}. \end{aligned}$$
(41)

Equation (40) shows that the structure of the power corrections of the generic observable \(r_{b}\) is richer, since it contains an additional tower of non-rational power corrections of the type \(\left( v^{2/(1+b)}\right) ^{k}\). The presence of non-rational power corrections for \(b \in (0,1)\) is consistent with the findings of Ref. [51] in the context of the all-order resummation of angularities in SCET.

We see that the subleading power correction for \(r_b\) does not display explicit logarithmic enhancements, similarly to what happens for \({\tilde{y}}_{23}\). It is easy to check that in the limit \(b\rightarrow 0\) the linear term in Eq. (40) reproduces the linear term for \({\tilde{y}}_{23}\) in Eq. (25). On the other hand, the rather complex analytical structure of \(r_b\) leads to a log-like behaviour for values of \(b \lesssim 1\). In the limit \(b\rightarrow 1\) the coefficient of the linear power correction is divergent, and combined with the \(b\rightarrow 1\) limit of the \({{\mathcal {O}}}(v^{2/(1+b)})\) term, reproduces the subleading power correction for the \(1-T\) variable in Eq. (32).

4 Summary

In this paper we have considered subleading power corrections to event shape variables in \(e^+e^-\) collisions. We have started from the jettiness variable \(\tau _2\) and the \(y_{23}\) resolution variable for the \(k_T\) jet clustering algorithm. We have computed the necessary ingredients to use these variables as slicing variables to evaluate generic \(e^+e^-\rightarrow 2\) jet observables at NLO. Both variables are affected by linear power corrections in the two-jet limit. In the case of jettiness the power correction is logarithmically-enhanced, while for \(y_{23}\) this is not the case. We have also considered a toy variable \(k_T^\textrm{FSR}\), which can be defined at NLO as the transverse momentum of the gluon with respect to the quark–antiquark pair. This variable resembles the transverse momentum of a colourless system in hadron collisions and shows quadratic power corrections.

We have analytically computed the cumulative cross section for these observables, and discussed the origin of the different power corrections. Our main observation is that these variables cover the phase space in different ways, and that the different power corrections can be attributed to how they cut the singular region in the \((x_1,x_2)\) plane. We have also shown that, with our definition, the logarithmically-enhanced power correction for \(\tau _2\) can be obtained through a collinear approximation of the matrix element that is extended to the non-singular region. We have then extended our analysis to thrust and to the C-parameter, presenting the expression of the subleading-power correction. In this case, the logarithmic contribution does not stem only from the collinear approximation extended to the non-singular region, but also from a subleading power collinear expansion of the matrix element.

We finally considered a class of variables \(r_b\) that depend on a continuous parameter giving different weight to central and forward emissions. Similar variables have been considered in recent studies of the logarithmic accuracy of parton showers [49]. We have defined these variables through a smooth interpolation between \(1-T\) and \(y_{23}\). We have shown that these variables have a non-trivial structure of non-rational power corrections, as observed for angularities [51], and we have evaluated the \({{\mathcal {O}}}(v)\) and \(\mathcal{O}\left( v^{(2/(1+b)}\right) \) terms in this expansion. We have shown that no logarithmically-enhanced correction emerges at \({{\mathcal {O}}}(v)\) and at order \({{\mathcal {O}}}(v^{(2/(1+b)})\) for \(b < 1\).

Recent studies of subleading power corrections to event shape variables concentrated on the thrust and jettiness variables and were mostly carried out within Soft Collinear Effective Theory [21,22,23,24,25,26,27]. Our results extend these findings to \(y_{23}\), to the C-parameter and to the new class of variables \(r_b\), offering a different perspective on the structure of power corrections and can also be useful to understand and improve the efficiency of non-local subtraction schemes. The findings of this work suggest a connection between the rapidity dependence of the observable and the scaling of the leading power corrections. Specifically, we found that observables which do not depend on the rapidity of the emission do not feature linear logarithmically-enhanced power corrections at NLO. As a consequence, for such observables, the onset of logarithmically-enhanced linear power corrections, which is expected on general grounds, starts from the next-to-next-to-leading order.