Pol Chin Ski 1984
Pol Chin Ski 1984
Pol Chin Ski 1984
R E N O R M A L I Z A T I O N A N D EFFECTIVE L A G R A N G I A N S
Joseph POLCHINSKI*
I. Introduction
* Research was supported in part by the National Science Foundation under grant no. PHY82-15249.
269
270 J. Polchmski / Effecttt,e lagr'angians
izable interactions. We know, however, that the latter divergences can be reabsorbed
in redefinitions of the renormalizable couplings. Thus, to accuracy E / A the entire
effect of the non-renormalizable terms can be absorbed in the initial values of the
renormalizable ones, and all quantities can be calculated in the resulting effective
field theory with renormalizable interactions only.
This idea is very nice, but still perturbative and graphical in nature. Also. it does
not attempt to address the question of why arguments based on naive power
counting are correct, that is, why renormalization actually works. A further improve-
ment comes with the idea of smoothly lowering the cutoff. As this is done. the
effective lagrangian changes. The effective lagrangian at lower scales is given in
tcrms of its form at a given scale, and its change with scale is governed by a scaling
or renormalization group equation. Typically, as we scale down to smaller momcnta,
the lagrangian converges toward a finite-dimensional submanifold in the space of
possible lagrangians. That is, the scaling transformation has only a finitc n u m b e r of
non-negative eigenvalues, with deviations in the orthogonal directions d a m p e d as wc
travel to low momenta. These orthogonal directions are therefore termed "irrelevant".
In the zero-coupling limit, the negative, irrelevant, eigenvalues correspond to pre-
cisely the non-renormalizable interactions. Since there is nothing discontinuous
about the scaling transformation as the couplings are changed, those eigenvalues
which were negative at zero coupling should rcmain negative at sufficiently small
coupling. This is equivalent to renormalizability, a connection which will be devel-
oped further in sect. 2. This understanding of renormalization is due primarily to
Wilson [l ]. Ref. [2] lists an assortment of discussions from related points of view.
The classic proofs of renormalization in perturbation theory [3-5] are based on
the old idea of removing infinities. They involve detailed graphical arguments and
convergence theorems [6] that are rather far removed from the present intuitive
picture*. The understanding in terms of renormalization group flows is so com-
pelling that one must wonder whether it can be justified only by appealing to the
existing proofs. In fact, we will find that this is not so. Once we learn to discuss
renormalization in the language of renormalization group flows, a proof follows in a
straightforward way. We are concerned here only with perturbation theory, but the
proof follows the outline we would expect for a non-perturbative argument.
In sect. 2 we study a toy renormalization group equation, showing how to divide
the effective action into relevant** and irrelevant parts. We show that the toy
equation describes a renormalizable theory. In sect. 3 we make concrete the idea of a
" We should mention in particular the proof of Callan and of Blaer and Young [51. which uses the
renormalization group to simplify greatly the graphical arguments. This is still essentially a graphical
proof, as it is based on a skeleton expansion, and is global rather than local in momenta, as it uses
Weinberg's theorem [6].
*" In standard usage what we call "relevant" is usually divided further into "relevant" and "marginal".
Throughout this paper, "relevant" should be understoc,,d to mean '" relevant or marginal".
J. I'ohhmskt / l:'ffectu'e lagrangta,t.s 271
In this section we study a toy renormalization group equation which describes one
relevant and one irrelevant coupling. This section is not needed for the proof in sect.
3, but is intended to illustrate the ideas in a simpler setting. The two couplings arc
g4, which is dimensionless, and g6, which has dimensions of (mass) 2. These have
been chosen to correspond dimensionally to a 4-point and a 6-point function in the
effective action of a 4-dimensional scalar field theory. These couplings depend on
the scale A according to
dg4
A - ~ =/34 ( ,I.~4,,"~296), ( 1a)
• dg6
A ~- = A 2136( g , , A-g 6), (1 b)
272 J. Poh'hinski / lffectwe lagrangtans
where factors of A have been inserted by dimensional analysis. Define the dimen-
sionless variables ~.4 = g4, )k6 = AZg6, so that
d)k 4
A~- = B4(~.4, ~'6), (2a)
d~. 6
A~- - 2~.~ = ,86 (X 4, ~.6). (2b)
Take a particular solution of (2), (X 4, X6), and consider small deviations e, = X i - ~,.
Then, to order e,
d E4 OqB4 O/~ 4
A dA 03~ 4 E4"{" ~ - 6 g6' (3a)
where the bar means the quantity is evaluated at (~.4, X6). The term - 2 e 6 in (3b)
suggests that deviations in ~.6 are strongly d a m p e d (by O(A2/A2)) as we evolve from
a scale At) to a much lower scale A. However, before a deviation in X6 is d a m p e d
away, it will, through (3a), cause X 4 to run a little faster or slower than it otherwise
would have done. (Compare the discussion in the second paragraph of the introduc-
tion of the low-energy effects of non-renormalizable terms: ~.~, enters only through
the effective value of ~4). Fig. 1 shows the situation in the ~4 - ~,6 plane. A l and A,,
initially separated by a small amount in the ~.6 direction, have evolved to B 1 and B 2.
The point B 2 is ahead and remains so as we move along the trajectories. However,
there are other points on the B 2 trajectory, such as B;, which are much closer to B~.
To expose this we write, again to order e,
d~4 £ "d~4
(4a)
(48)
e 2 8~
_ A Az
_ AI
so that (~4,'~6) is the vector from B~ to the point vertically above on the B 2
trajectory. (This is a convenient definition as long as/34 ¢ 0, so that the trajectories
do not turn vertical in the )~4 - ~,~ plane.) Thus we find
d~6
A-~-2~6=
{ ~a&
6 + - -Ok4
- A In/34 ~¢6, (5)
which integrates to
A2
As long as we remain at couplings sufficiently small that the integrand in (6) remains
small and that the ratio of/~4's runs sufficiently slowly*, the behavior of ~e, at small
A is dominated by A2/A~. Thus one would say that ,~ is an irrelevant parameter.
T w o nearby traJectories a p p r o a c h each other strongly in the infrared, the separation
going as a power of A/A¢~.
Fig. 2 shows the trajectories in the ~.4 - ~6 plane. As the initial conditions vary in
a two-dimensional space, the theory in the infrared lies very near a one-dimensional
subspace: as soon as we know k4. we know ~ . to accuracy A2/A~. Actually, even
this one relevant parameter just marks where we are along a single trajectory: it is
transmuted into a scale.
N o w let us relate this to the usual language of renormalization, lmagine starting
with a bare theory at a scale Ao, with k4 set to a particular valuc and ~ , to zero; this
is the point C~ in fig. 2. At a much lower scale A R, we are at D 1. at which k,~ is
defined to have the value k~. N o w consider a larger cutoff A'¢~. We can find another
Xe
* This is juM the requirement that the anomalous dimensions do not ovcrv,helm the canonical ones.
274 J. Polchinskt / Fffectwe lagrangians
satisfies the linearized eq. (3), because AoO/aA o c o m m u t e s with A O/OA. Thus. as
with e, before, it should be nearly parallel in the infrared to the relevant trajectory.
We want to subtract off the relevant part. the part parallel to the trajectory, but will
do this differently from before. Rather than subtract off a multiple of the tangent
vector to the trajectory, we will subtract off an appropriate (A-dependent) a m o u n t
of
a Is)
axe,
The vector (8) also satisfies the linear eq. (3), so it too should be nearly parallel to
the trajectory in the infrared. Define, then,
" In fact, it is not always possible to do this, sometimes ~ ] diverges for finite Ao. However. in
p e r t u r b a t i o n theo~', our eventual interest, 3~0a always exists as a p o w e r series in ~aa (see the end of sect.
1).
J. Polch~nskt / l?ffectit:e lagrangians 275
so that v 4 ( A ) = 0. o,(A) satisfies a linear equation similar to (5). and we can again
conclude that it is driven small in the infrared• The point of the definition (9) is that
That is, it is the total derivative of ~.,(A) holding )~4(A) fixed. For A = A R it is the
derivative of the point D in fig. 2 as the bare cutoff is changed. Once we conclude
that t:,(A R) is of order A~/A2o times slowly varying functions, eq. (10) may be
integrated to conclude that ~.,(A R, "4-o,X'](AR, ~4, A0)) has a limit as the cutoff is
taken to infinity. This is the usual statement of renormalizability. The quantity to be
studied in the next two sections is the analog of v,(A ).
There are many more useful exercises with these toy equations. Eq. (1) may be
solved order by order in gO. Divergences appear, just as in field theory, which canccl
magically in renormalized quantities (those expressed in terms of g4, not g]~). Of
course, from the point of view of fig. 2, this is not mysterious at all. One may prove
this to all orders, starting from the linearized equation for t',(A), and one is led to
the same steps as will be taken in sect. 4. Finally, additional relevant and irrelevant
couplings may be added, with similar conclusions.
Let us summarize the relation between the flow of the effective lagrangian and
renormalizability. Suppose it is known that the effective lagrangian at low scales is
strongly attracted towards an n-dimensional submanifold, where n is the number of
renormalizable couplings. Consider the n + 1 parameter theory defined by the values
of the n bare couplings and the bare cutoff ."t°. Then in general each point on the
n-dimensional submanifold is the image of a one-dimensional curve in the set of bare
theories• It is then possible (modulo the global questions discussed at the end of sect.
1) to take A° to infinity along such a curve, with the physics at a given scale thus
remaining fixed to accuracy of inverse powers of A°.
Here K(p2/A2) is a general cutoff function which we will take to have the value 1
for p2 < A 2 and to vanish rapidly at infinity• We define the theory by the propagator
(11) and vertices given by the interaction lagrangian
Lm, = f d 4 x ( _ ~ ~p,,~
,,2 {x)- , o
~p,(a,,,~(.,•)) ~
-- 1 o°,~(x) ) . (12)
276 J. Polchtnski/ Effectn,elagrangians
The bare couplings, which we label p°a, are usually called
pl~ = ~m 2 " Oil_ = Z - 1 , 03
o =
Xo • (13)
That is, A R is kept above the scale at which we are probing the physics. When we
integrate modes out, new effective interactions are generated. To see this, write the
functional integral with a general interaction lagrangian L(~, A):
+J(p)q~(-p)] + L(,,A )I
?
so that
dZ ([ d4P [_ p2 o~ '(P2/A2)]OA
A-d-~=fdep .t ~ - ) - g [ ½q~(p)ep(-p)( +m2)A
+A o~L(~,A))expS(~,A). (17)
J. Polchm~.ki / Effective lagrangmns' 277
l 1
(o) (b)
Fig. 3. (a) Replacement of propagator with (Ol./O~) 2 vertex. (b) Replacement of propagator wilh
( 3'2l./a~ 2 ) vertex.
If we choose
f aL OL #2L
(18)
x,~ a4,(_p) 04,(p) + a4,(p)a4,(-p)/"
then eq. (17) becomes
dZ aK(p2/A 2) o
A =f d p'x aa f d4, O4,(p)
×{(4,(p)K, l(p2/A2)+~(2~)a(p2+m2) -I 34,(c9')-p),
× e x p S ( 4 , , A )l = 0. (19)
(Recall that, due to (15b), J(p) has no overlap with c~K/c)A.) This naive manipula-
tion is justified because there is a cutoff. We have neglected field-independent terms
which just change Z(J, L, A) by an overall factor.
Eq. (19) says that if the cutoff A is reduced and simultaneously the lagrangian
changed according to (I 8), Z ( J ) and its functional derivatives, the n-point functions,
are left unchanged. Eq. (18) has a simple graphical interpretation. As modes are
removed from the propagator, compensating terms must be added in the interaction
lagrangian. Graphs where the differentiated propagator connects two different
vertices, as in fig. 3a, produce the first term in the bracket in (18), while graphs
where both ends of the propagator connect to a single vertex, as in fig. 3b, produce
the second term.
Although the lagrangian might start with a simple form such as (12), at lower
scales it becomes quite complicated. However, at scales A far below A0, we expect
that a great simplification will occur. That is, no matter what initial lagrangian we
start with (within limits) the lagrangian will be strongly attracted toward a three-
dimensional submanifold in the infinite-dimensional space of possible lagrangians.
Three, of course, is the number of relevant or renormalizable operators, namely 4,2
4,024,, and 4,4 *. A convenient set of coordinates for the submanifold is obtained by
expanding L( ~, A ):
o , { A ) = - t . , ( o , o. ~,~), (21a)
1 02
P2(A) 8 Op~ L2(pI'-p1"A)Ir'~°" (21b)
Note that in the approach we are taking, massless particles are no complication: (21)
will be suitable even if m = 0. We emphasize that on the submanifold, the lagrangian
is not expected to have any simple form such as (12), but that once the three
"coordinates" (21a-21c) are given, the rest of the action is fixed.
We need to divide the flow of the lagrangian into relevant and irrelevant parts.
Consider the vector (in the space of lagrangians)
where the dependence on the initial condition (12) is written explicitly. This vector
satisfies the lincarized equation
A O_~,~( A ( ) ~ ) if _~(pOK, 2 + m2 ) 1
02
{ o l,o
x . 2 o e o ( - p ) o , ( p} ~" {, o~,, t+
(23)
{24a)
J. I'olchinskt / l-ffi, ctire lagrangtan.s 279
- o OA.
At small A, the vector (22) is expected to be very nearly parallel to the three-dimen-
sional relevant submanifold. So are the three vectors
0
- - L ( ,~. A. A,,, p" ). (25)
ap~
which also satisfy eq. (24). Thus, if we form the linear combination of A,,aL/OAo
and OL/Op.
" " " which vanishes in the three directions (21). it should be driven very
small in the infrared:
Here Opl~/Op,,(A) is the matrix inverse to Oph(A, A 0, p°)/Opl~. This inverse always
exists in perturbation theory, as the zeroth order term is just 6,h" V(A ) satisfies the
linear equation
A aV(A)
aA (
M A. aL(A)
OAo )_ E M (
..h
aL(A)
a"
. P.
Oo.
a0,,(A~A° OOh(A )
aA,,
using the linearity of M. Eq. (27) is our key. It is an equation linear in the quantity
we wish to prove irrelevant, analogous to eq. (5). When (27) is written out explicitly,
it will contain complicated non-linear terms involving products of V with L. The
exact form of these terms no longer matters, however, for these terms are the ones
which vanish fastest when the coupling is made small. Thus, at sufficiently small
coupling, the infrared behaviour of (27) will be dominated by the purely linear
terms. These terms drive V to zero according to its canonical dimensions, since we
280 J. Pohhtnski / l-ffecm,elagrangians
have constructed V so that all pieces with d i m e n s i o n s o f m a s s to n o n - n e g a t i v e
p o w e r s are absent. W e will p r o v e that this is true in p e r t u r b a t i o n theory. T h e p o i n t is
to s h o w t h a t the a n o m a l o u s d i m e n s i o n s are c o u p l i n g s t i m e s p o w e r s of l o g a r i t h m s , so
the i n t e g e r c a n o n i c a l d i m e n s i o n s d o m i n a t e .
In o r d e r to p u t b o u n d s o n V, we will n e e d b o u n d s on the r u n n i n g l a g r a n g i a n (20)
a n d its first f o u r - m o m e n t u m d e r i v a t i v e s , on the q u a n t i t y
1, p2 ~ ,,i2
K(pe/A2)={exp{(l - p~/A 2) 'exp((4-p2/A 2) t)]. ,42 < p ~ < 4 A 2
0, p2 > 4A 2 "
(29)
Q(P'A'm2) 1 A,o~K(p2/A:).
(p2+m2) (30)
O n e m a y easily verify that there are c o n s t a n t s C a n d D,, such that for Im2l ~ A R ~ A,
0" )
-O-p; Q( p" A , m 2 < D,,A " (32)
"It might cause some concern that eqs. (16), (17) and (19) refer to K i(p), yet K(p) is taken to
,.anish for p2 > 4A2. In fact the n-point functions arc still invariant under eq (1 g). as ma'. be seen by
considering K(p) as the limit of a K(p) which no~.here vanishes. Since the propagator (11) and the
effective lagrangian (18) involve only K(p) and not K 11p). tl'fi:, limit is smooth and tile invariance
of the n-point functions under eq (18) for K( p ) implie.,, the same for K( p ). h is also possible to carp,
through the whole proof with K( pJ, but then a different norm from (33L with a non-zero weight
function falling, off as p ~ at. must be used.
J. Poh'hmskt / Effective lagrangtan.~ 281
for a function of one or more momenta. This is a useful definition because the values
of the effective vertices for p ) > 4A 2 are meaningless, the propagator vanishing in
this range.
Now write the renormalization group equation (18) in terms of the dimensionless
functions A 2 . , = A 2"'- 4L2m,where L2,,, are the component functions in (20):
Q(P.A.m2)A21(pl . . . . . P21 i.
/=1
- (2rrAd4p)
aA2 .....- ( p' . . . . . P2 .... p. - p . A ) Q ( p . A , m2). (34)
y'2/-
where P - - ,=l 1P,.
_
Referring to (31) and (32) gives
'" 1 ( 2 m ' I
~ ,._.~, { 2 \ 2 1 - 1 ) D ° I ' A z ' ( A )[I'J'A2 .... 2 2,(A)ll, + _,CIIA2 .... 2(3.)11-
35)
Eq. (35) shows the simplicity of the present approach. Because the momentum
integrals encountered are always restricted in range, they may be cstimated naively.
r e p l a c i n g / 1 2 , , , - 2 ( P , ) with its maximum valuc. Thus. the detailed momentum depen-
dence no longer enters and eq. (35) is nearly as simple as the eqt, ation.s in sect. 2.
From (35) one can see the strategy that will be followed in the inductive proof. At
any ordcr in perturbation theory, the non-linear terms on the right-hand side of (35)
282 J. Polchmski / t'ffectwe lagrangtans
( 0
Op2
O
Op¢ )A 2 . , ( p 1. . . . . P2m, A)=_O~,lA~.,.
'" -
(36)
"1 1
/=~l {2( 2~/~F/1)( DI z/~ I['A2/(A )[' " ""~2m t-2 2/(/~ )1'
(37)
Again this will involve only lower orders or larger m. Similar results hold for any
number of derivatives acting on A 2.,-
Turning now to the quantity OL(A)/Opt,(A). eq. (28). one finds, using the fact
that M is a linear operator,
(o
A-~-+4-2m-28
)
m Bh,2m ( p l . . . . . P2 .... A)
_ "-i f ~ Bd4P
h.2 .... 2 ( P , . . . . . P : . , . P . - P . A ) Q ( P . A . n'2)
/k2
+/32.2,,,( [1 ..... P2 ..... '~") 16
so that
. . . . .
Similar results, parallel to (37). hold for any number of derivatives acting on B/,.:,,,.
284 J. Polchmskt / Fffi,cnce lagrangians
,42)
Eq. (27) becomes
( a ~ 03 X + 4 - 2m) V2., (P, ..... P2., . A )
=- ~
/=1
(Q(P,A,m2)A2t(P,p 2 t - I , P , A )
.....
-~f d4----C-
p V2-,* 2( P~ . . . . . P2m' P' -- P, A ) Q ( p , A , m 2 )
(27rA)4
42
+B~.~,.(p~ ..... p~.,,a)~6 f d4q
(2~ra)4
0z
× ~ V 4 ( q l , - q l , q , - q , A ) l v , = o Q ( q , A , m2)
Oq?
+ B ~ ( p , ..... p2.,.a)!f d4q
' (2~rA)4
4. Perturbative renormalization
In this section we will prove, in perturbation theory, that V(A ) is driven to zero in
the infrared. At the end of the section we give the steps needed to convert this into a
statement of the cutoff-independence of n-point functions•
Theorem• Consider the field theory defined by the propagator (I1) and vertices
(12). Define the effective lagrangian L(O, A, A o, po) and the relevant parameters
0h(A ' 3.o. po) as before. Define p~(A R. ~ a Ao ) implicitly by
exists, where L(¢, A R, )~R Ao ) _= L(q~, Art, A o, p°(A R, )xrt, Ao) ), and at rth order in
h g•
~<A~ 2"( AR ) 2
,~o p2r . , ( I n ( A , , / A R ) ) " r+l-m>~0
=0, r+l-m<0,
(47)
,1 .s- 1
-~-I Y" ! 2 - 1~) D°llA(Sz)(A)[I" A~;'"z) 2z(A)ll + - ;l C l l A ~ ' ; ) ' 2 ( A ) I I " (49)
/= t=l
n ~ 1 1(
~p2, ,(in(Ao/XR))P2, 2. . . . : ,(In(A()/AR))+p2 ..... In(A()/AR) )
/-1 t=l
= p2 ..... I ( I n ( A ) , / A R )) "
(50)
A ~ +O4 - 2 n )0 u'
,,,/,'" .3~":A~;](pl
:, ..... p2,,,A) <~A PP2' " '(ln(.~,,/a,)).
(51)
I n t e g r a t e (51). F o r n >/3
,u-i . . :,1,%.,4(-~ ) [ n
Ila,,.,,. %,.,/.2,~,-1 ..... P2,. ,'1)1i
* It is curious that this one simple fact cannot be determined from eq. t34). To see the problem,
consider the simpler system dr:( x ) / d x =f, ~ 1( x ). i = 1..... oo,/i(0) = 0. This has many ,,,olution.',,
such asf,(x) = 0, orfl(x) = exp( l/xZ),f,(x) = 2exp( l / x 2 )/x 3. . . . . Eq. (34) becomes complete
with additional information, such as the vanishing of At,'~], for large m.
J. Pohhmski / Effecttt'e la,wan.gians 287
This establishes the induction step down to n = 3. In thc same way it carries to n = 2,
p >/ 1, but for n = 2, p = 0 there is an extra term from the initial value of ,4 4, and we
proceed differently. By (51),
Integrate (53) up from the initial value A ]'~= - - 8 '1 at A = A~, eq. (45c). to obtain
.I
A~a'l( PI" P2, P3" P4" ,4_ ) = A ~ " ( 0 , 0 , 0 , 0 , A )+ E
t,]=l
P,~P;'~d),(1
I - k)
×(0" a,,
~..~,.,.4..,~ P; , P z' - P ; , p4, A))l,,'-~,r, . ( 5 s )-
Both terms in (55) are b o u n d e d by p 2 , - 2(In(Ao/AR)). the first from eq. (54) and
the second from eq. (52) for n = 2, p = 2, so the induction step follows for all of A] '~.
For n = 1, p/> 3, eqs. (51) and (52) follow immediately, while from (51),
/ ..~ \
}~/ AOA av n , )zt . .,.y l , p ~ , A
v + 2 / a ~vl.zv,,z,,
' )e~=ps=0 <~A- Zp2, - = ( I n ( A , , / A ~ ) ) . (56)
Again integrating up from the initial conditions (45a, 45b) one obtains
10~.2 (~"
Y l , 2 "a' 2, , " ( p ; , p ~ , A)p;=p~_0l <~a 2pZ, l(ln(Ao/A R)) (57)
288 J. Polchinski / l'.ffectwe lagrangtans
A(')t
2 ~Pl,-Pl, a)=AC')(O,O,A)+ .~p,p,(O~.2a~.zA~2O(pl,pz,
~' . . . . A))p;=v,.=o
Eq. (52) for n = 1, p = 4 and eq. (57) establish the induction step for n = 1, and the
lemma is proven.
It is somewhat contrary to the spirit of our proof that we have had to integrate up
from A R and not just down from A o, and this deserves some comment. In the case
of A4(0) and 02,42(0), this was just a convenience. The initial conditions for these at
A o involve 0 ° and 0 °, so proceeding as we have, we avoid carrying po and 0 ° around.
(This is also why In A R appears so early: it comes entirely from the dependence of p0
and p~ on ln(Ao/AR).) In the case of A2(0), however, integrating from A R was
essential. The point is that our theory is not actually on a typical trajectory. On a
typical trajectory, A 2 ( 0 ) - A{j/A 2, that is, the scalar mass is of order A o, and this is
all we would have learned integrating down from A o. By imposing (45a) we have
forced the initial values of 0° to be finely adjusted so as to produce a scalar with
m << A0. We must therefore integrate up from (45a) to produce the needed bound
on A 2. This is of course the famous naturalness problem for light scalars [8].
Lemma (ii). At order r in Xa,
r + 2 - m > 0,
= 0. r + 2 - m < 0. (59)
Proof of lemma (ii). From the definition (28), the initial condition is
P; (6o)
Bt,,em(Pl . . . . . P2,,,,A(,) = -~/,1~,,,1 - ~t,2~,,,1 Z - ~,3~m2 .
(61)
as may be verified by inserting (61) into (40). Thus the lemma is established for
J. Pok'hmski / Effectu'e lagrangians 289
+_, C•liB,,,,)2,,
_ , )
2(A)iI+'C -
Y'. '~~l ,'2"n (.1)ll'lJOh('4 " ( A ) [ I
t=[)
•, l
Because of the z e r o t h - o r d e r term (61), there are some terms on the right side of (63)
which involve B ~'~ and not just B ~ l ) and so are p o t e n t i a l l y not b o u n d e d by the
i n d u c t i o n hypothesis. These are the last three terms when t = 0 and the third to last
term when t = s. The latter p r o b l e m involves only h -- 3 and the u n k n o w n b o u n d is
on BI~),,. so there is no p r o b l e m if at cach value of s and n we b o u n d B[~,),, before
(•)
B3,,,. The former p r o b l e m is not present if n > 3, because of the form of (61), so for
n>3
, A(~-A + 4 - 2 n - 2 8 m B('I
t~. 2 ~I ( P i "" --./)2,, " -1
+p2, ,,-a,,,(In(A,)/AR))
In a similar way,
Integrating
I]O,~',j,... O t~'~
p , Jp B~S)2
, gl (p~ . . . . . P2n * A)II
which establishes the induction step down to n = 3. Once (66) is known for n<.~ ~ h . 6 ' the
right-hand side of (63) is bounded for n = 2 and (64) and (66) then follow for n = 2.
Then with (66) for n<s~u h , 4 , (63) is bounded for n = 1 and (64) follows; eq. (66) now
follows for n = 1, p >/2 and with (62a) the rest of R{,~ ~t,.2 can be reconstructed using
Taylor's theorem, completing the lemma.
L e m m a (iii). At order r in )~
r+l -m>_-O,
=0, r+l -m<0. (67)
•
4- o -L-a
0A o
L(A.A o,
o°)l,,~,,+Aa-~-sC(a ,
4-0.p°)l ..'~_,.
so that with eq. (51) of iemma (i), the initial condition satisfies
Also from the definition (26). it follows that ,t"m~2,,= 0. Suppose the lemma to be true
for r = s - 1, some s >/ 1. Again we argue inductively d o w n w a r d in m. The vanishing
of V,~;~,~ for m > s + 2 follows by the same argument as for a~.~ Suppose the lemma
_ Jl2/q I"
D(t)
+ ~c ~ {11,,, -,,,(A)II.IIV2' "(A)li
t=0
+ ~A 2 t~2.2,,(
"~,1 A )ll" 0~ 20'~ 2V4~' "(,4,)11
+ m,,
~3,2m (A)II'IIV,,'"-"(A)II} (70)
As in lemma (ii), the induction hypothesis bounds the right-hand side of (70) if the
t = 0 terms vanish. In particular, for n >/3,
( ')2
~<A p 7~"o p2, ,, l(ln(A,,/,~ R)). (72)
, ?
01'.' , . " " ,,,. j,,V2,, ( Pl . . . . . P 2 . . "X )11 ~< A P ,~ p2, ,, l(]n( ,io/.~. R ))
Ja A' ~ A '
A )2
<~A ~[ S~,, p2, "(ln(,~,,/,,~,~)), (73)
establishing the induction step down to n = 3. As in lemma (ii), eq. (73) for n = 3
gives us eq. (71) and (72) for n = 2 . Eq. (73) then follows for n = 2 . p > / 2 but
I/4(0, 0, 0, 0, A ) is known (it is zero by construction) and Taylor's theorem establishes
the induction step for all of n = 2. Eq. (71) and (72) now follow for n = 1, eq. (73)
follows for n = 1, p >/4. Again, n = 1, p = 0 and p = 2, vanish by construction at zero
m o m e n t u m and we use Taylor's theorem to establish (73) for all of n = 1 and thc
iemma is proven.
P r o o f o f theorem. By definition of V,
V((#. A R , )~R, AO ) = ,1_,,d.~, 1. (¢" "4-R, Ao" P°( '1-R" )~R.,4,,)). (74)
(75)
x{ pZr mt'n,Ao,AR,'_ __
A'o,
p2,-m(ln(,Vo/A
r+l-m>~0,
r+l-m<0.
R)) },
The existence of a limit (46) with the property (47) follows from elementary
properties of limits (Cauchy's criterion), completing the theorem.
Ultimately we are interested not in the effective lagrangian but in the n-point
functions. A general n-point function G ( A o, A R, ~R) is defined initially with the
propagator (11) cut off at A 0 and the bare vertices (12), with po defined as a function
of ~R by the renormalization conditions (45). The point of integrating out modes was
that we get the identical answer if we use P ( p , A R) cut off at A R, and the vertices of
the effective lagrangian at A R. Thus at order r, G¢'~(Ao, A R, AR) is given by a finite
n u m b e r of terms of the form
f d4,pL~%~(AR,Ao)...L~%~(AR,
Ao)p(p1,AR)...p(p,,,Ak), (76)
.I. I ' o k h m s ' l ~ t / Kl][ecm'e lagrangtan.~ 293
X II-2.,,
/-(rtI(AR, Ao). • . /*{, 2rt ~~ lI (t A R , . ' ~ o )
The separate integral over the propagators has no A° dependence and is obviously
convergent for m 2 > 0, converges at rn = 0 if we avoid the IR divergent point
p~,~,,,j = 0. and converges for m 2 < 0 if we shift to the correct minimum. The shift in
the last case is no problem, as the theorem for L(~. A~. ~R. A0 ) implies the same
result for [.(~ + v. A R. ),u. Ao). The difference in lagrangians in (77) is bounded bv
the theorem, so
and so the n-point functions have limits as A o --, zc. which they approach as 1/.l{j.
The argument leading from the linear equation for V(A ), eq. (27). to renormaliza-
bility, eq. (78). is lengthy. We claim, however, that the result was a foregone
conclusion, for the reasons discussed following (27). ()nce loop integrals can be
treated naively, as in going from eq. (34) to eq. (35), the difference between the field
theory and the toy equations such as in sect. 2 all but disappears. Since the toy
equations can be understood even for small finite coupling, we always had a map
through the perturbative woods.
Two things that we have come to expect are missing from this proof. The first is
Weinberg's theorem, which justifies naive power counting for multiloop Feynman
graphs with many potential subdivergences. The second is a discussion of such ideas
from graph topology as skeleton expansions and overlapping divergences. The point
we have tried to make is that renormalizability is a general property which does not
hinge on these particular technical points. In our case, naive power counting for
integrals was justified because they were always over the limited range A e < p2 < 4.~e.
The renormalization group equation automatically disentangles the overlapping
divergences, for in building an arbitrary Feynman graph with the operations shown
in fig. 3, it always constructs the subgraphs with the largest momentum first.
294 J. Poh'hinskt / I:.ffectice lagrangians
References
11] K.(J. Wilson. Phys. Rev. IM (1971) 3174, 3184:
KG. Wilson and J.G. Kogut, Phys. Reports 12 (1974) 75
[21 L.P. Kadanoff, Physics 2 (1966) 263:
J. Glimm and A. Jaffc, Fort. Phys. 21 11973) 327;
E. Brczin. J.C Le Guillou and J. Zinn-Justin in Phase transitions and critical phenomena, eds. C.
Domb and M.S. Green (Academic Press, London, New York) 1975:
T. Appelquist and J. Carazzone, Phys. Rev. D l l (1975) 2856:
S. Weinberg, Physica 96A (1979) 327
[3] F.J. Dyson, Phys. Rev. 75 (1949) 486, 1736;
A. Salam, Phys. Rev. 82 (1951) 217; 84 (1951) 426
[4] N.N Bogoliubov and O.S. Parasiuk, Acta Math. 97 (1957) 227;
K. ttepp, Comm. Math. Phys. 2 (1966) 301,
W. Zimmermann, Comm. Math. Phys. 15 (1969) 208
" I v,'ould like to thank D. Friedan and S. Shenker for discussions of this point.
J. P~,hhm~'kt / l:~([e¢tn'e ktgrangtan.~ 295