arxiv:math/ v2 [math.pr] 6 Mar 2005

Transcription

1 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS arxiv:math/ v2 [math.pr] 6 Mar 2005 J. BEN HOUGH Abstract. We consider a random wa W n on the ocay free group or equivaenty a signed random heap) with m generators subject to periodic boundary conditions. Let #TW n) denote the number of removabe eements, E#TW which determines the heap s growth rate. We prove that im n)) n for m 4. This resut m disproves a conjecture due to Vershi, Nechaev and Bibov [4]) that the imit tends to as m. 3. Introduction WeconsiderarandomwaW n ontheocayfreegroup LF m withmgeneratorssubjecttoperiodicboundary conditions, g 0,g,...,g m : g i g j = g j g i i j ± mod m. Therandomwaonthis grouphasaneegant interpretation in terms of random heaps, which are defined in[3] and examined more carefuy in[4]. Consider the attice Z m Z +, where Z m denotes the integers moduo m, and drop signed pieces with +/ charges uniformy over the m coumns. When a piece is dropped in a coumn it fas as far as possibe subject to the condition that it cannot fa past a piece in its own coumn or a piece in either of the neighboring coumns, i.e. the pieces have sticy corners. Aso, if a piece with a + charge ands directy on top of a piece with a charge, the two pieces annihiate. More precisey, each piece in the random heap may be described by three coordinates: its height, horizonta position and sign. Leth j,j,s j ) denote the highest piece in coumn j, and set h j = 0 if no such piece exists. When a new piece is to be added to the heap, its horizonta position and sign s are chosen uniformy over the 2m possibities. If coumns, and + are empty, then the height of the new piece is. If h > max{h,h + } and s s, the new piece and h,,s ) wi both annihiate. Otherwise, the new piece is added to the heap and its height is max{h,h,h + }+. A typica random heap is iustrated in Figure. Figure. A signed random heap with 0 generators. The roof eements are shaded. The interpretation of this construction shoud be cear. Dropping a + resp. ) piece in the th coumn corresponds to adding the generator g resp. g ) to the random wa. The fact that g and g + don t commute is refected in the fact that pieces have sticy corners. In section 2, we describe a bijective Key words and phrases. ocay free group, random wa, random heaps, drift. Department of Mathematics, UC Bereey, CA , e-mai: jbhough@math.bereey.edu.

2 2 J. BEN HOUGH correspondence between signed heaps with m generators and reduced words in LF m so that a random wa on LF m corresponds to the growth procedure of the random heap detaied above. Our bijection differs from the one presented in [4], which is for the ocay free group without periodic boundary conditions. This formaism aows us to use the terms random heap process and random wa on LF m interchangeaby. This geometrica picture of the random wa on LF m eads one to consider the roof TW n ) of the random heap, which is the coection of removabe pieces. A piece is said to be removabe if there are no pieces ying above it in its own coumn or the two adjacent coumns. We sha say that a piece x bocs piece y if x must be annihiated before y can become part of the roof. The roof is an important feature of the random heap because its size contros the expected rate of growth of the heap. Indeed, if the roof has cardinaity, then the next piece to fa wi annihiate a piece in the heap with probabiity 2m, and wi increase the size of the heap with probabiity 2m 2m. The ong term rate of growth of the heap is thus controed by the ong term expected size of the roof. To mae this notion precise, we define the drift of the random heap process to be ζ = im n n E#W n) where #W n denotes the number of pieces in the heap. It foows easiy from E#TW the above observation that ζ = im n)) n m, a resut given in [4]. We prove the foowing: Theorem.. For m 4, im n m E#TW n)) This resut is surprising, since there are heuristic reasons described in [4] for suspecting that the imit shoud converge to 3 as m. In particuar, one may consider a random wa on the semi-group LF+ m which has generators g 0,g,...,g m satisfying the reations above, but does not incude the inverses of the g i s. This random wa W n has an interpretation as an unsigned random heap process. Specificay, we drop pieces uniformy over m coumns as before, but now we forbid pieces from annihiating. Restricting attention to the roof of the unsigned heap, it is easy to see that this process is an irreducibe Marov chain and we have the foowing: Proposition.2. Proved in [4]) If Wn is the unsigned random heap process with m generators, then im n m #T W n ) = 3 a.s. The proof given in [4] may be simpified. If one defines X n,i to be the number of roof eements in the i th coumn after the n th partice is dropped, this process is a Marovchain on {0,}with transition probabiities p,0 = p, = 2 m and p 0, = p 0,0 = m. The stationary distribution for this 2-state chain is 2/3,/3), so im n E #T W ) m n ) = im n i= EX n,i) = m 3. The caim now foows from the ergodic theorem. This eegant proof was discovered by Gábor Pete. From this nice resut for unsigned heaps one might suspect that the same stationary behavior shoud be exhibited by the signed process, at east in the imit m, a conjecture expressed in [4]. The paper is organized as foows. First we describe the bijection between eements of LF m and random heaps. Then we prove that for m 4, ) im sup #TW ) a.s. n mn = Finay we sha deduce that if one aows heaps to be infinite, the random heap process has a unique stationary distribution ν and the finite dimensiona distributions of W n converge to the f.d.d. s of ν as n. From this fact, we deduce the same upper bound for the space average, proving the theorem. We concude with some open probems. 2. The Bijection between Heaps and Words We begin by giving a forma definition of a heap, and introducing some notation.

3 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS 3 Definition 2.. A heap H is a finite union of pieces v i,w i,σ i ) with v i Z +, w i Z m and σ i {+, }, which satisfy the foowing conditions:. If v α,w α,σ α ) H and v α >, then there exists v β,w β,σ β ) H such that v β = v α and w β {w α,w α,w α +}. 2. If v α,w α,σ α ),v β,w β,σ β ) H satisfy v α = v β + and w α = w β, then σ α = σ β. 3. If v α,w α,σ α ),v β,w β,σ β ) H satisfy w α = w β +, then v α v β. If H is a heap, the eements of the roof may a be removed to construct a new heap H. We sha say that the roof of H is the 2 nd eve roof of H. Simiary, we may define the 3 rd eve roof and so forth. It is easy to see that a heap may be determined uniquey by specifying the horizonta positions of the pieces in each of its roofs. The concept of a roof aso maes sense for words representing eements of LF m. Specificay, if a is an instance of g i or g i in the word W, we say that a is removeabe if it commutes with a the etters in W occuring to its right, and no other instances of g i or g i occur to its right. The roof of W consists of the coection of removeabe etters. Omitting the removeabe etters from W to obtain W, we define the roof of W to be the 2 nd eve roof of W. Higher eve roofs are defined anaogousy. If W = e, the unit in LF m, we say that a the roofs are empty. Observe that two words with the same roofs must represent the same eement in LF m, athough words with different roofs may aso be equa. To obtain a unique representation, we introduce the foowing definition. Definition 2.2. A word W representing an eement of LF m is said to be in norma form if the foowing conditions are satisfied. Here a is an instance of g i or g i in W, and b is an instance of g j or g j.. If ab = e, then a and b are not members of the same or adjacent roofs. 2. If a and b are members of the same roof and i < j, then b occurs to the right of a in W. 3. If a is a member of a higher eve roof than b, then b occurs to the right of a in W. The fact that every eement of LF m may be represented by a unique normaized word foows directy from the commutation reations defining LF m. By identifying the respective roofs of a heap and a normaized word so that a + resp. ) piece in coumn corresponds to an instance of the generator g resp. g ) one obtains the desired bijection, see Figure 2. With this identification, the random growth process of a heap described in the introduction corresponds to a random wa on LF m. Figure 2. The pieces in the second figure are numbered to indicate their roof membership. The word corresponding to this heap is g 4 g 3 g 0g 4 g g 3 g 2 g Bounding the Time Average We now give a proof of inequaity ). Consider a singe coumn of a random heap, and when each piece is dropped record a if the coumn contains an eement of the roof and a 0 otherwise. This generates a sequenceof0 sand s, sayx,x 2,X 3,..., andtoprove)itisenoughtoshowthatimsup n n = X

4 4 J. BEN HOUGH a.s. The sequence X,X 2,X 3... may be expressed more compacty as 0 0,, 0, 2, 0 2,... where denotes the ength of the th sequence of s and simiary for 0. The random variabe 0 0 is distinguished in that its vaue may be zero. Our approach is to show that 2) im sup n = = + = 0 We sha do this by constructing a.s. upper and ower bounds for 3) im sup n n and iminf n n respectivey. = a.s. 0, An observation fundamenta to our proof is that a sequence of 0 s may be terminated in two different ways.. A piece may fa in the distinguished coumn. 2. A the pieces bocing the highest piece in the distinguished coumn may be annihiated. We sha say that a 0 sequence buids upward if it is terminated via method and otherwise it bactracs. Simiary, a sequence of s may be terminated in two ways.. A piece may fa in a coumn adjacent to the distinguished coumn. 2. A the pieces in the distinguished coumn bocing the highest piece in an adjacent coumn may be annihiated or a the pieces in the distinguished coumn may be annihiated if the adjacent coumns contain no pieces). As before, we say that a sequence of s buids upward if it is terminated by method, and that it bactracs otherwise. The first tas is to construct an a.s. upper bound for imsup n n =, the foowing outines our approach. The ey idea is based on the observation above. In genera, if a sequence of 0 s buids upward we expect the subsequent sequence of s to be significanty shorter than if the sequence of 0 s bactracs. For in the first case the subsequent sequence of s may be easiy terminated via either bactracing or buiding upward. Whereas in the atter case the sequence of s wi iey begin at a time when there is a stac of pieces directy beow the roof eement in the distinguished coumn so it wi be much more difficut to terminate the sequence of s via bactracing. We wi describe this phenomenon precisey in Lemma 3., then wi show in Lemma 3.3 that 0 sequences usuay buid upward. Henceforth, we sha say that a sequence of s starts from a short position if it is initiated at a time when there is no piece directy beow the roof piece in the distinguished coumn. Otherwise we say that the sequence starts from a ong position. Aso, we sha refer to the distinguished coumn as coumn 0 and abe the coumns to the right,2,3,... moduo m. Uness otherwise stated, we assume without comment that m 4. Lemma 3.. E starts from a short position) = 2 )m and E ) m 2. = Proof. Consider the foowing random wa procedure on Z. Start the wa from > 0, and between consecutive steps of the wa wait i.i.d. times τ i with distribution Pτ i > s) = ) m 3 s. m Aso, immediatey prior to taing each step fip a coin and with probabiity 2/3 stop the wa. If the wa is not stopped, then move unit to the eft or right with equa probabiity. Stop the wa when it reaches the origin, if it has not been stopped previousy. It is easy to see that this process is equivaent to the process that determines the ength of. The position of the random wa corresponds to the number of consecutive pieces at the top of coumn 0. Setting = we find: 4) E starts from a short position) = Eτ i )EN T),

5 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS 5 where PN > ) = 3) and T is the hitting time of 0 for a simpe random wa starting from. It foows from Lemma 3.3 in Chapter 3 of [2] that 5) PT > 2 ) = PT > 2) = so, since N and T are independent, 6) EN T) = + = 2 ) 4 2 ) [ ) ) 4 ) ) ] 2 = 3 2 ). 3 The above sum is evauated using the identity 2 =0 ) t = 4t) /2 which is vaid for t < 4. Since Eτ i ) = m 3 we obtain E ) = 2 )m. From any starting position, E ) Eτ i )EN) = m 2. Figure 3. The shaded pieces in each figure are both reaizations of the symbo. Next we bound the probabiity that a sequence of 0 s bactracs. We say that a sequence of 0 s starts from a short position if it is initiated at a time when there is ony one piece bocing the highest piece in coumn zero. Then it is cear that the probabiity of bactracing is maximized when the 0 series starts from a short position. In what foows, we write 7),,,,,,,,,,,, to denote possibe configurations for the pieces bocing the uppermost piece in coumn zero. In each of the above pictures, the owest piece is assumed to ie in coumn zero and we agree that exacty those pieces which boc this piece are shown. The position of a piece indicates its coumn and which of the other pieces it bocs. It does not necessariy indicate its height reative to the others, see Figure 3. Two different reaizations of a given symbo are said to represent the same configuration of bocing pieces. We sha use the notation P ) to denote the probabiity that a 0 sequence bactracs from the starting position, and so forth. To see that this notation maes sense, we appea to the foowing emma. Lemma 3.2. The configuration of pieces bocing the highest piece in coumn zero determines both the probabiity of bactracing and the probabiity that this piece wi be annihiated at any ater time. Proof. Consider random heaps W and W 2, and suppose that at time n the pieces bocing the highest piece in coumn zero of Wn and Wn 2 have the same configuration. Labe the highest pieces in coumn zero x and x 2 respectivey. Construct a couping between W and W 2 as foows. Seect a piece uniformy over the 2m possibe choices and add it to Wn to obtain W n+. Now add a piece in the same coumn to W2 n, and choose its sign according to the foowing rues.. If the newy added pieces both and on top of roof eements, fix the sign of the second piece so that both annihiate or neither annihiate. 2. Otherwise, choose the sign of the second piece to be the same as the sign of the first piece.

6 6 J. BEN HOUGH Observe that at time n+, either both x and x 2 wi have been annihiated or the pieces bocing x and x 2 wi again have the same configuration. Iterating this procedure, the proof is compete. We now estimate P ). Observe that by symmetry we have P ) = P ). Lemma P ) Proof. Conditioning on the next piece to fa in either coumn -,0, or 2 we obtain: 8) P ) = 4 P ) ) 8 P + ) 4 P. Now expanding the terms on the RHS and using symmetry: P ) = ) 60 P + 3 )+ 20 P 20 9) P + ) 64 P + ) 32 P + 40 P ). ) + 20 P The ower bound for P ) is obtained by setting the unnown P ) terms on the RHS equa to zero. For the upper bound, we use the foowing emma. Lemma 3.4. For any initia heap, ca the probabiity that a specific piece in the roof is annihiated at any future time. Then 6 < < 5. ) Proof. Conditioning on the next piece to fa in any of the three reevant coumns, we obtain 0) 6 < < Thus 5 ) ) > 0, and we deduce that < 5. It foows that ) ) ) ) P,P,P,P ) ), 25 P ) ) P,P ). 5 P Substituting these approximations into 9) yieds the upper bound. n The next tas is to construct an a.s. upper bound on imsup n n = where 0 0,, 0, 2,... are chosen according to the heap process. We construct, 2, 3,... so that for a and imsup n n n = has a sufficienty sma a.s. upper bound. The s are constructed as foows. Consider the foowing four random variabes: S, S, S and L. The variabe S sha be given the distribution of starting from a short position. We give S the distribution of S conditioned on the event that the first piece to fa in either coumn -, 0 or after the sequence is initiated actuay fas in either coumn - or. Aso, S has the distribution of S conditioned on the event that the first piece to fa in either coumn -, 0 or after the sequence is initiated actuay fas in coumn 0. Finay, L has the distribution of a whose starting position consists of an infinite tower of pieces in coumn 0. From Lemma 3., ES) = 2 )m and ES ) = Eτ i ) = m 3, moreover EL) = EN) = m 2. Since 3 E S) ES ) = ES), we obtain E S) = 3 2 /3)m. Suppose now that we have an infinite number of i.i.d. copies of S, S and L. To construct, we first buid a Marov chain ξ on the state space {s, s,}, and then define to be a new independent copy of S, S or L if ξ equas s, s or respectivey. We sha ignore the condition for the time being. To

7 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS 7 construct ξ, tae ξ = s with probabiity 2/3 and ξ = s with probabiity /3. Once ξ has been chosen, choose ξ + according to the foowing transition probabiities. Here ρ = P ). s 2 3 ր 2) s s 3 ց 0 Then ξ has stationary distribution: 3) π s = 2 ρ) 3 2ρ, s s 2 3 ρ) ր s 3 ρ) ց ρ π s = ρ 3 2ρ, π = ρ 3 2ρ. s 2 3 ρ) ր s 3 ρ) ց ρ Since a the copies of S appearing among the s are i.i.d., and simiary for the copies of S and L, it foows from the ergodic theorem that 4) n a.s. π s ES )+π s E S)+π EL). = Combining equations 3) and 4) with Lemma 3.3 we obtain 5) im sup n n ma.s. = Now, to deduce the same a.s. bound for imsup n n =, it remains ony to demonstrate that the s can be constructed so that. Lemma 3.5. We may construct the sequences ξ and with the joint densities specified above so that, and if ξ = s, then after is initiated a piece fas in either coumn or - before one fas in coumn 0. Proof. The proof is by induction. For the base case, tae =. To determine ξ, consider the first piece to fa in either coumns -, 0 or after is initiated. If it fas in either coumn - or, then ξ = s, otherwise ξ = s. Now assume that ξ,..., ξ n and,..., n have been constructed to satisfy the stipuations specified above. If ξ n = s we see by the induction hypothesis that n+ must start from a short position regardess of whether 0 n bactracs. So tae n+ = n+ in this case. Define ξ n+ as before by considering the first piece to fa in either coumn -, 0 or after n+ is initiated. Ifξ n = sorξ n =, thenconstructarandomvariabeχ n+ independentof,..., n andξ,...,ξ n sothat Pχ n+ = ) = ρ and Pχ n+ = 0) = ρ. If H n denotes the configurationof the heap at the time when 0 n isinitiated, wenowfromthe discussionimmediatey precedinglemma3.3that P 0 n bactracs H n ) ρ. Thus, we may construct χ n+ so that { 0 n bactracs} {χ n+ = 0}. Now, if χ n+ =, tae n+ = n+. Construct ξ n+ as before by considering the first piece to fa in either coumn -, 0 or after n+ is initiated. If ξ n = 0, tae ξ n+ =. To construct n+, start buiding a random heap process on top of an infinite stac of pieces in the 0 coumn. Drop pieces in the same order as they fe whie n+ was being constructed unti n+ was terminated. At this point, if the 0 coumn sti contains a piece in the roof, continue to drop signed pieces uniformy over the m coumns, but now independenty of the random heap process. Tae n+ to be the ength of the sequence of s that is generated. It is cear that if n+ buids upward, it wi equa n+, and otherwise it wi be stricty smaer. Thus, we have estabished the foowing estimate: Lemma 3.6. imsup n n n = m a.s.

8 8 J. BEN HOUGH We now cacuate an a.s. ower bound for iminf n n n = 0. The first step is to estimate the conditiona expectation E 0 0 starts from a short position). In what foows, we sha write E ) to denote E 0 0 starts from ). Lemma m E ) m. Proof. Conditioning on the first piece to fa in either coumn -,0, or 2 we obtain 6) E ) = m E )+ ) 8 E + ) 4 E, and expanding the terms on the RHS again yieds: E ) = 6m 60 + ) 64 E + 3 ) 60 E + 7) 32 E + ) 20 E + ) 20 E + ) 40 E. Bounding the unnown terms on the RHS by m yieds the upper bound. ) E ) For the ower bound, it is usefu to first estimate the reated quantities P ) and Ẽ ). Here, P ) is the probabiity that starting from the indicated configuration, the piece distinguished by the symbo wi be annihiated before a piece fas in coumn 0. Simiary, Ẽ ) gives the expected number of steps before either the distinguished piece is annihiated or a piece fas in coumn 0. Lemma 3.8. We have the estimates P ) and P For m = 4, P ) = P ) and for m 5 we have P ) ) Proof. Conditioning on the next piece to fa in coumn -, 0, or 2 we write: 8) P ) = 4 P ) P ) + ) 4 P = 4 P ) P ) P ) P ). Expanding P ) by conditioning on the next piece to fa in coumn 0,,2 or 3 gives: ) 9) P = 4 P ) ) 2 ) 8 P + 4 P. The probabiity that the highest piece in is annihiated at a is /5, and the probabiity that it is annihiated by the first piece to fa in coumns 0,, 2, 3 or 4 is /0 actuay with /0 repaced by /8 if m = 4, but this extra precision is not important). Thus, we obtain the inequaity: 20) The quantity P bounds on P bound P ) ) 0 P ) P ) ) 5 P. ) satisfies the same inequaity. Combining these inequaities with 9) and 20), the foow. Once these inequaities are estabished, the bounds on P ) foow from 8). To if m 5, condition on the next piece to fa in coumn 0, 2, 3 or 4. Then use the anaogues of 20) to bound the unnown higher order terms.

9 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS 9 The quantity Ẽ ) may be readiy cacuated from P ). Indeed, et T be the number of steps unti either the distinguished piece is annihiated or a piece fas in coumn zero. By appying the strong Marov property at T, we obtain ) 2) Ẽ = Iterating this procedure yieds 22) Ẽ and etting n we deduce that } ). n 23) Ẽ ) = = [ + P )]Ẽ ). [ + P )+ + P ) n] Ẽ ), ) P ) m. ) ) Anaogous expressions ceary hod for Ẽ and Ẽ. Using 23) and conditionings simiar to the one eading to 2), we are now abe to give ower bounds for the unnown terms in 7). ) ) [ 24) E = + Ẽ P )+ P ) 2] Ẽ ) m ) [ E ) Ẽ + P 25) )]Ẽ ) m ) )[ E ) Ẽ Ẽ )+ P + P 26) )]Ẽ ) m ) ) E ) Ẽ Ẽ + P )Ẽ 27) ) m ) ) E ) Ẽ Ẽ )+ P ) [Ẽ + P ] )Ẽ 28) ) m ) ) E Ẽ )+ P ) Ẽ ) [Ẽ + P ] )Ẽ 29) ) m ) ) E Ẽ Ẽ )+ P ) ) [Ẽ + P ] )Ẽ 30) ) m The numerica estimates are generated by using the estimates from Lemma 3.8. Substituting these vaues into equation 7) now gives the ower bound for E ). n It remains to construct an a.s. ower bound for iminf n n = 0. Let 0 be a random variabe with distribution equa to 0 starting from a short position. Since the distribution of 0 given H is stochasticaygreaterthan 0, wecanconstruct 0, 0 2, 0 3,... tobei.i.d.copiesof 0 sothat 0 0 for a. By Lemma 3.7 and the strong aw of arge numbers, we now that imsup n n = m a.s. Hence, we arrive at the estimate Lemma 3.9. imsup n n = ma.s. It foows that 3) im sup n n = X imsup n = = + = By symmetry, this resut is vaid for any coumn, and equation ) foows.

10 0 J. BEN HOUGH 4. Bounding the Space Average We have shown that imsup n mn = #TW ) a.s. Since 0 #TW ) m for a, it foows that 32) im sup n mn E#TW )) = Thus, to provethat imsup n m E#TW n)) it suffices to show that im n E#TW n )) exists. We sha provethe much stronger resut that if one aowsheaps to be infinite, the random heap process has a unique stationarydistribution ν and the finite dimensiona distributions of W n convergeto the corresponding f.d.d. s of ν in tota variation distance as n. We begin by introducing some notation. We sha write T W) to denote the configuration of the roofs of W above the +) st eve. Thus, T W) = TW), T 2 W) consists of the st and 2 nd eve roofs, etc. Infinite heaps are determined abstracty by specifying the configuration of their roof at each eve. The roofs of an infinite heap W must satisfy the same geometrica reations as those of a finite heap: T W ) must determine a finite heap satisfying Definition 2. for a. Finite heaps are a subset of these generaized heaps distinguished by the property that ony finitey many of their roofs are nonempty. Since the uppermost roofs of a heap are sufficient to determine the uppermost roofs after a piece is added, the random heap process extends naturay to a Marov operator, P, on the space Ω H of generaized heaps. In what foows R sha denote the space of possibe configurations of the uppermost roofs, and MR ) sha denote the metric space of probabiity measures on R with tota variation distance. We wor with the sigma fied F H on Ω H generated by a sets of the form T φ), where φ R and is a positive integer. If µ is a measure on Ω H, it induces a measure µ T on R. We caim that P has a unique stationary distribution on the measure space Ω H,F H ), a fact which wi foow readiy from the foowing emma. Lemma 4.. Let W and W 2 be signed heaps starting from random initia configurations W0 and W2 0 with aws µ 0 and µ 2 0. Then µ n = P n µ 0 and µ 2 n = P n µ 2 0, the aws of Wn and Wn 2 respectivey, satisfy µ n T µ 2 n T 0 as n uniformy in µ 0 and µ2 0. Here denotes tota variation distance. Proof. Construct a couping between W and W 2 as in Lemma 3.2. Now suppose that at some point pieces fa successivey in coumns 0,,2,...,m and that the pieces faing in coumn 0 did not annihiate. Once this sequence is observed, the roofs of W and W 2 must agree. Ca Φ the event that this sequence appears consecutive times. In order for T Wn) and T Wn) 2 to disagree after the event Φ + is observed, at east m of the pieces comprising the Φ + sequence must be annihiated. By conditioning sequentiay on these pieces and using Lemma 3.4, this probabiity is bounded above by m. 5) Now, given ǫ > 0 we may choose N,K arge enough so that ) Km 5 < ǫ 2 and the probabiity that Φ K+ is not observed in the first N steps is ess than ǫ 2. Since µ n T µ 2 n T is bounded by the probabiity that T Wn) and T Wn) 2 differ it foows that for a n N, µ n T µ 2 n T < ǫ. Taing µ 0 = µ 0 and µ 2 0 = µ j the emma impies that as n, µ n T µ n+j T 0 uniformy in j. Thus µ n T converges in MR ) to a measure ν, defined by ν A) = im n µ n T A) for a A R, which satisfies ν T T = ν for <. It foows from Komogorov s extension theorem that there is a unique measure ν on Ω H satisfying ν T = ν for a. This measure is the unique stationary measure for P. To see that Pν = ν, observe that P induces a continuous function P : MR ) MR ). Since Pµ n T ) = µ n+ T and µ n T ν, µ n T ν 0 as n, continuity impies that Pν ) = ν. Hence, Pν) T = ν and it foows that Pν = ν. Thus, ν is a stationary measure and by Lemma 4. it is unique.

11 ASYMPTOTIC BEHAVIOR OF RANDOM HEAPS 5. Concuding Remars and Further Probems. We haveshown that for a signed random heap, m im n E#TW n )) However, the exact vaue of the imit is unnown for any m The random heap process may be generaized as foows. Consider dropping pieces with sticy corners uniformy over the m coumns, and when a piece ands directy on top of another piece, fip a coin and aow the two pieces to annihiate with probabiity p. When p = 0, this new process is equivaent to the unsigned random heap process, and if p = 2, we recover the signed random heap process. Taing p =, we obtain a random wa on the group g0,g,...,g m : g i g j = g j g i i j ± mod m, and gi 2 = e i. Numerica simuations for sma vaues of m suggest that the expected size of the roof is monotonic in p, but proving this remains a chaenge. Acnowedgements. Many thans to Yuva Peres for suggesting this probem and for hepfu discussions and comments. I aso than Bob Hough for hepfu discussions, and Gábor Pete for usefu comments and permission to incude his nice proof in the introduction. References. Desbois, J. and Nechaev, S. Statistics of reduced words in ocay free and braid groups: abstract studies and appications to baistic growth mode, J. Phys. A): Math. Gen ), Durrett, R. Probabiity: Theory and Exampes, 2nd ed, Duxbury Press, Bemont, Vershi, A. M. Dynamic theory of growth in groups: entropy, boundaries, exampes, Russian Math. Surveys 55, No ), Vershi, A. M., Nechaev, S. and Bibov, R. Statistica properties of ocay free groups with appications to braid groups and growth of random heaps, Commun. Math. Phys ),