HAL Id: jpa-00247050
https://hal.archives-ouvertes.fr/jpa-00247050
Submitted on 1 Jan 1995
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.
Field Theory of Finite-Size Effects in O(n) symmetric systems
X. Chen, V. Dohm, A. Esser
To cite this version:
X. Chen, V. Dohm, A. Esser. Field Theory of Finite-Size Effects in O(n) symmetric systems. Journal
de Physique I, EDP Sciences, 1995, 5 (2), pp.205-216. �10.1051/jp1:1995121�. �jpa-00247050�
Classification Physics Abstracts
05.70 64.60A 75.40C
Field Theory of Finite,Size Elllects in O(n) syuunetric systeuls
X.S.
Chen,
V. Dohm and À.Esser(*)
Institut für Theoretische Physik, Technische Hochschule Aachen, D-52056 Aachen, Gerrnany
(Received
18 October 1994, received in final form 21 October 1994, accepted 25 October1994)
Abstract. We propose a new perturbation approach ta finite-size elfects near the critical point within trie q~~ field theory for an n-cornponent order pararneter with periodic boundary conditions. Our approach is applicable bath above and below Tc. Calculations of finite-size
scaling functions of trie specific heat, susceptibility, order pararneter, and a cumulant ratio are
compared with Monte Carlo data for trie three-dimensional XY model. Gard overall agreement with trie Monte Carlo data is found.
l. Introduction
The çJ~ field
theory
of finite-size effects near the critical point asproposed by
Brézin and Zinn-Justin(BZ) Ill
andby Rudnick,
Guo and Jasnow(RGJ)
[2] hasrecently
been furtherdeveloped by Esser, Dohm,
Hermes andWang
[3] andby
Esser and Dohm [4]. While the çJ~theory
ofBZ,
in its presentformulation,
is restricted to theregion
T > T~ theapproach
of RGJ is inprinciple applicable
both above and below T~ but ils results are nonquantitatively
reliable for T < T~ [4]. For the case of a one-component order parameter
(Ising-like systems)
with
penodic boundary conditions,
the newperturbation approach
of Esser et ai. [3, 4] leads to an effective Hamiltonian which can be considered as an appropnategeneralization
of the effective Hamiltonian of the çJ~theory
of BZ a~ld can be used both above and below T~. The results obtainedby
thisapproach
agree well with Monte Carlo data for the three-dimensionalIsing
mortel [3-5].In this paper we consider the more
general
case ofO(n) symmetric
systems near T~ withan n-component
(n
>1)
order parameter. It is well known that for n > 1 thelong-distance properties
of the bulk system below T~ aregoverned by
massless spm-wave(Goldstone)
modes which get a small finite mass in a finite volumeIll.
This case was studiedpreviously
neon T~by
BZIll by
means of alow-temperature expansion
within the nonlinear a-model. Further studies have beenperformed
in [6]. Here we shall treat these modes in a different way within theO(n) symmetric
çJ~ model which is well suited forquantitative
calculations of finite-sizescaling
functions in three dimensions. It tutus out that there exists nostraightforward
extension of the(* Present address: Fachbereich Physik, Philipps-Universitàt Marburg, Renthof 6, D-35032 Marburg, Germany.
Q Les Editions de Physique 1995
effective Hamiltonian of the previous
(n
= 1) case [3,4] because ofspurious
infraredsingularities
in the bulk limit
arising
from the massless(transverse) order-parameter
fluctuations below T~[7]. Instead we propose an
appropriate perturbative
treatment of these transverse modes different from that of thelongitudinal order-parameter
fluctuations. As anapplication
wecalculate various
thermodynarnic quantities
for the case n= 2 in
one-loop
order of renormalizedperturbation theory
and compare our field-theoreticpredictions
with Monte Carlo data of the three-dimensional XY mortel[8-12].
2. Problem of Perturbation
Theory
for n >We use the standard
Landau-Ginzburg-Wilson
Harniltonian~
Î ~~~
ÎÎ~°~~
~~~~~~ ~'~°~~Î
~~~where
çJ(x)
is an n-component field in a finite cube of volume V=
L~.
Forperiodic boundary
conditions the field
çJ(x)
con beexpanded
as§~(X) "
L~~ L
§~k~~~~(2)
k
where the summation runs over discrete k vectors with components k~ =
27rm~/L,
m~ =o,+1,+2,..,
i=
1,2,..,d,
in the range (k~( < A.Eventually
we shall let A - cc in the renormalizedtheory.
Followmg
BZ and RGJ wedecompose çJ(x)
as~J(x)
= 4l +a(x) (3)
where
4l =
L~~çJo
=L~~ / d~x çJ(x) (4)
is the most
important
mode anda(x)
=L~~ £
çJke~~'~(5)
k#0
contains ail modes
higher
than the zerc-mode 4l. Wedecompose a(x)
further intolongitudinal
and transverse parts
a(x)
=aL(x)
+aT(x) (6)
where
aL(x)
andaT(x)
areparallel
andperpendicular
to the vector 4l,respectively.
Corre-spondingly
the Hamiltonian(1)
isdecomposed
asH = Ho(4~~) +
H', (7)
l~'
"
I~Î(~~>aL)+HÎ(~~>aT)+H2(~,aL>aT), (8)
where
Ho(4l~)
=L~(~ro4l~
+ ~lo4l~),(9)
2
Hi(4~~>aL)
=
/ d~x1(ro
+12~lo~~)ai
+(T7aL)~l, (10)
H/(4l~,aT)
"
/ d~x((ro
+4~1o4l~)a(
+(VaT)~j, (11)
2
H2(4l, aL,aT)
=
/ d~x 4~1o4laLa~
+
~loa~j (12)
with a~
=
a(
+a(.
The calculation of thepartition
function Z =/
DçJexp(-H) (13)
requires
functionalintegrations
with respect to aL(x)
and aT(x)
and anintegration
with respect to 4l.Performing
the aL and aTintegrations jirst
wouldyield
thepartition
function in the formZ =
/
d"4lexp
(-Ho(4l~ r(4l~)j (14)
where
r(4l~)
= In
DaL DaT exp(-H') (15)
contains the contributions of the
hîgher
modes. For ro > o aperturbative
treatment ofr(4l~)
based on the
decomposition (8)-(12)
isstraightforward.
For ro <o, however,
the propagatorscorresponding
toHi
andHf
may becomenegative
which is the sameproblem
as described in references [3, 4] for a one-component order parameter. Therefore one may attempt to avoidthis
problem by extending
theprevious
idea [3, 4] togeneral
n, i e., one may introduce thepositive
parametersroL " ro +
12~1oM/ (16)
and
roT = ro +
4~1oM/ (17)
with
Ml
= < 4l~ >o =/ d"4l4l~ exp(-Ho(4l~)j, (18)
Zo
Zo "
/d"4lexp(-Ho(4l~)j, (19)
and use
Hi
=/ d~x
(rota)
+(VaL)~
+roTa(
+(i7aT)~j (20)
2
as the
unperturbated
part of the Hamiltonian H'. Theresulting perturbative expression
forr(4l~)
would read toleading
orderL-dr(~2)
=
)L-d L in(ro~
+k2)
+ ~j L-d L in(ro~
+k2)
k#0 k#0
+ 2~1o(4l~
Ml) (3Si(rot)
+(n 1)Si(roT)j
4~Î(~~ ~Î)~ ~S2(TOL)
+(n 1)52(TOT)j (~l)
with
S~n(r)
=L~~ £(r
+k~)~'* (22)
k#0
But now a serious
problem
arises from the last term in equation(21) containing
the sum52(roT).
This sumdiverges
for ro < o in the limit L - cc because the transverse modes becomemassless,
1-e-, roT - o for any ro < o in the bulk limit.(Note
thatM]
tends to themean field value
-ro/4~1o
m the bulk limit for ro <o).
Similar infrareddivergences arising
from the contributions of the transverse part aT will appear m
higher
order. Since thepartition
function is an
O(n)
invanantquantity
which should not have Goldstonesingularities
[13] weconsider these
divergences
not as truephysical
Goldstonesingulanties
butonly
as a spunous effect due to aninappropriate
formulation of thetheory. (These divergences
would not appearm a
theory
at finite externat field h if the bulk limit L - cc isperformed
beforeletting
h -o.)
This means that
(our
abovegeneralization of)
the effective Hamiltonian of the çJ~theory
ofBZ does not
meaningfully
exist below T~ for n > 1 due to the contributions of the transversepart aT.
3. New Perturbation
Approach
In this paper we offer a solution to this
problem.
The main ideas are to introduce an effective Hamiltonianarising only
from the contributions of thelongitudinal
part aL and tochange
the order of
integration:
we shallperform
theproblematic
aTintegration ajier
the aL and 4lintegrations
have been carried ouf. Then no spurious Goldstonesingulanties
will arise in the limit L - cc.The first step is to
perform
theintegration
over aL m aperturbative
way. Aspreviously
[3, 4] we takeH) (Ml, aL)
as theunperturbed
part andAHI(4~~,aL)
=
Hl(4~~,aL)-Hl(MÎ,aL)
=
/ d~x(6~1o(4l~ M/)a(j (23)
as the
perturbative
part, in addition to H2.Integration
over aL thenyields
thepartition
function toleading
orderZ = DaT d"4l
exp(-Ho(4l~) H)(4l~,aT) rL(4l~) R(4l~,aT)j (24)
where
L-~r~(~2)
=
(L-~ L in(ro~
+k2)
+6~to(~2 Mi)si(ro~)
k#0
36u((4l~ M])~S2(roL)
+O(~lo,~1(4l~,~1((4l~ M()~) (25)
is of the same form as
previously
[3, 4] and contains thepurely longitudinal
contributions of thehigher
modesarising
fromAH)
+H2.
The termR(4l~, aT)
inequation (24) corresponds
ta other contributions of
higher
order.Following
Esser et ai. [3, 4] we define an effectivelongitudinal
zero-mode HamiltonianH(~(4l~) according
toHo(4l~)
+FL(4l~)
"
Hi~(4l~)
+FL(°)
,
(26)
H(~(4l~)
=L~( r(~4l~
+ ~1[~4l~)(27)
2 with effective parameters
r(~
= ro +
l2~1oSi(roL) +144~1(M(52(roL), (28)
~1(~ = ~lo
36~1(52(roL). (29)
Then we have
Z =
e~~L(°) / DaT /
d"4lexp
(-H(~(4l~ H/(4l~, aT) R(4l~, aT)j. (30)
Next we shall
perform
the 4lintegration
whiletreating Hf
+ R in a perturbative way. For this purpose we define trie effective averageMj~
= < 4l~ >~a=
£ /d"4l4l~ exp(-H(~(4l~)j, (31)
eR
Z~a =
/d"4lexp(-H(~(4l~)j. (32)
~~~ ~~~~~~~~
jfT( jf2~ ~~) /
d~X(T~~a~
+(À7aT)~j
~~~~l e ' ~ °
with
r((
= ro + 4~1oMj~
(34)
as the
unperturbed
part of the contributionHf
+ R. Thus we rewrite in equation(30) I~Î(~~, aT)
"
I~Î(ÀÎÎOE, aT)
+~I~Î(~~> aT) (35)
with
~I~Î(~~,°T)
"
I~Î(~~>aT) I~Î(ÀÎÎOE,aT)
=
d~x
2~1o(4l~Mj~)a(j (36)
/
and
expand
part of the exponent of equation(30)
toleading
order asexp
(-AH)(4l~, aT)j
" 1-AH/(4l~, aT)
+(AH/(4l~, aT)j
~
(37)
Now the 4l
integration yields
Z = Z~i e~~L(°~
/
DaTil
+ 2~1( < (4l~
Mj~)~
>~i/
d~xa()~j
x exp
(- HI (Mj~, aT)j (38)
Note that we have avoided any
expansion
of the exponent ofequation (30)
with respect to thelongit~ldinal
contributionH(~(4l~)
for reasonsgiven previously
[3, 4].The final step is to
perform
the Gaussian aTintegrations
mequation (38). Using
the relation~ (4~~ MÎOE)~~~ >eOE "
(~2L~~)~~~/)~É~~'
16'~ ~il' (39)
we obtain the result for the
partition
function Z of the finite system up toone-loop
orderIn Z = In Z~i
rL(o)
~£ ln(r((
+k~)
~ k#0
4(n 1)~Î (~~2(TÎÎ)
+(il l)~~~l(TÎÎ)~j
~~/~É~~ (~°)
0
Using
the sameperturbation approach
as for the partition function we find the averages(up
ta
one-loop order)
< (4l(~' > =
j /DçJ(4l(~'exp(-H) (41)
= < (4l(~' >~a +
4(n -1)~1oSi(r(()~
~(~~
~~~r~
+
~(~ l)~Î~
~(~~2(TÎÎ)
+(~ l)~~~l(TÎÎ)~j
~~
()/~~2~~~ (~~)
0
Equations (40)
and(42)
are the main results of our(bare) perturbation approach
whose exten- sion tohigher
order isstraightforward.
The basic difference with theapproach
of RGJ [2] is thefollowing:
we evaluate the averagesm
equation (31)
andequations (38)-(42)
with the effective statisticalweight
exp(-H(~(4l~)j,
without furtherexpanding
thisweight,
which ensures thatas much
(perturbative)
information aspossible
isexploited.
Results based on theapproach
of RGJ will bepresented
and discussed elsewhereil?].
In order to describe the critical behavior
appropriately
it is necessary to tutu to the renor- malizedtheory.
We haveemployed
the minimal renormalization scheme at fixed d < 4[14-16]
without using the e
= 4 d expansion. Some of our results for the case n = 2 and d
= 3 are
presented
in the next Section. The details of the renormalizedtheory
areparallel
to those in reference [4] and will be given elsewhereIl?].
4.
Applications
From In Z, equation
(40),
we can calculate thespecific
heatusing
the usual definition [16]C = GB +
(a(C( (43)
with
~
~~
"~Î
~~~'~~~~
From the averages < (4l(~' >,
equation (42),
we obtain thesusceptibility
X~
"L~~ / d~xi / d~x2
<
çJ(xi
)~9(x2 >(45)
=
L~
< 4l~ >,(46)
the square of the
magnetization
M~
=
j
</ d~xçJ(x)(~
>
(47)
= < 4l~ >,
(48)
and Binder's [18] cumulant ratio
U=1-)~(~ ~. (49)
The definitions we have taken here are
equivalent
to those used in Monte Carlo simulations[8-12].
On the basis of the renormalized
theory
we can showthat,
forsuiliciently large
L and small (t( =(T
T~(/T~,
thequantities
mentioned above can be written in the finite-sizescahng
formC =
L"/~P~(tL~/~)+ÔB, (50)
x+
=
L~/~P/(tL~/~), (51)
M~
=
L~~~/~Pj~~(tL~/~), (52)
U
=
U(tL~/~). (53)
We have calculated the
asymptotic scaling
functionsP~, PI, Pf~
and U inone-loop approxi-
mation m three dimensions. The
analytic
form of these functions will begiven
in referenceil?].
There are no
adjustable
parameters other thon those of the bulktheory (1.e.,
theamplitudes
of theasymptotic
bulkexpressions
of thesusceptibility
and of thespecific
heat as well asÔB).
Forn = 2 and d
= 3 we have chosen these parameters such that in the limit L
- cc our
one-loop
results for thespecific
heat andsusceptibility
above T~ agree with the bulkamplitudes given by
Ferer et ai. [19](for simple
cubiclattices).
The bulkamplitude
of themagnetization
canthen be calculated from universal combinations of
amplitudes
[20].In
Figures
1-8 our results for n= 2 are
plotted (in
units of the latticeconstant)
and arecompared
with Monte Carlo data of the XY mortel with cubic(L
x L xL)
geometry and withperiodic boundary
conditions [8-12] for varions values of L.(More precisely,
thefollowing
dimensionless
quantifies
areplotted
inFigures
1-G:Cla, Pcla, x+la~, P~la~, M~a, Pj~~a,
where a is the lattice
spacing
with(o
" o.486a[19].)
4
MCDa1a L=48 o
16
35 x
4 A
w
3
2.5
~ x
D
~J 2
u
i à
o
o o
D.à
o
o. i o oà o O.Oà o i
t
Fig, l. Theoretical results of the specific heat C from equation (50) and Monte Carlo data from reference [8] (X and
stars),
reference [9](n
and Zh), reference[loi (o),
and references [11](+)
and [12](+)
us. reduced ternperature t for L = 4,16, 48. Dashed fine: bulk result frorn reference [19].
18
MCDa1a. L=48 o
16
185 x
4 à
w
.19
o x
o
Pc
,igà-20
o
21
22
.8 6 4 -2 0 2 4 6 8
~Î/V
Fig. 2. Scabng function
Pc(tL~/~)
ofthe specific heat C defined in equation(50)
corresponding toFigure 1.
iooo0
,, MC Data L
=64 o
', 48 +
', u
',, 32 x
', 16 à
8 w
X~
~°°°à ~
ioo
o o0ooi o oooi o.coi o oi o i
Fig. 3. Theoretical results of the susceptibility X~ frorn equation (51) and Monte Carlo data from reference
[loi (D),
references [11, 12] us. reduced temperature t for L= 8,16, 32, 48, 64. The data on the left-hand side correspond to T = Tc. Dashed fine: bulk result frorn reference [19].
16
MC Data L=64 o
48 +
14 32
16 A
8 w
12
P(
02
0
0 2 3 4 5 6 7
t~l/V
Fig. 4. Scaling function
Pf(tL~/~)
of the susceptibility X~ defined in equation(51)
correspondingto Figure 3.
o-à
MC Data L= 16 o 0 45
04 +
+ 0 35
fif2
03 + ~+ +
°
+ +
025
02
à
o15 ~
~ à
~
o i
._
o 05
1,
o
o
o i -o oà o o oà o i
t
Fig. 5. Theoretical results of the rnagnetization square M~ frorn equation
(52)
and Monte Carlodata from reference [8] us, reduced ternperature t for L = 4,8,16. Dashed fine: bulk result frorn references [19, 20].
JO URNAL DEPHYSIQUE Il T5, N° 2, PEBRUARY 1995
7
McDala L=16 o
8 A
4 +
à
o à
p(2)
~o +
3
a +
2 ~
i
0
6 4 2 0 2 4 6
t~l/V
Fig. 6. Scaling function
Pf~(tL~/~)
of the rnagnetization square M~ defined in equation(52)
corresponding to Figure 5.07
MC Data L=64 o
32 D
0 65 ~
~
~
à ~
o-à
o àà
~
U O.à
à
045 °
à
04
035
03
004 003 002 001 0 001 002 0.03 004
t
Fig. 7. Theoretical results of the cumulant ratio U frorn equation
(53)
and Monte Carlo data frorn reference[loi
(star) and reference [12](o,
n, and Zh) us. reduced ternperature t for L= 16, 32, 64.
Asyrnptotic bulk values are
2/3
for t < o and1/3'for
t > o.07
MCDa1a L=64 o
32 D
065 16 à
06
*
o.5à
~
n
U 05
à
0 45 °
a
04
0 35
03
8 6 4 -2 0 2 4 6 8
t~l/V
Fig. 8. Scahng plot of the cumulant ratio
us, tL~/~ corresponding to Figure 7.
We see that there is
good
overall agreement between our field-theoreticpredictions
and the Monte Carlo data. Theexisting
differences maypartly
be due to ourone-loop approximation;
furthermore,
aspreviously
[3,4], there are deviations due tononasymptotic effects,
inparticular
those of the
magnetization
outside theasymptotic region
well below T~(Figs.
5 and6),
whichare not yet induded in the
(asymptotic)
evaluation of ourtheory.
Acknowledgments
We thank SFB 341 for support.
Note added in
proof:
In
Figures
1 and 2 theoriginal
Monte Carlo datagiven
in references [8-12] have beenmultiplied by
a factor (T~/T)~
so as to be in accord with our definition of thespecific
heat inequations (43)
and(44).
References
[1] Brézin E. and Zinn-Justin J., Nucl. Phys. 8257
(1985)
867.[2] Rudnick J., Guo H, and Jasnow D., J. Stat. Phys. 41
(1985)
353.[3] Esser A., Dohrn V., Herrnes M, and Wang J-S-, Z. Phys. B, in press.
[4] Esser A, and Dohm V., to be published.
[5] Dasgupta S., Staulfer D. and Dohm V., Physica A, in press.
[6] Hasenfratz A., Jansen K., Jersàk J., Lang C.B., Neuhaus T, and Yoneyarna H., Nucl. Phys. 8317
(1989)
81;Hasenfratz A., Jansen K., Jersàk J., Lang C.B., Leutwyler H, and Neuhaus T., Z. Phys. C46
(1990)
257;Hasenfratz P. and Leutwyler H., Nucl. Phys. 8343 (1990) 241;
Dirnitrovié I., Hasenfratz P., Nager J, and Niedermayer F., Nucl. Phys. 8350
(1991)
893;Hasenfratz A., Jansen K., Jersàk J., Kastrup H-A-, Lang C.B., Leutwyler H. and Neuhaus T., Nucl. Phys. 8356
(1991)
332;Gôckeler M., Kastrup H. A., Neuhaus T, and Zirnrnerrnann F., Nucl. Phys. 8404
(1993)
517.[7] Chen X.S., Dohrn V. and Esser A., Verhandl. DPG
(VI)
29(1994)
968;Esser A., Diplomarbeit, Technische Hochschule Aachen
(1992).
[8] Li Y.-H, and Teitel S., Phys. Reu. 840
(1989)
9122.[9] Janke W, and Kleinert H., Gouge Fields in Condensed Matter, H. Klemert Ed.
(World
Scientific, Singapore, 1989 Vol, l.[loi
Janke W., Phys. Lett. A14(1990)
306.[Il]
Hasenbusch M, and Meyer S., Phys. Lett. 8241(1990)
238.[12] Gottlob A. P, and Hasenbusch M., Physica A201
(1993)
593.[13] Jevicki A., Phys. Lett. B71 (1977) 327;
David F., Comm. Math. Phys. 81
(1981)
149;Lawrie I. D., J. Phys. A18
(1985)
l141.[14] Dohm V., Z. Phys. 860
(1985)
61.[15] Schloms R. and Dohm V., Nucl. Phys. 8328
(1989)
639.[16] Schloms R, and Dohrn V.. Phys. Reu. 842
(1990)
6142; ibid. 846(1992) (E)
5883.[17] Chen X.S, and Dohm V., to be published.
[18] Binder K., Z. Phys. 843
(1981)
119.[19] Ferer M., Moore M.A, and Wortis M., Phys. Reu. 88
(1973)
5205.[20] Aharony A. and Hohenberg P-C-, Phys. Reu. 813