arxiv:hep-ph/ v1 18 Nov 2002

Transcription

1 A Complete Bass for Power Suppressed Collear-Ultrasoft Operators Da Prjol ad Ia W. Stewart Departmet of Physcs ad Astroomy, The Johs Hopks Uversty, INT-PUB--49 arxv:hep-ph/5 v 8 Nov Baltmore, MD 8 Λ Isttute for Nuclear Theory, Uversty of Washgto, Seattle, WA 9895 y Abstract We costruct operators that descrbe power correctos mxed collear-ultrasoft processes QCD. We treat the ultrasoft-collear Lagraga to O( ), ad heavy-to-lght currets volvg collear quarks to O() cludg ew three body currets. A complete gauge varat bass s derved whch has a full reducto Drac structures ad s vald for matchg at ay order ff s. The full set of reparameterzato varace (RPI) costrats are cluded, ad are foud to restrct the umber of parameters appearg Wlso coeffcets ad rule out some classes of operators. The QCD ultrasoft-collear Lagraga has two O( ) operators ts gauge varat form. For the O() heavy-to-lght currets there are (4; 4; 4; 4; ) subleadg (scalar, pseudo-scalar, vector, axal-vector, tesor) currets, where (; ; 4; 4; 7) have coeffcets that are ot determed by RPI. I a frame where v? = ad v = the total umber of currets reduces to (; ; 8; 8; 3), but the umber of udetermed coeffcets s the same. Λ Electroc address: dprjol@pha.jhu.edu y Electroc address: a@phys.washgto.edu

2 I. INTRODUCTION The soft-collear effectve theory (SCET) costructed [,, 3, 4] offers a systematc descrpto of processes volvg eergetc partcles. It has a expaso a small parameter ο p? =Q, where p? satypcal trasverse mometa ad Q the large eergy scale. Hard exclusve ad clusve processes QCD are usually descrbed usg the powerful techques of QCD factorzato ad lght-coe expasos [5, 6]. SCET ecompasses ad exteds these frameworks, ad partcular allows a model depedet descrpto of effects caused by the terplay betwee eergetc collear partcles ad soft partcles beyod leadg order the power expaso. These effects ca be descrbed a rgorous way based solely o QCD, but are ot cluded purely collear expasos. The study of operators that descrbe these mxed collear-ultrasoft (collear-usoft) effects s the purpose of ths paper. For recet applcatos of SCET hard scatterg processes ad B-decays see Refs. [7, 8, 9,,,, 3, 4]. Sce our focus s o mxed collear-usoft teractos, we cosder collear quark felds ο ;p, collear gluo felds A μ ;p, usoft heavy quark felds h v, usoft lght quark felds q us, ad usoft gluos A μ us. (We follow the otato Refs. [, 3], but for smplcty wll ofte suppress the mometum label p o the collear felds.) These degrees of freedom ca teract a local maer Lagragas ad currets. Ths s cotrast wth collear-soft couplgs whose teractos are medated by offshell flucutatos [4], ad appear exteral operators. We commet o collear-soft teractos at the ed of the paper. The dervato of the leadg order collear quark ad gluo Lagragas L () οο ad L() cg ca be foud Ref. [, 4], ad a descrpto of the gauge symmetres of SCET ca be foud Refs. [3, 4]. For detals o power coutg we refer to Ref. []. The heavy-to-lght currets at large eergy, J hl,were derved to leadg order Ref. [], cludg oe-loop matchg for all the Wlso coeffcets. The rug of these Wlso coeffcets was cosdered Refs. [, ]. I the cotext of the SCET, power suppressed correctos were frst cosdered Ref. [], ad the O() suppressed currets J hl ad collear quark Lagragas were derved. The authors showed that a reparameterzato varace (RPI) uquely fxes the Wlso coeffcets of ther subleadg currets ad Lagraga terms of the leadg order coeffcets. I Ref. [] the RPI of SCET was exteded to the most geeral three classes (I,,I), ad the multpole expaso of the collear quark Lagraga was treated to hgher orders ad were show ot to receve aomalous dmesos. I Ref. [] the presece of addtoal O() heavy-to-lght currets was poted out that were mssg Ref. []. The study of power correctos SCET was cotued Ref. [3] ad several mportat results were obtaed for mxed usoft-collear operators. I partcular the mxed usoftcollear quark Lagraga L was frst cosdered ad was derved to O(; )workg at tree level, but to all orders attachemets of μ A ο gluo felds. I a smlar fasho heavy-to-lght currets were derved to O( ), ad lear combatos of currets that are A smlar applcato of Loretz varace was used to derve costrats o the form of hgher-twst cotrbutos to structure fuctos deep elastc scatterg [5]. For ths case, varace uder chages the lght-coe vector μ μ was used to derve costrats o matrx elemets hpjt μ ψ()ψ(μ μ )jp.

3 varat uder the three types of RPI were detfed. It was also show that the operators L are ot reormalzed based o a aalyss of arbtrary N-loop dagrams the hard rego of QCD. The purpose of the preset paper s to aswer some ope questos regardg our kowledge of the power suppressed usoft-collear Lagraga ad heavy-to-lght currets. Ths cludes the umber of J hl currets at O(), sce eve at tree level the full reducto of Drac structures has ot yet bee mplemeted. For both J hl ad L we also costruct a complete bass whch svald for matchg at ay order ff s, ad therefore cludes all operators that ca be duced by radatve correctos or operator mxg. We work the most geeral possble frame throughout (eg. allowg v? 6=,v 6= ), ad cosder all the restrctos from RPI cludg the trasformato of Wlso coeffcets. Fally,we clude the mxed usoft-collear pure glue Lagraga beyod LO (whch follows from a exteso of work Refs. [4, ]). The above results are obtaed by cosderg the full mplcatos of RPI, ad cludg all possble operators allowed from collear gauge varace, power coutg, ad the reducto of Drac structures from the effectve theory felds. For the heavy-to-lght currets at O() a mportat result we fd s a ew type of three-body" currets, whch have ot bee prevously cosdered the lterature. 3 I Refs. [,, 3] the atteto was restrcted to SCET operators of two-body type J = ( ο:::w)(h μ v ), where the two products parathess are collear gauge varat, ad the ellpses deote combatos of collear dervatves. Beyod tree level but at the same order, we fd that three-body structures ca appear for some of the currets, havg the form J =( ο:::w)(w μ y :::W)(h v ) wth three collear gauge varat factors. We show the RPI ca be used to determe for whch currets ths happes. We also show that RPI greatly restrcts the form of the three-body operators, so that they always volve a collear gluo feld stregth. The two-body operators have hard Wlso coeffcets whch are fuctos of a sgle parameter C(! ), whle the ew three-body operators have two parameter coeffcets C(! ;! ). Aalogous three-body structures could appear the usoft-collear Lagraga L at hgher orders perturbato theory, however usg costrats from symmetres of SCET we prove that ths does ot occur. Our results are relevat to the study of decay chaels for B mesos whch volve eergetc hadros the fal state. For stace, the results derved ths paper are ecessary gredets the factorzato formulae for heavy-to-lght form factors prove Ref. [4] (for earler work o factorzato heavy-to-lght form factors see Ref. [7, 8], ad for results from QCD sum rules see Refs. [9]). The factorzato theorem s vald to all Note that dervg the complete bass for J hl we restrct ourselves to O() whch s oe order less tha the order to whch the tree-level matchg results are kow from Ref. [3]. We treat L to O( ), ad gve a detaled accout ofhow the mafestly gauge varat form Ref. [4] was derved by extedg the results Ref. [3]. I cases where our results are restrcted to those Refs. [, 3] we fd agreemet, as dscussed more detal the body of the paper. The results derved here are suffcet for the proof of a factorzato theorem for heavy-to-lght form factors to all orders ff s ad leadg order =Q [4]. 3 I the fal stages of ths paper, Ref. [6] appeared where soft-collear lght-to-lght currets are cosdered. Although dfferet from the usoft-collear heavy-to-lght case studed here, we ote that 3-body currets were also foud. Further remarks are left to a ote added at the ed. 3

4 orders ff s ad leadg order =Q, Q = fm B ;Eg, ad separates cotrbutos from the scales p ο Q, p ο QΛ, ad p ο Λ, where Λ s a hadroc scale. It states that a geerc form factor ca be splt to two types of cotrbutos F = f F (Q)+f NF (Q) where [4] f F (Q) = f Bf M dz Q f NF (Q) = C k (Q; μ) M k dx dr + T (z; Q; μ ) () J(z; x; r + ;Q;μ ;μ)ff M (x; μ)ff + B (r +;μ) ; (Q; μ) ; () ad the two terms both scale as =Q 3=. Ths scalg s agreemet wth that derved from QCD Sum Rules []. I Eq. () ff M ad ff + B are stadard operturbatve lght-coe dstrbuto ampltudes, c.f. [8, ]. The hard coeffcets C k ad T ca be calculated a expaso ff s (Q) ad are smply related to the Wlso coeffcets of the O( ; ) curret operators J hl. The jet fucto J s domated by mometa p ' QΛ. If we wsh to expad ff s ( p QΛ) the usg the techques developed Ref. [4], J s calculable terms of tme-ordered products of thescet I operators J hl ad L that we study here. At tree-level [e. O(ff s ( p QΛ) ff s (Q) )] oe fds that J cotas a ff(z x), ad ratos of form factors the results for f F the agree wth terms computed Ref. [8]. The z depedece frst shows up at O(ff s). The factorzato formulae provdes a clea separato of the soft" o-factorzable (NF) cotrbutos ad hard" factorzable (F) terms. It also gves us a procedure to systematcally mprove the predctos to ay order perurbato theory at leadg order =Q. Note that the value of both T, C k, ad J deped o whch heavyto-lght process we cosder, whereas both ff M ad ff + B are uversal fuctos. The k's are also uversal sce oly a M (E) appears for decays to pseudoscalars, ad a? M (E) ad k M(E) appear for decays to vector mesos. Thus, the f NF terms satsfy the so-called heavyto-lght form factor relatos [4], as expected from the pror loose deftos of these terms as soft" cotrbutos [, ]. 4 Note that we have ot bothered to separate p ο QΛ ad p ο Λ fluctuatos the k M fuctos, sce t s ot clear that there s ay beeft to ths separato pheomelogcally. The factorzato theorem does tell us that k M ο (Λ=Q) 3=, however t does ot dstgush betwee factors of m b ad E ths Q 3=. It also does ot umercally favor the f F or f NF term, for stace t s possble that the leadg ff s ( p QΛ) J s compesated by a aalagous factor k M. We start Secto by revewg the geeral costrats mposed o SCET operators followg from collear gauge varace, sp structure reducto, ad reparameterzato varace. I Secto I we study the mplcatos of these predctos for the subleadg usoft-collear Lagraga L uc. I Secto IV we preset detaled results for SCET currets. Usg the example of the scalar curret as the pedagogcal example, we demostrate the costructo of the complete bass of O() operators cotrbutg to the weak currets, whch closes uder RPI trasformatos. Explct results are the also derved for the pseudo-scalar, vector, axal-vector, ad tesor heavy-to-lght currets to O(). I Secto 4 These relatos were frst derved Ref. [] usg LEET [3]. However for studyg eergetc hadros wth QCD the LEET framework s kow to be cosstet [, 4], for stace t does ot bd a eergetc quark-atquark par to a meso heavy-to-lght decays [5]. 4

5 Vwe summarze the oe-loop matchg results for the currets, gve explct results for L Feyma rules, ad dscuss the bass of currets the partcular frame v? =, v =.. OPERATOR CONSTRAINTS IN SCET I ths secto we brefly revew the symmetres ad structure of SCET whch wll be mportat for our costructo of operators. We refer to Refs. [,, 3, 4,, ] for more detals. SCET cludes frared degrees of freedom correspodg to the relevatlow eergy scales the problem. These are typcally those wth mometum that are collear p μ c ο Q( ; ;), soft p μ s ο Q(; ; ), or ultrasoft (usoft) pμ us ο Q( ; ; ), where the compoets here are a lght-coe bass (+; ;?). Each type of mode has effectve theory quark ad gluo felds, whch are the orgazed to operators wth a well-defed power coutg. It s coveet totroduce lght-coe ut vectors ( μ ; μ μ ) satsfyg =μ =, μ =, terms of whch avector has compoets p μ =( p; μ p; p μ?). The couplgs of the felds are descrbed by a effectve Lagraga, whle the couplgs to exteral sources appear as addtoal operators or currets. Both the Lagraga ad currets are costructed such that they clude costrats from power coutg, sp symmetres, ad collear ad (u)soft gauge varace. The soft-collear effectve theory also cotas a kematcal reparameterzato varace symmetry. Loretz varace s broke by troducg the vectors ad μ, but s restored order by order, by requrg varace of operators uder a smultaeous chage ad/or μ ad compesatg chages the effectve theory felds. Ths reparameterzato varace (RPI) symmetry of SCET was frst cosdered Ref. [], ad was the exteded to the most geeral three classes (I,,I) of allowed trasformatos Ref. []. 5 The three types are defed by the ftesmal chage they duce o the lght-coe ut vectors: type-i (! +?), type- (μ! μ + "? ), ad type-i (! ( + ff); μ! ( ff)μ). Here ff ο "? ο, whle? ο. It s the aalog of the reparameterzato varace of heavy quark effectve theory (HQET) uder chages the heavy quark velocty v [7], where v =. We wll use HQET for heavy quark felds [8]. The restrctos we cosder for fdg the most geeral set of power suppressed gauge varat operators are: ) Power coutg ad gauge varace whch determe what basc buldg blocks are allowed at the order we are cosderg. ) What auxllary vectors are avalable (such as, μ, v, :::), whch ca be used to costruct the most geeral set of allowed scalars/tesors/drac structures. 5 The ature of Loretz symmetres o the lght-coe are well kow [6]. The ew pot SCET [, ] s that for ay collear process these symmetres are realzed a way that leads to o-trval restrctos both o operators at a gve order the power coutg ad betwee operators at dfferet orders the power coutg. 5

6 ) Ellmate operators whch are redudat by tegrato by parts, or equatos of moto. v) Impose type-i reparameterzato varace. If a o-trval varat ca be formed wth the label operators, suchas( v μ P), the clude Wlso coeffcets that depeds o these quattes. v) Impose all costrats from type-i ad type- reparameterzato varace. To mpose the fve costrats we start by wrtg mmal sets of depedet operators compatble wth the geeral prcples ), ), ad ). We the requre RPI varace order by order the power coutg. To do ths we foud t useful to splt the RPI trasformatos to two categores, those that act wth the order we are cosderg ff ( ) j, wth j =I,,I, ad those whch coect operators to oe hgher order ff () j. At leadg order the type- ad type-i ff ( ) j trasformatos already provde o-trval costrats o the allowed form of operators. I cotrast the ff () j trasformatos allow us to derve relatos vald to all orders ff s betwee the Wlso coeffcets of operators at dfferet orders, These relatos are smlar to the case of RPI HQET [7, 9], where we ote partcular the mportat relatos derved for coeffcets of subleadg heavy-to-heavy currets Ref. [3]. We start by summarzg restrctos that follow from collear gauge varace ad power coutg secto A, sp structure reductos secto B, ad RPI secto C. To separate the mometum scales we follow Ref. [] ad use collear quark felds ο ;p (x) (ad gluo felds A μ ;p (x)) whch have mometum labels p for the large compoets of the collear mometa, ad resdual coordates x μ ο = []. Thus, all dervatves o collear felds are the same sze as dervatves o usoft μ ο. Ths setup mplemets the multpole expaso mometum space. Note that our aalyss of power correctos dffers from Ref. [3] two ways, the frst beg that Ref. [3] the mometum scales were separated by performg the multpole expaso posto space, whch however leads to a equvalet formulato. We do fd that cosse results for the power suppressed correctos are obtaed wth the mometum space verso. Secodly, we derve our bass of operators ad mplemet all symmetry costrats workg order by order the power coutg, rather tha costructg varats ad the expadg. Ths made t smpler to derve a complete gauge varat bass at the desred order whle workg a geeral frame. A. Power Coutg ad Gauge Ivarace The SCET s derved from QCD by tegratg out fluctuatos wth p fl Q, where typcal processes =(Λ QCD =Q) k wth k =ork ==. Ifrared fluctuatos are the descrbed by effectve theory felds. A gauge varat power coutg for felds ca be fxed by demadg that the ketc terms the acto are order. For the collear felds ths gves ο ο for the quarks, ad ( A ; μ A ;A?μ ) ο ( ; ;) for the collear gluos, h v ο q ο 3 for usoft quarks, ad A μ us ο for usoft gluos [, ]. Dervatves o 6

7 these felds cout μ ο. The larger collear mometa are pcked out by troducg label operators μ Pο ad P μ? ο [3]. For example μ P ο ;p =(μ p) ο ;p. For otatoal coveece we defe collear covarat dervatves μ D c = μ P + gμ A ; D?μ c = μ P μ? + ga?μ ; (3) ad ultrasoft covarat dervatves μ D us = + gμ A us ; D?μ us μ? + ga?μ us : (4) For the μ compoets, t s oly the combato D + g A + g A us ; (5) that ever appears. I geeral a dervatve wthout a subscrpt volves the sum of the collear ad usoft peces, D μ = Dc μ + Dμ us, ad t s ths combato whch s RPI varat [] (mplyg that the aomalous dmesos of terms that appear the multpole expaso are related). Itegratg out the offshell fluctuatos bulds up a collear Wlso le, W, bult out of collear gluo felds whch are ot suppressed the power coutg [3] h X W = exp g μp μ A ;q(x) ; (6) perms where the label operators oly act o felds sde the square brackets. Up to the mportat fact that W has bee multpole expaded, t s the Fourer trasform of a stadard posto space Wlso le, W (;x). Factors of W ο ca be cluded operators wthout chagg the order the power coutg. However, ther locato s restrcted by collear gauge trasformatos, U c, uder whch W! U c W [3]. Sce μp ο the power coutg the hard Wlso coeffcets ca be arbtrary fuctos of the mometum or mometa,!, pcked out by these operator, C(! ;μ) [3]. These coeffcets ca be computed by matchg wth QCD at the hard scale μ ' Q ad rug wth the reormalzato group. If we cosder a geeral Wlso coeffcet ad operator C ΩO, the the covarat dervatve μ D c = W μ P W y ; (7) so t s always possble to put all the Wlso les O ad the depedece o the mometa pcked out by μ P to C. We wll fd t coveet to use the otato ( μ ο W )! = μ ο Wff(! v μ P y ) Λ ; (W y D? μ c W )! = W y D? μ c Wff(! v μ P y ) Λ ; (8) where aga the label operators do ot act outsde the square brackets. The factor of v s cluded ext to μ P to make tatype-i RPI varat. Thus, the mometum labels! do ot trasfrom uder RPI. The products of felds Eq. (8) are color sglets uder the collear gauge symmetery, so the mometum labels! are gauge varat. These 7

8 products stll trasform uder a usoft gauge trasformato U us as ( ο μ W )! ( ο μ W ) U y us ad (W y D c? μ W )! U us (W y D c? μ W )Uus. y We wll ellaborate o how RPI affects Wlso coeffcets SCET subsecto C below. For Lagragas ad currets where the varable v μ s ot avalable we ca ot make use of the deftos Eq. (8). It s stll coveet to make use of a smlar otato: ( μ ο W ) z = μ ο Wff(z μ P y ) Λ ; (W y D? μ c W ) z = W y D? μ c Wff(z μp y ) Λ ; (9) where we use the varables z rather tha!. Uder a type-i trasformato the z trasform lke μ so the delta fucto s homogeeous (ad compesated by a tegrato measure dz ). Usg the scalgs for felds ad dervatves the power coutg for a arbtrary dagram, ff, ca be determed etrely from ts operators usg [] ff =4+ X k (k4)[v C k +V S k SC +Vk ]+(k8)vk U : () Here V C;S;SC;U k cout the umber of order k operators whch have collear felds, soft felds, both, or ether respectvely. For ay operator the power of k s derved by addg up the powers of ts compoets, so for stace ο μ μ= Dο ο 4, couts as V C 4 =. Sce the operators are gauge varat so s ther value of k ad also the power coutg of ay dagram usg the result for ff Eq. (). I ths paper we focus o operators wth Vk S = V k SC =. We have also foud t coveet to defe addtoal pure gluo operators. I partcular we wll use the purely collear feld stregth We wll also make use of the mxed tesors gb?μ c =[μ D c ;D?μ c ] : () g M = g B c =[μ D c ; D] ; gm=? =[μ D c ;D= us? ] ; () I fact the operators M=? ad M, together wth g μ M =[μ D c ;μ D us ] ca be combed to a sgle object closed uder usoft Loretz trasformatos, whch trasforms the desred way uder the collear ad usoft gauge symmetres gm= =[μ D c ;D= us + μ= g A ] : (3) Fally the followg results for mapulatg covarat dervatves o Wlso les also prove to be useful (W y ψ D=? c W )= W y ψ D=? WΛ c + ψ h D=? c = P μ W y gb=? c W + ψ D=? c ; (W y! D=? c W )= W y! Λ D=? c W +! h D=? c = μp W y gb=? c W +! D=? c ; (4) 8

9 B. Reducto Sp Structures Collear quarks ad heavy usoft quarks have spors wth oly two o-zero compoets. I four compoet otato ths s ecoded projecto formulae for the felds, P ο = ο ; P v h v = h v ; (5) where P =(=μ=)=4 ad P v =(+v=)=. We also defe the orthogoal projector P μ =(μ== )=4 where P + P μ =. A quark blear wth a heavy ultrasoft quark ad lght collear quark therefore oly has four possble o-trval Drac structures. O the other had f the heavy ultrasoft quark s replaced by a massless ultrasoft quark whch has a four compoet spor the ther are eght possble Drac structures. Whe geeratg operators we should be careful ot to clude redudat Drac structures. Therefore, t s coveet tohave a caocal bass whch we ca project results oto to check ther terdepedece. For ths purpose we choose the bass μ= ; μ=fl5 μο h v ; = μο q us ; = o ; ;flμ? ; μ= ;fl5 ; μ=fl5 ;flμ? ; μ=flμ? o : (6) Ay geeral Drac structure ca be projected oto a lear combato of terms these bass wth the help of the followg formulae ad μο h v = μ ο h v ; = μ= tr h = P μp v μ=fl 5 tr h = fl 5P μ P v + fl μ? tr h fl? μ P μ P v : (7) μο q us = ο μ q us ; h =μ= = tr 8 h fl? +fl μ? tr μ =μ= 8 + μ= h = tr 4 + fl 5 trh =μ=fl5 8 μ=fl h 5 tr =fl5 4 h μ=flμ? =fl? tr μ 4 : (8) The umber of depedet structures s qute logcal, for ο μ h v each feld s determed by two-compoet spors ad there are = 4 terms the bass. For ο μ q us oly the collear spor has two-compoets ad there are 4 = 8 terms our bass. Our choce of bass Eq. (7) dffers from Ref. [] where the choce = f;fl 5 ;fl μ? g was used, ad calculatos were gve a frame where v = ad v? =. Whe v μ s kept arbtrary we have foud the bass Eq. (6) s more coveet sce t retas ts orthoormalty a arbtrary frame. The projectos formulae Eq. (7) ca be used to reduce the possble Drac structures costructg a complete bass of operators. It s coveet to defe r μ? fflμffffl ff μ f v fl ad v μ? = vμ v μ μ = μ v μ =, sce the v μ?, rμ?, μ,μ μ form a complete vector bass. 9

10 To reduce the Drac structures we ca use relatos such as v=? = v μ=; μ=v=? r μ? fl 5 =μ= μ v; fl μ? = v μ? +flμ? +μ=flμ? v; μ=rμ? fl 5 ffl μνfff ff v f μ=fl 5 = fl μ v μ=; = μ=fl 5 +4μ vfl μ? μ=vμ? ; = ff μν (v μ fl ν v ν fl μ ) (μ μ ν μ μ ν ) μ v ( μfl ν ν fl μ ) + v (μ μfl ν μ ν fl μ ) ; ::: ; (9) where the = dcates that these are oly true betwee the spors Eq. (7). (The complete set of relatos s rather legthy ad s ot show.) The relatos Eq. (9) allow the structures o the left to be traded for those o the rght (wth more tha oe terato some cases). Usg the projecto formulae t s straghtforward to show that the most geeral Drac structure possble for the LO scalar currets are f; μ=g, whle the vector ad axal-vector currets have the bass show Eq. (74), ad the tesor currets deped o the bass Eq. (9) C. Reparameterzato Ivarace The decomposto to collear felds requres troducg two lght-lkevectors ad μ, such that =μ = ad μ =. These vectors break fve of the sx Loretz geerators. Ths part of the Loretz symmetry s restored order by order the power coutg by requrg varace uder reparameterzato trasformatos o ad μ []: (I) 8 < : μ! μ +?μ μ μ! μ μ () 8 < : μ! μ μ μ! μ μ + "? μ (I) 8 < : μ! ( + ff) μ μ μ! ( ff)μ μ ; () where? ο, whle "? ο ff ο. I geeral oe has two optos for costructg RPI varats: ) costruct operators out of completely RPI varat quattes ad the expad these powers of, ) costruct operators order by order ad trasform them to see what lear combatos are varat, ad whch operators are ruled out. I ths paper we wll adopt approach ), sce startg wth the most geeral gauge varat sets ad the reducg them allows us to be cofdet that we do ot mss operators that could arse at ay order perturbato theory. For our purposes t s coveet to dvde the RPI trasformatos to two subsets, those whch clude terms wth the same order deoted by ff ( ) I, ff ( ), ad ff ( ) I, ad those whch cause order suppressed trasformatos deoted by ff () I ad ff (). All type- I trasformatos act wth the same order ad t s easy to costruct varats uder type-i. We smply eed to have the same umber of 's (μ's) the umerator ad deomator, or have products of tmes μ. The trasformatos of type-i ad type- are more volved. From Ref. [] the trasformatos that have terms of the same order

11 are μ I : D! D +? D? ; D μ?! Dμ?? μ D; () ff ( ) ff ( ) : μ μ! μ μ + " μ? ; Dμ?! Dμ? μ "? D? ; fl μ?! flμ? μ "=? "μ? =: The trasformatos that start oe power dow clude ff () I : μ! μ + μ? ; Dμ?! Dμ? μμ? D? ; ο μ! ο μ + μ= =? ; 4 μ fl μ?! flμ?? μμ μ= =? ; () ff () : μ D! μ D + "? D? ; D μ?! Dμ? "μ? D; μο! ο μ + ψ D=? ; W! μ ψ D "=?» μ D "? D? W : (3) If we start by cosderg LO operators the they must be varat uder the ff ( ) trasformatos all by themselves. The ff () trasformatos of the LO terms coect them to NLO operator's ff ( ) trasformatos. Sce oly ff ( ; ) terms exst ths patter repeats at all hgher orders the power coutg. Note that we do ot cosder HQET RPI uder the velocty v μ. Sce the trasformato v μ! v μ + μv where μv ο Λ QCD =Q ο, ths type of RPI oly eeds to be take to accout at oe-hgher order tha the order we are workg. The combed SCET ad HQET RPI trasformatos were used the O( ) aalyss of J hl Ref. [3]. Fally we cosder how Wlso coeffcets are affected by reparameterzato varace. Our aalyss s smlar sprt to Ref. [3], where heavy-to-heavy HQET currets wth coeffcets depedg o the chage velocty, C(v v ), were aalyzed. If we adopt the vew of buldg varats at all orders the the coeffcets must also be fuctos of varats, such as operators lke μψ C( ψ D V)H v ; (4) where Ψ, H v are varats cludg the quark felds ο, h v, ad V μ s the RPI verso of the velocty v μ [3]. Whe expaded the leadg term volvg the covarat dervatve C ca be traded for W ad μp usg Eq. (7). Here we wll use the opposte but equvalet arragemet of startg wth a curret that s leadg order, μο WC( v μp y ) h v ; (5) ad the determg how both the operators ad coeffcet trasform uder RPI. We the determe whch strucutures are requred at oe hgher order to cacel ths chage, ad whch allowed hgher order structures are left ucostraed. I. COLLINEAR-ULTRASOFT LAGRANGIAN I ths secto we dscuss the mxed ultrasoft-collear Lagragas to O( ). These actos are power suppressed [7], ad start at O() [3]. I secto I A we cosder the

12 dervato from tegratg out compoets of the full theory feld, whch gves a tree level dervato of the acto (for further explaato of ths approach see Refs. [, 4, 3]). I Ref. [3] ths procedure was used to derve a form for the mxed ultrasoft-collear quark Lagraga, but a mafestly gauge varat form was ot determed. I Ref. [4] the aalyss was exteded to gve gauge varat operators, ad the detals of ths calculato are revewed secto I A. However, sce the aalyss secto I A s oly vald at tree level, t msses ) otrval Wlso coeffcets the tree level operators, ad ) ew operators whose coeffcets ca have zero tree-level matchg. I Ref. [3] pot ) was addressed ad t was show dagramatcally that o o-trval Wlso coeffcets are geerated. However, pot ) has ot yet bee addressed, so addtoal operators could stll be duced by matchg at some hgher order perturbato theory. I secto I B we show that both pots ) ad ) ca be smultaeously solved by usg the full set of symmetres of SCET whe costructg operators. We also exted the dervato to the mxed usoft-collear pure gluo sector. A. Matchg for L uc at tree level, but all orders μ A gluos I ths subsecto we dscuss detal how the matchg calculato for the mxed usoftcollear quark Lagraga frst derved Ref. [3], was exteed to a gauge varat form Ref. [4]. The part of our dscusso from Eq. (6) to (3) follows Ref. [3], but wth our mometum space otato. We start wth the quark acto L = μ ψd=ψ ad decompose t wth SCET felds L = ο μ μ= :D ο + ο μ D=? ο μ + ο μ ga= c q us +μq us ga= c ο +μq us ga= c ο μ +μq us D=q us» + μο μ D=? ο + ο μ = μ μ Dο μ + ο μ μ ga= c q us ; (6) where the D s usoft plus collear, D c s purely collear, ad collear mometum coservato has bee eforced. Varyg wth respect to μ ο μ gves a equato of moto to ellmate ths feld from the term square brackets ο μ = μ D μ= h D=? ο + ga= q ; μ ομ = h μqga= μ ο ψ D=? μ= μ ψ D : (7) Pluggg ths to Eq. (6) ad expadg we fd that the two collear quark terms exactly reproduce terms the gauge varat multpole expaded acto Ref. []. 6 Usg Eq. () the terms wth two ultrasoft quarks ad collear gluos frst show upat O( 3 ) [3], ad are therefore eglected. The mxed usoft-collear quark terms are h L = μο ga= c q us + ο μ μ= D= h? μ D ga= c q us + μq us ga= c ο +μq μ= A= c μ D D=?ο : (8) 6 Note that QED the O() pure collear quark Lagraga ca be wrtte terms of F μν [3]. Wth the mometum space multpole expaso ths mapulato s ot ecessary to acheve a gauge varat result [3, 33].

13 Takg Eq. (8) ad expadg to secod order gves L () = ο μ ga= c? D= c? gμ A c q us + h.c. ; (9) μ D c L () = ο μ μ= g A c + D= c? ga=? c q us ο μ D μ D= us? gμ A c q us + h.c. ; c μ D c where the superscrpts deote the power suppresso ad. I each of the last terms L (;) we use W ==(μ D c ) gμ A c, ad the frst term of L () we wrte ga=c? = D=c? P? ad the q us =[W +( W )]q us.thus, L () = ο μ D= c? W P=? qus + h.c. ; = ο μ μ= g A c +D= c? (D=? c μ D P=?) [W +(W )]q us + ο μ D=? us(w ) q us + h.c. c = ο μ μ= g A c + D= c? D=? Wq c us μ D μ μ= ο c D=? c P=? q μ D c + ο μ μ= Dus + D= us? (W ) q us + h.c. : (3) L () I mapulatg L () we used the fact that tegrato by parts s allowed o the ( W )q us term ad we ca the use the equato of moto for the collear quark to gve a term ( D us )( W ) whch we collected wth the D=? us (W ) term. The result Eq. (3) agrees wth Ref. [3], up to the fact that we performed the multpole expaso mometum space. I Eq. (3) we dd ot drop the P=? q = terms sce we wat to make explct the fact that t s the combato (D= c? W P=?)=[D= c? W ] whch starts wth at least oe-collear gluo. Wrtte ths way t appears that our L () s ot collear gauge varat. I the trasformed result the o-varat term cacels f we use P=? q =, but the t s ot explct that the operator starts wth oe-collear gluo, so L () has ether oe or the other explct. For L () Eq. (3) stll volves the gluo feld Aμ so the gauge varace of ths expresso s ot at all clear. However, the above cosderatos dcatesthat t should be possble to wrte all the terms Eq. (3) terms of gluo feld stregths, ad thereby acheve a mafestly gauge varat acto that starts wth oe-collear gluo. Ths dervato was carred out Ref. [4], but o detals of the calculato were descrbed there. These detals are descrbed below Eqs. (3) through (35). To proceed we ote that usg Eq. (), gbc? ν W =[μ D; D?ν c ]W = μ D c D c?ν W D?ν c W μ P. Makg smlar mapulatos for M ad M=? we ca wrte gb=? c W = μ D c (D=? c W P=? ) fd=? c W P=? c g μ P + fgμ A c gp=?ν c : g MW = μ D c DW μp D us f DW D us g μp ; gm=? W = μ D c D= us? W μ PD= us? + fd= us? D= us? W g μ P : (3) Now we take purely usoft felds o the rght, ad dvde o the left by μ D c. I Eq. (3) the terms curly brackets start at oe-collear gluo, so eve the presece of =(μ D c ) 3

14 these terms are o-sgular ad ca safely be dropped usg that the label operators gve zero o the usoft feld. Ths gves μ D gb=? Wq us =(D=? c W P=? c )q us ; g MWq us μ D c =( DW D us )q us (W ) D us q us ; μ D c gm=? Wq us = D= us? (W )q us (W ) D= us? q us : (3) These expressos allow us to wrte covarat dervatves actg o Wlso les terms of feld stregths. Usg Eq. (3) for L () Eq. (3), we arrve at the fal result L () = μ ο μ D c gb=? c Wq us + h.c. : (33) Ths form s partcularly ce sce t s explctly collear ad usoft gauge varat ad furthermore explctly starts at oe-collear gluo due to the B?.To see the gauge varace ote that uder a collear gauge trasformato U c wehave ο! U c ο, W! U c W, B=?! U c B=? Uc y, ad (μ D c)! U c (μ D c ) Uc y so all factors of U c cacel. Uder a ultrasoft gauge trasformato U u wehave ο! U u ο, W! U u WUu, y B=?! U u B=? Uu, y (μ D c )! U u (μ D c ) Uu, y ad q us! U u q us so all factors of U u also cacel. I Fg. secto V C we show the oe ad two gluo Feyma rules that follow from L () uc Eq. (33). A o-trval check o our mapulatos s that the same Feyma rules ca be obtaed from Eq. (3) by usg the free equatos of moto. We ow proceed to further smplfy L () Eq. (3). Usg Eq. (3) leaves L () = ο μ gm=w q us + μ D μ μ= ο c D=? c (μ D c ) gb=?wq c us + μ ο (W )D= us q us + h.c. ; (34) where the frst ad last terms we used the fact that =ο = to wrte a full fl μ M= ad D= us.for the last term Eq. (34) we ca ow use the equato of moto for the usoft quark feld to gve our fal result L () = ο μ gm=w q us + μ D μ μ= ο c D=? c (μ D c ) gb=?wq c us + h.c. (35) Aga ths form the acto s explctly collear ad usoft gauge varat ad furthermore explctly starts at oe-collear gluo due to the feld stregth B's ad M's. Fally, the way wehave wrtte the result t s varat uder usoft Loretz trasformatos whch separately rotate fl μ ad Dus μ. Fally we ote that the gauge varat form of the mxed usoft-collear quark actos proved to be mportat for the proof of a factorzato formula for heavy-to-lght decays Ref. [4]. I the ext secto we aalyze the most geeral possble bass for L (;) beyod tree level, whch follow purely from symmtery cosderatos ad also dscuss power suppressed terms the collear gluo acto. 4

15 B. Most Geeral Bass for L uc The ultrasoft-collear quark Lagraga ca be expaded a power seres the parameter. It s ot possble to costruct a varat operator that s dmeso-4 ad order. Therefore, we have the seres L = L () + L() + ::: : (36) Sce ths s a Lagraga sertos of these operators do ot ject mometum, ad we are free to tegrate by parts as log as we are careful ot to geerate sgular terms. To costruct the most geeral quark acto L () we ca use a sgle collear ο ο, ultrasoft q ο 3, ad a D c?μ ο. These factors gve a dmeso 4 operator, ad from the power coutg formula Eq. () they gve ff = whch s the correct order for L ().To satsfy collear gauge varace wthout chagg the order the power coutg we make use of the Wlso le W to wrte ( ο μ W ) ad (W y D c?μ W ). Sce the Lagraga s a scalar we must dot the dex μ to aother vector. The possble Drac structures are restrcted by the fact that =ο =. They are also restrcted by type-i RPI, for stace μ=fl μ s ot varat ad therefore s ruled out ( the case of the heavy-to-lght currets we ca make use of the product v, so v μ= s allowed). Takg these costrats to accout leaves fl μ as the oly possblty. Thus, we have reduced L () uc to the form ( μ ο W ) ρ( μ P;μ)(W y D=? c W ) q us + h.c. ; (37) where the coeffcet ρ s dmesoless ad D=? c acts to the left or rght. However, by type- I RPI varace the coeffcet ρ( P;μ) μ ca ot be a fucto of P, μ leavg oly ρ(μ). Now ρ s a dmesoless fucto of the dmesofull parameter μ ad ca oly be equal to a costat (assumg o ew dyamcal scales lkeλ QCD are geerated by reormalzg L () uc ). Now D=? c q = sce q s a collear color sglet ad carres o perpedcular mometa of order, so usg Eq. (4) we see that (W y! D=? c W ) ca be traded for a B=? c operator. For ψ D=? c we obta the same B=? c operator, plus ( ο μ W ) ψ D=? c q = ( ο μ W )P= y? q =, whch follows from the fact that ( ο μ W ) s a collear color sglet ad by mometum coservato also carres zero? mometum. Fxg the costat ρ = by tree level matchg the leaves L () = μ ο W μp W y gb=? c Wq us + h.c. = μ ο μ D c gb=? c Wq us + h.c. : (38) I ths form t s clear that the operator s collear ad usoft gauge varat ad geerates terms wth collear gluo as requred by mometum coservato. Fally, t s easy to show that ts order type-i ad type- varatos vash, sce from Eq. () oly the trasformato of D c? must be cosdered ad ff ( ) I B c? / [μ D c ;μ D c ] =, whle ff ( ) B=? c / = whch gves zero sce =ο =. The above le of reasog ca be repeated at O( ). By power coutg ad gauge varace we ca ow have oe (W y DucW μ )ortwo (W y D c?μ W ) factors wth dervatves to the left or rght. Aga we ca use Eq. (4) to smplfy the covarat dervatve terms. We must have a operator startg wth oe-collear gluo, ad aga the (WDW) factor ext to q must be square brackets ad ca be tured to a gluo feld stregth. Also by 5

16 type-i RPI the Wlso coeffcets must aga be umbers, except for operators wth three or more varat collear products L () where they ca be fuctos of the rato z of mus-mometa. Takg to accout these costrats leaves three possble operators 7 L () = ρ ( ο μ W ) W y gm= W q us + h.c. ; (39) μ D c L () z = dz dz ρ ( z μ μ= ο W ) z (W y! D=? c W ) z W μp y gb=? c μ D W q us + h.c. c L () 3 = W y gb? μ D cμw q us + h.c. ; c dz dz ρ 3 z z ( μ ο W ) z μ= (W y! D?μ c W ) z μp where (:::) z [:::ff(z P μy )], ad we've used our freedom to tegrate by parts to make the perp covarat dervatves act to the rght. Note that the overall μ p mometum s zero, so o z label s used o the B=? c bracketed term (followg the coveto Ref. [3]). Aga the presece or absece of factors of μ= are completely fxed by type-i RPI. Now cosder the type-i ad type- RPI trasformatos. Computg the order varatos of L () uc ad smplfyg the resultg expressos gves ff () I L () = μ ο μ= ff () L() = ο μ D=? c gb= c? μ D c (μ D c ) gb=? c For the order varatos of L () j =? Wq us μ ο μ D c ff ( ) I gm=? Wqus + h.c. ; (4) "=? + μ D c "=? g M + μ D c ff ( ) gm=? owq us + h.c. we fd ff ( ) I L () = ρ μ ο μ D c μ=? B? + μ D c ff ( ) I gm=? owq us + h.c. ; (4) ff ( ) L () = ρ ο μ "=? μ D c ff ( ) I L () = ff ( ) L () = + ff ( ) I L () 3 = ff ( ) L () 3 = z dz dz ρ z g M + μ D c ff ( ) dz dz ρ z z ( μ ο W ) z ff(z ) μ= =? 4 dz dz ρ z z ( μ ο W ) z (W y! D=? c W ) z "=? ( μ ο W ) z (W y! D=? c W ) z μp dz dz ρ 3 z z ( μ ο W ) z ff(z ) μ= 4 dz dz ρ 3 z z ( μ ο W ) z "=? (W y! D?μ c W ) z μp gm=? owq us + h.c. ; W μp y gb=? c W μ D c μp q us + h.c. ; W y μ D c gb=? c W q us W y g "? B? c μ D W q us + h.c. ; c W μp y g? B? c W q us + h.c. ; μ D c W y μ D c gb? cμw q us : Comparg Eqs. (4) ad (4) we see that t s ot possble to form a varat volvg L () 3 so ρ 3 =, whle a varat ca be formed from L () uc + L () + L () by takg ρ = 7 Ths assumes we have ellmated a possble four quark operator usg the collear gluo equatos of moto [4], g ( ο μ WT A μ=w y ο )= P μ (μ ο WT A μ=q us )= ο μ μ==(μ D c ) MWq us +ο μ μ==f(μ D c ) g [D cμ? ;gb?μ c ]Wq us. Ths cocluso s ot chaged f we cosder the most geeral possble fourquark operators allowed by all the symmetry costrats. 6

17 ad ρ (z =z ) =. Sce ρ s depedet ofz =z the tegrals over z ; ca be performed. Therefore, we ca wrte our fal result for the frst two orders the usoft-collear quark Lagraga as L () = μ ο μ D c gb=? c Wq us + h.c. ; L (a) = μ ο μ D c gm= W q us + h.c. ; L (b) = ο μ μ= D=? c (μ D c ) gb=?wq c us + h.c. (4) These terms agree exactly wth the result from tree level matchg Eqs. (33) ad (35). The aalyss here shows that o other terms are duced by matchg at ay order ff s. Next we proceed to aalyze power suppressed terms the collear gluo acto. Startg wth the LO collear gluo acto [4], L () cg ad makg t RPI varat wth D μ = Dc μ + Dus μ gves L cg = g tr D μ ;D νλ o : (43) It s straghtforward to see that o other gauge varat pure glue dmeso-4 operators are possble. We could buld a more geeral gauge varat operator out of a strg of m terms [WD μ W y ] z, wth m 4 factors of = P μ to make up the mass dmesos. Here W s the full Fourer trasform of a posto space Wlso le W (;x), ad volves μ (A + A us ). However, type-i RPI the demads m 4 factors of μ μ the umerators whch usg μ DW = collapses the operator to the case m = 4. Fally, sce W trasforms uder type- RPI, but D μ does ot we fd that these operators must have Wlso coeffcets C(z ) that are depedet of the z parameters. I ths case all factors of W cacel out ad we are left Eq. (43) (after performg the z tegrals ad fxg the coeffcet at tree level). Expadg Eq. (43) we see that the order ad suppressed terms are L () cg = g tr D μ ;D?ν c L () cg = g tr D μ ;D?ν us Λ Dμ ;D? us νλo ; (44) Λ Dμ ;D? us νλo + Λo g tr D?μ us ;D?ν us + Λ Λo g tr D μ ; D c Dμ ;μ D? us + g tr D?μ us ;D?ν c Λ D? cμ ;D? cν Λ D? cμ ;D? usνλo ; where D μ = Dc μ +μ μ D us =. I Ref. [4] the gauge fxg terms the LO gluo acto were gve a geeral covarat gauge. We do ot bother to cosder the possblty of other leadg order gauge fxg terms sce we have some resdual freedom to choose these terms however we lke. I a RPI varat form the terms from Ref. [4] are L cg =tr μc h D μ ; hd μ ;c o + ff tr [D μ ;A μ ][D ν ;A ν ] o ; (45) 7

18 ad the subleadg terms ther expaso are h h o L () cg =tr μc D?μ us ; D c?μ ;c +tr L () cg o μc hd c?μ ; h D?μ us + [D ff tr?μ us ;A?μ ][D ν ;A ν ] ; (46) h h o h o =tr μc D?μ us ; D us?μ ;c +tr μc μ D us ; h D;c +tr μc h D; + [D ff tr?μ us ;A?μ hμ D us ;c o ][Dus o?ν ;A?ν ] ;c o + ff tr [μ D us ; A ][D ν ;A ν ] o : (47) IV. MOST GENERAL BASIS FOR HEAVY-TO-LIGHT CURRENTS I ths secto we gve our dervato of the most geeral bass of heavy-to-lght currets at O(). The scalar curret s gve great detal, ad forms the bass of the aalyss for the other Drac structures. Expadg the heavy-to-lght currets powers of we wrte J hl = J (d) + K (d) + ::: ; (48) for the LO currets (J (d) ), ad NLO currets (K (d) ). The superscrpt deotes whether the curret s scalar (d = s), pseudo-scalar (d = p), vector (d = v), axal-vector (d = a), or tesor (d = t). For the prelmary bass where oly costrats from gauge varace, power coutg, ad type-i RPI varace are mposed we use a callgraphc otato J (d) + K (d) + :::, ad the swtch to Roma for the fal bass that s varat uder all the type-i ad type- costrats. We wll also make use of a covoluto otato J (d) =! d! C (d) ; μ J (d) (!) ; (49) m b m b where J (d) (!) cotas felds ad operators wth the otato Eq. (8) ad the Wlso coeffcets C (d) (^!; μ=m b ) are umercal fuctos of the covoluto parameter (where ^! =!=m b ). A. Scalar Currets From gauge varace ad power coutg the most geeral leadg order heavy-to-lght curret has the form μ ο W h v []. For v? 6= the most geeral allowed scalar sp structures from secto B are the = f; μ=g. Type-I RPI demads that the μ= s accompaed by ether a v or a =μ v. Thus after mposg costrats )-v) of secto we are left wth the possble leadg order currets J (s) = c (s) μο Wh v ; J (s) = c (s) μο W v μ= h v ; J (s) 3 = c (s) 3 μο W μ= μ v h v ; (5) where c are dmesoless Wlso coeffcets. Wth type-i RPI varace the c ca oly deped o the combato ( v μ P), the b-quark mass m b, ad the reormalzato scale μ. 8

19 Now cosder the order type-i ad RPI trasformatos Eq. (). Sce oe of the operators Eq. (5) volve quattes that have ff ( ) I trasformatos they are varat uder type-i at ths order. However, uder the aalagous type- trasformatos ff ( ) J (s) =; ff ( ) J (s) = c (s) μο W h v ; ff ( ) J (s) 3 = c (s) 3 μο W "=? μ v μ= (μ v) "? v v "=? h v : (5) Thus, t s ot possble to form a varat volvg the currets J (s) ;3, ad oly the curret J (s) s allowed. Therefore, we ca rewrte our fal result for the most geeral leadg order scalar curret as v μp J (s) = C (s) ; μ μο Wh v : (5) m b m b Sce the Wlso coeffcet s dmesoless t ca oly be a fucto of the dmesoless ratos of parameters as show. The mus sg the frst varable s cluded so that μp gves the total outgog mometum of μ ο W. Swtchg to the covoluto otato Eq. (49) ad defg ^! =!=m b we ca wrte Eq. (5) as J (s) = d! C (s) (^!; μ=m b ) J (s) (!) ; J (s) (!) =( μ ο W )! h v : (53) Thus our otato s that J (s) cotas the Wlso coeffcet, whle J (s) (!) s purely the feld operator. Wth the covoluto otato Eq. (53) the Wlso coeffcets are just umercal fuctos whch do ot trasform uder RPI. We wll ofte suppress the depedece of Wlso coeffcets o μ=m b what follows. Next cosder currets that are suppressed by apower of. At ths order the oly addtoal structure we ca use s a D c? μ ο, where the dervatve acts to the left or to the rght. To form the most geeral collear gauge varat we take (W y D c? μ W ), whch we the sert betwee the ( ο μ W ) ad h v to satsfy the usoft gauge varace. Sce the two collear factors are varat by themselves they ca have arbtrary labels! ;. Thus we have operators wth the structure ( μ ο W )! (W y D?μ c W )! μp y h v : (54) The factor of = μ P y s cluded to make the Wlso coeffcets dmesoless. To make a scalar curret the μ superscrpt Eq. (54) ca be dotted to a fl μ or v μ. I ether case the most geeral remag Drac structure volves ether or μ= as follows from secto B. Thus, combg the costrats from gauge varace, sp reducto, ad type-i RPI leaves eght O() suppressed currets j = d! d! b (s) j (^! ; ^! ) j (! ;! ) ; (55) 9

20 where j =;:::;8, ad the b coeffcets are dmesoless fuctos of ^! ; =! ; =m b ad μ=m b. The eght operators are f;g (! ;! )=( ο μ W )! (W y ψ D=? c W ) μ=! μp y ; v f3;4g (! ;! )=( ο μ W )! (W y v ψ D? μ= c W )! μp y ; f5;6g (! ;! )=( μ ο W )! (W y! D=? c W )! μp y μ= ; v o h v ; v f7;8g (! ;! )=( μ ο W )! (W y v! D? c W )! μp y μ= ; v o h v ; o h v ; o h v : (56) Note that the depedece of the Wlso coeffcets o the labels! accout for sertos of = P μy all possble locatos. Just as for the leadg currets we caot use μ v to form a type-i varat Eq. (56) as t leads to currets whch ca ot be made varat uder type- trasformatos (the trasformed currets would deped o ffl? v=(μ v) away that could ot be cacelled). Next cosder the type-i trasformatos for the currets Eq. (56). For these subleadg currets oly the trasformatos are ecessary sce we are oly workg to order. Uder type-i oly D c? trasforms ad we have ff ( ) I (W y ψ D?μ? c W )! = μ (W y μ ψ? D c W )! =+ μ P μy ff(! vp μ y ) ; ff ( ) I (W y! D?μ? c W )! = μ (W y μ!? D c W )! = μ μp ff(! vp μ y ) : (57) Sce μph v = t s easy to see that each of 5;6;7;8 are type-i vararat all by themselves. The other currets do trasform, ad usg Eq. (57) gves ff ( ) I (! ;! )= ff(! )( ο μ μ= =? W )! 4 ff ( ) I (! ;! )= ff(! )( ο μ =? W )! v 3 (! ;! )= ff(! )( ο μ μ=? v W )! ff ( ) I h v ; h v ; 4 ff ( ) I (! 4 ;! )= ff(! )( ο μ? v W )! h v ; v ff ( ) I (! 5;6;7;8 ;! )=: (58) The delta fuctos ff(! ) cause oly the coeffcets b (s) (^! ;;3;4 ; ) to appear the trasformato of f;;3;4g. We also eed the order varato of the LO curret Eq. (53). I ths computato we must be careful to ote that the ff(! vp μ y )( ο μ W )! depeds o v, ad therefore also trasforms ff ( ) I ff(! v μp y )=v? μp y ff (! v μp y )= v? v h v ; d d!!ff(! v μp y ) : (59)

21 Usg Eq. () we fd a term from trasformg the delta fucto ad a term from trasformg the collear quark feld ff () I J (s) (!) =(μ μ= =? ο W )! h v v? d 4 v d!! (μ ο W )! h v : (6) Demadg varace uder the trasformatos Eqs. (58) ad (6) gves o-trval costrats o the Wlso coeffcets J (s) ad.from Eq. (58) the currets f;;3;4g are varat by themselves provded that b (s) f;;3;4g (^! ; )=. However, Eq. (6) the frst term ca oly be cacelled by a wth b (s) (^!;) = C (s) (^!). To cacel the secod term we tegrate by parts to gve a!d=d! =^!d=d^! actg o C (s) be cacelled by b (s) 4 (^! ; ) = ^! d=d^!c (s) J ; f5;6;7;8g ; K(s) f;3g b (s) (^!;) = C (s) (^!) ; b (s) ;3(^!;) = ;. Ths term ca the (^!). Thus, the summary of type-i varats s ; wth ay b(s) 5;6;7;8(^! ; ^! ) ad coeffcets Now cosder the type- trasformatos. The aalog of Eq. (59) s ff () b (s) 4 (^!;) = ^! d=d^!c (s) (^!) : (6) ff(! vp μ y )= v"? P y? ff (! vp μ y )= v"? P y d? d! ff(! v P μ y ) : (6) For the order varato of the LO curret J (s) (!) we have terms from the trasformato of the delta fucto, the collear quark feld, ad the Wlso le W ff () J d (!) = v"? P? d! (μ ο W )! h v + μο ψ D=? c μ ψ "=? D c! W h v μο?! " D? c W h v : (63) μ D c! I the subleadg currets both μ μ ad D c? have trasformatos. 8 A D=? c trasforms to gve a=, so sce =ο = t s easy to see that f;6g are varat uder type- trasformatos at ths order. The trasformatos for the remag currets are more volved ff ( ) f;6g (! ;! )=; ff ( ) (! ;! )=( ο μ W )! (W y ψ D=? "=? c W )! ff ( ) 3 (! ;! )=( ο μ "=? W )! (W y v ψ D? c W )! ff ( ) 4 (! ;! )=? ψ (μ ο W )! (W y " D? c W )! μp y h v ; ff ( ) 5 (! ;! )=( ο μ W )! (W y! D=? "=? c W )! μp yh v ; (64) v μ= o? ψ (W y " D? c W )! 4 P μy h v ; μp yh v ; ff ( ) 7 (! ;! )=( ο μ "=? W )! (W y v! D? c W )! ff ( ) 8 (! ;! )=?! (μ ο W )! (W y " D? c W )! μp yh v ; v μ= o?! (W y " D? c W )! 4 μp yh v ; 8 Sce ff μ P = O() the trasformato of the delta fuctos K (s) oly appear at oe hgher order.

22 It s straghtforward to see that t s ot possble to form a type- varat usg oly the currets f;3;4;5;7;8g. However, t s possble to form a varat takg a combato of (s) wth J.To facltate ths we rewrte Eq. (63) as f;4;8g ff ( ) J (s) (!) = d! h v d d! (μ ο W )! (W y "?! D? c W )!! +(W y "? ψ D? c W )!! o h v ( μ ο W )! (W y ψ D=? c W )!! μp y "=? h v ( μ ο W )!!! (W y "?! D? c W )!! h v : (65) To derve Eq. (65) we used "? P? ο μ Wh v = ο μ?! " D? c Wh v + ο μ? ψ " D? c Wh v, ad the fact that the! tegrato ca be carred out wth the delta fucto ( ο μ W )! to get back a product of operators wth mometum label! where the termedate WW y cacel out. For the d=d! terms Eq. (65) we ca the tegrate by parts ff ( ) J (s) so that the dervatve acts o the Wlso coeffcet C (s) (^!). It s the evdet that the thrd term Eq. (65) ca be cacelled by ff ( ) wth b (s) (^! ; ^!^! )=C (s) (^!), the secod term s cacelled by ff ( ) 4 wth b (s) (^! 4 ; ^!^! )=^!d=d^!c (s) (^!), ad the frst ad fourth terms are cacelled by ff ( ) 8 wth b (s) (^! 4 ; ^!^! )=^! d=d^!c (s) (^!)^!=(^! ^!) C (s) (^!). Therefore, type- RPI rules out the operators 3;5;7 ad leaves oly the varats J (s) ; ; 6 : (66) For type- varace the coeffcets ca have ay b (s) f;4g (^! ; ^! ), but requre b (s) (^! ; ^!! )=C (s) (^!) ; b(s) (^!; ^!! 4 )=^! d d^! C (s) (^!) ; (67) b (s) (^! 8 ; ^!! )=^! d d^! C (s) ^! (^!) (^! ^!) C (s) (^!) : The restrctos o the Wlso coeffcets are summarzed Table IV A. Comparg the varats Eqs. (6) ad (67), we see that the combatos Eq. (66) are the most geeral combatos varat uder type-i ad type- wth the restrctos Eq. (67) plus b (s) (^!;)=. However, wth ths costrat ob (s) the operator s actually detcal to 6 wth a ucostraed coeffcet b (s) 6.To see ths ote that wth square brackets [W y! D=? c W ]! =[W y ψ D=? c W ]! = [W y gb=? c W ]! =!, so the dfferece comes from ψ D=? c actg also o ( ο μ W ).However, sce the factor ( ο μ W ) o the left s a collear color sglet we ca wrte (W y ψ D=? c W )! = W y ψ D=? c W Λ! P= y? (W y W )! =[W y ψ D=? c W ]! P= y? ff(! ) ; (68) ad the last term vashes sce b (! ; ) =. Gve ths result ad the costrats