On the relation between RG and ERG arxiv:hep-th/062294v2 9 Apr 2007 H Sonoda Physics Department, Kobe University, Kobe 657-850, Japan E-mail: hsonoda@kobe-u.ac.jp Abstract. We discuss how the ordinary renormalization group RG) equations arise in the context of Wilson s exact renormalization group ERG) as formulated by Polchinski. We consider the φ 4 theory in four dimensional euclidean space as an example, and introduce a particular scheme of parameterizing the solutions of the ERG equations. By analyzing the scalar composite operators of dimension two and four, we show that the parameters obey mass independent RG equations. We conjecture the equivalence of our parameterization scheme with the scheme for dimensional regularization. PACS numbers:.0.gh,.0.hi Submitted to: J. Phys. A: Math. Gen.
RG vs ERG 2. Introduction The exact renormalization group ERG) was introduced by K. G. Wilson as a proper language to define continuum limits in quantum field theory. [] A key ingredient is the theory space S. Given a set of fields, it consists of all possible theories i.e., lagrangians or actions) with the same cutoff or defined on the same lattice). A renormalization group RG) transformation acts on S, and it consists of two steps: i) integrating out high momentum modes ii) rescaling space to restore the same cutoff We incorporate short-distance physics into the action, leaving long-distance physics for further integration of field variables. Starting from a theory, RG transformations generate a flow of theories along which the same physics is kept. Only the physical momentum scale of the cutoff becomes smaller along the flow. In this setup, the continuum limits form a finite dimensional subspace S ) of S. It is centered around a fixed point, and its dimension is given by the number of relevant or renormalized) parameters. The continuum limits can be obtained as the long distance limit of theories finely tuned to criticality. Using physical units, this prescription defines the limit of the infinite UV cutoff. RG transformations of the renormalized parameters are obtained simply by restricting ERG on S ). It was Polchinski who first introduced ERG into perturbative field theory.[2] Polchinski s ERG gives a concrete realization of Wilson s ERG, but it differs from Wilson s in two aspects: i) no rescaling of space ii) artificial splitting of the action into the free and interacting parts The first point is not essential since we can easily modify Polchinski s ERG to incorporate rescaling. The second point is an unavoidable nature of perturbation theory. In fact a more serious difference lies elsewhere. To be concrete, let us consider φ 4 theory in four dimensional euclidean space. The perturbatively) renormalized theory has two parameters, which we can take as a squared mass m 2 and a coupling λ. Hence, S ) is two dimensional, and therefore we need only one parameter to distinguish various ERG flows. But this is not the case in Polchinski s ERG. In sect. 4 we will λ 2 m Figure. Wilson s ERG: only one parameter to specify an ERG flow
RG vs ERG 3 show that the action satisfying Polchinski s ERG differential equation depends on three parameters m 2,λ;µ): SΛ;m 2,λ;µ) ) where Λ is the cutoff, decreasing along each ERG flow. The momentum scale µ is introduced as the scale where m 2,λ are defined. The two flows m 2,λ;µ) & m 2 e 2t,λ;µe t) 2) correspond to different choices of mass units, and they are trivially equivalent. Let us denote the beta function of λ as βλ), and the anomalous dimension of m 2 as β m λ). Then, for an infinitesimal t, the flow m 2 + tβ m λ)), λ+ tβλ));µe t) 3) is physically equivalent to the flow m 2,λ;µ), but the problem is that the two solutions SΛ;m 2,λ;µ) & SΛ;m 2 + tβ m ),λ+ tβ;µ t)) 4) do not overlap. It is easy to see why. The ERG differential equation depends on m 2 explicitly, and the two solutions solve two different ERG differential equations. It is decreasing Λ equivalent m 2, λ, µ Figure 2. Polchinski s ERG: three parameters to specify an ERG flow this redundancy of parameters which characterizes Polchinski s ERG. This makes the derivation of β,β m not straightforward for Polchinski s ERG. The purpose of this paper is twofold. First we show how a momentum scale µ enters the solution of Polchinski s ERG equations. This is done in sects. 2, 3, 4. Second we derive β, β m, and the anomalous dimension γ of the scalar field in the framework of Polchinski s ERG. Our derivation relies on the technique of composite operators. By studying the µ dependence of the action, we will show how β,β m,γ arise naturally from ERG. All this is done in sects. 5, 6, 7. Not long after Polchinski s work, Hughes and Liu have looked at the relation between ERG and RG.[3] Besides some technicalities, the main difference from the present work is that they have overlooked the difference between Wilson s and Polchinski s ERG. This neglect makes their results valid only at the lowest non-trivial orders in perturbation theory. In an unpublished work [4] we have obtained the same results for β,β m,γ using Polchinski s ERG. The present work is based upon an entirely different technique of composite operators which, the author hopes, makes the paper easier to follow.
RG vs ERG 4 2. Polchinski s formulation of Wilson s exact renormalization group We consider a real scalar field theory in four dimensional euclidean space. Let S be the action so that the correlation functions are given in the momentum space as φp ) φp 2n ) S 2π) 4 δ 4) p + +p 2n ) ) [dφ]e S [dφ]φp ) φp 2n )e S 5) S consists of a free part S free and an interaction part S int : where S = S free +S int 6) S free φp)φ p) p2 +m 2 2 p Kp/Λ) S int φp ) φp 2n ) 2n)! p,,p 2n n= p d 4 ) p 2π) 4 2π) 4 δ 4) p + +p 2n ) V 2n Λ;p,,p 2n ) 8) We take the cutoff function Kx) as a decreasing positive function of x 2 with the properties that Kx) = for 0 x 2, and that it decreases sufficiently fast for large x 2. See the left in Fig. 3.) Λ is the momentum cutoff, suppressing the field 7) Kx) x) 0 x 2 0 x 2 Figure 3. The behavior of the cutoff function K and its derivative fluctuations of momenta larger than Λ. For convenience, we introduce x) 2x 2dKx) dx 2 9) This vanishes for 0 x 2 <, and is positive for x 2 >. See the right in Fig. 3.) Given an action S, the correlation functions can be computed perturbatively using Kp/Λ) p 2 +m 2 as the propagator, and V 2n as the interaction vertices. Thanks to the rapid decrease of Kp/Λ) for p 2 Λ 2, the Feynman integrals are free from ultraviolet divergences. The use of a finite ultraviolet cutoff Λ is compensated, however, by the presence of an infinite number of interaction terms. Each interaction vertex V 2n results from the integration over field momenta larger than Λ, and it is local in the sense that it can be expanded in 0)
RG vs ERG 5 powers of m 2 and external momenta if they are small compared to appropriate powers of Λ. In the extreme limit Λ 0, V 2n reduces to the connected 2n-point correlation function. As we change Λ, we wish to change SΛ) so that physics is preserved. This requirement translates into Polchinski s differential equation [2] Λ Λ SΛ) = p [ p/λ) p 2 +m 2 p 2 +m 2 Kp/Λ) φp)δsλ) δφp) + δsλ) δsλ) 2 δφp) δφ p) + δ 2 SΛ) δφp)δφ p) This equation assures that the correlation functions, calculated with SΛ), are independent of Λ. To be more precise, the following combinations do not depend on Λ: for the two-point, and Kp/Λ)) )] ) p 2 +m 2 + φp)φ p) SΛ) Kp/Λ) 2 2) φp ) φp 2n ) SΛ) 2n i= Kp i /Λ) for the higher-point functions n >. Despite the use of a finite ultraviolet cutoff, the action can contain physics of momentum scales up to the highest Λ for which S is well defined. 3) 3. Solution by initial conditions A standard way of solving ) is by imposing a set of initial conditions at a large cutoff Λ 0. In [2] Polchinski showed the possibility of choosing initial conditions such that SΛ), for any finite Λ, has a limit as Λ 0. This was shown, of course, within perturbation theory.) For example, we can adopt the following mass independent form: V 2 Λ 0 ;p, p) = Λ 2 0 gλ,lnλ 0/µ))+m 2 z m λ,lnλ 0 /µ))+p 2 zλ,lnλ 0 /µ)) 4) V 4 Λ 0 ;p,,p 4 ) = λ{+z λ λ,lnλ 0 /µ))} 5) V 2n 6 Λ 0 ;p,,p 2n ) = 0 6) g,z m,z, andz λ areallgivenaspowerseriesinλwhosecoefficientsdependlogarithmically on Λ 0. Here µ is an arbitrary finite momentum scale. It is not only necessary to render the argument of the logarithm dimensionless, but it also acquires an important physical interpretation as the scale where the renormalized parameters λ,m 2 are defined. To understand better how µ enters the continuum limit, let us look at the one-loop two-point vertex. Solving ) we obtain V 2 Λ;p, p) V 2 Λ 0 ;p, p) = λ Λ 2 4 0 Λ 2) q) + λ lnλ q q 2 4π) 2m2 0 /Λ)
RG vs ERG 6 Λ0 λ dλ q/λ m 4 ) 2 Λ Λ q q 4 q 2 +m 2 ) 7) where the last double integral on the right-hand side is finite as Λ 0. Therefore, for V 2 Λ;p, p) to have a finite limit as Λ 0, we can take gλ,lnλ 0 /µ)) = λ q) 4 q q 2 8) z m λ,lnλ 0 /µ)) = λ 4π) lnλ 0/µ) 2 9) zλ,lnλ 0 /µ)) = 0 20) so that V 2 Λ;p, p) = λ 4 Λ2 λ 2 q Λ q) λ lnλ/µ) q 2 4π) 2m2 dλ q/λ m 4 ) Λ q q 4 q 2 +m 2 ) in the continuum limit. Note that V 2 Λ 0 ;p, p) cannot depend on Λ since it gives an initial condition to the differential equation ) which determines the Λ dependence of V 2 Λ;p, p). We are thus obliged to introduce µ to make sense of the logarithm of Λ 0 for z m. Similarly, the choice z λ λ,lnλ 0 /µ)) = 3λ 4π) 2 lnλ 0/µ) 22) makes the continuum limit of V 4 Λ) finite. Arbitrary finite constants can be added to z m, z λ, z, amounting to further finite renormalization. The dependence of the theory on an arbitrary momentum scale µ is familiar from the standard renormalization theory. In the above we have adopted a minimal scheme in which the expansions of z m,z λ,z have at least one power of lnλ 0 /µ), with no part independent oflnλ 0 /µ). Givingadifferent valuetoµamountstofiniterenormalization. This permits us to interpret µ as the scale where the renormalized parameters m 2,λ are defined. Unless we choose to parameterize SΛ) in terms of physical parameters such as a physical squared mass and a physical coupling, the introduction of µ is inevitable. 4. Solution by asymptotic conditions There is another way of solving ), which is more convenient for relating ERG to the RG of renormalized parameters. We first note that perturbative renormalizability amounts to 2) V 2n Λ;p,,p 2n ) Λ 0 23) for 2n 6. Besides the squared mass m 2 that appears in the ERG equation ) itself, the solutions depend on a coupling parameter λ. Hence, we can write the vertices in the form V 2n Λ;p,,p 2n ) = Λ y 2n v 2n lnλ/µ); p /Λ,,p 2n /Λ; m 2 /Λ 2,λ ) 24)
RG vs ERG 7 where y 2n 4 2n 25) and µ is a momentum scale introduced to characterize the asymptotic behavior of the vertices. Expanding in powers of m 2 /Λ 2 and p 2 /Λ 2 we obtain Similarly, we obtain V 2 Λ;p, p) = Λ 2 a 2 lnλ/µ);λ)+m 2 b 2 lnλ/µ);λ)+p 2 c 2 lnλ/µ);λ)+ 26) V 4 Λ;p,,p 4 ) = a 4 lnλ/µ);λ)+ 27) The parts represented by dots are proportional to inverse powers of Λ, and vanish in the limit Λ. At each order of λ, the asymptotic parts of the vertices are given as finite degree polynomials of lnλ/µ). The coefficients of a polynomial, say PlnΛ/µ)), depend on the choice of µ. For example, the coefficient of the constant term, P0), can be made to vanish by choosing a particular value for µ. The ERG differential equation specifies only the Λ dependence of the vertices. Hence, the Λ independent parts of b 2,c 2,a 4 do not get fixed uniquely. One way of removing the ambiguity is to adopt the following conditions [5]: b 2 0;λ) = c 2 0;λ) = 0 28) a 4 0;λ) = λ 29) We call this minimal subtraction), since it resembles the scheme for dimensional regularization. The /ǫ in dimensional regularization corresponds to lnλ/µ). 28, 29) are the obvious analogues of the absence of finite parts in ǫ in the three renormalization constants. Adopting, straightforward one-loop calculations give the following results: V 2 Λ;p, p) = λ 4 Λ2 q) q 2 λ 4π) 2m2 lnλ/µ) λ 2 m2 ) 2 Λ dλ Λ 3 q q) q 4 q 2 +m 2 /Λ 2 ) for the two-point vertex this is the same as 2)), corresponding to and 30) b 2 lnλ/µ);λ) = λ 4π) 2 lnλ/µ), c 2 = 0 3) V 4 Λ;p,,p 4 ) = λ λ + λ2 2 q [ Kq/Λ) q 2 +m 2 4 i= Kp i /Λ) p 2 i +m 2 V 2 Λ;p i, p i ) Kq+p +p 2 )/Λ) Kq/Λ))2 q +p +p 2 ) 2 +m 2 q 4 +t, u-channels) 3 λ2 lnλ/µ) 32) 4π) 2 ]
RG vs ERG 8 for the four-point vertex, corresponding to a 4 lnλ/µ);λ) = λ + 3λ ) 4π) lnλ/µ) 2 In our scheme the action depends on the four parameters m 2, λ, µ, Λ, and we may denote the action as 33) SΛ;m 2,λ;µ) 34) Using the cutoff function, we can define the renormalized correlation functions φp)φ p) m 2,λ;µ Kp/Λ)) p 2 +m 2 + φp)φ p) SΛ) Kp/Λ) 2 35) φp ) φp 2n ) m 2,λ;µ φp ) φp 2n ) SΛ) 2n i= Kp i /Λ) which are independent of Λ. Let us recall that in the scheme for dimensional regularization, the µ dependence of the the correlation functions is canceled by compensating µ dependence of m 2,λ, and field normalization. This is how the beta functions of m 2,λ are derived. In the remainder of this paper we wish to do the same for the solutions of Polchinski s equation. This is an appropriate place to comment on the work of Hughes and Liu [3]. They parameterize the action using three parameters: 36) ρ V 2 Λ;0,0) 37) ρ 2 p 2V 2Λ;p, p) p=0 38) ρ 3 V 4 Λ;0,0,0,0) 39) A solution to ) is specified by the conditions at Λ = Λ R : ρ = ρ 2 = 0, ρ 3 = λ 40) Λ R obviously corresponds to our µ. There are two problems. One, which is crucial, is that the dependence of the action on the choice of Λ R is neglected. The other is that this is not a mass independent scheme; the three parameters depend onm 2 non-trivially. Approximate mass independence is obtained by taking Λ 2 very large compared to m 2. From the Λ dependence of ρ,2,3, they have derived the beta function and anomalous dimensions at the lowest non-trivial orders. We will make a further remark in sect. 8. 5. Composite operators To derive the µ dependence of the action, we will use the technique of composite operators. See, for example, [6].) This section contains a brief summary. Let Φp) be a composite operator of momentum p: Φp) = n= 2n)! p,,p 2n φp ) φp 2n ) 2π) 4 δ 4) p + +p 2n p) Φ 2n Λ;p,,p 2n ) 4)
RG vs ERG 9 The Λ dependence Λ Λ Φp) = q guarantees that the correlation functions q/λ) q 2 +m 2 q 2 +m 2 Kq/Λ) φq) δ δφq) + δs δ δφ q) δφq) + δ 2 ) Φp) 42) 2δφq)δφ q) Φp)φp ) φp 2n ) m 2,λ;µ Φp)φp ) φp 2n ) SΛ) 2n i= Kp i /Λ) 43) are independent of Λ. Composite operators of dimension d satisfy the asymptotic conditions Φ 2n>d Λ;p,,p 2n ) 0 as Λ 44) 5.. Composite operators in the scheme For concreteness and also for later convenience, we consider scalar composite operators of dimension 2 and 4. We will show how to construct composite operators using an analogous condition. A dimension 2 operator Φ has the asymptotic behavior: Φ 2 Λ;p,p 2 ) = a 2 lnλ/µ))+ 45) where we suppress the λ dependence of a 2, and the dots denote the part vanishing in the limit Λ. In the scheme we define Φ by imposing the asymptotic condition: a 2 0) = 46) We will denote this operator as [ ] 2 φ2 p) 47) Next we consider an operator Φ of dimension 4. It must satisfy the following asymptotic behavior: Φ 2 Λ;p,p 2 ) = Λ 2 a 2 lnλ/µ))+m 2 b 2 lnλ/µ)) p p 2 )c 2 lnλ/µ)) p 2 +p 2 2)c 2lnΛ/µ))+ 48) Φ 4 Λ;p,,p 4 ) = a 4 lnλ/µ))+ 49) In the scheme we can define three linearly independent operators as follows: [ 4! φ4] p) satisfying a 4 0) =, c 2 0) = c 2 0) = b 20) = 0 50) [ 2 µφ) 2] p) satisfying c 2 0) =, a 4 0) = c 20) = b 2 0) = 0 5) [φ 2 φ] p) satisfying c 2 0) =, a 40) = c 2 0) = b 2 0) = 0 52)
RG vs ERG 0 For zero momentum we have only two linearly independent operators since [ ] 2 µφ) 2 0) = [ φ 2 φ ] 0) 53) 2 Hence, an arbitrary dimension 4 composite operator with zero momentum is given as [ ] [ ] [ ] Φ = xm 2 2 φ2 +y 4! φ4 +z 2 µφ) 2 54) where the Λ-independent coefficients can be extracted from the asymptotic behavior: x = b 2 0), y = a 4 0), z = c 2 2c 2)0) 55) 6. Composite operators in terms of the action S The scalar composite operators of dimension 2, 4 with zero momentum are special in that they can be constructed directly out of the action S. It is easy to see why. [ 2 φ2] is the mass term, and it can be obtained essentially by differentiating S with respect to m 2. [ 4! φ4] is the interaction term, and is obtained by differentiating S with respect to λ. The hard part is to construct [ 2 µφ) 2] ; we need to use the equation of motion. We examine three cases one by one. For later convenience we introduce the following expansions in m 2 : V 4 Λ;p, p,0,0) = A 4 lnλ/µ);p/λ)+ m2 Λ 2B 4lnΛ/µ);p/Λ)+ 56) V 6 Λ;p, p,0,,0) = Λ 2A 6lnΛ/µ);p/Λ)+ 57) where p is considered of order Λ. 6.. O m We define O m S m 2 Kq/Λ) Kq/Λ)) δs δs q q 2 +m 2 ) 2 2 δφq) δφ q) + δ 2 ) S δφq)δφ q) From the asymptotic behavior, we obtain O m = x m [ 2 φ2 ] where x m 2 In the appendix we derive q 58) 59) Kq) Kq)) q 4 A 4 0;q) 60) O m φp ) φp 2n ) m 2,λ;µ = m 2 φp ) φp 2n ) m 2,λ;µ 6)
RG vs ERG 6.2. O λ We define O λ S λ From the definition, it is straightforward to show O λ φp ) φp 2n ) m 2,λ;µ = λ φp ) φp 2n ) m 2,λ;µ 63) From the asymptotic behavior, we obtain [ ] O λ = 4! φ4 64) 6.3. N We define N q q φq) δs δφq) We show, in the appendix, that Kq/Λ) Kq/Λ)) q 2 +m 2 δs δs δφq) δφ q) + δ 2 ) S δφq)δφ q) 62) 65) Nφp ) φp 2n ) m 2,λ;µ = 2n φp ) φp 2n ) m 2,λ;µ 66) By examining the asymptotic behavior we obtain [ ] [ ] [ ] N = x N m 2 2 φ2 +y N 4! φ4 +z N 2 µφ) 2 where q x N 2+ Kq) Kq)) B 40;q) y N 4λ z N 2 In 70) C 4 is defined by q q 2 + A ) 40;q) q 4 67) 68) Kq) Kq)) A q q 2 6 0;q) 69) Kq) Kq)) C q 2 4 0;q) 70) 2 Λ 2δ µνc 4 lnλ/µ);p/λ) V 4 Λ;p, p,q, q) m 2 q µ q ν 2 =q 2 =0 where the angular average over p µ is taken on the right-hand side. Using the results for O m and O λ, we can rewrite this as N = x [ ] N m 2 O m +y N O λ +z N x m 2 µφ) 2 72) 7)
RG vs ERG 2 To conclude this section, we have shown that the three scalar operators of dimension 2,4 can be constructed from S as [ ] 2 φ2 = O m 73) x m [ ] 4! φ4 = O λ 74) [ 2 µφ) 2 ] = z N N x ) N m 2 O m y N O λ x m 7. Beta function and anomalous dimensions With all the necessary tools in our hands, we are ready to derive the ordinary RG equations for the renormalized correlation functions. This is done by considering the µ dependence of the action: Ψ µ µ SΛ;m2,λ;µ) 76) Differentiating Polchinski s equation with respect to µ, we obtain Λ Λ Ψ = q q/λ) q 2 +m 2 [ q 2 +m 2 Kq/Λ) φq) δ δφq) + δs δ δφ q) δφq) + δ 2 ] Ψ 77) 2δφq)δφ q) Hence, Ψ is a composite operator of zero momentum. This has dimension 4, and hence must be a linear combination of three independent operators O m,o λ,n. We first expand Ψ in terms of operators by examining its asymptotic behaviors. We find where Ψ 2 Λ;p, p) = Λ 2 ȧ 2 lnλ/µ);λ) 75) +m 2 ḃ 2 lnλ/µ);λ)+p 2 ċ 2 lnλ/µ);λ)+ 78) Ψ 4 Λ;p,,p 4 ) = ȧ 4 lnλ/µ);λ)+ 79) ḃ 2 lnλ/µ);λ) µ µ b 2lnΛ/µ);λ) = Λ Λ b 2lnΛ/µ);λ), 80) are the derivatives of the coefficients introduced in sect. 4. Hence, Ψ can be expanded as [ ] [ ] [ ] Ψ = ḃ2λ)m 2 2 φ2 +ċ 2 λ) 2 µφ) 2 +ȧ 4 λ) 4! φ4 8) where ḃ 2 λ) ḃ20;λ), ċ 2 λ) ċ 2 0;λ), ȧ 4 λ) ȧ 4 0;λ) 82) Using the results of the previous section, we can rewrite the above using O m,o λ, and N instead: Ψ = ḃ2 m 2 O m + ċ2 N x ) N m 2 O m y N O λ +ȧ 4 O λ 83) x m z N x m = ) ) x N ḃ2 ċ 2 m 2 y N O m + ȧ 4 ċ 2 O λ + ċ 2 N 84) x m z N z N z N
RG vs ERG 3 We now define so that βλ) β m λ) x m ȧ 4 ċ 2 y N z N ) ) x N ḃ2 ċ 2 z N 85) 86) γλ) z N ċ 2 87) Ψ µ S µ = β m m 2 O m +βo λ +γn ) 88) It is now trivial to derive the µ dependence of the correlation functions: µ µ φp ) φp 2n ) m 2,λ;µ = µ S µ φp ) φp 2n ) m 2,λ;µ = m 2 β m O m βo λ γn ) φp ) φp 2n ) m 2,λ;µ = m 2 β m m +β ) 2 λ 2nγ φp ) φp 2n ) m 2,λ;µ 89) where we have used 6,63,66). This is nothing but the usual RG equations for the renormalized correlation functions. Hence, β is the beta function of λ, and β m,γ are the anomalous dimensions of m 2, φ, respectively. At -loop, we find ḃ 2 λ) = λ 4π) 2, ċ 2λ) = 0, ȧ 4 λ) = 3 λ2 4π) 2 90) We also find, to leading order in λ, Hence, x m =, x N = 2, y N = 4λ, z N = 2 9) β = 3 λ2 4π) 2, β m = λ 4π) 2, γ = 0 92) reproducing the familiar results. For two-loop calculations, see [4] and [3] for γ). 8. Simplification in the Wegner-Houghton limit In the Wegner-Houghton limit [8] we take { x Kx) = θ x 2 2 < ) ) = 0 x 2 > ) This limit is known to introduce non-locality to the theory. For example, the inverse Fourier transform of the high-momentum propagator e ipr θλ2 p 2 ) 94) p p 2 +m 2 93)
RG vs ERG 4 behaves as sinλr)/r 2 for Λr. Despite this, this limit has its own merit of bringing nice simplification to ERG. In the Wegner-Houghton limit we obtain Kp/Λ) Kp/Λ)) = 0 95) Hence, O m,o λ,n become simply O m = S m 2, O λ = S λ p, N = φp) δs δφp) Therefore, 88) gets simplified to µ S µ = β m m 2 m +β ) 2 λ p +γ δ φp) S 97) δφp) meaning that a change of µ can be compensated by appropriate changes in m 2,λ and field normalization. By examining the asymptotic behavior of this equation, we obtain the following equations: µ ) µ β λ b 2 lnλ/µ);λ)) = β m +2γ) b 2 lnλ/µ);λ))98) µ ) µ β λ c 2 lnλ/µ);λ)) = 2γ c 2 lnλ/µ);λ)) 99) µ ) µ β λ a 4 lnλ/µ);λ) = 4γ a 4 lnλ/µ);λ) 00) We introduce a running coupling λt;λ) by = β t λt;λ) λt;λ) ), λ0;λ) = λ 0) so that the above equations are solved by b 2 lnλ/µ);λ) = exp c 2 lnλ/µ);λ) = exp a 4 lnλ/µ);λ) [ [ = exp 2 [ lnλ/µ) 0 lnλ/µ) 4 0 lnλ/µ) 0 96) dt { β m λ t;λ))+2γ λ t;λ)) }] 02) dtγ λ t;λ)) ] dtγ λ t;λ)) ] 03) λ lnλ/µ); 04) λ) Hence, the asymptotic behavior of the vertices are expressed fully in terms of β,β m,γ. Conversely, we can determine β,β m,γ by calculating b 2,c 2,a 4. At the lowest non-trivial orders in λ, the above equations are valid for any choice of K. This explains why the correct results were obtained in [3]. Their ρ,2,3 correspond to b 2, c 2, a 4, respectively.) The above results are so similar to the well known relation for the renormalization constants in the scheme for dimensional regularization. [7] From this, we conjecture that β,β m,γ inthe Wegner-Houghtonlimit arethe sameto all ordersin λto thosein the scheme for dimensional regularization. This is supported by the 2-loop calculations of γ,β m which are scheme dependent. [3, 4] But we have no other justification for this conjecture.
RG vs ERG 5 9. Conclusions In this paper we have explained how the ordinary RG equations arise from Polchinski s ERG equations. We achieved this goal in two steps: i) introduction of scheme We characterize the solutions to ERG differential equations by their asymptotic behavior at large cutoff. A renormalization scale µ is introduced to organize the logarithmic dependence of the asymptotic vertices on the cutoff. ii) derivation of the µ dependence of the solution to ERG We have shown that the µ derivative of the action is a composite operator of zero momentum, and therefore it can be expanded by the three operators whose properties we understand very well. Throughout the paper we have emphasized the difference between Wilson s ERG and Polchinski s ERG. They share the same spirit, but there are crucial differences that make the derivation of β,β m,γ somewhat non-trivial for Polchinski s ERG. Is there any way of modifying Polchinski s ERG to get something more like Wilson s? There is. Instead of following the Λ dependence of SΛ;m 2,λ;µ), we follow the µ dependence of Sµ;m 2,λ) Sµ;m 2,λ;µ) 05) This S is characterized by the large µ behaviors V 2 µ;m 2,λ;p, p) = µ 2 a 2 λ)+ 06) V 4 µ;m 2,λ;p,,p 4 ) = λ+ 07) V 2n 6 µ;m 2,λ;p,,p 2n ) = 08) which are devoid of logarithms. Although the asymptotic parts have no explicit µ dependence, the parts vanishing asymptotically depend on µ. This can be seen from the two one-loop examples 30, 32).) Under an infinitesimal change of µ µ t), we also change m 2,λ as m 2 m 2 + t β m ), λ λ+ t β 09) Then, the new ERG differential equation gives µ µ +β mλ)m 2 m +βλ) 2 λ ) δ +γλ) φp) Sµ;m 2,λ) 0) p δφp) in terms of integrals over momenta of order µ. This has been done in [4].) By construction, S µ t);m 2 + tβ m ),λ+ tβ ) ) lies on the same ERG trajectory as Sµ;m 2,λ).
RG vs ERG 6 As we have seen in this paper, the technique of composite operators is a useful and perhaps essential tool for addressing formal questions about perturbative ERG. The composite operators have already been shown to play essential roles in the applications of ERG to gauge theories and non-linear sigma models. See for example, [6].) This is also the case in a forthcoming paper [9] where we will apply the scheme of ERG to QED. Appendix A. Derivation of O m and N In this appendix we wish to derive the relation of the operators O m,o λ,n to the action. As preparation, we introduce two types of operators. We call them operators though they are not necessarily composite operators on their own.) Appendix A.. Type operator O [f] We define O [f] p fp)φp) δs δφp) A.) where fp) is an arbitrary function of momentum. This generates an infinitesimal linear change of field: δφp) = fp)φp) It is straightforward to derive the correlation functions of O : O [f]φp ) φp 2n ) S 2π) 4 δ 4) p + +p 2n ) = fp) [dφ]φp) δs δφp) φp ) φp 2n )e S = p = = fp) [dφ]φp)φp ) φp 2n ) δes δφp) p p 2n i= fp) δ [dφ]φp) δφp) φp ) φp 2n ))e S fp i ) φp ) φp 2n ) S 2π) 4 δ 4) p + +p 2n ) A.2) A.3) where we have neglected the derivative acting on φp), since it does not contribute to the connected part of the correlation function. Thus, we obtain Appendix A.2. O 2 [C] O [f]φp ) φp 2n ) S = 2n i= fp i ) φp ) φp 2n ) S A.4) We define O 2 [C] pcp) δs δs 2 δφp) δφ p) + δ 2 ) S δφp)δφ p) A.5)
RG vs ERG 7 where Cp) = C p). This generates an infinitesimal non-linear change of field: We can show δs δφp) = Cp) δφ p) A.6) O 2 [C]φp)φ p) S = Cp) A.7) O 2 [C]φp ) φp 2n ) S = 0 n > ) A.8) The first equation is derived as follows: O 2 [C]φp )φp 2 ) S 2π) 4 δ 4) p +p 2 ) = qcq) δs δs [dφ] 2 δφq) δφ q) + δ 2 ) S φp )φp 2 )e S δφq)δφ q) = qcq) δ 2 e S [dφ]φp )φp 2 ) 2 δφq)δφ q) = qcq) [dφ]e S δ 2 2 δφq)δφ q) φp )φp 2 ) = Cp )2π) 4 δ 4) p +p 2 ) A.9) For n >, the connected part receives no contribution. We note that the right-hand side of Polchinski s ERG equation ) is the sum of type &2 operators. Appendix A.3. Derivation of O m We first consider the two-point function. Since we obtain φp)φ p) m 2,λ /Kp/Λ) + φp)φ p) p 2 +m 2 S Kp/Λ) 2 m φp)φ p) 2 m 2,λ = /Kp/Λ) φp)φ p) S p 2 +m 2 ) 2 m 2 Kp/Λ) S 2 = Kp/Λ) Kp/Λ)) φp)φ p) S p 2 +m 2 ) 2 m 2 For the higher-point functions, we simply obtain m φp ) φp 2 2n ) m 2,λ = φp ) φp 2n ) S m 2 Thus, using a type 2 operator O 2 [C] for Cp) Kp/Λ) Kp/Λ)) p 2 +m 2 ) S 2n i= Kp i /Λ) S ) Kp/Λ) 2 A.0) A.) A.2) A.3)
RG vs ERG 8 we obtain m φp ) φp 2 2n ) m 2,λ = φp ) φp 2n ) S ) m O 2[C] 2 for any n =,2,. This defines O m. m 2,λ A.4) Appendix A.4. Derivation of N We consider the type operator O [f] corresponding to f = : O [f] = φp) δs p δφp) Then, we obtain A.5) O [f]φp ) φp 2n ) S = 2n φp ) φp 2n ) S A.6) for any n. On the other hand, we have and 2 φp)φ p) m 2,λ = 2 /Kp/Λ)) +2 φp)φ p) p 2 +m 2 S = 2Kp/Λ) Kp/Λ)) ) + φp)φ p)o p 2 +m 2 [f] S 2n φp ) φp 2n ) m 2,λ = 2n φp ) φp 2n ) S = φp ) φp 2n )O [f] S 2n i= for n >. Thus, using a type 2 operator O 2 [C] for Cp) 2Kp/Λ) Kp/Λ)) p 2 +m 2 we obtain Kp i /Λ) 2n i= Kp/Λ) 2 Kp/Λ) 2 Kp i /Λ) 2n φp ) φp 2n ) m 2,λ = φp ) φp 2n )O [f]+o 2 [C]) m 2,λ for any n =,2,. This defines N. References A.7) A.8) A.9) A.20) [] Wilson K G and Kogut J 974 Phys. Rept. 2 75 [2] Polchinski J 984 Nucl. Phys. B23 269 [3] Hughes J and Liu J 988 Nucl. Phys. B307 83 [4] Sonoda H 2003 Beta functions in the integral equation approach to ERG Preprint hep-th/0302044 [5] Sonoda H 2003 Phys. Rev. D67 0650 [6] Becchi C 99 On the construction of renormalized theories using renormalization group techniques Parma lectures) Preprint hep-th/960788 [7] t Hooft G 973 Nucl. Phys. B6 455 [8] Wegner F and Houghton A 973 Phys. Rev. A8 40 [9] Sonoda H 2007 On the construction of QED using ERG Paper in preparation