attempts to put the standard model on the lattice
TRANSCRIPT
![Page 1: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/1.jpg)
Nuclear Physics B (Proc. Suppl.) 4 (1988) 451-465 451 North-Holland, Amsterdam
A T T E M P T S TO P U T T H E STANDARD MODEL ON T H E L A T T I C E
Jan SMIT
Inst i tute of Theoretical Physics, Valckenierstraat 65, 1018 XE Amsterdam, The Netherlands
After a review of latt ice fermions we discuss ways of handling chiral gauge theories on the lattice with direct applicaton to the Standard Model.
This talk will concentrate on the fermionic aspects
of the ti t le subject. The problem is, of course, how to
formulate a chiral gauge theory with the lattice regu-
larization. Each method for dealing with fermions on
a latt ice has a potential bearing on the subject, so it is
useful to first review the issues involved and illustrate
these with various proposals. After that we discuss
a chiral S U ( N ) model with Wilson's fermion method
and then models using staggered fermions.
L A T T I C E F E R M I O N S
With the lattice regularization comes the phenomenon
of fermion doubling, or species doubling: a hamiltonian
or action, which is local, hermit ian, translation invari-
ant, bilinear, describes in the continuum limit an equal
number of left and right handed fermion particles (or
Weyl fields), L and R particles for short 1-3.
A familiar example is given by an action of the form
S = - ~ F ( x ) % D , ( x - Y)PL¢(Y) =: -F~h~, x y
1
with D r the 'naive ' nearest neighbor form giving the
sine function in momentum space D~,(p) = s inp, . This
action produces 8 L and 8 R particles, corresponding
0920-5632/88/$03.50 © Elsevier Science Publishers B.V. (North-Holland Physics Publishing Division)
to the 16 zeros of Dr(p) , # = 1,2,3 ,4 , in the torus
(-~,~)'.
These theorems refer to free fermions and are not
relevant for an interacting theory unless the interac-
tions at the cutoff level are weak, as for an asymptoti-
cally free gauge theory. (Another possibility is that S
is part of an effective action.)
One might think that species doubling is a prob-
lem for put t ing the electroweak theory on the lattice,
as a right handed neutr ino seems to be lacking. How-
ever, even in the usual continuum formulation right
handed neutr ino fields with the appropriate Yukawa
couplings are quite na tura l - -analogous to the quark
fields. Sending the neutrino mass to zero decouples
the right handed neutrinos. There is no reason why
the same would not happen in the lattice formulation
in the continuum limit.
The real s tumbling block is that if in addition to
the above assumptions we add that the hamil tonian or
action is invariant under a symmetry group G, then,
if the L-particles transform in a representation (rep)
r, so do the R-particles. This excludes ehiral gauge
invariance with e.g. the L-particles only in rep r and
the R-particles only in rep r ' .
A related subject concerns anomalies 1-6. Making
![Page 2: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/2.jpg)
452 J. Smit / Standard Model on the lattice
the symmetry group G local with an external lattice
gauge field Uu(x) is straightforward and the fermionic
path integral comes out gauge invariant (the fermionic
measure is gauge invariant). Hence, the effective gauge
action Sell(U) = Tr In~9(U) is non-anomalous. This
is related to the doubling phenomenon, as the anoma-
lies are absent by cancellation amongst the fermions
emerging in the continuum limit 5, including possible
ghosts 6 or other unwanted subjects 4. If we want to
reproduce an anomalous fermion content with corre-
sponding anomalies in Se/I(U), then the gauge symme-
try has to be broken explicitly--usually in the action r.
Summarizing,
exact invariance ¢:=¢- no anomaly (1)
explicit symmetry breaking ¢= anomalies.
The first of these statements implies a powerful test
for fermion formulations. It does not mean that it is
not possible to construct non-conserved axial currents
in a theory with exact chiral invaviance. The point is,
that axial currents corresponding to gauge fields of an
exact invariance group are necessarily non-anomalous.
This is usually due to anomaly cancellation by species
doubling. There may also be anomaly cancellation with
(possibly composite) scalar fields (see below).
Lattice fermions are like a many headed hydra mon-
ster: there are other easily overlooked aspects which
come out by examining various models. Keywords are:
gauge invariance, tuning, Lorentz invariance, non-pertur-
bative, universality and renormaIization group, decou-
pling. With tuning I mean the adjustment of parame-
ters in the action--more than is absolutely necessary--
to get a desired result. To pin down the phrase 'more
than . . . necessary' we can use as a standard Wilson's
lattice fermion method s for QCD. Here the doublers
(i.e. the particles at p # O) are removed by giving
them infinite mass by adding the mass terms
s . . . . = - +
x
~(x + au)U~(x)¢(x)] (2)
to the 'naive' form of g}. The parameter r is arbitrary
as long as it is non-zero (Wilson's choice r = 1 seems
best as it removes the doublers completely) and the
quark masses are as usual parametrized with the di-
agonal matrix M (1/2aM is the hopping parameter).
So in this restricted terminology Wilson's method for
QCD does not suffer tuning and the same holds for eu-
clidean staggered fermions 9-11. (Hamiltonian (contin-
uous real time) methods require tuning of the velocity
of light.) Sometimes one allows freely for a number of
counterterms in discussing a lattice fermion method.
It should be realized, however, that each independent
counterterm corresponds to a tunable parameter which
adds a dimension to parameter space, creating a lot of
work in e.g. numerical computations. This also holds
for finite renormalizations which would vanish in the
continuum limit of an asymptotically free theory. In
practise one often can only enter to a certain extend
into the scaling region without ever reaching the limit
(which is not necessary), and the finite renormaliza-
tions can be substantial.
Let us illustrate the 'keywords' above with explicit
attempts to avoid doubling and/or explicit chiral sym-
metry breaking. These will have to violate the assump-
tions mentioned above, so we will look in succession
at non-loeal~ non-hermitian, non-translation invariant,
![Page 3: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/3.jpg)
J, Smit / Standard Model on the lattice 453
non-linear methods for lattice fermions.
Non-local
Straightforward attempts use a D , ( x - y) drop-
ping slowly to zero at large separations typically like
Ix,-y,1-1 and lead to a discontinuous Dr(p) in momen-
tum space, e.g. 12 p, (rood 27r) (my own trial (1972,
1973, unpublished) was s inp , /2 (mod 2rr)). Gauge
invariance forces the introduction of a string of U's
(product of link variables) from x to y. This leads
to non-locai vertex functions which are not analytic in
momentum space, giving bad results in a naive weak
coupling expansion 4'13. However, perturbation theory
is questionable 14 here, and one can argue that non-
perturbative effects cause the interaction to be effec-
tively local. This is because the string of U's decays
exponentially at large Ix-Yl (with an effective mass of a
static-dynamic fermion bound state). Hence, the dou-
bling reappears, as can be seen for example in the spec-
trum at strong coupling 15, or in the Schwinger Model 16.
Furthermore, one expects trouble with Lorentz invari-
ance and the particle interpretation because the effec-
tive gradient operator in momentum space will have
non-matching slopes at 0 and 7r (ref. 17 contains some
more discussion of this point). The effective doubling
could be aalticipated from the chiral invariance of the
massless theory in accordance with (1).
A recent 18 non-local proposal focusses on the fermion
propagator
1
49+m
(m - 49)(rn'- D 2 - ig'a.F) -1,
with a suitably defined field strenght F, 49 the 'naive'
gradient and D 2 given by
D2¢(x) = ~ [ U , ( x ) ¢ ( x + a,)
+ v , ( z - a , ) % ( x - a , ) - 2¢ (x ) ] . (3)
Because "49+ m" is non-local, the vertex functions of
perturbation theory are non-local and actually contain
fermion doubling 19'2°. The gradient operator D,(p)
contains poles which correspond to ghost particles. The
appearence of doublers is again conform (1); as men-
tioned above, this does not mean that it is not possible
to construct axial currents with the expected anomaly 21.
The model suffers furthermore from tu.uing19: the pa-
rameter rn' needs adjusting to m, and the parameter g'
needs adjusting to the gauge coupling g in the action
of the gauge field. We see here the interplay between
tuning and gauge invariance; for example, the number
2 in (3) is not very special once the U's are present,
as required by gauge invarianee. This necessity of tun-
ing in this model is similar to proposals based on the
second order formalism 22.
The non-local proposals were not satisfactory. It
should also be kept in mind that according to current
lore locality is a prerequisite for universality ---one of
the corner stones in our constructions of Relativistic
Quantum Field Theory (RQFT).
Non-hermitian
Recent developments 23'24 here are an offshoot from
the random lattice. One issue is tuning. A non-hermitian
action will need counterterms with complex coefficients
i.e. tuning. Furthermore one may expect that the de-
sired chiral symmetry of the (bilinear) action leads to
anomaly cancellation by doubling. The situation is a
bit tricky here, as non-hermitian actions, proposed to
avoid doubling, really still have doubling in a not so
![Page 4: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/4.jpg)
454 J. Smit / Standard Model on the lattice
obvious way 24. It should also be kept in mind that her-
miticity is thought to guarantee unitarity and stability
(i. e. the continuum limit hamiltonian has real eigen-
values bounded from below), one of the corner stones
of RQFT.
Non-translation invariant
The important example here is the random lattice 25.
One may also consider perturbations of a regular lat-
tice where the perturbations act as dynamical fields
which induce non-linear self couplings amongst the fer-
mions 23'24'26. The distinction with non-linear methods
is therefore somewhat vague. After averaging over the
randomness the theory should come out translation in-
variant. In the random lattice approach chiral sym-
metry of the action is retained. For 'free' fermions
it appears 27 that the anomalies are cancelled by com-
posite scalar fields, with dynamical symmetry breaking
giving the doublers a mass of order a -1. The associated
Nambu-Goldstone (NG) bosons get a (mass) 2 c¢ ma -~,
where m is the fermion mass. Since m is presumably
non-zero, these pseudo NG bosons are removed from
the spectrum as a --* 0. It is not clear that this nice pic-
ture stands up to adding interactions such as dynamical
gauge fields. There are indications that with Yukawa
interactions tuning sticks up its ugly head 2s, although
this may not be so severe in a non-chiral asymptoti-
cally free gauge theory.
Non-linear
In QCD with n flavors, for example, one can add
in a Wilson like fashion terms like det~ (¢LCR) to the
naive gradient 2, breaking the lattice artifact U(4n) x
U(4n) symmetry 11 (U(4n) symmetry in the hamilto-
nian formulation 1~'29) down to the wanted SU(n)L ×
SU(n)R, and arrange for dynamical symmetry break-
ing such that Wilson mass terms of order a -1 are pro-
duced. The same can be done in a more flexible manner
with a scalar field ~9'3° ¢ transforming as ¢ ---* VLCVtR
under U(nL) x U(nR):
s . . . . = - ~ ( ~ ( x ) [ m + a ~ ( x ) ] ¢ ( ~ ) } : r
+ y~[¢(x)O(x)Uu(x)¢(z + au) + h.c.] + S¢, (4) x,#*
where ¢I,(x) = ¢(x)Pn + ¢t(z)PL. The action S¢ can
be of the form
S¢ = y~[atrCt¢ + Atr(Ct¢) 2 + T(det¢ + detb*)],
with parameters chosen such that < ~(x) > (rn = 0) =
r/a. The ¢ field is an auxiliary field (it lacks a gradient
term in the action). The det¢ (or tr ln¢) terms are to
avoid the U(1) problem. Alternatively one could take
¢ E SU(n). In this non-perturbative non-linear ap-
proach the chiral properties are O.K. by construction.
But one has tunable parameters (i tmight even be use-
ful to add a gradient term for the ¢ field to help aligning
it throughout the lattice) and one has put in what one
would like to get out: the physics of spontaneous chi-
ral symmetry breaking without the U(1) problem. Af-
ter all, without gauge fields (4) is just a Nambu-Jona-
Lasinio model 31. Furthermore the strength of the axial
U(1) symmetry breaking (and the ~' mass) seems to
be a tunable quantity in this approach. These consid-
erations raise the question: what is QCD? In the light
of the Renormalization Group the answer is a kind of
tautology: any formulation that in the continuum limit
yields the correlation functions of the QCD universality
class. But how far does the arbitrariness of the formu-
lation go? (even the gauge fields are not needed--they
![Page 5: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/5.jpg)
J. Smit / Standard Model on the lattice 455
can be generated dynamically32). The chiral gauge the-
ories to be discussed below have some similarities with
the model (4).
Miscellaneous
The number of papers on lattice fermions is vast
and I apologize for being incomplete. Many proposals
suffer from tuning, lack of Lorentz invariance or can
be expected to involve doubling in some way because
of (1) (e.g. the elegant proposal in ref. 33). The finite
element method 34 is not yet sufficiently developed to
judge its per formance- - i t would be interesting to see
in QED that its prediction for the vacuum polarization
diagram does not suffer from fermion doubling and that
there are no O(a -1) mass terms in the fermion self en-
ergy.
The Desperate'~ Method
When working on the subject of topological charge
on the lattice and the relation with the eigenvalues and
eigenfunctions of the Dirac operator, one sometimes
despairs at the strong lattice artifacts encountered with
current rather ' rough' gauge field configurations. This
may lead one to contemplate the following procedure:
first construct from a lattice gauge field with lattice dis-
tance a a continuum gauge field by some interpolation
process, then work with the fermions in the continuum.
The first step is non-trivial as one has to construct a
principal bundle a5'36. The second step is obviously non-
trivial as well, but any regularization method should
work here, including Wilson's or ' s taggered' with a lat-
tice distance b ~ 0 (at fixed a). With such a proce-
dure topological and chiral properties would be as we
know it from the continuum. Of course, it would be
extremely awkward to manage in practise and it is not
necessary to do so.
For QCD two t ime honoured methods have remained
as viable methods for lattice fermions: Wilson's and
's taggered' . Both formulations have a good transfer
matr ix sa°'37-39, don ' t suffer ' tuning' , can be analyzed
in per turbat ion theory where they have no trouble with
Lorentz invariance 4°-42 and break all or part of the ehi-
ral symmetries such that the usual anomalies emerge in
the cont inuum limit 5'Ta°'43'44. The staggered fermions
are equivalent to 'naive ' fermionsn,29--a reduced set
of the doublers are used as bona fide particles. This
is possible without problems with Lorentz invariance
because the staggered fermion lattice symmetries 4~'46
supply sufficient protection. It should be stressed, how-
ever, that both methods give Dirac fermions only if
the bare QCD gauge coupling is sufficiently small. In
the staggered case this can be checked by testing for
complete flavor symmetry restoration, as this will be
acompanied by the restoration of spin. This may be
impor tant for the pi-rho-nucleon-delta mass relations
as these are just hyperfine splittings in the old quark
model. The latt ice artifact spin-flavor breaking influ-
ences the eigenvalues of the ~9 matrix, which forces a
lower limit on the quark masses 4r. For Wilson fermions
there is a similar lower bound on M - Me, where Mc
is the critical value of M.
CHIRAL MODELS W I T H WILSON F E R M I O N S
It is straightforward to construct a lattice model of the
electroweak interactions with Wilson's fermion method
in which the fermion mass terms are generated by Yukawa
couplings with the Higgs field 17,29,3°,4s. It is not so easy
![Page 6: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/6.jpg)
456 J. Smit / Standard Model on the lattice
to convince oneself that the model does not suffer from
unwanted species doubling because this turns out to be
a non-per turbat ive problem. For a review, see ref. 17.
Since the model is complicated I shall describe here a
simpler class of SU(n)L models to discuss various as-
pects involved. Related work is in refs. 49,50.
Let ¢ and ~ be n-plet Dirac fields and let ¢ be an
n x n matr ix field transforming as
¢ -~ (VLPL + V . P . ) ¢ , ¢ -~ ~(VIPR + V~PL),
¢ ~ vLCV~, VL,R e SU(~)L,R.
The action S = S e + S¢ + Se¢o + S w is invariant un-
der global S U ( n ) n t ransformations and local SU(n)L
transformations, with gauge field Wu(x). The contin-
uum model looks like
Se = - f dx ¢(49PL + OPn)~b,
S¢ = - f dx [ t r (Du¢) tD ,¢ + Y(¢)],
s . e = - f dx ar¢( ¢PR + CtPn)¢,
D . = o . - i g w . ,
with the usual Yang-Mills action for the W, field. The
fermion content of the model is not anomaly free. We
shall return to this l a t e r - - th ink for the moment of the
gauge field as external. According to the usual lore
of the continuum approach we may assume V(¢) such
that dynamical symmetry breaking occurs, with non-
zero < ¢ > = v proport ional to the unit matrix, in a
suitable gauge. In the treegraph approximation the
fermion and gauge boson masses are then given by
m e = G r v , m~v = g2v2.
Try now to reproduce this on the lattice. The ac-
tions Se, Se and Sw can be latticized as usual ( 'naive'
method for Se) , but See has to produce Wilson's mass
term:
S¢¢ = - ~ G~(x)[¢(x)Pn + ct(x)PL]~(x) +
Y~ G w 2 { ¢ ( x ) [ ¢ ( x ) P n + Ct(x + au)PL]¢(x + a,) x , #
+ ~(x + a.)[¢(x + a.)PR + Ct(z)PL]¢(x)}
=: - ~ M ( ¢ ) ¢ . (5)
In the tree graph approximation, ¢ =- v gives a Wilson
mass term with
r /a = G w v , M = Gv.
The gauge boson mass is still given by m~v = g2v~, so
v has to be a physical scale. This implies that G w =
r(av) -1 blows up as a ---* 0 with r fixed (e.g. r = 1).
Since rn¢ = M - 4r /a is to be physical too we also
have G = 4Gw + m e / v --* ~ . The effective Yukawa
coupling Gy = G - 4 G w = m ¢ / v stays finite. However,
lett ing G, G w --* ~ is inconsistent with the treegraph
approximation. One expects a strong back reaction on
the effective Higgs self couplings.
One approach to the problem is first keeping the
species doublers while entering the scaling region, and
then trying to get rid of them by giving them a mass
of the order of the cutoff s'3°. This procedure works in
QCD where it leads to additional insight in the chi-
ral properties of Wilson's fermion method. One puts
r = ?a and after the continuum limit one is left with
doublers with a mass of the order of 7=. The doublers
can still be el iminated by lett ing ÷ ---* oc, which also
introduces the anomalies where we expect them. So
the region near r = 0 (~ of order AQCD) appears to be
continously connected to Wilson's value r = 1 where
the doublers have disappeared completely. However,
here in a chiral gauge theory ~ = Gwv and it is well
known that decoupling of fermions whose masses are
generated by Yukawa couplings is no simple task sl,52.
![Page 7: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/7.jpg)
J. Smit / Standard Model on the lattice 457
A deep aspect concerns the "triviali ty of the Yukawa
theory", similar to the "triviali ty of the ¢4 theory".
Recall that the lat ter phenomenon implies an upper
bound on the Higgs mass sa. Here the reasoning is es-
sentially the same52: We may define a renormalized
Yukawa coupling Gn by rn = Gay, where m is the
mass of a fermion we wish to decouple (e.g. a species
doubler) and v is the renormalized vacuum expecta-
tion value of the Higgs field. Triviality means that
GR --+ 0 as the cutoff is removed. Conversely, raising
Gn means lowering the cutoff. But the lat ter should
not be smaller than 3v, say, in order that cutoff effects
are small on the scale of v. Consequently there is an
upper limit to Gn, i.e. to rn/v.
These considerations suggest that we cannot get rid
of the species doublers in a chiral gauge theory after
we have allowed for their appearence. This would be
a pity, as there would be no continuity with a situa-
tion with r = Gwav = 1 which we may hope to have
no species doublers. (Another complication is that for
finite ~ the theory is not Lorentz covariant in perturba-
tion theory54). Before discussing the problem further
we have to overcome an obvious psychological stum-
bling block that has halted progress before:
What about the anomalies? The latt ice model is
gauge invariant but the fermion content of the contin-
uum model is not anomaly free. Should this not imply
anomaly cancellation by species doubling? We could
avoid this seemingly compelling implication by start ing
with an anomaly free continuum action and latticizing
this (the electroweak model with quarks and leptons
is of this type). Then the argument does not apply.
However, there is another more interesting possibility.
The gauge-Higgs system may be of an anomalous Wess-
Zumino type, such that it cancels the anomalies coming
from the fermions. It was shown a few years ago that
such actions arise naturally after decoupling fermions
from an anomaly free theory, such that the remaining
fermion content is anomalous sS. In the mean t ime such
complete decoupling has been questioned because of
the above mentioned ' t r ivial i ty ' implications 52. But the
dogma of anomaly cancellation amongst fermions need
not be val id--cancel la t ion of the fermionic anomalies
by Higgs fields is also possible. In fact, the Chiral
Schwinger Model is a two dimensional example of such
a theory 56.
We now have to deal with the problem of how to
handle a si tuation where Gwav = r = 1 (or r = 0(1)) .
One would like to get some analytical insight before
put t ing the problem on the computer. Let us first try
n --+ oo in the fermion-Higgs system, treat ing the gauge
fields as an external per turbat ion which should be rea-
sonable for small g. Wi th a potential V(¢) of the form
V(¢) = crtrCt¢ 4- A(trCt¢) 2,
the action ¢o¢(g = 0) has O(2n ~) vector symmetry,
as can be seen by expanding ¢ in a complete set of
n 2 hermit ian or thonormal matrices ~ , trAkXi = 2~m,
• I t ¢ = ~k(¢~ + zCk)Xk. As usual, one has to rescale
the couplings A = A/2n 2, G 2 = G2/n, G ~ = G ~ / n ,
g2 = ~2/n ' with ),, G, Gw and ~ fixed as n --+ ec. One
finds that the ¢ dynamics is of order n ~ and the ~b dy-
namics is of order n. This means that to leading order
rn~ = ~2~2 (~2 = v2/n)) , with ~32 determined solely by
the ¢4 theory; fermionic effects on ~2 are down by 1/n.
The fermion propagator S(p) is to leading order deter-
mined by an integral equation il lustrated in figure 1:
S(p) = [ iA. (p)% + .Ad(p)] -~,
![Page 8: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/8.jpg)
458 J. Smit / Standard Model on the lattice
/
< / " : <
Figure 1: In tegral equa t ion for the fermion p ropaga to r at n =oz.
&(p) - sin(p). =
1 [ M(k)2A~(k) D ( k - p ) . a~v2 Jk M(k)~ + A(k)2
At n = oo the boson p ropaga to r D(k) and the mass-
like pa r t M ( k ) of the fermion p ropaga to r have the free
form
D(k) = [y~(2 - 2cos k , ) ] - ' , $1
• ( k ) = a . ~ + r ~ ( ~ - cos k . ) t l
(here la t t ice un i t s are used for the momenta , bu t m and
~) are still demension-full ; G and Gw are t r aded for am
and r according to G = m/v+4r/a~, Gw = r/a~). The
s i tua t ion here is s imilar to the t ree g raph approxima-
t ion discussed earlier, exept t ha t Au(p) is de te rmined
by the in tegral equat ion. T he in tegra t ion region near
k = 0 behaves like a con t inuum integral equat ion, as in ~
ref. 52, wi th an effective Yukawa coupling G~. = rrt2/v 2.
The region k = O(1) has an effective Yukawa coupling
of order 1/(a252), which blows up as a ---* 0. A crude
analysis using A , ~ A s i n p , leads one to conclude t h a t
A --~ <x~ as well. This means t h a t the effective r pa-
r ame te r r,f] =_ r /A --* O, implying species doubling.
Let t ing r depend on a~) does not help; there appears
to be no sensible l imit such t h a t r , f f s tays O(1). The
prob lem is t h a t a~ --* 0. The s i tua t ion for n --* cc is
too much like the t r eegraph approx ima t ion discussed
earlier.
It is u n n a t u r a l to have Yukawa couplings approach-
ing infinity. We have to allow for av, as it appears in
r = Gwav, to be of order 1, i.e. v = O(a-1). This
tends to give m w = O(a-a), unless we can a r range can-
cellat ions wi th o ther cont r ibu t ions to row. Fermionic
con t r ibu t ions to mw also tend to be O(a -1) because
of the s t rong chiral s y m m e t r y break ing from Wilson 's
mass te rm. We may as well be radical and 'freeze' the
' rad ia l ' par t of ¢(x) ,
¢(x) = v y ( x ) , v ( z ) c s u ( n ) , v = const. ,
t r ad ing G and Gw for M and r.
Gwav = r, Gav = M.
The act ion S• takes the form
S¢ = ~ y~ a-4tr[Yt(x)U,(x)Y(x + a,) + c.e.] x , t l
+cons t . (6)
(a no t a t i on is used where ~ conta ins a factor a4). Here
comes out as ~ = a2v 2. In the following it will be
t r ea t ed as a free pa ramete r . For an ini t ial explora t ion
we choose the unitary gauge,
v ( ~ ) = 1,
such t h a t S~6 in (5) reduces to the free form (2) and
we are sure t h a t there are no species doublers at weak
gauge coupling. Trea t ing again the gauge fields as ex-
ternal , the con t r ibu t ion of S~ to rn~, is simply g2~a-2.
We now have to es t imate the fermionic con t r ibu t ion
to rn~v. To order g2 the vacuum polar iza t ion tensor
Hu~(p) follows from the d iagrams in figure 2. One eas-
ily finds
![Page 9: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/9.jpg)
J. Smit / Standard Model on the lattice 459
Figure 2: One loop fermion contribution to the gauge boson self interaction.
II.~(p) = c6,,~,a -2 + O(lna) .
In QCD such a c- term is forbidden by the Ward identity
s i n p . H . . ( p ) = 0. (7)
Here the c is non-zero and proport ional to r, because
r represents the strength of chiral SU(n)L symmetry
breaking in the unitary gauge. The a -2 contribution
to rn~v is g2ca-2, so we have to choose ~ as
= - c + O ( a ) .
A problem in the unitary gauge is that it is likely to
lead to non-covariant contact terms in HI,v, e.g. of the
form p2,6,`,. Since 1-I,`, has dimension a -2, its contact
terms will be the most general second degree polyno-
mial consistend with the latt ice symmetry group. In
QCD we have the Ward indentity (7 to kill such non-
covariant terms~-only the combination ~5 , , ~p p2 o -PAP,,
is allowed. In the unitary gauge (7) is changed and
there is no reason for the non-covariant terms to can-
cel.
Wi th a dynamical gauge field such non-covariant
terms will be killed again by the integration over the
gauge degrees of freedom. To incorporate this effect
keeping the gauge field external we have to restore V(x )
as dynamical variables. They are on the same footing
C> +
Figure 3: Gauge boson self energy diagrams at n I = 0¢ from the fermion-Higgs Yukawa interaction.
as the gauge degrees of freedom. To get an analytic
handle on the model we now generalize it to incorporate
n! fermion n-plats and try a large n ! expansion (as
large n gave bad results; recall also that in the Standard
Model n = 2 and n! = 4 x (number of families) >__ 12).
Integrat ing out the fermions leads to an effective theory
described by
Z(U) =/D~e s°'',
S. f j = nf{Tr ln[4~(U ) + .M(U)I + S ¢ / n l } ,
where 4~(U) is the 'naive ' lattice Dirac operator with
gauge field U.(x)PL + PR, U.(x) = e x p ( - i g a W . ( x ) ) ,
and 34(¢) and S~ are given in (5), (6). In S¢,/n! ap-
pears the coupling ~ = ~ / n ! which is kept finite as
n I --~ c~. To leading order in n ! the effect of the Higgs
field on II.~(p) is that the diagrams of figure 3 have
to be added to figure 2. As Z(U) is gauge invariant,
the Ward identity (7) now holds, II.~ should have the
covariant form
g 21-[.v(p) = 2 P.P. mw(~.~ - _7_,
+ (~.~p~ - p . p ` , ) n ( / ) ,
![Page 10: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/10.jpg)
460 J. Smit / Standard Model on the lattice
as a ---+ 0. The W-mass gets a finite value by taking
= - ~ + O(a), with ~ = e /n] fixed as n I ---* c~. The
series in figure 3 adds terms proportional to pu and p~
and does not affect the ~u~ terms, so it cannot bring in
species doubling ' through the back door'.
The number of parameters in the full theory looks
allright: r should be ' irrelevant ' (take r = 1), M de-
termines the fermion mass, ~ and g determine the W-
mass (as in gauge-Higgs systems, scaling for m w will
need adjust ing both ~ and g). Note that Z(U) is
gauge invariant although the fern-don content of the
model is 'anomalous, ' so 5 ' , / /wi l l generate the anoma-
lous gauged Wess-Zumino action in the scaling region
(this is because the non-abel ian anomaly comes out all
right 5,7,s~).
Let us summarize the foregoing in the form of a
recepy for put t ing chiral gauge theories on the lattice
with Wilson's fermion method:
• Couple the gauge field in the 4~ part of the fermion
action, which may be anomalous.
• introduce a mass term for the gauge field,
~_, a-4tr[Uu(x) + Uu(x)*].
The mass term for the gauge field is needed for being
able to enter the scaling region of the phase diagram.
Other wise the gauge boson mass would always be of
order a -1. The resulting action is not gauge invari-
ant. This does not matter , because in the lattice path
integral we integrate over all gauge equivalent config-
urat ions of the gauge field. Alternatively, we can in-
terpret the theory at this stage as formulated in the
uni tary gauge. The integration over the gauge degrees
of freedom can be made explicit:
• introduce the Higgs field V by a gauge transfor-
mat ion on the gauge field,
u , ( x ) -~ v(x)U,(x)V(x + a,)*,
and integrate over V. Since the 4~ part of the ac-
t ion is gauge invariant in Wilson's fermion method
we can
• remove the V field from the ~ part of the action
by a gauge transformation on the fermion field.
Now the Higgs field appears explicitly in the mass
terms.
Several anomalous fermionic representations may be
combined into a non-a~omalous representation, as in
the Standard Model. The chiral models discussed in
ref. 49 should also fit in this framework, although the
method proposed there is somewhat different. As al-
ways, we have to investigate the arbitrariness in the
formulations, i. e. check universality in the relevant
cont inuum region of the phase diagram. Furthermore,
the models are non-perturbat ive, but the quenched ap-
proximation is not good here (cf. figure 3), as it does
not allow decoupling the species doublers (it is like the
large n approximation above; see ref. 57 for numerical
evidence).
CHIRAL GAUGE THEORIES WITH STAGGERED
FERMIONS
We shall a t tempt to take the above 'recepy' for formu-
lat ing chiral gauge theories over to staggered fermions,
gauging the staggered fermion flavors 'without caring
about gauge invaviance'. There are several ways of
dealing with euclidean staggered fermions l°'3s'41,~s,~9 (the
Dirac-K£hler approach ~9 leads to staggered fermions).
![Page 11: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/11.jpg)
J. Smit / Standard Model on the lattice 461
Here we shall use a variant of the momen tum space
method, which has some convenient features of the
position space method without blurring the staggered
fermion latt ice symmetry. Let X(x) be the staggered
fermion field and define the matr ix field ~b(x) by
, . . ( x ) = ~ ( ' ~ ' + % , x ( ~ + b). all b
where
7~+b = 7~+b . . . . 7~+b,,
and the vector b runs over the elementary hypercube
(b = (0 ,0 ,0 ,0) , (1 ,0 ,0 ,0) . . . . . (1, 1, 1, 1); we use lattice
units here). Similarly ¢(z) is defined as
b
The free staggered fermion action can be wri t ten as
S =
1
1 Y~rh,(X)[.~(x)x( x + au ) _ i ( x + au)x(x)] ,
where ~u(x) = ( - 1 ) ='+'''+=.-~. Note that the fields
¢ ~ ( x ) are not independent. The independent field is
X(x). However for the low momentum modes the ¢ ' s
may be considered as independent and a and x may be
interpreted as spin and flavor indices. The euclidean
action has discrete shift symmetries al
X(x) -* <p(z)x(x + ha), ~(x) -~ (p(x)~(x + ap),
where ~p(x) : ( - 1 ) =p+~+'''+=', corresponding to
¢(x) - , ¢(~ + a~)-~, Z(~) -* -~[(x + ,~),
which brings out their character as a discrete flavor
t ransformations combined with a translation. We could
consider gauge transformations V(x) of the type (Tb =
1, 7u, --i7v7~, " ' , 75)
V ( x ) = e ~b(*)'b
(v¢)(=) = ¢(=) + i~b~(x + b)~
- ~ .b (x ) -c (=)¢ (x + b + ¢)%~o + . . . .
The realization of this local symmetry is clearly non-
local and an invariant action would have to be non-local
as well. For the reasons given earlier we now reject
non-local actions.
A local action, for example
1 S = - 1 -~ ~ t r [Vu(x)~(x) '~,~(x + a , )
- U,(x)t-~(x + au)Tu~b(x)] , (8)
where Uu(x) transforms as
v . (~) ~ v (=)v . ( x ) y (~ + a.),,
is not gauge invariant. This is clear after expressing it
in terms of the independent variables X(x) and "~(x),
= - ~ E ,~(x + c) s .v,tt,b,c
[~(x + b)U.b0(x)X(= + ~ + ~.)
-- "~(x + c + au)gI;bc(x)x(x)]
=: - ¢ ~ , (9)
where
u.~(=) = ltr[U.(=)~+~(~+b)*l.
Mass terms can be added in a straightforward way,
¢ M ¢ := ~4 ~ t r [ M ¢ ( x ) ¢ ( x ) ]
1 y~ K(x + b)M,¢)l(x + c), 16 =,b,c
Mb~ = l trM(7=+b)tT=+h
![Page 12: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/12.jpg)
462 J. Smit / Standard Model on the lattice
For U,(z ) --* 1 this model does not reduce to the usual
U(1) theory in which the phases of X and ~ are gauged.
It is possible, though, to modify the action such that
the two models become equivalent for U~(x) = 1.
We now invoke the recepy stated earlier: (9) can
be interpreted as being in the unitary gauge and it
can be made explicitly gauge invarlant by introducing
the Higgs field through a gauge transformation on the
U's. Contrary to the case of Wilson fermions, here
the 40 part of the action is non-invariant before the
introduction of the Higgs field.
The action (9) is invariant under the staggered fermion
symmetry (SFS) group provided that Uu(z) transforms
appropriately, e.g. under shifts
u, (~) --, ~ ,u , (~ + ~,)~,.
Since the SFS group guarantees Lorentz invariance in
the scaling region, this implies that the gauge group
has to be SU(4) or SO(4). The mass terms break the
SFS froup but this is expected to be only an order a
effect, as in the usual formulation of QCD. But is this
SU(4) theory equivalent to the fermion-gauge theory
in the usual formulation with a quadruplet of X fields?
The answer will depend on the phase the system hap-
pens to be in- - the Higgs phase or in the confinement
phase. To have a choice of phase we can introduce
again a mass term for the gauge field (the gauge-Higgs
action) with parameter x, and set this such that the
theory is at the confining side of the phase boundary.
Presumably the system then renormalizes towards the
confining fixed point, as in figure 7 in ref. 60 (see also
ref. 62). Only the usual parameters g and M need to
be changed appropriately as a ---* 0; ~¢ can remain fixed.
Of course, it should also be possible to adjust x such
that we can enter the scaling region in the Higgs phase.
A chiral SU(4) or SO(4) theory is obtained by sim-
ply replacing 7. by ~fu(1 - "Ys) in (8). For the Standard
Model we need the SU(2) gauge group. We could em-
bed this group in SO(4), for example by choosing as
genarators 7172, 723'3 and "Y371- This choice leads to
couplings involving the same number of links in the ~fu
part as in the ~u~'s part of the action, but one expects
tuning problems because the SFS group is broken in
such a model.
Insisting on not breaking the SFS group we can try
a mixed model in which the gauge transformations on
the fermions are realized as usual, by taking an SU(2)
doublet of X's and ~'s at every site, but where the gauge
symmetry is broken by axial couplings. For example
"~40PL¢ o( ~_tr -~(x)%U,(x) (1 - xATS)¢(x + a,)
+h.c.
~ , ( x + b)tr[(1 + ~A~5)~'+°(~'÷b) t]
~(x + b)Uu(x)x(x + c + a,) + h.c.
The parameter XA will have to be tuned to obtain
precisely left handed couplings in the scaling region.
This model uses the (conserved) staggered fermion vec-
tor current and the flavor singlet (non-conserved) ax-
ial current to construct a left handed coupling of the
fermion doublet fields with the SU(2) gauge field. In
QCD the gA renormalization of the singlet axial cur-
rent expected to be substantial at currently employed
gauge couplings 61 .
CONCLUSION
Among various fermion methods for QCD only Wil-
son's and 'staggered' have survived the stringent tests.
For the chiral gauge theories based on Wilson's method
![Page 13: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/13.jpg)
3. Srnit / Standard Model on the lattice 463
we gave analytic evidence that these can have a finite
gauge boson mass with no species doubling. There are
interesting analogies with the chiral Schwinger model,
and with ideas about 'light out of chaos '62. In the
Standard Model we may learn more about the QCD 0-
parameter from these considerations lz. The staggered
fermion method for chiral theories appears to be lim-
ited to gauge groups containing at least SO(4), which
must be considered a lattice artifact, or suffer from
'tuning'.
It was somewhat disconcerting that most models
could not be analysed in conventional weak coupling
perturbation theory. In the conventional continuum
approach only models with anomalous fermion content
appear to be truly non-perturbative. Perhaps this is
deceptive. It could well be, though, that after elab-
orate non-perturbative calculations the physics of the
models is well described by effective actions with mod-
erately weak couplings. After all, this seems to be the
case with the ¢4 theory, which is best strongly coupled
at the cutoff level, but which turns out to be weakly
coupled in the scaling region. Perhaps the particles
we observe in nature can only have (moderately) weak
couplings--otherwise we would not see them.
Acknowledgement
This work is financially supported by the 'Stichting
voor Fundamenteel Onderzoek der Materie' (FOM)
REFERENCES
1. H.B. Nielsen and M. Ninomiya, Nucl. Phys. B185 (1981) 20; B193 (1981) 173; Phys. Left. 105B (1981) 219.
2. L.H, Karsten, Phys. Lett. 104B (1981) 315.
3. D. Friedan, Comm. Math. Phys. 85 (1982) 481.
4. L.H. Karsten and J. Smit, Nucl. Phys. B144 (1978) 536.
5. L.H. Karsten and J. Smit, Nucl. Phys. B183 (1981) 103,
6. A. Pelissetto, Pisa preprint SNS 10/87 (Septem- ber 1987), and contribution to this conference.
7. Recent work on this subject: ref. 6. A. Coste, C. Korthals-Altes and O. Napoly, Phys. Lett. 199B(1986)125; Nucl. Phys. B289 (1987) 645. T. Jolicoeur, R. Lacaze and O. Napoly, Nucl. Phys. B273 (1987) 215. S. Aoki, Phys. Rev. D35 (1987) 1435. T.D. Kieu, Phys. Rev. Left. 59 (1987) 1637. O. Napoly, contribution to this conference.
8. K.G. Wilson, New Phenomena in Subnuclear Physics, ed. A. Zichichi, Plenum (1977), Erice Lectures 1975.
9. T. Banks, S. Raby, L. Susskind, J. Kogut, D.R.T. Jones, P.N. Scharbach and D, Sinclair, Phys. Rev. D15 (1976) 1111. L. Susskind, Phys. Rev. D16 (1977) 3031.
10. H.S. Sharatchandra, H.J. Thun and P. Weisz, Nucl. Phys. B192 (1981) 205.
11. N. Kawamoto and J. Stair, Nucl. Phys. B192 (1981) 100.
12. S.D. Drell, M. Weinstein and S.Y. Yankielowicz, Phys. Rev. D14 (1976) 487, 1627.
13. L.H. Karsten and J. Smit, Phys.Lett. 85B (1979) 100.
14. J.M, Rabin, Phys. Rev. D24 (1981) 3218
15. M. Weinstein, S.D. Drell, H.R. Quinn and B. Svetitsky, Phys. Rev. D22 (1980) 1190.
16. G.T. Bodwin and E.V. Kovacs, Phys. Rev. D35 (1987) 3198.
17. J. Stair, Acta Physica Polonica B17 (1986) 531.
18. C. Rebbi, Phys. Lett. 186B (1987) 200.
19. G.T. Bodwin and E.V. Kovacs, Phys. Lett. 193B (1987) 283.
20. M. Campostrini, G. Curci and A. Pelissetto, Phys. Lett. 193B (1987) 279. See also ref. 6.
![Page 14: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/14.jpg)
464 J. Smit / Standard Model on the lattice
21. O. Hernandez and R. Mawhirmey, Phys. Lett. 191B (1987) 151.
22. T. Banks and A. Casher, Nucl. Phys. B169 (1980) 103. A.C. Longhitano and B. Svetitsky, Phys. Lett. 126B (1983) 259.
23. D. Weingarten and B. Velikson, Nucl. Phys. B270 [FS16] (1986) 10. A. Alessandrini and A. Krzywicki, Phys. Lett. 177B (1986) 395. J.L. Alonso and J.L. Cortes, Phys. Lett. B187 (1987) 146.
24. M. Gross, G.P. Lepage and P.E.L. Rakow, Phys. Lett. 185B (1987) 183.
25. N.H. Christ, R. Friedberg and T.D. Lee, Nucl. Phys. B202 (1982) 89; B210 [FS6] (1982) 337.
26. L. Jacobs, Phys. Rev. Lett. 51 (1983) 172.
27. D. Espriu, M. Gross , P.E.L. Rakow and J.F. Wheater, Nucl. Phys. B275 [FS17] 1986) 39. Yang Pang and Hai-cang Ren~ Colombia preprint CU-TP-363 (1987).
28. S.J. Perantonis and J.F. Wheater, Oxford Uni- versity preprint (July 1987).
29. J. Smit, Nucl. Phys. B175 (1980) 307
30. L.H. Karsten, Ph.D. thesis (1979, Amsterdam); in Field Theoretical Methods in Particle Physics, ed. W. R(ihl, Plenum (1980) (Kalserslautern 1979).
31. Y. Nambu and G. Jona-Lasinio, Phys. Rev. 122 (1961) 345; 124 (1961) 246.
32. See for example: D. Amati R. Barbieri, A.C. Davis and G. Veneziano, Phys. Lett. 102B (1981) 408, and references therein.
33. A.K. Trivedi, preprint EFI 86-78.
34. C.M. Bender and D.H. Sharp, Phys. Rev. Lett. 51 (1983) 1815. V. Moncrief, Phys. Rev. D28 (1983) 2485. C.M. Bender, K.A. Milton and D. H. Sharp, Phys. Rev. D31 (1985) 383. T. Matsuyama, Phys. Lett. 158B (1985) 255. S.J. Hands and R.D. Kenway, Nuel. Phys. B276 (1986) 429.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
M. Liischer, Comm. Math. Phys. 85 (1982) 39. A. Phillips and D. Stone, Comm. Math. Phys. 103 (1986) 599.
A.S. Kronfeld, contribution to this conference.
M. L(ischer, Comm. Math. Phys. 54 (1977) 283.
C.P. van den Doel and J. Smit, Nucl. Phys. B228 (1983) 122.
M. Creutz, Phys. Rev. D35 (1987) 1460.
P. Mitra and P. Weisz, Phys. Left. 126B (1983) 355.
M.F.L. Golterman and J. Smit, Nucl. Phys. B245 (1984) 61.
M. GSckeler, Phys. Lett. 142B {1984) 197.
W. Kerler, Phys. Rev. D23 (1981) 2384.
E. Seller and I.O. Stamatescu, Phys. Rev. D25 (1982) 2177; D26 (1982) 534.
D. Verstegen, Nucl. Phys. B249 (1985) 685. M.F.L. Golterman and J. Smit, Nucl. Phys. B255 (1985) 328. M.F.L. Golterman, Nucl. Phys. B273 (1986) 663.
M.F.L. Golterman, Nucl. Phys. B278 (1986) 417. G.W. Kilcup and S.R. Sharpe, Nucl. Phys. B283 (1987) 493. H. Joos and M. Shaefer, DESY 87-003.
J.C. Vink, ITFA-87-20, contribution to this con- ference.
P.D.V. Swift, Phys. Lett. 145B (1984) 256.
E. Eichten and J. Preskill, Nucl. Phys. B268 (1986) 179.
S. Aoki, contribution to this conference.
M.S. Chanowitz, M.A. Furman and I. Hinchliffe, Nucl. Phys. B153 (1979) 402. D. Politzer, S. Wolfram. Phys. Left. 82B (1979) 242; 83B (1979) 421. P. Hung, Phys. Rev. Lett. 42 (1979 873. T. Sterling and M. Veltman, Nucl. Phys. B248 (1981) 557.
M.B. Einhorn and G.J. Goldberg, Phys. Rev. Lett. 57 (1986) 2115.
![Page 15: Attempts to put the Standard Model on the lattice](https://reader030.vdocuments.net/reader030/viewer/2022020202/575071501a28ab0f07d8fae7/html5/thumbnails/15.jpg)
J. Smit / Standard Model on the lattice 465
53. R. Dashen and H. Neuberger, Phys. Rev. Lett. 50 (1983) 1897. 3. Kuti, R. Shrock, reviews for this conference.
54. S.J.Hands and D.B. Carpenter, Nucl. Phys. B266 (1986) 285.
55. E. D'Hoker and E. Fahri, Nucl. Phys. B248 (1984) 59, 77.
56. The literature on the Chiral Schwinger Model is already quite extensive; see for example N.K. FMck and G. Kramer, Ann. Phys. (N.Y.) 87 (1987) 330; DESY 87-072. D. Boyanovsky, Nucl. Phys, B294 (1987) 223; D. Boyanovsky and M.F.L. Golterman, UCD preprint (1987) and references therein.
57. J. Shigemitsu, OSU preprints DOE/ER/01545 379 and 389.
58.
59.
60.
61.
62.
A. Duncan, R. Roskies and H. Vaidya, Phys. Lett. 114B (1982) 439. F. Gliozzi, Nucl. Phys. B204 (1982) 419. H. Kluberg-stern, A. Morel, O. Napoly and B. Petersson, Nucl. Phys. 8220 [FS8] (1983) 447. T. Jolicoeur, A. Morel and B. Petersson, Nucl. Phys. B274 (1986) 225.
P. Becher and H. Joos, Z. Phys. C15 (1982) 343. M. GSckeler and H. Joos, in Progress in Gauge Field Theory, eds G. t'Hooft et al. (Plenum 1984), Carg~se 1983. 3.M. Rabin, Nucl Phys. B201 (1982) 315.
D.J. Callaway and R. Petronzio, Nucl. Phys. B292 (1987) 497.
J, Smit and J.C. Vink, ITFA-87-7; J.C. Vink, ref. 47.
D. FSrster, H.B. Nielsen and M. Ninomiya, Phys. Lett. 94B (1980) 135.