arxiv:math/ v2 [math.gr] 26 Feb 2001

Transcription

1 arxv:math/ v2 [math.gr] 26 Feb 2001 O drft ad etropy growth for radom walks o groups Aa Erschler (Dyuba) e-mal: aad@math.tau.ac.l, erschler@pdm.ras.ru 1 Itroducto prelmary verso We cosder symmetrc radom walks o groups duced by the measure µ. I ths paper we assume that the support of µ s fte ad geerates the group. We cosder two fuctos ad H() = g G(µ )l(µ (g)) L() = Eµ l(g). Here l deotes the word metrc, correspodg to the fxed set of geerators ad µ s the -th covoluto of µ. The fucto H() s called the etropy ad L() s called the drft of the radom walk. H() measures how far the measure µ removed from beg uformely dstrbuted. L() shows how fast ( average) the radom walk s movg away from the org. It s kow that H() s asymptotcally lear ff L() s asymptotcally lear ([9]) ad ff the Posso boudary of the radom walk s otrval ([7]). I partcular, t s so for ay o-ameable group. O the other had, for may examples (e.g. for ay Abela group) L() s asymptotcally. Utl recetly the exstece problem for groups wth termedate growth rate of L() was ope. Frst examples were foud by the author [3], [5]. I these examples L() k (for ay postve teger k) ad L() / l(). I ths paper we fd ew possbltes for the rate of L(). I partcular, we show that L() ca be asymptotcally equal to l(l(... l()...)). We also estmate the growth of the etropy for radom walks o these groups. 1

2 The structure of the paper s the followg. I secto 2 we state that certa fuctos are cocave. We use ths auxlary lemma the ext secto. I secto 3 we cosder a two-dmesoal smple radom walk. We fd asymptotcs of some class of fuctoals depedg o local tmes of ths twodmesoal radom walk. I secto 4 we costruct examples of groups ad we apply results of the prevous secto to fd asymptotcs of the drft these groups. I secto 5 we gve some geeral estmates for the etropy H(). We apply these estmates to the examples cosdered secto 4. These examples shows that there are ftely may possbltes for asymptotcs of the etropy. They also show that the growth of the etropy (as well as of the drft) ca be very close to lear ad yet sublear. 2 A auxlary lemma Lemma 1 For 0 < α < 1 let 1. Let T k,α = exp(exp... exp((4k) 1/α )..). k x L k,α (x) = (l(l(... l(x))...) ) α. k The L k,α (x) s cocave o the segmet [T k,α, ). 2. There exsts a cotuous creasg fucto L k,α : [0, ) [0, ) ad X > 0 such that L k,α (x) s cocave, L k,α (0) = 0 ad for x > X L k,α (x) = L k,α (x) 3. For ay 1 the fucto s cocave o the segmet (0, T k,α ]. 1 l(l(... l(/x))...) α. k Proof. We prove ths lemma the Appedx. 3 Some fuctoals of two-dmesoal radom walk We say that the radom walk s smple f µ s equdstrbuted. I ths secto we cosder a smple radom walk o Z 2. Let b z () be the umber of tmes the 2

3 radom walk has vsted the elemet z (z Z 2 ) up to the momet. Let R () be the umber of dfferet elemets vsted utl the momet. (R () s called rage of the radom walk). Frst we formulate a smple property of the rage. Lemma 2 There exst q 1, q 2 > 0 such that for ay > 1 Pr[R () q 1 l() ] q 2. Proof. Let R () = R () l(). Note that sce (see for example [3]) E[ R () ] 1, E[R () ] l(). Hece t suffces to show that there exsts C such that σ 2 [ R () ] C. I the proof of the theorem 1 4 [8] t s show that for ay radom walk o a lattce σ 2 [R ( )] 2E[R () ]E[R ( [/2]) +R (/2) R () ]+E[R () ] 6(E[R () ]) 2 +E[R () ]. Hece σ 2 [ R () ] 6 + Ths completes the proof of the lemma. 1 E[R () ]. Lemma 3 Let T > 0 ad f be a cocave strctly creasg fucto such that 1. For ay C > 1 Cf(x) f(cx), 2. f(0) = 0 ad there exsts x such that f(x) > 1, 3. For ay 1 xf(/x) s cocave o the segmet (0, /T]. Cosder a smple radom walk o ZZ 2. The there exsts K > 0 such that E f(b z () ) Kf(l()) l(). 3

4 Proof. Note that ( ) f b () z f(/r () )R (), sce f s cocave. Hece [ ( )] E f b () z E[f(/R () )R () ] = E[f(/R () )R () 0, R () < /T] + E[f(/R () )R () R () /T]. Let M be the maxmum of f o the segmet [0, T], that s M = f(t), sce f s a creasg fucto. The the secod term s ot greater tha E[MR () R () /T] ME[R () ] But for large eough we have f(l()) > 1 ad hece l() f(l()) l(). l(). Now we wat to estmate the frst term. Sce xf(/x) s cocave o (0, /T] we have E[f(/R () )R () 0, R () < /T] ( E[R () 0 < R () < /T]f E[R () 0, R () < /T] E[R () ]f( E[R () ] ) f(l()) l(). The there exsts K > 0 such that E f(b z () ) Kf(l()) l(). Ths completes the proof of the lemma. The followg lemma gves a estmate from the other sde. ) Lemma 4 Let f be a strctly creasg fucto o [0, ) such that f(0) = 0 ad for ay C > 1 f(cx) Cf(x). The for large eough ad for some postve ǫ we have E f(b z () ) ǫf(l()) l(). 4

5 Proof. Note that for ay ε 1 > 0 there exsts K > 0 such that for large eough [ ] Pr b () 0 K l() 1 ε 1 (Ths follows from theorem 1 [6]). Let 4 ad let m = [/2]. Sce m > 1 lemma 2 mples that Pr[R (m) m q 1 l(m) ] q 2. Let x () 1,..., x() s be dfferet pots vsted by the radom walk up to the momet, eumerated the order of vstg. Let β = b (). x () Take ε 1 such that ε 1 1/2q 2 Note that for ay 0 q 1 m l(m) [ ] [ ] Pr β () K l(m) Pr[R (m) ] Pr β () K l(m) Hece for ay large eough [ ] q 2 Pr β () K l(m) R (m) [ ] [ ] q 2 Pr β (m) 0 K l(m) Pr R (m) q 2 2(1 ε 1 ) q 2 2/2 E f(b () z ) q2 2 2 f(k l([/2]))q /2 1 l(/2) f(l()) l(). Corollary 1 1. Let L k,α (x) be the fucto defed Lemma 1 (0 < α < 1). The E L k,α (b z () ) L k+1,α (). 2. Let f(x) = x α (0 < 1 < α) the E f(b z () ) / l() (1 α) 5

6 Proof. Ths corollary follows from lemma 2 ad lemma 3 sce for > N l() L k,α(l()) l() l() (l(l... l()...)) α L k+1,α() ad l() l()1 α = / l() α. 4 Ma result Frst we recall the defto of the wreath product. Defto 1 The wreath product of C ad D s a semdrect product C ad C D, where C acts o C D by shfts: f c C, f : C D, f C D, the f c (x) = f(xc 1 ), x C. Let C D deote the wreath product. Lemma 5 Let a 1, a 2,..., a k geerate A. Cosder the symmetrc smple radom walk o A correspodg to ths set of geerators. Let L() = L A. The for some smple radom walk o B = ZZ 2 A L B E L(b z () ) Proof. The proof of ths lemma s smlar to that of lemma 3 [5]. For ay a A ã e deotes the fucto from ZZ 2 to A such that ã e (0) = a ad ã e (x) = e for ay x 0. Let a e = (e, ã e ). Let e 1, e 2 be the stadard geerators of ZZ2 ad e 1 = (e 1, e), e 2 = (e 2, e). Cosder the followg set of geerators of B: (a e j )p e s (a e )q, p, q = 0, 1 or 1, s = 1 or 2 ad 1 j, k. Cosder the smple radom walk o B, correspodg to ths set of geerators. Suppose that ths radom walk hts (a, f) at the momet. Let l A (f(z)) = c z. The 1 cz l(a, f) 2( c z + R) 2 To see ths ote that multplyg by oe of the geerators chages the value of f at most 2 pots ad that two multplygs suffce f we wat to chage the value of f a stadg at the pot a. 6

7 Hece 1 [ ] 2 E cz = 1 E[c z ] E[l(a, f)] 2( E[c z ] + E[R]) 2 The projecto of ths radom walk o ZZ s smple ad symmetrc. Note that ay ZZ 2 there s a smple radom walk o A. The measure that defes ths radom walk s supported o a (1 ), e, ad verses of these elemets. It s uformely dstrbuted o a ad ther verses. Let ˆL A be the drft that correspods to ths ew measure. It s clear that Note that ˆL A L A. Hece [ E m(ˆl A 2b, ˆL A 2b 1, ˆL ] 2b 2 ) There exst C 2, C 3 > 0 such that Hece E[c z b z = b, z 0, a z] = ˆL A 2b E[c z b z = b, z = 0, a z] = ˆL A 2b 1 E[c z b z = b, z 0, a = z] = ˆL A 2b 1 E[c z b z = b, z = 0, a = z] = ˆL A 2b 2 [ E[c z b z = b] E max(ˆl A 2b, ˆL A 2b 1, ˆL ] 2b 2 ) C 2 L() ˆL A 2 2, ˆL A 2 1, ˆL A 2 C 3L() C 2E[ L(b z )] E[c z ] C 3E[ L(b z )] Z 2 Z 2 Ths completes the proof of the lemma. Theorem 1 1. Let F be a fte group. Cosder the followg groups that are defed recurretly G 1 = ZZ 2 F; G +1 = ZZ 2 G. The for some smple radom walk o G ad for ay large eough we have L G l(l... l)...) k 7

8 2. Cosder the followg groups that are defed recurretly ad let F 1 = ZZ; F +1 = ZZ F H 1, = ZZ 2 F ; H j+1, = ZZ 2 H j, The for some smple radom walk o H j, ad for ay large eough we have L Hj, () 2 l(l(... l()...)). j Proof. 1. We prove the theorem by ducto o. Base = 1. I ths case G = ZZ 2 F ad L() s asymptorcally equal to l() ([3]) Iducto step follows from the prevous lemma ad corollary We prove the statemet by ducto o j. For H 1, = F the asymptotcs of the drft s foud [5]. Is s prove there that for some radom walk o F L F() k. The ducto step follows from the prevous lemma ad colollary 1. 5 Estmates of the etropy I ths secto we gve estmates for the etropy of a radom walk. It s kow (see [2]) that for a wde class of measures o lpotet groups H() l(). As t was metoed before H() s asymptotcally lear for ay oameable group. I ths secto we study termedate examples. Let v() be the growth fucto of the group (that s v() = #{g G : l(g) }). Let l = lm L()/, h = lm H()/, v = lm l(v())/. (See for example [1] for the proof that these lmts exst.) It s kow (see [1]) that h vl. The followg lemma geeralzes ths fact. 8

9 Lemma 6 For ay ε > 0 there exsts C > 0 such that Proof. Let a () Note that =1 H() (v + ε)l() + l() + C. = Pr µ l(g). The by defto a () l(v()) + H() =1 L() = a () =1 =0 a (). a () l(v()/a () ) = ( l(a () )) =1 a () l(v()) + l(). For ay ε > 0 there exsts K > 0 such that v() K(v + ε). Hece (v + ε) =1 H() =1 a () ((v + ε) + l(k)) + l() = a () + l(k)) + l() = (v + ε)l() + l(k)) + l(). Aother lemma estmates the etropy from the other sde: Lemma 7 1. There exsts C > 0 such that H() CEµ l2 (g)/ l() CL 2 ()/ l() 2. There exsts K > 0 such that Proof. L() K (l(v()) + l()). 1. Let p (x) be the probablty to ht x after steps. I [9] t s show that there exst K 1, K 2 > 0 such that for ay x ad p (x) K 1 3/4 exp( K 2 l(x) 2 /) K 1 exp( K 2 l(x) 2 /). Note that the g G:l(g)= µ (g)l(µ (g)) ( l(k 1 ) l() + K 2 2 /)a () 9

10 Hece H() l(k 1 ) l() + K 2 =0 2 /a () = l(k 1 ) l() + K 2 /Eµ l2 (g) C/Eµ l2 (g) l(). The last equalty follow from the fact that for some C 2 > 0 H() C Ths follows from the frst part of the lemma, sce H() l(v()). As a corollary from the two prevous lemmas we get the followg theorem. Theorem 2 Let G be the groups defed theorem 1. The for some radom walk o G we have K 1 / l(l... l()...) 2 H G () K 2 / l(l... l()...) for some postve costasts K 1 ad K 2. I partcular, all G have dfferet asymptotcs of the etropy. A Proof of the auxlary lemma I the appedx we gve the proof of lemma Let m k,α (x) = (l(l... l(x)...) ) α. We wat to prove that x/m k,α (x) s k cocave o [T k,α, ). Note that (x/m k,α ) = xm k,α m2 k,α 2m k,α m2 k,α + 2xm k,α(m k,α )2. m 4 k,α Sce m k,α (x) > 0 o (0, /T k,α ] t suffces to prove that To prove ths we wll show that 2x(m k,α )2 xm k,α m k,α 2m k,α m k,α. 2x(m k,α) 2 < 1/2m k,α m k,α ad that Note that m k(x) = m k,α ( m k,α )x 1.5m k,α m k,α. α xl(x)l(l(x))... l(l(... l(x)...)) m 1 α. k,α k 1 10

11 We see that 0 < m k,α (x) < 1/x ad we kow that m k,α(x) > 4 (x [T k,α, )). Ths proves the frst equalty. Now let Note that r k,α (x) = α/m k = xl(x)l(l(x))... l(l(... l(x)...)) m 1 α k,α. k 1 r k,α (x) = m1 α k,α m 1,1(x)m 2,1 (x)...m k 1,1 (x)+ k 1 r k,α (x) m,1 (x) m,1 (x) + r (1 α)m k,α k,α. m k,α =1 Note that for 1 k 1 m,1 (x) 1/x ad that m k,alpha (x) 1/x. Sce m k,α (x) 2k ad for 1 k 1 m (x) 2k we get Ths mples that r k,α x 1.5r k,α. ( m k,α )x = αxr k,α /r2 k,α α1.5/r k,α = 1.5m k,α. So we have prove also the secod equalty. 2. Let β k = L k,α (T k,α )/(2T k,α ). Cosder the fucto y k (x) = β k x. Note that y ( T k,α ) < L(T k,α ) ad that for x > X y ( x) > L(x). Take maxmal z such that y ( z) = L(z). Let L k,α (x) = y(x) f 0 x z ad L k,α (x) = L k,α (x) f x z. Note that y(x) s cocave (x [0, x]), L k (x) s cocave f x > z ad that L k,α (z) y (z). Ths mples that L k,α s cocave. 3. We ca assume wthout loss of geeralty that α = 1 sce x α s a cocave fucto. Let g(x) = l(l...(l(/x))). We wat to proof that 1/g s cocave o the gve segmet. Note that k (1/g) = g g 2 + 2g(g ) 2 g 4. Sce g s postve o the gve segmet, we eed to prove that 2(g ) 2 v g g. Let h(x) = xl(/x)l(l(/x))... l(l... l(/x)...)). k 1 11

12 Note that g (x) = 1/h ad g (x) = h /(h 2 ). We wat to prove that 2 < gh. Sce g(x) > 2 o the gve segmet, t suffces to ote, that h (x) > 1. Ths follows from the fact that h(x)/x creases ad greater tha 1. The author expresses her grattude to A.M.Vershk for statg the problem ad may useful dscussos. Refereces [1] A.M.Vershk, Characterstcs of groups ad ther relatos, Zapsk Sem. POMI, 1999,. 256, [2] Derrec, Y. Etrope, théorèmes lmte et marches alèatores. Probablty measures o groups, VIII (Oberwolfach, 1985), , Lecture Notes Math., 1210, Sprger, [3] A.Dyuba, A example of growth rate for radom walk o group, Russa Mathematcal Surveys, 1999, T.54, o 5, [4] A.Dyuba, Characterstcs of radom walks o wreath product of groups, Zapsk Sem. POMI, 1999,. 256, [5] A.Erschler (Dyuba), O the asymptotcs of drft, to appear Zapsk Sem. POMI. [6] P.Erdős, S.J.Taylor, Some problems cocerg the structure of radom walk paths, Acta Mathematca, 1960, o XI. [7] V.A.Kamaovch, A.M.Vershk, Radom walks o dscrete groups: boudary ad etropy, The Aals of Probablty, 1983, vol.11, o 3, [8] F.Sptzer, Prcples of radom walk, Va Nostrad, Prceto, [9] N.Varopoulos, Log rage estmates for Markov chas, Bull. Sc. Math, 1985, v.109,