ON THE SPEED OF A PLANAR RANDOM WALK AVOIDING ITS PAST CONVEX HULL. By Martin P.W. Zerner

Size: px
Start display at page:

Download "ON THE SPEED OF A PLANAR RANDOM WALK AVOIDING ITS PAST CONVEX HULL. By Martin P.W. Zerner"

Transcription

1 ON THE SPEED OF A PLANAR RANDOM WALK AVOIDING ITS PAST CONVEX HULL By Martn P.W. Zerner Abstract. We consder a random walk n R 2 whch takes steps unformly dstrbuted on the unt crcle centered around the walker s current poston but avods the convex hull of ts past postons. Ths model has been ntroduced and studed by Angel, Benjamn and Vrág. We show a large devaton estmate for the dstance of the walker from the orgn, whch mples that the walker has postve lm nf speed. 1. Introducton Angel, Benjamn and Vrág ntroduced and studed n [1] the followng model of a random walk (X n ) n 0 n R 2, whch they called the rancher. The walker starts at the orgn X 0 = 0. Suppose t has already taken n steps (n 0) and s currently at X n. Then ts next poston X n+1 s unformly dstrbuted on the unt crcle centered around X n but condtoned so that the straght lne segment X n, X n+1 from X n to X n+1 does not ntersect the convex hull K n of the past postons {X 0, X 1,..., X n }, see Fgure 1. Note that (X n ) n 0 s not Markovan snce n general one needs to know the whole hstory of the process n order to determne the transton probabltes for the next step. Ths makes ths model more dffcult to analyze than a Markovan random walk, a property t shares wth many other selfnteractng processes, see [1] and also [2] for references. We do not clam that ths model s of partcular mportance or that ts defnton s very natural. However, n the class of all self-nteractng processes t seems to be among the few models whch are at least partally analyzable and stll have some strkng propertes. Several such propertes have been conjectured by Angel, Benjamn and Vrág n [1]. Based on smulatons and heurstcs, the authors of [1] beleve 2000 Mathematcs Subject Classfcaton. 60K35. Secondary 60G50, 52A22. Key words: convex hull, large devatons, law of large numbers, random walk, self avodng, speed. Current address: Mathematsches Insttut, Unverstät Tübngen, Auf der Morgenstelle 10, D Tübngen, Germany. Emal: 1

2 2 RANDOM WALK AVOIDING ITS CONVEX HULL X2 X3 X =0 0 K 2 X 1 Fgure 1. Three steps of the walk. X 3 s unformly dstrbuted on the bold arc of the crcle wth radus 1, centered n X 2. e.g. that the drecton of the walk converges,.e. that X n / X n converges P -a.s. to a random drecton, see [1, Conjecture 1]. Moreover, f we denote by w n as a measure for transversal fluctuatons the maxmal dstance of a pont n K n from the lne X 0, X n, then Angel, Benjamn and Vrág conjecture that w n grows lke n 3/4, see [1, Conjecture 2]. As far as results are concerned, the only major rgorous result whch has been proved so far for ths model to the best of our knowledge s that the walk has postve lm sup speed,.e. there s a constant c > 0 such that P -a.s. lm sup X n /n > c as n, see [1, Theorem 1]. Here (Ω, F, P ) s the underlyng probablty space. The purpose of the present paper s to mprove ths result by showng the followng. Theorem 1. There s a constant c 1 > 0 such that 1 (1) lm sup n n log P [ X n c 1 n] < 0 and consequently, (2) lm nf n X n n c 1 P -a.s.. In partcular, (2) proves [1, Conjecture 4]. We expect but were not able to prove that the speed lm X n /n exsts and s P -a.s. constant, as conjectured n [1, Conjecture 5]. Let us now descrbe how the present artcle s organzed. The next secton ntroduces general notaton and gves a short overvew of the proof. In Secton 3 we ntroduce some sub- and supermartngales, whch enable us n Secton 4 to bound exponental moments of the tme t takes the dameter of the convex hull K n to ncrease. From ths we deduce n Secton 5 estmates

3 RANDOM WALK AVOIDING ITS CONVEX HULL 3 γ := ext tme from +1 after τ σ +1 := ext tme from Kτ +n X τ Z,n,n +n Y D R,n X τ γd τ dτ X k() Fgure 2. General notaton for the dameter of K n smlar to the ones clamed n Theorem 1 for X n and show how ths mples Theorem Notaton and outlne of proof We denote by d n the dameter of K n. Snce (K n ) n s an ncreasng sequence of sets, (d n ) n s non-decreasng. The ladder tmes τ at whch the process (d n ) n 0 strctly ncreases are defned recursvely by τ 0 := 0 and τ +1 := nf{n > τ : d n > d τ } ( 0). It follows from [1] that P -a.s. τ < for all 0. In Secton 4 we wll reprove ths fact by showng that the dfferences := τ +1 τ ( 0), between two successve fnte ladder tmes have some fnte exponental moments. Note that τ 1 = 1 snce d 0 = 0 and d 1 = 1 and observe that the τ s are stoppng tmes wth respect to the canoncal fltraton (F n ) n 0 generated by (X n ) n 0. Snce the dameter of a bounded convex set s the dstance between two of ts extremal ponts there s for all 1 wth τ < a (P -a.s. unque) 0 k() < τ such that d τ = X τ X k(), see Fgure 2. For x R 2 and r > 0 we denote by B(x, r) the closed dsk wth center x and radus r. If τ < then σ +1 := nf{n 0 X n / B(X τ, d τ ) B(X k(), d τ )}

4 4 RANDOM WALK AVOIDING ITS CONVEX HULL boundary of lens X k() X τ X τ+n Drft Fgure 3. Idealzed pcture, assumng d τ =. Whenever the walker crosses a wedge for the frst tme, whch occurs at a postve rate, t has n the next step a postve drft towards the boundary of the lens. s the ext tme of the walk from the large lens shaped regon shown n Fgure 2, whch we shall refer to as the lens created at tme τ. Observe that K τ s contaned n the lens created at tme τ. Moreover, (3) τ +1 σ +1 snce f σ +1 <, X σ+1 has a dstance from ether X τ or X k() greater than d τ. We have now ntroduced enough notaton to be able to outlne the dea of the proof of Theorem 1. Outlne of Proof. To show that ( X n ) n s growng at a postve rate we shall frst show that (d n ) n s dong so. To ths end we shall bound exponental moments of the s. Ths s the heart of the proof and done as follows. Suppose that d n s already qute large and that we have just reached a new ladder tme τ, at whch the dameter has ncreased. Due to (3) the dameter can stay constant only as long as the walk s hdng n the lens created at tme τ. However, there are two mechansms, correspondng to Lemmas 4 and 5, whch ensure that the walk cannot hde n the lens for too long. The frst one, descrbed n Lemma 4, works whle the walk s stll nsde a small ball around X τ, see Fgure 2. The radus of ths ball s chosen to be proportonal to d τ. Ths stuaton s depcted n an dealzed form n Fgure 3. In ths regme the followng happens: Whenever the walk crosses for the frst tme any of the wedge-shaped lnes shown n Fgure 3, t has a drft away from X k() towards the boundary of the lens. To see ths consder the two boundary lnes of the convex hull whch are emanatng from X τ+n n Fgure 3. Suppose we are to draw n Fgure 3 the lne gong from X τ+n to the left. In the pcture ths lne has slope 0,.e. t s parallel to X τ, X k(), but

5 RANDOM WALK AVOIDING ITS CONVEX HULL 5 of course t could have a dfferent slope. However, ths slope cannot be much smaller than 0 because X τ+n s close to X τ but far away from X k(). On the other hand, the lne emanatng from X τ+n to the rght must have n Fgure 3 a slope of at least 1. Together, these two lnes create a drft downwards and more mportantly to the rght towards the boundary of the lens. (If the left lne has a postve slope then the drft to the rght s even stronger.) So every tme the walker crosses for the frst tme such a helpful wedgeshaped lne t wll be pushed towards the next wedge-shaped lne. If the lttle ball around X τ was nfntely large ths would result n crossngs of the wedge-shaped lnes at a postve rate, whch would propel the walk out of the lens very fast,.e. ths mechansm alone would gve a fnte exponental moment of, see Lemma 4. However, snce the ball s sze s fnte and proportonal to d τ, the walk can escape from ths lttle ball before leavng the lense wth a probablty exponentally small n d τ. (Ths wll happen a fnte number of tmes.) Whenever ths occurs, we rely on the second mechansm, see Lemma 5. The lne X τ, X k(), whch s part of the convex hull, creates a postve drft out of the lens. Snce the dameter of the lens s of order d τ t wll take the walker a tme of order d τ to reach the boundary of the lens. In fact we shall show, see Lemma 5, that t s exponentally costly for the walk to stay n the lens for a tme longer than the order of d τ. Ths s enough to make sure that the walk s not slowed down too much by occasonally resstng the frst mechansm and gettng lost n the lens. To make ths dea precse we need to ntroduce more notaton. The pont Y := X τ + X k() ( 1) 2 wll serve as the center of K τ and the radus R,n := X τ +n Y ( 1, n 0) s the dstance of X τ +n from ths center. The orthogonal projecton of X τ +n onto the straght lne passng through X τ and X k() wll be called Z,n ( 1, n 0). The dstance of X τ +n from ths lne s denoted by D,n := X τ +n Z,n ( 1, n 0). For the followng defntons we assume, n 1 and τ + n < τ +1. In partcular, due to (3), we assume that at tme τ + n the walk has not yet left the lens created at tme τ. Ths mples that Z,n X τ, X k() and that X τ and X k() are stll boundary ponts of K τ +n, as shown n Fgures 2 and 4. Hence f we start n X τ +n and follow the two boundary lne segments emanatng from X τ +n we wll eventually reach X τ and X k(). The boundary lne segment whose contnuaton leads frst to K τ and then to X k() s called

6 6 RANDOM WALK AVOIDING ITS CONVEX HULL X τ X τ Y ϕ 1 ϕ 2 s 1,,n s X τ +n 2,,n Z,n ψ 1 ψ 2 s 1,,n X τ +n s2,,n X k() X k() Fgure 4. General notaton s 1,,n, whle the other lne segment startng n X τ +n s denoted by s 2,,n, see Fgure 4. The angle between s j,,n and X τ +n, Y s called ϕ j,,n [0, π] (j = 1, 2), see the left part of Fgure 4. Smlarly, the angle between s j,,n and X τ +n, Z,n s denoted by ψ j,,n [0, π] (j = 1, 2), see the rght part of Fgure 4. Occasonally, we wll dropped the subscrpts and n from ϕ and ψ. Snce K τ +n s convex, (4) ϕ 1 + ϕ 2 = ψ 1 + ψ 2 π. Furthermore, ϕ 1 ψ 1 s one of the angles n a rght angled trangle, namely the trangle wth vertces X τ +n, Y and Z,n. Hence, (5) ϕ 1 ψ 1 = ϕ 2 ψ 2 π/2. 3. Some sub- and supermartngales The followng result shows that for every 1, both (R,n ) n and (D,n ) n (1 n < τ +1 τ ) are submartngales. Lemma 2. For all, n 1, P -a.s. on {τ + n < τ +1 }, (6) (7) and E[R,n+1 R,n F τ +n] sn ϕ 1,,n + sn ϕ 2,,n 2π E[D,n+1 D,n F τ +n] sn ψ 1,,n + sn ψ 2,,n 2π sn ϕ 1,,n 2π sn ψ 1,,n 2π 0, 0 (8) E[D,n+1 D,n + R,n+1 R,n F τ +n] c 2 for some constant c 2 > 0.

7 X τ Xτ RANDOM WALK AVOIDING ITS CONVEX HULL 7 Z,n +n Y X τ +n X τ Z,n Fgure 5. The expected ncrement of R,n s small n the left fgure and large n the rght fgure. For D,n t s the other way round. Fgure 5 shows examples n whch the expected ncrements of R,n and D,n are close to 0, thus explanng, why we are not able to bound n (6) and (7) these expected ncrements ndvdually away from 0. Note however, that n both stuaton depcted n Fgure 5, f the expected ncrement of R,n or of D,n s small then the expected ncrement of the other quantty s large. Ths confrms that the expected ncrements of R,n and D,n cannot both be small at the same tme, see (8). Proof of Lemma 2. We fx, n 1 and drop them as subscrpts of ϕ j,,n and ψ j,,n (j = 1, 2). Then the followng statements hold on the event {τ + n < τ +1 }. Consder the angle between Y, X τ +n and X τ +n, X τ +n+1 whch ncludes s 2,,n. Ths angle s chosen unformly at random from the nterval [ϕ 2, 2π ϕ 1 ]. Hence we get by a change of bass argument usng Y, X τ +n for the frst bass vector, E[R,n+1 F τ +n] = 1 (2π ϕ 1 ) ϕ 2 1 2π ϕ 1 ϕ 2 2π ϕ1 ϕ 2 2π ϕ1 ϕ 2 1 R,n + 2π ϕ 1 ϕ 2 (R,n, 0) (cos ϕ, sn ϕ) dϕ R,n cos ϕ dϕ 2π ϕ1 ϕ 2 cos ϕ dϕ = R,n + sn ϕ 1 + sn ϕ 2 R,n + sn ϕ 1 + sn ϕ 2, 2π ϕ 1 ϕ 2 2π whch shows (6). Smlarly, (7) follows from E[D,n+1 F τ +n] = 1 (2π ψ 1 ) ψ 2 2π ψ1 ψ 2 D,n cos ψ dψ. For the proof of (8) we assume wthout loss of generalty ϕ 1 π/2. Indeed, otherwse ϕ 2 π/2 because of ϕ 1 + ϕ 2 π, see (4), and n the followng proof one only has to replace the subscrpt 1 by the subscrpt 2 and swap... Y......

8 8 RANDOM WALK AVOIDING ITS CONVEX HULL X τ and X k(). By (6) and (7), E[D,n+1 D,n + R,n+1 R,n F τ +n] sn ϕ 1 + sn ψ 1 (9). 2π We wll show that the rght sde of (9) s always greater than c 2 := (4π 2 ) 1. Assume that t s less than c 2. Then (10) sn ϕ 1, sn ψ 1 (2π) 1 and hence ϕ 1 (π/2) sn ϕ 1 1/4 by concavty of sn on [0, π/2]. Smlarly, (10) mples that ether ψ 1 1/4 or π ψ 1 1/4. Due to ϕ 1 ψ 1 π/2, see (5), the latter case s mpossble. Therefore, (11) ϕ 1 ψ 1 max{ ϕ 1, ψ 1 } 1/4. The angle α [0, π/2] between Z,n, X τ +n and X τ +n, X τ s less than or equal to ψ 1. Consequently, (12) sn ψ 1 sn α = X τ Z,n X τ X τ +n X τ Y Y Z,n d τ. However, snce Y, X τ +n K τ +n, (13) R,n = Y X τ +n d τ +n = d τ. Therefore, (12) sn ψ 1 d τ /2 Y Z,n d τ Y X τ +n = 1 2 sn ϕ 1 ψ 1 whch contradcts (10). We fx the constants (14) β := 1 + 4π 8 > 30 and γ := 1 2β < (11) = 1 4, Whenever τ < we denote the frst ext tme after τ from B(X τ, γd τ ) by γ +1 := nf{n > τ : X n X τ > γd τ } ( ), see Fgure 2. If 1 and n 0 then we shall call n good for f n = 0 or f (15) τ + n < τ +1 γ +1 and E[R,n+1 R,n F τ +n] 1 π 8 P -a.s.. Ths means, n 1 s good for f at tme τ + n the walker has not yet left the ntersecton of the small ball around X τ and the lens shown n Fgure 2 and, roughly speakng, feels a substantal centrfugal force pushng t away from the center Y. Good tmes help the walker to leave the lens shortly after τ and closely to the pont X τ. Next we ntroduce an Azuma type nequalty for a certan famly of supermartngales, whch wll help make ths dea more precse.

9 RANDOM WALK AVOIDING ITS CONVEX HULL 9 Lemma 3. There are constants c 3 > 0, c 4 > 0 and 1 c 5 < such that P -a.s. for all 1, n 0, where M,n := 1{τ + n < τ +1 } exp E [M,n F τ ] c 5 exp( c 4 n), ( c 3 n ) W,m m=1 and W,m := D,m 1 D,m + β(r,m 1 R,m ) + 4 1{m 1 s good for }. Proof. Fx 1. Frstly, we shall prove that for sutable c 4 > 0, (16) E [M,n+1 F τ +n] exp( c 4 )M,n P -a.s. for all n 1, thus showng that (M,n ) n 1 s an exponentally fast decreasng submartngale. Snce W,m s F τ +m-measurable (m 1), we have E [M,n+1 F τ +n] = M,n E[exp(c 3 W,n+1 ), τ + n + 1 < τ +1 F τ +n] M,n E[exp(c 3 W,n+1 ) F τ +n]. Therefore s suffces to show for the proof of (16) that on the event {τ + n < τ +1 }, E[exp(c 3 W,n+1 ) F τ +n] < 1 for some sutable c 3 > 0. However, snce the W,m s (m 1) are unformly bounded by a constant ths follows from the fact that on the event {τ + n < τ +1 }, E [W,n+1 F τ +n] = E[D,n D,n+1 + R,n R,n+1 F τ +n] ( + 4 π ) 8E[R,n R,n+1 F τ +n] + 1{n s good for } c 2 < 0 P -a.s. by vrtue of defnton (15) and Lemma 2 (6), (8). Usng (16) for nducton over n we obtan by the tower property, E [M,n F τ ] exp( c 4 (n 1))E [M,1 F τ ] P -a.s. for all n 1. Snce M,1 s bounded by a constant ths fnshes the proof. 4. Exponental moments of τ +1 τ. The next two lemmas provde tools needed to bound n Proposton 6 the tmes durng whch the dameter does not ncrease. The frst lemma shows that the walk cannot spend too much tme nsde the lens and the small ball around X τ shown n Fgure 2. Lemma 4. For all 1, n 0, P -a.s. P [τ + n < τ +1 γ +1 F τ ] c 5 exp( c 4 n), where c 4 and c 5 are as n Lemma 3. The second lemma gves a frst crude upper bound for.

10 10 RANDOM WALK AVOIDING ITS CONVEX HULL Lemma 5. There s a fnte constant c 6 such that for all 1, n 0, P -a.s. where c 4 and c 5 are as n Lemma 3. P [ > n F τ ] c 5 exp(c 4 (c 6 d τ n)), In the proof of both lemmas we wll use the fact that the sum n the defnton of M,n s n part telescopc,.e. n n (17) W,m = D,n + β(r,0 R,n ) + 4 1{m 1 s good for } m=1 snce D,0 = 0. Proof of Lemma 4. For n = 0 the statement s true snce c 5 1. Fx n 1. The statement follows from Lemma 3 and (17) once we have shown that on the event {τ + n < τ +1 γ +1 }, the rght hand sde of (17) s nonnegatve. Frst we wll show that on {τ + n < τ +1 γ +1 }, m=1 (18) D,n + β(r,n R,0 ) 2(D,n X τ Z,n ). Ths s done by brute force. For abbrevaton we set d := d τ, y := D,n and x := X τ Z,n and note that on {τ + n < τ +1 γ +1 } we have x, y [0, γd]. Observe that x and y play the role of cartesan coordnates of X τ +n, see Fgure 6. Usng R,0 = d/2 and R,n = (d/2 x) 2 + y 2 we see that (18) s equvalent to β (d/2 x) 2 + y 2 y 2x + βd/2. Both sdes of ths nequalty are nonnegatve snce x s less than γd, whch s tny compared to βd. Takng the square and rearrangng shows that (18) s equvalent to (19) x(4x 4y 2βd β 2 x + β 2 d) + y(y + βd β 2 y) 0. Snce x, y [0, γd] and βγ = 1/2, see (14), the terms β 2 d n the frst bracket and βd n the second bracket are the domnant terms, respectvely, whch shows that (19) and thus (18) holds. For the proof that the rght hand sde of (17) s ndeed nonnegatve on {τ + n < τ +1 γ +1 } t therefore suffces to show that, n 1 (20) D,n X τ Z,n 2 1{j s good for }. Both D,j and X τ Z,j can ncrease by at most 1 f j ncreases by 1. Therefore, the left hand sde of (20) s less than or equal to 2(#J,n ) where J,n := {0 j < n 0 m < j : D,m X τ Z,m D,j X τ Z,j }. j=0

11 RANDOM WALK AVOIDING ITS CONVEX HULL X k()... Y K τ K τ +3 ϕ 1 ψ1 Z X τ +3,3 x X τ y γd τ Fgure 6. More realstc and detaled than Fgure 3. The darkly shaded convex hull K τ at tme τ has been enlarged after three steps by the lghtly shaded part. j = 3 s good for snce t satsfes the suffcent crteron ψ 1,,3 π/4, see (22), whch corresponds to the fact that the dashed lne, whch ntersects the horzontal axs at an angle of π/4, does not ntersect Kτ o +3. j = 1 s also good for for the same reason, whle j = 2 mght be good for but fals to satsfy the suffcent condton (22), snce the correspondng dashed lne startng n X τ +2 would have ntersected Kτ o +2. Hence t suffces to show that the elements of J,n are good for. Note that j = 0 J,n s good for by defnton of beng good. So fx 1 j J,n. By Lemma 2 (6) t s enough to show that sn ϕ 1,,j 2 1/2, that s (21) ϕ 1,,j [π/4, 3π/4]. On the one hand, ϕ 1 ψ 1 s close to π/2, as can be seen n Fgure 6. More precsely, sn(ϕ 1 ψ 1 ) = Y Z,j Y X τ +j d τ /2 γd τ d τ /2 + γd τ Y X τ X τ Z,j Y X τ + X τ X τ +j = 1 2γ 1 + 2γ 1 2 = sn π 4. Snce 0 ψ 1 ϕ 1 ths mples ϕ 1 π/4, thus provng the frst part of (21). On the other hand, ϕ 1 ψ 1 π/2, see (5). Hence all that remans to be

12 12 RANDOM WALK AVOIDING ITS CONVEX HULL shown for the completon of the proof of (21) s that (22) ψ 1,,j π/4. Consder the half lne (dashed n Fgure 6) startng at X τ +j whch ncludes an angle of π/4 wth X τ +j, Z,j that contans s 1,,j. We clam that ths lne does not ntersect Kτ o +j. Ths would mply (22). To prove ths clam observe that for any c > 0 the set of possble values for X τ +m wth D,m X τ Z,m = c s a lne parallel to the half lne just descrbed. Snce j J,n the walker dd not cross between tme τ and tme τ + j 1 the dashed lne passng through X τ +j. Consequently, t suffces to show that the dashed lne does not ntersect Kτ o. If t dd ntersect Kτ o then ths would force the walker on ts way from X τ to X τ +j to cross the dashed lne strctly before tme τ + j, whch s mpossble as we just saw. Proof of Lemma 5. Agan, the statement s true for n = 0 snce c 5 1. For n 1, by the Pythagorean theorem and (13), D,n R,n d τ on the event {τ + n < τ +1 }. Thus on ths event the rght hand sde of (17) s greater than or equal to d τ + β(0 d τ ) + 0. Hence due to Lemma 3 and (17), P -a.s. for all n 1, exp( c 3 (1 + β)d τ )P [τ + n < τ +1 F τ ] c 5 exp( c 4 n), whch s equvalent to the clam of the lemma wth c 6 := c 3 (1 + β)/c 4. The followng result s stronger than Lemma 5. Proposton 6. τ < P -a.s. for all 0. Moreover, there are postve constants c 7, c 8 and fnte constants c 9 and c 10 1 such that for all 0 and n 0, P -a.s., (23) (24) P [ n F τ ] c 9 exp( c 7 n) and E [exp(c 8 ) F τ ] c 10. Proof. (24) s an mmedate consequence of (23). For the proof of (23) choose (25) c 7 := γc 4 c 6 + γ and c 9 := c 5 e c 4 wth c 4, c 5 and c 6 accordng to Lemma 5. We only need to show that (23) holds for all 1 wth τ <. Indeed, the case = 0 s trval snce τ 0 = 0, τ 1 = 1 and hence 0 = 1. Moreover, snce (23) mples < P -a.s., we then have τ = < as well. Fx 1 and n 0. We dstngush three cases: {n < γd τ }, {γd τ n < (c 6 + γ)d τ } and {(c 6 + γ)d τ n}.

13 RANDOM WALK AVOIDING ITS CONVEX HULL 13 Note that these events are elements of F τ and partton Ω. By defnton of γ +1, (26) γ +1 τ + γd τ snce the walker takes steps of length one. Therefore, on {n < γd τ }, P [ > n F τ ] On {γd τ n < (c 6 + γ)d τ }, P [ > n F τ ] P [τ + γd τ < τ +1 F τ ] Lemma 4 c 5 exp( c 4 (γ d τ 1)) (25) Fnally, on {(c 6 + γ)d τ n}, P [ > n F τ ] (26) = P [τ + n < τ +1 γ +1 F τ ] Lemma 4 c 5 exp( c 4 n) (25) c 9 exp( c 7 n). (26) P [τ + γd τ 1 < τ +1 γ +1 F τ ] c 9 exp( c 7 n). Lemma 5 c 5 exp(c 4 (c 6 d τ n)) (25) where the last nequalty can easly be checked. c 9 exp( c 7 n), 5. Lnear growth of the dameter and proof of Theorem 1 The followng result (wth m = 0) mples that (d n ) n has a postve lm nf speed. Lemma 7. There are constants c 11 > 0 and c 12 < such that for all 0 m n, E[exp(d m d n )] c 12 (n + 1) exp(c 11 (m n)). For the proof of ths lemma and of Theorem 1 we need the followng defnton: Gven n 0 let n := sup{ 0 τ n}. Note that (27) d τn = d n and n τ n n < τ n+1. Proof of Lemma 7. The case n = m s trval. So let 0 m < n and set (28) f(m, n) := n m > 0 and g(m, n) := c 8f(m, n) > 0, 2n 2 ln c 10 where c 8 and c 10 are accordng to Proposton 6. A smple unon bound yelds E[e dm dn ] I + II + III, where I := P [τ m+1 m f(m, n)n], II := P [τ m+1 m < f(m, n)n, n < m + g(m, n)n ] and III := E [exp (d m d n ), n m + g(m, n)n ],

14 14 RANDOM WALK AVOIDING ITS CONVEX HULL m n τ m m τ +1 m τ n n τ n +1 Fgure 7. see also Fgure 7. Here term I corresponds to the stuaton n whch after tme m the dameter does not ncrease for an untypcal long whle. Term II handles the case n whch the dameter does ncrease shortly after tme m, as t should, but not often enough n the remanng tme untl n. The thrd term III consders the orgnal random varable on the typcal event that the number of tmes at whch the dameter ncreases s at least proportonal to n wth a constant of proportonalty not too small. It suffces to show that each of these three terms decays as n n the way clamed n Lemma 7 wth constants c 11 and c 12 ndependent of n and m. As for the frst term, I P [ m f(m, n)n ] (23) c 9 (m + 1)e c 7 f(m,n)n (27) = m P [ m =, f(m, n)n ] =0 c 9 (n + 1)e c 7(m n)/2, whch s an upper bound lke the one requested n Lemma 7. The second term s estmated as follows. II (27) = P [ ] τ m+1 < m + f(m, n)n, n < τ n+1 τ m+ g(m,n)n (28) P [ τ m+ g(m,n)n τ m+1 n m f(m, n)n = f(m, n)n ] E [ exp ( ( c 8 τm+ g(m,n)n τ m+1 f(m, n)n ))] (29) = e c 8f(m,n)n k 1 = e c 8f(m,n)n E k 1 E [ exp ( c 8 ( τk+ g(m,n)n 1 τ k )), m + 1 = k ] g(m,n)n 2 =0 exp (c 8 k+ ), m + 1 = k. Note that { m + 1 = k} s the event that τ k s the frst tme after tme m at whch the dameter ncreases. Therefore, (30) { m + 1 = k} F τk. Moreover, the ncrements k+ are measurable wth respect to F τk++1. Consequently, by condtonng n (29) on F τk+ g(m,n)n 2 and applyng Proposton

15 RANDOM WALK AVOIDING ITS CONVEX HULL 15 1/2 X k() 1 Xτ X τ+u =X τ,0 τ +1 K τ Fgure 8. The event A occurs f the frst tral pont sampled les on the bold arc. 6 (24) wth = k + g(m, n)n 2 we conclude g(m,n)n 3 II e c8f(m,n)n c 10 E exp (c 8 ( k+ )), m + 1 = k. k 1 =0 Contnung n ths way we obtan by nducton after g(m, n)n 1 steps, II e c8f(m,n)n c g(m,n)n 1 10 e c8f(m,n)n c g(m,n)n 10 (28) = e (c 8/4)(m n), whch s agan of the form requred n Lemma 7. In order demonstrate that also the thrd term III behaves properly we wll show that the ncrements d τ+1 d τ, 1, have a unformly postve chance of beng larger than a fxed constant, say 1/2, ndependently of the past. To ths end, we may assume that the process (X n ) n s generated n the followng way: There are..d. random varables U n,k, n 0, k 0, unformly dstrbuted on the unt crcle centered n 0 such that X n+1 = X n + U n,k, where k s the smallest nteger such that X n, X n + U n,k does not ntersect K n. Then for any 1, by defnton of τ, (31) {d τ+1 d τ + 1/2} {d τ +1 d τ + 1/2} { U τ,0 Xτ X k() 1 } =: A. d τ 2 The reason for ncluson (31) s llustrated n Fgure 8: If A occurs then K τ and X τ + U τ,0 are separated by a slab of wdth 1/2. In partcular, the lne connectng X τ and X τ + U τ,0 does not ntersect K τ. Hence τ +1 = τ + 1 and X τ+1 = X τ +1 = X τ + U τ,0. Therefore, d τ +1 X τ +1 X k() X τ X k() + 1/2 = d τ + 1/2.

16 16 RANDOM WALK AVOIDING ITS CONVEX HULL It follows from (31) that for all 1 j 1 j 2, (32) j 2 1 j 2 1 d τj2 d τj1 1 1{d τ+1 d τ + 1/2} 1 1{A }. 2 2 =j 1 =j 1 Ths estmate wll be useful snce the random varables (33) 1{A } ( 1) are..d. wth P [A ] > 0. Indeed, let F n (n 0) be the σ-feld generated by U m,k, 0 m < n, 0 k. Because of F n F n we have A j F τ for all 1 j <. Moreover, snce the unform dstrbuton on the unt crcle s nvarant under rotatons, (34) A s ndependent of F τ ( 1) and P [A Fτ ] = P [A ] s just the length of the bold crcle segment shown n Fgure 8 dvded by 2π. Ths mples (33). Now we estmate III by (27) III = E [ exp ( ) d τm d τn, n m + g(m, n)n ] E [ exp ( ) d τm+1 d τn, n ( m + 1) + g(m, n)n 1 ] [ ) ] E exp (d τk d τk+ g(m,n)n 1, m + 1 = k k 1 (35) (32) k 1 E exp 1 2 k+ g(m,n)n 2 =k 1{A }, m + 1 = k. As seen n (30), { m + 1 = k} F τk F τk. Therefore, after condtonng n (35) on F τk, we see wth the help of (34) for k and (33) that the rght hand sde of (35) equals [ ( E exp 1 g(m,n)n 1 1)] 2 A, whch decays as requred n Lemma 7, see (28). Lemma 7 drectly mples a weaker verson of Theorem 1 n whch X n s replaced by d n. For the full statement we need the followng addtonal argument. Proof of Theorem 1. (2) follows from (1) by the Borel-Cantell lemma. For the proof of (1) pck c 11 and c 12 accordng to Lemma 7 and choose c 13 > 0 and c 1 > 0 small enough such that (36) 2c 13 c 11 < 0 and 2c 1 c 11 (c 13 c 1 ) < 0.

17 RANDOM WALK AVOIDING ITS CONVEX HULL 17 We denote by M n := max{ X m m n} the walker s maxmal dstance from the orgn by tme n. Note that M n and d n are related va (37) M n d n 2M n for all n 0 because of X 0 = 0. By a unon bound for any n 0, (38) P [ X n c 1 n] P [ n c 1 n] + P [M n c 13 n] + P [B n ], where B n := { n < c 1 n, M n > c 13 n, X n c 1 n}. It suffces to show that each one of the three terms on the rght hand sde of (38) decays exponentally fast n n. As for the frst term, n P [ n c 1 n] (27) = P [ n =, c 1 n ] (23) c 9 (n + 1)e c 7c 1 n, =0 whch decays exponentally fast n n ndeed. So does the second term n (38) snce by Chebyshev s nequalty, P [M n c 13 n] (37) P [d n 2c 13 n] e 2c 13n E[e dn ] Lemma 7 c 12 (n + 1)e (2c 13 c 11 )n, whch decays exponentally fast due to the choce of c 13 n (36). Fnally, we are gong to bound the thrd term n (38), P [B n ]. Defne the ladder tmes (µ j ) j of the process (M n ) n 0 recursvely by µ 0 := 0 and µ j+1 := nf{n > µ j M n > M µj }. In analogy to ( n ) n for (τ ) we defne for (µ j ) j the ncreasng sequence (j n ) n by j n := sup{j 0 µ j n} and note that µ jn n < µ jn+1 and M n = X µjn. Hence on the event B n, X µjn X n X µjn X n = M n X n (c 13 c 1 )n. Snce the walker takes steps of length one, ths mples n µ jn (c 13 c 1 )n and therefore, on the event B n, (39) µ jn (1 c 13 + c 1 )n. On the other hand, on B n, (40) d n (27) = d τn = X τn X k(n) X n + X n X τn + X k(n) c 1 n + n + M n, where we used agan the fact that the steps have length one to estmate the second term and k( n ) n n to bound the thrd term. Therefore (40) can be estmated on B n from above by (37) (39) c 1 n + c 1 n + M µjn 2c 1 n + d µjn 2c 1 n + d (1 c13 +c 1 )n.

18 18 RANDOM WALK AVOIDING ITS CONVEX HULL Consequently, by Chebyshev s nequalty and Lemma 7, P [B n ] P [d n d (1 c13 +c 1 )n 2c 1 n] c 12 (n + 1)e (2c 1 c 11 (c 13 c 1 ))n, whch decays exponentally n n due to the choce of c 13 and c 1 n (36). References [1] O. Angel, I. Benjamn and B. Vrág. Random walks that avod ther past convex hull. Elect. Comm. n Probab. 8 (2003) [2] I. Benjamn and D.B. Wlson. Excted random walk. Elect. Comm. n Probab. 8 (2003) Department of Mathematcs Stanford Unversty Stanford, CA 94305, U.S.A.

Case A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.

Case A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k. THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty

More information

DECOUPLING THEORY HW2

DECOUPLING THEORY HW2 8.8 DECOUPLIG THEORY HW2 DOGHAO WAG DATE:OCT. 3 207 Problem We shall start by reformulatng the problem. Denote by δ S n the delta functon that s evenly dstrbuted at the n ) dmensonal unt sphere. As a temporal

More information

arxiv: v1 [math.co] 1 Mar 2014

arxiv: v1 [math.co] 1 Mar 2014 Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest

More information

NUMERICAL DIFFERENTIATION

NUMERICAL DIFFERENTIATION NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the

More information

Dirichlet s Theorem In Arithmetic Progressions

Dirichlet s Theorem In Arithmetic Progressions Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,

More information

n ). This is tight for all admissible values of t, k and n. k t + + n t

n ). This is tight for all admissible values of t, k and n. k t + + n t MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what

More information

Min Cut, Fast Cut, Polynomial Identities

Min Cut, Fast Cut, Polynomial Identities Randomzed Algorthms, Summer 016 Mn Cut, Fast Cut, Polynomal Identtes Instructor: Thomas Kesselhem and Kurt Mehlhorn 1 Mn Cuts n Graphs Lecture (5 pages) Throughout ths secton, G = (V, E) s a mult-graph.

More information

Lecture 12: Discrete Laplacian

Lecture 12: Discrete Laplacian Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly

More information

Geometric drawings of K n with few crossings

Geometric drawings of K n with few crossings Geometrc drawngs of K n wth few crossngs Bernardo M. Ábrego, Slva Fernández-Merchant Calforna State Unversty Northrdge {bernardo.abrego,slva.fernandez}@csun.edu ver 9 Abstract We gve a new upper bound

More information

Topics in Probability Theory and Stochastic Processes Steven R. Dunbar. Classes of States and Stationary Distributions

Topics in Probability Theory and Stochastic Processes Steven R. Dunbar. Classes of States and Stationary Distributions Steven R. Dunbar Department of Mathematcs 203 Avery Hall Unversty of Nebraska-Lncoln Lncoln, NE 68588-0130 http://www.math.unl.edu Voce: 402-472-3731 Fax: 402-472-8466 Topcs n Probablty Theory and Stochastc

More information

Anti-van der Waerden numbers of 3-term arithmetic progressions.

Anti-van der Waerden numbers of 3-term arithmetic progressions. Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest

More information

Random Partitions of Samples

Random Partitions of Samples Random Parttons of Samples Klaus Th. Hess Insttut für Mathematsche Stochastk Technsche Unverstät Dresden Abstract In the present paper we construct a decomposton of a sample nto a fnte number of subsamples

More information

Self-complementing permutations of k-uniform hypergraphs

Self-complementing permutations of k-uniform hypergraphs Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty

More information

Line Drawing and Clipping Week 1, Lecture 2

Line Drawing and Clipping Week 1, Lecture 2 CS 43 Computer Graphcs I Lne Drawng and Clppng Week, Lecture 2 Davd Breen, Wllam Regl and Maxm Peysakhov Geometrc and Intellgent Computng Laboratory Department of Computer Scence Drexel Unversty http://gcl.mcs.drexel.edu

More information

The Second Anti-Mathima on Game Theory

The Second Anti-Mathima on Game Theory The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player

More information

Bayesian predictive Configural Frequency Analysis

Bayesian predictive Configural Frequency Analysis Psychologcal Test and Assessment Modelng, Volume 54, 2012 (3), 285-292 Bayesan predctve Confgural Frequency Analyss Eduardo Gutérrez-Peña 1 Abstract Confgural Frequency Analyss s a method for cell-wse

More information

Module 2. Random Processes. Version 2 ECE IIT, Kharagpur

Module 2. Random Processes. Version 2 ECE IIT, Kharagpur Module Random Processes Lesson 6 Functons of Random Varables After readng ths lesson, ou wll learn about cdf of functon of a random varable. Formula for determnng the pdf of a random varable. Let, X be

More information

The optimal delay of the second test is therefore approximately 210 hours earlier than =2.

The optimal delay of the second test is therefore approximately 210 hours earlier than =2. THE IEC 61508 FORMULAS 223 The optmal delay of the second test s therefore approxmately 210 hours earler than =2. 8.4 The IEC 61508 Formulas IEC 61508-6 provdes approxmaton formulas for the PF for smple

More information

arxiv: v2 [math.co] 27 Nov 2008

arxiv: v2 [math.co] 27 Nov 2008 Stablty results for unquely determned sets from two drectons n dscrete tomography Brgt van Dalen arxv:0800316v [mathco] 7 Nov 008 Mathematsch Insttuut, Unverstet Leden, Nels Bohrweg 1, 333 CA Leden, The

More information

Econ107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4)

Econ107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4) I. Classcal Assumptons Econ7 Appled Econometrcs Topc 3: Classcal Model (Studenmund, Chapter 4) We have defned OLS and studed some algebrac propertes of OLS. In ths topc we wll study statstcal propertes

More information

Markov Chain Monte Carlo Lecture 6

Markov Chain Monte Carlo Lecture 6 where (x 1,..., x N ) X N, N s called the populaton sze, f(x) f (x) for at least one {1, 2,..., N}, and those dfferent from f(x) are called the tral dstrbutons n terms of mportance samplng. Dfferent ways

More information

Supplement to Clustering with Statistical Error Control

Supplement to Clustering with Statistical Error Control Supplement to Clusterng wth Statstcal Error Control Mchael Vogt Unversty of Bonn Matthas Schmd Unversty of Bonn In ths supplement, we provde the proofs that are omtted n the paper. In partcular, we derve

More information

DIFFERENTIAL FORMS BRIAN OSSERMAN

DIFFERENTIAL FORMS BRIAN OSSERMAN DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne

More information

Lecture 10 Support Vector Machines II

Lecture 10 Support Vector Machines II Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed

More information

P exp(tx) = 1 + t 2k M 2k. k N

P exp(tx) = 1 + t 2k M 2k. k N 1. Subgaussan tals Defnton. Say that a random varable X has a subgaussan dstrbuton wth scale factor σ< f P exp(tx) exp(σ 2 t 2 /2) for all real t. For example, f X s dstrbuted N(,σ 2 ) then t s subgaussan.

More information

Stat 642, Lecture notes for 01/27/ d i = 1 t. n i t nj. n j

Stat 642, Lecture notes for 01/27/ d i = 1 t. n i t nj. n j Stat 642, Lecture notes for 01/27/05 18 Rate Standardzaton Contnued: Note that f T n t where T s the cumulatve follow-up tme and n s the number of subjects at rsk at the mdpont or nterval, and d s the

More information

On the size of quotient of two subsets of positive integers.

On the size of quotient of two subsets of positive integers. arxv:1706.04101v1 [math.nt] 13 Jun 2017 On the sze of quotent of two subsets of postve ntegers. Yur Shtenkov Abstract We obtan non-trval lower bound for the set A/A, where A s a subset of the nterval [1,

More information

Week 2. This week, we covered operations on sets and cardinality.

Week 2. This week, we covered operations on sets and cardinality. Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from

More information

Approximate Smallest Enclosing Balls

Approximate Smallest Enclosing Balls Chapter 5 Approxmate Smallest Enclosng Balls 5. Boundng Volumes A boundng volume for a set S R d s a superset of S wth a smple shape, for example a box, a ball, or an ellpsod. Fgure 5.: Boundng boxes Q(P

More information

Yong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )

Yong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 ) Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often

More information

The Geometry of Logit and Probit

The Geometry of Logit and Probit The Geometry of Logt and Probt Ths short note s meant as a supplement to Chapters and 3 of Spatal Models of Parlamentary Votng and the notaton and reference to fgures n the text below s to those two chapters.

More information

Excess Error, Approximation Error, and Estimation Error

Excess Error, Approximation Error, and Estimation Error E0 370 Statstcal Learnng Theory Lecture 10 Sep 15, 011 Excess Error, Approxaton Error, and Estaton Error Lecturer: Shvan Agarwal Scrbe: Shvan Agarwal 1 Introducton So far, we have consdered the fnte saple

More information

Amusing Properties of Odd Numbers Derived From Valuated Binary Tree

Amusing Properties of Odd Numbers Derived From Valuated Binary Tree IOSR Journal of Mathematcs (IOSR-JM) e-iss: 78-578, p-iss: 19-765X. Volume 1, Issue 6 Ver. V (ov. - Dec.016), PP 5-57 www.osrjournals.org Amusng Propertes of Odd umbers Derved From Valuated Bnary Tree

More information

Workshop: Approximating energies and wave functions Quantum aspects of physical chemistry

Workshop: Approximating energies and wave functions Quantum aspects of physical chemistry Workshop: Approxmatng energes and wave functons Quantum aspects of physcal chemstry http://quantum.bu.edu/pltl/6/6.pdf Last updated Thursday, November 7, 25 7:9:5-5: Copyrght 25 Dan Dll (dan@bu.edu) Department

More information

Polynomials. 1 More properties of polynomials

Polynomials. 1 More properties of polynomials Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a

More information

On the number of regions in an m-dimensional space cut by n hyperplanes

On the number of regions in an m-dimensional space cut by n hyperplanes 6 On the nuber of regons n an -densonal space cut by n hyperplanes Chungwu Ho and Seth Zeran Abstract In ths note we provde a unfor approach for the nuber of bounded regons cut by n hyperplanes n general

More information

THE CURRENT BALANCE Physics 258/259

THE CURRENT BALANCE Physics 258/259 DSH 1988, 005 THE CURRENT BALANCE Physcs 58/59 The tme average force between two parallel conductors carryng an alternatng current s measured by balancng ths force aganst the gravtatonal force on a set

More information

ECE559VV Project Report

ECE559VV Project Report ECE559VV Project Report (Supplementary Notes Loc Xuan Bu I. MAX SUM-RATE SCHEDULING: THE UPLINK CASE We have seen (n the presentaton that, for downlnk (broadcast channels, the strategy maxmzng the sum-rate

More information

Chapter 8 Indicator Variables

Chapter 8 Indicator Variables Chapter 8 Indcator Varables In general, e explanatory varables n any regresson analyss are assumed to be quanttatve n nature. For example, e varables lke temperature, dstance, age etc. are quanttatve n

More information

Lossy Compression. Compromise accuracy of reconstruction for increased compression.

Lossy Compression. Compromise accuracy of reconstruction for increased compression. Lossy Compresson Compromse accuracy of reconstructon for ncreased compresson. The reconstructon s usually vsbly ndstngushable from the orgnal mage. Typcally, one can get up to 0:1 compresson wth almost

More information

Copyright 2017 by Taylor Enterprises, Inc., All Rights Reserved. Adjusted Control Limits for P Charts. Dr. Wayne A. Taylor

Copyright 2017 by Taylor Enterprises, Inc., All Rights Reserved. Adjusted Control Limits for P Charts. Dr. Wayne A. Taylor Taylor Enterprses, Inc. Control Lmts for P Charts Copyrght 2017 by Taylor Enterprses, Inc., All Rghts Reserved. Control Lmts for P Charts Dr. Wayne A. Taylor Abstract: P charts are used for count data

More information

DS-GA 1002 Lecture notes 5 Fall Random processes

DS-GA 1002 Lecture notes 5 Fall Random processes DS-GA Lecture notes 5 Fall 6 Introducton Random processes Random processes, also known as stochastc processes, allow us to model quanttes that evolve n tme (or space n an uncertan way: the trajectory of

More information

Learning Theory: Lecture Notes

Learning Theory: Lecture Notes Learnng Theory: Lecture Notes Lecturer: Kamalka Chaudhur Scrbe: Qush Wang October 27, 2012 1 The Agnostc PAC Model Recall that one of the constrants of the PAC model s that the data dstrbuton has to be

More information

A PROCEDURE FOR SIMULATING THE NONLINEAR CONDUCTION HEAT TRANSFER IN A BODY WITH TEMPERATURE DEPENDENT THERMAL CONDUCTIVITY.

A PROCEDURE FOR SIMULATING THE NONLINEAR CONDUCTION HEAT TRANSFER IN A BODY WITH TEMPERATURE DEPENDENT THERMAL CONDUCTIVITY. Proceedngs of the th Brazlan Congress of Thermal Scences and Engneerng -- ENCIT 006 Braz. Soc. of Mechancal Scences and Engneerng -- ABCM, Curtba, Brazl,- Dec. 5-8, 006 A PROCEDURE FOR SIMULATING THE NONLINEAR

More information

MEASUREMENT OF MOMENT OF INERTIA

MEASUREMENT OF MOMENT OF INERTIA 1. measurement MESUREMENT OF MOMENT OF INERTI The am of ths measurement s to determne the moment of nerta of the rotor of an electrc motor. 1. General relatons Rotatng moton and moment of nerta Let us

More information

Least Squares Fitting of Data

Least Squares Fitting of Data Least Squares Fttng of Data Davd Eberly Geoetrc Tools, LLC http://www.geoetrctools.co/ Copyrght c 1998-2014. All Rghts Reserved. Created: July 15, 1999 Last Modfed: February 9, 2008 Contents 1 Lnear Fttng

More information

Chapter 20 Duration Analysis

Chapter 20 Duration Analysis Chapter 20 Duraton Analyss Duraton: tme elapsed untl a certan event occurs (weeks unemployed, months spent on welfare). Survval analyss: duraton of nterest s survval tme of a subject, begn n an ntal state

More information

Econ Statistical Properties of the OLS estimator. Sanjaya DeSilva

Econ Statistical Properties of the OLS estimator. Sanjaya DeSilva Econ 39 - Statstcal Propertes of the OLS estmator Sanjaya DeSlva September, 008 1 Overvew Recall that the true regresson model s Y = β 0 + β 1 X + u (1) Applyng the OLS method to a sample of data, we estmate

More information

CHAPTER 4. Vector Spaces

CHAPTER 4. Vector Spaces man 2007/2/16 page 234 CHAPTER 4 Vector Spaces To crtcze mathematcs for ts abstracton s to mss the pont entrel. Abstracton s what makes mathematcs work. Ian Stewart The man am of ths tet s to stud lnear

More information

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of

More information

A proof of the dimension conjecture and of Jacobi's bound. François Ollivier (CNRS) LIX UMR CNRS École polytechnique

A proof of the dimension conjecture and of Jacobi's bound. François Ollivier (CNRS) LIX UMR CNRS École polytechnique A proof of the dmenson conjecture and of Jacob's bound Franços Ollver (CNRS) LIX UMR CNRS École polytechnque Jacob s bound Proposton. Let P 1,..., P n , a,j = ord xj P and = max σ S n Σ

More information

k(k 1)(k 2)(p 2) 6(p d.

k(k 1)(k 2)(p 2) 6(p d. BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the

More information

Singular Value Decomposition: Theory and Applications

Singular Value Decomposition: Theory and Applications Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real

More information

COS 521: Advanced Algorithms Game Theory and Linear Programming

COS 521: Advanced Algorithms Game Theory and Linear Programming COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton

More information

Population element: 1 2 N. 1.1 Sampling with Replacement: Hansen-Hurwitz Estimator(HH)

Population element: 1 2 N. 1.1 Sampling with Replacement: Hansen-Hurwitz Estimator(HH) Chapter 1 Samplng wth Unequal Probabltes Notaton: Populaton element: 1 2 N varable of nterest Y : y1 y2 y N Let s be a sample of elements drawn by a gven samplng method. In other words, s s a subset of

More information

MATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1

MATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1 MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε

More information

Adiabatic Sorption of Ammonia-Water System and Depicting in p-t-x Diagram

Adiabatic Sorption of Ammonia-Water System and Depicting in p-t-x Diagram Adabatc Sorpton of Ammona-Water System and Depctng n p-t-x Dagram J. POSPISIL, Z. SKALA Faculty of Mechancal Engneerng Brno Unversty of Technology Techncka 2, Brno 61669 CZECH REPUBLIC Abstract: - Absorpton

More information

Christian Aebi Collège Calvin, Geneva, Switzerland

Christian Aebi Collège Calvin, Geneva, Switzerland #A7 INTEGERS 12 (2012) A PROPERTY OF TWIN PRIMES Chrstan Aeb Collège Calvn, Geneva, Swtzerland chrstan.aeb@edu.ge.ch Grant Carns Department of Mathematcs, La Trobe Unversty, Melbourne, Australa G.Carns@latrobe.edu.au

More information

One Dimensional Axial Deformations

One Dimensional Axial Deformations One Dmensonal al Deformatons In ths secton, a specfc smple geometr s consdered, that of a long and thn straght component loaded n such a wa that t deforms n the aal drecton onl. The -as s taken as the

More information

Fundamental loop-current method using virtual voltage sources technique for special cases

Fundamental loop-current method using virtual voltage sources technique for special cases Fundamental loop-current method usng vrtual voltage sources technque for specal cases George E. Chatzaraks, 1 Marna D. Tortorel 1 and Anastasos D. Tzolas 1 Electrcal and Electroncs Engneerng Departments,

More information

Performance of Different Algorithms on Clustering Molecular Dynamics Trajectories

Performance of Different Algorithms on Clustering Molecular Dynamics Trajectories Performance of Dfferent Algorthms on Clusterng Molecular Dynamcs Trajectores Chenchen Song Abstract Dfferent types of clusterng algorthms are appled to clusterng molecular dynamcs trajectores to get nsght

More information

x yi In chapter 14, we want to perform inference (i.e. calculate confidence intervals and perform tests of significance) in this setting.

x yi In chapter 14, we want to perform inference (i.e. calculate confidence intervals and perform tests of significance) in this setting. The Practce of Statstcs, nd ed. Chapter 14 Inference for Regresson Introducton In chapter 3 we used a least-squares regresson lne (LSRL) to represent a lnear relatonshp etween two quanttatve explanator

More information

RELIABILITY ASSESSMENT

RELIABILITY ASSESSMENT CHAPTER Rsk Analyss n Engneerng and Economcs RELIABILITY ASSESSMENT A. J. Clark School of Engneerng Department of Cvl and Envronmental Engneerng 4a CHAPMAN HALL/CRC Rsk Analyss for Engneerng Department

More information

REDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].

REDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1]. REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß

More information

18. SIMPLE LINEAR REGRESSION III

18. SIMPLE LINEAR REGRESSION III 8. SIMPLE LINEAR REGRESSION III US Domestc Beers: Calores vs. % Alcohol Ftted Values and Resduals To each observed x, there corresponds a y-value on the ftted lne, y ˆ ˆ = α + x. The are called ftted values.

More information

New modular multiplication and division algorithms based on continued fraction expansion

New modular multiplication and division algorithms based on continued fraction expansion New modular multplcaton and dvson algorthms based on contnued fracton expanson Mourad Goucem a a UPMC Unv Pars 06 and CNRS UMR 7606, LIP6 4 place Jusseu, F-75252, Pars cedex 05, France Abstract In ths

More information

Programming Project 1: Molecular Geometry and Rotational Constants

Programming Project 1: Molecular Geometry and Rotational Constants Programmng Project 1: Molecular Geometry and Rotatonal Constants Center for Computatonal Chemstry Unversty of Georga Athens, Georga 30602 Summer 2012 1 Introducton Ths programmng project s desgned to provde

More information

Restricted Lie Algebras. Jared Warner

Restricted Lie Algebras. Jared Warner Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called

More information

12. The Hamilton-Jacobi Equation Michael Fowler

12. The Hamilton-Jacobi Equation Michael Fowler 1. The Hamlton-Jacob Equaton Mchael Fowler Back to Confguraton Space We ve establshed that the acton, regarded as a functon of ts coordnate endponts and tme, satsfes ( ) ( ) S q, t / t+ H qpt,, = 0, and

More information

Simulation and Random Number Generation

Simulation and Random Number Generation Smulaton and Random Number Generaton Summary Dscrete Tme vs Dscrete Event Smulaton Random number generaton Generatng a random sequence Generatng random varates from a Unform dstrbuton Testng the qualty

More information

Ph 219a/CS 219a. Exercises Due: Wednesday 23 October 2013

Ph 219a/CS 219a. Exercises Due: Wednesday 23 October 2013 1 Ph 219a/CS 219a Exercses Due: Wednesday 23 October 2013 1.1 How far apart are two quantum states? Consder two quantum states descrbed by densty operators ρ and ρ n an N-dmensonal Hlbert space, and consder

More information

Electrical double layer: revisit based on boundary conditions

Electrical double layer: revisit based on boundary conditions Electrcal double layer: revst based on boundary condtons Jong U. Km Department of Electrcal and Computer Engneerng, Texas A&M Unversty College Staton, TX 77843-318, USA Abstract The electrcal double layer

More information

3.1 ML and Empirical Distribution

3.1 ML and Empirical Distribution 67577 Intro. to Machne Learnng Fall semester, 2008/9 Lecture 3: Maxmum Lkelhood/ Maxmum Entropy Dualty Lecturer: Amnon Shashua Scrbe: Amnon Shashua 1 In the prevous lecture we defned the prncple of Maxmum

More information

JAB Chain. Long-tail claims development. ASTIN - September 2005 B.Verdier A. Klinger

JAB Chain. Long-tail claims development. ASTIN - September 2005 B.Verdier A. Klinger JAB Chan Long-tal clams development ASTIN - September 2005 B.Verder A. Klnger Outlne Chan Ladder : comments A frst soluton: Munch Chan Ladder JAB Chan Chan Ladder: Comments Black lne: average pad to ncurred

More information

Weighted Voting Systems

Weighted Voting Systems Weghted Votng Systems Elssa Brown Chrssy Donovan Charles Noneman June 5, 2009 Votng systems can be deceptve. For nstance, a votng system mght consst of four people, n whch three of the people have 2 votes,

More information

Hybrid dynamical systems vs. ordinary differential equations: Examples of pathological behavior

Hybrid dynamical systems vs. ordinary differential equations: Examples of pathological behavior Hybrd dynamcal systems vs. ordnary dfferental equatons: Examples of pathologcal behavor Elena Ltsyn Yur V. Nepomnyashchkh Arcady Ponosov Keywords. Stablzaton, hybrd feedback control, functonal dfferental

More information

Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3

Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3 Lorentz Group Lng Fong L ontents Lorentz group. Generators............................................. Smple representatons..................................... 3 Lorentz group In the dervaton of Drac

More information

Negative Binomial Regression

Negative Binomial Regression STATGRAPHICS Rev. 9/16/2013 Negatve Bnomal Regresson Summary... 1 Data Input... 3 Statstcal Model... 3 Analyss Summary... 4 Analyss Optons... 7 Plot of Ftted Model... 8 Observed Versus Predcted... 10 Predctons...

More information

Statistical Mechanics and Combinatorics : Lecture III

Statistical Mechanics and Combinatorics : Lecture III Statstcal Mechancs and Combnatorcs : Lecture III Dmer Model Dmer defntons Defnton A dmer coverng (perfect matchng) of a fnte graph s a set of edges whch covers every vertex exactly once, e every vertex

More information

7.1 One Dimensional Axial Deformations

7.1 One Dimensional Axial Deformations Secton 7. 7. One Dmensonal al Deformatons In ths secton, a specfc smple geometr s consdered, that of a long and thn straght component loaded n such a wa that t deforms n the aal drecton onl. The -as s

More information

COMBINATORIAL IDENTITIES DERIVING FROM THE n-th POWER OF A 2 2 MATRIX

COMBINATORIAL IDENTITIES DERIVING FROM THE n-th POWER OF A 2 2 MATRIX COMBINATORIAL IDENTITIES DERIVING FROM THE n-th POWER OF A MATRIX J Mc Laughln 1 Mathematcs Department Trnty College 300 Summt Street, Hartford, CT 06106-3100 amesmclaughln@trncolledu Receved:, Accepted:,

More information

Robust Norm Equivalencies and Preconditioning

Robust Norm Equivalencies and Preconditioning Robust Norm Equvalences and Precondtonng Karl Scherer Insttut für Angewandte Mathematk, Unversty of Bonn, Wegelerstr. 6, 53115 Bonn, Germany Summary. In ths contrbuton we report on work done n contnuaton

More information

1 Definition of Rademacher Complexity

1 Definition of Rademacher Complexity COS 511: Theoretcal Machne Learnng Lecturer: Rob Schapre Lecture #9 Scrbe: Josh Chen March 5, 2013 We ve spent the past few classes provng bounds on the generalzaton error of PAClearnng algorths for the

More information

XII. The Born-Oppenheimer Approximation

XII. The Born-Oppenheimer Approximation X. The Born-Oppenhemer Approxmaton The Born- Oppenhemer (BO) approxmaton s probably the most fundamental approxmaton n chemstry. From a practcal pont of vew t wll allow us to treat the ectronc structure

More information

Numerical Transient Heat Conduction Experiment

Numerical Transient Heat Conduction Experiment Numercal ransent Heat Conducton Experment OBJECIVE 1. o demonstrate the basc prncples of conducton heat transfer.. o show how the thermal conductvty of a sold can be measured. 3. o demonstrate the use

More information

Andreas C. Drichoutis Agriculural University of Athens. Abstract

Andreas C. Drichoutis Agriculural University of Athens. Abstract Heteroskedastcty, the sngle crossng property and ordered response models Andreas C. Drchouts Agrculural Unversty of Athens Panagots Lazards Agrculural Unversty of Athens Rodolfo M. Nayga, Jr. Texas AMUnversty

More information

Comparison of the Population Variance Estimators. of 2-Parameter Exponential Distribution Based on. Multiple Criteria Decision Making Method

Comparison of the Population Variance Estimators. of 2-Parameter Exponential Distribution Based on. Multiple Criteria Decision Making Method Appled Mathematcal Scences, Vol. 7, 0, no. 47, 07-0 HIARI Ltd, www.m-hkar.com Comparson of the Populaton Varance Estmators of -Parameter Exponental Dstrbuton Based on Multple Crtera Decson Makng Method

More information

Axiomatizations of Pareto Equilibria in Multicriteria Games

Axiomatizations of Pareto Equilibria in Multicriteria Games ames and Economc Behavor 28, 146154 1999. Artcle ID game.1998.0680, avalable onlne at http:www.dealbrary.com on Axomatzatons of Pareto Equlbra n Multcrtera ames Mark Voorneveld,* Dres Vermeulen, and Peter

More information

Explicit constructions of all separable two-qubits density matrices and related problems for three-qubits systems

Explicit constructions of all separable two-qubits density matrices and related problems for three-qubits systems Explct constructons of all separable two-qubts densty matrces and related problems for three-qubts systems Y. en-ryeh and. Mann Physcs Department, Technon-Israel Insttute of Technology, Hafa 2000, Israel

More information

Semilattices of Rectangular Bands and Groups of Order Two.

Semilattices of Rectangular Bands and Groups of Order Two. 1 Semlattces of Rectangular Bs Groups of Order Two R A R Monzo Abstract We prove that a semgroup S s a semlattce of rectangular bs groups of order two f only f t satsfes the dentty y y, y y, y S 1 Introducton

More information

Algorithms for factoring

Algorithms for factoring CSA E0 235: Crytograhy Arl 9,2015 Instructor: Arta Patra Algorthms for factorng Submtted by: Jay Oza, Nranjan Sngh Introducton Factorsaton of large ntegers has been a wdely studed toc manly because of

More information

Optimal Pursuit Time in Differential Game for an Infinite System of Differential Equations

Optimal Pursuit Time in Differential Game for an Infinite System of Differential Equations Malaysan Journal of Mathematcal Scences 1(S) August: 267 277 (216) Specal Issue: The 7 th Internatonal Conference on Research and Educaton n Mathematcs (ICREM7) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES

More information

Lecture 5 Decoding Binary BCH Codes

Lecture 5 Decoding Binary BCH Codes Lecture 5 Decodng Bnary BCH Codes In ths class, we wll ntroduce dfferent methods for decodng BCH codes 51 Decodng the [15, 7, 5] 2 -BCH Code Consder the [15, 7, 5] 2 -code C we ntroduced n the last lecture

More information

A Pursuit Problem Described by Infinite System of Differential Equations with Coordinate-Wise Integral Constraints on Control Functions

A Pursuit Problem Described by Infinite System of Differential Equations with Coordinate-Wise Integral Constraints on Control Functions Malaysan Journal of Mathematcal Scences 9(1): 67-76 (15) MALAYSIAN JOURNAL OF MAHEMAICAL SCIENCES Journal homepage: http://enspem.upm.edu.my/journal A Pursut Problem Descrbed by Infnte System of Dfferental

More information

On some developments of the Erdős Ginzburg Ziv Theorem II

On some developments of the Erdős Ginzburg Ziv Theorem II ACTA ARITHMETICA 1102 (2003) On some developments of the Erdős Gnzburg Zv Theorem II by Are Balostock (Moscow, ID), Paul Derker (Moscow, ID), Davd Grynkewcz (Pasadena, CA) and Mark Lotspech (Caldwell,

More information

2 Finite difference basics

2 Finite difference basics Numersche Methoden 1, WS 11/12 B.J.P. Kaus 2 Fnte dfference bascs Consder the one- The bascs of the fnte dfference method are best understood wth an example. dmensonal transent heat conducton equaton T

More information

Module 3: Element Properties Lecture 1: Natural Coordinates

Module 3: Element Properties Lecture 1: Natural Coordinates Module 3: Element Propertes Lecture : Natural Coordnates Natural coordnate system s bascally a local coordnate system whch allows the specfcaton of a pont wthn the element by a set of dmensonless numbers

More information

E Tail Inequalities. E.1 Markov s Inequality. Non-Lecture E: Tail Inequalities

E Tail Inequalities. E.1 Markov s Inequality. Non-Lecture E: Tail Inequalities Algorthms Non-Lecture E: Tal Inequaltes If you hold a cat by the tal you learn thngs you cannot learn any other way. Mar Twan E Tal Inequaltes The smple recursve structure of sp lsts made t relatvely easy

More information

III. Econometric Methodology Regression Analysis

III. Econometric Methodology Regression Analysis Page Econ07 Appled Econometrcs Topc : An Overvew of Regresson Analyss (Studenmund, Chapter ) I. The Nature and Scope of Econometrcs. Lot s of defntons of econometrcs. Nobel Prze Commttee Paul Samuelson,

More information

V.C The Niemeijer van Leeuwen Cumulant Approximation

V.C The Niemeijer van Leeuwen Cumulant Approximation V.C The Nemejer van Leeuwen Cumulant Approxmaton Unfortunately, the decmaton procedure cannot be performed exactly n hgher dmensons. For example, the square lattce can be dvded nto two sublattces. For

More information