]>NUPHB14538S0550-3213(18)30375-410.1016/j.nuclphysb.2018.12.027The Author(s)High Energy Physics – PhenomenologyFig. 1The Compton scattering graphs (a, b, c) in QCD match onto the soft gluon coupling (d) in the effective theory at tree level. (For interpretation of the colors in the figure(s), the reader is referred to the web version of this article.)Fig. 1Fig. 2Full theory one loop graphs for matching onto the operators with dabcBiaBjb or δabBiaBjb in Eq. (17).Fig. 2Fig. 3Graphs to consider for matching onto operators with 3 Bis. Graph (a) is a QCD graph that exists at leading power with three spatial polarizations, while (b) is a time-ordered product graph in vNRQCD.Fig. 3Fig. 4Scattering of heavy quarks at one loop through a soft time-ordered product diagram with soft gluons or soft quarks in the loop using the Lagrangian in Eq. (17).Fig. 4Fig. 5The zigzag lines denote soft gluons or quarks and curly lines are ultrasoft gluons. The time ordered product of soft fields in (a) is renormalized by ultrasoft loop graphs like those in (b) and (c), with the counterterm operator for Compton scattering off a potential shown in (d).Fig. 5Fig. 6This diagram contributes to the running of spin-independent part of O(v2) vNRQCD potential.Fig. 6Fig. 7Two loop EFT diagram for running of the leading order potential that arises when using the gauge potential as the canonical variable and this absent when quantizing using B.Fig. 7Manifestly soft gauge invariant formulation of vNRQCDIra Z.Rothsteinaizr@andrew.cmu.eduPrashantShrivastavaaprashans@andrew.cmu.eduIain W.Stewartbiains@mit.eduaDepartment of Physics, Carnegie Mellon University, Pittsburgh, PA 15213, USADepartment of PhysicsCarnegie Mellon UniversityPittsburghPA15213USAbCenter for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, MA 02139, USACenter for Theoretical PhysicsMassachusetts Institute of TechnologyCambridgeMA02139USAEditor: Hong-Jian HeAbstractHomogeneous power counting in Non-Relativistic QCD (NRQCD) implies the simultaneous existence of both soft and ultrasoft gluons. In the velocity renormalization group (vNRQCD) formalism we show that operators involving soft fields interacting with heavy potential quarks can be put in a manifestly gauge invariant form by utilizing gluon and quark building blocks which contain Wilson lines, and are analogous to those used in the soft collinear effective theory. This leads to several simplifications, in particular significantly reducing the size of the operator basis, which stream-lines matching and anomalous dimension calculations at subleading order in the velocity expansion. Also, soft ghosts no longer couple via potential like interactions to the heavy quark fields, and hence do not appear until two loops. Furthermore, the color structures that appear at each order in αs in the static potential are only those which should arise according to non-Abelian exponentiation. We also discuss how zero-bin subtractions clarify the role of iε terms in the heavy quark propagator poles carrying soft momenta. Even though the choice of the direction of the soft Wilson lines in our building blocks does not matter, there is still a limited set of consistent choices, and the predicted form of the eikonal poles does influence results at two-loops and beyond.1IntroductionNon Relativistic QCD (NRQCD) is an effective field theory (EFT), proposed in its original form in [1,2], which has been successfully used to describe the dynamics of non-relativistic heavy quark-antiquark bound states. This EFT includes three scales which are the heavy quark mass m, momentum mv and energy mv2. What complicates NRQCD compared to more canonical effective field theories is that two infrared scales, i.e. energy and momentum, are not independent. They are instead related by the free dispersion relation, a fact encoded by carrying out the power expansion in the heavy quark relative velocity, and correspondingly the logarithms of p and E are in general not independent. A systematic way to deal with these coupled scales was proposed in [3], see [4,5] for reviews and [6–11] for earlier foundational work. In this formulation, usually called “vNRQCD”, one carries out the matching in a single stage, and simultaneously sum logs of both the energy and momentum by using what is called the “velocity renormalization group”, as has been carried out in Refs. [12–20]. The framework of pNRQCD provides an alternative formulation of the EFT where the soft and ultrasoft scales are treated independently–for more of the setup, see Refs. [9,21–28].While the present formulation of vNRQCD in [3] is quite useful for summing logs, and yields correct results, the operators involving the interaction of soft gauge fields and heavy quarks are not manifestly soft gauge invariant. This shortcoming of the formalism makes computing the soft contribution to the running of the subleading potentials cumbersome, as can be seen in Refs. [12,13]. Although the final results for these potentials are gauge invariant, this lack of manifest symmetry proliferates the number of integrals that need to be calculated. It should be expected that if we instead formulate the theory in a manifestly gauge invariant way (in both the soft and ultrasoft sectors), then simplifications will follow.In this paper, following ideas put forward in [29] in the context of forward scattering of energetic particles in the soft collinear effective theory [30–33], we formulate NRQCD so as to maintain soft gauge invariance at all stages of the calculation. This is accomplished by including soft Wilson lines in operators that connect soft and potential fields in the action through gauge invariant soft gluon and quark building block fields. We demonstrate the utility of this formalism by showing how it simplifies the calculation of the anomalous dimensions of the heavy quark potential to order O(v2). We also show how our formalism, in conjunction with the vNRQCD zero-bin subtractions [34], clarifies the issue regarding the known importance of the iε prescription in obtaining the proper result for the two-loop Coulomb potential [35,36].2Review of NRQCD with single stage matchingIn vNRQCD we match onto the EFT at m, the mass scale of the heavy quarks. In the low energy theory there are two relevant scales mv (soft) and mv2 (ultrasoft), where v is a scaling parameter that is of order the relative velocity between the heavy particles. The heavy quarks and antiquarks whose dynamics we wish to describe have kinetic energy p0∼mv2 and momenta of p∼mv. At the pμ∼mv scale there are corresponding soft gluon and massless quark fields, Aqμ and φq, and at the pμ∼mv2 scale there are ultrasoft gluon and massless quark fields, Ausμ and φus. We use dimensional regularization with d=4−2ϵ to regulate ultraviolet divergences.At the matching scale m we integrate out all of the hard modes with momenta of order m as well as other offshell modes which include potential gluons with energy p0∼mv2 and 3-momentum p∼mv. As a result of integrating out offshell modes with momenta ∼mv we generate a set of potentials between the heavy quarks, which are given by spatially non-local four fermion operators. In this one-stage approach there is no further matching at the scale mv since the mv2 and mv scales are treated simultaneously.We also choose to integrate out soft heavy quarks with p0∼mv, which avoids simultaneously having both soft and potential heavy quarks in the EFT.11This is not strictly necessary. If we instead keep soft heavy quarks ψs together with the potential heavy quarks ψp, then the structure of the EFT Lagrangian will be somewhat different. There will be interactions between the soft and potential heavy quarks and soft gluons. The purely soft heavy quark Lagrangian will be identical to HQET, except that we must include 0-bin subtractions to avoid double counting with the potential region. The one-stage matching formalism obtained from this construction would be closer to the formalism of pNRQCD. Thus when a soft gluon, with pμ∼mv scatters off a potential heavy quark with pμ∼(mv2,mv→) (relative to its rest mass), the resulting quark is thrown off-shell with p0∼mv. Therefore, Compton scattering graphs between potential heavy quarks and soft gluons are matched onto non-local (at scales shorter than 1/(mv)) operators. These operators essentially act like additional potential interactions between the potential heavy quark and soft gluon and soft light quark modes. We will see that a crucial distinction between NRQCD and the SCET with forward scattering interactions, is that this potential-soft interaction gets corrected beyond tree level in NRQCD, which is not the case for the analogous Glauber exchange operators in SCET [29]. We will in fact see that these higher order corrections to this gluon-quark potential are what leads to the new color structure starting at three loops (i.e. the structure that is not “maximally non-Abelian” ∝CiCAk, where Ci is the tree-level Casmir).To distinguish the scales mv and mv2, in the EFT we split the external 3-momenta (Pfull) of the heavy quark fields into a large label piece (p∼mv) and a small residual momentum (k∼mv2), so that Pfull=p+k. To maintain homogeneous power counting, we use the label formalism developed in [3], where momentum or energy of ∼mv are represented by field labels in momentum space. At tree level the relation between the heavy quark fields in QCD (ψ) and vNRQCD (ψp) is(1)ψ(x)=∑pe−ip⋅xψp(x). An analogous relation holds for the heavy antiquark fields χ(x) and χp(x). The full theory derivative operator is then decomposed as(2)i∂μ→Pμ+i∂μ, where the label operator P [32] only operates on the momentum label space, Piψp(x)=piψp(x). In this way all derivative operators ∂μ acting on fields ψq(x) will scale as v2.The effective vNRQCD Lagrangian can be split into soft, ultrasoft, and potential components,(3)L=Lu+Lp+Ls. The ultrasoft Lagrangian involves only ultrasoft fields(4)Lu=φ¯usiD̸φus−14GuμνGu,μν+…, where Guμν is the ultrasoft field strength and the ellipses are terms that are higher order in v. The covariant derivative here is Dμ=∂μ+iμuϵιϵ/2gu(μu)Auμ, which only contains the ultrasoft gluon field and scales as Dμ∼v2, depends on a coupling at the ultrasoft scale μu=mν2, where ν is the subtraction velocity scale. Here ι=eγE/(4π) appears because the strong coupling is being defined in the MS‾ scheme. The field strength scales as Guμν∼v4. For convenience we will often suppress the renormalization Z factors that relate bare and renormalized quantities.The potential Lagrangian involves both potential heavy quarks and ultrasoft fields and has terms [3,8,12](5)Lp=∑p{ψp†[iD0−(p−iD)22m+p48m3+cFgu2mσ⋅Bu]ψp+(ψ→χ)}−∑p,p′μs2ϵιϵV(p,p′)ψp′†ψpχ−p′†χ−p+Lpu+…, where Lpu contains ultrasoft gluon couplings to potential operators and ultrasoft kinetic corrections to the potentials [13], and the ellipses denote terms of higher order in the v expansion. The potential heavy quark fields scale as ψp∼v3/2 and χp∼v3/2, and Bui=ϵijkGujk∼v4. In terms of the velocity subtraction scale the soft scale is μs=mν, and spin and color indices in V and the fermion fields have been suppressed. Matching perturbatively at m and integrating out the potential gluons generates the terms(6)V(p,p′)=(TA⊗T‾A)[Vc(T)k2+Vk(T)π2m|k|+Vr(T)(p2+p′2)2m2k2+V2(T)m2+Vs(T)m2S2+VΛ(T)m2Λ(p′,p)+Vt(T)m2T(k)+....]+(1⊗1)[Vc(1)k2+Vk(1)π2m|k|+V2(1)m2+Vs(1)m2S2+....], where k=p′−p, TA and T¯A are color generators in the 3 and 3¯ representations respectively, and(7)S=S1+S2,T(k)=S1⋅S2−3k⋅S1k⋅S2k2,Λ(P′,P)=−iS⋅(P′×P)k2. Here S1 and S2 are the quark and anti-quark spin operators respectively. The relation between the bare and renormalized coefficients is given by Vjbare=μs2ϵVjR=VjR(ν)+ counterterms. These Wilson coefficients were calculated to one-loop in Ref. [13] and the analogous potentials for unequal quark and anti-quark masses were computed at one-loop in Ref. [37].The soft Lagrangian consists of pure soft field terms, plus interaction terms involving both soft and potential fields,(8)Ls=∑q,q′{φ¯qiD̸q,q′sφq′−14GsμνGμνs+1ξs(q⋅Aq)2+c¯q(q⋅iDq,q′s)cq′}+Lsint. We will use the notation iDs for the soft covariant derivative in position space. In Eq. (8) the soft covariant derivative is written in momentum space iDq,q′=δq,q′i∂−gs(μs)μsϵιϵ/2δq,q′+pAp, and the gauge fixing has been performed in a general covariant gauge with parameter ξs, and hence includes soft ghosts cq. The soft fields Aqμ, φq, and cq have incoming momentum q, whereas φ¯q and c¯q have outgoing momentum q. Notice that the gauge fixing of the ultrasoft and soft gluon fields can be performed independently. The ultrasoft fields have momentum components which are parametrically smaller than their soft counter-parts and therefore these fields do not directly couple to each other. The heavy (potential) fermions do not transform under soft gauge transformation, as such a transformation has energies of order mv and would throw them off-shell.In the formalism of Ref. [3] the soft-potential interaction terms are contained in(9)Lsint=−gs2μS2ϵιϵ∑p,p′,q,q′,σ{12ψp′†[Aq′μ,Aqν]Uμν(σ)ψp+12ψp′{Aq′μ,Aqν}Wμν(σ)ψp+ψp′†[c¯q′,cq]Y(σ)ψp+(ψp′†TBZμ(σ)ψp)(φ¯q′γμTBφq)}+(ψ→χ,T→T¯). The notation is such that σ denotes a corrections which is down by vσ. The leading contribution to this soft Lagrangian arises from the Compton graphs shown in Fig. 1, plus the analogous diagrams with soft quarks and ghosts. Taking qμ∼mv and pμ∼(mv2,mv), and keeping only the leading order result in v (which is σ=0), the result in Feynman gauge is [3](10)U00(0)=1q0,U0i(0)=(2p−2p′+q)i(p′−p)2,U(0)i0=(p′−p+q)i(p′−p)2,Uij(0)=(−δij)2q0(p′−p)2,Wμν(0)=0,Y(0)=−q0(p′−p)2,Z0(0)=1(p′−p)2,Zi(0)=0. Here the ghost field, cs, is the same one used in Eq. (8). The normalization for the generators in the fundamental representation have been taken to be Tr(TaTb)=12δab. The terms that are higher order in the velocity with σ=1,2 have also been calculated in Refs. [12,38]. The soft-potential interactions are responsible for part of the running of the Wilson coefficients potential, V(p,p′) in Eq. (5), and they are solely responsible for the running of the leading order Coulomb potential operator until 3-loops [3,16,17].Note that in the Abelian case the sum of the two Compton scattering graphs cancel, and hence Wμν(0)=0. This cancellation would not arise if we kept the iε in the offshell soft fermion propagator. Keeping this iε would mean including a contribution where the gluons are immediately forced to be potential and not soft. To see this write the propagator with a principal value and δ-function as(11)1q0+iε=P(1q0)−iπδ(q0). The delta function forces the gluon to have vanishing energy, i.e. it becomes a potential gluon. Thus in order not to double count we should not include this twice. The rigorous procedure which enforces this are the vNRQCD “zero-bin” subtractions formulated in [34], which avoids double counting between soft and potential contributions. This will be discussed further below.We emphasize that the individual results in Eq. (10) for σ=0 and their analogs for σ>0 are gauge dependent. As previously mentioned, there is nothing wrong in working this way, as the S-matrix elements will always be gauge invariant. However, by not keeping manifest soft gauge invariance we lose a useful organizing principle and there is a corresponding loss of simplicity. The main goal of this work is to setup a formalism which will make the coefficients in the Lagrangian Lsint manifestly soft gauge invariant.3Reformulation of the soft NRQCD LagrangianThe gauge non-invariance of the Lagrangian Lsint arises because even though we have used the onshell conditions k2=0 for the external soft gluons and analogs for the heavy fermions, we have not used our complete freedom to exploit the on-shell transversality condition ∂⋅A=0. In this section we will construct soft gauge invariant operators that match the full theory amplitudes on-shell when exploiting the full freedom of the equations of motion. This same organization was used in Ref. [29] in constructing gauge invariant Glauber exchange operators in SCET.First we introduce the soft gluon and soft quark gauge invariant building blocks, which in position space read22Our sign convention for g with iDμ=i∂μ−gAμ is opposite to the one used in the SCET literature, but agrees with the convention used in vNRQCD.(12)Bμ(x)=−1gsSv†(x,−∞)iDsμ(x)Sv(x,−∞),Ξ(x)=Sv†(x,−∞)φ(x), where Sv is a soft Wilson line in the vμ direction, which parallel transports the derivative to time-like −∞. Here v=(1,0→) in the heavy QQ¯ rest frame (we use a roman v to make it clear that this is not the relative velocity scaling parameter v). In particular the fundamental soft Wilson line is(13)Sv(x,−∞)=Pexp(−igs∫−∞0dλv⋅A(λv+x))=1−igs∫−∞0dλA0(λv+x)+…=1−igs∫−∞0dλ∑ke−iλk0−ix⋅kAk0+…=1+gs∑kAk0k0+iεe−ik⋅x+…, and we note that Sv†(x,−∞)=Sv(−∞,x). The equations of motion v⋅DsSv=0 obeyed by the soft Wilson line imply that v⋅B=0. The iε prescription in the denominators is determined by the limits of integration, and kills the contribution from the endpoint at infinity. Note that we used the same Wilson line on both sides of the covariant derivative in the definition of Bμ. This ensures that Bμ(x) is a pure octet. In particular using standard relations between fundamental and octet Wilson lines and Eq. (12) gives(14)Bμ=1v⋅∂svνGνμsbSvbaTa≡BμaTa. This shows that Bμa is a soft field strength attached to an adjoint Wilson line Sv=Sv(x,−∞). The building blocks have scaling Bμ∼v and Ξ(x)∼v3/2. They both start off linear in the soft gluon or quark fields, respectively, for which they are soft gauge invariant extensions. In momentum (label) space using Eq. (13) leads to(15)Bkμ=Akμ−kμAk0k0+gs{[Ak1μ,Ak20k20]−k1μ(k10+k20)[Ak10,Ak20k20]}+…,Ξk=φk−gsAk10k10φk2+…, where here k1+k2=k, and all denominators have ki0=ki0+iε with our convention for the soft Wilson lines. Note that the operators Bμ and χs transform under a global gauge transformation (equivalent to its transformation at −∞), but this transformation will be canceled by other fields in the interaction Lagrangian we will construct below.The convention for the direction of the Wilson lines in Eq. (12), or equivalently the sign of the iε in Eq. (15), should be irrelevant since the pole only matters in the potential region as described in Eq. (11), and hence is not a part of the soft sector of the theory.33Similar reasoning in the EFT of black hole binaries [39] explains apparent IR divergences in the calculation of gravitational potentials at O(v8) [40]. Therefore, the direction of the Wilson line must be irrelevant if we perform the proper potential zero-bin subtraction [29]. To demonstrate this we consider an alternate definition for the soft gluon building block operator(16)(Bμ)alt=−1gSv†(x,∞)iDsμ(x)Sv(x,∞). This definition still leads to an octet Bμ field, but it now gives a field strength attached to an adjoint Wilson line Sv=Sv(x,∞). Unless otherwise specified we will by default work with the definition in Eq. (12).At lowest order in the v power counting we now consider building operators for the interaction Lagrangian Lsint with two potential heavy-quark fields and two soft gluon building blocks Bμ (which is the minimum number allowed that is consistent with soft momentum conservation), ψp′†BqμBq′νψp.44One may wonder why there is no such operator in HQET given that in the one particle sector there should be no distinction between NRQCD and HQET. However, we must keep in mind that these operators will be inserted into time ordered products and thus the relevant dispersion relation for the quarks will always be that of NRQCD. In HQET the Compton scattering is reproduced by a time ordered product whereas in NRQCD we use these higher dimensional, leading order in v, operators with the soft heavy fermion integrated out. This product of fields is O(v5), and according to the power counting theorem of Ref. [3] it must be multiplied by a coefficient C(q,q′,p,p′)∼v−1 to give a leading power contribution. (Although this will make it leading order in v, the interaction also starts at O(αs), and hence is perturbative if μs≫ΛQCD.) Imposing the fact that the leading power coefficient must also be m independent, and can not be more singular than linear or quadratic in a momentum, due to the locality of QCD,55Here we are restricting ourselves to two scattering of point particles. we can eliminate the possibility of contracting the indices μ and ν with momenta, and must therefore have a gμν at leading power. There are three independent ways to construct a color singlet out of 3, 3¯, and two 8s, given by the following tensors ifabcTαβ¯c, dabcTαβ¯c, δabδαβ¯. This gives(17)Lsint=−gs2μS2ϵιϵ∑p,p′,q,q′,σ{i2fabcUij(σ)(ψp′†Tcψp)(Bi,aq′Bqj,b)+12dabcWij(σ)(ψp′Tcψp)(Bq′i,aBqj,b)+12Rij(σ)δab(ψp′†ψp)(Bq′i,aBqj,b)+(ψp′†TBZμ(σ)ψp)(Ξ¯q′γμTBΞq)+(ψp′†Zμ′(σ)ψp)(Ξ¯q′γμΞq)}+(ψ→χ,T→T¯). Here Uij(σ), Wij(σ), Rij(σ), Zμ(σ), and Zμ′(σ) are functions of (p,p′,q) with q′=p′−p−q, and gs=gs(μs) as before. Note that only spatial Bis appear since v⋅B=0. It is convenient to include the factor of 1/2 since the Feynman rule will include terms where the contraction with Bq′ is swapped with those for Bq, inducing a factor of 2. The kinematics are such that all of the O(v) energy has to flow through the soft gluons or quarks in order for the initial and final state heavy quark to remain close to on shell with energy of O(v2).With Eq. (17) we have a manifestly soft and ultrasoft gauge invariant form for the interactions between potential heavy quarks and soft fields. Under a soft gauge transformation Bqi and Ξq are invariant, and ψp and χp do not transform, so the Lagrangian is invariant. Under an ultrasoft gauge transformation ψp and χp have the usual fundamental matter field transformations, and the soft fields Bqi and Ξq also transform like adjoint and fundamental matter fields since only the global color charge is seen by these long wavelength gauge transformations. Therefore the Lagrangian is also ultrasoft gauge invariant.3.1Leading power soft-potential interactionsLet us now match the leading order operator to obtain Uij(0). Its value is fixed so as to reproduce the Compton scattering tree level graphs in Fig. 1. Consider first matching only the spatial polarizations for both gluons, for which the only a contribution stems from the diagram with a 3-gluon vertex. We find(18)Uij(0)(q,q′,p,p′)=−2q0δij(p′−p)2, which agrees with the result for Uij(0) from Eq. (10). Naively it would appear that with this fixed value of the coefficient, we will not match the time-like polarizations. However, gauge invariance implies that on-shell the results for the time-like polarizations must also match. To check this explicitly, we compute the tree level full QCD amplitude involving time-like polarizations from the graphs in Fig. 1, and write it back in the form of soft gluon fields ϵqμATA→AqμATA=Aqμ to obtain(19)Mfull={1q0−2q0(p′−p)2}[Aq0,Aq′0]+2qi(p′−p)2[Aq0,Aq′i]−2q′i(p′−p)2[Aqi,Aq′0], as the structure appearing in ig2ψp′†Mfullψp when expanding the amplitude to leading order in v. To derive this result we have made use of momentum conservation and the equations of motion q0Aq0=q⋅Aq. To obtain the analog of Mfull in the effective theory we simply replace each of Bq and Bq′ in Eq. (18) by the terms with one gluon field from Eq. (15) to obtain the terms involving at least one time-like polarization, again substituting ϵqμATA→Aqμ,(20)MvNRQCD=2(q⋅q′q0(p′−p)2[Aq0,Aq′0]+qi(p′−p)2[Aq0,Aq′i]−q′i(p′−p)2[Aqi,Aq′0]) Using the onshell conditions q2=q′2=0 and momentum conservation implies that q⋅q′=12(p′−p)2−(q0)2, and hence that Eq. (20) matches exactly with Eq. (19) onshell.From tree level matching the remaining leading power coefficients are given by(21)Rij(0)=Wij(0)=0,Z0(0)=1(p′−p)2,Zi(0)=Zμ′(0)=0. Note that since we are matching on-shell we no longer have any analog of the operator in Eq. (9) that involves an interaction of soft ghosts with potential heavy quarks. Eq. (17) alone reproduces the correct gauge invariant anomalous dimension results as discussed further in the next section.While at tree level Wij(0) and Rij(0) vanish, these coefficients will be generated by the matching at one loop. In the full theory we have the three one loop diagrams shown in Fig. 2 which can contribute to the dabc and δab color structures, while there are no one-loop vNRQCD diagrams with these color structures to subtract. These diagrams generate non-zero results Wij(0)=O(αs) and Rij(0)=O(αs). In the language of the threshold expansion [10], these one loop matching results come from the potential region of the full theory loop integrals. In vNRQCD these contributions generate potentials for the soft gluons as in Eq. (17). There will also be one loop corrections to Uij(0) that require the calculation of additional full theory diagrams and the subtraction of vNRQCD one loop diagrams. Interestingly, the time-ordered product of the Wij(0) one-loop vertices yields three loop corrections to the static potential which contribute to the non-trivial dAabcddFabcd color structure [41–44].We may also investigate operators that have more building block fields. For example, we may consider operators with three B's, ψp′†BqiBq′jBq″kψp with all possible color structures. It is straightforward to show that the matching onto these operators vanishes at tree level. To match we can consider full theory graphs which are leading power and have three spatial polarizations for the gluons. Since the attachment to the heavy quark has a time-like polarization in the full theory at leading power, the only such diagram is the one shown in Fig. 3(a). The result for this graph is exactly reproduced on-shell by the vNRQCD graph in Fig. 3(b) with all spatial polarizations for the gluons. Thus the tree level matching onto the three B operator leads to a vanishing Wilson coefficient. Examining operators with more spatial gluons does not change this tree level correspondence between QCD and vNRQCD graphs when we have a single gluon attached to the heavy quark, generalizing the graphs in Fig. 3. This remains true even when there is more than one gluon attached to the heavy quark. Thus all operators of the form ψp′†Bq1i1⋯Bqninψp with n≥3 have vanishing Wilson coefficients at tree level. When matching at higher loop orders the coefficients of these operators may no longer vanish.3.2Power corrections to soft-potential interactionsThe above analysis can be extended to use the gauge invariant soft building blocks to include terms at subleading orders in the v expansion in Eq. (17). The Wilson lines in the Bqμ and Ξq contain all the coupling to the time-like gauge boson polarizations, including terms like U00(σ) and U0i(σ) in Eq. (10). Therefore we may extract the required subleading power matching results from [12,38] by keeping only the results with spatial indices, which to 1/m2 read(22)Uij(1)=icFϵijkσk2m+[2δijqm+δim(2p′−2p−q)j+δjm(p−p′−q)i]×[(p+p′)m+icFϵmkl(p−p′)kσl2m(p−p′)2],Uij(2)=(p+p′)i(p+p′)j4m2q0+cF2(p−p′)⋅qδij4m2q0+icF(p+p′)j[(p−p′)×σ]i4m2q0−icFϵijkqk(p+p′)⋅σ4m2q0+icFϵijkσk(p+p′)⋅q4m2q0+(1−cF2)qi(p−p′+q)j4m2q0+cF2q2δij4m2q0−iδijq0cSiσ⋅(p′×p)2m2(p′−p)2−2q0δij(p′−2p2)24m2(p′−p)4,Wij(1)=δij2m,Z0(1)=0,Zi(1)=−(p+p′)i−icF[(p−p′)×σ]i2m(p′−p)2,Z0(2)=−14m2[cD2−cSiσ⋅(p′×p)(p′−p)2],Zi(2)=0. This provides a much simpler set of matching coefficients than the full list of terms including direct A0 couplings. Here cF(μS), cS(μS), and cD(μS) are Wilson coefficients in HQET Lagrangian whose renormalized low scale values can be found in [7] and whose leading logarithmic RGE equations can be found in [45].4One loop running4.1Running of the leading power potentialTo test some aspects of our gauge invariant formulation of Lsint we consider in this section the soft one-loop diagrams that are responsible for the running of the Coulomb potential. We also discuss the independence of results to the direction chosen for the Wilson lines in Bμ.The one loop diagram shown in Fig. 4 arises from time ordered product of two Uij(0) operators and is responsible for leading log running of the Coulomb potential coefficient Vc(T). Since the soft-fermion loop calculation is identical to that considered in earlier papers (see for example Ref. [3]), we will only consider the contributions from soft gluons. This calculation can be simplified by considering the contraction of the full Bμ field, rather than the soft As fields it contains (where As is still the quantized field). Since B0=0, we only need the time ordered product of two spatial Bi fields. To leading order in g this is given by the gauge invariant result(23)∫d4xeiq⋅x〈0|TBiA(x)BjB(0)|0〉=∫d4k〈0|BqiABkjB|0〉=iδABq2+iε[δij−qiqj(q0+iε)(q0−iε)]+O(g2). Here the labels q and k on the Bs are continuous variables. It is easy to check that this same result is obtained using any general covariant gauge choice with gauge parameter ξs. Here the prescription for the sign of the iε in the static lines q0±iε is fixed by the Wilson line directions in Eq. (12). Both signs appear in Eq. (23) because for one B the momentum q is incoming, while for the other B the momentum q is outgoing. The result in Eq. (23) also does not depend on whether we start with the definition of B in Eq. (12) or the alternate in Eq. (16). We also note that, not unexpectedly, the propagator result on the right-hand-side is equivalent to that for the soft gluon in an A0=0 gauge, up to the issue of how the q0 poles are handled. (In our analysis zero-bin subtractions play a key role in handling these poles.)Using dimensional regularization with d=4−2ϵ for the graph in Fig. 4 we find(24)Fig.4=4gs4μs2ϵιϵCA2k4(TA⊗T‾A)μs2ϵιϵ∫ddq(2π)dTs(q,k), where we have included a symmetry factor of 1/2, and the T¯A is for the antiquark which is in the 3‾ representation. Here k=p′−p is the momentum transfer and the loop integrand is(25)Ts(q,k)=(q0)2[q2+iε][(q+k)2+iε][δij−qiqj(q0+iε)(q0−iε)]×[δij−(q+k)i(q+k)j(q0+iε)(q0−iε)]=(d−2)(q0)2−k2[q2+iε][(q+k)2+iε]+[q42+q2k2+k44][q2+iε][(q+k)2+iε](q0)2(q0+iε)2(q0−iε)2. To go from the first to second line of Eq. (25) we have written all terms in the numerator in terms of either propagator denominators, or q2, (q0)2, or k2, and dropped power law divergent scaleless integrals. The first term in the integrand in Eq. (25) gives a standard integral,(26)I1=μs2ϵιϵ∫ddq(2π)d(d−2)(q0)2−k2[q2+iε][(q+k)2+iε]=ik216π2(56(−1ϵuv−lnμs2k2)−3118). For the second term in the integrand in Eq. (25) we have a pinch singularity from the q0±iε denominators, as can be verified by working out terms in the residue theorem for the q0 contour integral. However this pinch occurs from the potential region q0≈0 where the approximations used to derive the soft Lagrangian are not valid. In the vNRQCD theory the contribution is removed from the soft integrand by a zero-bin subtraction [34] that is intrinsic to the definition of the soft gluon propagators. Defining Ts2(q02,q,k)=[q42+q2k2+k44]/{[q2+iε][(q+k)2+iε]} the second term in the integrand with the potential zero-bin subtraction included gives the integral(27)I2=μs2ϵιϵ∫ddq(2π)d(q0)2(q0+iε)2(q0−iε)2[Ts2(q02,q,k)−Ts2(0,q,k)]=μs2ϵιϵ∫ddq(2π)d(k44+q2k2+q42)[q2+iε][(q+k)2+iε][q0+iε]2=ik216π2(−1ϵuv−lnμs2k2)+O(ϵ). In the first line there is no longer a pole at q0=±iε since the term in square brackets vanishes as (q0)2. Therefore we can set (q0)2/(q0−iε)2=1, after which the Ts2(0,q,k)/(q0+iε)2 term integrates to zero, leaving the result on the second line. (The same result is obtained if we had instead used (q0)2/(q0+iε)2=1.)It is also reasonable to ask whether the I2 integral could depend on the prescription adopted for the Wilson lines in the definition of Bμ in Eq. (12). An alternate definition that still leaves B as an octet field was given in Eq. (16). Using this definition yields the same integrand Ts(q,k) in Eq. (25), where we see that the eikonal propagators come in pairs (q0+iε)(q0−iε) that are even under the interchange iε→−iε. Therefore both definitions give the same result in Eq. (28).Combining the results for I1 and I2 then gives the final result(28)Fig.4=2gs4μs2ϵιϵCAk4(TA⊗T‾A)[I1+I2],=iαs2(μs)k2(TA⊗T‾A)[−11CA3(1ϵuv+lnμs2k2)−31CA9], which is precisely the expected result for both the 1/ϵuv and constant terms from the soft region at this order.Combining Eq. (28) with the contribution from nf soft fermions (which using Ξq is still the same calculation as in Ref. [3]), we get the full beta function of QCD, β0=11CA/3−2nf/3, which runs the Coulomb potential at one-loop,(29)ν∂∂νVc(T)=−2β0αs2(mν)+… Note that we reproduce the correct running with the factor of 11CA/3 despite the absence of ghosts in Eq. (17).66This was also observed for the running of the Glauber potential from soft loops in Ref. [29]. This occurs because the B two point function itself is gauge invariant. Beyond one loop, the ghosts in Eq. (8) will contribute to internal loops, and hence will appear at intermediate steps when determining the O(gs2) correction to Eq. (23). But once all contributions are added up the result for the B two point function will again be gauge invariant. It should also be noted that all of the 1/ϵ poles in Eqs. (26) and (27) are UV in origin as indicated by writing ϵuv. Naively one may have thought there could be IR poles in the integral I2, but these cancel out between the terms in the numerator. In general if there are 1/ϵIR poles in a soft loop graph they are converted to 1/ϵuv divergences by ultrasoft 0-bin subtractions [34] (which field theoretically implements the pull-up mechanism [16]). However there are no ultrasoft zero-bin subtractions in these diagrams. This is natural because the ultrasoft gluons decouple from the potentials at leading order. The easiest way to see this is to note that we can make a field redefinition to decouple ultrasoft gluons at leading power from the D0 term in Eq. (4), which is analogous to the BPS field redefinition [33] in SCET,(30)ψp′(x)=Yv(x)ψp(x),χp′(x)=Y¯v(x)χp(x),Yv(x)=exp(−igu∫−∞0dλv⋅Aus(x+λv)), where Yv is an ultrasoft Wilson line. Since Yv†Yv=1 and Yv†TAYv⊗Y¯v†T¯AY¯v=TA⊗T¯A, the v⋅Aus interactions decouple for both singlet and octet potentials that are independent of ultrasoft momenta.4.2Simplifying the running of the O(v2) potentialNext we look at the running of O(v2) potential in NRQCD at one loop. In vNRQCD the running of these subleading operators was performed in Refs. [12,17,38] in the non-gauge invariant basis given in (9), which involved many more operators due to the need to keep track of the time-like polarizations and their associated Feynman rules. Here we will repeat the calculation of time-ordered products involving Uij(σ)Uij(σ′) and Wij(σ)Wij(σ′) with σ+σ′=2 in order to illustrate the advantages of our gauge invariant operator basis in Eqs. (17) and (22). Once again, the calculation of the graphs with soft quark loops do not differ from those done earlier, and are not repeated.The contribution from the time ordered product with two Uij(1) vertices in Fig. 4 is(31)I11U=iαs2CAm2TA⊗T‾A[15−cF26+cF29S2−5(p2+p′2)k2+5cF218T(k)+16cF3Λ(p′,p)]×(1ϵuv+lnμs2k2)+O(ϵ0), where k=p′−p and O(ϵ0) terms are not displayed. The contribution from graphs with one Uij(2) and one Uij(0) on either vertex is(32)I20U=iαs2CAm2TA⊗T‾A[−43(p2+p′2)k2+24+5cF26+11cS−6cF3Λ(p′,p)]×(1ϵuv+lnμs2k2)+O(ϵ0). Since Wij(0)=0 we only have a contribution from two W(1) insertions which give(33)I11W=iαs2m2[143C1(1⊗1‾)−76Cd(TA⊗T‾A)](1ϵuv+lnμs2k2)+O(ϵ0), where C1=(Nc2−1)/(4Nc) and Cd=Nc−4/Nc. Adding up all the contributions we find the known result [38](34)Itot=iαs22m2(1ϵuv+lnμs2k2){143C1(1⊗1‾)+(TA⊗T‾A)[CA(39+4cF26+cF29S2−193p2+p′2k2+5cF218T(k)+10cF+11cS3Λ(p′,p))−76Cd]}, which contributes a soft-loop contribution to the running of the potential coefficients Vi(0,T) in Eq. (6).Additional contributions to running of the spin independent part of O(v2) potential come from direct ultrasoft renormalization of the potentials in Eq. (6) and from ultrasoft renormalization of soft time ordered products. Since the latter involves the soft sector, we reconsider them here. Ultrasoft modes cannot contribute in the one body sector [38], instead they renormalize the time ordered product of two or more soft vertices with quarks and antiquarks as in Fig. 5(a) through graphs like those in Fig. 5(b) and Fig. 5(c). These products appear local as far as ultrasoft gluons are concerned and it is only these products which affect observables. For a complete discussion of this subject we refer the reader to [17,26]. Here we are only interested in showing that results obtained in [17] follow in our manifestly soft gauge invariant formulation. To setup the ultrasoft renormalization from graphs involving the time ordered product of two σ=0 vertices from Lsint in Eq. (17) we define the operators(35)O2B(0,T)=gs4μs4ϵ(ψ†p′Taψp)(χ−p′†T‾bχ−p)(B−qicBqjd)ΓB,abcd(0,T)ij,O2B(0,1)=gs4μs4ϵ(ψ†p′ψp)(χ−p′†χ−p)(B−qicBqjd)ΓB,cd(0,1)ij,O2Ξ(0,T)=gs4μs4ϵ(ψp′†Taψp)(χ−p′†T‾bχ−p)(Ξ¯−qΓΞ,ab(0,T)Ξq),O2Ξ(0,1)=gs4μs4ϵ(ψp′†ψp)(χ−p′†χ−p)(Ξ¯−qΓΞ(0,1)Ξq), where the Γ's are functions of the momenta, for example ΓB,abcd(0)(T)ij=ΓB,abcd(0)(T)ij(p,p′,q). Note that we do not have an operator in Eq. (35) with soft ghost fields, unlike Ref. [17]. These structures are determined by the form of the time-ordered products in Fig. 5(a), so for example the structure in the first operator is:(36)ΓB,abcd(0,T)ij=−faecfbe′d2[U(0)ii′q,p,p′U−q,−p,−p′(0)jj′(−i)∫d4q′〈0|Bq+ki′eBq′j′e′|0〉]−faedfbe′c2[U−q,p,p′(0)ii′Uq,−p,−p′(0)jj′(−i)∫d4q′〈0|Bq−ki′eBq′j′e′|0〉], where as usual k=p′−p and the time ordered product of B fields is defined in Eq. (23).The Wilson coefficients of the operators in Eq. (35) vanish at tree level, since the analogous contributions are reproduced directly by a soft time ordered product in the EFT, but if we consider an ultrasoft gluon exchange between the fermions (examples are given in Fig. 5(b, c)) then we can generate non-zero Wilson coefficients for these operators by mixing. Here the ultrasoft gluons can attach to any of the heavy fermion lines. These operators do not affect the running of the leading order potential since non-canceling ultrasoft gluon graphs bring at least an extra factor of v2 (for example via the dipole vertex p⋅Au, see Eq. (4)). The operators which get renormalized by ultrasoft loop graphs, like those shown in Fig. 5(b, c), are(37)O2a(2,1)=k2m2(O2B(0,1)+O2Ξ(0,1)),O2b(2,T)=k2m2(O2B(0,T)+O2Ξ(0,T)),O2c(2,T)=(p2+p′2)m2(O2B(0,T)+O2Ξ(0,T)). Once again the results for the diagrams involving soft quark propagators are identical to earlier results at the order of our computation. By expanding the Bμ field in the O2B operators for Fig. 5(d) to leading order in g, we can show that our results match directly with results in [17]. Since ultrasoft modes do not couple to soft modes, an ultrasoft loop will generate the same Wilson coefficient for the operators with Bμ fields as it would if we used Aμ fields instead of Bμ fields. Thus we may extract the renormalized Wilson coefficients for the operators in Eq. (37), which after renormalization group evolution in vNRQCD yields [17]:(38)CO2c2,T(ν)=−4CA3β0ln(w),CO2b2,T(ν)=3CA−Cd−4CF3β0ln(w),CO2a2,1(ν)=4C13β0ln(w), where w=αs(mν2)/αs(mν). These coefficients contribute to the running for O(v2) spin-independent vNRQCD potentials via the diagram shown in Fig. 6, see [17] and [26].5Higher order loop corrections to the QCD potentialIn the full theory the static potential V(R) is often defined by the time like Wilson loop(39)〈0|Pei∮dtA0(t,x→)|0〉=eiV(R)T. In vNRQCD the leading power Coulomb-like potential is obtained from a combination of the Vc(1,T) potential matching coefficients in Eq. (6) and time ordered products involving soft fields. The soft time ordered products also induce the running of the strong coupling in the potential. In the Wilson loop calculation of V(R) using Eq. (39), at three loops one encounters an infra-red divergence known as the ADM singularity [46]. However, this divergence is not part of the potential [23], as it arises from the ultrasoft region of integration and thus must be subtracted. In the vNRQCD formalism this divergence is removed by an ultrasoft zero-bin subtraction to the soft loop computation [34]. The two loop static potential has been calculated in Refs. [35,36], and the three loop soft potential has been calculated in Refs. [41–44].An interesting aspect of the two loop static potential, pointed out in [36], is that the iε's in the propagators of soft heavy quarks must be accounted for to obtain the correct result. In our one loop discussion we remarked that the sign of these iε's only contributes a term where the energy of a soft gluon goes to zero, i.e. a potential exchange that is removed by the zero-bin subtractions. At two loops, the calculation in [36] indicates that this is no longer the case, and we will explore how this relates to our formalism with B operators in this section.In particular, it should be noted that we do not have complete freedom to pick the iε's that appear in Feynman rules associated with Bμ, because the allowed structure of Wilson lines is constrained by requiring that Bμ=BμaTa is purely an octet field, as in Eq. (14), which in turn requires the use of the identity Sv†Sv=1 and, for example, would not be the case if we tried to use Sv†(x,−∞)iDsμ(x)Sv(x,+∞) to define Bμ. This is consistent with the fact that not all iε's from the soft Wilson lines in Bμ lead to iterated potentials. As we will see below, for some of these terms there is no zero-bin subtraction and therefore the soft loop integrals have non-trivial contributions where these iε's are important.Working with the Bμ fields in the EFT introduces some apparent technical complications that we will now show are straightforward to handle. In particular, when using Eq. (39) any integral that is ill defined due a pinch in an energy contour integral, need not be calculated since non-abelian exponentiation [47,48] implies that they are iterations of lower order potentials terms from the matrix element in Eq. (39) that are proportional to Tk≥2, where T is defined in Eq. (39). In contrast, in vNRQCD the pinch singularities in soft loop calculations are removed by potential zero-bin subtractions [34]. Also, the contributions which need not be calculated in the Wilson loop calculation, due to non-abelian exponentiation, do not even appear from the vNRQCD Feynman diagrams generating purely soft loops. However, in our formalism using B's the non-trivial soft loop contributions can themselves come with pinch singularities, unlike results obtained from static potential calculations starting with Eq. (39). Thus in the EFT we must deal with pinched integrals to calculate the potential, and the corresponding zero-bin subtractions.As an example of how to properly perform the zero-bin subtractions, consider the two loop integral which arises from the diagram in Fig. 7. We will neglect the terms in the integrand that do not have the maximal number of time-like k0 propagator factors since this allows us to focus on the most complicated term, which has overlapping subtractions. After expanding out the B fields in terms of soft gluon fields to higher order using Eq. (15), and performing the contractions, the relevant integral is(40)I=igs6μs6ϵι3ϵk4CA26(Te⊗T¯e)∫[ddk1](k12+iε)[ddk2](k22+iε)(k2−k12−k22−k32)2(k32+iε)×[1(−k10)A2(−k30)2A+1(−k20)A2(−k30)A2+1(−k10)A(−k20)A(−k30)A2], where [ddki]=ddki/(2π)d, k=(0,k) is the net momentum exchange between heavy quarks and(41)k3≡−k1−k2+k. We have also defined(42)1(−ki0)A≡ki0(ki0+iε)(−ki0+iε)=−12(1(ki0+iε)−1(−ki0+iε)), which is antisymmetric under ki0→−ki0. Once again we find that this same result is obtained whether we start with Eq. (12) or Eq. (16) as the definition for B. For the terms in the numerator involving the loop momenta, ki2, we can write ki2=(ki0)2−ki2 and cancel either eikonal or relativistic propagators. For simplicity we will only examine the term with the external momentum k4 in the numerator where no propagators are canceled.Let us simplify this term in the integrand by putting it into a form which makes all the pinch singularities manifest. We will use the notation in [36], introducing(43)Si=1ki0+iε,Si‾=1−ki0+iε,Sij⋯=SiSj⋯, and defining(44)k5≡k1−k2.Making the change of variables(45)k1→k2,k2→k1−k2 such that k3→k−k1, and using Eq. (42) we can simplify the first term in the integrand in Eq. (40) as follows:(46)1(−k10)A2(−k30)A2=116(S1−S1¯)2(S2−S2¯)2=116(S1122+S1‾1‾22+S112‾2‾+S1‾1‾2‾2‾−2S11‾22−2S1122‾−2S11‾2‾2‾−2S1‾1‾22‾+4S11‾22‾)=18(S1122+S112‾2‾−4S1122‾+2S11‾22‾). The last equality follows from the symmetry of the integral under v→−v and under {k1→k−k2,k2→k−k1}. The last term in Eq. (46) has a double pinch singularity, and the second to last term has a single pinch singularity, whereas the first two terms have no pinch singularities. All four terms will have zero-bin subtractions, but the zero-bins of the first two terms will vanish upon contour integration. The iε factors in the S1122 and S112‾2‾ are nevertheless important for evaluating these integrals. In contrast, the last two terms in have Eq. (46) have subtractions that must be included, which we can check by examining their power counting in the potential limit.Consider the scaling of the term S11‾22‾ in Eq. (46) which has a double pinch singularity, and call its full integral J˜ prior to including any subtractions. Here J˜∼1/v2 is the scaling of this integral when both loop momenta are soft. The relevant zero-bin limits to consider and resulting scaling for the corresponding zero-bin loop integrals J0(X) are(47)k10∼v2,k20∼v:J0(k1)∼1v3,k10∼v,k20∼v2:J0(k2)∼1v3,k10∼v2,k20∼v2:J0(k1k2)∼1v4. From this we conclude that all three of these zero-bin subtractions must be included, since J0(k1),J0(k2)∼1/v3 scale in the same way as a two loop graph with a potential loop generated by the iteration of one soft loop and one tree level potential, and J0(k1k2)∼1/v4 scales in the same way as a graph with two potential loops generated by the iteration of three tree level potentials. For example, to construct the first integral we take k10∼v2, k20∼v and hence expand the integrand of J˜ with k10≪k20, k1, k2. This gives the zero-bin integral(48)J0(k1)=∫[dk10dd−1k1][dk20dd−1k2](k22+iε)(−k32)[(k20)2−(k1−k2)2+iε]1(k10+iε)1(−k10+iε)1(k20+iε)×1(−k20+iε)∼1v3. Subtracting Eq. (48) from last term of Eq. (46) makes the remaining integral well defined with respect to the k10 integral. In J0(k1) there is still a contribution from the region where the second loop momentum scales into the potential region, k20∼v2, which must be subtracted by a term J0(k1)(k2) that is constructed in an analogous manner but starting with J0(k1). The result for J0(k2) is analogous to Eq. (48), and it has a contribution from k10∼v2 that requires a subtraction J0(k2)(k1). This discussion follows the standard zero-bin approach for multiloop integrals with overlapping subtractions. These terms give the same integral as the third k10∼k20∼v2 subtraction listed in Eq. (47). This integral is(49)J0(k1k2)=J0(k1)(k2)=J0(k2)(k1)=∫[dk10dd−1k1][dk20dd−1k2](−k22)(k32)(k1−k2)21(k10+iε)1(−k10+iε)1(k20+iε)1(−k20+iε). Thus the net effect of including J0(k1)(k2) and J0(k2)(k1) is simply to flip the sign in front of the J0(k1k2) subtraction. For the total integral combining these terms then gives(50)J=J˜−J0(k1)−J0(k2)+J0(k1k2). Altogether this leads to a combined result that has well defined integrals in both k10 and k20. Although here we are discussing graphs that contribute to the CA2(Te⊗T¯e) color structure, the nature of the zero-bin subtractions for the S11‾22‾ contribution is actually identical to the two loop double box graph in the HQET based loop computation of the potential.The S1122‾ term in Eq. (46) is even simpler to handle since it only has a single non-zero zero-bin subtraction for k20∼v2. The analysis for S1122‾ is identical to the two loop graph that is a cross box with an extra gluon rung added. Thus all pinch singularities in Eq. (46) are converted to well defined integrals once the zero-bin subtraction terms are included.Note that the first two terms inside the square bracket in Eq. (40) are equal by the symmetry of the original integral under k1↔k2, so our discussion so far also suffices to cover the second term in this expression.Finally we consider the last term in Eq. (40) as this demonstrates a case where there is no analog of the required potential zero-bin subtractions in the Wilson loop based calculation. First we make the change of variables in Eq. (45), and use the v→−v symmetry to write(51)1(−k10)A(−k20)A(−k30)A2=116(S2−S2‾)(S5−S5‾)(S1‾−S1)2=116(S11+S1‾1‾−2S11‾)(S25+S2‾5‾−S25‾−S2‾5)=18(S11+S1‾1‾−2S11‾)(S25−S25‾)=18(S1125−S1125‾−S112‾5−2S11‾25+2S11‾25‾+S1‾1‾25), where k5 was defined in Eq. (44). In the final expression here the first three terms do not have pinch singularities, and can be directly computed using standard two-loop techniques. In general the iε factors in the eikonal propagators are needed to obtain correct results for these terms. In contrast, the last three terms in Eq. (51) have pinch singularities. This is immediately apparent for the fourth and fifth terms which involve a S11‾. For the sixth term the pinch singularity is revealed after performing one of the energy integrals, for example integrating in k20 yields an answer with a pinch singularity in k10. Since the nature of the zero-bin subtractions for the last three terms in Eq. (51) is quite similar, we will choose as an example to go through the analysis for S1‾1‾25 with only the k4 term kept in the numerator and again pulled outside the integrand. We call the corresponding full integral L˜ prior to including any subtractions.Once again we first enumerate the necessary zero-bin subtractions by considering the scaling of the L˜ integrand and measure in potential limits:(52)k10∼v2,k20∼v:L0(k1)∼1v3,k10∼v,k20∼v2:L0(k2)∼1v2 (no zero-bin),k10∼v,k50∼v2:L0(k5)∼1v2 (no zero-bin),k10∼v2,k20∼v2:L0(k1k2)∼1v4. Note that here because of the presence of a S5 term that we also considered a k50∼v2 potential limit. The non-zero zero-bin integrals are(53)L0(k1)=∫[dk10dd−1k1][dk20dd−1k2](k22+iε)(−k32)[(k20)2−(k1−k2)2+iε]1(−k10+iε)21(k20+iε)1(−k20+iε),L0(k1k2)=∫[dk10dd−1k1][dk20dd−1k2](−k22)(k32)(k1−k2)21(−k10+iε)21(k20+iε)1(k10−k20+iε). Again there is an additional subtraction made on L0(k1) to ensure its k2μ momentum remains soft (or equivalently, that this integral does not double count the result from L0(k1k2)). This term is given by(54)L0(k1)(k2)=∫[dk10dd−1k1][dk20dd−1k2](−k22)(k32)(k1−k2)21(−k10+iε)21(k20+iε)1(−k20+iε).Note that in this case L0(k1)(k2)≠L0(k1k2). The final purely soft result is then obtained by(55)L=L˜−L0(k1)+L0(k1)(k2)−L0(k1k2). To evaluate this result we first note that after combining integrands the combination −L0(k1)+L0(k1)(k2) no longer has a pinch singularity in k20, and has a k10 integral that yields zero. This leaves L=L˜−L0(k1k2). Putting these two integrands over a common denominator gives terms in the numerator involving energies as {(k10)2,(k20)2,k10k20} or with higher powers. These all yield well defined integrals. Thus the zero-bin again removes the pinch singularities, yielding a well defined result for L. The analysis for the S11‾25‾ and S11‾25‾ terms in Eq. (51) is similar, with the subtractions again yielding well defined final results.In the above analysis, only the pinched poles are removed by zero-bin subtractions, while the other ±iε terms in the eikonal propagators are important for obtaining the final results for integrals. These poles can lead to additional π2 terms, which are related to the contribution discussed by [36]. We thus find that the precise path for the Wilson lines used to define B is again not relevant at two-loops (and presumably to all orders). However, this does not imply that the signs of the iε obtained from expanding the soft Wilson lines are not needed to obtain the correct results. Indeed, it is important that B is defined as an octet field. With this constraint satisfied, changing the path of the Wilson lines flips the signs of all eikonal iε's in a correlated manner, and these correlations matter.Finally we note that working in the effective theory can illuminate higher order corrections to the potential. First of all, there are fewer diagrams since there is not a term with a single soft gluon coupling to the potential quarks. The color structure is also clarified since in the EFT only terms which actually contribute to the potential arise in matching. For instance, at two loops the soft contribution of all the integrals proportional to CF3 as well as those proportional to CF2CA must sum to zero if we use the Wilson loop definition of the potential (or using the HQET implementation of the soft sector), whereas in the treatment advocated here no such color structures in soft integrals arise.6Conclusions and outlookWe formulated the interaction terms between potential heavy quarks and soft fields in vNRQCD in a way which is manifestly soft and ultrasoft gauge invariant. This improves upon the construction of Ref. [3] as it greatly reduces the size of the operator basis for this Lagrangian, and leads to simpler calculations for soft loop diagrams at both leading and subleading power. Most importantly perhaps this formulation in terms of the soft gauge invariant building blocks B and Ξ is likely to lead to simplifications for higher order matching and anomalous dimension calculations in the soft sector.Our formalism also helps to elucidate the role of the iε prescription in soft heavy quark propagators. These appear from soft Wilson lines in the formalism used here, and give additional pinch singularities that are then removed by zero-bin subtractions from the potential region of momentum space. Interestingly, the zero-bin subtractions in this analysis do not have a 1-to-1 correspondence with EFT diagrams with potential loop momenta, unlike the typical situation that is encountered for zero-bin subtractions. This is easily seen since the zero-bin subtractions have different color structures than the diagrams obtained by iterating potentials in the examples treated here. Another interesting point arises at two-loops, where the signs of the iε's obtained from the Wilson lines inside the soft building block field B do matter for obtaining the final result for the soft loop integral, but the path chosen for these Wilson lines does not matter as long as it is chosen such that B is a purely octet field. This constraint rules out some possible combinations of Wilson line paths that would have still led to a gauge invariant defintion of B. Given the analogy between the use of our B for vNRQCD, and the use of the soft and collinear building block fields for Glauber operators in SCET [29], it seems quite likely that a similar conclusion will apply there as well.An interesting possibility raised by the formalism developed here is to consider quantizing the soft Bμ and Ξ fields themselves rather than the soft gauge field and soft quark field. An analogous method of quantization fields that involve collinear Wilson lines was considered for SCET in Ref. [49], but has not yet found wide use there.77For the same reasons discussed here, it may however prove to be useful for calculations involving Glauber exchange, since these operators are formulated directly in terms of the building block fields [29]. If we consider this approach in vNRQCD, then it leads to even simpler Feynman diagrams since Eq. (17) now yields four point vertex Feynman rules, but no higher point vertices. With soft fields quantized in this manner, the two point function for B is given by Eq. (23) dropping terms at and beyond O(g2) since the B fields are now fundamental. Furthermore, the three and four point interactions for Bs are identical to those for the triple and quadruple gluon vertices in QCD [49]. We find that considering this approach in vNRQCD is like working in a v⋅As=0 gauge for the soft gluon fields, utilizing zero-bin subtractions to handle the extra singularities in the gauge propagator that otherwise make this gauge complicated (see e.g. [50]), while systematically avoiding power counting violating corrections that are present for HQET in this gauge [51].88Effectively, our approach implies that we do not use this gauge for calculations that would involve potential gluons since they were integrated out, but only use it for the soft gluons. It would therefore be interesting to further explore the direct use of a quantized B and Ξ for carrying out soft NRQCD calculations.Another interesting idea for further exploration is using the field redefinition in Eq. (30) to obtain a simpler set of ultrasoft couplings to potential heavy quarks. Just like in SCET this will lead to the appearance of ultrasoft gauge invariant gluon building block fields through the identity Yv†iDusμYv=i∂usμ−gBusμ, where v⋅Bus=0. Here Bus is defined in the same manner as Eq. (12) but with the Sv Wilson lines replaced by the Yv Wilson lines.AcknowledgementsWe thank Andre Hoang and Aneesh Manohar for helpful comments on the draft. This work was supported in part by the U.S. Department of Energy (DOE) grants DE-FG02-04ER41338 and FG02-06ER41449 and by the Office of Nuclear Physics under DE-SC0011090. I.S. was also supported by the Simons Foundation through the Investigator grant 327942.References[1]W.E.CaswellG.P.LepageEffective Lagrangians for bound state problems in qed, qcd, and other field theoriesPhys. Lett. B1671986437[2]G.T.BodwinE.BraatenG.P.LepageRigorous qcd analysis of inclusive annihilation and production of heavy quarkoniumPhys. Rev. D51199511251171arXiv:hep-ph/9407339[3]M.E.LukeA.V.ManoharI.Z.RothsteinRenormalization group scaling in nonrelativistic qcdPhys. Rev. D612000074025arXiv:hep-ph/9910209http://arXiv.org/abs/hep-ph/9910209[4]I.Z.RothsteinTASI lectures on effective field theoriesarXiv:hep-ph/03082662003[5]A.H.HoangHeavy quarkonium dynamicsarXiv:hep-ph/0204299https://doi.org/10.1142/9789812777270_0002[6]M.E.LukeA.V.ManoharBound states and power counting in effective field theoriesPhys. Rev. D55199741294140arXiv:hep-ph/9610534[7]A.V.ManoharThe hqet/nrqcd Lagrangian to order alpha/m**3Phys. Rev. D561997230237arXiv:hep-ph/9701294[8]B.GrinsteinI.Z.RothsteinEffective field theory and matching in non-relativistic gauge theoriesPhys. Rev. D5719987882arXiv:hep-ph/9703298http://arXiv.org/abs/hep-ph/9703298[9]A.PinedaJ.SotoEffective field theory for ultrasoft momenta in NRQCD and NRQEDNucl. Phys. Proc. Suppl.641998428432arXiv:hep-ph/9707481https://doi.org/10.1016/S0920-5632(97)01102-X[10]M.BenekeV.A.SmirnovAsymptotic expansion of Feynman integrals near thresholdNucl. Phys. B5221998321344arXiv:hep-ph/9711391https://doi.org/10.1016/S0550-3213(98)00138-2[11]H.W.GriesshammerThreshold expansion and dimensionally regularised nrqcdPhys. Rev. D581998094027arXiv:hep-ph/9712467[12]A.V.ManoharI.W.StewartRenormalization group analysis of the QCD quark potential to order v**2Phys. Rev. D62200001403310.1103/PhysRevD.62.014033arXiv:hep-ph/9912226[13]A.V.ManoharI.W.StewartRunning of the heavy quark production current and 1 / v potential in QCDPhys. Rev. D63200105400410.1103/PhysRevD.63.054004arXiv:hep-ph/0003107[14]A.V.ManoharI.W.StewartLogarithms of alpha in qed bound states from the renormalization groupPhys. Rev. Lett.85200022482251arXiv:hep-ph/0004018[15]A.V.ManoharJ.SotoI.W.StewartThe renormalization group for correlated scales: one-stage versus two-stage runningPhys. Lett. B4862000400405arXiv:hep-ph/0006096[16]A.H.HoangA.V.ManoharI.W.StewartThe running coulomb potential and lamb shift in qcdPhys. Rev. D642001014033arXiv:hep-ph/0102257http://arXiv.org/abs/hep-ph/0102257[17]A.H.HoangI.W.StewartUltrasoft renormalization in non-relativistic qcd. ((v)) ((w))Phys. Rev. D672003114020arXiv:hep-ph/0209340http://arXiv.org/abs/hep-ph/0209340[18]A.H.HoangThree-loop anomalous dimension of the heavy quark pair production current in non-relativistic qcdPhys. Rev. D692004034009arXiv:hep-ph/0307376[19]A.H.HoangM.StahlhofenTwo-loop ultrasoft running of the O(v**2) QCD quark potentialsPhys. Rev. D75200705402510.1103/PhysRevD.75.054025arXiv:hep-ph/0611292[20]A.H.HoangM.StahlhofenUltrasoft NLL running of the nonrelativistic O(v) QCD quark potentialJ. High Energy Phys.06201108810.1007/JHEP06(2011)088arXiv:1102.0269[21]A.PinedaJ.SotoPotential NRQED: the positronium casePhys. Rev. D59199901600510.1103/PhysRevD.59.016005arXiv:hep-ph/9805424[22]N.BrambillaA.PinedaJ.SotoA.VairoPotential nrqcd: an effective theory for heavy quarkoniumNucl. Phys. B5662000275arXiv:hep-ph/9907240[23]N.BrambillaA.PinedaJ.SotoA.VairoThe infrared behavior of the static potential in perturbative QCDPhys. Rev. D601999091502arXiv:hep-ph/9903355[24]A.PinedaJ.SotoThe renormalization group improvement of the qcd static potentialsPhys. Lett. B4952000323328arXiv:hep-ph/0007197[25]A.PinedaNext-to-leading-log renormalization-group running in heavy- quarkonium creation and annihilationPhys. Rev. D662002054022arXiv:hep-ph/0110216[26]A.PinedaRenormalization group improvement of the nrqcd Lagrangian and heavy quarkonium spectrumPhys. Rev. D652002074007arXiv:hep-ph/0109117[27]N.BrambillaA.PinedaJ.SotoA.VairoEffective field theories for heavy quarkoniumRev. Mod. Phys.772005142310.1103/RevModPhys.77.1423arXiv:hep-ph/0410047[28]A.PinedaNext-to-leading ultrasoft running of the heavy quarkonium potentials and spectrum: spin-independent casePhys. Rev. D84201101401210.1103/PhysRevD.84.014012arXiv:1101.3269[29]I.Z.RothsteinI.W.StewartAn effective field theory for forward scattering and factorization violationJ. High Energy Phys.08201602510.1007/JHEP08(2016)025arXiv:1601.04695[30]C.W.BauerS.FlemingM.E.LukeSumming Sudakov logarithms in b –> x/s gamma in effective field theoryPhys. Rev. D632001014006arXiv:hep-ph/0005275[31]C.W.BauerS.FlemingD.PirjolI.W.StewartAn effective field theory for collinear and soft gluons: heavy to light decaysPhys. Rev. D632001114020arXiv:hep-ph/0011336[32]C.W.BauerI.W.StewartInvariant operators in collinear effective theoryPhys. Lett. B5162001134142arXiv:hep-ph/0107001[33]C.W.BauerD.PirjolI.W.StewartSoft-collinear factorization in effective field theoryPhys. Rev. D652002054022arXiv:hep-ph/0109045[34]A.V.ManoharI.W.StewartThe zero-bin and mode factorization in quantum field theoryPhys. Rev. D76200707400210.1103/PhysRevD.76.074002arXiv:hep-ph/0605001[35]M.PeterThe static quark - anti-quark potential in QCD to three loopsPhys. Rev. Lett.78199760260510.1103/PhysRevLett.78.602arXiv:hep-ph/9610209[36]Y.SchroderThe static potential in QCD to two loopsPhys. Lett. B4471999321326arXiv:hep-ph/9812205https://doi.org/10.1016/S0370-2693(99)00010-6[37]C.PesetA.PinedaM.StahlhofenPotential NRQCD for unequal masses and the Bc spectrum at N3LOJ. High Energy Phys.052016017arXiv:1511.08210[38]A.V.ManoharI.W.StewartThe QCD heavy quark potential to order v**2: one loop matching conditionsPhys. Rev. D62200007401510.1103/PhysRevD.62.074015arXiv:hep-ph/0003032[39]W.D.GoldbergerI.Z.RothsteinAn effective field theory of gravity for extended objectsPhys. Rev. D73200610402910.1103/PhysRevD.73.104029arXiv:hep-th/0409156[40]R.A.PortoI.Z.RothsteinOn the apparent ambiguities in the post-Newtonian expansion for binary systemsarXiv:1703.06433[41]A.V.SmirnovV.A.SmirnovM.SteinhauserFermionic contributions to the three-loop static potentialarXiv:0809.1927v1http://arxiv.org/abs/0809.1927v1[42]A.V.SmirnovV.A.SmirnovM.SteinhauserThree-loop static potentialarXiv:0911.4742v2http://arxiv.org/abs/0911.4742v2[43]C.AnzaiY.KiyoY.SuminoStatic QCD potential at three-loop orderPhys. Rev. Lett.1042010112003arXiv:0911.4335[44]A.V.SmirnovV.A.SmirnovM.SteinhauserThe static quark potential to three loops in perturbation theoryarXiv:1006.5513v1http://arxiv.org/abs/1006.5513v1[45]C.W.BauerA.V.ManoharRenormalization group scaling of the 1/m**2 HQET LagrangianPhys. Rev. D57199833734310.1103/PhysRevD.57.337arXiv:hep-ph/9708306http://arXiv.org/abs/hep-ph/9708306[46]T.AppelquistM.DineI.J.MuzinichThe static limit of quantum chromodynamicsPhys. Rev. D1719782074[47]J.G.M.GatheralExponentiation of eikonal cross-sections in nonabelian gauge theoriesPhys. Lett. B133198390[48]J.FrenkelJ.C.TaylorNonabelian eikonal exponentiationNucl. Phys. B2461984231[49]C.W.BauerO.CataG.OvanesyanOn different ways to quantize soft-collinear effective theoryarXiv:0809.1099[50]G.LeibbrandtIntroduction to noncovariant gaugesRev. Mod. Phys.5919871067[51]A.V.ManoharM.B.WiseHeavy quark physicsCamb. Monogr. Part. Phys. Nucl. Phys. Cosmol.1020001191