HAL Id: jpa-00209391
https://hal.archives-ouvertes.fr/jpa-00209391
Submitted on 1 Jan 1982
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Critical exponents from a regularized field theoretical model
C. Bervillier, C. Godrèche
To cite this version:
C. Bervillier, C. Godrèche. Critical exponents from a regularized field theoretical model. Journal de Physique, 1982, 43 (2), pp.243-250. �10.1051/jphys:01982004302024300�. �jpa-00209391�
Critical exponents from
aregularized field theoretical model
C. Bervillier
Service de Physique Théorique, Centre d’Etudes Nucléaires de Saclay, 91191 Gif sur Yvette Cedex, France
and C. Godrèche
Centre d’Etudes de Limeil, 94190 Villeneuve Saint Georges, France
(Reçu le 14 août 1981, accepte le 28 octobre 1981)
Résumé. - Nous utilisons une théorie des champs
(~2)2
régularisée pour déterminer les exposants critiques y et ven dimension trois. La régularisation est réalisée par le caractère gaussien du propagateur. Cela permet de calculer aisément à tout ordre en g toute fonction de corrélation, mais introduit un deuxième paramètre de développement.
Malgré les difficultés inhérentes à l’étude des séries doubles, nous obtenons des valeurs pour les exposants critiques
en bon accord avec celles obtenues à l’aide de la théorie renormalisée. Cela, avec la discussion que nous exposons du lien entre la théorie renormalisée et notre modèle, illustre le concept d’universalité des phénomènes critiques.
Abstract - We use a regularized
(~2)2
field theory for the determination of the critical exponents 03B3 and 03BD in three dimensions. The regularization is done by a Gaussian propagator. This enables any order in g for any corre- lation function to be easily calculated but introduces a second expansion parameter. In spite of the difficulties encountered when dealing with double series, we obtain values for the critical exponents in good agreement with those found with the renormalized theory. This and the discussion we give of the link between the renormalizedtheory and our model illustrate the concept of universality in critical phenomena.
Classification Physics Abstracts
02.60 - 64.70 - 11.10
Introduction and summary. - Since the
proposal
of Parisi
[1] in
1973, it has beenpossible
to determinefrom the three-dimensional euclidean
cp4
field theo- ry(~p3),
the critical exponents [2-4] and some uni-versal
quantities
associated toleading
andsubleading
critical
amplitudes [5, 6].
The methods usedrely
upon the calculation of the renormalization functions at agiven
order[7]
in powers of the renormalizedcoupling
constant u associated to the
~p4 term
of the Landau-Ginsburg-Wilson (L.
G. W.) Hamiltonian. The quan- tities of interest for the critical behaviour are derived from these functions calculated at the fixedpoint
u*.The use of the renormalized
~p4
fieldtheory
for thestudy
of critical behaviour is based upon along
andcomplicated
series of arguments[8].
Let us sketchthem as follows :
i)
Inprinciple
the true Hamiltonian has the mostgeneral
form one can write(i.e. :
not restricted to the L. G. W. Hamiltonian).ii)
All the relevant and dimensioned parameters in the critical domain are measured in terms ofonly
one
length
~l -1 which is smaller than any otherrelevant
length (~1-1
is of order of the intermoleculardistance).
iii) According
to thehypothesis
ofuniversality
some characteristics of the critical behaviour do not
depend
on thelength
~l -1. This idea combined withpoint ii)
leads to thestudy
of the limit A - ooand to the use of the renormalized
theory.
In therenormalization process, the contributions of ope- rators of
higher
dimension(higher
than the dimensionof
~p4)
are not, a priori, zero. It can be shown, at leastin the framework of the
E-expansion (E = 4 - d),
that the presence of such operators does not desta- bilize the pure
(p 4fixed point.
However we do notknow whether this is true at d = 3 (c
= 1).
We use, in this paper, a Hamiltonian
density
whichcontains such operators of
higher
dimensions,namely
H(x) reads :Article published online by EDP Sciences and available at http://dx.doi.org/10.1051/jphys:01982004302024300
244
d is the dimension of the space and x refers to a
point
of this space.
If, in
H(x) (Eq. (1)),
oneexpands
theexponential,
one finds
formally
the L. G. W.density
Hamiltonianplus
an infinite sum of terms ofhigher
dimensions.This very
particular
choice forH(x)
leads to aperturbative expansion
in powersof g easily
cal-culable at any order or dimension,
provided
that oneexpands
also thetheory
in powers of t. Furthermore thelarge
order behaviour of the series in powersof g
is known
[9]
andprovides
us anopportunity
ofusing
the
sophisticated
methods of resummationalready
used in the determination of critical indices
[4].
Unfortunately, dealing
with double series causes some trouble, and the way we haveincorporated
this information does not
improve
the result obtainedby
another methodpreviously
considered[10].
Wethink that the
knowledge
of thelarge
orders beha- viour would be moreefficiently incorporated by using,
forexample, partial
differentialapproximants
[11].In
spite
of the difficulties inherent in the resumma-tion of double series, we find evidence for a critical behaviour similar to that
given by
the renormalized~p3 theory.
We thusgive
estimates for critical expo- nents which are in verygood
agreement with those obtained from this lattertheory.
The progress we have made since ourprevious
work[10]
concernsseveral aspects : first we extend our
study
to thecase of an
0(n) theory
for n = 0 to 3 at d = 3; nextwe have checked that the value of the
coupling
constant which we had selected is in agreement with the fixed
point
value of the renormalizedtheory;
finally
we discuss at morelength
the calculational aspect of our work and wepublish
our series for n = 1.The article is divided in two main parts. Part A is concerned with a discussion of our model
given by equation (1) :
its link to the renormalizedcp4 theory,
the
computation
of theperturbative
series. Part B presents the methods used to calculate the critical exponents and the results.PART A
1. The bare and the renormalized theory. -
Equa-
tion
(1)
represents a Hamiltoniandensity
with anexplicit
andparticular dependence
on thelength A-I.
In the
language
of fieldtheory
it can be consideredas a bare Hamiltonian,
leading
to aregularized ~4 theory.
In the usual scheme[8],
the limit ~1-~ ooplays
a central role. Let us consider
formally
this limit onequation (1).
We find :According
to thegeneral
ideasconcerning
the useof field
theory
for thestudy
of criticalphenomena,
the parameter t appears as a linear measure of the temperature T and has the
value tc
at T = Tc( T~
isthe critical
temperature).
Following
the standardprocedure
of renorma-lization in field
theory [8],
we define the renormalizedquantities : §5~
(we take n = 1 forsimplicity), m
andu
through
the relations :In
equation (5)
we have introduced a dimension- less barecoupling
constant uo, the dimensionof g being expressed by
the sole dimensioned parameter A which exists.The functions
Zi(u), Z3(u)
and6Au)
which appearin
equations (3-5)
have to be further detailed. In order to facilitate further numericalcomparisons
with other works
[2-4]
we choose thefollowing
conditions on the renormalized vertex function
rRN)(pl~ ..., pN-1 ~ ~ u) ~
(i)
We define the vertex functionsT ~N~({ p 1, nl, u, A) ({ p }
stands for p 11... I PN- 1)
as :with
where
T (N)(~ p ~ ; t,
uo,A)
are the bare vertex func-tions.
(ii)
The renormalized vertex functions of the purecp4 theory
with subtraction conditionsgiven by equations (7-9)
are thusgiven by :
F(’)(I p 1; m, u)
= limp m, u, A) . (10)
vi-~oo (m,u fixed)
As will be
explained
below, the bare vertex functionsrelated to our model are
given
as double series inpowers of the dimensionless parameters t and uo.
Let us define the dimensionless functions
Fi(t, uo)
(i
= 1, 2,3)
as follows :From these definitions and
equations (6-9),
it iseasy to deduce that :
Since we want to compare values of the
coupling
constant u of the renormalized
cp4 theory
with values of uo, we take the limit ~1-~ oo at m and u fixed.Equation (14) gives t,
in this limit, as a function of uo.Thus
equation (15)
combined withequation
(14)lead to the relation between u and uo. This relation will be used to compare the value u* of the
cp4 theory,
estimated
by
Le Guillou and Zinn-Justin[4]
to ourestimate of
uó.
2. Calculation of the
perturbative
series. - Weshall take, for
simplicity, n
= 1.The Feynman propagator associated to
equation (1),
is, in p-space :The numerical calculation of
perturbative series
with
equation (16)
is difficult, so weexpand AF(p)
in powers of t :
in which
Equation (17)
can beexpressed diagrammatically
as follows :
With the propagator
equation (18),
eachFeynman diagram
represents a Gaussianintegral easily
compu- tableusing
thefollowing identity :
In order to have a
systematics
for calculations, weuse an
analogy
with theSchwinger parametric
repre- sentation [12] of usualFeynman integrals.
Let usrecall what this
representation
is :The usual Feynman propagator
(p2 + m2) -1
iswritten in the
integral representation :
For a
given
diagram D with I internal lines and Lindependent loops,
thecorresponding Feynman
inte-gral reads :
Q(a, { p })
reduces to zero when all external momenta{ p }
are takenequal
to zero. Since that will be essen-tially
the case in this work we do not consider thisquantity
further.P(a)
is apolynomial
ofdegree
L in the a’s definedas :
{ T }
is the set of treediagrams
contained in D.For instance, the
diagram D, :
1
contains three trees :
mid
equation (23)
leads to :We
easily
see that the propagator(18)
can be consider- ed asbeing
theSchwinger parametric
form of the usual propagator with nointegration
on the a’s(a
=1 ~~12)
and m = 0. As a consequence it is
straightforward,
in our model, to write the contribution
ID({
0})
of any
diagram :
Pp(a
= 1) reduces to the number of trees contained in thediagram
D.Using
thetopological
relations(with
the~p4 inter- action)
for adiagram
D of order K with N externallines :
Equation (25)
reads now as :When
~’p(a)
is known it is easy to determine the contributions which come from theexpansion
equa-246
Table I. - Double power series in g and t
of
thefunction F 1 (g,
t) asdefined
in equation (11)for
d = 3 and n = 1.The rows
correspond
to thedifferent
powers in g, the columns to the powers in t. The numbers are written in the standard IBM notation,for example :
0.1 D-0 I means 0.1 x 10 - 1.Table II. - Double power series in g and t
of the function F2 (91
t) asdefined
in equation(12) for
d = 3 and n = 1 (same presentation as in table n.Table III. - Double power series in g and t
of the function F3(g, t)
asdefined
in equation(13) for
d = 3 and n = 1 (same presentation as in table I).tions
(17,
19). The set of values for the a’s will differ fromunity according
to the number of crosses onthe
corresponding
internal line.In
pratice,
we have calculated for d = 3 the quan- titiesFk(t, uo) (k
= 1, 2, 3 ; see definitions in equa- tions(11-13))
up to :- five orders in powers
of g
and twenty three in powers of t forF1
1 and F2(Cf-
tables I and II for theresults in the case n = 1).
- four orders in powers
of g
and twenty in power of t forF3
(cf table III for the results in the casen=1).
The
coupling
constant 9 is dimensionless and related to g and uo as :PART B
l.
Computation
of criticalexponents
y and v as power series in g. - We shall restrict the discussion to the inverse of the twopoint-correlation
functionr ~~~(0, 1, g).
If the action of the operator of
higher
dimensionsthan
~4
can beneglected
in thevicinity
of the criti- calpoint,
as it issupposed
when renormalized9’3 theory
is used, we expect thatThe task is to
determine t~, g*
and y from the truncat-ed double series :
and to compare the values obtained for
g*
and y to thecorresponding quantities
u* and y of the renor-malized
theory [2-4].
As in our
previous publication [10],
we choose thefollowing
form forT~2~(0, t, g) :
in order to determine
t,,(g)
andy(g) by
theDlog
Padeapproximants
method. Of courseequation (32)
isexpected
to coincide withequation (30) only
forg =
g*.
As a consequence, wehope
that the functionst~(g)
andy(g)
obtained fromequation (32)
will havea
particular
behaviour for g nearg*.
Since we know the
large
K behaviour of axL[9],
the natural way would be to resum first
in g
the seriesequation
(31). This wouldgive
asimple
series inpowers of t :
from which we could extract
t,,(g)
and y(g)by
theDlog
Pade method mentioned above.Unfortunately,
a lack of terms in the series in powersof g
does notpermit
agood enough
accuracy on the coefficientsaL( g)
and Padeapproximants
introduceinstabilities which
spoil
the result. So we postpone theg-resummation
and we handle series in powersof 9
instead of numbers. Moreprecisely,
the mean-ing
ofaL(g)
will beWe have thus considered the Pade
approximants [L - j, j] ( j
= 1, 2, 3...) on the series in powers of t obtained from thelogarithmic
derivative with respectto t of
equation (31).
We obtainedt,,(g)
andy(g)
as series in powers
of g depending
on two parameters Lmaxand j.
We shall write the series fory( g)
as follows :A
g-resummation
on these series now has to beperformed.
Our first idea was to use the resummation methoddeveloped by
Le Guillou and Zinn-Justin[4]
which uses information on the
high
orders behaviour of the series. But asalready
mentioned we have touse it on the series
equation
(34). A priori, the coeffi- cientTK(Liiiax5 j)
have, at fixed Lmax’ a behaviour forlarge
K similar to that of theaKL’s.
Inparticular
thenearest
singularity
of the Borel transformed series would be located at the sameplace.
Thus the resum-mation method of Le Guillou and Zinn-Justin can
be used at least in its
simplest
form. Theproblem
comes from the fact that we have no theoretical infor- mation about the behaviour of the resummed quan-
tity
when Lmax increases. In thefollowing
section weshall see that this parameter
plays
a central role.Nevertheless we have
applied
this method on the seriesequation
(34) and found results [13]roughly
in agreement with those
presented
below.2. Resummation of power series for critical exponents.
- The method used to resum series of the type of
equation
(34) to obtain estimates of the critical expo- nents is based on the work ofFogli,
Pellicoro and Villani[14].
In aprevious
paper[10]
we gave the results for the case n = 1 obtainedby
this method.Let us recall the basis of it.
If a function
F(g)
is known to be limF(g, c),
and F(g, 8)given by
aStieljes
series : £-0in which 8 is a parameter such that
248
then the [N, N - 1 ] (g, s) Pade
approximant
hasF(g,
8) as a limit when N goes toinfinity :
Fogli et
al.[12]
haveproved
that :where
EN(g)
is the maximum(at
fixed N andg)
of[N,
N - 1](g,
E) (seeFig.
1).Similarly,
thediagonal
Padeapproximants
[N,N] ] (g, c)
lead to :where, this time,
EN(g)
is the inflexionpoint
of[N, N]
(g,
8)(see Fig. 1).
Fig. 1. - Qualitative behaviour of diagonal and sub- diagonal Pad6 approximants as e varies.
This
technique
isparticularly
welladapted
to ourcase since we know that
t~(g)
andy(g)
have noTaylor expansion
around g = 0[15].
This means that the coefficients
TK(L,,,.,, j)
of theexpansion equation
(34) go toinfinity
as Lmax growsfor j
and K fixed. This1/L,~
isequivalent
to e.Considering
the number of terms that we havecalculated for the
perturbation
series in g, we can use thefollowing approximants :
[1,1],[2,1], [2,2]
and[3,2]
for the seriesequation (34).
We thus expect thatthey
areorganized
as shown infigure
1 with thereplace-
ment : 8 -~
11 Lmax; F(g) ~ Y(g); F(g, s)
~y~j(~).
Hence the parameter Lmax will be fixed
by taking
thevalue which
corresponds
to the maximum(or
theinflexion
point)
of theappropriate
Padeapproximant.
We shall discuss the results and the choice of the
parameter j
in the next section.First we shall consider the determination of the fixed
point g*.
3. The fixed
point
value. - In reference[10]
wegave a criterion for the choice of
g*, namely :
thevalue
of g
for which the inflexionpoints
are the flat-test. We found two
possible
valuesg*Y
= 0.343 org*v
= 0.372respectively
for the exponents y and v.With
equations
(14, 15) we can compare these values with those of the renormalized fixedpoint
of Le Guil- lou and Zinn-Justin[4].
These authors have consider- ed thefollowing coupling
constant :and found
(d
= 3, n = 1) :Equations (14,
15) lead to a relationVLmax(g)
betweeng(=- uo/(4 n)d/2)
and v whichdepends
on Lma}( As forthe series
Y Lmax ,j( g), V Lmax ( g)
goes to + oo as Lmaxgoes to
infinity.
The result obtainedby
resummation of these series shows the best agreement with equa- tion(41)
for g around 0.37.Figure
2 shows the resum-Fig. 2. - Values of the renormalized coupling constant
as Lmax varies for g = 0.37. The symbols *, o, A represent respectively the orders 2, 3, 4. The horizontal hatched
area corresponds to the estimate of v* of Le Guillou and Zinn-Justin (Ref. [4]).
mation of the three orders
(in
powersof g)
ofvLmax(g)
as Lmax varies
(for g
= 0.37). This value indicates thatour
previous
determination ofg*
was reasonable and that the value ofg*Y
seems to be too small.With some more order we would very
likely
obtaina value between these two.
4. Results for the exponents and conclusion. - This section is devoted to a
presentation
and a discussionof three
figures
for the critical exponent y at n = 1.Those
figures complete
thosepublished
in refe-rence
[10].
Thestriking point
is that the situation is identical for the other values of n.Fig. 3. - Behaviour of diagonal and subdiagonal Pade approximants as 1/ Lmax varies for the series
7L-..,j(g) at
g = 0.37. a) j = 2; b) j = 3. The symbols *, 0, A represent
respectively the orders 2, 3, 4 in powers of g.
For n = 1, we have
fixedg
to the value 0.37.Figures
3show the behaviour of the Pade
approximants
for7~,j
for j
= 2(Fig.
3a)and j
= 3(Fig.
3b). The lastorder does not have a very flat inflexion
point
sinceg is not at the value 0.343. As indicated in reference
[10],
v has a flat inflexion
point
for g = 0.37.In
figures
3 we see that as j grows, the number ofpoints
whichbelong
to the inflexionregion
decreases.But this
region
stays around the same value of y.We have chosen for y, the lower value of the inflexion
region. If g
grows the curve has a maximum followedby
a minimum more and more distinctive. We report, infigure
4, the variation of the last order as g is varied.This
figure
is identical tofigure
3 of reference[10]
but its scale is
larger.
Fig. 4. - Behaviour of the last order of
YLmax~~~g~
asLmax varies for j = 2, at g = 0.24, 0.343, 0.44.
""’
Considering
the small number of orders in powersof g
that we deal with, we cannot saythat g
= 0.37is out of the critical
region
for our model. In refe-rence
[10]
we used thisuncertainty
togive
an effec-tive scale for the.error of the estimation of the critical exponent y and v
(for n
= 1). In this paper we want to illustrate that our model does not lead to a contra- diction with the renormalized fieldtheory
frame- work, so we do not indicate error bars for the values of the critical exponents. We havesimply looked,
for each value of n, at the inflexion
points,
comparedthe values of the
corresponding g*
to the renormalized valuesgiven by
Le Guillou and Zinn-Justin and indicated(Table
IV) thecorresponding
critical expo- nents values. The situation is identical whatever the value of n. This leads to the valuesgiven
in table IV,the agreement
being
verygood
with the results of Le Guillou and Zinn-Justin.Let us say, as a conclusion, that we have not found
evidence for a destabilization of the
cp4
fixedpoint
anyway. The two
possible
fixedpoints
(0.34 and0.37)
indicate a lack of terms in our work rather than a
contradiction with the standard field
theory approach.
Furthermore, we think that our values indicated in table IV are upper bounds in our model, since the
true value for
g*
seems to be, verylikely,
smaller than0.37 for n = 1. We know that the estimate for y(n = 1)
250
Table IV. -
Comparison
between the values obtained in thiswork for
the exponents y and v with these givenby
therenormalized
~p4 field
theory (Renorm.Group).
The parameter n is the numberof
componentsof the field.
obtained
by
the standardhigh
temperature(HT)
series
analysis,
was around 1.250. We do not think that this value can be reachedby
our model. Morerecent
analyses [16],
based onlonger
HT series,lead to an estimate for
y(n
=1)
around 1.2440. The present work does notgive
any argument for thebreakdown of the field theoretical
approach
tocritical
phenomena.
Acknowledgments.
- We want to thank J. Zinn- Justin for his continuous interest in our work.References
[1] PARISI, G., Lecture given at the 1973 Cargèse Summer School, unpublished ; J. Stat. Phys. 23 (1980) 49.
[2] BAKER, G. A., NICKEL, B. G., GREEN, M. S., MEI- RON, D. I., Phys. Rev. Lett. 36 (1976) 1351.
BAKER, G. A., NICKEL, B. G., MEIRON, D. I., Phys.
Rev. B 17 (1978) 1365.
[3] LE GUILLOU, J. C., ZINN-JUSTIN, J., Phys. Rev. Lett.
39
(1977) 85.[4] LE GUILLOU, J. C., ZINN-JUSTIN, J., Phys. Rev. B 21 (1980) 3976.
[5] BERVILLIER, C., GODRÈCHE, C., Phys. Rev. B 21 (1980)
5427.
[6] BAGNULS, C., BERVILLIER, C., to appear in Phys.
Rev. B.
[7] NICKEL, B. G., MEIRON, D. I., BAKER, G. A., Compi-
lation of 2pt and 4pt graphs for continuous spin models, University of Guelph report (1977).
[8] For a review see : BRÉZIN, E., LE GUILLOU, J. C., ZINN-JUSTIN, J., in Phase transitions and Critical
Phenomena, ed. by C. Domb and M. S. Green
(Acad., New York) 1976, vol. 6, and other papers in this volume.
[9] BERVILLIER,
C.,
DROUFFE, J. M., GODRÈCHE, C., ZINN- JUSTIN, J., Phys. Rev. D 17 (1978) 2144.[10] BERVILLIER, C., DROUFFE, J. M., GODRÈCHE, C., Phys. Rev. B 20 (1979) 2097.
[11] FISHER, M. E. in Statistical Mechanics and Statistical Mechanics in Theory and Application, ed. by
U. Landman (Plenum, N.Y.) 1977, p. 3;
FISHER, M. E., KERR, R. M., Phys. Rev. Lett. 39 (1977) 667 ;
FISHER, M. E., AU-YANG, H., J. Phys. A 12 (1979) 1677.
[12] See for example : ITZYKSON, C., ZUBER, J. B., An introduction to field Theory (McGraw-Hill, N.Y.)
1980, p. 294-299.
[13] GODRÈCHE, C., Thèse, Paris (1980).
[14] FOGLI, G. L., PELLICORO, M. F., VILLANI, M., Nuovo
Cimento A 6 (1971) 79.
[15] SYMANZIK, K., Lecture given at the 1973 Cargèse
Summer School, unpublished.
[16] NICKEL, B. G., Lecture given at the 1980 Cargèse
Summer School, in press ; ZINN-JUSTIN, J., Saclay preprint DPhT.80-129, to be published in J.
Physique.