on the critical behaviour of dyson's quantum hierarchical models
TRANSCRIPT
Commun. Math. Phys. 160, 275-294 (1994) Communications in Mathematical
Physics �9 Springer-Verlag 1994
On the Critical Behaviour of Dyson's Quantum Hierarchical Models
Carlos H.C. Moreira, Ricardo S. Schor Departamento de Fisica, Instituto de Ci~ncias Exatas, Universidade Federal de Minas Gerais, C.P. 702, CEP 30161-970 Belo Horizonte, Brazil
Received: 26 March 1993
Abstract: We study the probability distribution of the appropriately scaled square of the total spin for critical asymptotically hierarchical quantum models and show that it converges, as the number of spins tends to infinity, to the same function related to the corresponding classical systems. Thus, we exhibit explicitly a prop- erty of statistical mechanical systems which, at the critical point, does not depend whether one uses a classical or quantum mechanical description.
1. Introduction
It is widely believed that the critical behaviour of statistical mechanical system is independent of the way (classical or quantum mechanical) used to describe it. Sewell [8] has shown quite generally that the long distance behaviour of critical quantum systems is classical, but the question on the relation between this classical behaviour and the one corresponding to the classical version of the system analyzed was not considered.
In the last decade, rigorous renormalization group methods have been de- veloped, which permitted, among other things, a deep understanding of some classical critical systems, particularly those having infrared asymptotically free behaviour [6]. On the other hand, no such progress has been achieved to treat quantum critical systems in general - a task much more difficult than the classical case because of the appearance of non-commutative objects.
In this paper we consider a special class of spin systems which can be analyzed both classically and quantum mechanically: the asymptotically hierarchical models in the terminology of [9]. These are generalizations of Dyson's hierarchical models, originally introduced in [4]. The classical version of these models, with the spins taking values _+ 1, at the critical point was first studied in a rigorous way in the fundamental paper by Bleher and Sinai [3]. Vector valued classical spins at low temperatures were analyzed by Bleher and Major in [1, 2] and by Schor and O'Carroll in [7], using a different hierarchical model. Here we consider instead quantum mechanical spin �89 systems and compare them with the corresponding classical three dimensional vector models. Specifically, we study the probability
276 C.H.C. Moreira, R.S. Schor
distribution of the appropriately scaled square of the total spin for critical quantum systems and show that it converges as the number of spins tends to infinity to the same function related to the corresponding classical systems. Thus we exhibit explicitly a property of statistical mechanical systems which at the critical point does not depend whether one uses a classical or quantum mechanical description.
We now explain the organization of the paper. In Sect. 2 we define the class of hierarchical quantum and classical spin systems which will be analyzed and show, in heuristic terms, why the probability distributions mentioned above should be the same in both cases at the critical point. In Sect. 3 we state our main theorem, the proof of which is given in Sect. 4 and follows basically the ideas developed in [-9], which presents a simplified treatment of the original proof for the scalar hierarchi- cal models [3]. As a corollary we also obtain a multiscale expansion for the free energy associated to the systems of Sect. 2.
II. Definition of the Models and Main Results
To each site of the lattice A, = {1, 2 , . . . , 2"} we associate a s~n variable which may be a classical scalar variable: S~ = _+ 1, a classical vector: Sie R a, or a quan- tum spin �89 S~ = 1 | | �89 ~ | | I acting on (~2)2-, where the components of 6 are the usual Pauli matrices and �89 is placed in the i th position in the definition of S~.
A member of the class of asymptotically hierarchical models is specified by an initial Hamiltonian H.o(Sa . . . . . $2.0) defined on A. o. The Hamiltonians H.(S1, �9 �9 �9 $2-) on An for n > no are given recursively by
H,(S1 . . . . . $2-) = H,- , (Sx . . . . . $2,-1) + H , - 1 ( 8 2 , - 1 + 1 , . . . , 82-)
We will assume that H,o is rotationally invariant. As shown in Dyson's paper [4], the thermodynamic limit exists if c < 2 and there is phase transition if c > 1. We assume in the sequel 1 < c < 2.
Consider the characteristic function of (Y'i~ASi) 2 in the canonical ensemble defined by H, o. Classically,
I( ; 1 = ~ I e x p i~ i~, ~ - f i l l , d3S1. . .daS2, , (2.2)
(c) where ~ ~ R, Z, is the classical partition function and fl is the inverse temperature. (c) If p, (s) is the distribution of }-"i~A, '~ (which depends only on I}-',i~A Si[),
C, e) (4) = ~ exp(i~s 2)p(c) (s) 4~zs 2 ds. (2.3) o
Dyson's Quantum Hierarchical Models 277
It follows easily from (2.1) that the function p~C)(s) satisfies the recursion
1 p~(C)(s)=-~Sex p fl ~ S 2 Ip(/)-l(lfil)p~l(lsdl-fil)d3u, (2.4)
where dl is the unit vector in the one-direction. Proceeding heuristically as in [9], we expect that above the critical temperature
[312 ~ 2" as n ~ oo and hence the exponential in (2.4) should be irrelevant in this case. On the other hand, below the critical temperature 13 [ z ~ 22" and the exponen- tial is dominant. At the critical temperature we may expect 1312 ~ 22" and the
exponential is dominant. At the critical temperature we may expect 1312~( ! ) "
and if this is indeed true, the characteristic function of (~i~a, ~i)2 should
converge to
C n -~_ C(C)(~) = lim C~f((-~ ~ ~ exp(i~u2)q(~)(u)4nuZdu (2.5)
,--,oo \ \4} ,] o with the distribution q(~)(u) satisfying the relation
q(~ exp(flu2) S q(~176 -~c U~l - ~ )d3v. (2.6)
The constant above is determined by the condition C ~) (0) = 1. The formal considerations were shown to be true for the scalar S~ = _+ 1
models by Bleher and Sinai [3], who studied the problem under the restriction x/~ < c < 2. In this case, the transformation on the space of probability distribu- tions defined by the right-hand side of (2.6) has a Gaussian fixed point which is thermodynamically stable, i.e. the linearized map has only one eigenvalue greater than one.
The arguments for the scalar models can be extended to the vector models so as to justify the picture above. The Gaussian solution of (2.6) is
q(~)(u) = ~--7- ) p[_ -- ~(fl)u2], (2.7)
where e(fl) = tic/(2 - c). We consider now the quantum case. Let A(j ~ = { ( j - 1)2 p + 1,
( j - l ) 2 p + 2 . . . . , ( j - l ) 2 p + 2 p}for l__<p=<nandl__<j=<2 "-p.Define
/~J)= ~ Si. (2.8) i ~ A ~ I
Then, as pointed out in Dyson's original paper [4], the s e t {(~(j))2:1 __--< p __--< n, 1 __< j ____ 2"-P; (~1))3 } (where (/~1))3 is the third component of ~1)) is maximally commuting in ({~2) 2n and the common eigenfunctions diagonalize H.. Denoting the eigenfunctions by [ {#j)}; m.), we have
(/~(k))2 [ {ffp(j)}; m.) f(k)[.a(k) § 1)[ {Ep(J)}; m.) v r ~ v r
(/~nm)31 {fp{J)}; m.> = m.[ {Ep~J)}; m.> . (2.9)
278 C.H.C. Moreira, R.S. Schor
Si,,~.~ ,~,u) _ 7,(2j-1) A_ 7,(2J) (1 < < n), we must have [~y~ , ) _ f ~ ) [ < f j ) xiww /~p - - / ~ p - 1 T / ~ p - - 1 = P =
__< d ~ ; 1) + f ~ ) l and initially E[J) e {0, 1}. Also, the possible values of m. are restricted to [m. [ __< f o).
In terms of the basis (2.9) the characteristic function of (~i~a. ~/)2 in the quantum case is
C~.q)(O = & ~ ' (2E. ~1) + 1)exp[i~d.t~)(d. tl) + 1) - flH.({d~k)})], (2.10) ,e, li-- {4%
where Z~ q) is the quntum partition function and the prime in the summation takes into account the restriction imposed on the set of possible values for {d~J)}, alluded to above.
Writing (2.10) as
1 2 n - 1
C~(q)({) = Z~5(q) ~, ( 2 / + 1)exp[i{d(~ + 1)]z,(d), (2.11) d = O
it is easy to verify, using (2.1), that
E(c; 1 zn(d) = exp fl ~ ~(f + 1) ~ z,-l(~l)Z,-l(d2). (2.12) f i ~ {0 , . . . , 2 n - z }
[E, --~'2 [ < t ' < ~'1 +~'2
Proceeding in analogy with the classical case we consider the characteristic
functions of (~i~a. Si)2' which can be written as
C(o) ( (4 )"~)= 2 / 2 \" [u , l { ' ~ ' " q
{ [ ((5;) x exp i~u u + z, u , (2.13)
{(4) } where A. = E: 0 _< E _< 2" - 1 . If the analogy can indeed be carried over to
((?) the quantum case, we may expect that at critical fl the limit of C. (q) ~ ~ exists as
n--* oe and is given by
C (q) (3) = ~ u exp (i~u2) p(q)(u) du, (2.14) 0
with p(q)(u)= lim,~op~")(u), p~,q)(u)= Z<nq)\cj z, u . In addition, since
from (2.12) p~,q)(u) satisfies the recursion
c Z. (q) exp flu u + ~ p(~l(vl)p(~l(v2), Vl, v2~An-i
2 Iva-v21 <=~u<-v~+vz
(2.15)
Dyson's Quantum Hierarchical Models 279
we may also expect that p(~ satisfies the equation
p(q)(u) = const exp(flu 2) ~ ~ p(q)(vl)p(q)(v2)dvldv2 . (2.16) Ira -vzl<-~u<-_vl +v2
Assuming that all steps above can be carried out, we may ask about the relation between the classical and quantum characteristic functions CtC)(~) and C ~q~(O. If we set pr = 4~uq(q)(u), such that
C(q)(O = ~ exp(i~u2)(q(")(u)47ruZdu, (2.17) 0
then q(q)(u) satisfies the equation
q(q)(u) = const exp(flu 2) ~ ~ q(q)(va)q(q)(v2) v_~ v2 dr1 dv2 . (2.18) jvl-v21=<~u<vl +v2 U
Now we make the change of variables (vl,Vz)-~(r,O), where v~ = r, / .
= /4 _ _ 4 u r cos0, to get V2 ~]C u2 ~- r2 X//~C
) = - - - ur cos 0 sin 0 dO o o ~/c x/c
that is
q(~)(u)=const exp(flu2) ~ q~q)(]~,)q(q)( ~ u~ - ~ )dar , (2.19)
which is the same as (2.6). Thus, provided the heuristic arguments for the quantum
case can be justified, we see that the distribution of lim,_,~ ~ (~i~A~ ~i)2 at the
critical temperature is the same whether one uses classical or quantum Statistical Mechanics.
In this paper we show that the above reasoning holds (for the quantum case) if
the parameter c is restricted to x/2 < c < 2 4/5. The region 2 2 < c < 2, which is allowed in the classical case, could not be handled within our method of proof.
The strategy we follow is to study the recursion (2.15) using the methods of the scalar Si = _+ 1 case [9]. Unfortunately, we have not been able to implement the very powerful analyticity techniques of Gawedzki and Kupiainen [5], due to the discreteness of the spin values. In our problem we have to deal separately with large fields and also with very small fields, so that the perturbative region corresponds to intermediate values of the fields. The precise meaning of these statements, as well as the formulation of our main theorem, is given in the next section.
IlL Main Theorem
Definition 1. Given fl > 0 and 1 < c < 2 define the operator d( f l ) acting on
the probability space L2([0 , oe) , -~V( f l )~xEexp( -y ( f l )x2)dx) , 7(fl)=
280 C.H.C. Moreira, R.S. Schor
2(c - 1)fl/(2 - c), henceforth denominated L2(fi), by
3
(~r fl) = - ~ c exp c
The following properties may be easily verified:
x) + ~ d~r. (3.1)
P1. aC(fl) is a self-adjoint operator on L2(fl). P2. ~r may be explicitly diagonalized: ~r n e N , with
(o,(x;fl)=[Z"+<v/(Zn+ 1 ) ! y ( f l ) x ] - ' H z , + l ( ~ ) x ) , where Hz,+a is the (2n + 1) ~h Hermite polynomial (H"(x)= ( - 1)" exp(x2)(d/dx) " e x p ( - x2)). The set {~o,};=0 is an or thonormal basis for L2(fl) and the first polynom- ials are ~Oo(X;fl)=l, ~o~(x; f l )=~7( f l )x2-~22, r ~ -
P3. Regarding ~r as an operator acting on L~([0, oo)) we have 1[ ~r co = 1.
Definition 2. Given fl > 0 , 1 < c < 2 and N e N , define the subspace ~ ( f l ) = {f~L2(fl): (~o~, f)L~(/J) = O, k = O, 1 , . . . , N}.
P4. ~ ( f l ) is invariant under d ( f l ) . P5. II d ( f l ) I I ~ p ) = c -~N+~>
Induction hypotheses. Suppose we are given the set of parameters 0 < 2 < 1, 0 < D < o o , N > 3 , n o > 0 and 1 < c < 2 . At the n t~ step we are also given a compact interval B (") = [-fl~),/~)] c (0, oo). Define the following sets:
S, = {xeA, : 0 < x < A,k},
D, = {x6A, : A~ < x < D ,
L, = {x6A, : x > D.~/n} ,
(4) where A. = We state the following induction hypotheses referring to the
function 9.(x; fl) = 2 Z~q)p~q)(x ) for fl e B {"). c
H~. For each f l e w ") and x ~ D , ,
g,(x; fl) = L,(fi)x exp[ - a(fl)x 2 - e.(x; fl)] , (3.2)
where e,(x; fl) is given by
e.(x; fl) = B~)(fi)q~l(X;fl) + ~ B~")(fl)q~2(x; fl)
+ 2 " ( 2 ) " N ~2 ~ B]")(fil~~ fi)
j = 3
1 + 0~"~(x; fl) + - w~.J(x; fl) + R~"~(x; fl)
X (3.3)
Dyson's Quantum Hierarchical Models 281
The following conditions are met:
(a) B~")(fl) > 0. (b) Q(")(.; fl) is defined on [0, oo) such that [Q(')(x; fl)[,
ax I 2 " d Q ' " ' ( x ; f l ) _< 2 " ( 2 ~ V x e [ 0 , m a x D , + A " ~ . - L 2/
(c) W(")(.; fi) and R(")(-; fi) are defined on D , such that ] W(")(x; fl)[ < n2An
and [R ("~(x; fl)[ < 2~ ~ �9
H'r ]B[")(fl)l < )c"c-" VfleB (") and B(l")(fl~ )) = -T-2"c-". H~. For each f l~B (") and x s S , ,
1
Ig,(x; fl)l--< 2A~,L,(fi)exp[ - ~(fl)x 2] , (3.4)
H~. For each f l e B (") and x e L , ,
I9.(x; fl)l < L.(f l)x exp - c~(fl)x 2 - ~ C(")(fl)x 4 , (3.5)
where 0 < C(")(fl) ~ @ a 7(fl)2 B~")(fl)"
H~. L., Bk ("~ (k = 1 . . . . . N), C ("~, Q("), W ("~ and R ("~ are continuous functions with respect to fl over the interval B ~"~.
Theorem. For each ~ < c < 2 ~ there is a possible choice of the parameters 2, D, N and no such that, given the inteval B ~"~ if the induction hypotheses H~ ~ - H~ ~ are verified with Q(.o) = O, then for all n > no there is an interval B t") = [fi~), fl~)] c B ~"~ for which H~ - H"5 are verified. The following recursive relations are met:
RT) B ~"+~) ~ B (").
R~) On B ("+a) we have lIB(2 + 1 ) - B~")J[| < 0(2~), B~. " + ~ ) - c2-JB(.n) < 0(~. ~)
for j = 3 , . . . , N and C("+a)(fl) = C(")(fl) - 2". R~) Q(")(x; fl) = 2(d(f l )Q("))(x; fl) + 2Q~")(x; fl), where Q~")(.; fl)e o~f}(fl) Vfl e B ("),
IlQ~")(.;fl)ll~ < 0 nN2 ~ ~ andQI")(x;B)=Oforx > m a x D . + l + - - ~ -
Remark. The condition Q(,o) = 0 is not strict, but the statement of the theorem becomes simpler if we adopt it. Note that at the no th step all errors may be included in R ("~
Remark. From the theorem above, one may conclude that there is a tier e ~n~,o B(")
and a set of initial Hamil tonians (that one may show to be non-void) such that g,(x; tier) (appropriately normalized) converges in probabil i ty to const x exp[ - c~(fl)x 2] and therefore, at this critical point, the distribution of
(? lim.-~o ~ (~i~A. Si) 2 is equal to the corresponding distribution in the classical
vector case.
C.H.C. Moreira, R.S. Schor
The free energy density f,( fl) = - 2 -" f l - 1 In Z(fl~( fi) admits the follow-
282
Corollary 1. in9 multiscale expansion (n > no):
I (7 [ (2) 11 f.(fl) = f , o ( f l ) - f l - J ~ 2 -p In c + 0 p2 V/?eB (") (3.6) p:no+ i J "
Corollary 2. At the critical temperature one has
3
lim f.(flr = f~o(fl-) - fla 12-"~ In + O [ c ( - 2 + e ) n ~ (3.7) n--+ go
IV. Proofs
Proof of the Theorem. Let us assume inductively that for each k, no < k < n, there is a compac t interval B (k) for which H f - H~ are verified. Fur thermore , if n > no we will assume that R] - R~ are true for each k, no < k < n - 1. Then we will show that there is a compac t interval B ~"+~) such tha t H~ + 1 - H~ +1, together with R~ - R~, are verified.
First of all, look at the recurrence relation for gn(X; fl), derived f rom (2.15),
g.+l(x; fl) = exp[-flx(x + A . + I ) I A 2 }-'" 9.(xl; fl)g.(xx; fl), (4.1) Xl , x2~An
where the double pr ime means that the summat ion is over pairs (xl, x2) such that 2
jx~-x21<--x< ~ % / ~ : X l "~ X 2,
For x e D . + l we shall divide the sum into three terms (see Fig. 1). Define
(1). (X = 2" g . + l , ; fl) exp[flx(x + A.+a) ]A. 2 O.(Xx; fl)g.(xx; fl), (4.2a) X l 9 X 2 6 I ) n
g ( 2 ) (~. 2" .+ l t~ , fl) = exp [ f lx (x + A.+a)] A. 2 g . (x l ; fl)g.(x2; fl), {x, eSn,x2eAn} u {xleA.,xzES.}
(4.2b)
(~ �9 X , = g . T . ( " f l ) exp [ f lx (x + A.+I)]A 2 E It
{xl ~Ln,xzeDnu L. } u {x, sD..x2eL~}
9.(xl; fl)9.(xx; fl). (4.2c)
Assuming that R k and R k apply for no -< k _< n - 1, we prove that 2 m a y be chosen close enough to 1 so that the B}")'s are uniformly bounded by a constant depending only on the values assumed by the B}"~ on B ("~ Then is easy to show that
[Sn(X'~ fl)l <~ 0 n 2 + O[n2 AS. Vx E]D,,, VflEB (n). (4.3)
Dyson's Quantum Hierarchical Models 283
X 2
2.~ x
/
( 2 \
/
/
/
\
\ 2 x x 1 + x 2 = ~ \
/
A
/
/
\ 2 / \ / 2-x
X 2 - - x I ~ 2~ x /
/
/ 3
/
/
/
/ /
_ 2 - x X 2 - - 9; 1 = ,fl~ /
/
/
/
Fig. 1. Regions appearing in 9~i)+ 1
m X l
Substituting the form depicted in H~ and approximating exp( - e) by 1 - e we get
g(1)l(X; t ) = Ln(fl) 2 e x p [ o~(fl)x 2 + f lA.+lx]A 2 ~," x1x2[1 2s,,(xl;fl) n + - - - -
X l , x 2 ~ D n
F /2"~2n7 4 (n) 4 4 3 where the truncation error T is clearly OLn ~ j ) J+ O(n A~,).
In order to replace sum by integral we must extend &") and T (") over all values of their arguments. In s (n) all terms admit natural extensions, except for W (") and R ("). These two terms, together with T ("), shall be extended as step functions constant over line segments of length An (or squares of area A 2) centered in the points of the discrete lattice. Observe that the extensions/~(n), /,~(n) and T(") thus obtained preserve their uniform bounds. Now approximate the sum by an integral including an error term S~"):
= L.(B) 2 exp[ - a(fl)x 2 + flAn+~x~ S o X I X 2 [ ] 2gn(Xl ; ~)
I x~ -xzl<-_-~x<=x~ +x2
+ iP(")(xl, x2; fl)] exp[ - ~(B) x~ + x 2 x 2 dxldx2 + S(")(x; B) . (4.5)
284 C.H.C. Moreira, R.S. Schor
The symbol [] above means that the integral is taken over the square xl , x2
r _ _ - ~ / m i n D - A ~ , m a x D , + ~_~,[" The error S (") may be regarded as the difference L - - - - J between the integral of a function constant over each square of area A 2 and the integral of a function coinciding with the former on the centers of the squares located at the points of the discrete lattice. Since we have adopted a convenient
extension and have ground bounds over ~ Q (") (x; #) the error thus obtained is
quite small. One may easily check, using standard techniques, that it is inferior to O(A,). In fact, the dominant contribution to S (") comes from the border of the integration area, where the profile of the squares does not much the profile of the
2 strip Ix1 - Xzl < - - x < xl + x2 (see Fig. 2). This error term is not present in the
= x / 7 = treatment of the classical scalar model [9], where the domains are linear, and is genuinely 0 (A,). Enlarging the area of the borders and integrating we obtained the following estimate:
JS(")(x; #)] < O(A,)(1 + x 2) V # e B (") . (4.6)
For x e D.+ 1 this bound is uniformly majorized by O(nA,).
x2
maxD~
2-- x , f
minD~
/.
\
An
/ /.
./ /
/
ill I v - -/~- +--+
i I I I I
I
i / . I L .----+_--+---+----
qF/i I I I I I
(__+__+_ +__
I J I
I I I . - ~ + _ - + - - + _ -
I I I
] I I . - - + _ _ + - - + _ -
I l I
_ _ + _ _ + _ + - -
"~I I I L _ _ + _ _ + _ _ + _ _
I~, i i I I I L
[ E E I I I I I + - - + - - + - - + - -
I i I [
I I I I + - - + - - + - - t - -
I i i I I [ I I
+----+---+----+----
L J I I I I I ~" +---+----+--+ --
I I I E .~I I I I I I
+----+~--+ --fl/-- ~ I L I
+ _ _ J
I I . / / I O
, )__~ \ /"
% / �9 ,
minDn i x ,/z
/
/"
J
Fig. 2. The approximation of sum by integral in 9r 1
/
: X l
Dyson's Quantum Hierarchical Models 285
Define the following operator
Ixl -xal<-2~-x<x~ +x2 - '~ - ( 4 . 7 )
We may write
g(1) I~. ,+ its, fl) = L,(fl)2 exp[ -- "(fl)x 2 + flA.+ix] [~(fl) [1 -- ~")3)(x; fl)
+ Tt"~(x; fl) + E~"~(x; fl) + S~"~(x; fl)] ,
where
(4.8)
~(fl) f) (x; fl) = x(d(f i ) f ) (x; fi).
Using the explicit diagonalization of d ( f l ) we readily obtain
( , ~ ( f l ) [ 1 - ~ " ) ] ) ( x ; f l ) = x 1 - B~")(fl)(,o~(x; fl)
- \ c 2 j B&"~Ifl)~o2(x; fl)
\ 7 ) ~:,
(4.10)
- 2 ( d ( f i ) Q("))(x; f l ) - 2 ( d ( f l ) 1 l~("))(x; fl)
- 2 ( d ( f l ) / ~ ( " ) 1 ( x ; fl)1" ( 4 . 1 1 )
Ix1 - x21<~x<-_xl +x2
• Tl")(xl, Xa; fl)dxldx2 (4.9)
is 0 n 4 j + O(n A~,). E (") is the error we get when we increase the domain of
integration to include the whole strip. The inclusion of the little corners indicated 2
by "2" in Fig. 1 adds an error xO(A,) because the integration area is O(A~,) and the 1
integrand is xO(A~,). The error which arise by the inclusion of region "3" may be
made arbitrarily small. This happens because exp - ~ ( f l ) x 2 + x 2 x 2
_-< 0 [exp( - D2n)] for x e D, + ~ and (xl, x2) in "3." Fixing D large enough (but not depending on n) we may make this error as small as required.
Implementing the change of variables given just after Eq. (2.18) we get an important relation between the operators N(fl) and d(f l ) , namely
286 C.H.C. Moreira, R.S. Schor
+
Now identify the
B,(-+. (~) =
following terms:
B[")(fl) + c bi")(fl),
B(z"+ l)(fl) = B~")(fl) + c 2 b(2")(fl) (4.18b) -2-s \c /
(4.18a)
We write the last term in the form
N
(M(fi)R("))(x; fl) = ~ b(k")(fl)q)k(X; fl) + Q(I")(X; fl), (4.12) k=0
where the coefficients b(k")(fi) are to be chosen such that zln+l
maxDn + 1 + T
x 2exp( - 7(fi)x2)Q~")(x; fl)~Ok(X; fl)dx = 0 (k = O, 1 . . . . . N) . (4.13) 0
Define Q~')(x;fl)=Q[")(x;fl)z[O, m a x D , + l + - ~ l ( x ). It follows that
Q~")(.; fl) e gf k( f l )eB (n). The upper bound on I aft(") (x;/7)1 implies that if no is sufficiently large, then
0r2~[2"~ "] ( k = 0 , 1 . . . . . N) Vfl~B (", (4.14) Ib~")(/7)l =< l -\~) J
ilQ(~.)(.;fl)ll~ N O nN~, 2 j V f l f f B (n) . (4.15)
One may easily verify that
d(/7) 1 w(") < 11 ~(")11~o ~(/7) 1 x ~ = x o~ < O(nZA")" (4.16)
Adding (4.12) to (4.11) and going back to g~.~a we get
g(') (x;fl) = 7 ~ L . ( f l ) Z x e x p [ - e ( f l ) x Z + flA.+,x]{1 2b~")(fl) n + l
?,(,, + c(0 2 -"
- \ j j
- 2(d(fl)Q("))(x; fi) - 2Or)(x; fl) - 2 d ( f i ) x
~ l[T~")(x;fl)+ E(")(x;fl)+ S(")(x;fi)]}. (4.17) X
Dyson's Quantum Hierarchical Models
J 1 ) ( f l ) = T B } . ) ( f l ) + 2 - 2 - " \ j b}")(fi) ( j = 3 , , N )
Q("+t)(x; fl) = 2(d(fl)Q("))(x; fl) + 2Q(t")(x; fl) ,
- / 8cc~(fl)3 S("~(x; D , W("+'(x; fl) = ~/
( 1 l~(.))(x; fl) _ ~ 1 R~")(x; fl) = 2 d ( f l ) x ~/ ~ x
F~(2) I x . + L.(fl) -2e~u~)x2-pa . . . . L~.+l t , fl) + 9(.~l(x; fl)-l} �9 (4.18f)
Thus we may write
gn+l(x; f l ) = 7 ~ L . ( f l ) 2 x e x p [ - o ~ ( f l ) x 2 + flAn+lX] [ l - 2b~")(fl)
/ 2 \ . + 1
- \ ~ U j=~ ~J" + "( fl)~~ fl)
1 fl) - R~")(x; f l) l (4.19) - Q"+~(x; fl) - ~ w("+'(x;
Approximating 1 - e by exp( - e) and including the corresponding error term R(z "), we get
g.+l(x; fl) = L.+l(f l ) exp - ~(fl)x 2 - B~"+l)(fl)tpl(x; fl)
B) \r
__1 w<.+,(x; fi) _ R(.+l)(x; fl)] , (4.20) X J
where
287
(4.18c)
(4.18d)
(4.18e)
{r?~(x; fl) + ~("~(x; fl)
[ L.+I (fl) = ~ / ~ L.(fl) 2 exp( -- 2b(o")(fl)), (4.18g)
R("+ 1)(x; fl) = - flA.+l + R~ ") (x; fl) - R(z")(x; fl). (4.18h)
So, we have formally reproduced the ansatz in the intermediate fields region, but we still have to show that some estimates are valid. The estimate on [W ("+ 1) I
(2,) derives clearly from the upper bound on IS (") I. The estimation of 9.T, and
288 C.H.C. Moreira, R.S. Schor
(3.) #n~. follows in general terms the same reasoning employed to bound E ("). The outcome is that
Ig,+x(x;/7)l(2) < Ln(fl)20(hn)x exp( - O{(fl)X 2) Vx~D,+I , VfleB (") , (4.21)
and if D is fixed large enough
(3) 2 4 19,+1(x;/7)1 < L,(/7) O(A~) e x p ( - ~(/7)x 2) V/7~D,+I,V/TeB (") . (4.22)
Using the estimates so far obtained, one may bound IRin) l as follows: 1{[ IR~")(x;/7)1 < O(nZA,) + 0 n 4 + O(n A~,) = \ J ) /
_,f2 V"7 < 0 n4A,3t-~) J+O(n4A,) Vx~D.+,,V/7~:B ("). (4.23)
In the interval x /2 < c < 2 ~ we may choose 2 depending on c sufficiently close to 1 such that if no is sufficiently large, then
] - /TA,+lx + Ri")(x;/7)1 < 22" 77 V x e D , + l , V/TeB (n) . (4.24)
Note that R~ applies from the very definition of Q(,+I). Iterating R3 k, with no < k < n, we get
Q(.+l)(x;/7) = ~ 2.+ l - k ( d (/7).-k( Q{k)) (X; /7). (4.25) k=no
Observe that we are using Q(,o)= 0. Take co~ ,1 and define
nl = [nco]. In order to estimate the sum above up to the term k = nl we shall need the following lemma of Tauberian type:
Lemma. Given/7 e [/7_,/7+] c (0, oo) andfs o,~}r II f N co < 1, there are constants No, M and L depending on c, fl_ and/7 + such that, if N > No and p > 1, then
L1. I(sJ(/7)Pf)(x;/7)1 < exp ~ - p N Vx < Mx/pN.
L2. d (ac(fl)Pf)(x; /7) < 2L~ exp( -- l~- pN) Vx < �89 Mx/pN .
The proof of this lemma will be left to the end. First of all, note that if k < nl, then n - k > n(1 - co). So it is possible to choose N depending on co, c,/7~o3,/7~o)
An+I < �89 fin_o,/7~o))xc/"(n_ k)N for all k < hi. and D so large that max D. + ~ + 2 = h
x < max D. + 1 + ~ - the lemma tells us Then for that
k~o__ 2"+1-k (aC(/7).-kQik)) (X; /7)
[ ][ ()1 _< ~ 2"+l -kexp 21n C (n -- k)N 0 kN2 ~- 2 k (4.26) - k = . o - 9 7 ~ "
Dyson's Quantum Hierarchical Models 289
Choosing N so large t ha t2 e x p ( 2 1 n c N ) < 9 = (222C-2) Y~-z-l~ we get
[ 2 e x p ( 21nc ) l " - k N < \~ / I (4.27)
order k = nl turns o u t t o be less or equal to 0122" (2 )" ~ and the sum up to y L \ / J
To estimate the remaining terms of the sum, use P3 and the uniform bounds on 0 %
=< const 2 "(1 -o%u+ 1 _(2-~ ~5/2 ),o~ . (4.28)
Choosing co so close to 1 that 21 3 ~ 2 -'~ 2c-2) ~ < x~2c - we see that the second
term is of order 0 nN+~24 ~ , yielding the upper bound on ]Q ("+tl(x; fl)l
required in tt~ + 1.
d Q(,+ 1)(x; fl), we follow basically the same steps. We To verify the bound on dxx
estimate the corresponding sum up to order k -- nl using the second part of the lemma and the remainder terms using the easily derived property
II (~( f i ) f ) ' IIoo < const(fl)II fl[~o, (4.29)
together with the uniform bounds on Q~k). The only term that should be treated d
separately is 2~x Q[")(x; fl), but again from P3 we easily get that this term is less
than or equal to o|n - ~ , ~ for x < m a x D , + l + and f i eB (").
Inserting all the estimates obtained so far, one may verify that 2 may be chosen in (0, 1) such that
I Rg")(x; B)I _-< 2 2" j Vx~D,+I , VfieB (") . (4.30)
Estimates (4.24) and (4.30) prove the required upper bound on JR ("+1) 1. To finish the verification of H~ "+1) note that
n - 1
B(2"+ l)(fl) = B(2"~ + 2 (B(zk + ')(fl) -- B(zk)(fl)) k = n o
. - 1 3k
> inf{B(2"~ ("~ - ~ O(2 w) k = . o
linf{B(2"~176 > 0 VfleB (") (4.31)
provided that no is sufficiently large.
290 C.H.C. Moreira, R.S. Schor
We now consider the question of determining the interval B ("+1). From esti- mate (4.14) we see that B~+l(fl~ )) > 2"+lc -("+i) and BT+ l(fl~ )) < - 2"+lc -~"+i). The continuity ofB~ "+ 1) then implies that there are two numbers, fi("_+ 1) and fl~+ 1), such that fl~)< f l ( .+l)< f l~+l )< fl~) and H~ +l is satisfied with the definition B(.+~) = [fi~+l),f i~+l)] . Repeating this process, one generates a sequence of nested compact intervals. In the end, f t . will lie in the intersection of all B(")'s. This is the usual Bleher-Sinai prescription for finding the critical temperature.
Let us now check H~ +~. Here we follow an approach similar to the one employed to verify H~ +1, with the simplification of working only with upper bounds. It is enough to note that for y a D. w L. we may adopt the estimate
Ig.(Y; fl)r < ~L,,(fl)y exp[ - c~(fl)y 23 . (4.32)
Substitution in the recurrence relation (4.1) yields
136 ] Ig.+i(x;/3)1 < L.(fl) z exp[ -- e(fl)x 2 + flA.+ix] ~(9~(fi) l)(x; /3) + Vt")(x;/3) ,
(4.33)
where V (") stands for all error terms. Using the same techniques already intro- duced, it is straightforward to check that [ V(')(x; fi)] < O(A.) for x a S.+ 1. From the definitions of ~( f l ) and L. +~(fl)it follows that
136 1 Ig.+a(X;/~)1 < L .+ l ( f i ) exp[ -- c~(fl)x 2 + flA.+~x + 2b~o")(fl)] ~ x + O(A.) ,
(4.34)
H~ +l then follows from the fact that x < A.+~ in S.+l and from (4.14). The proof of H,7 +1 presents some new features. To begin with, note that if
2 > - - x implies that xx and x2 cannot be simultan- x �9 L.+ 1 then condition xl + x 2 = N//~
O./nDn eously smaller than ---~--~ ~. In fact, we could drop the "2" in the denominator, but for
2,/c technical reasons we shall keep it. Divide g, + i into two terms, namely
•(A) t'~. Z " " .+ i t s , t ) = exp[f lx(x + A.+l)] A. a g.(xi, fi)g.(x:; fi),
> D . / ~
Z ct g~.~ a (x; t ) = 2 exp[f lx(x + A.+a)] A. z g.(x,; fl)O.(X2; fl).
x >D,/; :,2< ~'/~
(4.35)
(4.36)
For x .-~ x /n the leading term in e (") is clearly B~")(fl) y(fl)Zx4. The
positivity of this term is guaranteed by inequality (4,31) (with n + 1 replaced by n).
Dyson's Quantum Hierarchical Models 291
So it is easy to prove that for x ~D. , x > ~ - ~ , the following estimate applies:
1 2 2 2 n n
This result means that the large fields upper bound (3.5) may be used for all
x > D,,/_n To estimate g~(A+) 1 insert this bound and use that xl + x2 > 2
= 2x/c. = - ~ x implies
4 2 x4 x l + x z 4_->J .Then
(A) ~ ( 3 ) x 2 - C(" ) (3 )x 4 + 3 a . + ~ x [g,+x(x; fl)[ < Ln(fl) 2 exp -- \ ~ j
x A~ _~"D,/;Xxx2 exp - e ( f l ) x ~ + x ~ X 1, X2 >--- 2 ~ C
IXl -- X 2 I ~ c X ~ X I - [ - X2
+ U(")(x; f l )J . (4.38)
where the symbol �9 stands for the restriction of the domain of integration to a set of squares compatible with the sum. Since the integrand is positive, we may majorize this integral by dropping the restriction and thus obtaining (~(fl)l)(x; fl). The error relative to the approximation of sum by integral may be estimated analog- ously to the estimation of S ("). One verifies that
[U(n)(x; fl)[ ~ O(An)x 2 VxELn+I , Vfl~B (n+l) . (4.39)
Using the properties of~(fl), the definition of L,+ i (fl) and taking into account 4
that c < 23, we see that 2 may be chosen to that
= / ) / ]g,+~(x, f l ) l < L , + ~ ( B ) x e x p - a ( f l ) x 2 - ~ C(")(/~)-~2" x 4 . (4.40)
Concerning ~(B) y, + a, one may check that if D is chosen large enough
~r (x; f l ) l< -c~(fl)x 2 - \ -~] C(")(fl)x 4 0 2" .
(4.41)
So, it follows that, for x~L,+~ and fl~B ("+a),
Ig,+x(X; fl)[ _-< L,+x(B)x exp - e(fl)x 2 - \c2, ] (C(")(fl) - 2")x 4 . (4.42)
292 C.H.C. Moreira, R.S. Schor
We satisfy H~ +1 defining C("+l)(fl) = CC")(fl) - ,~". The required upper and lower bounds on C ~"+ ~) are easily verified, as well as the continuity statements in ng +1.
Proof of the lemma. We follow closely [9]. First of all, note that there is a constant L(c, fl+) such that
dd@~(d(fl)f) < L(c, f l+) lL f l loo(m=O,l , 2) g f l ~ [ f i - , f l + ] . (4.43)
Let us suppose that there is a xo _-< M x / / ~ (the value of M will be fixed later) such that
21nc ) (d(fl)Pf)(xo;/3) > exp 9 p N . (4.44)
The case with (aC(fl)Pf)(Xo; fl) negative may be treated analogously. ( ,nc ) Define F = L - p exp ~ p N , fix fl s [ fl_, fl + ] and construct the function
{7(fl) P f ) ( x o ; f l ) - L V ( x - x o if X o < X < X o + r h(x) = = =
otherwise
Clearly h(x) z <= (d( f l )Pf ) (x ; fl)2 Vxe [0, oo). It is easy to check that II f I I ~ ) < II f II ~ < 1. Together with property P5, this
implies that
c- p(N+ 1) > ~ Y(fl)-~ ~o x2 exp( - ~(fl)x2)(~(fl)Pf)(x'~ f l ) 2 dx
/ 4 _~ xo+r > , / - - ~ 7 ( f l ) 2 I x2 exp( - 7(fl)x 2) [(d(fl)Pf)(Xo; fl) - L ' (x - Xo)] z dx
V x/Tr xo
> const(c, fl_, f i+)L 'F ~ exp[ - 7(fl) ( M x / ~ + F) 23
- 3p I -- const(c, fl_, f l+)F ~ - exp - 7(fl) (MxfpN + F) 2 - - - 5 In c pN- ]
J 9 I
(4.45)
Hence
-- p(N + 1)In c >- -- 7 ( f l ) (Mx/ /~ + F) 2 -- - - 5 lnc 3
pN - ~ p in L + const. (4.46)
Rearranging terms we obtain the inequality
1 0_--> - 7 ( f l ) M 2 p N - 2 7 ( f l ) M F
+ I p ( l n c 3 1 n L ) _ ? ( / ~ ) F 2 + 1 - ~ constd. (4.47)
Dyson's Quantum Hierarchical Models 293
Define M = x/lnc/37(fl+) to obtain, for all p > 1,
0 > ~ In cN + constv/N + const ' . (4.48)
Since c > 1, there is a No(c,/~_,/~+) such that the left-hand side of (4.48) is positive for any N > No. The contradiction proves L1.
In order to show L2, assume that there is a Xo < �89 M x / ~ such that
In c (d(/?)Pf) ' (xo;/~) > 2L -~ exp - ~ - p N ) . (4.49)
From (4.43) one may conclude that II (d(~)Pf) " 11 ~o < LP II f Ih o~, implying that (d(/~)Pf)'(x;/~) > (d(/~)Pf)'(Xo;/~)- LP(x - xo) for all x > xo. So
L p (d(fl)Pf) (x; fl) > (sr fl) + (x - Xo)(sl(fl)Pf)'(Xo; fl) - ~ (x - Xo) 2 .
(4.50)
Then, from L1 and (4.49), it follows that
( 21nc N , + - 7 / ~ ( l n c - / \ L v_ (~r (x; /?) > -- exp -- p ] 2 ( x - xo)L~exp - - T p N ) - ~ ( x - Xo)
2
(4.51)
_~ / lnc '~ Let ~ = Xo + 2 L - - e x p ~ - ~ - p N ) . We see from (4.51)that
(s~r > exp ( - 21nc
N'~ ~ - - e ) . (4.52)
But clearly 2 __< M x / / ~ for N big enough. The contradiction of L1 proves L2. This completes the proof of the lemma and also the proof of our main theorem.
Proof of the Corollaries. Use that Z. (q) c = ~ A.~'x~A. (2x + A.)9.(x;/~) to obtain
f .+ l ( f l ) - - f . ( f i ) = - fi-12-("+1) In {! L"+l(fi)L.(fi)2
A.+a ~x~A.+ 1 (2X + A.+l )L ,+a(~) - lO ,+l (x ; f l ) ]
x [ A . ~ A (2x + A,)L, (~)-*g, (x; fl)32 (4.53)
From the induction hypotheses one may verify that
A, ~A~2 (2x + A,) L,(fl)- l g,(x; fl) = ~ + 0 n 2 ~ V/?~B ("). (4.54)
Using (4.18g) and (4.14) one gets
f , + l ( f l ) - f , ( f l ) = - / ~ - 1 2 - ( " + 1 ) I n c + 0 n 2 ~ . (4.55)
Iterating (4.55) one easily proves the Corollaries.
294 C.H.C. Moreira, R.S. Schor
Acknowledgements. This work was partially supported by Conselho Nacional de Desenvol- vimento Cientifico e Tecnol6gico (CNPq), Brazil.
References
1. Bleher, P.M., Major, P.: Renormalization of Dyson's hierarchical vector valued ~b 4 model at low temperatures. Commun. Math. Phys. 95, 487-532 (1984)
2. Bleher, P.M., Major, P.: The large-scale limit of Dyson's hierarchical vector-valued model at low temperatures. The non-Gaussian case. I: Limit theorem for the average spin. II: Descrip- tion of the large scale limit. Ann. Inst. Henri Poincar6, Phys. Th6or. 49, No. 1, 7-85, 87-143 (1988).
3. Bleher, P.M., Sinai, Ya.G.: Investigation of the critical point in models of the type of Dyson's hierarchical models. Commun. Math. Phys. 33, 23-42 (1973)
4. Dyson, F.: Existence of a phase transition in a one-dimensional Ising ferromagnet. Commun. Math. Phys. 12, 91-107 (1969)
5. Gawedzki, K., Kupiainen, A.: Triviality of q~44 and all that in a hierarchical model approxima- tion. J. Stat. Phys. 29, 683-698 (1982)
6. Gawedzki, K., Kupiainen, A.: Massless lattice ~b~ theory: Rigorous control ofa renormalizable asymptotically free model. Commun. Math. Phys. 99, 197-252 (1985)
7. Schor, R., O'Carroll, M.: Low Temperature Properties of the Hierarchical Classical Vector Model. Commun. Math. Phys. 138, 487-505 (1991)
8. Sewell, G.L.: Quantum theory of collective phenomena. Oxford: Clarendon Press, 1986 9. Sinai, Ya.G.: Theory of phase transitions: Rigorous results. London: Pergamon Press, 1982
Communicated by M.E. Fisher