Professional Documents
Culture Documents
Series B: Physics
Progress in
Gauge Field Theory
Edited by
G. 't Hooft
Institute for Theoretical Physics
Utrecht, The Netherlands
A. Jaffe
Harvard University
Cambridge, Massachusetts
H. Lehmann
University of Hamburg
Hamburg, Federal Republic of Germany
P. K. M itter
University of Paris VI
Paris, France
I. M. Singer
University of California
Berkeley, California
and
R. Stora
Laboratory of Particle Physics
Annecy, France
Plenum Press
New York and London
Published in cooperation with NATO Scientific Affairs Division
Proceedings of a NATO Advanced Study Institute on
Progress in Gauge Field Theory,
held September 1-15, 1983, in Cargese, Corsica, France
vii
PREFACE
G. 't Hooft
A. Jaffe
H. Lehmann
P.K. Mitter
1.M. Singer
R. Stora
CONTENTS
Index . ........................
AN INTRODUCTION TO GRAVITATIONAL ANOMALIES
Luis Alvarez-Gaume
INTRODUCTION
The connection between this anomaly and the index theorem for
the Dirac operator is best understood if one computes the anomaly
through a method introduced by Fujikawa. 15 However, before we do
that, it is necessary to explain why all of this is in any way
related to supersymmetric quantum mechanics.
F F
In [16], E. Witten introduced a quantity 6 = Tr(-l) «-1)
in the fermion number operator) which "counts" the number of
bosonic states minus the number of fermionic states. In a
super symmetric theory, the hamiltonian can be written as the square
of a fermionic charge S (the supersymmetric charge), H = S2, thus
for any bosonic state of energy E f 0, IE>, there is a fermionic
state with the same energy SIE>, so that for non-zero energy
states, their contribution to 6 cancel in pairs leading to the
conclusion that 6 is uniquely determined by the zero energy
states of the system under considerations (in order to avoid
confusion it should be mentioned that these arguments are carried
out in a box with finite volume V, where the concept of several
zero energy states makes sense). In other words, 6 is equal to
the number of zero energy bosonic states minus the number of zero
energy fermionic states. As E. Witten showed, 6 is extraordinarily
useful in determining whether certain theories (among them
supersymmetric Yang-Mills theories) will undergo dynamical
super symmetry breaking. Moreover, if we restrict our considerations
to the zero momentum sect~r, we have that in any super symmetric
theory {Q, Q*} = H, S =Q+Q and Q2 = 0, Q*2 = 0; which immediately
implies that 6 = index Q thus for field theories in 0+1 dimen-
sions, i.e. quantum mechanical theories, H is simply a 2nd
order elliptic operator and Q and Q* are first order elliptic
operators which define a square root of H, and it was soon rea-
lized that Tr(-l)F could be used to generate a proof of the Atiyah-
Singer index theorem for judiciously chosen supersymmetric
systems whose supercharge coincides with differential operators
whose index is relevant both in gecmetry and physics. 17 ,18,19,20
For example, T. Parker 17 used Tr(-l)F to derive the Gauss-Bonnet
formula for the Euler character, and to study some properties of
heat kernel expansions, D. Friedan and P. Widney18 used 6 to derive
the index formula for the Dirac operator, and the present author 19 ,20
carried out a more exhaustive search of super symmetric quantum
mechanical systems which are related to interesting index problems
as well as their corresponding G-index generalizations (generalized
fixed point theorems of M. Atiyah and R. Bott. 2o The outline
presented in [19] for a proof of the Atiyah-Singer index theorem
4 L. ALVAREZ-GAUME
",i dx j
S = gij't' ",i = eia",a, i' i j .('ab
gJ:eaebu, (2)
dt' 't' 't'
a + rk ea a b (3)
die j ij k + wibe j = O.
1 d
+ --;--. (4)
1 dX 1
where we have used the fact that wiab -Wiba' Hence the supercharge
s becomes
S = +
-i1jJir~ 1: W. b[1jJa,1jJb]]
tdX1 4 1a
= - ~ [~+
/2 1
1: W
dX 2 iab
(Jab ),
J (5)
ab
(J = 41 a b
[y ,y ],
AN INTRODUCTION TO GRAVITATIONAL ANOMALIES 5
F -SH . 2
Tr(-l) e = Tr r2n+lexp-S(~~) /2 = index ~ (6)
Tr(-l) e
F -SH 1 r r
= - - n J d Vol (dW O)
n
II
xa / 2
sinhx /2 (9)
(27T) J a=l a.
where thJ xa's are the skew eigenvalues of the antisymmetric matrix
RabcdW5Wo/2. Even though the integrand in (9) looks non-polynomial,
if we expand tl1e integrand around xa = 0 we obtain a finite
polynomial because each xa is a bilinear in the Grassmann numbers
wfi, and the highest non-zero polynomials in the w3's that can be
formed is of order 2n. If we restrict (9) to the case of four
dimensional space-time, we find
6 L. ALVAREZ-GAUME
e = det(eai) (10)
(12)
(13)
(14)
AN INTRODUCTION TO GRAVITATIONAL ANOMALIES 7
II d b da •
n n
n
n,m
I db da
n n
+[II
n,m
dbda]exp-2irdxeIv/(x)a.(X)Yslj!(X)
n m J
n
n
(15)
the minus sign in the exponent is due to Fermi statistics. If
for simplicity we choose a. to be constant, the computation of the
anomaly is reduced to computing the trace in (15), or rather its
regularized form
lim
S+O
I (dx) I lj!!(x)Yslj!n(x)e
n
-SA2
n = lim Tr Yse
S+O
_S(i~)2
(16)
F
which in terms of our previous arguments is nothing but Tr(-l)
e- SH for the theory defined by (1), since we showed before that
Tr(-l)Fe-SH is the index of the Dirac operator, we immediately
obtain the anomaly equation:
2i
- - - 2 RR (17)
384n
(18)
(where A~ is the gauge field and F~j its gauge field strength) is
a theory1whose hamiltonian is equal to (i~)2/2 and:
8 L. ALVAREZ-GAUME
~ = y
i
l(°i + 21 wiaboab + iAiTaa) (19)
-!3(i~)2
and compute Tr r 2n+l e is equivalent to computing (7) where
(_l)F is the fermion number operator for the ~a fermion, thus the
c-fermions must be integrated over with antiperiodic boundary
conditions. Before writing down the final answer for Di <Ji5> in
four dimensions, it should be mentioned that the path integral
over the c-fermions has to be restricted to the set of one-particle
states, because we want to calculate the index of i» (or the
anomaly) for fermions in the representation (Ta ) and not in any of
its tensor products, and clearly the only set of states in the
Hilbert space generated by the c-fermions which generate this
representation are the one-particle states. We evaluate
Tr r2n+lexp-S(i~)2 by following the same steps as in the purely
gravitational case. In the S+O limit, we can expand around the
constant configurations. Since the CIS are integrated over with
antiperiodic boundary conditions, the only constant configuratio~
for the CIS is c=O, thus (18) is already second order in c and c •
The expansion of x(t) and ~(t) is carried out as before. Computing
now the Gaussian fluctuations around (xO'~O,c=O) and projecting
onto the one particle states for c and c*, we obtain 2o :
(20)
dim T - 1 -
- - - 2 RR + --2 Tr FF (21)
192n l6n
as should be. 23
Similar arguments can be carried out for the case of the spin
3/2 field, and in general for the computation of virtually any
chiral anomaly for global currents. If we compute the anomaly
using Fujikawa's procedure, we only have to compute the anomalous
variation of the measure. This in turn reduces to the computation
of a trace
the fields of the theory, but as shown before this trace can be
represented as a Green's function for a super symmetric quantum
mechanical system: Tr(-I)Fe-SHL(x,p) in the S~O limit. This
procedure can for instance be applied to the gravitational
anomalies to be discussed below.
GRAVITATIONAL ANOMALIES
(21)
for some gauge group G, and the left and right handed spinors A, X
are completely independent. The question one is interested in is
whether the effective action rCA) for fermion in the representation
T is gauge invariant. Under a gauge transformation, A~ ~~-D~E:
(23)
(Z4)
and
±il (2K+l) !
(26)
(27)
S = -
2
~ f dx (hAa d~ hva )$ r~AV
16
1-y S 1jJ + O(H3 )
2
(28)
A = Tr Ys(~+M)t(1)(~_p(1)+M)t(2)(~_p(1)_p(2)+M) .••
_22K+lE:
~1~2" '~4K+2
we obtain
where
(2K+l) (2K+l)
p E: •
~4K+l ~4K+2
where p and p' are the incoming and outgoing momenta of the scalar
particles, and at the anomalous vertex we have a factor of
(-i/4)E:(0) (p~ +p'~).
~
AN INTRODUCTION TO GRAVITATIONAL ANOMALIES 15
-
i
- E
(i)(+,»).1
P P
4 ).1
~ 6,9
p~p+q
i).1v (l-Y 5)
-E Y
4 ).1 2
Figure 1
Feynman Rules for Sl and S2
16 L. ALVAREZ-GAUME
(2K+1)
E ' P2K+1
Figure 2
Anomalous Diagram for a Spin 1/2 Fermion
1 ds SD]JD -SM
=--- --Tre e (30)
Vol s
o
-x
F 2 1 (31)
]Jv
x.1 /2 I
-S
M2
41T sinhsx/2 J e
(33)
2K+l x ./2
z IT
1
(34 )
i=l sinhx. / 2
1
2K+l x ./2
1
IT
sinhx ./2
i=l 1
x./2
1
] [ -1+2 2K+l
l: cosh Xj
1 (36)
sinhx/2 ij=l
1 2K+l x
i
8 IT tauhx ..
i=l 1
2 222
p = 2: x. , 2: X.X.x,
1 ~
i<j<k ~ J k
In two dimensions:
1
11/2 - 24 PI
23
13/2 = 24 PI
1
lA = - 24 PI (37)
=_1_ 2
11/2 5760 (7Pl- 4P 2)
1 2
= - - ( 275P l-980P2)
13/2 (38)
5760
1 2
lA =5760
- - (16P - 1l2P2) •
l
1 3
967680 ( 225P l-1620PlP2 + 7920P3)
1 3
967680 (- 256P l +1664PlP2 -7963P3) (39)
ACKNOWLEDGEMENTS
REFERENCES
F. Alexander Bais
ABSTRACT
I. I. nHRODUCT ION
23
24 F. A. BAIS
1. 2. S2
(2.2)
e~ = n g~Veb (2.3)
a ab v
For the standard line element on 8 2 ,
(2.4)
e
e de , e
(j) •
= S1n e d(j) • (2.5)
Note that these forms are not necessarily exact, hence not closed:
a~ e av -r a~v e aa a
+w b e
~
b
v
= 0 • (2.6)
(2.8)
With these assumptions, (2.7) and (2.8) allow one to solve walge-
braically in terms of the vielbein and its inverse.
26 F. A. BAIS
A trivial calculation shows that for the two sphere the only non-
vanishing spin connection is
a a c
dw b + W c Aw b (2. I 1)
(2. 12)
(2.13)
(2.14)
Rab = 2 (2.15)
ab
as it should.
F = dA (3.2)
ddA =0 (3.3)
IF = 0 • (3.5)
S2
Divide S2 into two parts HI and HII with as boundary an oriented
closed curve C(-C), then
(3.6)
regaining consistency with (3.3). This is the well known fact that
Dirac's potential describes an infinitely thin magnetic vortex
along the positive Z-axis.
F=dA-G (3.8)
where G stands for the "Dirac string", i.e. the second term in
(3.7).
The crucial question was then under what circumstances such a
radical modification could be justified from a physical point of
view. As charged matter fields couple to the gauge potential A
rather then to the field strength F the condition had to be that
charged fields should not be able to detect the string singularity
in A. This requirement leads to the famous Dirac quantization
condition
eg = 211n (3.9)
n = -i(j)
e (3.12)
which is indeed single valued. Note that the fact that the overlap
region is not simply connected is important, if we would have
given the potentials (3.1) and (3.11) an arbitrary coefficient ~
(= eg) then we would have found a transformation n = exp i~(j)
leading to the Dirac quantization condition (3.9). The field
strength is defined by (3.2) everywhere, but expressed in the
appropriate gauge potential. The topology of the monopole is
manifest in this formulation and carried by the transition
function n; if (j) runs from 0 to 2n then n goes around the group
U1 = Sl n times. This winding number of the transition function
Q: Sl ~ Sl is associated with an element of the first homotopy
group ~l(Ul)' and completely characterizes the topology of the
solution.
1.4. SPINORS ON S2
We make a digression to the problem of sp1nors on S2. It is
not essential in order to understand the rest of this lecture but
it will serve some purpose when we are to discuss fermion monopole
dynamics in higher dimensions. For a two component spinor we
introduce the y matrices
i03
'i1]l = d]l - 0]ltp -2- cos e. (4.3)
D 'i1 - iA (4.5)
]l ]l ]l
and now the integrability condition reads
or (with eg =+ D
4n
i
-
2
t:
]lV
sin 8 (o3±1)1jJ = 0 (4.7)
(4.9)
implying that if
(4.10)
(4. II)
(4.12)
The index theorem is the statement that the number of zero modes
with positive chirality minus the number of zero modes with nega-
tive chirality of the Dirac operator on some compact manifold
equals the value of some topological invariant of the gauge field
on the manifold. If we define ~± as
11.± __ 11. I ( )
P P:1 1±a3 (4.13)
One can in fact show that for Inl = ±n only ~ has zero modes (the
other operator being positive definite). This±is related to an
important property in the four-dimensional case, where the zero
mode in the lowest possible state of total angular momentum j = 1%1
- ! has a 2j+1 = Inl fold degeneracy.
1.5. THE HOPF BUNDLE
(5. I)
32 F. A. BAIS
(5.2)
S3 is then parametrized by
(5.3)
(5.4)
Complex projective space ¢p1 is the collection of lines in ¢2 and
homeomorphic to S2. Note that the point at infinity i.e. Zo = 0
has to be included, it corresponds to the zl-axis and the south
pole of S2. Explicitly we parametrize S3 as
with
(5.6)
form w whose component along the fibre equals the Maurer Cartan
form -ig- 1dg = da (the point being that it should not vanish in
the vertical direction as will be pointed out later on). So with
coordinates y = (x,g) E E such that n(y) = x one may write
(5.7)
(5.10)
H +V (5.13)
Y Y
The metric y is orthogonal in H and V, i.e.
(5.16)
(5.18)
(5.19)
(5.20)
X 4
(5.21 )
w da + !cos e dtp
ee de
1
, etp = sine (d tp - cos2 e d)
a'
e
a
= 1
2a
d
Clearly H is spanned by ee and ~ and V by ea'
Going back to the definition of the gauge potentials on M in terms
of w as given by (5.11-12) and choosing a = tp and a = -til in the
regions I and II of (3.10), one finds from (5.21) exactly the Wu-
Yang potentials for the fundamental monopole. Again we emphasize
that this is somewhat miraculous. What is so special about 53 that
it generates exactly the correct monopole potential? The answer
was given by Kaluza and Klein sixty years ago!
1.6. KALUZA-KLEIN
(6.1)
or
n
N
eE =
(:: II
(6.2)
With inverses
llV
EA
(6.3)
Y
CAV
and
E
eN C~ (6.4)
n
We do the reduction in several steps starting from a (d+1)-di-
mensional action
(6.5)
YEA = XY EA (6.6)
which yields
DIRAC MONOPOLES, FROM d = 2 TO d = 5, LECTURE I 37
R
(n)
(Y) = X
1 [ (n) -
R
-].lV
(y) + 2(I-n)y X;].lV
X = e
n (6.8)
(6.10)
(7.3)
then it is easily verified that R~hcd is (anti) self dual. However,
since (7.3) is not covariant under local 04 transformations (00
transforms like a connection), and (7.1) is covariant, clearly not
all self dual Riemann tensors come from self dual connections.
Nevertheless one can show that any connection 00 giving rise to a
self dual space, can itself be made self dual by a local 04
transformation, so indeed it suffices to restrict one self to so-
lutions of (7.3).
ds 2 = V(~)d~2 + _1_
-+
(dT+X.d~)2 (7.4)
V(x)
and are clearly of the U1 bundle type (5.19). Imposing (anti) self
duality on the spin connection one obtains that the following
equations have to be satisfied
DIRAC MONOPOLES, FROM d = 2 TO d = 5, LECTURE I 39
-+
-+ -+ -+I"".,J-+
VV(x) = ± (~xA(x) (7.5)
= 0 (7.6)
with solutions
2m.
v g + \' --~-
L -+-+
(7.7)
~ lx-x. I
~
(7.10)
(8. 1)
R =2 ~~ 10- 32 cm (8.4)
= Va. '
exceedingly small indeed.
L8.B. MASSES
PE l f dx
=---;::; 5 Jdxd.d
3 [(
-yy Eo y ill. -y Ei y OA)] • (8.5)
16nG 1 A
With the Kaluza-Klein metric (6.1) one obtains for the fifth
component
p5 = 16~G I (8.6)
a value
m R00
M =-=- (8.7)
2G 8G
y C! - 1 + 2U (8.8)
00
lumps of energy) and yet a test particle does not fall towards
them. In fact going back to the multicentered metrics (7.4) one
realizes that they generate stationary multi monopole solutions
implying that also Kaluza-Klein monopoles with charges of the
same sign do not interact classically. This reminds us of the It
Hooft-Polyakov monopoles which have the same property in the
Bogomolny - Prasad-Sommerfield limit. In that case the phenomenon
is well understood and due to the long range force between the
monopoles caused by a massless scalar (Higgs) field which exactly
cancels the interaction due to the massless gauge bosons. Here a
similar phenomenon takes place, the attractive gravitational
potential is cancelled by a repulsive potential due to the
massless dilaton field. It calls for a closer look at the geo-
desics, to which we now turn.
I.8.C. GEODESICS
(8.10)
(8.lla)
C ( 4mr)2 (B.llb)
p+m '
where
(B. I Ie)
-+
The conserved total angular momentum J can be expressed as
J = L- Sf (8.12)
(8.13)
(8.18)
around the z-axis. The geodesic spirals in around the cone until
the turning point is reached, where the z-component of the veloci-
ty reverses sign and it starts spiraling out. This so called mag-
netic mirror effect is very similar to what happens in the
scattering of a charged,L I 0, particle of a Dirac monopole.
A
The five-dimensional Dirac matrices y (flat indices) are just the
usual 4 x 4 matrices satisfying
(B.20)
(8.21)
{y l( l
d -1
.
nA +-[ y ]
lab
Y w
dR)
II
+---
II II 8 ' llab 2R
o • (8.22)
i) The matrices yll with curved indices are defined in the four-
dimensional context:
(8.23)
~ for n = ± Inl .
n
This transformation is applied to obtain the conventional
positive mass term in (8.22) where
(8.24)
iii) From the coupling to the photon in (8.22) we verify that the
charge of ~ is ne as expected, from (8.24) we see that the
mass is proFortional to the charge, though not necessarily
constant (R= R(r». This implies that by fine tuning the mass
in the five-dimensional theory, we can at most arrange two
state of the infinite tower of states ~n' to be massless in
d = 4. Hence for each low mass particle (m « ~.Q,) in the
d = 4 theory we have to introduce a different field in d = 5
theory.
~H = iK n
m
F
~v
~[~
8 Y ,Y
v] (8.25)
K = -! (8.26)
{- ~(~.r)(-id
A r
+ ~ (A-I)) + ~
2r r
(~.e)(-id 8 )
I n I n R +
= E'l'n·
",A •
+ r sin 8 (a..q» (-~dlP -2 cos 8) + 13m -8' TnT~' S(cr.t)
(8.27)
The functions A = V(A(r) and R = VC(r) are defined in (8.llb). The
angular part of the equation is exactly the same as in the con-
ventional case and the same analysis goes through. The conserved
angular momentum is
-. -+ -+ ,.. 1-+
J = r x TT - ~r + 20 (8.28)
where ~ = eg = -~. It is most convenient to simultaneously
diagona1iz~TTthe o~erators H, J2, Jz and (d.r) with eigenvalues E,
j(j+I), m and s respectively. We will restrict ourselves to the
most interesting mode, which corresponds to the lowest angular
momentum state with
j = I~I - 12 • (8.29)
The remarkable fact ~s that o.r can only have a single eigenvalue
• ... A
Setting
DIRAC MONOPOLES, FROM d = 2 TO d = 5, LECTURE I 47
(8.32)
[ (E-m) - ~ ~] f + i _]1_
8 r2 1]11
(2. dr
f\
+ _I +
2r
_1_)
Uri
g = 0
(8.33)
[(E+m)+~ r~J g+i I~I (* ar + 2~ + 2~r) f = 0
G = ig F = I~I f, (8.35)
+ !) F =0
(8.36)
( ar +,,3)F
<.r
+ -
r
I
+ !) G = 0
yielding that,
(8.39)
This condition is met for all n in our case, hence the LWP problem
is evaded. We should not be surprised with this result, it could
be anticipated from the fact that also at the classical level the
analogous problem of a charged particle moving through the
monopole does not occur, as we pointed out in the previous section.
Anyway the existence of a normalizable solution with the correct
behaviour at r = 0 implies that the minimal angular momentum
amplitude describes pure helicity flip. No surprise either; the
natural presence of the anomalous magnetic moment term in (8.22)
breaks helicity conservation. This in turn is related to the
fact that in the massless five-dimensional Dirac equation there is
in general no chiral symmetry. The bound state problem will be
considered elsewhere.
n;;;;'2
F
llVOt:. • •
= t:
llVOT •••
ACKNOWLEDGEMENTS
REFERENCES
F. Alexander Bais
ABSTRACT
I. INTRODUCTION
51
52 F. A. BArS
(2. I)
L =!!.h (2.2)
z 2 '
as a cheap way to obtain the charge quantization condition of
Dirac
(2.3)
(3.5)
-+ -+-+
it is clearly conserved because dtL = T-T = o.
Given the constants ll, III and 1-;1 the motion is completelY fixed,
it corresponds to a geodesic motion on a cone with axis Land
opening angle a determined through
-+
arctg a = III Ill. (3.6)
= p-eA
~ ~ ~
TT • (4.2)
(4.6)
[Li,Lj] = i£ijkLk
(4.7)
[ri,rj]=o.
This is precisely the algebra E3 of the Euclidean group in three
dimensions. There are two quadratic Casimir invariants
-+ ~
(4.8)
C2 r.L
This way one obtains for the normalized angular wave functions
R. = j. (kr) (4.16)
1 1
k = .,f2mE • (4.18)
FL~ small r one has that ji(kr) ~ ri, recalling that i ~ I~I one
has thati > 0 if I~I > o. Hence, all wavefunctions vanish at the
origin, eliminating the LWP problem.
CHARGE-POLE DYNAMICS, LECTURE II 57
(W-im)1jJ = 0 (5.1)
(E+m)u± (5.2)
(5.3)
in an AO = 0 gauge we have
-+ -+
eo.E (5.7)
where E
is the external electric field. The magnitude of h is
given by
(5.8)
Equations (5.7-8) establish the well known fact that the helicity
h/lhl is conserved in a static purely magnetic field E = atE = 6.
Let us now turn to the lowest available angular momentum state
58 F. A. BAIS
(5.10)
(5. I I)
where we used that j = I ~ I - ~ and !/, = '~I. From (5. 11) we infer
that
(5.12)
(5.13)
(E+m)h
±
~r) = ~
-i - ,I
~
(a +!)
r r
h..,.
+
(r) (5.14)
Defining
CHARGE-POLE DYNAMICS, LECTURE II 59
I II
h =- -F
+ rill I
(5,15)
h = - -ir G
(a; + k 2) F = 0
(5.16)
G = - (E+m) ar F
where k 2 =E2 -m2 •
First we give the solutions of (5.16) and subsequently analyse to
what extent they are acceptable in view of the physical require-
ments that the Hamiltonian be well defined everywhere.
i) Scattering solutions
I~ I ~ sin(kr+o)
n(") )
l/i (5.17)
-ik I
cos(kr+o) n(ll)
E+m r
and contains an arbitrary phase o. Clearly l/i does not vanish ,at
the origin implying that we will have to deal with the LWP problem.
Before doing so, we first like to discuss some general re-
quirements on the Hamiltonian.
(h
1+
(0)
/h (0)
)* = - h
2+
(0)
/h (0)
(5.21)
1- 2-
(5.22)
(5.23)
1jJ (-kr, a ,r
A -+ A
= ±) = flfj
-2E (- -
+m - ~±) -1'kr-1'E t
k e + +
~
(5,24a)
E+m
jE+m (±k - )
2E \ _ t"±
~+
e
ikr-iEt
'E+m <, I
~ r,a,r - -
A _
- +m J e (5,24d)
~± '
-+ A
-ill'
+ _ 1 (cosS/2 e ) _ _ 1 (sinS/2 )
~ - --r,::- \ ' ~ - --- \ (5,24e)
141T,' 's / 2
Sln
V41T \-cos S/ 2 e itp,
Observing that
(5,25)
ljJscat ( ~ =
+1)
= -
+ 1
2ir e
+' '"
-11P+1u (±k ~±) ikr
+ e
'E+m ~-
-2
62 F. A. BAIS
H ~(jH(j * -H
r
(5.27)
r 1 r 1
(5.28)
or in view of (5.22)
2 2 22
(
Ih +(0) 1 / Ih (0)1 E+m)
\k tg \).r = 1. (5.29)
<5
*
i.e. for any K 0, ~(r -+ 0) vanishes faster then any power of r,
and the LWP problem is clearly (over)killed. We note that the
boundary condition in (5.32) satisfies (5.29) as should be expec-
ted from the CP-invariant perturbation (5.31). We agree that at
the present level of analysis (i.e. not doing quantum field
theory) adding an anomalous magnetic moment term is an entirely
legitimate, even realistic thing to do. From the formal point of
view the LWP problem persist in the K = 0 case, where it in our
opinion should be interpreted as an essential incompleteness of
the theory. As we shall see in the following section where we con-
'sider the abelian limit of the 't Hooft-Polyakov monopole; the
LWP problem can be evaded even if the wavefunction does not vanish
at r = 0 by imposing a boundary condition which leads to charge
exchange.
ii) Boundstates
F = -G = e -mr (5.33)
(6. I)
(6.2)
(6.3)
(6.4)
Where the radial functions k k(r) and ¢ ¢(r) have the follow-
ing asymptotic behaviour
k(o) I , k(oo) 0;
(6.5)
¢Co) 0, ¢ (00) ¢o'
The conserved angular momentum ~s of the form
It should be noted that spin (~) and isospin (7) appear on equal
footing, which is the clue to the peculiar spin-statistics proper-
ties of the charge monopole boundstates. Let us now restrict our-
selves to the abelian limit, i.e. k = k(oo) = 0 and ¢ = ¢(oo) = ¢o'
A suitable set of mutually commuting operators consists as in the
previous section, of H, J2, Jz, ;.?
but in addition Diago- 7.?
nalizing the latter amounts to expanding e in terms of the eigen~
spinors n± of (7. r)
(6.7a)
66 F. A. SAIS
where
_ (COSSf 2 \
11 -. , 11 (6.7b)
+ ~(P • sf) -
e s~n 2
1jJ = u ~ 11+ + u
- ~ 11 ,
+ -
(6.9)
(6.10)
or in view of (6.7)
(6.11)
(6.13)
AD = 12 (I-cose)
sine
A
lP, 0 = 0
(6.15)
(6.16)
where m = G¢o/2, and n+' are the constant eigenspinors of T3' The
result is clear, the Hamiltonian splits into two uncoupled abelian
Hamiltonians describing two oppositely charged fermions in the
field of the fundamental Dirac monopole. We are back to the pro-
blem which we tackled in the previous section, were it not for
the all important boundary condition at the origin which has to
be des til1ed from the smal1 r behaviour of the full non-abelian
equation (6. I). In view of (6.5) this amounts to solving the free
Dirac equation
2i
(E-m) (f+-f_) + i 3r (g ++g- ) + -r (g+ +g-) = 0
2i (f +f )
+ - =
(E+m) (g+-g-) + i 3 (f +f ) + 0
r + - r
(6.18)
(E+m) (g++g-) + i ar (f +-f - ) = 0
(E-m) (f++f_) + i3 (g -g )
r + -
=0
The last term of the first two equations would cause non integra-
ble l/r2 singularities in the wavefunction which better be absent.
Hence at r = 0 we have to impose the boundary condition
68 F. A. BAIS
(f +f ) I = 0
+ - r=o
(6.19)
(g +g ) I = 0
+ - r=o
One finds that the boundary condition at the or1g1n does indeed
connect the two different isospin components, thereby constituting
a vital ingredient in the Rubakov-Callen effect. The solution to
(6.16) satisfying the boundary condition (6.19) have another im-
portant property, namely that the LWP problem does not occur even
though the wavefunction does not vanish at r = o. We recall that
this was left somewhat unspecified in the previous section
(assuming that there was no animation magnetic moment term). In
the present situation with the anstatz (6.12) we have
So that:
f± = ± J.-
r ±
F
8± ~
1
J.-r G± (6.20)
to obtain
-mr
-G e (6.22)
-+ -
Motion T.r hel. Fermion #
In + - + B
+ Out - + + C
In - + + D
+ Out + - + A
Out + - - B
t
In - + - C
Out - + - D
t
In + - - A
(6.24)
+
e L + Mon -+ d3L + Mon (?) (6.25)
(6. ~6a)
(7.28)
8TT2
S
o = -::-T
e \i. (6.29 )
Nf
<61 TT ~'Y51jJ.16>*0 (6.31 )
i=1 1. 1.
(7. I)
Q,+
1.-
f-1/1,+
1.- 1.-
d
y 1/1,+ 3x
0
(7.2a)
s
Q.+ f-1jJ,+ y0y 5 3x
1/I,+d (7.2b)
1.- 1.- 1.-
(7.3)
(7.5)
(7.6a)
and
(7.6b)
74 F. A. BAIS
(7.7a)
(l.Th)
In the previous section it was shown that the j = 0 solution sa-
tisfying (7.7) is given by (6.23), where the boundary condition
(6.19) leads to A = D and C = B. Using these results in (7.4-6)
one obtains simply
SI Ql+ + Ql-
S3 Q5 + Q5 _ Q5 _ Q5
1+ 1- 2+ 2-
Formally also the total axial charge
A = Q51+ + Q5 + Q5 + Q5
1- 2+ 2-
(T. 10)
(7. 12)
(7.14)
where the in- and outgoing states are characterized by the charges
Sl = S2 = L S3 = I and Q = o. Both processes violate baryon
number B according to ~B = -I, there is however an important dif-
ference between the two which concerns the role of the anomaly22.
For the first process (7.13) the axial charge is not conserved
~ = -2; this process apparently involves the anomaly. In the
second process (7.14) the axial charge is actually conserved and
it constitutes an example of a baryon number violating process
which does not proceed through the anomaly; but rather through the
nontrivial boundary condition at the core. Let us finally consider
the process
(7. IS)
8. CONCLUSIONS
REFERENCES
15. T. Dereli, J.H. Swank and L.J. Swank, Phys. Rev. DII (1975)
3541; Phys. Rev. DI2 (1975) 1096;
D. Boulware et al~hys. Rev. D14 (1976) 2708;
R. Jackiw and C. Rebbi, Phys. Rev. DI3 (1976) 3398;
C. Callias, Phys. Rev. DI6 (1977) 3068;
P. Cox and A. Yildiz, Phys. Rev. DI8 (1978) 1211;
F.A. Bais and W. Troost, Nucl. Phys. BI78 (1981) 125;
Ju-Fei Tang, Phys. Rev. D26 (1982) 51~
18. H. Georgi and S.L. Glashow, Phys. Rev. Lett. 32 (1974) 438.
19. A. Blaer, N. Christ and J-F. Tang, Phys. Rev. Lett ~ (1981)
1364; Phys. Rev. D25 (1982) 2128.
21. F.A. Bais, J. Ellis, D.V. Nanopoulos and K.A. Olive, Nucl.
Phys. B219 (1983) 189.
1. INTRODUCTION
79
80 T. BALABAN ET AL.
,
.... _-------_ ... ""
/
"'-
e
The modifications are expected to be small for 0 ~ 2 , A « 1, with
m, e 2/A =0 (1), and this is the region in which we work.
ieEA (x)
u ~ e then A (x) corresponds to the usual gauge
<x,x+Ee > ~
field fo¥ continuum formulations. By convention, bonds are oriented,
and ub =u=~, where -b denotes the reverse of b. If r is any
oriented contour composed of bonds, then we define u(r) = nbEr ub'
In particular, u(p) is the usual plaquette variable formed by
taking the product of ub's around the plaquette p. We define
the covariant derivative of </> as (D </»b =E-l(~</>b -</>b ), where
u +_
b+, b are the forward, ba~ward sites of b.
s E (u,</»
+ " d (A 1</>(x)
LJE 14 1 m21 </>(x)
- 4 12 1 om 21 </>(x)
- 2 12 ) + E •
x
2 2
Here om = om (e ,A ,E) is a mass counterterm for the Higgs field.
It is given by a diagrammatic expansion to some order in coupling
constants, and is divergent as E~O. The constant E contains
vacuum energy subtractions, including divergent counterterms, again
given by a diagrammatic expansion. From this action we obtain the
partition function
and expectations
-i(A(b )-A(b »
+ -
'1> ~ '1> e
with
"
+~ (A(E) r ~(x) 14 - 4
1 m2E21 ~(x) 12 - 2
1 om 2E21 ~(x) 12 ) +E.
x
(4-d) /2
e (E: ) = eE:
1
f -,-(-) log u(p) ,
p 1e E:
we have
1 ! f2 1 2 4
2
(l-Re u (p» 41 e (E) f + .•.
e(E:) 2 P • P
86 T. BALABAN ET AL.
The price we pay for the rescaling, however, is that the model
appears almost massless. Mass terms in the basic Gaussian have
acquired powers of £ (at any rate they only appear in the Higgs
part of the action, and then only with the wrong sign). The mass-
lessness and the associated long-range correlations are circum-
vented by the method of block spin renormalization transformations.
If we fix the block averages of the fields and integrate only over
the fluctuations, then the gradient terms in the action will act
like a mass. Thus we will obtain an integral which is a smal~
perturbation of a massive Gaussian measure. Such integrals are
relatively easy to control--they have well behaved perturbative
expansions with remainder terms which can be controlled by means of
convergent cluster expansions.
r.--.--.-- i1
I 1
xl
~1
. . . ...>....-lL---'.......
!
1
• • ·1
I 1
I y. • .1
'---------~
Figure 1.
EXACT RENORMALIZATION GROUP FOR GAUGE THEORIES 87
(Q(u)¢)
y L
xEB (y)
-d
L u(r
y,x
)¢(x)
-i Odb ) -)db ))
+ -
~ -+ ~e
we have
For the gauge field the average should be defined for bonds
of the block lattice ~d, i.e. for b' = <y,y'>, y,y' corners of
nearest neighbor blocks. For gauge covariance we consider a
collection of contours each starting at y and ending at y'. A
convenient choice is the following: For each x E B (y) we define
r
y,x,y
, = r
y,x
u <x, x' > u r x , y , where x' = x + Y I - Y and r x',y
is the reverse of r ,.
y,x
r;--.--.--.,I
I
I I
: x' _I
I 1
I 1
I
I
-
1---- y,x,y ,
-I r
Figure 2. I ,
~L_.!.-_
re--.-- --.,
I I
I I
I x -I
I 1
1I _ _ _II
I 1
I
kL_~ __ !.-._~.J 1
u (f ,)
y,x,y
~,
Figure 3.
The second case only occurs when there are large plaquette variables
(u(p)-l not small). As these occurrences are suppressed strongly
by the action, almost any definition of average would do. The
average of {u(f ,)} is denoted ~" and it transforms as
follows: y,x,y
- i (A (b ' ) -A (b ' ) )
+ -
~,+ ~, e
(Tp) (v,ljJ)
-S(u,<jl)
CJfdUd<jl a (vu-l)exp[- 1/2 <ljJ-Q (u)<jl,ljJ-Q (u)<jl>] e ,
where
a(vu--1 ) n a((vu
--1
)b')
b'
-i(A(b')-A(b'))
~(y) + ~(y)eiA(Y) + -
Vb' + Vb' e
r.--.--.---;;'l
I I
I I
1 I
I - • -I
I I
1 • • .1
I I
lI.! __ ~ _ _= _ _ .J
I
Figure 4.
90 T. BALABAN ET AL.
We thus define
o .
ax~a
1 (u) n n O(~)
blocks bEtree
c f --1
dud¢ o(vu 1
)Oaxial (u)exp [ - 2 <~-Q(u)¢,~-Q(u)¢>
x
for some c > 0 Ir and we have a lower bound given by a mass term.
The term Q(u) Q(u) selects out the "constant" mode which would
have been a zero mode for D~Du alone. The form a*a has many
zero modes, but the o-functions o (vU- l ) and o axial (u) reduce
the integration over A to a subspace, on which the desired lower
bound holds.
of the lattice. Of course we have not lost the long range correla-
tions of the original model--they are carried by the external
fields v,W. The effective masses also allow us to take advantage
of the extremely small rescaled coupling constants A(S), e(s)
describing the corrections to the Gaussian. In what follows we
show how these simplifying features can be used to compute an
effective action for v,W. The price to pay for all the simplicity
is the need to iterate the renormalization transformation many
times (109L s-l times). However the main features of the calcula-
tion are independent of the iteration step.
ID
u
¢\ >Ilog siP
(2)
The missing arrow from large to small fields contrasts the procedure
described in the lectures of Gawedzki and Kupiainen.
Here ITsl is the volume of the lattice, which is e:- d times the
number of sites in the lattice. Then ITe:1 (Lke:)-d is the number
of blocks on the scale k. As long as K > d the sum over k con-
verges, yielding a finite contribution to the vacuum energy. The
method breaks down in four dimensional Yang-Mills theory, because
the effective coupling constant is expected to be only logarith-
mically small in s. This reduces the size of allowable small
fields, and so yields less convergence from large fields. In
particular, K is at best a small positive constant, and the sum
over k would diverge. The basic problem is that we are not
EXACT RENORMALIZATION GROUP FOR GAUGE THEORIES 93
= LA CJdUd¢ XAS
1l AC
o (v;:i-l) 0 . l(u)
aX1.a
1
-2 <~-Q(u)¢,~-Q(u)¢> + !2 <D u¢,Du ¢>
The terms coming from the expansion of <Du¢,Du¢> are the usual
scalar field-vector field interaction vertices, and the others are
new vertices from the renormalization transformation. All terms
are small, as each power of A' comes with a coupling constant
e (s) •
--1
O(vu ) 0 . leU) O(QA')O . leA')
ax~a ax~a
-d
(QA) b' ~
xEB (b')
L A«x,x'»
where
f (1) 1
log ;v(p')
p' ie (E)
EXACT RENORMALIZATION GROUP FOR GAUGE THEORIES 95
~ (A(E) 1¢l(x)
~ 14 -"41 m2E21'~l (x) 12 1 om 2E21 ¢l(x)
- 2 12 )
x
and the other terms are small, having one power of A(E) and three
or less powers of ~l' with I~ll ~ A(E)-1/4Ilog Elp·
r2
c eXPl-
1
<f
(1)
,0 1 £
(1)
> -
1
2 <~'~l (ul)~>
I
-<v> + 2T <V;V>
where
<V;V> = <v2> _ <v>2
n
1: 1 j
j! < (-Vi) > + 1: W(X)
j=l x
Here p(l) (v,W) contains the terms A(£) I~l (x) 14 + ... as well as
the truncated correlations of V. A final step is to rescale all
expressi.ons and fields from the L-lattice to the I-lattice.
Relabeling v,W by u,~, we are in a position to repeat the
process.
L- k * L- k * -1
Gk(~) = (D D + Qk(~) Qk(~»
~ ~
with Qk(uk) being the k-th iterate of the averaging operation for
scalar fields. The term Qk(uk)*~(uk) provides an effective mass
for this L-k-lattice propagator; thus we can prove its exponential
decay. The short-distance behavior of ~ (uk) is also important
for the analysis of ultraviolet divergences.
k -k
~ = ~+l exp(ie(L E)L HkA') ,
It turns out that the analogous stability bound for the gauge
field is best seen in axial gauge. Thus we again use our freedom
to change Uk by a gauge transformation and put it in axial gauge
(uk (b) = I for b in maximal trees in Lk-blocks). The
corresponding form of the action is almost like the standard unit
lattice Wilson action because Uk, takes the following simple form:
otherwise.
Figure 5.
then we have
2
IUk«b~,b~»<jl(b~) 12 ~ ~A lexp[ie~] _11 2
102 T. BALABAN ET AL.
Figure 6.
We 't ~s orm w~t t e k'~net~c
h'
comh ~ne f ' h h , energy term <f(k) 'Ok f(k» =
1
<dA'OkdA>2 to obtain a quadratic form wi h a strictly positive lower
bound ~oe2<A,A>. The coefficient r~e =m 2e 2 /SA is the square of
the semiclassical gauge field mass.
REFERENCES
Bernd Berg
ABSTRACT
1. INTRODUCTION *)
105
106 B.BERG
There are two possible viewpoints under which such a review can
be written:
a) Phenomenology.
SSA = - ~ £ He Tr (l-U(p)).
The gauge group is assumed to be SU(N). the sum goes over all un-
oriented plaquettes p. U(p) is the ordered product of the four link
matrices surrounding the plaquette. dU(b) is the Hurwitz measure
and the product goes over all links b.
The classical limit does not uniquely fix the lattice action.
This leads to the concept of universality: All lattice regulariza-
tions with the same classical limit are conjectured to lead to
identical quantum field theories. MC results can be checked with
respect to universality by using different lattice actions. Actions
for which MC results are reported in these lectures are listed in
the following.
(2.2)
Mixed actions
SFS = - L [- --
SF Tr (U(p)) (2.3)
p N F
c
o
= 5/
3'
c
2 = c3 = 0
defines Symanzik's /59/ tree improved action (TIA) S = STI, which
was for gauge theories calculated in Refs. /60,61/. Me simulations
with Symanzik improved action are reviewed in Ref. /62/.
(2.6)
1
exp (- ~ )
iJog
Here So and S1 are the first coefficients of the perturbative expan-
Slon of the S-function /63/
(N = 2) (2.8)
AMOM / SA J 3TI2)'~ 57.4
AL = 112.5 eXf\- ~ = ~ 83.4 (N = 3)
Also the relations between the AL parameters for our different lattice
actions are known. For Manton's action one obtains /57,65/
exp [37T 2
11
(~3 _ ~
N
)] = 1 3 • 07
4.46
(N = 2)
(N = 2)
For the gauge group SU(2) the mixed action (2.3) scale is given by
/57,58/
(2.10)
lS reported /66/, and for the TIA (2.5) one obtains /60,66,67/
~ 4.13 (N 2)
(2.12)
~ 5.29 (N 3)
11jJ> = E cn
n=1
11jJ >
n
and applying them to th~ vacuum state 10>. The summation over; In
equation (3.3) implies p = 0 for the momentum.
D
#1
!l D Il
#2 ,3 #4
D·O~G
,5 #6 #8
ODD
#10 #11 #12 #13 #14 #15
#21
D Fig. 3.1
,27 #28
114 B.BERG
for the mass gap. In a practical MCV calculation this remains only
true if the statistical error is smaller than the systematic devia-
tion of the approximation from the exact result.
T, couples to J = , 3, 4, + if EJ =, < EJ =3
E couples to J = 2, 4, 5, + 2 if EJ =2 < EJ =4 , ...
T2 couples to J = 2, 3, 4, + 2 if EJ =2 < EJ =3 , ...
A2 couples to J = 3, 6, 7, + 3 if EJ =3 < E =6
J
Under the assumption that the lowest allowed spin in the sector 'I ~>R
has the lowest eigenvalue EJ , we obtain in a variational calculation
finally eigenstates of spin as indicated by the arrows.
PC PC
o( t) = OR (t) = .L O~ (t)
l,V l,v
(R = A1 , A2 , E, T1 , T2 ; P =± 1, C =± 1)
<O(t 1 )0(0»
(3.8)
<O(t 2 )0(0»
one may argue the problem to become unimportant ln the scaling limit
13 -+ 00.
The first SU(2) mass gap estimates are summarized in Table 4.1
ln a chronological order (given years refer to preprints).
THE SPECTRUM IN LATTICE GAUGE THEORIES 117
Table 4.1
First SU(2) mass gap estimates
I.) Berg, Billoire, Rebbi /21, addendum/, MCV, ASW, 1982: 110 ± 30
There are rather large discrepancies between Ref. /20/ and Ref. /24/.
Particularly because the authors of Ref. /20/ would get with multi-
plicity r = 5 the result mg = 90 AtA, whereas the authors of Ref. /24/
obtain the value of the Table by assuming a similar low multiplicity
r = 6.
All these estimates are not self-consistent in the sense that
the asymptotic scaling behaviour is followed over a finite range in
the coupling S. The estimates must therefore - and by various intrin-
sic problems of the used methods - considered to be unreliable.
Better are results relying on asymptotic scaling windows (ASW).
4.),7.) + 8.) These results are MeV m(O+) estimates and will
be discussed in the next sections. In particular an asymptotic
scaling window was first found in Ref. /21/.
The results with ASWs /21,24/ are well consistent with a recent
high statistics finite size st.udy /36/, yielding
(4.1)
Table 4.2
''""
4.) Munster /10, erratum/, SC, us, 1982: 310
Seo /12/, SC, us, 1982:
''"" 310
6.) Michael and Teasdale /42/, MC, 0++ source, ASW, 370 ± 30
.
As wlll .
be dlscussed . .
In sectlon 7 results around m( 0++) '"'" 28 0 ALSA
are rather stable. One may express this in physical units by using
an experimental value for AtA or a physical value for the string
tension. At present experimental values /80/ for the A-parameters are
very inaccurate. Therefore I prefer to rely on the string tension.
With IK = 440 MeV the final m(O++) estimate depends on the MC cal-
culation of the string tension. Using Creutz /8/ ratios a conventional
estimate /81/ lS
(4.2)
Fig. 5.1. 1
SC expansion for the glue ball
mass. Expansion variables:
S( -. - ), u( ---) and z ( - ) .
The lower curve always corres-
ponds to the highest order.
The dotted lines correspond
to the glueball mass estimate
(and error) of Ref. /21/.
.3
Me data are from ~1(2) on a
4 3x16 lattice
.2
2.
1-4J
.........
E
+T= 1
1. X T = 2
.9 j
o T =
.8
Fig. 5.1.2. Mass gap estimate and data for IDl (t)( t::;l, 2, 3) •
SC expansion. At the r.h.s. of the Figure the spin wave (SW) behaviour
S7 is in lowest order indicated for m(1), m(2) and m(2). This
00
means MC data for m(1) (etc.) have to follow the shape of line a).
This is in contrast to the spin wave behaviour /88/ of the string
tension, for which line b) would be typical. Therefore the location
of a scaling window for glueballs is in practice more difficult than
for the string tension. Even on a large lattice reliable results can
only be obtained if one is far enough away from the spin wave region
of the used approximation.
Figure 5.1.3 gives the same results as Figure 5.1.2, but after
5.
M (170. + 30.) III
4.
3.
101->
~
2.
E
+T =1
1. X T =2
.9 o T 3
.8
5.
4.
+
• •
+ +
3. Fig. 5.1.4
~
~
Cl +
,,
,,
2. ,,
,,
,,
+ T=l ,,
,,
• T=2 , ,,
,
,,
0 T=3 ,,
,,
1-
,
1.50 1.75 2.00 2.25 3.25
a
too small for reliable results, even if only the l~plaquette operator
is used.
6.~-----'~-r---------------------'
,,
5.
,,
,
4.
f"" ,
E
+ \ t
,,
,,
2. ,,
,,
+ T= 1 ,,
,,
,
• T= 2 \
\
\
\
\
\
\
\
\
1.~~~~~~~~~~~~~~~~~\~
1.00 1.25 1.50 1.75 2.00 2.25 2.50 2.75 3.00 3.25
Consistent with our results are MCV data of Ishikawa et al. /23/
at S = 2.3.
3
Fig. 5.1.6
2
f
1.5
1~--------~-------u~--------~
1.5 z 2.5
but still consistent with MCV results. In view of the claimed drastic
improvement Figure 5.1.6 looks rather meager. In my opinion an im-
portant test for using the Langevin equation would be a calculation
of an excited glueball state. The natural candiate is 2+.
300
Fig. 5.1.7
10UL--'----'----''---'--""'''':''-_ 13
2.2 2.3 2.4
results from Ref. /26,28/ (I), (after subtractin~ the unknown momen-
tum contribution), and from Ref. /36/ (~), (for p = 0). Using similar
operators as on the 4 3 16 lattice, the scaling region extends now up
to S = 2.30 (previously on the 4 3 16 lattice up to S = 2.25) and
the final m(O+) estimate is slightly higher. For reasons see the
list of finite lattice size problem, in particular 2.c).
m(O·) [Ad
400
300
Fig. 5.1.8
200
l00,'--'--I--.......L.---L.-..... 13
2.2 2.3 2.4
(ma , mb are the values at begin and end of the ASW). The best final
estimate is
m( 0+) = (190 ± 30) A~A
and well consistent with (5.1.1).
5 Lattice
• d=2 84
o d=3 84
• d=4 104
• d =4 124
od=S Ii Fig. 5.2.1
m!1 )
x
x
m(2)
I Fig. 5.2.2
1
!T1(3)
..
Thls .
gl ves MC estlmates for the ilLM/,ilLSA ratlo:
. ~ 4• 0 / 25,29 / and
",.
~ 3.5 /21,30/, i.e. within rather large errors consistent with
3.07 (2.9) and hence universality.
..
~ Glueball _ _ for 50(2) .....
0
Glueball _ _ for 50(2)
..
0
0 III
~ ci
••
III •
0
~ • • ~
II
• •
i
0
0 -"l
......
i i i I
~
CIS 0
!o
ci
e
CIS
j I I
-' bO""!
bOO
o ""!
o
....
0
I
.... 0
~ ~
I .-
0
0 I
I
I!l \ - 1
I!l \ - 2
X \ -
0
I/)
ci
X \ -
• \ -
2
3 ~I
\ 3
..
I
~
~
I I I I I
1.90 2.00 2.10 2.20 2.30 UO 2.50
2.70 2.80 2.90 3.00 3.10 3.20 3.30
beta beta
Fig. 5.5.1
THE SPECTRUM IN LATTICE GAUGE THEORIES 129
TI SA .
This yields the MC estimate AL /AL ~ 3.8 In good agreement with the
perturbative result (2.12). Recently Mutter and Schilling*) obtained
a consistent result.
+
(They also report m(O-) ~ 1.1 m(O ), but this number has theo-
retical problems. See appendix A. )
minI!.
at « as. In case of the 2+ state the signal for m(t, t-1) can now
be followed up to t = 4(5), as depicted in Figure 6.1.1.
4 •
•
•
II Fig. 6.1.1
*)
Private communication. See also appendix B.
130 B.BERG
Table 6. 1 • 1
~ m( 1) m(2) SC, O( US)
+ 00
2.20 3.18 ± 0.04 3.29 3.17
0.45
+ 0.23
2.25 3.04 ± 0.04 2.12 3.09
0.16
+ 0.58
2.30 3.03 ± 0.04 3.09 3.01
0.26
+ 0.32
2.35 2.89 ± 0.04 2.54 2.93
0.20
o- + +
and 1 results are clearly higher than 2 results. Conse-
quently correlations at distance t = 2 are only statistical noise.
At distance t = 1 the order of magnitude is
m(O-) ~ 2.5 m(O+) (6.1.3)
(6.1. 4)
5
x
x x
x - .+
x x x m~ (11
x
(
x mE+(1)
3
I ,;;E+(21 Fig. 6.2.1
find consistency with scaling for S ~ 1.7, but in the overall picture
our data are much more consistent with the non-scaling t = 1 data.
Because of statistical errors a final judgement is not possible. All
other states are again much higher. Orders of magnitude as reached
at distance t = 1 are:
+
'\, 1.7 m(O+)
m(2 ) '\, (6.2.1)
m(1-) '\,
3.4 m(O+) (6.2.2)
'"
m(2-) '\,
'\, 2.6 m(O+) (6.2.3)
+
m{3 ) '\,
'\, 2.7 m(O+) (6.2.4)
x
3
Fig. 6.4.1
tS
So far MC calculations were done with the SA, for which also
the SC expansion /10,12/ exists, and with Symanzik's TIA.
6·r-------------.5.r-------------,
,. M= (350. + 50.) AL M= (350. ~ 50.) AL
o.
4. --- --
--- --- --
--- ............
3.
<00_ . . . . . . . . . . . . . ...
2.
+ T=l
1. 1-
* T=2
.9 .9
.8
4.8
Ref. /45/ and to some extent also Ref. /42/ agree well with the
estimate (7.1.1). Figure 7.1.4 (Ref. /44/) summarizes on a physical
scale (here in units of m(O++) at S = 5.7) results from Ref. /42-45/.
The point\+1/45/ is based on correlations at distance t = 3 on a
43 8 lattice. The scaling region is nicely extended, but there may
be a finite size problem (see section 5.1).
M= (280! 40) Al
4.
3.
2.
Fig. 7.1.3
+ T=1
• T=2
B
55 57 5.9
2.0
+
1.0
D r 1 D I~~+~_)
+~y?~ T
~ t
Fig. 7.1. 4 *)
The obtained upper bound is rather high. This is not unexpected be-
cause of the near spin wave region /21,43/ (see also section 5.1).
Fig. 7.2.1
a:
() SPIN 2 M(I)
10·' ~ I , I I -'-
3.0 3.2 3.1 3.6 3.B 1.0 q.2 q.1 1.6 Q.B
BETn
m( 0++) = ( 58 ± 9) ATI
L .
Thl"s "
glves ATI SA 'l,~ 4 . 8 ln
L /A L " reasonabl e agreement Wl"th th e pert urb a t"lve
expectation (2.12).
8.1 SC calculations
2 ---------_ ...
m "
Ins Fig. 8.1. 1
6 :t 5.0 Il ~ 5.6
• •
OJ 10
First MCV results are due to Billoire and myself /39,1/ and due
to Ishikawa, Schierholz and Teper /40/. The calculations were further
developed in Ref. /41,43-45/.
THE SPECTRUM IN LATTICE GAUGE THEORIES 137
Table 8.2.1
State S = 5.2 S = 5.6
0 > 2.5 + 0.5
'\, 3.9 - 0.4
+-
1 2.4 ± 0.2 4.1 ± 0.3
-+ > + 0.9
1 '\, 2.4 4.7
- 0.5
++
2 1. 72 ± 0.05 2.96 ± 0.06
+- + 0.6 >
2 2.6 4.7
- 0.3 '\,
-+
2 2.3 ± 0.2 3.45 ± O. 11
Between S = 5.2 and S = 5.6 there is clearly no scaling for the mass
ratios, whereas according to Figure 7.1.1 m(O++) results at distance
t = 1 are consistent with asymptotic scaling. At distance t ~ 2
statistical noise is a severe problem for excited states. (Modest)
results can only be obtained for the 2++ state.
Further development:
Table 8.2.
(3 5.0 5. 1 5.2 5.3 5.4 5.5 5.6 5.7 5.8
sweeps 2800 2800 11 200 5600 5600 5600 14000 5600 2800
Table 8.2.3
(3 5.4 5.6 5.7 5.8
sweeps 3000 5250 6000 1 500
lattice to the one given in Table 8.2.2. We did not find significant
changes of the results.
-+
Table 8.2.5 Results for the 0 state. We give the mass values m1 (1).
The indice i labels the operators according to the nota-
tion of Fig. 3.1
Table 8.2.6
5.1 5.3 5.5 5.9
sweeps 9000 19000 11 000 27000 25000
140 B.BERG
~Ir--.---r---'--'I---.---r---'--'I---'---'
4
---~ ~ ~ ~
-----------4----
1['----4.---------~---_f ~ I , Fig. 8.2.1
r f !
2
• m, (t,,)} 4 3
8
• mlt.l)
o m ( t • I). 53, 21 opE-rators
.1 1 a
4.9 5.1 5.3 5.5 5.7 5.9
Fig. 8.2.2
string tension
-cross over--.
OL-__ ~ __ I __
~
reg~on
__
I_ _
~I ~ ~I
• _ _i~~
____1~__..1~__i~
~ ~ ~ ~ ~ ~ y ~ ~ U ~
THE SPECTRUM IN LATTICE GAUGE THEORIES 141
x
Fig. 8.2.3
*)In Ref. /45,81/ also a not existing "controversy" about the trivial
fact that distance t 2 masses are expected to be lower than
distance t = 1 masses is established and "resolved".
142 B.BERG
Table 8.2.7
t = t =2 LOp
1. 78 ± 0.02 1.67 ± 0.11 8
2.20 ± 0.04 2.59 ± 0.29 6
2.80 ± 0.04 1.82 + 0.37 12
0.28
+ 1.9
o 3.36 ± 0.18 1.9 6
0.7
2 3.36 ± 0.09 % 12
+-
1 2.61 ± 0.004 % 8
1.-
50 I , 1, minimized
Ref [43, IIlpublished]
4.0
t
l,J
2++1 El, minimized
i ! 9 h1,43 8,Ref.[43].
y 9 1,1,5 3. 8,Ref[44]
3.0
I
~! f; f 1,2,4 3 8,Ref[45] Fig. 8.3.1
I
I
2.0 '- "-
"- '-..
RG ~
I
"-t
eslimate I
1.0
I 1,1,43 8,Ref[43]
~ f 1'2l S,Ref [43]
+ 1 '2,5 3 S,Ref[U]
Option 2.) is possible due to the fact that the cubic symmetry
lS an exact symmetry of the lattice. Fade and related extrapolation
methods may then be unreliable for mass ratios~ because the 0++ singu-
larities are artificially mixed with the convergent 1+- and 2++ ex-
pansions. In fact: The last orders and the diagonal Fades of the 1+-
and 2++ expansions (no ratios) are rather stable for 5.0 S S ~ 5.9~
as compared with 0++. SC extrapolations like Figure 8.1.1 deviate
already at S = 5.1 significantly from the plain SC expansion and
from MCV results. At such small 8-values MCV estimates are, however,
argued to be rather good.
If we apply for 1+- and 2++ states the same se method as for
the 0++ state and take (according to the asymptotic scaling formula
(2.6)) the tangent to the se series, we obtain the values
m(l+-) ~ 13 m(O++)
m( 2 ++) 'V
'V 2 (++) •
.3mO (8.3. 1)
9. MOMENTUM STATES
mCK,.2)
f t
1.9
T 11 T
t
T
t ! t
1.5
f
o 5 10 15
Fig. 9.2. 0+, S=2.2, bent plaquette
*) There seem to be (.
mlnor )dlscrepancles
. . between f
Re. /36/ an d f
Re.
/52/, which cannot be traced back at }')resent.
146 B.BERG
Table 9.1
~ 1 2 3 4 5 6 7 8 9 10 11 12 13 14
n1 0 1 0 0 1 1 0 1 1 0 1 2 0 0
n2 0 0 1 0 1 0 1 -1 0 1 1 0 2 0
n3 0 0 0 1 0 1 1 0 -1 -1 1 0 0 2
The SU(3) 2++ results of Ref. /52/ look differently. Figure 9.4
shows that energies from t = 2 correlations are consistent with
asymptotic scaling (S ~ 5.5) and also with the SC observations of
section 8.3. A problem, however, remains; The 0++ and 2++ states
mix in higher orders of p2
/89/. At large distances the lower 0++
state will win, and we do not know how much the presented 2++ results
are polluted by 0++. Using momentum states for increasing the Me
statistics is only save for the lowest state: In U(1) lattice gauge
theories the photon and in SU(2), SU(3) lattice gauge theories the
mass gap 0++. An independent check of the 2++ state, for instance by
means of a source method, would therefore be desirable.
5
5U(2)
4 2+
3
Fig. 9.3
2
6 GIJ,a)/GUS,2a)
,
m(S::;5.7) 0 43 .8
• Glp,a)/Glp,2a) 84
~
3
2 I Fig. 9.4
t
SU(3)
2++
s.s P
What does it all mean? An optimist will say, SU(3) MCV calcula-
tions with the SA action have the region up to S ~ 6.0 under control.
For 0++, 1 +- and 2++ the results are qualitatively depicted in
Figure 10.1. For small S the SC expansions (full lines) are valid.
log m
5D~---__ 1+-1
2++1
2.0 .1 ...................
'....... '1':< .
1.0
. . . . . . . 0++:····. « . . ". ..............
.......
. . . . ....... ....... ' .............. <...... . Fig. 10.1
'....... .
IE---(J-_-re-g-io-n--~I .............., ....... ..... ".
IJ I.............. ',.,
under ........ ,.............. "
"control" I '...............::::::,
....... , ....... .......
I ....... ' ....
0.1 I ....... ~
-SC '
---- aSYrTl>totic I
scaling I
4.5 5.0 5.5 7.0 ~ 15
The pessimist will doubt that MCV calculations have the region
up to ~ ~ 6.0 (and for SU(2) a corresponding region up to ~ ~ 2.5)
under control. He will first of all argue that MCV wave functions
for excited states may be very poor so that the results are in fact
rather crude upper bounds. SC Pade extrapolations (section 8.1) and
Llischers small volume weak coupling calculations /49/ could then
match well together. Next the pessimist will question the asymptotic
scaling window of the 0++ state. Recent results for the string tension
/68-70/ and the deconfinement temperature /92/ violate asymptotic
scaling. Mass ratios could+ however, still stay constant if we are
able to get rid of the m(O +) asymptotic scaling.
= =
instance the 0++ mass gap more at S 5.7 than at S 5.4.
Hence 0++ asymptotic scaling could still become violated.
ACKNOWLEDGEMENTS
=F
'\,
FF(t) (t)e: F (t)
~\i ~\ipO po (A 1)
'\,
For its implementation on the lattice see Ref. /91,28,45/. FF has
T-pari ty -1 and therefore positivity /71/ implies
'\, '\,
<FF(O) FF(t» <0 for t ~ 3. (A2)
t = 3 is the smallest distance at which the operators have no overlap.
Of course <F~(O) F~(O»> 0 and a possible shape for the correlation
function is depicted in Figure A1. Reliable informations about the 0-+
Fig. A1
APPENDIX B
Ukawa and Yang /94/ calculate A-parameters for six link actions.
Their results are in agreement with equations (2.11, 2.12).
REFERENCES
Cyan Bhanot*
ABSTRACT
I. Preliminaries
E
s
L (l-S.S.) (1)
<ij> 1 J
where the sum runs over nearest neighbor spins Si on the sites of
an LxL Lattice. Following Creutz, imagine a demon with a sack of
energy Ed' By decree, Ed is nonnegative and bounded above by E~ax.
155
156 G.BHANOT
Given an initial lattice distribution of spins with energy Es
and a demon with energy Ed' one generates a sequence of configura-
tions with constant Ed + Es = ET• The algorithm that accomplishes
this is the following.
(2)
Given the demon energies Dl and D2 and the products S·Sl, S·S2,
S·S3, S·S4 of the spin word S (which is being updated) with its
four neighboring spin words Sl, S2, 83 and S4, one must construct
a Boolean function B which produces the unique final values SN,
DIN and D2N for the spin and demon energy words using the algorithm
described above. On a bit level, B must reproduce Table I. In this
table, the entries under "Initial spin state" are the four corre-
sponding bits of the products S·Si, i=1,2,3,4 (permutations of these
158 G. SHANor
bits yield the same result for SN, DIN, D2N). Under "Initial Demon
Energy" are given the two bits of the energy of the demon corre-
sponding to the spin being updated. In the table, Y means the spin
flip is accepted and N that it is not. The numbers beside Y or N
in each box denote the two bits of the final demon energies.
c Input: S,Sl,S2,S3,S4,Dl,D2
1(1) .not.and(S,Sl)
1(2) .not.and(S,S2)
1(3) .not.and(S,S3)
1(4) .not.and(S,S4)
IR = 0
REJECT 0
DIO = Dl
D20 = D2
D3 D2
D2 = .not.D2
DO 1 K = 1,4
IR = or(IR,and(I(K),.not.or(Dl,or(D2,D3»»
Dl xor(Dl,I(K»
D2 = xor(D2,and(I(K),Dl»
D3 = and(D3,.not.and(Dl,D2»
1 continue
REJECT = or(D3,or(IR,REJECT»
ACCEPT = .not.REJECT
SN = xor(S,ACCEPT)
DIN = or(and(DIO,REJECT),and(DI,ACCEPT»
D2N = or(and(D20,REJECT),and(D2,ACCEPT»
c Output: SN,DIN,D2N
Table I. The Boolean function B that gives new demon energies and
spin flips from the products S·Si, (i=1,2,3,4), and the
initial demon energies. Y and N stand for site spin
flip and no-spin flip respectively.
After each pass through the lattice, the demon energies are
scrambled up by shifting the bits of the demon energy words by a
random amount.
III. Computing ~
Z= (3)
Z =
(4)
(5)
*Note that Eqn. (3) already assumes several things (eg. ergodity).
For a more detailed discussion see Ref. 2.
160 G. BHANOT
E2
-4Ed eT - 0 -V
d
e (7)
where,
e =! a tn
T V aE
G(E) IE=E (8)
T
(9)
zdemon -- LE
~ P(E)
d (10)
d
min[32,E/2]
I (, 32 \(32) (11)
k=O \Ed - 2kJ k
E= [_1_ + _1_]
d
32
1+e4e 1+e8e
(12)
IE G(E)e- SE 9(E)
<0> (13)
S IE G(E)e- SE
LATTICES, DEMONS AND THE MICROCANONICAL ENSEMBLE 161
where 8(E) is its average value in the sector with energy E. Thus,
When V = 00, the averages in Eqns. (13) and (15) are equal if_(3E
(3 satisfies (8). This is seen by saddle point expansion of G(E)e
in Eqn. (13) and Taylor expansion around ET in Eqn. (15).
2
The l/v effects are more subtle to compute. After some algebra,
one gets the following compact expression,
where,
e = E Iv (17)
s
v. Numerical Simulation
e 0.50421 ± 0.00002
e
diag
= 0.37629 ± 0.00008 (19)
e 0.30038 ± 0.00011
nnn
Here, e i and e
are expectation values of the product of two
spins a~o~~ a uni¥naiagonal and axis-next-nearest neighbor, respec-
tively. The average demon energy gave,
All the errors quoted here are tru~y statistical. They were
measured by blocking our data until the correct 1/1iN behavior was
seen.
· >0*
<e d 1ag 0.376460 ± 0.000025
~
(21)
<e nnn > ~ * 0.300722 ± 0.000025
It is clear that Eqn. (19) and Eqn. (21) do not agree within the
error bars. It is here that the l/V effects computed before come
I
to the rescue. Using Eqn. (16)
<ediag>~* = ed + 0.00013
(22)
<e > * = e + 0.00032
nnn ~ nnn
I I I I I I I I I I r I I I I
301-
-
uJ 20- -
"0
W
0>
10 r-
Ed
Figure 1. Plot of 9,n[g(E d )/P(E d )] (see Eqn. (9» vs Ed for a run
at E = 4096.
T
.5
64 x 64 lattice Ising
MICROCANON ICAl
.5
f3
Figure 2. Nearest neighbor spin-correlation function e versus S
determined from the demon energy. The solid line is the
exact result.
164 G. BHANOT
.5
64 x 64 Lattice Ising
MICROCANONICAL
Figure 3. Nearest-neighbor-along-unit-diagonal
spin-correlation ed . vs S.
lag
.5
CI'
o
IQJ'O 0
_I
u
o
AQl.
><'"
do
.~
"t:J
~.002
o .2 .4 .6 .8
{3
Figure 5. Statistical errors in the microcanonical
ensemble for e d .
1ag.
166 G" BHANOT
64 x 64 Lattice Ising
CANONICAL
.02
-.02
.2 .4 .6 .8
Figure 6. Statistical errors in the canonical ensemble for <e d " >
"
using the same amount 0 f CPU tlme " F "19ure 5 •
as ln lag
=
ediag.
Figure 7. ed lag
" versus e. The solid line is the exact (canonical
resuIt. This graph should be compared with Figures 2, 3
and 4.
LATTICES, DEMONS AND THE MICROCANONICAL ENSEMBLE 167
There are many subtle issues that have been left unaddressed
in this paper. These are discussed in detail in Ref. 2.
REFERENCES
Jurg Frohlich
Theoretical Physics
ETH-Honggerberg
CH-8093 Zurich, Switzerland
169
170 J. FROHLICH
There is one problem with the main results summarized below: One
could say that the (generalized) free field has struck again. Now,
this sounds rather discouraging - and it is. However, some of the
generalized free fields that we shall meet are "interesting" general-
ized free fields, (glue balls), whose spectral properties depend on
the dimension of space-time. Moreover, some of our results, or rather
conjectures, may be used to estimate the leading contribution in lfN
to glue ball - glue ball scattering, at least in a certain approxi-
mation to gauge theory. (Incidentally, the ideas alluded to here can
be extended to include mesons, as well!)
ACKNOWLEDGMENTS
The main themes of these notes concern the first two circles of
problems of topic 1):
Results
Iwl + 1 = L n. (w)
J
(1.1)
. '7l d
JE.a.
S = 1/2d, (1. 2)
crit.
n. (w)
II SJ (1. 3)
. '7 d
w:x + y w:x + y JE,L.
(1.5)
d
Typical problems concerning random walks on Z are:
d
(a) Given a subset Q C ~ and a walk w with starting
point x trf. Q What is the probability that whits Q ?
(b) What is the probability that n walks, wl ' w2 ' ... , wn ' such
etc.
d
x E~ . Each spin has an a priori distribution
d A(4I x ) (1.6)
where
15 (1411 2 - 1), or
e.g.
(1. 7)
= A 4 2 2
exp[ - -1411
4
+ LI4I1 ]
2
2
and h and ~ are real numbers, A ~ 0 •
t
<j,R.>
4I j . 4IR. ' (1.8)
(1.9)
2 -1
where r denotes the parameters (a,A,~ ), with a = (kT) the inverse
temperature, {BaA} is a family of functions, depending only on
{4I j }jE;aA ' which prescribe the boundary conditions, and Zr,A is the
usual partition function.
We also define
If <~ >
x r
= 0 define
(1.13)
pairings,p
and
- -2 d
A (r) - - u 4 ,r X(r) m(r) (1.14)
r
Among the important questions which one wants to ask about such
systems are
(c') How does the approach to the critical point look like? Is
the scaling hypothesis valid at 6 = 6 ? (For simplicity, we assume
c
here that only 6 is varied.)
If so one may introduce critical exponents
178 J. FROHLICH
< <l>x<l>/r
tV
1x-y 1- (d-2+n) (1.15)
c
Ix-yl +00
m(r) tV (~
c
- ~)v (1.16)
X (r) tV
(~c - ~)y (1.17)
(d') What are the values of the critical exponents? Why are
y ~ 1, v ~ 1/2, n > O? Why are y = 1, v = 1/2,n = 0 in more than
four dimensions?
and the properties of the theory are coded into the so-called Euclid-
ean Green's- or Schwinger functions
n
(1. 20)
As in 1. 2, we define
1
m = m(r) lim tn Sr (O,x) (mass)
-
[x[+ 00
M (1.21)
ddx
X X (f) - J Sr (O,x) (susceptibili ty) (1.22)
and
Some of the main questions which one likes to ask about EFT are:
(b ' ') Supposing that a non-Gaussian model exists what are its
main physical properties.
As our strategy towards settling (a ' ') - one among several poss-
ible strategies - we shall adopt the principle that EFT models are
regularized at short distances by putting them onto a lattice. In
this way classical lattice spin systems of the sort described in
Sect. 1.2 are the lattice approximations to models of EFT. The ques-
tion then arises how one should go about constructing the continuum
limit of lattice spin systems? We consider the example introduced
in eqns. (1.6) - (1.8). By re-scaling ¢ we may always set S = 1.
x
We know from [44] that, in three or more dimensions, there is a
line Lc = {(A (t), ~2 (t» - 00 < t < Do} such that, for all
r :: (1, A, ~ 2 ) € J: c , and for N 1, 2,
2 -1
m (f) = X (r) = 0 (1.24)
180 J. FROHLICH
Theorem
exists, for all n. Moreover, for n odd, S (xl' .•. ,xn ) 0, while for
n = 2R, even
(1. 27)
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 181
2 d-2+n -(d-2+n)
ate) '" e , and S(x,y) '" Ix-yl (1. 29)
x~y
(2) From the above discussion we see that the construction of EFT
models in the continuum limit and the analysis of critical phenomena
in classical lattice systems are closely related problems: If we know
enough about the approach to the critical pOint, including the values
of various critical exponents, in a lattice spin system with symmetric
transfer matrix we can use that information to construct an EFT model
as the scaling limit of that lattice system.
1
< - (1. 31)
2d
to each such walk. We may obtain this weight from an integral over
,
"local times". Let m2 = S-l - 2d. Let n.(w) be the tot~l number of
visits of w at site j, and let tj = tj(w) be the total time w has
182 J. FROHLICH
_S-lt.
J
e dv () (t.) (1. 32)
n. 00 J
J
where
<5(t) dt, if n 0
dv (t)
n
n-l
t
8(t) dt, ifn 1,2,3, ... (1.33)
(n-l) !
n. (00)
J
Note that (1.32) is the distribution of the sum \' t (k)
L j ' of exponen-
k=l
tial waiting times, t(~) , (with distribution
J
_S-lt(~)
e J dt (~) l .
J
We define
dv
00
(t) - . ITr dvn. () (t.)J 00
and
JE J
(1.34)
_ ( IT
-1
dp (t) e- S tj) dv (t)
00
j(;Z 00
Then
Go(x,y) = [(-~+m)
f.'
2 -1
]
xy I f ... f dp
w
(t) (1.35)
oo:x~
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 183
J J dp 1 2 1 2
I ...
Wl
(t ) dp
W2
(t) II. (t ,t ),
Wl:X l -+ X2
W2 :Yl-+ Y2 (1.36)
where
exp (- }.
1 2 (1. 37)
I}. (t , t ) = 0
and
Furthermore
Now
4
- m lim (1.39)
}.-+oo
with, we recall,
L GS (x,y)
y
is the probability that two walks, wl and w2' starting at points Xl and
Yl' intersect somewhere.
(1.40)
Theorem
1) In four dimensions,
\109 m\-l
Pm '"
2) In two or three dimensions, Pm is strictl:[ Eositive,
as m"'- 0 .
This theorem says that, in the continuum limit in four dimen-
sions, two Brownian paths never intersect, while they do intersect
in less than four dimensions. As a corollary one can deduce from
this result that, in d S 4 dimensions, two Brownian paths starting
at the same pOint intersect each other infinitel:[ often with prob-
ability 1.
Lemma
L J dp W (t) t. F(t)
]
W:X-ty
L l Jdp w 1
(t )dp
w2
2 1
(t) F(t +t ),
2
wl :x+j w2 : j+y l
i i
with t {tj}j E~ F some function of {t j }j€2 d
The proof follows by inspection; but see [4]. This lemma can now
be used to evaluate the dp (t l ) . dp (t 2 )-integrals of
wl w2
00
1 2 (-A) n
IA (t , t ) I n!
n=l
After resumming each term over all resulting random walks the final
outcome can conveniently be described in terms of Feynman diagrams:
p :: A , o ~ a bare vertex,
m r
a bare propagator, GS(x,y). All vertices, but one,
are to be summed over all possible positions. The final result then is
• md - 4 [- A 0
(1.41)
A (1.42)
into
Furthermore,
lim
A-)<lO
2
(1.44)
dA
r
W(A ) - s 1Ar + a 2 12 13
Ar + O(Ar ). (1.45)
r - d\log m\
X* A*
'V n(p-l)E (4-n)E
(1. 46)
r pn(n+8)-16(n-l) r pn(n+8)-16(n-l)
d 4 ,
(1.47)
d < 4 ,
as m' 0 •
This agrees with mathematically rigorous results of Lawler (d=4) and
Erdos and Taylor (d=3); [46,47].
A (1.48)
into
On the lattice,
2
with m S-1 - 2d , and the average intersection probability,
(N)
Pm ' is given by
(1.49)
-2
where x(S) = m L Gs (x,y), and
y
188 J. FROHLICH
(md)N-l = X (f3) -N 2N
m Le. in
(1.53)
n = 1,2,3, ... , with dv (t) as in (1.33).
n
We define
J ( .)
-SH (¢)
[ (. ) ] r (!!.) e II g ( ¢~) d ¢' ,
n, J J
JE
, Zd J
} (1.54)
Zr (!!.) [l]r (!!.) ,
where
gn (¢2) - J dv n (t)g(¢2+2t)
H ~¢) I ¢,
1.
. ¢'] - L h,] ¢j ,
(1.55)
j
<i, j >
2
[¢ x ¢y ]r (!!.) J ... J ( gn, (¢ J,) d¢,)
II
J ¢y
j,x J
- SH (¢ , ... )
. J ¢ gn (¢ 2) e
x
x d¢ x
x
x
190 J. FROHLICH
-SH (¢)
e
By (1. 55) ,
<lH
(¢) = h
<l¢x x
Thus
with IS x ( J.) - IS
xj { 1, x = j
0, otherwise
Similarly,
(1.57)
By iterating (1. 56) and (1. 57) un ti 1 only terms propor tional to
[lJ r (.!!. +.) are left we finally get
IW11+lw21
L h ,h ,
, ,x y
L S [l]r
X ,y wl:x+x'
w2 :y+y'
(1.58)
+ I slwl [l]r (.!!.+.!!.(w» ,
w:x+y
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 191
<CPxCP/r I h
x
hy I I i r (w l ,w 2 ) + I rr(w)
w:x-+y
x' ,y' wl:x-+x '
W2 : y-+y'
I }"r(wl,···,wn ) (1.61)
pairings w :x -+x
a p(2a-l) p(2a)
p a=l, ... ,n
L L [jrr(Wl'W2)-Jr(wl)~r(w2)J
p wl :xp (l)-+xp (2)
dv
dVn+m (t) =J ( dtn) (t-s) dVm(s)
n n
IT dv (t~) ~( L t ), (1.63)
~
~=l w~ ~=l
where
and
h(t) (1.64)
~
The variables tj have the interpretation of waiting or local times for
the walks W
~
Examples
tion of n polymer chains, wl, ... ,w n ' in a gas of polymer loops, in-
teracting via soft-core exclusion.
H (¢) ==
<i,j>
¢ . . ¢. -
~ J
I
j
h. ¢.
J J
h. >
J
°
for all j eZd , and
A ¢4 + L 2
g(¢2) == exp [- - ¢2] ,
4 2
2
with A > o and ).l real.
if t.
J
> ° , for all j . These inequalities and the local-time re-
for all n . When h. 0, for all j, we can also formulate this in-
J
equality as follows.
194 J. FROHLICH
L ~r(wl"",wk,wi""'wQ,)
p w :x +x t7 .
a p(2a-l) p(2a)
a=l, ... ,k
< (1.66)
(1.67)
o >
>
(1.69)
>
=
- S2
I I I I l'r(wi,w 2') .
p z;z',z" W' :x +z w; :xp (3) +z
1 pel)
W' :z'+x w" :z' '+x
1 p (2) 2 p (4)
by (I)
> - S2 L L
p z;z' ,z"
/P(2)
correction arising from terms with z = x., for some j 1,2,3,4. Dia-
J
grammatically, x
z
z;z' ,z' , ~ 11.70)
x p (4)
+c
with
(1. 72)
196 J. FROHLICH
(1.73)
In four dimensions, assuming that, for Ix-yl > ° > 0 and uni-
formly in 0 ,
(1.75)
for some constants E > 0 and k(E,O) > 00 , we obtain the bounds
From this inequality we deduce that the continuum limit (O~) in four
dimensions is trivial, unless
0.( 0)
o(d-2)/2 = e , for d = 4 ,
unless mean-field theory gives the exact behaviour of mer) and X(r),
as r approaches the critical surface, in particular v = 1/2 and y = 1.
Moreover, it can be shown that the violations of the mean-field scal-
ing laws in four dimensions are at most logarithmic [13]; see also
[14].
A x (r)-2
r
< 3 Pr '
<$ >
x r Lh Gr(x,y) , (1.78)
y
where
and
L h
x'
h X (f) _ L
\' h <A. .A. >
r < <$ > • (1.82)
y
'l'x''I'y x r
One simple consequence of this inequality is that, for h > 0, the ex-
pectation value «·»r clusters integrably fast.
2
hX(r) > <¢> - ~ (1. 84)
= r h
}
<¢> a(6)-1 , and
r (6)
'\,
(1. 85)
-d
h h (6) '\, 6 0.(6)
Thus, the second term on the r.h.s. of (1.83) and (1.84) is irrel-
evant, as 6 ~ 00 , if d > 4 , or in d = 4 dimensions provided
-1
0.(6) 6 ~ 0 . In these cases we conclude from (1.82) and (1.84) that
6+00
This shows that, in a continuum A¢4 theory with positive physical mass
in d > 4 dimensions, either <¢ > is divergent, or the ¢ ~-¢
(=) ren ren ren
symmetry remains unbroken.
for some calculable constant, a. The standard mass formula in the GWS
model is
A
r
b (1.89)
for some constant b, where mH is the Higgs mass and mW the mass of
the W boson. Combining (1.88) and (1.89) we obtain
(1) One may use the random-walk representation and Griffiths in-
equalities, much like (1.65), (1.66), (1.70), to give an extremely
simple construction of the A~4 quantum field model in two and three
space-time dimensions, in the single-phase region [4,5].
space-time is chosen to be
x
l'
2
L'
x 1R. L < L' , (2.1)
When L' < one has good reasons to expect that there are no
00
g; II ~ gb
'tV bE~
where --L
is a loop in :zd ,and II ~ indicates a path-ordered
product. The Wegner-Wilson loop observable is defined by
wI/,) = tr (g tl )
The Wilson action of a pure SU(2) theory is given by
-1 -/3A(g)
z e II d dgb (2.5)
/3 be'Z
E E .th
with 0'0 (~~) 0'.
J
iO',
J
j 1,2,3, where 0'.
J
is the J Pauli
matrix, and
3
I¢' \ I (~a) 2
b
1 • (2.7)
b a=O
We define
Then
3
-1 E
g gb I ~a. a
a
b a=O b
Next, we define
i )
~a(b)
~ (a - II
b
bEL (2.9)
1-+ 12 )d 4 ~b '
TI 9 (~b (2.10)
b
where
(2.11)
<WrJ, ) W(~ )
12-
> , ....
(3
(2.13)
with
{'~::
if n 0
dvn(t) dt
Then
We set
-+
A (cp) L tr (a(a
dP
»cp(a,,)
ap
(2.15 )
p a
and define
J(. ) (2.16)
where n
a(b )
J <Pb 0
o
(2.17)
L tr(A(a E ) * ) tr (a E B)
\'
2 tr(AB) (2.18 )
a a
which yields
L tr (a(a;» tr (a(a dp »
a (b ) -a,
o
2S I [W (~ 0 (l p) ] (n+o
- bb
(2.19)
p:(lp S b S o
o
This identity can now be iterated until only terms are left in which
~ has been deformed to the empty loop, i.e. after deformations by
plaquettes Pl, ... ,Pm ' with
T---
ated away (k -+ 0) after many applications of (2.19). Also, note that,
(2.21)
_ Lls.1 m
(Sl,···,Sm) = (2a) J f II dVs.(tj»)'i (L t j ), (2.22)
Ii j=l J
where
and
r-a (t) =z
-1
a
f - -+
e -aA(cj»
II g ( Ilb 12+2tb) d 4 cj>b
b
(2.23 )
The variables ~(S) give the total number of t~mes S passes through
band fOlfIll a 2+-valued vector field on 2 . The ~ are local-
or waiting times for the surface s. They form an it+-valued vector
field on ~d • Given some path y in ~, t = L ~ measures
l' bEY
the total "time" during which Y f\ S is non-empty. Alternatively,
let 0 be a (d-l)-dimensional surface in the dual lattice, (~d)* •
Let to = L ~ .
Then to measures the total "time" during which
b:b*E 0
o"si-l1.
(2.25 )
where
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 213
(2.26)
etc. Since the weights ~_(S) are positive, the representation (2.24)-
S
(2.26) ought to be valid for all S below Sc' (the deconfinement
(la) I f
then in (2.22) all t-integrations range only over the domain deter-
mined by 0 < t j , L t6 ~ 1/2 , for all b. From this fact it is
== b
easy to derive some ~ounds on er-S (Sl"" ,Sm) and to prove that, for
-1
S < const (d-2) ,
-+2 -+2
g ( I <P I + 2t) ~ g ( I <P I ) g (2t)
The reader may now wonder whether the re~lacement of Haar measure,
o(I"$1 2 -1)d 4 cp, by a general distribution g(lcpI2)d 4 cp, as in (lb) and
(lc), is compatible with basic priciples of relativistic quantum field
theory, such as Osterwalder-Schrader positivity [39 ]. Indeed, it is
straightforward to verify that this is the case. All models in (la)-
(lc) satisfy Osterwalder-Schrader positivity. Proofs of these and
related results may be found in [ 31,65,6 ].
(I)
¢ then
-1
Z
(2.33)
S,N
(2.34)
*
Ntr[A+(b) (f -W+(b)W+(b»]
IT{e
b *
• eNtr[A_(b) (f-W_(b)W_(b) )]}
Then, formally,
-1
<well > Z f3) !4c2)~
S,N
JSI
~_ (S) = 0 IT (2.39)
0,00 b
* N
exp[-Ntr (gb gb)] TI (2.40)
i,j=l
for all b. All else remains as in U(N) lattice gauge theory. This
yields a model originally proposed by Weingarten [21] as a lattice
approximation to the Nambu-Goto string. It is perfectly meaningless.
However, its formal N ~ 00 limit is an interesting theory, the planar
random-surface theory:
2-n
<W(~l); ••• ; W(~ n » -
'U N , (2.43 )
(3,N
(2.45)
for any bounded, measurable function F. But equ. (2.45) may make sense
even if the action functional, A, is not bounded below, as in the Wein·
garten model. It is an interesting speculation that, for the Weingartel
model on a finite lattice,
T
lim lim T- l f dT F(g(T» = <F> , (2.47)
T-+oo N-+oo 0 PRS
The PRS model defined by the r.h.s. of (2.41) and (2.42) has very
appealing properties which we study in the next section. One ought to
regard it as the right generalization of Brownian motion, from random
paths to random surfaces.
Examples.
(3.3)
8 I I (IOg\SR i )
lim lim n (A)
(3.5)
H
R"~ A-+ro opa Se.t log R
dS=dp
a
Isl=A
We define
( logl S I)
ts (S)
-1
lim lim
R-t<lO
ZS(L,T) . t7 I .p 109: (3.6)
L,~ S€,-'O 0 (~ LxT)
(3.7)
For t as in (c), G Q ( / :
I-' 1
, ••• ,~
n
) and X(S) are finite for S > S ,
0
while they diverge for all S < S . For t as in (a), (b) and (d), S
is defined to be the deconfinem~nt transition point of the correspgn-
ding lattice theory. An important question is now whether S is a
critical point in the sense that 0
(3.13)
222 J. FROHLICH
and i f
a(S)':¥O, as S'\.S ,
o
a(S) _ (S - S ) II (3.14)
o
Y = \) (2-n) (3.15)
cl(S) = 2. (3.1S)
for all S > S ; i.e. this model has permanent confinement and mass
'
genera t ~on, 0[7].
(ii) Using the fact that Is(S) = e- sjsj we see that XeS), defined
in (3.11), behaves like
y =2 + E. (3.21)
as S"'- So . (3.23)
More generally GS(dPl, ... ,d P lis given by a sum over all tree dia-
grams with vertices of order n 3, propagators given by GS(d P , dP')' and
external lines ending in Pl"'" Pn '
By (3.1Uand (3.24),
v = 1/4. (3.27)
Finally,
1 (3.31)
i.e. Y ~ '2.
Furthermore, a somewhat subtle proof shows
In field theoretic jargon this means that the scaling limit satis-
fies unitarity and the spectrum condition, in statistical mechanics
jargon that the model possesses a positive transfer matrix.
n ~ O. (3.32)
Now, from (3.29) and the assumption that the three-loop correlation
226 J. FROHLICH
d
n> 2 3 ' hence
d
n ~ max (2- 3' 0). (3.33)
d ~ 6. (3.35 )
c
By (3.33) and (3.15)
- X(S)
-1
(I dist(p 0
,p)
0
H GS ( dp0' dp»
p
-0H -voH
- m(S) - (S-S )
0
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 227
as S~ So . Hence
\! = 1/6H (3.37)
\i <
=
!.2· (3.39)
y ~ 1/3 , in d = 2
which casts some doubts on the numerical results in [67]. On the basis
of these results and mean-field theory it is reasonable to expect
that
~<
3 =
2 - n, Le. (3.41)
(in particular d > 4, in agreement with (3.35) !)~See also footnote 2.)
c
All the results for the PRS model reported here have been worked
out with B. Durhuus and T. Jonsson in [7,8]. These results suggest
the conjecture that the scaling limit of this model exists, and is ,
non-trivial for d < d . Since the two-loop Green's function GB(~'~ )
is Osterwalder-Schrad~r (reflection) positive and by (2.43), that sca-
ling limit defines a relativistic quantum field theory with all the
required properties D9, 41]; in particular, there are no tach}'Ons in
its particle spectrum. However, the theory is non-interacting (Gauss-
ian), in particular the scattering matrix is ]; (see (3.34) and
(2.43». For d < d , we have heuristic reasons to expect that the mass
c.
228 J. FROHLICH
Gr(x,y) (3.44)
and
(3.45 )
when \x-y\ and diam (~) are very small, because the statistics and
geometrical properties of short paths, w, and small random surfaces,
S, may be very different from what they are in flat space. (E.g. when
~ = f,
a considerable fraction of surfaces, S, contributing to (3.45)
may be non-contractible.) A phenomenon related to Anderson localizatior
may then occur on very short distance scales. As an example, the spec-
trum of the Laplace-Beltrami operator on a fluctuating space-(imagin-
aryl time manifold, the Green's function of which has a random path
representation like (3.44), may be pure-point, at high "energies",
with probability 1. (Here "energy" denotes the value of the spectral
parameter.) This would mean that scalar quanta of very high "energy"
do not propagate through space-time foam, and that the density of
states at high "energies" is smaller than in flat space-time. All
these effects might improve the short-distance behaviour of quantized
fields.
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 229
REFERENCES
26. T.P. Cheng, E. Eichten and L.-F. Li, Phys.Rev. D9, 2259 (1974).
L. Maiani, G. Parisi and R. Petronzio, Nucl.Phys~ B136, 115
(1978) •
D.J.E. Callaway, Preprint CERN, 1983.
27. C. Itzykson, these proceedings, and refs. to be found there.
28. P.-G. de Gennes,"Scaling Concepts in Polymer Physics",Ithaca
and London: Cornell University Press, 1979; and refs. given
there.
29. D. Brydges, J. Frohlich, A. Sakal, unpublished.
30. G. Felder, unpublished.
31. G. Mack, these proceedings; and "Dielectric Gauge Theory",
DESY Preprint 1983.
32. J. Frohlich, talks at the Trieste meeting (Dec. '82) and at
CERN (spring '83); see ref. [6].
33. J.-M. Drouffe, Nuc1.Phys. B218, 89 (1983).
34. J. Bricmont and J. Frohlich, Phys.Lett 122 B, 73 (1983), and
papers in preparation.
QUANTUM FIELD THEORY, RANDOM WALKS AND SURFACES 231
FOOTNOTES
IC.N.R.S., I.H.E.S.
F-91440 Bures-sur-Yvette, France
2Department of Technical Physics
Helsinki University of Technology
SF-02150 Espoo 15, Finland
235
236 K. GAWEDZKI AND A. KUPIAINEN
N' 1 2 1 7
H("¢) = - r V(+,<pN+x ) + - r (cp _"¢)2 (1)
2 xEA 2 <xy>c;A Y x
where the last term is the kinetic term given by the sum over pairs
of lattice nearest neighbors and may be also written as
}ll-l1!"¢>. H generates the Gi bbs state
where the second term contains lower order terms in N, see below.
The obvious gain from such a transformation is that the N-dependence
becomes expl icit and the N + 00 I imit semiclassical. HOff(K) has
been worked out in [13J. Our improvement consists of e finding
H1ff(K), which in fact is N-independent. Thanks to this, we can use
t~e collective fields not only to study the N + 00 I imit but also
to generate the liN expansion and to estimate non-perturbative
corrections.
(2) :
N 1 -+
--rv(- ¢2) __1<¢1_~1¢>
-+ -+
<F> ::.!. J F(.!.t..~) e 2 x N x 2 0-;
N N··
(5)
N 1-+ -+
-- r v(K ) --<~I-tll~>
= 1
-N J F( K) e 2 x xx a ( K- ..!..:t.
N'I'. t'1'.) e 2 OK O¢-+
where the OK integration goes over real symmetric matrices K = (Kx y )'
x,y A. Representing the a-function by an oscillatory integral over
another set of real symmetric matrices M = (M xy )' we obtain
-+ •
where in the last step, the Gaussian O~ Integral has been performed.
Exponentiating the determinant on the right of (6), we obtain
f F(K) (8)
K~O
o 1 '<"
Heff(K) = - L. v(K ) + Tr K (-.~) - Tr log K , (9 )
2 x xx
( IA I + 1) Tr log K , (10)
forgetting for the moment the r-functions in (9) which may be ab-
sorbed into the normal izing factor N. The clear gain from (8)
with respect to (7) is the real ity of the functional integral. Now,
the N ~ ~ I imit is determined by the absolute minimum of (real)
H~ff(K). In fact, f~~ a large class of v's it is enough to con-
sider K = (-~ +m 2 ) for m2 > 0 . This gives us a clearcut way
to choose between different stationary points of H~ff(K), at least
in finite volume. In fact, our approach may be used, see [12], to
substantiate the variational ansatz of [1, 2], where it has been
first pointed out that the ultraviolet stable fixed point in the
O(~) a-function for the tricritical (~2)~ found in [20] disappears
if the minimal stationary point is choosen for the N + ~ solution.
N-IAI-l
Let us notice that for N <IAI , (det K) 2 appearing in
(8) has a non-integrable singularity on the boundary of {K ~ a}.
This singularity is, however, regularized, see [12], due to the poles
of the r-functions in front of the integral, so that the right hand
side of (8) converges in distributionai sense for sufficiently regu-
lar F(K) and gives the result analytic in N. In fact, the dis-
tribution in question is for integral N > 0 supported by positive
matri ces K of rang S; N < IAI wh i ch is eas i IY understandab lei n
vi rtue of (3).
The relation (8) casts some doubt on the interchangeabi lity of
the large N and the thermodynamical I imits: the semiclassical
regime seems to settle only for N »IAI. This might, however, be
a superficial effect. For example, in the high temperature phase it
has been proven in [14, 15] that the limits may be interchanged.
Also our results for the hierarchical model described below suggest
that this sti I I holds at the critical point.
Let us now suppose that after n steps of the RG transformation
of the block spin type, see [16], we obtain an effective O(N) in-
variant Gibbs state
( 11)
RIGOROUS RENORMALIZATION GROUP AND LARGE N 239
+
where d~G C~) is the Gaussian measure with mean zero and covariance
n
Gn giving a distribution of the n-th block spin field in the free
v = 0 case. We may decompose each field ~ into the block spin part
and fluctuation field
~ =A ~' + Z C 12)
where
is the block spin field at the step n+1 n is called the anom-
claus dimension. It is convenient to choose the kernel A so that
ir: the free case M' is the most probable field with prescribed
block spin values (13). In this case A~' and Z become statis-
tically independent:
( 14)
Hence, the distribution of the block spin field ~' on step n+1
is given by the fluctuation field integral as
¥I 1
e
N
--v
2nN
1 ++ +1
•• N
+* 1*+ +h*
(-A (~'·~')A +-A (~'·L)+-(L·~')A +-L·L)
··N·· N·· +~
dllr(Z)dlJ
LnG
+
(~').
n+l
( 15)
N 1 + +
- - V (- ~ I. ~ I)
1 2 n+ 1 N • •
fije ( 17)
( 18)
( 19)
(20)
const
(21)
2-d
A L2 ()
xy [x/L]y
-!i v
e 2 n+1
(k')
==
Jco
const dk1
o
(22)
N
- -( k +
2
k )
N-3
+-
• e 212 2
e
- ~ (1+'2)
2 n+1 ~ = const
f e -.lLd
4
Nrv (.l(L 2- d$±!)
(L 2- d$±1»_..1.. 12
±
N 2 dz+
n
0
(23)
which is the expression in the original variables, by changing the
variables to
(24)
2<d<4
~~ = { (25)
112 - n d 2.
o
(26)
where v = v'(O)
n
(0)
n
v" (0)
n
O. Take for definiteness d = 3.
For the N = 00 fixed point, a = 0, A = Aoo = L- 3 (L-l). The flow
of the N = 00 recursion around the fixed point is sketched in Fig. 2
(the dotted I ines). The a direction is locally the only relevant
one. When N is large but finite, we may hope that the N = 00 pic-
ture gets only slightly distorted (the sol id I ines on Fig. 2). This
in fact has been proven in [10J with the use of analyticity techniques
to estimate the corrections of higher order in liN from smal I field
contributions to (22) and non-perturbative corrections from large
field contributions, compare [16J. The first exact statement is the
followi ng:
Assume that
N _ -
-"2 v n(k)
(A). e is analytic for 11m k1/21 <.2. 11-001 e: where
2 0
1
k ;;; k + 112
0 00
and for 11m k 1/2 1 <~ L-'2 11~~e: ,
o k
Fig. I
l'
", and other
couplings
o a.... a..
Fi g. 2
Fi g. 3
244 K. GAWEDZKI AND A. KUPIAINEN
(27)
(B) • For
-
I kl < e: V is analytic and
Iv" s e: 3/ 4
nI (28)
Once the convergence to the fixed point is obtained, one can easi Iy
study the hierarchical model correlation functions and demonstrate
their non-Gaussian long distance behaviour [llJ.
REFERENCES
11. Gaw~dzki, K., Kupiainen, A.: Non-Gaussian Scal ing I imits. Hier-
archical model approximation. IHES preprint.
12. Gaw~dzki, K., Kupiainen, A.: in preparation.
13. Jevicki, A., Sakita, B.: Collective field approach to the large
N limit: Eucl idean field theories. Nucl.Phys. B185, 89-100
( 1981) .
14. Kupiainen, A.: On the lin expansion. Commun.Math.Phys. 73,
273-294 (1980),
15. Kupiainen, A.: lin expansion for a quantum field model. Commun.
Math. Phys. 74, 199-222 (1980).
16. Kupiainen, A.: Contribution to this volume.
17. 1\1a, S.: Renormalization group in the large N limit. Phys.Lett.
A43, 475-476 (1973).
18. Ma, S.: Modern theory of critical phenomena. London, Amsterdam,
DonMi I Is-Ontario, Sydney, Tokyo: Benjamin 1976.
19. Mack, G.: Contribution to this volume
20. Pisarski, R.D.: Fixed-point structure of (~6)3 at large N.
Phys.Rev.Lett. 48, 574-576 (1982).
21. Polyakov, A.M.: Interaction of Goldstone particles in two
dimensions. Appl ications to ferromagnets and massive Yang-Mil Is
fields. Phys.Lett. 59B, 79-81 (1975).
22. Siegel., C.L.: The volume of the fundamental domain for some
infinite groups. Trans.Am.Math.Soc. 39, 209-218 (1936).
23. Schnitzer, H.J.: Nonperturbative effective potential for A¢4
theory in the many-field limit. Phys.Rev. 010, 1800-1822 (1974).
24. Speer, E.R.: Dimensional and Analytical Renormal ization. In:
Renormal ization Theory. Eds. Velo, G., Wightman, A.S., Dord-
recht, Boston: D. Reidel 1976, pp. 25-93.
25. Wei I, A.: Basic number theory. Berl in, Heidelberg, New York:
Springer 1973, p. 200.
26. Wi Ison, K.G.: Renormal ization group and critical phenomena.
I I. Phase-space cel I analysis of critical behavior. Phys.Rev.
84, 3184-3205 (1971).
27. Wi Ison, K.G.: Renormal ization of a scalar field theory in strong
coupl ing. Phys.Rev. D6, 419-426 (1972).
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS
Hamburg
( 1.1)
(1. 2)
247
248 M. GOCKELERAND H. JOOS
index sets H = {r~/r'l.I"· ,r,,) with /",,, <. r ... "··· <fA", J, ~ D.
The DKE can be considered on general manifolds 4,5. Since we are
mainly interested in lattice approximations, we restrict ourselves
to flat spaces. From (d - 0 )2 = -(do+od) =0 it follows that
d- £> is a square root of the Laplacian 0 like the Dirac operator
'(r dr.
(1.3)
(1.4)
(1.5)
cp(l<.,H):::""I::r('V()()l~) I >1'l.L:
'Y!b\)():1.-1 cpl)(,H)«(fI'l)Q,b •
'"
It follows immediately from the form of the DK operator
cJ. - S :; dlC r v d". and these formulas that the Dirac components
of a solution of the DKE satisfy the Dirac equation
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS 249
(1. 7)
7
It is standard mathematical knowledge that differential
forms get mapped on linear functions on the space of lattice ele-
ments ("cochains"), when a manifold is approximated by a lattice.
The formula
(1 .8)
("+1 6("+1
continuum lattice
weighted sums of points, chains
curves, surfaces, .••
boundary boundary
differential forms ¢ cochains <t>
"''1.
codifferential ~, 5'1.::: 0
v
dual coboundary operator 'V ,V ,,0
_llC,H " J, eX eM
0. (1(,\4 » =Q. 0,,' 0H' • (1. 10)
( 1.12)
(1.13)
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS 251
cup-product
r---r---'
, , I
-, ~
I __ .JI
L '"
,1-",,'
'---T--'"
- __ ' .J,
.L __ I
contraction
Clifford product
r--,
r--r--Jl r--"" r---, r--'I
tj
, I I I I I I
I I I I I I
," ,
r--i V
,-.,J I
L __ ..J
, I
IL __ ..JI
~
I
,
L __ ..J
I
I
= t--1I
I
L__ .J
(1.14)
(1.15)
A=HI'\K, H..1K=HvK-..t\ .
~ v +
The coefficients ~r.H S\-I.l< take the same values 0, - in
the continuum and on the lattice. The action of the contraction
operator on the lattice is illustrated in Fig. 1. The Clifford
product of elementary cochains is different from zero only if a
matching condition is satisfied. The resulting elementary cochain
is shifted by eA . The geometric meaning of matching condition
and result shift is shown by examples in Fig. 1. Contrary to the
continuum case, this Clifford product is not associative. Instead
we have the relation
( 1.16)
(1.17)
(1. 18)
( 1.20)
(1.21)
(1 .24)
t S~~v~
law compatible with the spinorial transformations of Dirac fields?
According to Eq. (1.5), represents an infinitesimal
spinor transformation of the Dirac components:
! Srv v,*, - i 'Or 0'" 't'(b) I whereas 1 <t> v sr'" corresponds
to an S-flavour transformation. Therefore a tensor transformation
can be considered as a product of a spinor transformation and a
corresponding SU(2) x SU(2) S-flavour transformation.
(1. 25)
(1. 26)
For later comparison with the symmetries of the lattice DKE we re-
present the elements of ~ also as products of tensor transfor-
mations (S,S,a) and S-flavour transformations (F,l,O):
[F /A(S),o.1=(F,1,O)o(S,S,CA.)=lF,1 / o.)ols,s,O)=(FS,S,a.). (1.27)
256 M. GOCKELER AND H. JOOS
(1.29)
(1.30)
with dH =LIII
d",H, d;4> =2::,(cpc)(".n-q>()I,-e/",Hl)d",H.
lC.,H
Although the Clifford product on the lattice is not associative,
we get from Eq. (1.16) by summation over x and z:
(1.31)
(1. 32)
This relation shows the invariance of the lattice DKE under right
Clifford multiplication with constant cochains dL • For the product
of such lattice flavour transformations we calculate:
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS 257
( J.,.
...,v
r:J.'r<) v i·: v
~KL
T-e 1 (
ct>voo._1\(.1L)
• L ,,\( (1.33)
with Te ct>C.· K : d,"-ewl< .
H
{[ ... ..-Ii
-0
1 ! e + ~
"1 H 7= r er JI VIr E"L '
Y'\ H = ordered index set}
(1.34)
of the continuum symmetry group ~ by the correspondence
(1 .35)
(1.36)
f lp Q-~
1'I/Q.
[- 'l'"""" . (1~(Afr ) Or
0: L ~I"" +W\) 't' (b) (p)= 0 , (1 .38)
I"
(1.42)
tn., 4>t= erA 01 xl'" vn, 4»0 " I (".n . . . A- B ,+14> +pcp ",,It<~ P+'..n..) (1 .43)
p
"
Here we used the additional notations on the lattice and in the
continuum:
B P<I> :: (-1)
(n Pcp "* <p: q,v £ • (1 .45)
I
(1 .48)
is conserved if
(1.49)
(1 .50)
This result is valid on the lattice, too, if one replaces all quan-
tities by their lattice analogues. Examples are (0 = 4):
where (j) ::: A cp* satisfies Eq. (1.49) and has the Dirac com-
2
ponents
-
\jJ<A(1)))
(x =ij:1 ~
L
H
iii
T
(x./H) (v"""")a.
0
b • (1.54)
(1.55)
(2.1)
(2.2)
(2.3)
( cl. A- 6A + VVI) ~ :: 0
I
(2.4)
(2.5)
262 M. GOCKELER AND H. JOOS
The term - f'l. "tc-('r, '3)0 is the usual gluonic Lagrangian ex-
pressed in terms of the field strength 2-form
(2.6)
(2.7)
(2.8)
and
(2.9)
1 - "" (2.10)
S=-'t(cp,(~ A -VA +YV')cI>}0 (17) + SG tu ) .
w
(2.11)
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS 263
(2.12)
(2.13)
:: ~ L 1
~r,H-r (u- (x+t e't', 'r) q:>tx + e".., H-I"') - u'()(+I el-l-r,r) ~(x, H-r ),
r
(v~ <t»(x,H)
(2.14)
1 ~ I _1 '\ ( '\ :'I
=- a: -I
~ ~r,H"'r \ I.A. (x+l. eH,r)CP XI Hvr) -U(x-e,.. +2: eHvrlr)q>(x-e.,.,Hvr)j'
The DKE and S have the general form (2.9), (2.10). In the following
we shall treat several problems using the coarse and the Susskind
coupling. This will allow a comparison of advantage and disadvantage
of the two coupling schemes.
(2.15)
264 M. GOCKELER AND H. JOOS
or on the lattice:
_ _1)1,'"
<. 41 41 >"" L <~lx/H)
~ ...Iy,K
ip(y,K» ~ 0 Ol
".H (2.16)
y,K ~ ....... ..... ~ ..,14 y,H
:: L It ( .6.-\1 +IM)y A (l4-Y) L-. J. 0d
","'/ H
Here ~F is the well-known free 2-point function for a scalar field,
whereas ~ denotes the corresponding lattice expression:
(2.17)
(2.18)
(2.19)
(2.20)
ON KAHLER'S GEOMETRIC DESCRIPTION OF DIRAC FIELDS 265
(2.21)
(2.22)
(2.23)
(2.24)
(2.25)
266 M. GOCKELER AND H. JOOS
(2.26)
M't~/4>/U)=11.6 L E.
K
K M I<1.- k L (~/(Te
L I< L
cp)"d K )o(ll) .
gauge l.nv.
(2.27)
=....,{1'l.}. "
{,t), ttH't}
(2.28)
(fJZl=~11.?o*"'1, £12.=-"'3 .. : t ).
Since the gauge transformations (2.12) of the factors 4>, ij) in M'
refer to different points, this expression is made gauge invariant
with help of the appropriate parallel transporters U. M' is invariant
under the flavour transformations (1.35) restricted to the reduc-
tion group (1.21). The introduction of the translation operators
Te L in M' is necessary in order to enlarge the symmetry group
of M' (see Eq. (2.30».
JrJ'l-
-rr
(2.30)
(2.31)
which is conserved in the free case. In the case with gauge inter-
action, jA is not gauge invariant because of the point splitting
introduced by the Clifford product. It was shown that the gauge
invariant completion with the coarse coupling produces the correct
anomaly for four flavours 29. For the Susskind coupling there is a
similar result by Sharatchandra, Thun and Weisz 9. However, they
use a current which is different from the geometrically motivated
expression (2.31).
REFERENCES
ABSTRACT
I. INTRODUCTION
271
272 G. 'tHOOFT
-S('$)
e ,
(1. 1)
K(n) ~ an n! (1. 2)
b n k'• g 2n • (1.3)
But since the total number of such diagrams grow at most as n!/k!
we still get bounds of the form (1.2) for the total amplitude,
however with a replaced by a different coefficient. This is a
different kind of divergence sometimes referred to as ultraviolet
"renormalons,,4,7.
(2. I)
with
As for the rest the Feynman rules for computing a diagram are
as usual. For instance, fermionic and ghost loops are associated
with extra minus signs.
Tr Aa = 0 • (2.3)
PLANAR DIAGRAM FIELD THEORIES 275
i i
a (> b Pab(k) {R }-I (N x N matrix propagator)
o ab
j j
i i
(M-I) (N-vector propagator)
~ P~a(k) o ba
a b
~~ -g Mbac
1
2 Mba cd
-g 2
R {abc}
-g 1
_g2 R {abcd}
2
(2.4)
(2.5)
(3.1)
i __-,!)~--,,)
a i-~<'---.J"
b
(N-vector source)
(matrix source)
v = LV,
n
n
(3.2)
Here Pt is the number of times the second term of (2.4) has been
inserted to obtain traceless propagators. By drawing a dot at each
end of each propagator we find that the total number of dots is
2P = Ln Vn , (3.3)
n
2P-2V F-L- 2P
r = g N t (3.4)
F -P +V 2 - 2H , (3.5)
r = (3.6)
Suppose we take the limit
(3.7)
If there are N-vector-sources then there must be at least one N-
vector-loop:
L ~ 1 •
(3.8)
the factor N is always understood. Only the (few) indices a,b, •••
of eq. (2. I), as far as they do not refer to the SU(N) group(s),
are kept. The details of this surviving index structure are not
important for what follows, as long as the Feynman rules (Fig. I)
are of the general renormalizable type.
(5.2)
For any planar Green function we label not the external mo-
menta but the spaces in between two external lines by indices
1,2,3, •.• which have a cyclic ordering. An external line has mo-
mentum
(5.4)
p .. = p. -po • (5.6)
1,] 1 J
So we can look at the Pi as dots in Euclidean momentum space, and
the distance between any pair of dots is the momentum through some
channel. If we write
(5.8)
Our bounds for the three- and four-point functions are now
defined in table I.
284 G. 'tHOOFT
Table 1
Bounds for the 3- and 4-point dressed Green functions. Zij stands
for Z(Pi-Pj)' All other exceptional momentum configurations can
be obtained by cyclic rotations and reflections of these. Ki are
coefficients close to one.
«12h 3)2
« 12h (34h) 3
if Al ~ A2
« 123) 1 4) 2 2
K6 (ZI2 Z23 Z34 Z41)
-~
«12) 1 34) 2
where we also assume that possible summation over indices a,b, •••
is included in the K coefficients. Clearly the bare vertices would
satisfy the bounds with a = S = o. Having positive a and Sallows
us to have any of the typical logarithmic expressions coming from
the radiative corrections in these dressed Green functions. Indeed
we will see later (sect. 13) that those logarithms will never
surpass our power-laws.
(dress ed 3-
vertex )
• 2
• (comp osite propag ator)
(gener alized
vertic es)
• k
Ikl- a (exter nal line)
Fig. 5: Type IV Feynman Rules. Ikl stands for ..t.2+m2 •
286 G. 'tHOOFT
III occur in refs. 11, 12 and are not needed here). The trick is
to introduce a new kind of propagator,. Z . , that represents
an exchange of two or more of the original particles in the dia-
gram we started off with.
Since we consider only skeleton graphs, all our graphs and sub-
graphs have
(5.11)
G(2,o) (6.3)
E-\
+ L
n= \
Fig. 6: Eq • ( 6 • 2)
G(E,L) (6.4)
CocI ~ 1 . (6.5)
k 1 4
L
n=1
2
n (k-n)
2 ';;;;2" '
k
(6.6)
C CE+2CL- 1
a 1 2
(6.7)
(E+ I) 2 L2
(6.8)
if
(6.9)
2L (2E-2)!(2E+3L-4)!
G(E,L) (6.10)
L!(E-I)!(E-2)!(2E+2L-2)! '
(6.12)
PLANAR DIAGRAM FIELD THEORIES 289
V = E + 2L - 2 , (6.14)
P=V+L-I. (6.15)
(6.16)
which does not alter our result qualitatively. Also if there are
elementary 4-vertices then these can be considered as pairs of 3-
vertices connected by a new kind of propagators, as we in fact
did. So also in that case the numbers of diagrams are bounded by
expressions in the form of eq. (6.1).
V-P+L= I . (7.1 )
L (7.2)
n
P = P. + P (7.3)
~ e
where Pi is the number of internal propagators and Pe is the
number of propagators at the edges of the diagram. Then, by
putting a dot at every edge of each facet and counting the number
of dots we get
I n Fn 2P. + P
~ e
(7.4)
n
I n V
n
= 2P + E , (7.5)
n
3V = 2P + E . (7.6)
I (n-6)F
n
2E - P
e
- 6 (7.7)
n
L ;;;. 2E - 8 (7.8)
F
n
>0 for some (7.9)
(7.10)
PLANAR DIAGRAM FIELD THEORIES 291
This simple theorem together with eq. (7.7) tells us that any dia-
gram with a number of loops L exceeding the bound of (7.10) must
have at least one elementary facet with 5 of fewer lines attached
to it. Although we could do without it, it is a convenient theorem
and now we devote the rest of this section to its proof (it could
be skipped at first reading).
(7. 11)
P
e
E + L e.~
(7. 12)
~
L = I + L (L. ~
+ e. -
~
I) (7.13)
i
Now each facet between the subgraphs and the rim must have at
least 6 propagators as supposed, therefore
P +
e
LP e~
. + 2 L e. ~
~ 6 L (e.-I)
i ~
+ 6 , (7. 14)
P +
e
LP e~
. + 2 L e. ~
~ 6 L (e.-I)
i ~
+ 6 + 2N2 , (7.15)
292 G. 't HOOFT
E ~ L e.~
+ 6 . (7.17)
i
Ef E1
L1";; 12 - 2 + I , (7.18)
(7.19)
8. TRIANGLES
E1 + 2E2 ~ 5 , (8. I)
2.
(8.2)
1,2 1 2..
J
El lor o. We write
or S -I (8.4)
to cover both cases. Now let us replace the vertex functions by
bounds that depend only on the momenta of the internal lines:
The integral over the loop momentum is then bounded by 8 terms all
of the form
(8.7)
and
(8.9)
1 1 1
6 (Lx-I) xl °1- x 2°2- x3 °3-
dXl dX2dx3 -------------L-=0,....,---=-2
o
(p2X2X3+q2X3Xl+(P+q)2X1X2)i ~
(8.10)
(8. 12)
(8. 13)
(8.14)
13 > 2a t (8.15)
9. QUADRANGLES
a 2
2
+ 2
c
b c
b c
Fig. 10. Inequality for quadrangles. a, band c may each be lor2.
f d4k n. I
l k
I
\20.l
(9. I)
-Pi
----------------- ~----------------- +
IPI-P2IWllk-P2IW2
(9.2)
with
(9.3)
a
o 1
e------4
(;2}0
b
p1
___ ..
r----...
__ -
--- ...- -- -"'\----
I
I 0, \ , I
/ 01 \
\
A(Wl.W2)
---{, \--- ,( ---.\
I \
.---+
, O2 "
I
IP1-PZ!W2 \
\~2-2Wf'
j:; , I
I
(9.4)
(9.5)
(9.6)
-,.-----i;----- I
r(o.-!Z)
~
(9.7)
r ( o. )
~
We see that ineqs. (9.2) and (9_6) have essentially the same ef-
fect: if two propagators have a power larger than a certain coef-
ficient they allow us to obtain as a factor a corresponding
"propagator" for the momentum in that particular channel. This is
how proving the ineqs. of Fig. 10 can be reduced to purely alge-
braic manipulations. We discovered that ineq. (8.15) is again
crucial. We notice that if the internal propagators of the
quadrangle were elementary ones then the superficial degree of
convergence of any of the other subgraphs of our diagram may
change slightly, since in eq_ (5.10) S > 2a, but the left hand
side of eq. (5.11) remains unchanged, because
(9.8)
After a few iterations we· will get values still obeying the bounds
of Table I, and with uncertainties also given by Table I but Ki
replaced by coefficients oKi' Thus we start with
oK ~ 0) = K. . ( I I. 7)
~ ~
g(x) < go ,
(12.1)
(12.2)
Define
(12.3)
so that
(12.4)
This gives us the "Feynman rule" for the difference of two dressed
304 G. 'tHOOFT
p+k
~
Fig. 14. Feynman rule for the difference of two dressed propa-
gators. The 3-vertex at the right is the function
G2 ].l(plk).
1
p+k+q P
p+~p c~: ) = qv
+
=
(12.6)
with
GO =-0 (12.7)
2]lV ]lV
(12.8)
= f... J
F dq I
s= 1
(12.10)
which is just the rule for taking the difference of two products.
We find the difference of two dressed Green functions G in terms
of the difference of bare functions f. Therefore the "Feynman
rules" for the diagrams at the right hand sides of Figs. 14, 15
and the l.h.s. of Fig. 16 consist of the usual combinatorial rules
with new bare vertices given by the eqs. (12.5) and (12.7). These
bare vertices occur only at the edge of the diagram.
(12.11)
~ = max
..
Ip.-p.1
1. J
(13. I)
1.,J
fixed. So the left hand side of our difference equations will show
two Green functions with the same value for ~, one of which may be
exceptional and the other at its symmetry point, and therefore
known. (Weuse the concept of "exceptional momenta" as in ref. 14.)
(13.2)
Table 2
Bounds for the irreducible 5-point function at some exceptional
momentum values.
«12)1 5 (34)2)3
«(513h 2)2 4h
«135h (24h)3
« 1235h 4) 2
If the Ansatz holds for G4{«523)2 4)3} then the new ex-
ceptional function will obey
Choosing (13.6)
we find
What is now needed is a bound for the last term in (13.8). Let
(13.10)
(13.12)
then
(13.13)
(13.14)
as soon as
(13.15)
(13.16)
Similarly we derive
310 G. 'tHOOFT
(U.I7)
(13.20)
(13.21)
2_ (2
Kif - max KG'
y)
-28' (13.23)
1-2
2y
(13.24)
(13.25)
PLANAR DIAGRAM FIELD THEORIES 311
where
(I 3. 26)
We find
(13.27)
(13.28)
Therefore
K~,;;;;max(1,YL') • (13.29)
4 (i) (i)
- I Pn G4A(Pl , .. ·,ps ).
i=1 (14.1)
Here Pi and Pji) are external loop momenta. They are non-
exceptional. We use a shorthand notation for (14.1). Writing
p? c:! (p._p.)2 c:!fl2:
1 1 J
312 G. 'tHOOFT
(14.2)
Similarly we have
(14.3)
k
L S~~) . g. (~) ••. g. (~)
R.=2 ~J1···JR. J1 JR,
N
+ Ig(~)1 Pi(~)' (14.4)
where S(R.) are the first k coefficients of the S. function, and they
must coincide with the perturbatively computed S coefficients.
Often (depending on the dimension of the coupling constant) only
odd powers occur so that k = N-2 is odd. The rest function p must
satisfy
(14.5)
for some constant QN <=. This inequality must hold in the sense
that Ig(~) IN p(~) must be a convergent expansion in the functions
g(~'), with
(14.6)
(so that ~' may be smaller than ~), in such a way that the absolute
value of each diagram contributes to QN and their total sum remains
finite.
~Z-3/2(~)g3(~) (14.7)
Z-2(~)gt(~)
(14.8)
(14.9)
then
(14.10)
and n
I (~-~1)U2(~1)d~1 + A~ + B • (14.11 )
m
(14.12)
We find
1
~ Z-l (14.15)
a~ I
m/~
av
lld
U3(1l) = llG 3,AA(1l) , (14.16)
II
G3(1l) = J llU 3 (1l)dll + C3 , (14.17)
m
I
(14.18)
J
mill
A potential difficulty in writing down the renormalization
group equation even for N = 4 is the convolutions in (14.15) and
(14.18) \Vhich contain Green functions at lower II values, and so
they depend on g(ll') with ll' < ll. So a further trick is needed to
derive (14.4). This is accomplished by realizing that the integrals
in (14.15) and (14.18) converge linearly in ll. Suppose we require
at every iteration step (see eq. 11.5):
and (14.19)
for some S < 00, g < 00. Then it is easy to show that if 111 < ll,
then 0
if
(14.21)
(14.22)
l-a-Te>o (14.23)
Va "'-1
~ Z. ( v) -_ "'-1
Z.1. ( v) ( y1.J
.. kg·J (V )
gk )
(V + g 4 (V) L\ (V) ) , (14.24)
aV 1.
where I(v) is again bounded. Here Yijk are the one-Ioopy coef-
ficients 14 This gives us improved propagators. See sect. (15.b).
PLANAR DIAGRAM FIELD THEORIES 317
a) Except?:onal Momenta
n-2 n-2
neg , (5.3)
00
(1) n n (2)
f, L
n=2
(n+2) C g f, • (15.4)
(15.5)
and f,(2) < f,(1) if we reduce the maximally allowed value for g, as
given by (5.9), somewhat more:
bJ The Z Factors
log Z. (~)
~
(15.7)
( 15.8)
(15.9)
so that
k
N
I Q(.2.)
I-'
. D '"
~J 1 ••• J ~
g. (~) .. ·g·n
J1
'" (~)
J ]V
Ig(~) I Pi (~) ,
2=2
(15.12)
where the tilde denotes the next "improved"function gi(~)' Our
first Ansatz will be a solution of (15.12) with Pi{g(~),~} replaced
by zero. This certainly exists because the S coefficients are
determined by perturbation expansion and therefore finite. The
integration constants must be chosen such that for all ~ ~m we
have
Ig (~)I ~ K g (15.13)
max
where gmax is the previously determined maximally allowed value of
g(~) and K is again a constant smaller than 1 to be determined
later. In practice this requirement implies asymptotic freedom 3 :
(IS. IS)
(15.18)
(I5.19)
M?=M(i)~ .. , (15.24)
~J ~J
with one eigenvalue equal to 3/2. (Our arguments can easily be ex-
tended to the special situation when M~j cannot be diagonalized,
in which case the standard triangle form must be used.) The asymp-
PLANAR DIAGRAM FIELD THEORIES 321
]J
(log ]J) -M(i) J (15.25)
]J(i)
where ]J(i) are integration constants. If M(i) < 2N - then we
choose ]J (i) = co. If M(i) >~ - I we set ]J (i) = m. Then in both
2
cases we get
~
log.(]J)1 <
1
IN--M(i)-1
e(N+ 1 )C" N-2
l,g(]J)', (15.26)
2
where C" is related to C' and the first S coefficient. In a
compact set of ]J values where the deviation from (15.25) is
appreciable we of course also have an inequality of the form
(15.16).
The fact that we obtained eq. (14.4) holding for m ~]J <ro is
our central result. For simplicity of the following discussions we
ignore the next-to-Zeading terms of the coefficients S. Let us
take the case that the leading ones have £ = 3. We find that
b?
log :2+C + ~(g4(]J) (16.1)
322 G. 't HOOFl
if ll~m (16.2)
max(b~ )
Re e > ___1._ - log m2 == R -log m2 (16.3a)
2
gmax
or
max(b~ )
11m cl ~ 2 1. - R • (16.3b)
gmax
Now the requirement of asymptotic freedom is usually so stringent
that the constant e is the only free parameter besides the masses
and possible dimension 1 coupling constants (a situation corre-
sponding to the necessity of choosing all ll(i) = 00 in eq. (15.25)).
But still we can do ordinary perturbation expansion, writing
g.(m)
1.
= b.g
1.
+ ~(g3) (16.4)
e = _1_ - log m2
2
(16.5)
g
I
00
-z/g2
F(z) e dz (16.6a)
o
F(z) = __1__.
21T1.
I G(g2)e+ Z / g d(g-2) , (16.6b)
e
where the path e must
be choosen to lie entirely in the region
limited by eqs. (16.3) and (16.5) (see Fig. 17). Since in that
region the Green functions G(g2) are approximately given by their
perturbative values the integral (l6.6b) will converge rapidly
along this path, if
Re z> 0 , (16.7)
PLANAR DIAGRAM FIELD THEORIES 323
...•..
,' '.' '
where Sex) is the step function. The coefficients S(JL) and the
functional P are the same as before (constructed the same way via
difference equations of sects. 12 and 13). Clearly we have, if
fl > A: g(fl,A) = g(A,A). And eq. (16. I) now reads
b~
-::----=1=,,--:- + ID ( g 4 ( fl )) ; m ~ fl ~ A • (16.10)
log fl2 +C
324 G. 'tHOOFT
Our point is that this solution exists not only in the region
(16.3), but also if
max(b. )
Re C :E;;; - -..,..--;::.~- - log A2 _ -R-Iog A2 • (16.11)
g2
max
We can now close the contour C (see Fig. 18).
-R-1og ~ (A?)
Now compare two different A values: Al and A2 , and compare the
Green functions computed with these two A values, both as a
function of g, taking
(6.13a)
or probably
PLANAR DIAGRAM FIELD THEORIES 325
(16.13b)
The change in the Borel function F(z) can be read off from
eq. (l6.6b)
if A2 > AI'
Under ~hat conditions does this vanish in the limit Al + 00 ? In our
< (~2 e
R)-ReZ
• (16.15)
'" m
If Ig- 2 1 -+ 00 then c.(g) .j.. o. This we may use on the far left of the
curve C. Therefore ineq. (16.14) can be written as
Re z > -1 , (16.17)
(17.1)
< 21Ti
IF( z ,mz ) - F( z ,ml )1 "" 1 Ij (mZI)z-e(g) e z / gZ d(g-z) , (17.2)
C
if mz < mI'
Now if""Re z > 0 then
mZ R)ReZ
~ ( 2' e (17.3)
~
Thus
(17.4)
Re z < (17.5)
(18.1)
~s determined by
2 4
Since G and G are superficially convergent we can again express
them in term~ of a skeleton expansion containing only the
z
functions G4 and -G and the propagators P. They are all positive
(remember that G4 starts out as -A, with A < 0), and all integrals
and summations converge. Only G4 has one surviving minus sign from
differentiating one propagator with m • Thus:
G2 > 0 ( 18.5)
G4 < 0 (18.6)
This result only holds for the special case considered here,
namely -A Tr ¢4 theory, because all skeleton diagrams that con-
328 G. 'tHOOFT
tribute to some Green function, carry the same sign. They can
never interfere destructively.
Notice that what also was needed here was convergence of the dia-
gram expansion. Now we know that at finite N the non-planar graphs
give a divergent contribution. Thus the "tachyons" will develop
already at infinite m2 : the theory is fundamentally unstable. Of
course we knew this already: A after all has the wrong sign. The
instantons that bring about the decay of our "false vacuum" carry
on action S proportional to -NIt which is finite for finite N.
19. OUTLOOK
Apart from the model of sect. 18, the models we are able to
construct explicitly now lack any appreciable structure, so they
are physically not very interesting. Two (extremely difficult)
things should clearly be tried to be done: one is the massless
planar theories such as SU(oo) QCD. Clearly that theory should show
an enormously intricate structure, including several possible
phase-transitions. We still believe that more and better
understanding of the infrared renormalons that limited analyticity
of our borel functions in sect. 17 could help us to go beyond
those singular points and may possibly "solve" that model (Le.
yield a demonstrably convergent calculational scheme).
Secondly one would try to use the same or similar skeleton
techniques at finite N (non-planar diagrams). Of course now the
skeleton expansion does not converge, but, in Borel-summing the
skeleton expansion there should be no renormalons, and all di-
vergences may be due entirely to instantonlike structures. More
understanding of resummation techniques for these diagrams by
saddle point methods could help us out. If such a program could
work then that would enable us to write down SU(3) QeD in a finite
(but small) box. QCD in the real world could then perhaps be
obtained by gluing boxes together, as in lattice gauge theories.
(A.) )
(A.2)
+ ~{-LIf~~
W.W.W + -41 W.W.
~~
+ w.w.} ~
~~
3 - -2 2 -
+ -2 ~(U W+wu )~ + ¢.(V. +~W.~)Tr(S.S. +P.P.)
~ J J ~J ~J
(A.3)
330 G, 'tHOOFT
(A.4)
Writing
3 ......4
= "2 g ; (A.8)
and with r=
NA; h2 = Nh 2 , by substituting (A.5) and (A.6) in the
expression (A.3) after some algebra, and in the limit N ~OO:
...... ......4 9 ......2......2
t.h 2 - 3h +"2 h g ; (A. 9)
t.A
...... ......
-ZA + 3g A -
......2......
'43 ......g4 ...... 2......
- 4h A + 4h
......4
(A.IO)
h = I
~ = { (1f29- 5 ) (A.I2)
(A.I3)
We can write V as
~~ = Fo~ , (A.I5)
~ ~
(A.I6)
(A. 17)
(A.I8)
(B. I)
The only diagrams that dominate in the N ~~ limit are the chains
of bubbles (Fig. 19).
a b
Fig. 19. a) Dominating diagrams for the 4-point function.
b) Mass renormalization.
rB = Nlt
B
/16n 2 (B.2)
The diagrams of Fig. 19 are easily summed. Mass and coupling
constant need to be renormalized. Dimensional renormalization is
appropriate here. In terms of the finite constants rR(~) and
mR(~)' chosen at some subtraction point ~, and the infinitesimal
e = 4-n, where n is the number of space-time dimensions, one
finds:
(B.3)
and
(B.4)
32n 2 /N
F(q) (B.5)
2
f(~S-)
m
- i£
(B.6)
o
and m is the physical mass in the propagators of Fig. 19a; that is
because these should include the renormalizations of the form of
Fig. 19b.
= , , +
Fig. 20.
•
o
Fig. 20 shows how m follows from ~:
o • (B.7)
+ log fl , (B.8)
\R(j.l)
~ M complex;
:~
'" 7' ReM 2 > 4m2
<===::::;z:::.====+:===~ I
~==+==I
tach ons I
-----+--~~----~~------------------r_--------------~~ m2
\
.. ';-
REFERENCES
7) G. Parisi, Phys. Lett. 76B, 65 (1978) and Phys. Rep. 49, 215
(1979).
8) J. Koplik, A. Neveu and S. Nussinov, Nucl. Phys. B123, 109
(1977).
W.T. Tuttle, Can. J. Math. 14, 21 (1962).
9) See ref. 3.
10) J.D. Bjorken and S.D. Drell, Relativistic Quantum Mechanics
OkGraw-Hill, New York, 1964).
11) G. 't Hooft, Conunun. Hath. Phys. 86, 449 (1982).
12) G. 't Hooft, Conunun. Math. Phys. 88, 1 (1983).
13) J.C. Ward, Phys. Rev. 78 (1950) 1824.
Y. Takahashi, Nuovo Cimento 6 (1957) 370.
A. Slavnov, Theor. and Math. Phys. 10 (1972) 153 (in Russian).
English translation: Theor. and Hath. Phys. 10, p. 99.
J.C. Taylor, Nucl. Phys. B33 (1971) 436.
14) K. Symanzik, Comm. Math. Physics 18 (1970) 227; 23 (1971) 49;
Lett. Nuovo Cim. 6 (1973) 77; "Small-Distance Behaviour in
Field Theory", Springer Tracts in Hodern Physics vol. 57 (G.
Hohler ed., 1971) p. 221.
15) G. 't Hooft, Nucl. Phys. B33 (1971) 173.
16) G. 't Hooft, Phys. Lett. 119B, 369 (1982).
17) G. 't Hooft, unpublished.
R. van Damme, Phys. Lett. 110B (1982) 239.
FIELDS ON A RANDOM LATTICE
C. Itzykson
Service de Physique Theorique
1. INTRODUCTION
337
338 C.ITZYKSON
(2)
A) !~£_~!~~~~!~~~
To exemplify the construction of this lattice in higher dimen-
sion let us look first at the case d=2. The generalization to
higher dimension will then be straightforward. The following cons-
truction is attributed to Dirichlet and Voronoi in the mathematical
literature. In a solid state physics context one would call it by
the name of Wigner and Seitz.
Let {Mi} be the N points with coordinates ~i' To each Mi we
assign a closed cell C; of all those points of the plane which are
nearer to Mi than to any other M·, jli. Clearly Ci is a convex
polygon (the intersection of hall planes) and for jli the inter-
section Ci n Cj is either empty or a segment of the bisecting line
between Mi and Mj. In this last case we say that (Mi,Hj) form a
pair of neighbors. Let qi be the number of neighbors of Mi, or
equivalently, the number of sides of the cell Ci (local coordina-
tion number). Similarly for (ijk) distinct,if Ci n Cj n Cj is not
empty, it is a vertex of each of the cells C" C', Ck and we call
the triangle an elementary 2-simplex (trian~le here) as (MiMj) was
an elementary l-simplex. The plane region ~ is now paved by elemen-
tary 2-simplices as it is paved by elementary cells Ci. Obviously
the two sets of objects are (geometrically) dual.
Let
N _ N number of points = number of cells
o
Nl number of links (between neighbors) = number of ~ell edges
number of 2-simplices = number of cell vertices.
E q.
i ~ (4)
N
o
i
Combining (3) and (4) in the limit N -+ 00 we get, with
E q.
. ~
· ~
q= 1 ~mTT (5)
N-Klo i
the average coordination
N2
q =6 3 -
N
= 2 (6)
o
Thus,on average,each cell has six sides and there are twice as many
triangles than cells. Equivalently if ni j i > j is the average
number of i-simplices incident on the j ~~mplex we have
n
1,0 = n 2,0 = 6 (7)
(8)
and since there are twice as many simplices as there are cells on
the average
1
£(2) = "2 (9)
To compute £(1) and O(I} we need more information. One makes the
following simple but cntical observation, Let (ijk) be a 2-sim.,.
plex and 0 the dual vertex common to the cells Ci, Cj, Ck • The
circle r or radius R circumscribed to the triangle (~jk) has 0 as
its center. Then there are no lattice points inside r. Indeed the
distance IOM£1 for £ :f {i,jk} is greater or equal to IOMil, IOMj I,
IOMkl by definition. Therefore such points M£ lie outside or on the
circle r. This last possibility occurs with vanishing probability.
Given a point Mo of the lattice, the probability that Ml and
MZ lying within d2xI and d2x2 respectively altogether form a 2-
s~mplex is therefore
-I (rl_TIR 2)N-3
dp = n x x
x N-3
2,0
rl
:f of2-simplices/ choice of 2 out unif orm pro- N-3 other
point of N-l points babilities points requi-
for Ml and M2 red to lie
outside r
in the infinite limit volume this reads
2
-TIR 2 2
dp = ~ d xjd x2 (10)
-+ -+
Instead of the four parameters (x l ,x 2) we can use the radius
R of the circumscribed circle and the polar angles tpo' tpl' tp2 of
OM-o , aMI' OM 2 . Then
sin tpI}
_TIR 2
e
342 C.ITZYKSON
_ 32
- 97r = 1.1317684 ••• (11)
L t ..
~J
t .. belongs to
a ~J. . I
g~ven tr~ang e
3N 2
2N1 x average of a triangle side
This means that the total amount of would be cell boundary length
between Rand R + dR is obtained by integrating in p from zero to
R the product of these factors
R
2RdR J 8nidP2 = 16n R2dR
o /R -p
dP = 16 n R2 dR e- nR2 (13)
r
Integrating over R gives the mean perimeter
2
p 16n R2 e- nR dR =4 (14)
o
Since on average a cel~ has six sides, we find
0
incident on a point or area or area
• N
o
= N n
0,0
0(2) = I [Il
point
••- - . .
I-simplex
NI = 3N n
1,0
=6
_ 32r2I/2]
l'.(l) - 9nL-;IT4 0(l) = '32 f2 I12 ]
L33/4
I
I )(
l'.(2) ='2
2-simplex
random =32
911' = I. 131 8 random = 32 = 0.6667
21/2 21/2
regular =:r74 =I .0746 regular = ~ = 0.6204
3 3
Pn •
In
0/0
/«
30
20
10
2
3 4 5 6 7 8 9 10
Fig. 3.
We were also able to show that there exists two constants A, B such
that A2 < Pn < ~,while the data seem to favor a n-2n behavior
n n - - nn
corresponding to the lower bound.
B) !~E~~_~!~~~~!~~~
The Voronoi-Dirichlet construction goes through with N=N ,the
number of points, N1 of links, N2 of triangles, N3 of tetrahedra?-
Euler's relation is
X = No-NI + N--N
2 3 (15)
(16)
(18)
n
2,0
= -23 n 3,0 (19)
leaving as unknown n3 ,0 .
346 C. ITZYKSON
N!
N3 = (N-4)!4!lInI1 4
3 3 J
II d xi e
41TR 3
--3-
(20)
41TR3
f
. 0
1 3 3 --3-
~-4,lInll IIdx.e
• 1 ~
1
n3 ,0 = -3'•
J
3 3
II1 d x,~ e
41TR 3
--3-
(21)
It follows that
41TR 3
3 3 --3-
dp II d x. e (22)
3!n 3 1
~
,0
(23)
(24)
where dd-l fi stands for the rotational invariant measure on the unit
sphere in d dimension dd-lfi = 20(n2-1) ddn •
FIELDS ON A RANDOM LATTICE 347
we find
96 2
n3 ,0 = 35 n = 27.0709 ..• (28)
From (19) we then deduce nl 0 and n2 o' These numbers are irra-
tional. They do not corresp6nd to any regular lattice as they did
in two dimensions. The relative number of tetrahedra is
N3 n3 0 24 2
-=-'-=-n (29)
N 4 35
n 48 2 Nl = (1 + 24 n 2)
= 2 + - n 15.53546 ... (30)
1,0 35 N 35
and
144 2 N2 48 2
n 40.6064 ... -=-n
2,0 = 35 n
(31)
N 35
and the mean length of a one simplex, i.e. the average distance
between neighbors
(35)
• N =N
0
n
00
=1 1 cell
~ j 24
N1-,1+ 11
2) N n =2 + 48 11
2 j 3\1/3 1,715 (!\ (4;y/3} r{~l face
35 \3"j 0(2)
1,0 35 9,(ln411j 2304 1 + ~~ 112 n lO
L.
35
48 2
N2= 35 11 N
144 2
n 2 ,0= )511 ( 3y/3 875
9,(2)=t;;T e)
243n1 f } 0(1)= n 20 edge
4 24
N3 = 35 1T
2
N n
3,0
9611 2
=--
35
35112
9,(3) =zz;- n 3 ,0 vertices
FIELDS ON A RANDOM LATTICE 349
C) !~~E_~!~~~~!~~~
Similar calculations in four dimensions yield Table IV
O-simplex N =N n = I
° 0,0
1/4
340 _( 2\ 33 16!! I (I \
I-simplex N =JlQ N n =- 9(1) -\n2) 7XIT TSIT 1r r "4) = 1.3225 ...
I 9 1,0 9
N&te that the average coordination grows very fast beeing already
~ = 37.778 in dimension four as opposed to 4x2 = 8 on a regular
hypercubic lattice. The average volume of the boundary of a cell
is according to Meijering
9 2 1/4 1 (3)
°(3) = 425 (2TI) TI r 4 (39)
D) ~~~~_E~~~lt~_~~E_~E£~!E~EZ_~
Let us first quote some topological constraints derived in
[I]. Since each d-I simplex belongs to 2 d-simplices,and each d
simplex has d+l d-l-simplices, we have the relation
d
d-I,o = -2
or n n (40)
d,o
d=2 0
+ n - n + - (-I) d-I n + I _ (-I) d d=3 2
1,0 2,0'" d,o
d=4 O•••
(41 )
d>k~m (43)
d
I cm+ 1 (-I) d-k N N (44)
k+l k m
k=m
The case m=d is a triviality, m=d-l and m=d-2 give equivalent in-
formation, etc ••. Hence (42) or (44) leave t-l (d even) or
~ (d-odd) unknown. This means no unknown 1n two dimension,
unknown in three and four dimensions, etc ••• , in agreement with
the previous sections.
Next we turn to the computation of the average number of
d-simplices incident on a point nd,o' given by
(45)
Taking the origin at the center of the sphere with ~o""'~d n+1
unit vectors along OMo , OMI, ••• ,OMd
Rd
n Joo Rd -1 dR ~(f Sd sdd+ 1 <w>
2
d,o
o
-2
= Sd d d! <w> (47)
d-l
J d~ --~--
d Sd nk dT Idet d+!
(48)
[ 1] 1
Using the method of reference we write w = ~ h ~ where ~ is the
"volume" of d-l simplex out of d points (Ill" .Ild) and h is the height.
The picture is difficult to draw in d dimensions but the idea is
clear. We want to use as variables, instead of n l' .. nd' the direction
of the unit normal ~ to the hyperplane containing the d points
~;here ~i" '~d pierce the unit sphere. This normal is defined up
to a sign. If we integrate it over the unit sphere then
r d r~ d
Jf(nl ..• nd) ~ dd-I nk =Jd~ (d-l)! ~ ~ dd-I nk
c5(~·[~Z-~I])···c5(u.[nd-nl] f(~l···nd)
=!
d
(5d_5 l )d (d-I)!
2
5d <wd2_ > Je=TId cos eS1n
1
· ed (d-3)+2(d-l)
d e=o
JTId~ sin~d-2Icos~cosel
x 0
JTI d~ sin ~d-2
o
The last ratio of integrals comes from the average of the height h.
The integrals are readily performed and yield
(5 ) d+1
(d-2) I d+ I --.,.;d:;.,..--...I__ -J,;;;;,J.-r>n--J- < 2 > (50)
d2 5d wd_ 1
d
It toAo b
. · <W2_ > as a sp her1cal
ta1n . average over d unit
rema1~s d l
vectors ml ••• mk in d-l space
nd = <det(l+m .mb» =
a Q
(-I)Q <TI(I+m
a
I .mQa»
Grouping the cycles in a permutation we observe that the average
factorizes. Since
and
IT
cyclic decomposition
of permutation Q
(51)
FIELDS ON A RANDOM LATTICE 353
Therefore
(52)
d!
a a a
1 1 '2 2 , d d ,
aI· a 2 ···· ad'
and the signature of the permutation is (_I)tpap(p-I). Therefore
a
d~ nd -a-I----a- II (-1) P
a (p-I) rLI (1 )P-l] p
+ -
= {)}
d- d-l
p 1 aI! ... d ad! P
= coefficient of t d in exp I
00 r (
(_I)p-I 1+ __1__
\P-I 1 p
~
p=l I. \d-I) J p
d ( t \d-I
= coefficient of t in (I+t)\1 + d-l)
_ ( 1 \d-I
- d-l)
and finally
2 (d-I)!
n = - (54)
d,o d r(d+I\2
\T}
Asymptotically nd grows like a
0
, d-I
2 1/4 (2"'"d)--2--
nd,o 'V df72 e " (55)
354 C.ITZYKSON
Formula (54) can be compared with the results quoted for d=2,3,4.
From it we derive the average d-simplex (hyper-volume)
d+1 (56)
,Q,(d) n
d,o
f
~ ~
tp .. +-)- - -1
9,., ,
dx~ tp~(x)
~J
~J ~
(1)
tp"k
~J
+-)---
1
"k
~J
If oriented
triangle ijk
1 \'
p=l <tp I~> =n
2. L (p,
~J
,~,
~J
, (2)
ij
{ij} neighbors
r +-+ L
'p d-p (3)
~"k
~J ••.
9" ~J'k ••• tp"k (no summation)
~J ••• (J, 'k •••
~J
356 C.ITZYKSON
the volume [length]d is the volume of a cell for p=O. For p=l it
is d times the sum of the volumes of two pyramides of apex i and j
wiEh base_aij and so on. To denote the correspondence (3) we set
~~ or ~~.
(4)
Le.
p=l (5)
!L1.J,~,1.J'+~'k~k'+£k.(j)k'
J J 1. 1.
(dIp) , 'k (6)
1.J £ijk '•
(_1)8 ~, ~ , ~, ~ ,
1. ••• 1. ••• 1.
o ••• 1. 8 .". 1 q
~ 1.
l 0 s q
s=O
Obviously
d2 =0 (7)
FIELDS ON A RANDOM LATTICE 357
(9)
Explicitly
(10)
Clearly
d T2 0 (11)
duality _
L ----+1 Ld
P ~p
d*
L
~
+E---
J dT
(12)
p-I Ld - p + I
duality
(d*~) ° = _1
1 0i j(i)
I 00 o~o
1J 1J
° (13)
358 C.ITZYKSON
0.
~
o
... . p~ (I5)
L
i , ... , i
o p
~.
~
o
... .p ~
\2
tp. ~ .)
~o'" ~ ••• ~
s p
For instance for scalars or vectors
1 0· . 2
K (tp) = -2 L ~ (tprlPj)
(ij) !V ij
(16)
1
K(tp)
2 I
(ijk)
(17)
oK = <. I8W> = 0
Now in detail
lckp=o (18)
r- 1
__ ~tp
]
= I p
(lp. -<.p.)
1 J (20)
L 2d .
1
·C·)
J 1
j,i Q,
ij
2
I
D ata
( --tp+ddtp *) = 0 (23)
I (j Ie -Dtd d Ii) *
i
(24)
= lim I C
path
n~ path of
n steps
J
Fig. 5 A path form i to j.
k
a
factor (I - Dtn I
q (k a )
(25)
Dt aka+l,k a
i t ka+ If:ka factor
n ak Q,k k
a a+1' a
For n going to infinity since all the factors are positive bar-
a··
ring a very improbable situation where some J'(~) ~a n~ would be
, Yv' , ~
To get the meaning of (26) assume for instance that the dimension
is ~hree,and that ~ij results from an underlying vector field ~(x)
def1ned 1n the cont1nuum, then
1 Jj
~ ..
1J ~ r.-:- ' dxll \ (x)
1J 1
0"
L
k (1' J' )
it'O"k
1J
= -1
"
0 1j B.d1
1.J 1J (ij)
k
Fig. 6: Geometry for with ~" the unit normal to the face
' ') . 1J
( 1J
Maxwell's equation.
In general dimension we find similarly with Fuv=dllAV-dVAll' a
discrete version of Maxwell's equations dllFllV = AAv""'dV (3 ,A).
FIELDS ON A RANDOM LATTICE 363
(1)
this being the correct scalar product with respect to which the
Laplacian is symmetric (up to boundary terms). Then we would ana-
lyze an arbitrary lP as
L ya lP~a)
1
a
(2)
(3)
a
(a)
and the lP replace the plane waves. In (3) W IS of course the
eigenvalue corresponding to the mode lP(a), bot% of which are still
stochastic variables.
364 C.ITZYKSON
[ dw pew) = 1 (4)
o
w.(k)
+ * +
= <'p.(k) (-l;<.p(k». =-
1
L ~
a.. [
I-e
ik. (x. -x . ) ]
J 1. (8)
1. 1. 1. ai j (i) X,ij
<fda £2p-l> = 1
-N I I a.. £~~-l (11)
i j (i) 1J 1J
r(p~)r(~)
r (p+d-l)
(12)
This yields
= 2~/2 I
(
l+-l-l
d)~
[r
r(p +~)r(2
2
+ 2 (p-l) \)
d
w(k)
dn
r(l + %)2
p=l . 2 r(p +%n (p~d-l)
k 2p
x .......--:- (13)
p!
when d=1,2 this reduces to (recall that the unit of length has
been set equal to unity)
I ... )
(2\n z (
I (z) =
co
~ _1_ IV _e_ I + -1.. + (16)
o n=O \. 4) (n!)2 z-+co I2nz 8z
The general formula as well as the explicit forms (14) and (15)
show that independently of d, as k goes to zero w(k) + k2, a fact
which can readily be checked directly from the definition (9).
The function W(k) being the average diagonal term of the
Laplacian in the plane wave basis is appropriate for an estimate of
the lower end of the spectrum. Its meaning is uncertain as k in-
creases. Surprisingly the dimension d=l is marginal. Up to d=l, w(k)
increases without bound as k-+co while for d>l it is bounded. For
366 C.ITZYKSON
I
instance for d=2, w(k) + 2TI (I - k + ... ) as k~ and in general by
dropping the oscillatory term in (8)
1 .Q, ..
= _-2:1. (18)
o. 0 ..
J ~J
(1 1\
0 ..
_ ~J 1 -
W - -;;--- ,0.
+-;
o.
)0. • ~ J
~J
pew) tV
~oo +
1
<[ ao( a + a1)]d >
-
-T-
2 d/2
f(z) w
1
(1'.IT (19)
where the average is both on the direction of the plane and the
various cells. This fast decrease with w is of course in agreement
with the fact that the integral of pew) is one. There is to be con-
trasted with the continuum case, where there are infinitely many
modes per unit volume and therefore the integral of p is infinite.
<w> (20)
This is of course infinite for d=l, but eventually grows like d for
large d due to the suppression of small and large frequencies.
Furthermore one can also derive the following inequality
<w2>
>1.
- q
(21 )
<w>2
368 C.ITZYKSON
<w> J: dw wp(w)
2 [2 I 2 [
2
0 ••
2.J.. ( o .. )2]
<w > =
o
dw w p(w) = --
o.1 j{i) R, 2
..
+
.I(.)
J 1
R,~:
1J
1.)
2 x2
<x> < <->
a
and therefore
__I o 2..
\ 2.J..
o.1 J. (")
1 0 2
IV.,
1J
q
2
o.1J.
--:-z- - >
q
(0 .. )2
-
-
1J
o·R,···
1 1J
R,iJ'
So that we have indeed (21). Of course with harder work one could
compute the successive moments in terms of averages of local quan-
tities, with the limitations implied by equation (19).
~ = _ ~n+l~n _ ~n~~-I}
n 1.- R,n R, 1
n-
(1)
FIELDS ON A RANDOM LATTICE 369
The random points have been ordered and to denotes the successive
independent Poissonian distributed intervals
(3)
8
L(W) = -w - -81 + O(w) (4)
It P(W)
... ...,~.:-..-.-----
......
O~ ______ .., .......... : ,:,
L -_ _ _ _ _ _L -_ _ _ _ _ _~ _ _ _ _ _ _~ _ _ _ _ _ _~ _ _
o 2 4 6 8 10 w
Fig. 7: The density of states p(w) for the random one dimensional
Laplacian showing agreement between numerical simulations
and analytical expansion at small and large w.
FIELDS ON A RANDOM LATTICE 371
REFERENCES
H. Kleinert
Institut fur Theorie der Elementarteilchen
Freie Universitat Berlin
Arnimallee 14, 1000 Berlin 33
Germany
ABSTRACT
(1)
373
374 H. KLEINERT
Vortex Line
If
(2)
(3)
(5)
(7)
376 H. KLEINERT
edge dislocation
Fig. 2" An edge dislocation as the boundary line of a
missing section of a lattice plane.
screw dislocation
Fig. 3. A screw dislocation as the boundary line of a
torn part of the crystal.
DEFECT MEDIATED PHASE TRANSITIONS 377
., ~
~ ~
=-y
j
)- -o-----Q-""-"C- j - - -
., ---- I-- - -
~
j
---O---6--'-::'~ -=-~-""'~--6-
j
- -- - -
1 ~ .~~_--v-_
. ~
-! ~ - - _ "'- --=- ~=-<l------O---
~ ~~ = Zrr 1'\ (8 )
~ cAu..i. - 6~
\
(9)
These show that (S"I \;li ,(.O,are not single valued. There is
a surface S Spanned by the line L, whose precise position
is irrelevant, across which these variables have a jump
by Zt('1ll.(b"S2., (see Figs. 1,2,3,6,7,8).
(13 )
(14 )
DEFECT MEDIATED PHASE TRANSITIONS 379
7
These integrability conditions imply conservation laws.
Contracting (11) with "L tflo shows that c(k (x) is di-
vergence less
( 15)
£''''
I",-rt w lot )
( 16 )
(17 )
( 18 )
( 1 9)
380 H. KLEINERT
0.5..-------,----..,-----"T------,
0.4
0.3 fluctuation
correction to 1 MF I )
l )]8
/:/
/:/
0-
mean field -r(f' +f 10oP I!
--........... /! /
1/ /
1/:' /
/ .I
0.2 / /\
/ /3log L-'{)
'I I:
I :
I :
'Ii I :
'1/ :
'1'/ :
'I :
r :
h :
h
,
'" / /
:-'
"'/
....
.... .l.f'MF
...... T
.'
o 0.5 1.0 1.5 1.8
TcMF/ T
Fig. 10. The mean field potential-~"=-flf for the XY
model plus the one loop correction as comp~red
with the high temperature expansion up toB42.
The intercept lies at{!>c. / (!>hF t v 1. The exact it .
critical value is 1.35.
382 H. KLEINERT
\\ --
~" e··') - 1.z r)
<-t<.. (5,,' fa - S '~\ +- C=>,~., J (20)
I I ( ~IJJ
(21 )
(22)
(23 )
(24 )
(25 )
(26 )
\I
(29 )
{6 l- ::;-CZ--,.
II'"
~'A
) Ic.. (32)
and write
(34)
(35 )
We have renormalized u. to A. =
1 1
a . u.
(L 1
such that it is
periodic in Ltr I and set ~= p-~'~t\tn. We can again extend
the A. integrations over all real values by restricting
1
n .. to
1J
(38)
388 H. KLEINERT
(39)
(40)
(41)
'--. -
11. (\' := CZ:(1c.l <[j ... 01 'Z V... n~1'\ (43)
DEFECT MEDIATED PHASE TRANSITIONS 389
(44)
where
-2..
(2D-2.2 al&~-)
l
(46)
(47)
(48 )
(49)
(52)
(53)
ZlJ\
l1\1. J~(~) e
Iltrt.V'
~ ~
k -
( 54 )
~ t1A-(J!. ') I'
where
(56)
(58)
1 z=- ~()()
t ~ (j(
) }J
1- \' Ir r
tx)
ol <f ~
-
~v ~~' ~
~t I V V 27rf'v l:c )(1) r1crrl>
1.Jz.. (£»
M. -- <?1\"l. e (61)
'if
~ (C(n 'ko-J -1)
~ 0\,(,('I
.11::,
= 7r e ,
'"
l<'\ ',,'
(62)
~ Ii -Tr 2.\f
(63)
binations of \/t¥i.
The XY model has a second order phase transition and so
does (62). The antisymmetric combination has no phase
transition (permanent confinement). The symmetric com-
bination, on the other hand, describes melting which is
a first order transition. Thus, symmetrization of the
tensor ~.y. in (62) hardens the transition, antisym-
I 0\
metrization softens it.
(64)
394 H. KLEINERT
r \(~ ~ tA.~c(~
1$ (1If \t
((' ct\A(~'ttU.(K~
J) "
e. J5 (67)
-ut) -w
(68 )
- i ~~t(k)().i~H ~c)-[l~~r1x'il) ]
•
DEFECT MEDIATED PHASE TRANSITIONS 395
melting
gauge
4 _(fMF +flloop)
............
(37
N
OJ
0 3
.... jc:Q,
......
I
0.5
Fig. 11. The same plot as in Fig. 9, but for the melting
model.
DEFECT MEDIATED PHASE TRANSITIONS 397
4~----------~-----------r-----------'
+1loop
strong coupling
expansion
up to ~12
0.5 I
/ /
/
dislocations onIY,/
0.4 /
/ /
/ /
/ /
0.3 I /
I /
/
0.2
0.1
It/J I
0
0.5
.-"
-0.1 dislocations + disclinations
-0.2
REFERENCES
1) In solids this was noticed in 1952 by W. Shockley
in L'Etat Solid, Proc. Neuvieme Conseil de Physique,
Brussels, ed. R. Stoops (Institut International du
Physique, solvay, Brussels, 1952).
400 H. KLEINERT
13) R.G. Bowers and G.S. Joyce, Phys. Lett. 19, 630(1967).
See also D.D. Bettd in Phase Transitions"and Critical
Phenomena, Vol 3, eds. C. Domb and M. Green, Academic,
New York, 1947.
14) J. Villain, J. de Physique (Paris), J. Phys. 36, 581
(1975). It is important to notice that the approx-
imation is valid not only for large S (where it is
obvious with Sv - S) but also for small S. In fact,
the phase transition lies at ~~.46, i~e. in the low S
regime where Sv~-(21og /2 - /4 + 5 {192- ••• )-1 .33,
not in the high S regime where Sv~S(l- /2S+ ..• ). It cor-
responds to the approximation In(S)/Io(S)~exp(n21o~ /2)
for n = C,:!: 1 and small S)rather than In(S)/Io(S) ~
exp(-n 2 /2S) for large S. This was overlooked by T.
Banks, R. Myerson, and J. Kogut, Nucl. Phys. B129,
493(1979) and many later papers. ----
INTRODUCTION
Lattice gauge theory1 is now ten years old. Apart from the
theoretical insight the lattice formulation gives, it is very well
suited for computer simulations, a 2 its inventor advocated already
some five years ago at this school . Since three years3 this
approach has extracted useful information out of lattice gauge
theory and spurred many interesting questions.
In the first lecture I will assume there are no experts in
the audience and explain some basic facts in quarkless quantumchro-
modynamics on a lattice (QCD). Then, in the second lecture, we
shall review tests for the consistency of the numerical results so
far obtained. The third lecture shall deal with a more esoteric
subject : that of large N reduced models. The list of references
is by no means meant to be exhaustive ; for that the reader is
referred to ref. 27.
403
404 C. P. KORTHALS ALTES
Rt'- (?<.)
~
:. ~ i.. ~ R Q. L
~ V\
)
( 1.1)
(1.6 )
The experimental values of ~ (~) are about 100 MeV (400 MeV)
respectively.
The Coulomb force (1.6) is computed in terms of the small
fluctuations of the potentials A, i.e. for small values of the
bare charge g.
The constant force at large distance (1.7) has been verified
from large fluctuations of the potentials and for large values of
the bare coupling but with the unfortunate proviso that the cut-off
in the theory is kept fixed.
Nobody has succeeded in a reliable computation of the ratio
of the two length scales appearing in the force laws (1.6) and (1.7),
LATTICE GUAGE THEORY 405
~,." l1\l ::. 'k ~~ t\" ("') - i ~+'1 ~~lV\) - tslf\.,..lY'l\, ~'1(.~ (1.12)
justify the analogy. &~ is the lattice derivative :
Now we have to define the lattice action SL. This can be done in
many ways provided the continuum action (1.5) is retrieved when
expanding S~ in terms of a.
The simplest choice is that of Wilson
~Iw\
p
-= 1
~'L
2:
0;",->"
Tr u. . . ,,(i\) + .l~
,-- ~i 'ft;,,","
\T(" U""vl~)l2.
{
(1.15)
(1.17)
Averages like (1.16) will depend on the form of SL and the para-
meters (e.g. gt, g!) appearing in SL.
.. ,ttl"........... T
o R -2
Fig. 1
Wilson loop.
LATTICE GAU GE THEORY 407
the distance between the quarks, and a time span T which tends
to infinity. At large ITI the gauge fields are supposed to be
pure gauge configurations :
(1. 20)
"if- ~\'I\1.Q:.~",
t.
where -It 5 ap' ~ ''If ,V- = 0,1,2,3. As the lattice length a
shrinks to zeto the propagator takes the continuum Euclidean form
l/pl.
When calculating the average (1.19) we take connected
graphs ; some of them are shown in fig. 2. The lowest order graph
fig. 2(a) is easily evaluated and gives in the limit of a..., 0
Fig. 2.
Tree (a) and one loop (b), (c) contributions to the heavy
quark potential.
408 C, p, KORTHALS AL TES
(1. 24)
~ (9,)2.;. ~ (~)'L N:. '!'1. ( \ _ ~1 ("o \o~:-\\\ foL) + O~&f») (1. 24a)
(a)
Fig. 3
Dominant strong couplin~ graph (a) and cubic correction (b)
410 C. P. KORTHALS AL TES
in (1.19) is then:
( 1.29)
(1. 30)
The lattice string tension falls off quite rapidly with ircreasing
g~. It is known to have a non-zero radius of convergence • So
without further hypotheses the confining behaviour (1.29) is res-
tricted to some finite range in g-l.
1. ~ C~ -'1) :. (5""
G..'1. )
Q. '0
'00..
",,2.\
"l ~'1l~)
:. ~ \, 0
Q'" + 2. ~
~ \
~ 6 + 2 b L~8 '" ...
a 2. 'l
(1. 32)
2 .28 11 ±2
3 .31 6± 1
01 4 .32 4.5 ± .5
5 .33 )5
00 .34-.38 ;>4
001 L -_ _'::-_---:'::-_-':-':-:::-'
o .0 20 30 9/~2.
Fig. 4
Lattice string tension as a fun,-
tion of bare coupling for SIJ( 2) •
and
-\0 f
~\~) i bo b, lh~(\l~r")\' l \)2.~ .bo f,~)\G~ltl.Rf'1 + Ft.c\t (1. 36)
The coefficients of the logarithms in these equations are such that
the unrenormalized couplings g (a) (1' ( ~)) do obey the Gell-Mann-
Low equations
~ i y..l-~:rl\'-) \~'Lttl.':' 'oo "\- b, ~t{~) '\- b2.j ~L4(~),,\- •• ' • ( 1.38)
b, = " (b)(1.39)
blo\. - 00 l=,L -\0 b, Vol -:. b!l~ - be ~,~ 0\0 b, ted :. ~2. (c)
The first two equalities we knew already. The third one relates b2 l
to b'1~ through knowledge of the two and one loop finite parts.
Since b~d is known 21 the computation of b~~ involves the latter
one and two loop quantities. This is necessary to calculate the
O(g~) term in the lattice string-tension.
The comparison between btl and bl.\! (defined by two lattice
actiQns S I.. and Sa.!) is much easier and has been done recently
14,) (see Lecture II). The integration constants A\, and 1\ty\\YI
appear by solving (1.37) and (1.38) (see e.g. (1.33) for "I..' I\'M~""
is defined analogously). It is easy to verify from the definition
of '\... "J, equ. ( 1.27), that both I\\., and "11'\,,,, are related to 1\ (.u.\
by : .
.' r
'1. \ o!. I\e.o¥..\ 1\ \. = • .L, t" Q l 1. 40 (a)
~o
.,
1. \o~ "CO\L\ "('1\,,,,:, -.1. feel 1.40(b)
~o
LATTICE GAUGE THEORY 413
V\,.,II N V\,,,,~
2. .. N
As usual the tilde on a coupling constant means
The question we ask is : what are the curves of equal string tension
in the (~~, ~) plane, supposing we are in the weak coupling
regime? i- \\
If these theoretical curves do match the Montecarlo curves
beyond the transition points (see Table 1) then we have additional
evidence that indeed we are in the scaling region.
,""I.
(g~t. '" 0 in equ.(2.1)) to compute g (R) appearing in the I1Coulomb
law" (1.24)
The suffix W serves to remind the reader that the finite parts
are computed from the pure Wilson action. A suffix A will indicate
that the g~t. term in the mixed action is taken into account.
On the other hand we can take the mixed action S (2.1) and
expand the link variables ~(n) '" exp i A~(n). The qu~ratic part
in A~ will be multiplied by a coefficient which we will call the
bare coupling and equals :
Figure 5
Failure of the one loop corrected effective coupling (drawn
curve) to match the equal stringtension data (empty circles).
Dots related by lines and crosses do also represent equal
stringtension data for various values of f .
'I.0- t
Call L ~ loga: 1\; then we have from equations (2.3) and (2.5)
(2.3' )
and
~ ~-1.(~) \~'t.
O\. 'lb
':. ~ (~1.lR)) (2.5' )
(2.7)
416 C. P. KORTHALS ALTES
The second term on the right hand side of (2.7) zquals the term
on the left hand side of (2.7) ; both equal ~(g (R)), so indeed
'0
a\..""2. \
~,~Q. ""'I. :::. 0
~\
No logarithms are left when we express g!U in terms of
(2.8)
Based on this factorisation we can show the following in the large
N limit the physics of the mixed action is described by a pure Wilson
theory with an effective coupling g~~~. obeying the equation :
(2.10)
(2.11)
(~ -'2. -t ~1.
\ ~ ~
<\~ UN...... t'ftl')
I
I
nor
\' f u.pG' (11) +
N
'1'
(2.12)
(2.15)
418 c. P. KORTHALS ALTES
Here the parameter r =- ~~ S-: is constant along lines emanating from
the origin in the ('g~, g-'2.) plane. The values of \iii, and \II .. are
of course taken at N = r.l ~ from (2.14a). Thus at N = flO the
computation of the one end two loop finite parts in equ.(2.6) is
already done !
The corrections to the equation (2.14) for g&.~ are of order
N- t N-~, .•. They have been evaluated up and includ1ng two loops
14,15 • How to do them will be explained in the next two sections.
(2.18a)
Define the anticommuting ghost field ~ (n) ':. W"l'n)~o.. and an anti-
commuting variable &A such that t.
and let
To see that the double variation of the field Q..,(n) vanishes, form
q:
the hermitean field H~(n) :
Clearly, from (2.19), the field H~(n) has double variation equal
to zero. Let us invert (2.20) to express Q in terms of H. Then
the double variation of Q becomes
(2.22)
420 C. P. KORTHALS ALTES
(2.23)
\~ ~ ~
\~. \1
-+ U. \~
i~ ~
~ 0 (a)
(2.24)
<~) - 1 ::. 0
(b)
~ l~,): r (~)
As we are interested in singular and finite parts only as the lattice
length a shrinks to zero we find in this limit :
(2.25)
Fig. 6
Two point function of the background field
~ ~ is) ~
(a) (b) (c) (d) (e)
Fig. 7
Some diagrams contributing to the background field two point function
,,"-'2.
~t. AI:: ~~
_-2.
0\0
-"-
\~ w \, ~"H
1"''1.)
- _'Z.
~'i' ~
\ l\ -
fI.
II.,)
'1.'t,.
l ~t.H
))
(2 . 26 )
~'r ~ _\
_t.. Nt. '!t 'lo. ~ -" "~,, \ ~6
- 9" ",;W't- ~,,~t - ~ 6~"" .,J"U
The first two terms are like in equation (2.14) ; the third term
comes from diagrams like in Fig. 7(a) and (b) ; the fourth from
diagrams like in Fig. 7(c) and the last from diagrams like in
Fig. 7(d).
We used the expansion of the mean action w(g:~), equations
(2.14) and (2.14 (a)), to plot equal string tension lines from
equation (2.26) (Fig. 8). The one loop result in (2.26) still
produces straight lines with the slope somewhat shifted, the two
~,---.---~--------,---------,----.
I
I
-----, \
'", ,,,,,
0.5 ,
-0.5
Fig. 8
Equal string tension curves from equ.(2.26).
LATTICE GAUGE THEORY 423
-, 1
,
,.-+_.l..-.....L_.&-.......- ,
Fig. 9.
Wilson loop (drawn rectangle) connected to the
(dashed) walls of the periodic box.
where the twist z ",,, is a phase factor from the center ZeN) of
the gauge group SU(N) :
(3.3)
The twist tensor n~~ is antisymmetric and defined modulo N. The
matrices \if- (~= 0, 1, 2, 3) are in the group SU(N).
The averages are now defined with the BoHmann factor exp - S~
and the measure l\ Gu..~ .
The twisted rction (3.2) will have zero action solutions 42
if and only if 39
(J.7)
~:. N-\ .1\""" ll",~ '\- "
~ integer
"'~
we have as necessary condition equ. (3.4). Its sufficiency has been
shown in ref. 40 .
, L integer,&~<3.8)
It follows that PLo Q\.. = exp i'¥ Q\. PLo ' and with thesdirect product
rule in (3.9) we recover (3.5). Any other set \I'~ {• obeying
<3.5) is unitarily equivalent to \ in <3.9) : rtl1
, +
~.,.= nt\.Sl 0
tL"o,','1.,3 (3.10)
This follows in the same way as Pauli's theorem for Dirac matrices 37 •
implies a:ter mUltiplication with ~1r (p') and taking the trace,
LATTICE GAUGE THEORY 427
that a(pl) = 0 for any pl. So the Nt. ~ (p) are linearly inde-
pendent and the N~-l traceless ~ (p) do span the Lie algebra
of SU(N).
(3.13)
the momenta p come in in exactly the way one would expect from
translating the field Q". over a unit step in the direction ~ •
Thus the action (4.12) 1S nothing but a field theory on a periodic
lattice of size L in disguise! We converted the N~-l colour
degrees of freedom into NL-1 momenta. Only the zero momentum
components are absent.
The Faddeev-Popov ghost term follows from this gauge fixing term
by mimicking the steps in equ.(2.18).
A gauge transformation on our 1 point lattice is just
U~ ~ Sl.~~Sl-t:. .n\lt'~\,<n.t
428 C. P. KORTHALS ALTES
where the phase Il~ (~):; \P,,," ?'l""" f»f')", ~¥o" ~t''''\ as follows
easily from properties i) and ii) in the preceding section (see
also Fig. 10). Momentum is conserved modulo L as follows from i).
Fig. 10
Momentum polygon (s = 5) with phases obtained by
combining subsequent (p) (equ.(3.17)). .c
_ t. 't\ -\- 2.
the colour traces (3.16) do combine to damping factors N
where H is the number handles of the diagram ; in each s-vertex
appears the momentum factor V(p. ••. P ). In our theory (3.12) we
can also draw such diagrams wit~ the s~me vertex factors V(p ••• p )
but with the phases as in (3.17). \ J
(a) (b)
Fig. 11
Contraction of propagator P in planar diagram (a)
with merging momentum polygon (b).
+p p-f-,
C. P. KORTHALS AL TES
'\
r
... P
-~--,
I
1> f'~
I I
"--(---'
'\ ~ '\
Fig. 12
Phase of a non planar diagram (a) relates to that of
a planar diagram (b) with extra phase (c).
and becomes :
III.S. Outlook
The twisted Eguchi-Kawai model (4.12) has been tested by
Montecarlo methods 38 and indeed the results for the string tension
LATTICE GAUGE THEORY 431
Epilogue
Acknowledgements
I wish to thank Guido Martinelli and Jurek Jurkiewicz for useful
discussions. My gratitude goes to the organizers for giving me the
opportunity to be at this school.
432 c. P. KORTHALS ALTES
REFERENCES
Antti Kupiainen
K. Gawedzki lt
CNRS, IHES,
Bures-sur-Yvette, Fran~e
1. BLOCKSPINS
-+
D<I>:: II (1)
xt:..A
435
436 A. KUPIAINEN AND K. GLAWEDZKI
(3)
(take L odd).
The block spin transformation RL by definition
CONSTRUCTIVE THEORY OF CRITICAL PHENOMENA 437
"* "*,
produces from the distribution of ~ the one of ~ , i.e.
it fixes the block spins ~'and integrates out the remai-
ning degrees of freedom in ~:
(5)
·
1 1m La av t av
<t"'Lx (6)
"'L >
L"*oo y
. -+, +,
11m <~ <jl > H (7)
L"*oo x x RL
"*
H(<jl) (8 )
438 A. KUPIAINEN AND K. GLAWEDZKI
lAl Qi£o!e_g~s_a~d_t~e_l!k~
We take in (8) N=l and
with e.g.
(10 )
Now
(13 )
<jJ = 1
~2 (15 )
x
(16 )
440 A. KUPIAINEN AND K. GLAWEDZKI
, Z(A)-n/2 t
I 1m t =
<~Axl"'~Axn>g2(A)
A-HI)
(17)
3 A non-perturbative analysis of R
We will now consider in more detail how the analysis
of R will procede in the simplest of the models intro-
duced above, namely the dipole gas of (A). The basic
idea will be the same also for the mere complicated
models. Our first step is to realize the transformation
(5) explicitely as an integration over fluctuations within
the blocks. To this end, we "invert" (4) (a=d-2 from now
on)
(19 )
i
where I/J' (<\>' is <\>' (which lives on unit lattice) suitably
smeared on - lattice (which naturally arises from (41)
whereas Z ib a fluctuation field with zero average within
CONSTRUCTIVE THEORY OF CRITICAL PHENOMENA 441
(22)
(24)
d
V-+V': V' (V¢')= -logfd~r(Z) exp[-\}(L 2'i11jJ!/L+Z)J
(25)
442 A. KUPIAINEN AND K. GLAWEDZKI
Thus e.g.
... , (28)
CONSTRUCTIVE THEORY OF CRITICAL PHENOMENA 443
Non-perturbative contribution
Before discussing the non-localities and in order
to see clearly how the large fields are non-perturbati-
vely taken into account, let us imagine performing (25)
for a lattice of the size of one block. Consider first
V1jJ'small
(29)
(32)
(34)
(36 )
see (25).
CONSTRUCTIVE THEORY OF CRITICAL PHENOMENA 445
Non-locality of RH
(38 )
446 A. KUPIAINEN AND K. GLAWEDZKI
D'
Here g and Vy are functions of V¢' 'o'depending only on
V¢' IX. x j and V¢' I y respecti vely. gx represent the
J large field contribution: j D' is the region
where V¢' is greater than Kilog AI~ and UX.~D with X.
disjoint~ X. represent exponential tails atound the J
"islands" of large fields, coming from non-locality of r.
Vy are the small field potentials. They correspond
to the perturbative multibody potentials as in (37).
Let us now state the main result on the properties of
this representation [8]
Assumptions for v
Let v be even, v{O)= 0 (for convenience) s.t.
lexp[-v{V¢)] I ~ exp[~IV¢12]
there.
rrgnD{V¢n)exp[_I (39 )
. X·
J J YnX. =0
J
there,
Remarks
(a) Here A = 8 n A , 8<1, £(X.) is a geometrical factor
(length of ~he shgrtest treeJgraph on the points of X.),
and V1\In= VAncp 11 ves on L -nZO wi th cp on Zd (in [8] J
slightly stronger results are needed and proved).
A plays the role of effective coupling on scale Ln.
n
· a s t rong sense RnH converges t 0 a gaussian.
(b) Cl ear 1 y, in .
This leads to the properties of <->H' <->RnH mentioned
in (A).
(40)
448 A. KUPIAINEN AND K. GLAWEDZKI
(43)
(44)
References
1. Aragao de Carvalho,C.,Caracciol0,S.,Frochlich,J.:
Nucl.Phys. B215,209(1983) .
2. Brezin,E.,Zinn-Justin,J.:Phys.Rev.B14,3110(1976)
3. Domb,C.,Green,M.S,Phase Transitions-and Critical
Phenomena Vol.3, Academic Press,London 1974
4. Frochlich,J. ,Spencer,T. :J.Stat.Phys.24,617(198l)
5. Gawedzki, K. , Kupi ainen, A. : Commun. t1ath -:J5'hys. 77 , 3l( 1980)
6. Gawedzki,K.,Kupiainen,A.:J.Stat.Phys.29,683(1982)
7. Gawedzki,K.,Kupiainen,A.:Contribution-rn this volume
8. Gawedzki,K. ,Kupiainen,A.:Annals of Phys.14~,198(1983)
9. Gawedzki,K.,Kupiainen,A. ,Tirozzi,B. :J.Stat.Phys., to
appear
10. Kadanoff,L.P.:Physics 2,263(1965)
11. Magnen,J.,Seneor,R.:Annals of Physics, to appear
12. Polyakov,A.:Phys.Lett.59B,79(1975)
13. Wilson,K.,Kogut,J.:Phys.Rep.12,75(1974)
14. Ma,S.:Phys.Lett.43A,475(1973r-
ON A RELATION BETWEEN FINITE SIZE EFFECTS
H. LUscher
Hamburg
ABSTRACT
1. INTRODUCTION
451
452 M. LUSCHER
-M t
(1) C(t) OC e 0
Here and below the lattice spacing is set equal to one so that L is
an integer and M is dimensionless. The energy gap M not only de-
o o
pends on the bare coupling constant g , but also on the box size L.
o
If one attempts to extract the infinite volume mass gap
(3) (M - m )/m
o 0 0
(4) mL
o
2. ISING MODEL
(5) m - 2p - ln tgh~
o
(7) ch E ch m + 1 - cosq, E ~ m •
q o q 0
222
(8) E
q
= m0 + q
The finite volume energy gap M , which has also been obtained
o
by Schultz et al., reads
L-1 L-1
(9) Ho =m+"r:.
I ))=0
0
e. i:(2.\I+1) i
2."=0
L. E
~2.\)
The first sum here represents the zero point energy of the vacuum
state and the second sum the zero point energy of the zero momentum
1-particle state. These frequency sums come with the "wrong" sign,
because of the fermionic character of the harmonic oscillators in
terms of which the diagonalization of the transfer matrix is achieved.
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 455
00 iqL(2V+1)
oWl o - LL'.. e €~
(10)
( 11)
We shall see later that this exponential falling off is typical for
massive quantum field theories, although the decay rate is not
always equal to one.
00 00
2 (~
( 12) L. 1').1+1 ) 2'1'
po = ~ 1 +p2.
-00
456 M.'LOSCHER
0.392
2 0.089
3 0.026
4 0.008
(13)
5)
with perturbatively computable coefficients While this
result is interesting, its proof is mainly a book-keeping task. The
following two features are, however, remarkable:
( 14)
Note that, due to crossing symmetry, F(-V) = F(v), and the two
limits in eq. (14) coincide.
Im~
physical amplitude
~ •
========~--~---+--~--~=========Re~
- m
o
1 m
o
poles
(15)
d
2.-m2.o
along the imaginary axis in the ~ -plane, far away from singulari-
R
ties. The error term in eq. (15) is dependent on dynamical details
of the theory, but ct never becomes smaller than and may, on the
other hand, be as large as 3.
( 16a) so "-
(16b)
The best proof of eq. (15) I have so far been able to find goes
as follows *• Let ~(x) be an interpolating scalar field so that at
L = 00
.
(Eucl~dean scalar products are used here, e.g. p 2 = po2 +2)
+ p . The
normalization (17) and the requirement that m be the physical
o
mass at L = 00 amounts to
for p = (im
o
,0).
On the other hand, the finite L energy gap M is implicitly deter-
o
mined by
-1 ~
GL(p) = 0 for p = (iMo ' u).
Writing M = (1 +
o
S0 ) m , it follows that
0
The second, more difficult step in the proof of eq. (15) con-
sists in showing that
L L ( p) - Loo (p) =
(19)
H9+
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 461
d
(20) - 2 l2
\-1
cos (4i L) Goo ('1)
The L-dependence of the rhs of eq. (19) stems entirely from the
modified propagator (20). All other factors and loop momentum inte-
grations are exactly as in the infinite volume theory.
4. APPLICATIONS
(21) F(Y) = - 8 m ~ m2 _ ~2
o 0
* Note that A2
(r3 (k 1 ,k2 ,k3» 2 , where
= r3 is the 3-point vertex
function and k~ = - m2 for all i.
1 0
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 463
(22) s =- 1
(23) +
1 &0
0.650
2 0.155
(n 3)
3 0.045
4 0.014
(24) (n = 3)
~(X) =
a
where F~ is the gauge field tensor. From perturbation theory one
easily shows that the 3-point function of 4> does not vanish.
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 465
-1 _.Jay
(25) l e 2.
00
= _ -1- c dp e - cr ~ -1 + p2. F'It''lt'1.tn.1t'P
(. ) + 0 ( - 0(. 'f )
(27)
8'it~ _~ 1'11" e
where m'lt' denotes the pion mass, F'It''1\' (,,) the forward 'I\''T( -scatter-
ing amplitude, and ~ = m'lt'1. To estimate Fw'Jt (,,) near ')) = 0, we
have current algebra results and experimental data at our disposal,
Thus, denoting isospin indices by 0(., fa, "., the elastic 'Jt7t -scatter-
ing amplitude can be written as
1 2
(29) A(s,t,u) = ~ (s - m~)
F'Il'
11)
Recently, the next order has also been worked out , but, for
simplicity, I shall stick to the lowest order expression. The for-
ward amplitude is then easily calculated and eq. (27) becomes
r - 'f -J 1 + p2.
00
dp
(30) } 21t e +
-00
1.0 0.051
1.5 0.016
2.0 0.006
2.5 0.003
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 467
(31) &p = (M
p
- m )/m
p p
(m is the physical proton mass and M the energy of the zero momentum
p p
proton state at finite L). The relevant scattering amplitude in this
case is the pion-proton forward elastic scattering amplitude F~p(V),
(33)
These poles come from nucleon exchange diagrams, and they give
rise to the leading term in the proton mass shift formula
3 2
S = i ( "''II; ) %1l"N
P 4- >WI. p 4-'ir 'r
(34)
468 M. LUSCHER
(35) F1t'P () '- a 2. ... ,2. / ( ... ,2. _ ... ,2.) + 'R (V»)
V = 0 l},ICN vB vB v
(36) R(V) =
(37a) 14.3
i.e. the proton mass shift is even a little smaller than the pion
mass shift.
ACKNOWLEDGMENTS
p ... (p 0 ,p)
...
, ~
p = (1
p , ••• ,p d)
FINITE SIZE EFFECTS AND ELASTIC SCATTERING 471
p.
~
-p
~
(i = 1, •.. ,d)
o 0 ......
p' q = pI' q~ = p q - P'q
s-u
y=- rnA: mass of particle A.
4mA '
472 M. LUSCHER
REFERENCES
Gerhard Mack
eke
( 1.1)
(1. 2)
473
474 G. MACK
-It( s)
factor e , viz
( 1.3)
( 1.4)
2. -(3'0 I (0 )/2
m.n- (2(3/0. 3 )e' C" 1) cb ( 0) .: 0,).52 7 ~ 1 , (1. 7)
It was also shown that the string tension a is finite for all values
of S, and obeys a bound
A common formula
(1.10)
(1.11)
( 1.12)
(1.13b)
The point is that different problems arise in the two steps and
different methods are applicable. For instance, spontaneous symmetry
breaking, such as occurs in the discrete Gaussian model, affects only
step ii). I advocate to use Mayer expansions in step i) to compute
the effective actions Zeff' In theories with a mass gap one can hope
to carry through step ii) using standard methods of constructive
field theory. For instance, Glimm Jaffe Spencer expansions around
mean field theory [7] were used in case of the discrete Gaussian
model. As a rule, semiclassical approximations become accurate when
the UV cutoff M is low enough.
(3.4a)
L(a1 ... as) is the "length of the shortest highway net that can be
buildt to connect all the citites a1 ... as", see figure 1. The
length is defined using the distance II x II = 3- 1/ 2 1: Ix I.
~ ~
(3.7a)
N-1
Integration of n is over the unit sphere S in N dimensions. The
potential U has the form shown in figure 2.
a) b) c)
tJ
/ I
1 I~ I
In any case,
'\)(0) -+ 00 as M -+ 0 viz
4. Gas picture
(4.1)
(4.2)
(4.3)
(5.2)
The precise form of the split depends on the choice of the block
spin, or, more generally, on the way in which the new UV cutoff M
is introduced. But always v(x,y) decays exponentially with distance
Ix-yl with a rate of order M, while it approximates VCb well for
distances considerably less than M. As a result, u has the same
long distance behavior as UCb but is less singular (i.e. smaller)
at short distances.
482 G. MACK
(5.5)
1/ := (-.1+ Ml.f1
For the choice (3.1) of block spin, the appropriate split of the
potential vcb is as follows. Let C be the map which takes square
summable functions on the original lattice into squares summable
functions on the block lattice through averaging over blocks
so that ¢ = C~, and let C* be its adjoint. Let ul(x' ,y') be defined
by
C "C.b C* (5.8)
Then
(5.10)
RENORMALIZATION GROUP AND MAYER EXPANSIONS 483
(5.11 )
and
Z1(~ Y1)d~()(I) ,. r
elf rupi')~ t~ (~ ) 'J"F( (A\"+ ~ )(l' »
MAYER EXPANSIONS
z ~ SITdA (q(x»)exp
~)(
[-1.. ~
1 X-#')
q(X)V(X,~)9(Y)] (6.1)
One defines
- iq (x >v()(, 'J)'t (y)
f Xj (q) - e - 1 (6.3)
so that
(6.4)
The second product runs over unordered pairs (x,y) of distinct points.
RENORMALIZA TlON GROUP AND MAYER EXPANSIONS 485
In the sum in the exponential of (6.1) every such pair appears twice,
this cancels the factor ~.
Now one expands the product into products of f's. The terms in
this expansion can be labelled by graphs ~ . The vertices of these
graphs are the sites x of the lattice A, and B specifies a set of
(nondirected) links (x,y)(~ , (x,y) an unordered pair of distinct
points
(6.5)
(6.6a)
(6.6b)
'""
exp ~ 10(1 1
A(ol)
where lal = k if a = {il .•. ik}' For a general polymer system (6.6a)
one can use expansion methods as will be discussed in the next
section. But in theories with a mass gap one is really only interested
in an ultimate ~eff which has an UV cutoff that is as low as is
feasible. It is then advantageous to avoid taking the logarithm at
intermediate stages of a renormalization group procedure. Instead,
486 G. MACK
(7.2a)
Then
(7.2b)
;( )( I:: K
(7.3)
o+herWIH.
(7.4)
Then
(7.Sa)
and
When all the reduced activities A(al~) are small enough (for
polymers a with more than one site), expression (7.Sb) for Vx
admits a power series expansion on the A's. As a result 0ne obtains
an expression of the form [16j
(8.1 )
The activities are given by eqs. (6.6b), with fxy and dA from eqs.
(6.3) and (6.2). There is only one connected graph with one vertex,
it has no link. Therefore, in units a = 1,
. ,...
A(x.cI» - 5CfA(4(X)) -= )dk p(K)e LKCP ()()e- i l(v'(x,X)I(/2.
...F
is the Fo~rier transform of the factor F(~(x)) in the original
Boltzmann weight (1.10). Under an inverse Fourier transformation,
product goes into convolution. Therefore
(8.2)
(8.3)
- V 8
€-/T
(el» -:: 1:
)(
1M. S
Stf.-f
ar)I exp [- 2 F,N'oV(x,x)_ (4)(X)- ~ n (8.4)
RENORMALIZATION GROUP AND MAYER EXPANSIONS 489
(9.1)
This is done in such a way that the pieces vi have increasing range
and decreasing strength at short distances as i = 1 •.. R. Then the
pieces vi of the potential are treated one by one by using Mayer
expansions, in the order i = 1,2, ... , i.e. in the order of in-
creasing range.
I
A(o()':: r:. (exp (-(3'1., v (><" )(l,)'1J ·-1 )
Z. 1.
e - f1V(O )(q., Ht1.) 4 . (9.2)
'1i''1l. ,~)(.p [lq,cP(><jh '1J.cP(x2.)l
One needs bounds on b 2 = !IAI-lfxlfx2A(a), for instance, in order to
established estimat~s like (3.5). The decay propertt' es_of Ithe
kernels ps are obtalned from bounds on f xl f x2 e(l-O)M xl X2 A(a).
V is a Yukawa potential, which is kernel of a positive operator,
therefore
(9.3)
d~o(, =
"7
11 d~ac
acEOI'
(9.5)
(9.7)
(9.8)
It depends on ~a'. The comb. factor will be set 1 for the following
discussion, but in the articles [1,2] a different choice was made.
Mayer expansions are very flexible because one has the freedom of
what to consider as the particles of the gas. In the (~+l)-st step
of an interated Mayer expansion (which defines a~+l), the particles
are ~-clusters a, and they have a fugacity a~e-Sv~(aaYlwhich incor-
porates interactions between the constituents of the ~-cluster a
due to interactions yr with r < ~. It depends on the state ~a of the
£-cluster, i.e. on the charges and (relative) positions of its
constituents.
(9.9)
I I
V + u (9.10a)
l-1 J .t R- 1
V
I
= 0
V+ .. ·+V u - u + v + ... +v (9.10b)
eqs. (5.1) .•• (5.4) remain valid when u', v', V~ff are substituted
for u, v, Veff , and Jf~1'f = - J.'r (ci? u'-1c:f»+Ve'ff is effective Hamiltonian
for a cutoff Ml that determines the range of v t - l , and therefore ofv~
When cr l is computed, all of the interaction v' has been taken into
account. Therefore cr l determines the polymer activities which in turn
determine z' (~) = exp [-Veff J
with V given by
(10.2)
(10.3)
v ( ~)
,,~
'V -
\
;Z).l.
)"l. +
(').-1"~
.
_1-
4). '+
1; 4- ~ ... wi+h A ~ foV M
(0)
· (10.4)
The dots ... represent terms that are o(f~) when 1;; = ~(x) = O(f~)
as it shall turn out to be. One introduces a mass m by
so that (10.5)
z M 1m »1 (10.6)
for M 1m ">"> 1
V n (cP )
t rr r
=- 0" {'
J JI.
1) (4) a 2 f ~) 21. )L-(<P, .(~"> z. -to q,,. (,.)'t 1to '"
(~ )) = 1.HM 0
ACKNOWLEDGEMENT
For many years Kurt Symanzik has always been ready to share his
vast treasure of knowledge. With great patience and clarity he ex-
plained so many things to me. It was he who introduced Mayer expans-
sions as a tool for studying Quantum Field Theory nearly 20 years
ago (ref. 20), and they were a topic of our last conversation few
days before his untimely death. With deep sorrow I dedicate these
notes to his memory.
REFERENCES
P. K. }1itter
I. INTRODUCTION
497
498 P. K. MITTER
tV ~ a.J
3 -. t.J tJ f} =g
-I
(2.3)
where g. E ~ = Maps OR"'1;, G-), the group of gauge transformations, and
in (2.3) pointwise multiplication is implied.
[t.J) '1] ::. 2.. [ lJl ... i?)) lJJ ....J(x) ] Jx ~I" ... 1\ ax i.p" dxdA ... t\ Ji"
L, ( ... <~ " I r I,.
J,<".<Jp
(2.5)
+We can (and will in Ch. III) choose, for simplicity G=SU(N). The
reader may take this to be the case in this chapter also.
++We deal entirely with the local theory, which is all that is
necessary to motivate Ch. III.
500 P. K. MITTER
(b)
(2.6)
Here <):> 9
is a scalar product on ~ invariant under the adjoint
G action. (More simply, if G=SU(N), (J = Lie SU(N), then (5)'1> =
r
bi Choose
fr 'f1 ). . . . to '" . .
a fLxed orLentatLon of I~ ,by specLfYLng an ordered
basis. Let
*: (2.8)
be the Hodge duality operator / 6 /. We have,
(2.9)
The Hodge scalar product on .Q. &~ is defined by:
(~) '1) = J
,R'"
CJ 1\ .. '1 f d'l1x. L .(t.J
=IR" (.,<"o(L"
L '''1. (1-»)
, P
YJ c.,.) >
L, .... "p
and
(2.10)
We also use:
<eJ'"1 >(.,.) =eJ 1\ .,.", (x) = ~ . <tJ..... /x) ) 1L .... /") >
,,( ... ( Lp , P 'P
and
(2.11 )
GAUGE INVARIANT FREQUENCY SPLITTING 501
0/)
The exterior covariant derivative, acting on ( p-forms,
= (-I )
'J'ltnpt-I
*
I
0{
A * (2.13)
In the above, ~
A :: L
~ IO~ (2.14)
is a () ~ -val ued connection I-form on f"\. Then
S( A) =~ II F(A)/1 1 (2.17)
Using
(2.18)
we derive from (2.16) the field equation
(2.19)
502 P. K. MITTER
(2.20)
We recall briefly the notion of parallel transport. / 7/
If t.J e
.Q.P (!)~ , we say ~ is horizontal with respect to a connec-
tion A, if .
(2.21)
(2.22)
(2.26)
GAUGE INVARIANT FREQUENCY SPLITTING 503
At 6)
(2.27)
.,.,
where {e;} is an ordered basis of If< Thus given parallel trans-
porters U06,~) we can use (2.27) to define the connection.
l ]
following / 10 /,
~'j (f)ru)::
tV
f -< U(x, X fEe i ; A) U f=a U L:> X + {e L H~' ) A)
u~)XHfj'jA)U(XtfJ ).xt{(41~·jA)(2.28)
as an element of M(rJ)tf) . Then
= ~~o
.{.''WJ E-1futx)X'HP.)c..J
LI ,
{X+E{'.)U(X-tEP.;)X\
rh'''d p ' L /
where
W'-"'.lp E. M{N" C)
If, moreover, CJ E.Q. P® s.. ' then we can expand
N2:.,
W L ... lop (x):: ~
I ()I..=' (3.2)
where
we define
I ~o( } is a basis of ~ • For both .!2"®~ ,52 P®H(N)()
(3.3)
11
Let now~~ be the hypercubic n-dimensional lattice with equal
lattice spacing 'in all directions. (In Chapter IV we choose n=4,
but temporarily we do not fix n). The~standard orthonormal basis in
~~ induces a fixed orientation in~E which will be u~d through-
out. Let ~EC:~~ be a finite subset (hypercube). Let~p be
of oriented p-celfs whose vertices belong to ~E· Let ~: ~pJ~=
set n I
be a cell complex. Recall that O-cells are points (vertices), orLen-o
ted I-cells are directed bonds, oriented 2-cells are oriented
plaquettes, oriented 3-cells are oriented cubes, etc.
~CpEe.
e
An (oriented) p-cell C p E p can be identified with a vertex
("lower left hand corner") x and edges (:C~Xt' £.IiI<) ,1(=,,7 .... .1 p,
l, ( ..• (i.". Here ei./C are basis vectors, and the orientation is that
induced by the basis. We can write:
W: lp~-V
(3.8)
p(?1-p) P- Co cl,aJ"71.S
l!.l
7'
2.
= (_I ) o?t. (3.10)
en:
We introduce bilinear forms in parallel to (2.4, 2.6)" •
. (i) !
(.Q. ® V) ® IJ) -V-) ~ Sl':1- ® ."
~ '7 ~ [£..>.)"1 ]
Let • Then C
p.,.,. = Cp~" (Xk k
~ j) ••• P+'V)
(ii)
S ~""J.p = ( : (3.13)
'-, .... I..p '1 t.,,¢ JI( for at least one k
For CV J ,? E.at ® V we define first the pointwise G- invariant
scalar product <-.). > :
GAUGE INVARIANT FREQUENCY SPLITTING 507
Now let U:
e,~G- be an elementary lattice parallel transporter
(the name is justified via (3.16) below). Let clCf, ,thus
~=~(y.)c:) .
Wewrite
u~ U}
)
where Define:
(3.16a)
ep
(3.17)
where if
('p -J-. ~ Cj:'+J (x;) k" .... .) kp +') f +1
1<, < .... < "p +- J
then
508 P. K. MITTER
and
Let
be the adjoint of d
U with respect to the scalar product (3.14). It
is straightforward to verify:
(3.18)
J1t
It is convenient to introduce another vector space of M{~;)() valued
p-cochains ® M(N;) CC) with a slightly different gauge trans-
formation property. Let t:5 f.D:.C® M(N:>C), and let Cp ::"C'pr" e. .... e )
Then under a gauge transformation J-
,eJ ~4.)' where :>" 'P
where if
GAUGE INVARIANT FREQUENCY SPLITTING 509
then
and
'VI
We noted earlier that parallel transporters U f ® H{N,t:) e...n
We define following / /0/ the lattice curvature 2-cochain ~(U)bY:
1- (u) = C.:lf r ot uU
rv
l
(3.22)
-- LL ]Ql·{U);;i. v
"'I
... ".(x)
"'p-J
(3.25)
Then,
We have
'" (~)) _ (
( ;;:; cr) , w . '\
_ tJ/ W./ (3.28)
and
l~: n~ ® H(~.>(() -7.Et ® H(N) C)
(3.29)
Example: Let ~ C J2I ® H (r{,<I.)
~
Then ;:: r:')
c.
(r-) -= ~. (r-)
' l .
U·:t.(x \
'../
- €- <p.(x)UCx)cJ (X+fel)U·~b)~.r)tJ
l l el,.";,, I. ii. (3.32)
or, using (3.l7a),
where
whence
(3.36)
We also have:
whence
(3.38)
Weitzenbock decomposition of ~ U
Define
Then:
Examples
We wish to note some examples of the formalism elaborated so far.
2 Consider
- 2 f- ex x:J
Hence (3.43) contains, with all possible orientations,
(3.44)
o ;) c=J J .....
= i 1/ '1{v)
,..., 1
5 (U) II
I
where we have used (3.31) and (3.33), with cf' E..Q ~ ® ~,)4).Hence
'V '"
d (V)
tV
= 0
(3.45)
~U=-
,.., (0)
Eo dU s
with S
f.n.~ ® 4 and ~U defined via (3.20)-(3.21). Then we have,
using (3.31),(3.331
(3.47)
"VI
..Q g) M(N) (()
O-cochains ~ ~
~ J2:1. ®
E-
M (N,~)
(4.1)
"v
1
IV 1
1 = 1T (dU{t},1V(/")) e -~:11(vu)11
/).,
!
/' ,e,1 ,f,.£e,
«> ':r'
.
-IrV-e, (d(J[~)Jv{£.je
I
0
"",/,
-:.<lJ/11. VII))
1'2
(J{VV)'
(4 3)
(4.6)
GAUGE INVARIANT FREQUENCY SPLITTING 517
Define
AL~' e 6.)
Ais.) € 6) == 6: -I ( U /~)-::r )
(4.7)
In the putative
h
continuum
. I
limit E~O , to be taken
.
in some topo-
logy, . ~ A i (x) el,. E..Q. ® ~
I whereas "2'A:d}. l is a C -valued
connection I-form. d
There is a considerable amount of freedom+ in the choice of
ll' CU) V) . G~ided by contin:rum insight we choose for simplicity
l/J f...Q !®M{N,~), with
(4.10)
(4.14)
where,
(4.15)
GAUGE INVARIANT FREQUENCY SPLITTING 519
(4.17)
can be computed. It is
•e
(4.20)
(4.21)
AI" &
(4.23)
where (4: 706 as ~ ~ 0, O(~) represents interactions vanishing in
the naive continuum limit and J..J..4b CA ~) is an equivariant normalized
Gaussian measure on .J2 ~ ® ~ with covariance
CUh = de
q 2. /L\
Lj. V
~ +I\'L)-I
(4.24)
GAUGE INVARIANT FREQUENCY SPLITTING 521
where
(4.25)
oL·'W) o
UV (4.27)
The reason for calling Ah a hard field is precisely (4.27) plus the
fact that it is massive (mass 1\ ) .
(4.28)
U:: e GAS
we have in the naive continuum limit
~=cl-1ol (4.29)
522 P. K. MITTER
Because LI (I
1~,-) is not invertible, (4.29) is not well defined;
the Faddeev-Popov "covariant" guage fixing formalism (which can be
rigorously justified on the lattice I 1/ I after suitable precautions)
can be employed in (4.28). Suppose then that we have fixed a gauge.
Then, apart from the Faddeev-Popov determinant, the quadratic form
in the exponent of (4.29) should be replaced by:
the same remarks are valid for us. One should so define the hard-
soft gauge fixing that (i), one fits into the mathematical framework
of / /I /, and (ii), one recovers ~' I\~ II lP{u)v) I 2 with tP as in
(4.8) up to o (6) terms vanishing ln the naive continuum limit.
Since the qualitative aspects of our discussion do not change, we
will not enter into this complication here.
(4.33)
Using the method of / 14/ and the measure (4.21),(4.23), the fluc-
tuating field around the block can be calculated and the measure
(4.21) can be rewritten in terms of a product measure (plus inter-
actions). The RG transformation then consists in integrating out
the fluctuating field.
e
(5.1)
noM
V(f((U ) is thus generated, via the cumulant expansion, as a sum of
connected Feynman graphs with Ah internal lines and U external
lines. As noted earlier, even in the continuum limit no additional
gauge fixing is required for the Ah integrations. We thus obtain an
effective low frequency action:
S;J. l/")
( ,) .J (,)
(5.2)
which governs the long distance effects in the theory. From the
analysis in Ch. IV we know that almost all (i.e. all but a finite
number of) continuum limit UV divergent Fevnman graphs are those
with Ah internal lines. We shall now take a shortcut which is not
entirely in the spirit of constructive RG theory but is sufficient
for the point of this section.
(5.3)
(5.4)
where
(5.5)
with Ll
u
U~6)
we find (in the Landau gauge) that the corresponding continuum free
+For lattice dimensional renormalization see /15/, the graphwise
subtraction scheme being that of /16/.
GAUGE INVARIANT FREQUENCY SPLITTING 527
(5.6)
(5.7)
ACKNOWLEDGEHENTS
REFERENCES
Giorgio Parisi
Universita ' di Roma II "Tor Vergata" 00173 Roma (Italy)
and
INFN-Laboratori Nazionali Frascati 00040 Frascati
(Italy)
I. I NTRODUCTI ON
In recent years wr have seen many computer based evaluations of
the QCD mass spectrum. At the present moment a reliable control of
the systematic errors is not yet achieved; as far as the main
sources of systematic errors are the non zero values of the lattice
spacing and the finite size of the box, in which the hadrons are
confined, we need to do extensive computations on lattices of
different shapes in order to be able to extrapolate to zero lattice
spacing and to infinite box. While it is necessary to go to larger
lattices, we also need efficient algorithms in order to minimize the
statistical and systematic errors and to decrease the CPU time (and
the memory) used in the computation.
In these lectures the reader wi 11 find a review of the most
common algorithms (with the exclusion of the application to gauge
theories 2 of the hopping parameter expansion in the form I have
proposed: it can be found in Montvay's contribution to this
school); the weak points of the various algorithms are discussed
and, when possible, the way to improve them is suggested.
For reader convenience the basic formulae are recalled in the
second section; in section third we find a discussion of finite
volume effects, while the effects of a finite lattice spacing are
discussed in section fourth; some techniques for fighting against
the statistical errors and the critical slowing down are found in
section fifth and sixth respectively. Finally the conclusions are
in sections seventh.
Although these last four years have seen a great improvement of
the techniques, there is still a lot to do: it would be very nice if
our collegues, which have never used a computer, would start to
531
532 G. PARISI
G(P)=<P(P)<P(-P) = 1
(8)
2
p2+(~ _ 12)P4+ O(p6)
at the magic value 8=a 2/6 the effects of order a2 cancels with those
of order E. Independently of the possibility of cancelling errors of
diff~ent origines, it is clear that if the continuum lim~t is done
at a /8 constant, the final errors remain of order a • A more
careful investigation of these problems would be welcome, also
given the relevance of the Langevin equation for introducing
Fermion loops.
V. FIGHTING AGAINST STATISTICAL ERRORS
Everyone would agree that if we want to measure something (e.g.
<0 > near the continuum limit) it is better to consider a quantity
which has a definite probability distribution in the continuum
limit, i.e. if (P(z) is the probability that O=Z, we would like that
in the continuum limit the limiting probability P (Z) exists and it
is such that: c
536 G. PARISI
(9)
knowledge there are two methods which solve this problem, the FFT
preconditioned Langevin equation and the Multi Grid Monte Carlo.
Let us first describe the Langevin approach for a scalar field
theory with action
S [p]= fdd x i~o~ gJ )2+ V(P)] (14)
where as usual the bar denotes the average over the noise and P is
the solution of the Langevin equation:
cP = Llp- VI ( P) +1J 1J (x t) 1J (y t I) = 20( t -t I ) l5 ( x-y ) ( 16 )
n
<P(i) = ~ ~ c~k~ <p(k) (j),
ok j 1, J
w~~)e each component of the the index j runs from 1 to 2n- k and the
c i are appropriate constant.
We can now perform a Monte Carlo simulation on all the variables
together; also in absence of tricks for fastening the computation,
the total time for a multigrad Monte Carlo cycle will be at worse
proportional to n, i.e. the algorithms is slow only of a factor ln
a. The benefit of the multigrad algorithm is that the efficiency for
changing the low momentum variables should be quite high and no
critical slowing down should be present. This may happens if the
constants C(k) are chosen in the appropriate way: simple minded
arguments suggest that for an action with two derivatives the CiS
must be linear in j while for the action with only one derivative
the CiS can be constant inside each block.
The method should be particularity efficient for quadratic
actions: (the CPU time for a multigrid sweep is similar to the one
for an usual sweep) expecially for the computation of the Fermionic
propagator which is a first order differential equation. On the
contrary the application of the multigrid method to the gauge field
sector seems to be particularily paintfull but it may be rewarding.
It could be very interesting to see how these methods work in a
concrete case.
VI!. CONCLUSIONS
I believe that in the future the methods described in the two
last sections will lead to a strong reduction of the CPU time needed
to perform a computation. The use of block fields for constructing
the observable decreases the statistical errors; moreover as far as
the block fields should excite from the vacuum only low energy
particles Eq. (1) will be dominated by the lowest energy state also
at moderate values of t, allowing therefore an unbiased
determination of the masses of the lowing lying states. On the other
hand the multigrid method should strongly fasten the slow part of
the computation, i.e. the treatment of the Fermions.
It seems that we have at our disposal all ingredients for
performing a successful computation of the hadronic spectrum
keeping under control the systematic errors.
At the present moment, on most of the super computers the main
limitation seems to be lack of memory space; the trend is reversing:
new generation supercomputers will have a reasonable amount of
memory (may be not enough). With the advent of 256 kb chips also
dedicated computers may be equipped with a sufficient large amount
of memory. A serious problem that slows down the progress in this
field is the difficulty in writing down the computer code which
implements the various algorithms, i.e. the software problem. This
540 G. PARISI
REFERENCES
1. See for example H. Hamber, Proc. of the Intern. Conf. on
"Matematica1 Physics", Boulder (1983), to be published; G.
Parisi, Proc. Summer School Cargese (1983), to be published.
2. G. Parisi, Nuclear Phys. B205, /FS 5/, 337 (1982).
3. H. Hamber and G. Parisi, ~ Rev. Letters 47, 1972 (1981); E.
Marinari, G. Parisi and C. Rebbi, Phys. ReV:-Letters 47, 1975
(1981). --
4. F. Fucito, E. Marinari, G. Parisi and C. Rebbi, Nuclear Phys.
B180, /FS 2/, 369 (1981); H. Hamber, E. Marinari, G. Parisi and
c. Rebbi, Nuclear Phys. to be published and references therein.
5. T. Eguchi and H. Kawai, Phys. Rev. Letters 48, 1063 (1982); G.
Bhanot, U. He ller and H. Neuberger, Phys--. Letters 113B, 47
(1982); G. Parisi, Phys. Letters 112B, 463 (1982); G. Parisi and
V.C. Zhang, Nuclear Phys. 215, ~/, 182 (1983).
6. H. Hamber and G. Parisi, Phys. Rev. 027, 3215 (1982).
7. See H. Luscher contribution to this school.
8. For a recent review see J. Gasser and H. Leutvy1er, Phys.
Reports, in press.
9. T. Eguchi, J. Jurkiewicz and C.P. Korthals A1tes, in Proc.
Workshop Word Scientific (1982).
10. G. Martinelli, G. Parisi, R. Petronzio and F. Rapuano, Phys.
Letters 122B, 283 (1983).
11. K. Symanzik in "Methematica1 Problems in Theoretical Physics"
eds. R. Schrader et a1. Lecture Notes in Physics 153, (Springer,
Berlin, 1982).
12. M. Fa1cioni, G. Martinelli, M.L. Paciello, G. Parisi, B.
Tag1ienti, Nuclear Phys. B225, /FS 9/, 313 (1983); B. Berg, S.
Meyer, 1. Montvay and ~ymanzik, Phys. Letters 126B, 467
(1983). -
PROLEGOMENA TO COMPUTER EVALUATION OF MASS SPECTRUM 541
Raymond Stora
L.A.P.P.
B.P. 909
74019 Annecy-Ie-Vieux Cedex, France
INTRODUCTION
543
544 R. STORA
Acknowledgements
(1)
where
where the fls are the structure constants of Lie G, the Lie
algebra of G.
(6)
(7)
where
(9)
(10)
A =Q+C\) J
D::ci+s (11)
(12)
so that
(16)
ALGEBRAIC STRUCTURE AND TOPOLOGICAL ORIGIN OF ANOMALIES 547
The last equation shows that Q~ solves the W.Z. consistency con-
dition. It provides the answer in the case of four dimensional
renormalizable theories 10 ,13, up to a numerical factor which can be
evaluated by computing a convergent Feynman diagram and is well known
to be non vanishing only in the case where chiral fermions are
coupled to a. Of course, this statement needs to be qualified Slnce
the solu&ion is always ambiguous up to terms of the form s Q~,
where Q4 is a local four form which may be added to or substracted
from the Lagrangian density, at will.
1
..,
:In. (r, f', 'F):: n..D cit: In. (A, ~) ... ~) = DQJ.n..-\ (17)
o
and the anomaly is Q~n-2' in self understood notation.
Remarks
III. THE CARTAN HOMOTOPY FORMULA AND THE WESS ZUMINO LAGRANGIAN
k.a"p ,. LC_{(I')r d t
'F 10
'PCa.t;; F... a•• oa , F) (I9)
where
and the symbol E indicates that one should sum over all possibi-
lities to replace one F by al- a2 and simultaneously all others
by F t , whereas the sign (_)o(F) takes care of the antiderivation
character of k12' The extremely simple proof given by B. Zumino8
goes as follows: Pick an interpolating field
e.g.
(23)
(24)
(26)
Fig. 1
Hence
G: (a .. F..)-O:(~;'Fz)=(~"2.d +d \ ..2) Q;
j
Now,
(32)
and, by writing out k12, gk12 and using the invariance of ~3 one
can see that
(33)
Hence
dQg = 0 from the Jacobi identity and the invariance of ~3' Hence
one may write locally (e.g. on g(S!) which is contractible to 0)
(37)
So, finally
ALGEBRAIC STRUCTURE AND TOPOLOGICAL ORIGIN OF ANOMALIES 551
(38)
with
-r
N
W.%. (~,O)=O
rw.Z. (~, 0) = ~,u:et\ (S)
(39)
~ Cr, r ,F)
(40)
,
and
~K J = 31 o
dt :::r (QJ,I<+W.LOC 1 3='~ .. ) (45)
does not contain wlK ' introducing into the action the counter term
(48)
Once the anomaly has been made to vanish along K, the WZW
ALGEBRAIC STRUCTURE AND TOPOLOGICAL ORIGIN OF ANOMALIES 553
IV GRAVITATIONAL ANOMALIESl8
Wen)= ~
(50)
where
&ne -= .ne
SA CD = dn ",[CA),n) =.nn (51 )
554 R. STORA
Now we have
Hence
r (;l!
JS1
provides a closed 2-form on [S3 + GJ. Its contribution to the
equations of motion is obtained by polarizing it with respect to
g- 18g, look at the coefficient of one of the variables and replace
there the other variable by g-ldog. One can check than one recovers
this way the equations of motion found by E. Witten l7 .
CONCLUSION
REFERENCES
APPENDIX
We sketch out here the calculation of I.M. Singer indicated in
section Va). (Santa Barbara seminar 1982). We can locally para-
metrize ct by
(AI)
(A2)
where (A3)
such that
A + Jt = A - q A:n; ~ A (AS)
The third rank invariant 'j 3 gives rise to :l3(~' <f, q:'), which,
integrated over M yields a 2-form on ~
Since
(AB)
it follows that
SD.: 0 (A9)
~
t
A-4A D~ &A] ) cq;' + ~ [A-4A D cSA I A~GA~-+ &AJ
0 )
H 0
+ ~!(A) 1:(I-DA4ADt)bA..,.b2_t:[C;AD~£A/A].J"
.. tF+ ~ [A/A]) }
= 3 &Q;
(All)
562 R. STDRA
The first term in (A7) yields 0, each factor being left un-
altered. In the second term, the part quadratic in g- l og vanishes
by the Maurer Cartan structure equation. The linear part can be
written as follows
'J! ( - b 4A D~t 6 A, F, F ):: - ~ J3 (G Ant cS A F IF)
I
(AI4)
(AIS)
the first part cancels (AI4) and the second part cancels the polarized
contribution to
(AI6)
MORSE THEORY AND MONOPOLES: TOPOLOGY IN LONG RANGE FORCES t
Department of Mathematics
University of California, Berkeley, CA 94720
OUTLINE OF LECTURES
(1.1)
BA =
while VA9 is the minimally coupled, covariant derivative of 9,
3
VAcP = (VA.cp = diCP + [Ai'CP])i=l
1
= 1:...
41T
f2
tr(CP BA )d 2E
k k
= 1
Soo
The t'Hooft-Polyakov anti-monopole comes from the monopole
by changing 4> to -9; it has Q= -1.
- -1 + ",-r
~(e )
r
There is also a long range scalar field, the Higgs field, which
is attractive whether between like charges or opposite charges:
e
-&
t Higgs r
1 e
-fu
C£Or. r r
(1.4)
6-+---.. e.m.
6-~+--
w e.m.
6-
. - e
-r
I 2 -r
e
r r
2 -r
- - (1- e (~+ cos e)
r
E=O
1
When A>O, the saddle point is pushed out to larger radius, but
except for providing the spontaneous symmetry breaking, the Higgs
force is not relevant to the discussion. Indeed,
I
ddt I/(c + t1jJ) t=O 0
Then c= (A,~) E e
is a solution to Eq. (1.2) if and only i f
[c] E e/q is a critical point of 1/.
e
q-orbit of a
solution to
Eq. (1.1) q-orbit of a
configuration
_____-~*:-----
"critical point of 1/
e/q
P
X1~X2
f : e~
/
~.:.. , ...----...... [0,1]
+ ++ 2
f(x) f(p) + Vfl • (x-p) +&(Ix-pl )
p
+ + +
If 'ilf Ip 1= O. then consider x = p - s'ilf Ip for E small. Then the
formula above says that f(x) < f(p) which contradicts the fact that
p is minimizing.
To find the third critical point in this case, one can use the
noncontractible loops on T. That T has such loops is well known,
e.g.
or
p p
570 C.H.TAUBES
p
Associate to A the number fA = inf f(R:). Notice that fA> O.
iE A 11
Indeed, i f fA = 0, then since f is a C2 -function and p is an
isolated minimum, there are loops in A which lie completely in
small neighborhoods of p. But such a loop would surely be
contractible since the small neighborhoods of p look like discs.
i 1
MORSE THEORY AND MONOPOLES 571
,
Q,'(t) ' - -
Q,.(t)
1
, +
Let Q, (t) = Q,i (t) - E'Vf 1Q,i (t) . Then Q,' (t) + is a continuous
deformation of Q,(t), so it is in A. _If 'Vfx';O, then for i
large and E small, one would have f (Q, ') < fA which is not possible
(by definition).
is an integer [9].
--
(O,~ ,(3)
lim ~t(lxl,8,</»
Ixl+oo
Alternately, ~t(8,</» is a map from Sl into Mo<S2;S2) -the space
of degree zero maps from S2 to S2.
MORSE THEORY AND MONOPOLES 573
(3.1)
<..:.!I" tE [ -1T , 1T ]
The distorted sphere above is the domain S2. Picture it being
surrounded by a larger, round sphere. Follow an arrow from its
start on the distorted sphere, out to the large, surrounding sphere.
This tells you where to map the inner sphere onto the outer. As t
goes through [-1T,1T], rotate counterclockwise the lower hemisphere
(with the arrows) of the inner sphere. This one parameter family
is not contractible.
After taking (j into account, one finds that 1Tl (eol{j) .::>< Zl,
1Tl (en/(j) ::::: ~Inl i f n" 0, and 1T9v(en/(j).:::: 1TH2(S2). For example,
1T 2 (eo l(j) !::o! ~2 ' 1T 3 (eol(j) ::::: ~2 and 1T 4 (eo/(j) .:::: ~12' There is plenty
of topology here to do Ljusternik-Snirelman theory.
Recall now what has just been established: eo/(j is not simply
connected, 1T 1 (e o/(j).::>< Zl. Further,II- 1(0) is a si~gle point ine/(j,
the (j orbit of (0,~T3). The generator of 1Tl 1.S some
9v(t)=(At,~t) with (Ao,~o) = (A21T,~21T) = (O,~T3).
a noncontract-
ib1e loop in
eoN}
IIVII~II* sup
1*" II (~+ tl/J) 1t=O
l/J of compact f<IVAl/J1 2 + 1[~,l/J] 12)
support in 1R3
<- - /
It is a fact that for the min-max over TIl (eolq) , the number
~A > 0. It is essentially for the same reason as in the finite
dimensional example.
lb) For all i, sup si (x) > 0, but this sup is taken on
at points {xi}x which have, themselves, no limit on JR3.
Case (la)
Case (lb)
The diffusion, case (la), cannot occur. Physically, if
sup si(x) is small enough, then the loop lies within a perturba-
tion expansion's convergence radius of the minimum, (0, ~T3).
As in the torus case, this would contradict that the loops were not
contractible. In fact, the conditions ~A > 0, lim 1I'V'~ill* = and °
578 C. H. TAUBES
i=l
i=3
(4.1)
monopole
(4.2)
anti -monopole
cb--m
time
..
0
m
~
6
m
~
time
..
1 ~
m
6m
• ..
time = 2
00 m 8=0
6m
•
time = 3
..
m
~ ~n 6-
time~ m
m
580 C. H. TAUBES
V. NEW RESULTS
THEOREM 5.1 (C.H Taubes [12, 13]: There exists in each mono-
pole sector, an infinite number of guage inequivalent, smooth,
finite action solutions to the SU(2) Yang-Mil1s-Higgs
equations in the BPS limit. In each monopole sector,
these solutions can be found with arbitrarily large action.
Except for the solutions to the Bogomol'nyi equat10ns
(the self-dual monopoles), they are all unstable.
These fake JR.'+ 's are wierd things and my SUsplclon is that
real ingenuity will be required to put them into physics. However,
perhaps philosophical questions are raised by their existence.
Perhaps not.
e cb--e
\ 2
1 \
The true JR.'+ is the vector space. But JRE is not diffeomorphic
to the vector space JR'+. This means that there exists a continuous
map, f: IRI -+ JR.'+ which is one to one. and its inverse,
f- 1 : JR'+ -+ lR4 is also continuous. But no smooth map exists
L:
from JR.4 -+ JR.4 which is one to one with smooth inverse. In fact,
L:
Property 1: No smooth one to one map exists between
IJR and JR4.
582 C.H.TAUBES
(-~,~) + (-~,~)
f -1-
. 1 ,-1,: (t'-1.,t -1-
. 1) + (t'-1.,t -1-
. 1) for i <0
which are one to one with smooth inverses and which take the end
points to themselves.
MORSE THEORY AND MONOPOLES 583
-------------7:
------------ I
I I Graph of f,1,1'+1
I I
I I
I I
I I
,
ti+l ti
Now, define gi(t) on (ti,t i ) to be fi,i+l(t) when tE (t1+l,ti),
define gi(t) to be t when t E (t!,t, 1 1-
1) and between t,1-1 and tt+l
1
take gi(t) to be any smooth, monotone interpolation between t and
f,1,1'+l(t). The existence of such an interpolation can be seen
best by drawing the picture shown on the next page. Thus, each
g,('): (t i' ,t,) ? (t!,ti) is now smooth, monotone incredsing, and by
1 1 1 -1
construction g'+l(f,
1
'+l(g,1 (t») = t when t E (t!1+l,t,).
1,1 1
This
completes the proof.
------------/:
- - - - - - - - -, .,-,01/ I
,.
.' "
7:
t.1-1
For continuous data, m~ and m4 are the same. But for smooth
data, they are wildly different.
Simon Donaldson [17] proved that except for S4, there are no
smooth, compact, oriented, simply connected, spin 4-manifold whose
second Betti-number was equal, up to sign, to its Hirzebruch
signature. That is, there is no smooth, oriented, .•. 4-manifold
which has only self-dual or only anti-self-dual harmonic 2-forms
in its DeRham cohomology. He proved this by exhibiting a contra-
diction. The contradiction was obtained by examining the parameter
space of l-instanton solutions to the SU(2) Yang-Mills equations
on a hypothetical manifold satisfying the constraints above
(after giving it a Riemannian metric).
On the other hand, Mike Freedman [21] showed that there exist
topological 4-manifolds, which, were they to admit a smooth struc-
ture, would satisfy the constraints above. Therefore, Freedman's
manifolds do not have smooth structures. (Freedman had earlier
proved the existence of topological 4-manifolds which can't be
smoothed [20].)
REFERENCES
ISING MODEL
Kenneth G. Wilson
ABSTRACT
I will also try to explain the basic theory of the Monte Carlo
Renormalization Group.
(1)
exp{K l[tJ} =
1+
I
{s}
JI-+ K(t-+{s}-+) exp{K [sJ}
m m, m 1
(2)
MONTE CARLO RENORMALIZATION GROUP 591
where the sum is a sum over all configurations. The real space
transformation (2) will be defined to ensure that all the effective
interactions Xi yield the same partition function Z when Z is
computed by (3).
(4 )
and S have opposite signs then K(t,S) is O. For the case S=O we
set K(t,O) = ~ for both choices t = ±l for t. Another way of saying
this is that if S is not 0, then the kernel forces t to be s/isi.
If S is 0 then t is given the values +1 or -1 with equal
probability ~.
where 1 is a unit vector and the sum over 1 is a sum over the three
positive unit vectors on a cubic lattice.
critical, due to the coupling K not being precisely ~c, then the
~ for large i have departures from ~ behaving as ~t where At
is the thermal eigenvalue. Correspondi~ly, the pl should have
correcti~ns away from P~ behaving as Al. Thus the expectation
values Pn1 for large i should vary very rapidly as K varies; the
critical value K= Kc shoulq be easily recognized as the unique
value of K for which the pl approach a value independent of i,
instead of changing rapidly with i.
d i,£ =~
L.. C.
£ 1\..
1 (i-£) e . i
(10)
n,m J mJ J n,J
The finite size effects become much more pronounced when one
looks at expectation values with ~espect to block interactions.
The finite size effects in the Pn1 are quite noticeable out to
larg~ lattices. Finite size effects are also present in the
d 1,£ matrices, but in the factorized form of these matrices
n,m
600 K. G. WILSON
i/N 3 64 3 32 3 16 3 83
0 .997 1.007 1.035 1.107
1 .962 .994 1.078 1.299
2 1. 01 1.097 1.33 1.945
3 1.11±.01 1. 35± .01 1.97
4 1. 36±.02 1. 98±. 02
5 1.97±.04
on the left with Pni in the next column Ci. e. compare entries along
a diagonal left and down) one sees that the entries get closer to
each other as i increases. As i increases,the block lattice size
decreases and the finite size effects increase, b~t the finite size
effects remain ~dentical for the comparison of p~l+l from the 64 3
lattice with Pnl for the 32 3 lattice; the only dlscrepancy left
for this comparison comes from irrelevant operators which cause
~+l and ~ to be distinct. The strength of the irrelevant
operators decreases as i increases, hence the matching should
improve as i increases.
such results to date come from the Santa Barbara group.2 Their
results are based on conventional finite size scaling computations,
but there is a close analogy between their formulae and Eq. 10.
The Santa Barbara group has been limited to a few percent accuracy
on exponent computations due to statistical errors.
ACKNOWLEDGEMENTS
REFERENCES
7. See Ref. 1.
13. D. Callaway and A. Rahman, Phys. Rev. Lett. 49, 613 (1982);
M. Creutz, ibid. SO, 1411 (1983); G. Bhanot,-rnstitute for
Advanced Studies preprint.
INDEX
605
606 INDEX