Renormalization of dijet operators at order 1/Q2 in soft-collinear effective theory

We make progress towards resummation of power-suppressed logarithms in dijet event shapes such as thrust, which have the potential to improve high-precision fits for the value of the strong coupling constant. Using a newly developed formalism for Soft-Collinear Effective Theory (SCET), we identify and compute the anomalous dimensions of all the operators that contribute to event shapes at order 1/Q2. These anomalous dimensions are necessary to resum power-suppressed logarithms in dijet event shape distributions, although an additional matching step and running of observable-dependent soft functions will be necessary to complete the resummation. In contrast to standard SCET, the new formalism does not make reference to modes or λ-scaling. Since the formalism does not distinguish between collinear and ultrasoft degrees of freedom at the matching scale, fewer subleading operators are required when compared to recent similar work. We demonstrate how the overlap subtraction prescription extends to these subleading operators.


Introduction
Event shapes such as thrust, broadening, and the C-parameter are strong probes of the predictive power of perturbative quantum chromodynamics. Thrust [1][2][3] and the Cparameter [4] have been used to precisely determine α s from e + e − collision data with the help of Soft-Collinear Effective Theory (SCET) [5][6][7][8] . The value of α s determined by these event shape measurements deviates from the world average [9], and a better understanding of QCD power corrections could help understand this discrepancy.
For a concrete example, we consider the event shape thrust. Thrust is defined as wheret is the unit vector that maximizes the weighted sum over all final state momenta X. The value of τ ranges between 1/2 for spherically symmetric distribution of momenta in the final state to 0 for exactly collinear back-to-back jets. A corresponding observable for thrust is the cumulative thrust distribution for e + e − → jets. Normalizing to the Born cross-section σ 0 this cumulative distribution R(τ ) is given by whereτ (X) is the function that computes eq. (1.1) for each final state X. The dependence on the leptonic current has been absorbed in L µν i , and the current J µ i = e −iq·x f,cψ c f Γ µ i ψ c f is either the vector (Γ µ V = γ µ ) or axial (Γ µ A = γ µ γ 5 ) QCD quark current. In the limit τ 1 -1 -

JHEP05(2018)023
the cumulative thrust distribution can be computed in a perturbative expansion in both α s and τ , and takes the value [10] R(τ ) = 1 + α s C F 2π (−2 log 2 τ − 3 log τ + 2ζ 2 − 1) + α s C F 2π τ (2 log τ − 4) + O(α 2 s , τ 2 ). (1.3) For sufficiently small values of τ , the quantity α s log τ becomes large and the validity of the asymptotic expansion in fixed-order perturbation theory breaks down. Effective field theories and renormalization group techniques can been used to resum infinite subsets of these logarithmic terms, which improves the validity of the approximation. Summing the infinite subset of Sudakov (double) logarithms, starting with the term proportional to α s ln 2 τ , is called the leading logarithm (LL) approximation, with NLL describing the summation of the terms starting with α s ln τ , and so on. SCET has enjoyed a great deal of success in summing these logarithmic terms up to N 3 LL in the thrust distribution [1,11,12].
However, the terms suppressed by powers of τ still limit the theoretical uncertainty in the regime where τ is small but still large enough that perturbation theory is valid, i.e. Qτ Λ QCD (also known as the "tail" region of the distribution). Power corrections have been included in thrust calculations using direct and effective field theory methods [1-3, 13, 14], however these have been at fixed-order in perturbation theory, which computes only the leading terms in the infinite subset.
In this paper we make progress towards the goal of summing the whole series of leading logarithms suppressed by τ in the cumulative thrust distribution by computing the anomalous dimensions of all the necessary scattering operators in SCET that contribute to the O(α s τ ) cumulative distribution. We use a new formalism for SCET developed in [15]. The remaining ingredient required to complete the summation is to match onto and renormalize the subleading soft functions. The soft functions in this formalism will correspond exactly to the soft functions discussed in standard SCET for event shapes, which encode the effect of low energy radiation on the event shape. They are therefore observable-dependent, in contrast to the operators we consider in this paper, which apply to any event shape for e + e − → dijets. A detailed analysis of soft function matching and renormalization in this formalism is currently a work in progress and so we will not discuss it further here. 1

Formalism review
The formalism for SCET developed in [15] expanded on the work of [17], in which SCET was constructed as an effective field theory of decoupled copies of QCD interacting with each other via Wilson lines. This idea was further explicated in [18,19] to study factorization in QCD. In [15], the formalism was modified to remove the ultrasoft sector from dijet operators in the effective theory below the matching scale, while modifying the standard "zero-bin" prescription to make the theory consistent. In this section we briefly review the notation and formalism used in this framework for SCET and demonstrate the matching calculation onto the subleading operators.

Notation
Throughout this paper we will use the usual lightcone coordinates: where n µ = (1, n),n µ = (1, −n) and n ·n = 2; we will also use the shorthand p µ = (p + , p − , p ⊥ ). In standard SCET specific "λ-scaling" is assigned to each light-cone component depending on which sector the particle is in. In contrast, in this formalism there is no need to compare the relative scaling of collinear modes to soft, ultrasoft, or other modes, and so defining a λ-counting for different components of momenta will not be necessary. When matching onto the effective theory we will consider the limits of QCD in which p + or p − are much less than the matching scale Q, considering all such perturbations to be of the same order. The power counting of subleading operators in this formalism is then determined entirely by their dimension, as will be made evident below. In the dijet limit, thrust scales like the hemispherical mass-squared τ ∼ M 2 H /Q 2 [20], so to calculate the cumulative thrust distribution up to O(τ ) it is necessary to determine the subleading operators up to a suppression of 1/Q 2 .
We define the following gauge-invariant operator building-blocks which we will use to construct subleading operators, using notation familiar from existing SCET literature: where P n i = / n i / n i /4, and n i are the directions of each jet. For dijets, we always work in a reference frame where n 1 = n and n 2 =n, such thatn 1 = n 2 andn 2 = n 1 . The Wilson lines are defined in the usual way, where P denotes antipath ordering and is the Feynman pole prescription. The only distinction between these objects and their equivalents in standard SCET literature is that in the present formalism, fields are regular QCD fields with quantum numbers labeling their corresponding sector. While the operators in the effective theory depend on the choice of a direction n, they are in fact invariant under boosts along that direction; i.e. the form of the operators does not depend on which reference frame one uses to define n µ = (1, 0, 0, 1), provided n points along the same axis. Thus, following [15], we define new vectors η andη, 2 where q µ = (Q/α, Qα, 0) is the momentum transfer of the process, and in the case of e + e − → X it is the momentum of the virtual electroweak boson. The parameter α defines JHEP05(2018)023 the relative boost from the frame in which n µ = (1, 0, 0, 1). The four-vectors η andη have been defined so that p · η and p ·η don't depend on α for any p, and are therefore useful for making this boost symmetry of the effective theory manifest.
For brevity, we define some shorthand notation to denote the displacement of fields from the interaction vertex in position space, which will be necessary for renormalization: Here t is dimensionless parameter that displaces the fields from the vertex at x along the n i direction.
Following the lead of [21][22][23] we will also find it useful to build subleading operators using a set of building blocks that project out states with definite helicity. We find that this both simplifies the structure of subleading operators but also allows us to take advantage of the compact form of matrix elements of massless QCD between states with definite helicity.
Using the standard basis for transverse polarization vectors, we define the following combinations of quark-antiquark fields, where χ n i ± (x) = P ± χ n i = (1±γ 5 ) 2 χ n i (x) (these correspond to helicity projections for massless quarks). Here and in the following equation, superscripts i and j are fundamental color indices. We will occasionally drop the second and third arguments denoting the shifts when they are not necessary, i.e. J ij nn± (x) ≡ J ij nn± (x, 0, 0). We also define helicity projections of the gluon fields: where h i ∈ ± are helicity labels, and µ i are Lorentz indices.
We would like to finish this section by noting that the power counting of an operator in this formalism is determined entirely by the total mass dimension of its constituent fields. By way of example, each field χ n i (x, t) contributes 3/2 to the mass dimension of any operator in which it appears, while each insertion of a covariant or partial derivative contributes 1 to the mass dimension. In this paper the leading order operator has a mass dimension of 3, so an operator with a mass dimension of 3 + n is said to be suppressed by n powers of 1/Q relative to the leading order operator.

Matching
We match the QCD current onto a series of subleading operators organized in an expansion in inverse powers of Q, the energy of the hard interaction: where, as above, q µ is the momentum transfer of the process. The leading order operator in eq. (2.9) is the usual leading order dijet operator. Using the building blocks defined in the previous section, it takes the form which has matching coefficient [24,25] In this section we demonstrate tree-level matching from QCD onto SCET currents up to order 1/Q 2 . In [15], details of the matching calculation for O were presented using this formalism in the context of deep inelastic scattering. The details of the matching procedure for dijets are very similar, but for completeness we will include them here.
Following [15], we take advantage of the simplified form of matrix elements in massless QCD when the helicities of the external states are specified. It is especially useful to use the spinor-helicity formalism for these calculations, and we follow all of the conventions that can be found in the appendix of [15]. We first match onto a general quark-antiquark final state, denoting where the quark (p 1 ) and anti-quark (p 2 ) are forced to have opposite helicities by angular momentum conservation. The exact result in the full theory is then given by We expand this to leading order in the limit where the quark is collinear to the n direction while the antiquark is collinear in the opposite direction, −n. According to the definitions in the previous section, this limit corresponds to the limit p 1 ·η Q 1 and p 2 ·η Q 1. Using M (i) to refer to the i th order term in this expansion, we have (2.14)

JHEP05(2018)023
As expected, this is reproduced by the leading order operator O (0) 2 defined in eq. (2.10). At next to leading order in this limit, we find where the subscripts on the derivatives ∂ i indicate that the derivative only acts on fields in the i-sector; for example, As was noted in [15], the O  2 by a small rotation of n, and therefore reparameterization invariance implies that the matching coefficient and anomalous dimension of this operator will be the same as the leading order operator to all orders in α s .
There are additional subleading operators at this order that only appear with at least one gluon in the final state, and thus we must expand the QCD matrix elements with threebody final states. However, we can take advantage of the fact that matrix elements of the operator O does not contribute, which also serves to simplify the matching procedure.
The relevant diagrams in QCD for a three-body final state are shown in figure 1. For three external particles, there are three ways to combine them into back-to-back sectors. The quark and antiquark can be in different sectors, in which case the gluon can be aligned with either one. Due to the CP symmetry of QCD, these two limits are equivalent, and it will be sufficient to consider the gluon being aligned with the quark. The remaining possibility is that the gluon can be in a sector by itself with the quark and antiquark recoiling together. For brevity, we will refer to these limits by listing the sector of each particle in a superscript, so the first possibility above is the q nqn g n limit, which is equivalent to the q nqn gn limit, and the remaining case is the q nqn gn limit.
We first consider the q nqn g n limit in which case we arrange the gluon-quark system to have zero perpendicular momentum. Denoting where we note that angular momentum conservation ensures the quark and antiquark have opposite helicity, while the helicity of the gluon is independent. We find that the exact result in massless QCD for the diagrams in figure 1 is The leading-order terms of eq. (2.19) in the q nqn g n limit are already reproduced by the three-body matrix elements of the leading order operator O 2 . Expanding to next-toleading order in this limit we have and we find that this is reproduced by the operator (t, µ) = δ(t)+O(α s ). Note that we've included the shift parameter t to displace some fields from the interaction vertex. Despite the fact that matching at tree-level sets t = 0, a general t will be necessary in order to renormalize this operator, as discussed in the following section. Now we can match at next-to-next-to-leading order in the q nqn g n limit onto operators suppressed by factors of 1/Q 2 . Care must be taken in this limit when performing a matching calculation, since momentum conservation relates the three small parameters, i.e. p 1 ·η, p 2 ·η, and k · η are not independent. The leading order operator O (0) 2 has matrix elements that can be expanded in p 1 ·η and k ·η, and the higher-order terms must be included consistently to match at 1/Q 2 (such ambiguities do not appear at 1/Q). Expanding eq. (2.19) in the q nqn g n limit to second order and subtracting the corresponding matrix elements of all lower-order effective operators, what is left over at leading order is g ± q ∓ = 0 .

(2.22)
These terms are reproduced in the effective theory by introducing the operators

JHEP05(2018)023
There will also be operators at this order in the q nqn g n limit formed by acting total perpendicular derivatives on lower order operators, in analogy with the relationship between O (1⊥) 2 and O (0) 2 . As in that case, the operators with total perpendicular derivatives can always be absorbed into their lower-order counterparts by slight rotation of n and must therefore share the same anomalous dimension as their lower-order counterparts. In this paper we choose to focus only on the operators with new anomalous dimensions and so it will be sufficient to match onto states with zero total perpendicular momentum.
The q nqn gn limit is completely analogous to the q nqn g n limit and so we won't repeat the details. One can match onto the equivalent operators with n-collinear gluon fields replaced byn-collinear gluon fields and they will have the same matching coefficient and anomalous dimension as the q nqn g n limit operators.
The q nqn gn limit, where the gluon is in a sector by itself with the quark and antiquark in the other sector, requires different types of operators. The exact result in QCD, now considering a configuration where the quark and antiquark have zero total perpendicular momentum, is (2.24) Expanding eq. (2.24) to leading order in the q nqn gn limit we find which is reproduced by the operator There is no need to continue the expansion in the q nqn gn limit to higher orders, because operators with this configuration of external states can only interfere with other operators of the same configuration in the calculation of an event shape. Since the operators in eq. (2.26) are the leading-order operators in this limit and are already suppressed by 1/Q in eq.(2.9), they are sufficient to consider contributions to the observable at order 1/Q 2 .
This completes the matching procedure required to calculate the fixed order cumulative thrust distribution to O(α s τ ) in e + e − scattering. Once finished, our 1-loop resummation

JHEP05(2018)023
program is expected to capture the entire leading-logarithmic behaviour of the cumulative thrust distribution. Pushing the scope of this work to O(α 2 s τ ) would require additional tree-level matching with a four-body final state, though we expect that any contributions resulting from these new operators will be at a lower logarithmic order. Further extending the theory to allow for hadronic initial states would require new gluon-only operators, as shown in [21][22][23], though it should be noted that the formalism is those references is different than the one used here.

Renormalization of subleading operators
The anomalous dimension of the leading order operator O , and these will be the main results of this paper. In this section, we first review the definition of the overlap subtraction procedure that is used to properly define loop integrals in this formalism, and then we will discuss the definitions and the results of the anomalous dimensions for all the operators we matched onto in the previous sections.

Overlap subtraction
In order to properly define loop integrals in standard SCET, one must introduce the zerobin subtraction prescription [28] or the equivalent, and include both collinear and ultrasoft degrees of freedom in the loops. Formally, the zero-bin removes the overlap of each collinear sector with the ultrasoft sector so as to not double-count degrees of freedom.
In this formalism ultrasoft degrees of freedom are not included separately from collinear degrees of freedom in the effective theory, so the subtraction prescription must be modified in order to correctly remove the double-counting, as discussed in [15]. Formally, rather than subtract the overlap of each collinear sector with the ultrasoft sector, one subtracts the overlap between the two collinear sectors. For the calculations we perform here there is little distinction between the two procedures since in each case the zero-bin, overlap, and ultrasoft amplitudes are equal.
We note that for the operators discussed in this paper the overlap subtraction amounts to dividing by the vacuum expectation value of light-like Wilson lines: perturbation theory to NLO, it includes a diagram corresponding to the one-loop amplitude of the denominator convoluted with the tree-level amplitude of the numerator, along with a minus sign; this formula thus implements the desired subtraction. Using eq. (3.1) to define the procedure for calculating the one-loop matrix elements of the SCET operator O (i) (x), we proceed to compute their ultraviolet counterterms and determine their anomalous dimensions.

Organization of the calculation
To regulate the ultraviolet divergences we use the MS dimensional regularization scheme in D = 4 − 2 dimensions, and to regulate the infrared divergences we use a gluon mass. This choice for an infrared regulator provides relatively simple expressions for each loop diagram, with the tradeoff that individual diagrams may contain unregulated divergences [29]. Despite this drawback, the sum of all diagrams, including the overlap subtraction, is welldefined provided that the integrands are combined before integrating. Since we are computing diagrams with an external gauge boson, we use the background field method [30] to make the counterterms gauge-invariant.
We find it most convenient to compute matrix elements in terms of the position-space variable t and then Fourier transform to a momentum space variable u before extracting the counterterms and computing the anomalous dimensions. Formally, the Fourier transformed operators are defined by and matching coefficients Operators of the same (j)-label but different value of u mix under renormalization, so that counterterms of O (j) 2 (x, u) are non-diagonal in u. We write the relation between bare and renormalized operators as and we find that operators of different (j)-label do not mix under renormalization. As usual, we note that the bare operators cannot depend on the MS scale µ, so taking the logarithmic derivative of both sides of eq. (3.5) and defining the inverse counterterm via the relation we find the renormalization group equation that governs the running of O Figure 2. The Feynman diagrams for any operator with the q nqn g n configuration. The Feynman rules for the effective vertex are determined by the structure of each operator. Diagram (g) is the overlap amplitude, and must be subtracted.
where the anomalous dimension is 2 (u) must flow in the opposite manner from its corresponding operator, and in the transposed form Writing the counterterm as a series in α s , the anomalous dimension is then given by:

Results
We first reproduce the results from [27], in which the anomalous dimensions of the operators O the diagrams are shown in figure 3; the counterterm is determined by adding diagrams (a) − (d), subtracting the overlap (e), and including the wavefunction graphs. After collecting all the terms and computing the anomalous dimensions according to the notation defined above we find the following results. Note that u corresponds to the fraction of the light-cone momentum q ·n carried by the particle that was displaced from the vertex in position space; thus, it should be understood that the anomalous dimensions below vanish unless u ∈ (0, 1). For JHEP05(2018)023 brevity we denoteū = 1 − u andv = 1 − v.
We define the symmetric plus-distribution as which satisfies

JHEP05(2018)023
Note that we have included fewer operators than in [27], since those authors used a formalism in which ultrasoft degrees of freedom were included in the effective theory below the hard scale. Since we are using a formalism where ultrasoft degrees of freedom are not distinguished from the collinear degrees of freedom below the hard scale, some of the operators defined in that paper have no equivalents in this formalism. We also note that there are some minor errors in the coefficients of the logarithms in the diagonal terms for the equivalent results in [27]; we have confirmed that the above results, using the definition of the plus distribution (3.14), are correct. We now come to the main result of this paper, in which we present the results for the anomalous dimensions of the O operators, which have been computed for the first time here. The relevant diagrams are also given by figure 2, as the structure of the graphs will be the same for any operator in which the quark and antiquark are in different sectors. Of course, the Feynman rules to produce a gluon from the vertex is different for each operator. Computing the divergent parts of the graphs, subtracting the overlap graph, and including the wavefunction contributions, we find the anomalous dimensions: We have used plus-distribution identities to ensure the anomalous dimensions have the form where W (v) is the diagonal part of the anomalous dimension, f (u, v) is analytic in u and v, and S(u, v) is symmetric in u and v. This property could be important to some readers, since it has previously been exploited to solve the renormalization group equation for the heavy-to-light equivalent of O (1a) 2 in terms of Jacobi polynomials [31]. Extending these methods to the operators O is outside the scope of this work.

JHEP05(2018)023 4 Conclusion
We have computed the anomalous dimensions of all operators required to compute subleading corrections to event shapes such as thrust in SCET. We have used a new formalism for SCET that does not make reference to momentum modes or λ-scaling, and have demonstrated how to match onto a series of higher-dimension operators suppressed by inverse powers of the matching scale Q. These anomalous dimensions will be necessary to resum series of subleading logarithms in event shapes, such as those suppressed by powers of τ in the cumulative thrust distribution, as well as a variety of other event shapes and dijet observables. To complete this program of resummation, an additional matching step onto observable-dependent soft functions will be necessary, and we leave this for future work.