Untitled
Untitled
RAN D O M WALK
IN RANDOM AND
N O N- RAND O M
ENVIRONMENTS
h E C D N D E D I T I O N
This page intentionally left blank
L
RANDEOM WALK
IN RANDOM AND
N
NONN-- RANDOMM
ENVIRONMENTS
ENVIRO
E C O N D EDITION
0
Pal Revesz
Technische Universitat Wien, Austria
Technical University of Budapest, Hungary
N E W JERSEY * LONDON *
10;World
-
SINGAPORE
Scientific
-
BEIJING * SHANGHAI HONG KONG * TAIPEI - CHENNAI
Published by
World Scientific Publishing Co. Pte.Ltd.
5 Toh Tuck Link, Singapore 596224
USA ofice; 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK ofice: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
“I did not know that it was so dangerous to drink a beer with you. You
write a book with those you drink a beer with,” said Professor Willem Van
Zwet, referring to the preface of the book Csorgo and I wrote (1981) where
it was told that the idea of that book was born in an inn in London over
a beer. In spite of this danger Willem was brave enough t o invite me t o
Leiden in 1984 for a semester and to drink quite a few beers with me there.
In fact I gave a seminar in Leiden, and the handout of that seminar can be
considered as the very first version of this book. I am indebted to Willem
and to the Department of Leiden for a very pleasant time and a number of
useful discussions.
I wrote this book in 1987-89 in Vienna (Technical University) partly sup-
ported by Fonds zur Forderung der Wissenschaftlichen Forschung, Project
Nr. P6076. During these years I had very strong contact with the Math-
ematical Institute of Budapest. I am especially indebted t o Professors E.
Csaki and A. Foldes for long conversations which have a great influence on
the subject of this book. The reader will meet quite often with the name of
P. Erdos, but his role in this book is even greater. Especially most results
of Part I1 are fully or partly due to him, but he had a significant influence
even on those results that appeared under my name only.
Last but not least, I have t o mention the name of M. Csorgo, with whom
I wrote about 30 joint papers in the last 15 years, some of them strongly
connected with the subject of this book.
V
This page intentionally left blank
Preface to the Second Edition
vii
This page intentionally left blank
Contents
Introduction xv
.
I SIMPLE SYMMETRIC RANDOM WALK IN Z’
Notations and abbreviations 3
1 Introduction of Part I 9
1.1 Randomwalk . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Dyadic expansion . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Rademacher functions . . . . . . . . . . . . . . . . . . . . . 10
1.4 Coin tossing . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 The language of the probabilist . . . . . . . . . . . . . . . . 11
2 Distributions 13
2.1 Exact distributions . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Limit distributions . . . . . . . . . . . . . . . . . . . . . . . 19
5 Lbvy Classes 33
5.1 Definitions . . . . . . . . . . . . ............... 33
5.2 EFKPLIL . . . . . . . . . . . . . ............... 34
5.3 The laws of Chung and Hirsch . . . . . . . . . . . . . . . . 39
5.4 When will S, be very large? . . . . . . . . . . . . . . . . . . 39
ix
x CONTENTS
7 Increments 57
7.1 Long head-runs . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.2 The increments of a Wiener process . . . . . . . . . . . . . 66
7.3 The increments of 5 ’ ~. . . . . . . . . . . . . . . . . . . . . 77
12 Excursions 135
12.1 On the distribution of the zeros of a random walk . . . . . . 135
12.2 Local time and the number of long excursions
(Mesure du voisinage) . . . . . . . . . . . . . . . . . . . . . 141
12.3 Local time and the number of high excursions . . . . . . . . 146
12.4 The local time of high excursions . . . . . . . . . . . . . . . 147
12.5 How many times can a random walk reach its maximum? . 152
CONTENTS xi
Notations 191
.
I11 RANDOM WALK IN RANDOM ENVIRONMENT
28 Introduction 303
31 What Can a Physicist Say About the Local Time <(O. n)? 329
31.1 Two further lemmas on the environment . . . . . . . . . . . 329
31.2 On the local time [ ( O . n ) . . . . . . . . . . . . . . . . . . . . 330
...
CONTENTS Xlll
References 357
The first examinee is saying: Sir, I did not have time enough to study
everything but I learned very carefully the first chapter of your handout.
Very good - says the professor - you will be a great specialist. You
know what a specialist is. A specialist knows more and more about less
and less. Finally he knows everything about nothing.
The second examinee is saying: Sir, I did not have enough time but I
read your handout without taking care of the details. Very good - answers
the professor - you will be a great polymath. You know what a polymath
is. A polymath knows less and less about more and more. Finally he knows
nothing about everything.
Recalling this old joke and realizing that the biggest part of this book
is devoted to the study of the properties of the simple symmetric random
walk (or equivalently, coin tossing) the reader might say that this is a book
for specialists written by a specialist. The most trivial plea of the author is
to say that this book does not tell everything about coin tossing and even
the author does not know everything about it. Seriously speaking I wish to
explain my reasons for writing such a book.
You know that the first probabilists (Bernoulli, Pascal, etc.) investi-
gated the properties of coin tossing sequences and other simple games only.
Later on the progress of the probability theory went into two different di-
rections:
(i) to find newer and deeper properties of the coin tossing sequence,
(ii) to generalize the results known for a coin tossing sequence to more
complicated sequences or processes.
Nowadays the second direction is much more popular than the first one.
In spite of this fact this book mostly follows direction (i).
I hope that:
(a) using the advantage of the simple situation coming from concen-
trating on coin tossing sequences, the reader becomes familiar with the
problems, results and partly the methods of proof of probability theory,
especially those of the limit theorems, without suffering too much from
technical tools and difficulties,
(b) since the random walk (especially in Z d ) is the simplest mathemati-
cal model of the Brownian motion, the reader can find a simple way to the
problems (at least to the classical problems) of statistical physics,
xv
xvi INTRODUCTION
I. SIMPLE SYMMETRIC
RANDOM WALK IN Z1
This page intentionally left blank
Notations and abbreviations
Not ations
General notations
1. X I ,Xa,. . . is a sequence of independent, identically distributed ran-
dom variables with
M i = M - ( n ) = - min Sk,
O<k<n
M: = M: + M l , Yn = M z - S,.
4. { W ( t ) ; 2
t 0) is a Wiener process (cf. Section 6.3).
5. m+(t)= sup W ( s ) ,
o<s<t
m-(t) = - inf W ( s ) ,
ossit
6. b, = b ( n ) = (2nloglogn)-1/2,
Tn = r ( n , a ) = (2a (log; n + loglogn)) -ll2.
7. [x]is the largest integer less than or equal to x.
8.
3
4 I . SIMPLE S Y M M E T R I C R A N D O M WALK I N Z’
9.
10.
-
11. Sometimes we use the notation f(n) g ( n ) without any exact math-
emat,ical meaning, just saying that f(n) and g ( n ) are close to each
other in some sense.
12. a(.)
1
=- 1 ”
-03
e-U2/2duis the standard normal distribution func-
tion.
6 . J l ( t ,U ) = SUP ( W ( S+ U ) - W ( S ) ) ,
Ossst-a
S17 . . Sp, }I
El = {SO, E2 = { s p l ] S p l + l , . . . ,S p Z } 1 . . .
are called the first, second, ... excursions (away from 0) of the random
walk { S k } .
9. The random sequences
El(X) = { ~ p , ( , ) , s p , ( z ) + l ~ '* ~? S P Z ( Z ) h
E2(z) = '.
{ S p 2 ( z ) ,s p z ( Z ) + l l ~ 7 Sp3(z)I1.. .
are called the first, second, ... excursions away from z of the random
walk { S k } .
10. For any t > 0 let a ( t )= S U ~ { T : T < t , W ( T )= 0) and P ( t ) = inf{.r :
T > t , W ( T )= 0). Then the path { W t ( s ) ; a ( t5) s 5 P ( t ) ) is called
an excursion of W ( . ) .
11. c, is the number of those terms of S1, S2, . . . , S, which are positive
or which are equal to 0 but the preceding term of which is positive.
12. O ( n ) = # { k : 15 Ic 5 n, Sk-lSk+l < 0) is the number of crossings.
13. R(n) = max{k : k > 1 for which there exists a 0 < j < n - k such
that c ( O , j + k ) = ( ( 0 , j ) ) is the length of the longest zero-free interval.
14. r ( t ) = sup{s : s > 0 for which there exists a 0 < u < t - s such that
7d0,21+ s) = v(0,u)}.
15. Q ( n )= max{k : 0 5 k 5 n , Sk = 0) is the location of the last zero
up to n.
16. $ ( t ) = sup{s : 0 < s 5 t , W ( s )= 0).
17. R(n) = max{k : k > 1 for which there exists a 0 < j < n - k such
that M + ( j+ k ) = M + ( j ) } is the length of the longest flat interval of
M: up to n.
NOTATIONS A N D ABBREVIATIONS 7
18. +(t)= sup{s : s > 0 for which there exists a 0 < u < t - s such that
+
m+(u s) = m+(.)}.
19. R*(n)= max{k : k > 1 for which there exists a 0 <j < n -k such
+
that M ( j Ic) = M ( j ) } .
20. r*(t)= sup{s : s > 0 for which there exists a 0 < u < t - s such that
m(u + s) = m(u)}.
21. p ( n ) is the location of the maximum of the absolute value of a random
walk { S k } up to n, i.e. p ( n ) is defined by S ( p ( n ) ) = M ( n ) and
p ( n ) 5 n. If there are more integers satisfying the above conditions
then the smallest one will be considered as p ( n ) .
22. M ( t ) = inf{s : 0 < s 5 t for which W ( s )= m ( t ) } .
23. p + ( n ) = inf{k : 0 5 k 5 n for which S ( k ) = M + ( n ) } .
24. M f ( t )= inf{s : 0 < s 5 t for which W ( S )= m+(t)}.
25. x(n)is the number of those places where the maximum of the random
walk So, 4 ,. . . ,S, is reached, i.e. x(n)is the largest positive integer
for which there exists a sequence of integers 0 5 kl < Icz < . . . <
Icx(n) 5 n such that
Abbreviations
1. r.v. = random variable,
2. i.i.d.r.v.’s = independent, identically distributed r.v.’s,
Introduction of Part I
The problems and results of the theory of simple symmetric random walk
in Z1 can be presented using different languages. The physicist will talk
about random walk or Brownian motion on the line. (We use the expression
“Brownian motion” in this book only in a non-well-defined physical sense
and we will say that the simple symmetric random walk or the Wiener
process are mathematical models of the Brownian motion.) The number
theorist will talk about dyadic expansions of the elements of [0,1]. The
people interested in orthogonal series like to formulate the results in the
language of Rademacher functions. The gambler will talk about coin toss-
ing and his gain. And a probabilist will consider independent, identically
distributed random variables and the partial sums of those.
Mathematically speaking all of these formulations are equivalent. In
order to explain the grammar of these languages in this Introduction we
present a few of our notations and problems using the different languages.
However, later on mostly the “language of the physicist and that of the
probabilist” will be used.
9
10 CHAPTER 1
x = 0, &l&Z . . . = &k2-'
k=l
where ~i = ~i(z)
(i = 1 , 2 , .. .) is equal to 0 or 1. In fact
~i = [2iz] (mod 2).
Observe that
X { X : ~ j 1 ( ~ ) = 6 ~1 ,j z ( ~ ) = .6. .~, ~, j , ( 2 ) = 6 , } = 2 - , (1.2)
where 1 5 j 1 < j z < . . . < j,;n = 1 , 2 , . . . ; 61,62,. . . ,6, is an arbitrary
sequence of 0's and +l's and X is the Lebesgue measure. Let SO= So(z)= 0
and S, = Sn(z)= n - 2 Cy=l~i(z) ( n = 1 , 2 , . . .). Then (1.2) implies
Observe that
1’ ri(x)rj(x)dx =
1 if
0 if
i =j,
i # j.
Distributions
(2.1)
P{S2,+1 = 2k + 1) = (2.2)
(2.3)
lo otherwise
(2.4)
13
14 CHAPTER 2
For later reference we present also a slightly more general form of the
Bernstein inequality.
THEOREM 2.3 (cf. R h y i , 1970/B, p. 387). Let X ; , X;, . . . be a se-
quence of i.i.d.r.u. with
P{X,. = 1) = 1 - P{x; = 0) = p .
T h e n f o r any 0 < E 5 pq we have
(2.6)
Then
(2.7)
DISTRIBUTIONS 15
Similarly for k = 0
1
~ n + l , o= Pix1 = -1, ML 5 1) = Z(pn,l +pn,o). (2.8)
Since p l , =
~ p1,l = 1/2 we get (2.5) from (2.7) and (2.8) by induction.
P r o o f 2 of (2.5). Clearly
jzn (mod2)
Let
p l ( k ) = min{l : Sl = k } ,
j=n (mod 2)
(2.9)
where
> 0,
” = { 01 if v = O a n d a 2 + b 2
otherwise,
and we obtain (2.10) easily. Assume that (2.10) holds for n - 1 and for
any a , b, v satisfying the conditions of the Theorem. Now we prove (2.10)
by induction. Note that p,(O, b, v) = p n ( a , 0, v) = 0 and the same is true
for the righthand side of (2.10) (since the terms cancel because q n ( j ) =
q , ( - j ) ) . Hence we may assume that a < 0 < b. But in this case a 1 5 0 +
and b - 1 _> 0. Hence by induction (2.10) holds with parameters n - 1, a +
+
1,b 1,v and n - 1,a - 1,b - I,v. We obtain (2.10) observing that
and
w
- P{2b - v + 2k(b - a ) < S, < 2b - u + 2k(b - a ) } , (2.11)
k=-m
DISTRIBUTIONS 17
- c
k=-rn
03
and
P{M, < b } = c
k=-m
03
- c k=-m
03
j+2
p ( n + j , n ) := P{Il(n + j , n ) = n } = -
2n+l ( j = 0,172,. . . , n )
+
Clearly p ( n j , n ) is the probability that a coin tossing sequence of
+
length n j contains a pure-head-run of length n.
Proof. Let
Then
P{I1(2n + j ,n) = n}
In case j 5 n we obtain
for any n = 1 , 2 , . . .; j = 1 , 2 , . . ..
The idea of the proof is the same as those of the above two lemmas.
The details are omitted.
The exact distribution of 2, (cf. Notations to the Increments) is also
known, namely:
where
Remark 1. Csaki, Foldes and Koml6s (1987) worked out a very general
method to obtain inequalities like (2.14). Their method gives a somewhat
weaker result than (2.14). However, their result is also strong enough to
produce most of the strong theorems given later (cf. Section 7.3).
DISTRIBUTIONS 19
(where 0 < g n < 1) and the results of Section 2.1, the following limit
theorems can be obtained.
THEOREM 2.8 (e.g. Renyi, 1970/A, p. 208). Assume that for svme
0 < E < 1 / 2 the inequality En < k < (1- E)n is satisfied. Then
Especially
n+w
lim P{~-~/~M Z = P{INI< x) = 2+(x) - I
< x}
THEOREM 2.13
lim P{n-'/'M,
n+oo
< x} = G(x) = H ( x )
where
G(z) = -
6 -xk=-cc jZ (-1)kexp (- (u - 2kx)2
H(x)= - -
7r 2k+1 8x2
k=O
(2.15)
DISTRIBUTIONS 21
<(l+E)--e 4 1 -x;/2
, (2.16)
xn
(2.17)
and
3.1 Recurrence
One of the most classical strong theorems on random walk claims that the
particle returns to the origin infinitely often with probability 1. That is
RECURRENCE THEOREM (Pblya, 1921).
P{S, = 0 i.0.) = 1.
We present three proofs of this theorem. The first one is based on the
following lemma:
LEMMA 3.1 Let 0 5 i 5 k. T h e n f o r a n y m 2 i w e have
P(0, i, k)
= P{min{j : j 2 m, Sj = 0) < min{j :j 2 m, Sj = k} I S, = i}
= k - l ( k - i), (3.1)
i.e. the probability that a particle starting fromi hits 0 before k is k-' ( k - i ) .
Proof. Clearly we have
p(O,O, k) = 1, p ( 0 , Ic, 5) = 0.
When the particle is located in i then it hits 0 before k if
(i) either it goes to i - 1 (with probability 1/2) and from i - 1 goes to 0
before k (with probability p(0,i - 1,k)),
+
(ii) or it goes to i 1 (with probability 1/2) and from i + 1 goes to 0
+
before k (with probability p ( 0 ,i 1,k ) ) .
That is
1 1
p(O,i,k) = zp(0,i - 1,k) + -p(O,i
2
+ 1, k)
( i = 1 , 2 , . . . , k - 1). Hence p(O,i,k) is a linear function of i, being 1 in 0
and 0 in Ic, which implies (3.1).
23
24 CHAPTER 3
00
(Note that q2k is the probability of the event that the first return of the
particle to the origin occurs in the (2k)-th step but not before.)
Since P2k M (7rk)-1/2(cf. Theorems 2.1 and 2.8) we have
Observe that
and
Hence
RECURRENCE A N D T H E ZERO-ONE LAW 25
P{A}=O or P{A}=l.
P r o o f is trivial.
i.e. with probability 1 only a finite number of the events A, occur simulta-
neously.
BOREL-CANTELLI LEMMA 2 Let A1 ,Az , . . . be a sequence of pair-
wise independent events for which C,"==,
P{A,} = 00. Then
P{limsupA,} = 1,
n+cc
27
28 CHAPTER 4
Then
p 2
~ { l i m s u A,} C-l.
n-iw
Similarly we get
(4.1)
Remark 1. Applying this theorem for dyadic expansion, for almost all
x E [0,1] we obtain limn-ioo n-lN,(x) = 1/2. In fact the original theorem
of Borel was formulated in this form. Borel also observed that if instead of
the dyadic expansion we consider t-adic expansion (t = 2,3, . . .) of z E [0,1]
and N,(x, s, t ) (s = 0 , 1 , 2 , . . . , t-1, t = 2 , 3 , . . .) is the number of s’s among
the first n digits of the t-adic expansion of x , then
lim
,--so0 /N,(x’s7t)- i l = O
n t ( s = O , 1 , 2 ,...,t - 1 ; t = 2 , 3 ,...) (4.2)
and again the Markov inequality and the Borel-Cantelli lemma imply the
theorem.
As we will see later on most of the proofs of the strong theorems are
based on a joint application of the above two methods.
lim n--1/2--Es ,= 0 a s .
n+Oo
ES:K = O ( n K ) .
~{ls,l
2 TI'/^+') = P { s ~ ~
2 nK+EK)5~(n-'~).
If K is so big that E K > 1 then by the Borel-Cantelli lemma we obtain the
theorem. (The method of high moments was applied.)
Similarly one can prove
THEOREM 4.3
as.
E exp(K1/2Sn)-+ (n -+ a).
Hence
+
P{S, 2 (I &)n1/2logn)
= P{exp(n-1/2Sn) 2 e x p ( ( l + E ) logn) = nl+') 5 n-1--E/2
and the statement of the theorem follows from the symmetry of S,.
The best possible rate was obtained by Khinchine. His result is the
so-called Law of Iterated Logarithm (LIL).
STRONG LAW AND LIL 31
where 6, = (2nl0glogn)-'/~.
Proof. The proof will be presented in two steps. The first one gives an
upper bound of limsup,,, b,Mn, the second one gives a lower bound of
lim supn+, b,S,. These two results combined imply the Theorem.
limsup bnMn 5 1+ E a s .
n+w
By (2.16) we obtain
Consequently
b n E + l ~ n , +>
l 1 - E - bm+, S
I, I.
Applying the result proved in Step 1 we obtain
if k and 0 are large enough. Hence limsup,,, b,S, 2 1 - E a.s. for any
E > 0, which implies the Theorem.
Note that the above Theorem clearly implies
Remark 1. Strassen (1966) also investigated the case EY; = 00. In fact
he proved that if Yl,Yz,. . . is a sequence of i.i.d.r.v.’s with EYI = 0 and
EY? = co then
Later Berkes (1972) has shown that this result of Strassen is the strongest
possible one in the following sense: for any function f ( n )with lim f ( n )= 0
R,,
there exists a sequence Y1,Y2,. . . of i.i.d.r.v.’s for which EYI = 0, EYf = 03
and
+ +
lim b, f (n)IY1 Yz . . . + Y,l = 0 a.s.
,400
Chapter 5
Levy Classes
5.1 Definitions
The LIL of Khinchine tells us exactly (in certain sense) how far the particle
can be from the origin after n steps. A trivial reformulation of the LIL is
the following:
(i) for any E > 0
and
(ii)
S, 2 (1 - c)b;' i.0. a.s.
Having in mind this form of the LIL, Levy asked how the class of those
functions (or monotone increasing functions) f(n) can be characterized for
which
S, < f ( n ) as.
for all but finitely many n. (i) tells us that (1 + E)b;' is such a function
for any E > 0 and (ii) claims that (1 - &)b;' is not such a function. The
LIL does not answer the question whether b;' is such a function or not.
However, one can prove that b;' is not such a function but (2n(loglogn +
3/2 log log log n))1/2belongs t o the mentioned class. In order to formulate
the answer of Lilvy's question introduce the following definitions.
Let ( Y ( t )t, 2 0) be a stochastic process then
33
34 CHAPTER 5
Let Y1 Y2, . . . be a sequence of random variables then the four Levy classes
UUC(Y,), ULC(Y,), LUC(Y,), LLC(Y,) of {Y,} can be defined in the
same way as it was done above for Y (t).
We introduce two further definitions strongly connected with the above
four definitions of the Levy classes.
Definition 5. The process Y ( t )is asymptotically deterministic (AD) if
there exist a function a l ( t ) E UUC(Y(t)) and a function a4(t) E LLC(Y(t))
such that limt+, la4(t)- al(t)l = 0.
Consequently
Step 1. We prove that for any E > 0 and for all but finitely many n
M , 5 (n(2loglogn + (3 + ~ ) l o g l o g l o g n ) ) l a/ ~s . , (5.3)
(5.4)
Let
(5.5)
Then clearly
P { A , , } = O(k-'(logk)-'),
P { A L k }= O ( k - ' ( l ~ g k ) - ~ / ~ ) ,
and
LEVY CLASSES 37
Observe that
and
JZ-1 1
if x>1,
m >-I - - &
with
m _- j
= exp
+
log(j m) l o g j log(j + m)
for any j large enough, we obtain
1I 2
Similarly
Hence
C 2 O(ml/') if 2loglogj 5 m 5 (log4) l o g j (5.6)
and
4
C 2 -4(nk) if (log4) l o g j 5 m 5 (logj) loglogj.
10
In case m > logj(log1ogj) we obtain
%=O(-) 1
(5.7)
k log k
and
j+logj(log logj)
P{A,,A,,} 5 0 (j-'(logj)-'loglogj) . (5.8)
k=j+l
and
N
C P { A , , } = O(log1ogN).
k=l
Hence the Borel-Cantelli lemma 2* of Section 4.1 and the zero-one law of
Section 3.2 imply the theorem. A simple consequence of EFKP LIL is
Remark 1. For the role of Kolmogorov in the proof of EFKP LIL see
Bingham (1989).
LEVY CLASSES 39
I 2 ( a ) := c
M
n=l
n-l(a(n))-Z exp --(
$-2(n)) < 00.
1/2
log log n
liminf
n+m ( 7 Js
n/r, =)
lr
as. (5.9)
i.e. a(.) is the last point before n where SI, is very large. The EFKP LIL
also implies that a(n) = n i.0. as. Here we ask: how small can a(n) be?
This question was studied by Erdos-Rkvksz (1989). The result is:
40 CHAPTER 5
THEOREM 5.3
(log log n)1/2
lim inf log-4 n ) = -c U.S.
,+a (log log log n )log n n
Equivalently
a(.) 2 n1-6n U.S.
a1 = min{/c : IC 2 3, sk 2 b ~ l ) ,
= min{k : k > a l , s k 5 -bil},
a2 = min{IC : IC > P I , sk 2 b ~ l ) ,
p2 = min{IC : IC > a 2 , sk 5 - b k l } ,
Then by Theorem 5.3 between nk and nk+l there exist integers j and 1 such
that
Sj >_ b j ’ and Sl 5 - b t l .
Hence we have
LEVY CLASSES 41
THEOREM 5.4
pk 5 nk as.
f o r all but finitely many k.
Very likely a lower estimate of pk is also close to nk but it is not proved.
M n = max(Mz, M i ) < (1 - E )
or in other words there are only finitely many n for which simultaneously
for any 0 < E < 1. At the same time Theorem of Hirsch (Section 5 . 3 )
implies that with probability 1 there are infinitely many n for which
M,'< -.
log n
Roughly speaking this means that if A42 is small, smaller than
(1-&) ( 7r2n
8 log log n
)1/2
Example 1. Put
{ M; < C (A)
log log n
‘ I 2 and M; < D (
log log n
z
‘I2}
M i 2D (-)log log
n
n ‘ I 2 for any 0 < D < r / h - C.
L E V Y CLASSES 43
Example 2. Put
a ( n ) = (1ogn)-" (0 < Q < 1)
and
b ( n ) = E(loglogn)-1/2 ( E > 0)
Then
< 00
14(a(n),b(n)) if 0 < CY, < 1 and E < 7r(2(1-
and
{ M,' 2 *(2n
3
10glogn)l/~ and M i 2 *(2n
3
1 0 g lo g n ) l/~
only finitely many occur with probability 1. In general one can say
44 CHAPTER 5
THEOREM 5.6 For any c > 0 and 1/3 5 q < 1 the events
+
(1 ~ ) ( 2 n l o g l o g n )E~ UUC(M;),
/~
(1- ~ ) ( 2 n l o g l o g n )E~ ULC(M:),
/~
2 loglogn
(1 - c ) (f -) n
2 loglogn
ll2 E LLc(M;).
Theorems 5.5 and 5.6 describe the joint behaviour of M$ and M;. We
also ask what can be said about the joint behaviour of S, and M; (say).
In order to formulate the answer of this question we introduce the following
notations.
Let ~ ( n 6(n)
) , be sequences of positive numbers satisfying the following
conditions:
~ ( nmonotone,
)
6(n)-1 0,
n1/2Y(n) t co,
n1/26(n) 00.t
Further let f ( n )= r ~ ' / ~ $ (EnULC(S,)
) with $(n)t co. Define the infinite
random set of integers
Then we have
LEVY CLASSES 45
~ <E
Example 3. Let f ( n )= ( ( 2 - ~ ) n l o g l o g n ) ~ / (0 < 2). Then we find
the inequalities
The above two statements also follow from Strassen’s theorem 1 (cf. Section
8.1). Further,
if and only if Q 5 E.
This page intentionally left blank
Chapter 6
is the largest average speed of the particle in (0, n ) over the intervals of size
a. We know (Theorem 2.9) that a-l/’(S(k + a ) - S ( k ) ) is asymptotically
(a + co) an N ( 0 , l ) r.v. Hence S ( k + a ) - S ( k ) behaves like a1/2 or by the
LIL of Khinchine
lim sup
+
S(k a) - S(k)
= 1 as.
a-+w (2alogloga)1/2
for any fixed k . We prove that even I l ( n , a ) cannot be much bigger than
a1/2. In fact we have
LEMMA 6.1 Let a = a, 5 na (0 < a < 1). Then
if c > 2.
Proof. By Theorem 2.10 for any k
5 exp (- 2
C2 log n ) = n-c2/2
as n -+ 00. Hence
47
48 CHAPTER 6
Remark 1. Much stronger results than that of Lemma 6.1 can be found
in Section 7.3.
for all t in some interval I t I< t o . Then for any K >0 there exists a
positive constant C = C ( K ) such that
Proof of Lemma 6.2 is essentially the same as that of Lemma 6.1 using
Theorem 2.11 instead of Theorem 2.10.
Eu = 4,
Var u = 8,
1
if t < -1 log2, (6.1)
2
1
Eexp(-t(u - 4)) = ~ if t > 0. (6.2)
2e2t - I
Proof is trivial.
W I E N E R PROCESS A N D I N V A R I A N C E PRINCIPLE 49
(6.3)
(6.4)
Proof. (6.3) follows from (6.1), (6.2) and the Markov inequality. (6.4) is a
trivial consequence of (6.3).
k=l
S ( i , j ; O )= 0,
v ( i , j )= min{n : IS(i,j;n)l= 2},
k
j=1
T(1;n) = S ( 1 , l ; n ) .
Note that { T ( l ; n ) , n = 0 , 1 , 2 , . . .} is a random walk. Now we define
the sequence (T(2; n ) , n = 0 , 1 , 2 , . . .} as follows:
1
T(2; n) = -S(2,1; n) signS(1,l; n) signS(2,l; ~ ( 2 ~ 1 )if) 0 5 n 5~(2~
2
Note that T ( 2 ;v ( 2 , l ) ) = S ( 1 , l ; 1).
Now we give the definition of T ( 2 ; n ) when p ( 2 , l ) = v ( 2 , l ) 5 n 5
p ( 2 , 2 ) . Let
1
T(2; n ) = T(2; Y(2,l)) + -S(2,2;
2
n - Y(2,1))R(2,1)
50 CHAPTER 6
where
and
4211) = p(2,1) 5
5 P(2,2).
Similarly for p ( 2 , k ) 5 n 5 p(2, k + 1) ( k = 2 , 3 , . . .) let
T ( i ;n) = T ( i ;p ( i , k ) ) + p 1S ( i ,k ; n - p ( i ,k ) ) R ( ik),
if
Pcl(i,k) 5 12 5 4 4k + 1)
where
(6.5)
Hence
m a x , ( p ( i ,k ) - 4kl 5 2k1/24Ei a.s.
15k14'
W I E N E R PROCESS A N D I N V A R l A N C E PRINCIPLE 51
Consequently
T ( i - 1;k) = T ( i ;4k) + 2-(1/2-2E)i. (6.6)
Note that (T(1;k ) , T(2;k ) ) has the properties requiredfrom (S(O)(k), S(l)(k)).
Let
x ( t )= T ( i ;[4%]). (0 5 t 5 1).
Then (6.6) easily implies that {&(t)0 5 t 5 1) converges a.s. uniformly to
a continuous process W ( t ) .This limit process is called a Wiener process.
It is easy t o see that this limit process has the following three properties:
52 CHAPTER 6
(i) and (ii) are simple consequences of the central limit theorem (Theorem
2.9). (iii) was proved above.
Observe that
(i) W ( T I )W(72)
, - W ( T ~ W(73)
), - W(72), . . . is a sequence of i.i.d.r.v.’s
with distribution P{W(TI) = l} = P(W(71) = -1) = 1 / 2 , i.e.
{W(T,)}is a random walk,
(ii) 7 1 ,-
~71,73 - 72,.. . is a sequence of i.i.d.r.v.’s with distribution
pi71 > .I = p{suP,<z IW(t)l < 1).
Applying the reflection principle (formulated for S, in Section 2.1, Proof 2
of (2.5)) for W ( . )we obtain
Evaluating the moments of 71 and applying the strong law of large numbers
we obtain
E71 = 1, ET: = 2, lim n - l ~ ,= 1 a.s.
n+03
W I E N E R PROCESS A N D I N V A R I A N C E PRINCIPLE 53
t-ll2 sup W ( s ) ,
o<s<t
54 CHAPTER 6
THEOREM 6.3
For later references we give a more general form of the above Invariance
Principle.
J, 2 2 d F ( z ) = 1,
00 00
J, z d ~ ( z=) 0,
W I E N E R PROCESS A N D I N V A R I A N C E PRINCIPLE 55
Increments
THEOREM 7.1
ZN
lim - = 1 a s .
N+cc lg N
where ZN is the length of longest head-run tall N .
Proof.
ZN
lim inf -> 1 as. (7.1)
N-tm 1gN -
57
58 CHAPTER 7
t = [(l- & ) l g N ] ,
N= I;[ -1,
2
N=l
(l-;)m<OO
(7.2)
u=[(l+E)lgN],
vk =SkfU -s k ( k = 0, 1 , . . , N - u ) ,
AN = u
N-u
k=O
{vk u}
consequently
INCREMENTS 59
with probability 1 for all but finitely many n. Hence we have (7.2) as well
as Theorem 7.1.
A much stronger statement is the following:
THEOREM 7.2 (ErdBs-Rkvksz, 1976). Let {a,} be a sequence of positive
numbers and let
00
A({a,}) = 2-an.
Then
(7.4)
(7.5)
Remark 1. Clearly (7.4) and (7.5) are the best possible results while (7.6)
and (7.7) are nearly the best possible ones.
$, = l g n - l g l g l g n + l g l g e - 2 .
Then
liminf[Z, - +,I =O as.
n+cc
It is also interesting to ask what is the length of the longest run con-
taining at most one (or at most TI T = 1 , 2 , . . .) (-1)’s. Let Z,(T) be the
largest integer for which
11(n,Z,(T)) 2 Z n ( T ) - 2T
where
11(n,a ) = o s y g p + a- Sk).
A generalization of Theorem 7.2 is the following:
THEOREM 7.4 Let {a,} be a sequence of positive numbers and let
(7.8)
(7.9)
(7.10)
(7.11)
with
p{xp = 1) = p{xp = -1) = 1/2
INCREMENTS 61
n=l
Hence for fixed t the length of the longest run containing at most one
tail only, might be as big as the length of the longest pure head-run for a
randomly choosed t. This remark and Theorem 7.4 combined suggest the
following
Conjecture.
P(3t 2 0 such that {Z,(T, t ) 2 a, i.0. }}
00
n= 1
A trivial reformulation of the question of T. Varga is: how many flips are
needed in order to get a run of heads of size m. Formally speaking let Zm
be the smallest integer for which
-
Xi,-nZ+l - XZ,-m+z -
- ... =x- = 1.
Zn
As a trivial consequence of Theorem 7.2 we obtain
62 CHAPTER 7
THEOREM 7.5
;
i, E UUC(Z,),
Km E ULC(Zm),
6 , E LUC(2,) if A ( { a m } )= 00,
6 , E LLC(Zm) if A ( { a m } ) <
am.
Instead of considering the pure head-runs of size m one can consider any
given run of size m and investigate the waiting time till that given run
would occur. This question was studied by Guibas-Odlyzko (1980).
Erdos asked about the waiting time V, till all of the possible 2, patterns
of size m would occur at least once. An answer of this question was obtained
by Erdos and Chen (1988). They proved
THEOREM 7.6 For any E > 0
+
(1 ~ )2 ,m
E UUC(V,)
k e
and
(1 - €)2,rn
E LLC(V,).
k e
We mention that the proof of Theorem 7.7 is based on the following limit
distribution:
THEOREM 7.8 (Mbri, 1989)
INCREMENTS 63
In order t o compare Theorem 7.7 and Theorems 7.2 and 7.3 it is worthwhile
to consider the inverse of v k . Let
U, = max{k : vk 5 n}.
Then Theorem 7.7 implies
Observe that U, is “less random” than 2,. In fact for some n’s the
lower and upper estimates of U, are equal to each other and for the other
n’s they differ by 1. Clearly U, 5 2, but comparing Theorems 7.2, 7.3
and Corollary 1 it turns out that U, is not much smaller than 2,.
In Theorem 7.2 we have seen that for all n , big enough, there exists a
block of size A, (of (7.7)) containing only heads but it is not true with K,
(of (7.6)). Now we ask what is the number of disjoint blocks of size A,
containing only heads.
Let vn(k) be the number of disjoint blocks of size k (in the interval [0,n])
containing only heads, that is to say vn(k) = j if there exists a sequence
+ +
0 I tl < t l k 5 t 2 < t2 f k 5 . . . 5 t j < t j k 5 n such that
Sti+k-Sti = k (i=1,2,...,j)
but
or t j + k < m < n - k .
The proof of the following theorem is very simple.
THEOREM 7.9 (Rkvesz, 1978). For any E > 0 there exist constants
0 < a1 = Q1(&) 5 a2 = CYZ(&) < 00 such that
happens for infinitely many n that there is not any block of size A,+2 2 Ic,
containing only heads.
Deheuvels (1985) worked out a method to find some estimates of a1 ( E )
and a,(&).In order to formulate his results let 2, = 2:’ and let Zp’ 2
Zi3’ 2 . . . be the length of the second, third, . . . longest run of 1’s observed
in X I ,X Z ,. . . ,X,. Then
THEOREM 7.10 (Deheuvels, 1985). For any integer r 23 and k 2 1
and for any E > 0
1
lgn+ ( I ~ ~ ~ + ~ ~ ~ + l g , _ ~ ~ E+UUC(ZF’),
( l + ~ ) I ~ (7.12)
, ~ )
1
lgn+ ( l g z n + . . . + l g , _ , n + l g , n ) E ULC(Zik)), (7.13)
[lgn - lg, n + l g l g e - 11 E LUC(Zik)), (7.14)
[lgn - lg, n + lglge - 2 - E ] E LLC(Zik)). (7.15)
if 1, 2 A, but
INCREMENTS 65
Characterize the limit properties of K,. Observe that Theorem 7.9 suggests
Kn
0 < limsup ___ < 03.
n-+m loglogn
Problem 3. Let 2: be the length of the longest tail run, i.e. 2; is the
largest integer for which
I*(n,.q= -2;
where
I*(n,lc)= min (Sj+k - Sj).
O5jsn-k
and clearly
P(2, = Z: i.0.) = 1.
Problem 4. Let
0 if 2, <_ Z;,
un={ 1 if 2, > 2;
and
66 CHAPTER 7
Karlin and Ost (1988) evaluated the limit distribution of Y,. Its strong
behaviour is unknown. Petrov (1965) and Nemetz and Kusolitsch (1982)
investigated the length of the longest common word located in the same
place, i.e. they defined Y, assuming that k , = k k . In this case they proved
a strong law for Y,.
(W(s+ a ) - W ( s ) )
-
a l J I ( t , U ) = a-l sup
Ossst-a
is the largest average speed of the particle in (0, t ) over the intervals of size
a. The processes J i ( t , a) (i = 2 , 3 , 4 , 5 , t 2 a ) have similar meanings.
Note also that
J l ( 4 a t ) I min{J2(t, a t ) , J3(tr a t ) } ,
max{J2(t, a t ) ,J 3 ( t , a t ) } I J4(C a t ) .
To start with we present our
THEOREM 7.13 (Csorg6-Rh%z, 1979/A). Let at ( t 2 0 ) be a nonde-
creasing function o f t for which
(i) 0 < at 5 t ,
(ii) t / a t is nondecreasing.
INCREMENTS 67
IimsupytJi(t,at) = limsupyt(W(t
t+m t-+m
+ at) - W(t)(
= limsupyt(W(t + a t ) - W ( t ) )= 1 a.s.
t+m
where
"It = "I(t,at) = 2at log - + loglogt
( ( :t
)) -1/2.
If we also have
(iii)
then
lim rtJi(t,at) = 1 a s .
t-52
Example 2.
Ji(t, 1)
lim = 1 as. (i = 1,2,3,4). (7.23)
t--tm (2 log t)1/2
In case c = 1we obtain the LIL for Wiener process (cf. Theorem 6.2). Note
that (7.24) is also a consequence of Strassen's theorem of Section 8.1.
Having Theorem 7.13 it looks an interesting question to describe the
Levy-classes of the processes Ji(t,ut) (i = 1,2,3,4) in case of different
at's. Unfortunately we do not have a complete description of the required
Levy-classes. We can only present the following results:
68 CHAPTER 7
(7.25)
Further, if
lm(-9) $exp dt = co (7.26)
then
f ( t )E uuc ( a ; l / 2 +
sup ( W ( t s) - W ( t )
Olslat
where 0 < 6 < 1, g(y) is a slowly varying function as y -+ co, CO,C1 are
positive constants.
Let f ( t ) > 0 (t > 0 ) be a nondecreasing function. Then
f ( t )E UUC (a;"2Ji(t, a t ) ) (i = 1 , 2 , 3 , 4 )
if and only if
1" ( 1 + g ( t ) f 2 ( t ) )f o e x p
at
(-q) dt < co.
fP,E(t)
P- 1
21ogt - 2(1ogt)" + ( 3 + 2a)10g2 t + 2 z l o g j t + ( 2 + E ) log,t
j=3
fP,E (t)
P- 1
=
( 2(1 - a )logt + 510g2 t
E UUC (aF1''Ji)
+ 2 z 1 0 g j t + ( 2 +&)logpt
if and only if
j=3
E > 0 (i = 1 , 2 , 3 , 4 ; p = 3 , 4 , 5 , . . .).
P-1
=
( 210g, t + 510g, t + 2 c l o g j t + (2 + &) logp t
j=4 ) 1/2
Theorem 7.15 does not cover the case a t / t -+ 1. As far as this case is
concerned we present
70 CHAPTER 7
f ( t )E UUC (a;'/'Ji(t, a t ) ) (i = 1 , 2 , 3 , 4 )
if and only if
with
or
INCREMENTS 71
then
Hence
Ji(t, at) = 1 as.
lim inf
t+oo (2atr loglogt)l/2
This result was proved by Book and Shore (1978).
If at is so large that the condition A(t) f 00 does not hold, the situation
is even more complicated. We have two special results (Theorems 7.18 and
7.19) only.
liminf J1(t,at) =
+m if c < I-,
t-kw -W if c > r,
where r is an absolute, positive constant, its exact value is unknown.
If A(t) + 0, then
where
Pb) =
+
( ( 2 r 1)x - 1) l j 2
+
r ( r 1)
and
r= [i]
72 CHAPTER 7
where
-1/2
b ( t ) = (;a,a(t)) .
liminfKtJg(t,at) = 1 a s .
t+m
where
and
Kt= (8(logta,’ + log log t )) l’
T’at
If (iii) of Theorem 7.13 is also satisfied then
lim KtJg(t,ut) = 1 a s .
t+m
sup +
( W ( s u)- W ( s ) (5 1 + E
o<u< 5 log t
but, for all s E [0, t - at] with probability 1
1 W (s I
+ ;Fz8 log t ) - W ( s ) 2 (: -E) log t
n
SUP IW(S + U) - w ( s )2~(1 - ~ ) - ( i o g t ) - ~ / ~ .
O<ugogt)’/2 Js
Clearly, replacing the condition at = (logt)ll2 in Example 11 by at =
o(logt), we also find that there exists a subinterval of [0, t - at] of size at
where the sample function is nearly constant. Cstiki and Foldes (1984/A)
were interested in the analogue problem when the term “nearly constant”
is replaced by ‘(nearly zero”. They proved
liminf ht
t-im
inf
OLs<t-at O<u<at
sup IW(s + u ) /= 1 a.s.
- -
where
-+ exp(-ePY) (t + co)
if i = 2 , 3 , 4 and
+ exp(-ePY) (t -+ 00).
Note that in the above two theorems we have no regularity conditions on
atexcept (7.27).
In order to understand the meaning of (7,28) consider the case i = 2
and assume
1% dt
= T (O<r<co) (7.29)
log log t
In this case Theorem 7.13 implies that Jz(t, a t ) can be as large as
and
IW(s + 1) - W(s)l5 f ( y , t )
where
f ( y , t ) = (210gt)-1/2
(+
y
1
2 2 7
2logt - - loglogt - - log7r I
Let us give a summary of the results of this section. To study the proper-
ties of the processes J i ( t , u t ) (i = 1 , 2 , 3 , 4 , 5 ) we have to assume different
conditions on at. For the sake of simplicity from now on we always assume
that a t is nondecreasing and satisfies conditions (i) and (ii) of Theorem
7.13.
Then the limit distributions of Ji(., .) for i = 1 , 2 , 3 , 4 are given in The-
orem 7.23. Observe that the limit distributions in case i = 1 and in case
i = 2 , 3 , 4 are different. The limit distribution of J 5 ( . , .) is unknown. The
exact distribution is not known in any case.
A description of the upper classes of Ji(., .) (i = 1 , 2 , 3 , 4 ) is given in
Theorem 7.14 but there is a big gap in this theorem between the description
of UUC(Ji) and ULC(Ji), i.e. there is a big class of very regular functions
for which Theorem 7.14 does not tell us whether they belong to the UUC(Ji)
or to the ULC(Ji). This gap is filled in by Theorem 7.15 if at satisfies a
weak regularity condition. However, this regularity condition excludes the
case a t l t + 1. This case is studied in Theorem 7.16. The above-mentioned
results do not tell us anything about J 5 ( . , . ) . In case if at is not very large
INCREMENTS 77
lim
n+m
J 1 ( . , k n ) = lim
lgn ,--so3
J1 (logn
nl&2
= (210g2)~” a.s. (7.31)
-
log 2
Remark 1. Comparing (7.30) and (7.31) we can see that the behaviours of
1 and J1 are different indeed if a, = clog n (0 < c < co). As a consequence
I
we also obtain that the rate O(1ogn) of Invariance Principle 1 (cf. Section
6.3) is the best possible one. This observation is due to BBrtfai (1966) and
Erdos-Rhyi (1970).
Theorems 7.2, 7.3, 7.4 imply much stronger results on the behaviour of
Ii(., .) than (7.30) of Theorem 7.25. In fact we obtain
THEOREM 7.26 Assuming diflerent growing conditions on {a,} we get
(i) I f f o r some E >0
a, 5 [Ign - Iglglgn +IgIge - 2 - €1 = A.,
78 CHAPTER 7
Then
Ii(n,a,) = a, a.s. (i = 1 , 2 , 3 , 4 )
for all but finitely many n, i.e. I i ( n , a,) is AD.
Then
Ii(n,a,) = a, or a, - 2 a.s (i = 1 , 2 , 3 , 4 )
for all but finitely many n, i.e. I i ( n ,a,) is QAD.
Then
Ii(n,a,) = a, or a, - 2 or a, - 4 a s . (i = 1,2,3,4)
for all but finitely many n, i.e. I i ( n , a,) is QAD.
(iv) In general, if
+ +
d,(T) = [ l g n T l g l g n (1 + E ) lglglgn] < a, 5 X,(T 1) +
= [lgn+(T+1)lglgn-lglglgn-lg((T+1)!)+lglge-2-~].
Then
Ii(n,a,) = a, - 2 T - 2 or a, - 2T a.s.
for all but finitely many n, i.e. I i ( n ,a,) is QAD,
and if
A,(T +
1) < a, 5 d,(T 1) +
then
I i ( n , a n ) = a, - 2T - 4 or a, - 2T - 2 or a, - 2T,
T h e above theorem essentially tells us that I i ( n , a,) is QAD with not more
+
than three possible values i f a, 5 lg n T l g lg n for some T > 0. T h e next
theorem applies for somewhat larger a,.
INCREMENTS 79
a, - 2T E LLC(li(n,a,)) if e~p(-2~p(2,)<
) 00,
n=l
00
where
p(.) = (1 - 2) ;"( 2-an-1 ')
Here we present a few consequences.
Consequence 1. Let
an = lgn + f (n)
be a nondecreasing sequence of positive integers with f (n)= o(1gn).
(2P4(1-P)
1-4
)c =2,
-1
p= ( 2 I g Y )
Q,U, - t i 1 loga, + +
(3/2 & ) t i loglogn
1 E uUC(li(n,~,)),
a,a, - t i ' loga, + (3/2 - & ) t i 1loglogn E ULC(li(n,a,)),
a,a, -t,1loga, +(1/2+&)t~110glogE n Luc(l~(n7a,))7
a,a, - t,l loga, + (1/2 - & ) t i 1loglogn E LLC(lz(n, a,))
and
1
t - -log -I. + a ,
"-2 1-a,
Note that a, x (2~;' logn)l/'.
INCREMENTS 81
Then
lim inf h,I; (n,a,) = 1 a s .
n+ co
where h, is defined in Theorem 7.21. If condition (iii) of Theorem 7.13 is
also satisfied, then
lim h,I:(n,a,) = 1 a.s.
,--to3
7T
cos - = exp
2a
(-:)
if a(.) is not an integer then
15(n1u,) = [ a ( c ) ] U.S.
I5 = a ( c ) - 1 i.0.a.s.
and
15 = a(c) i.0.a.s.
Chapter 8
S ( n k ) 2 (1 - ~ ) ( 2 n loglognk)1'2
k = (1 - ~ ) ( b ( n k ) ) - ' . (8.1)
Then by (8.1)
By Theorem 2.10 the probability that the inequalities (8.3) and (8.4) si-
multaneously hold is equal to O((1og nk)-2(a2+(1-a-2E)2) 1.
Note that if a # 1/2 and E is small enough then 2 ( ~ x ~ + ( l - c t - 2 ~ >
) ~1.)
Hence by the method used in the proof of Khinchine's theorem (Step 1) we
obtain that the inequalities (8.3) and (8.4) will be satisfied only for finitely
many lc with probability 1. This fact easily implies Theorem 8.1.
Similarly one can prove that for any 0 < x < 1
S ( [ x n k ]2
) (1 - ~ ) x S ( n k )a.s. (8.5)
83
84 CHAPTER 8
Property 1. For any w 4 Ro and any sequence of integers 0 < n1 < n2 <
. . . there exist a random subsequence nkj = nkj ( w ) and a function f E S
such that
?,s, ( x , w ) -+ f (x)uniformly in x E [0, I].
w,(z) = b,W(nz) (0 5 x 5 1; n = 1 , 2 , .. .)
is relatively compact in C ( 0 , l ) with probability 1 and the set of its limit
points i s S .
Remark 1. Since If (1)l 5 1 for any function f E S and f(z)= z E S,
Strassen’s theorem 1 implies Khinchine’s LIL.
Consequence 1. For any E > 0 and for almost all w E R there exists a
To = TO(&,w)such that if
W ( T )2 (1 - &)(b(T))-l
for some T 2 TO
STRASSEN T Y P E THEOREMS 85
i= 1
Further, let
+
W * ( n )= cqW(n) az(W(2n) - W ( n ) +. +
) . . Qd(W(d72)- W ( ( d- 1)n)).
Then
limsupb,W*(n) = 1 a s . (8.6)
n+rx
and
liminf b,W*(n) = -1 a.s. (8.7)
n+m
Proof of this lemma is essentially the same as that of the Khinchine’s LIL.
The details will be omitted.
The next lemma gives a characterization of S.
(ii)
(f - f (v))2
(i)
2
i=l 1/r
~ l f o T a n y T = 1 , 2...
,
f ( d ) ( z ) = j ( $+) d ( f (7)
(f)) (Pi)
-f
86 CHAPTER 8
if i/d 5 x 5 (i + l)/d, i = 0 , 1 , . . . , d - 1.
Let
is the interval [-1,+1]. This implies that the set of limit points of the
sequence {b,Vn} is a subset of the unit disc and the boundary of the unit
circle belongs to this limit set.
Now let V; = (W(n),W(2n) - W ( n ) , W ( 3 n - ) W(2n)). In the same
way as above one can prove that the set of limit points of { bnV;} is a subset
of the unit ball of R3 which contains the boundary of the unit sphere. This
fact in itself already implies that the set of limit points of {b,V,} is the
unit disc of R2 and this, in turn, is equivalent to our statement.
Proof of Strassen's Theorem 2. For each w E R we have
SUP
O<X<l
JWn(Z) - wL?(x)l 5 SUP SUP
OjxLl Qjs<lld
lw,(x + s) - w,(x)l,
hence by Theorem 7.13 (cf. also Example 3 of Section 7.2)
Consequently we have the Theorem by Lemmas 8.2 and 8.3 where we also
use the fact that Lemma 8.2 guarantees that S is closed.
The discreteness of n is inessential in this Theorem. In fact if we define
STRASSEN T Y P E THEOREMS 87
then we have
(8.8)
Define the function x ( s ) as follows: if 1/a = r (an integer), then let x ( s ) =
-s. If l / a = T + r, where T is an integer and 0 < T < 1, then split the
+
interval [O, 11 into 27- 1 parts with the points
u2i = ia, (i = 0,1,2,. . . ,T),
u2i+l +
= (i ~ ) a .(i = 0 ,1 ,2 , . . . ,r ) .
Let ~ ( s be
) a continuous piecewise linear function starting from 0 (i.e.
z(0) = 0) and having slopes
It is easily seen that z(s) so defined is in Strassen’s class, i.e. z(0) = 0, z(s)
is absolutely continuous for 0 < s < 1 and
1
so
d 2 ( s ) d s = 1. Since
we obtain
F(t)=
6’ f ( s ) d s E L2[0,11,
limsup
n+m 6’ w n ( t ) f ( t ) d t= limsup
n+oo I’ s,(t)f(t)dt
(8.9)
(8.10)
(8.11)
in particular
n
++-
lim sup b ( n )
n+oo
= 2p as.
CISil
i=l
{ b t m + ( z t ) ; 0 5 2 5 1) (t -+ 00)
and t h e sequence
: o 5 t 5 T - aT},
vT = {rt,T(2)
STRASSEN T Y P E THEOREMS 91
U(VT(W),E)3 s (8.13)
(8.14)
if T 2 TOprovided that aT satisfies conditions (i), (ii), (iii) of Theorem
7.13.
To grasp the meaning of this Theorem let us mention that it says that:
(a) for all T large enough and for all s(z) E S there exists a 0 < t < T - u ~
such that r t , T ( z ) (0 5 z 5 1) will approximate the given s(x),
(b) for all T large enough and for all 0 < t < T - U T the function rt,T(z)
(0 5 x 5 1) can be approximated by a suitable element s(z) E S.
We have to emphasize that in Theorem 8.3 we assumed all the conditions
(i), (ii), (iii) of Theorem 7.13. If we only assume conditions (i) and (ii) then
we get a weaker result which contains Strassen's theorem 3 in case at = T .
THEOREM 8.4 (Rkvksz, 1979). A s s u m e that UT satisfies conditions (i)
and (ii) of Theorem 7.13. T h e n f o r almost all w E SZ and for all E > 0 there
exists a To = T ~ ( E , w
such
) that
vT(w) c U(S,&)
i f T 2 To.
Further, f o r any s = s(x) E S, E > 0 and f o r almost all w E R there
exist a T = T ( E , ws ,) and a 0 5 t = t ( E , u , s ) 5 T - aT such that
there exists a T (in fact there exist infinitely many T but not all T are
suitable as in Theorem 8.3) and a 0 5 t 5 T - UT such that r t , T ( x )
approximates the given s(x).
In other words if UT is small (condition (iii) holds true), then for every T
(big enough) the random functions I’t,T(x) will approximate every element
of S as t runs over the interval [0, T - a*]. However, if UT is large then for
any fixed T the random functions I’t,T(x) (0 5 t 5 T - U T )will approximate
some elements of S but not all of them; all of them will be approximated
when T is also allowed to vary.
Sn(x, W ) E U ( S ,E n ) and w ~ ( W
x ),E U ( S ,E,) U.S.
Then
Clearly Theorem 8.5 implies Property 1 of Section 8.1 but it does not
contain Property 2 of Section 8.1. As far as Property 2 of Section 8.1 is
concerned one can ask the following question.
STRASSEN T Y P E THEOREMS 93
Let f (z) be an arbitrary element of S. We know that for all E > 0 and
for almost all w E R there exists an integer n = n(E,W) resp. n = A ( E , w )
such that
and 7r
sup (w,(x) - f(x)l 2 z(l - c)(logIogn)-l a.s.
O<x<l
and
7r(l- c)
SUP
O<Z<l
Iw,(z) - f )I(. > 4(1- a)1/2 loglogn U.S.
and
SUP IWn(z) - f(.)l > 7r2 / 3 2 - 5 / 3 ~ - 1 / 3(1 - E ) (log log n )-2/3 a.s.
05x51
for all but finitely m a n y n where
B = IP2 - P l l + ... + IPk - PlC--ll+ IPkl.
Then with probability 1, the set of limit points of Sn(u) (resp. wi(u))in the
weak topology, as n 7co (resp. t 00) is G.
Remark 1. In order to see that this theorem implies the Other LIL we
only have to prove that g(l) 2 for any g ( - ) E G.
This page intentionally left blank
Chapter 9
Especially
P{p1(1) > n } = 2-n
Consequently
(9.1)
and
Note that pl(2Ic + 1) takes only odd, pl(2k) takes only even numbers.
THEOREM 9.2 Let po = 0 and pk = min{j : j > P k - 1 , Sj = 0)
( I c = 1 , 2 , . . .). T h e n p1, p2 - p1 ,p3 - p 2 , . . . is a sequence of i.i.d.r.u's with
(9.2)
and
P{p1 > 2n) = 2-2n );( = P{S,, = O } .
97
98 CHAPTER 9
Clearly
Hence the particle returns to the origin with probability 1, i.e. we obtained
a new proof of P6lya Recurrence Theorem of Section 3.1. However, observe
that
Equivalently
DISTRIBUTION OF T H E LOCAL T I M E 99
= c
n-2k
j=,
p{e(x, n ) = k I P1(.> = j>P{Pl (x) = 3.1
= c
n-2k
j=,
P{E(O,n - j ) = k - l}P{pl(X) = j }
= C 2-2[(n-j)/2]-j+k-l
n-2k
j=X
if n + x i s even,
-
if n + x is odd.
Theorem 9.3 gave the distribution of the number of zeros in the path
So, 5'1,. . . , We ask also about the distribution of the number of
those zeros where the path changes its sign. Let
O(n) = # { k : 1 5 k < n, S k - l S k + l < 0)
100 CHAPTER 9
THEOREM 9.5
P{0(2n + 1) = k}
3 cn
j= k
P{0(2n + 1) = k I ((0,2n) = j}P{[(O, 2n) = j }
2nk++1 1 )
= ~ ( D s ( 2 n n - ’ ) ~ = ~ ( n +
j=k
= 2P(Szn+1 = 2k + 1).
(9.5)
(9.6)
Po(%) = 0,
p l ( z ) = inf{l : 1 > 0, Sl = z},
.... ..,.......
p i + l ( z ) = inf(l : 1 > p i ( z ) , Sl = z} (i = 0 , 1 , 2 , . . .).
= (!k)2 2k - 1
(3$-l
THEOREM 9.8
P{(2n=2k}= (J(
2k 2 n - 2 k
n - k )2-2” ( k = 0 , 1 , . . . , n). (9.7)
{& = O} = { M L = O}.
Hence by Theorem 2.4
i.e. (9.7) holds for k = 0. It is also easy to see that (9.7) holds for n = 1 ,
k = 0 , l . Now we use induction on n. Suppose that (9.7) is true for
n 5 N - 1 and consider P ( ( 2 N = 2 k ) for 1 5 k 5 N - 1. If C2N = 2k
102 CHAPTER 9
P ( Q ( 2 n ) = 2 k } = P { s 2 k = O}P{pl > 2 n - 2 k )
= P{S2k = O}P{S2n-2k = o}.
Then
Hence
THEOREM 9.11
(9.8)
(9.9)
(9.10)
104 CHAPTER 9
and
71-03
The exact distribution (9.7) of C2n also implies that the most improbable
value of 5211 is n and the most probable values are 0 and 2n. In other words,
with a big probability the particle spends a long time on the left-hand side
of the line and only a short time on the right-hand side or conversely but
it is very unlikely that it spends the same (or nearly the same) time on the
positive and on the negative side.
H ( A , t ) = X{S : s 5 t , W ( S )E A }
where X is the Lebesgue measure.
For any fixed t > 0 and for almost all w E R the occupation time H ( A ,t )
is a measure on the Borel sets of the real line. Trotter (1958) proved
that this measure is absolutely continuous with respect to the Lebesgue
measure and its Radon-Nikodym derivate ~ ( xt ), is continuous in (x,t ) .
The stochastic process ~ ( zt ,) is called the local time of W . (It characterizes
the amount of time that the Wiener process W spends till t 'hear" t o the
point x.) Our first aim is to evaluate the distribution of the r.v. ~ ( 0t ), .
In fact we prove
THEOREM 9.12 For any x >0 and t >0
(9.13)
Sy)= W ( Q ) ( k = 1 , 2 , . . .),
p y x , n ) = # { k : 0 < k 5 n,SLN)= z},
v = v('") = max{i : ri 5 1).
(cf. (6.7)).
The interval (ri,~ i + will ~ ) be called type (a, b) ( a = j N - ' , Ib - a[=
N - ' , j = 0 , 1 , 2 , . . .) if IW(ri)l = a and IW(ri+l)l = b. The infinite random
106 CHAPTER 9
N2X(7i+l
- Ti)
i€A
+1 a.s. ( N -+m). (9.15)
2 p ) (0, v)
(In fact (9.15) can be obtained using the "Method of high moments" of
Section 4.2, to obtain it by "Gap method" seems to be hard.)
Studying the local time of W ( . )in intervals of type (N-',2N-'), we
obtain
C(V(0 G,+ l ) - V ( 0 , T i ) ) = 0 8.5. (9.16)
i€B
for any N = 1,2,. . . where
B = B N = {i : 0 5 i. 5 v, i E I ( N - l , 2 N - 1 ) } . (9.17)
((9.16) follows from the simple fact that for almost all w E 0 there exists
an EO = E O ( W , N ) such that 1 W ( t )12 EO if t E U i E ~ ( ~~ii+, l ) . )
Hence
(9.18)
and Theorem 9.12 follows from (9.19) and from the simple transformation:
for any T > 0
where 0 < jl < j 2 < . . . are the positive zeros (roots) of the Bessel function
Jo(x) = Io(iz) and for any k = 1 , 2 , . . .
4
ak = -
sin2j ,
1
JI(Z) = T I l ( i Z ) .
a
Furthermore
as. (9.21)
lim “(0,
n--1/4--~ , = 0 a.s.
n ) - ~ ( 0n)I (10.2)
n+ 00
for any E > 0. The proof of (10.1) does not require any new idea. Only a
more tiresome calculation is needed.
Proof of (10.2). Define the r.v.’s 70 = 0 < 7 1 < 7 2 < . . . just like in
Section 6.3. Further let 1 < p1 < p 2 < . . . be the time-points where the
) } 0, i.e. let
random walk { S k } = { W ( T ~visits
109
110 CHAPTER 10
and
v ( 0 , n )= c
E(O,k)
j=1
(V(O,TPj+l)- V ( 0 , T P j ) ) .
E(V(0, TPj+l) - d o , T P j ) ) = 1.
Hence
~ ( 0Q)
, = J(0, k ) + o ( ( J ( 0 , k))'I2+') as. (Ic + co).
(6.1) easily implies that
and
(10.3) and (10.4) can be easily proved. Their proofs are omitted here be-
cause more general results will be given in Chapter ll (Theorems 11.1 and
11.7).
Remark 3. It can also be proved that in Theorem 10.1 the random walk
Sn and the Wiener process W ( t )can be constructed so that besides (10.1)
(10.6)
for any z > 0 where <(n)= max, <(x,n ) (cf. Theorem 9.14).
{ y ( t ) , m + ( t ) ;t 2 O ) ~ { l W ( t ) l , Q ( 0 , t )2; 01,
Consequence 1.
(10.7)
Consequence 2.
(10.8)
where
Y ( n ) = A2+(n)- S ( n ) .
f o r any n = 1 , 2 , . . . where
Y ( n ) = M + ( n ) - S(n).
Proof. Let
LEMMA 10.1
(i) X l , X z , . . . is a sequence of i.i.d.r.v. with
P{X, = +1} = P{X, = -1} = 1/2.
(ii)
S ( k ) - 5(71)= ck
j=T1+1
x j = (-1)I+lX1 ck
j=T,+l
Xj+l =
51 if Tl+l<k<Tl+1-2,
(-l)’+’X1(s(k + 1) - s(Ti + 1))
{ =1
=2
if
if
k = 71+1 - 1,
k = Tl+1.
(iii) 2O(71) = 21 = S ( q ) = M + ( T ~ )1 ,= 1 , 2 , . . ..
(iv) For any <
n < ~ 1 + 1 we have O ( n ) = 1, 21 <_ af(n)5 21 + 1,
consequently o 5 A?+(.) - 20(n) 5 1.
(v)
S(k)=
{ 2121 ++ 21 -
-
IS(k + 1)1
IS(k)l
if
if
71 +
1 5 Ic
k=Ti+i,
5 q+1 - 1,
therefore
Y ( k )= rii+(k) - S ( k ) 5 IS(k + 1)1 5 IS(k)l + 1
and
Y ( k )= M + ( k ) - S ( k ) _> IS(k + 1)1 - 1 2 ]S(k)l- 2.
This proves Theorem 10.4.
P r o o f of Theorem 10.3. Clearly we have
n-1/4-E “(0, n ) - 2O(n)I + 0 a s . (10.11)
Hence we obtain Theorem 10.3 as a trivial consequence of Theorem 10.4.
Applying the Invariance Principle 1 (cf. Section 6.3), Theorems 10.2
and 10.4 as well as (10.11) we easily obtain
Consequence 4. Let
F ( T )= max (W(u)- W ( v ) )
OLu<v<T
(1+ E ) (c q 2
8 loglogn
E LUC(F(T)),
(1 - E ) (.._8>
loglogn 1/2 E LLC(F(T)),
{
P T-1/2F(T)< x} = G(z) = H ( x )
where G(.) and H ( . ) are defined in Theorem 2.13.
7r2
c;+-
2c;
< 1.
{ W ( t ) ,O 5 t 5 T } given W ( T )= C ( b ( ~ ) ) - l
is equal t o the distribution of
{BT(t)+ Ct(Tb(T))-l,0 5 t 5 T } .
+
Further, the maximal fall of BT(t) Ct(Tb(T))-' is less than or equal t o
2 maxOct<T
- - J B T ( t ) )Hence
. we obtain
>
- (logT)-(c:+n2(1+')/2c~)
f ( n )E uuc (n-I%x, 4)
if and only if
T h e nonincreasing f u n c t i o n
g ( n ) E LLC ( n - l w x , n,)
if a n d only if
Having Theorem 10.2 (instead of Theorem 10.3) and Theorem 6.2 or ap-
plying Theorem 11.1 and Theorem 10.1 we obtain
117
118 CHAPTER 11
lim inf n-l/'(log log n)'I2[(n)= lim inf t-'/'(log log t)l/'q(t)
n+w t-iw
= y = 21/2jl a.s. (11.3)
where jl is the first positive root of the Bessel function Jo(x).
and he proved
THEOREM 11.7 There is a nonincreasing function @ ( a )such that
77(X,
limsup inf ~ =1
T+cc IXl<Tf(T) 7-
if and only if
(i) 0 < at 5 t ,
(ii) t l a t is nondecreasing.
Then
lim sup 6t
t+m
sup
O ~ s ~ t - a t
( q ( z ,s + a t ) - q ( z ,s ) )
= Iim sup bt(q(z,t ) - q(z,t - a t ) ) = 1 a s .
t+m
If we also have
(iii)
lim (Iog(t/at))(loglogt)-‘ = 00
t+m
then
lim 6t
t--tm
sup
O<s<t-at
( q ( z ,s + a t ) - q ( z ,s)) = 1 as.
Remark 1. Clearly
SUP
O<s<t-at
+
( m + ( ~a t ) - m+(s))5 SUP
O<s<t-at
+
( W ( S a t ) - W ( S ) ) . (11.4)
lim yt sup
t+m
sup
zERlO<s<t-at
( q ( z ,s + a t ) - q ( z ,s ) ) = 1 as.
S T R O N G T H E O R E M S OF T H E LOCAL T I M E 121
(
t 1 - - E UUC(T(t))
fttJ
Remark 2. Originally this theorem was formulated for random walk in-
stead of Wiener process.
Example 1. Since L ( f ) < 00 if f(x) = (logx)2fE(&> 0) and L ( f ) = 00 if
f(z)= (logx)2,we obtain
(1 - (logt)2+'
) E UUC(r(t))
and
or equivalently
liminf inf s + ut) - ~ ( 0s))
(~(0, , = liminf(q(0,t) - ~ ( 0
t-, at)) > 0
t+m O+-<t-at t+m
and
liminf
t+m
inf
Ojslt-at
+ , = lim
( ~ ( 0s, at) - ~ ( 0s)) inf(q(0, t ) - ~ ( 0t -
t+m
, ut)) = 0
This example shows that the study of the properties of the above lim inf (i.e.
the analogue of Theorem 7.20) is interesting only if at > t ( l - (logt)-*).
This question was studied by CsAki and Foldes (1986). They proved
122 CHAPTER 11
if
we obtain
Remark 3. By Theorems 10.1, 10.2 and 10.3, we find that the statement
of Example 2 remains true replacing ~ ( 0t ),by rn+(t) or M + ( n ) . (Compare
this result with the Theorem of Hirsch of Section 5.3.)
Finally we mention the following analogue of Theorem 11.11 (cf. also
Theorem 11.3).
THEOREM 11.14 (Cs&ki-Foldes, 1986). Let a t ( t 2 0 ) be a nondecreas-
ing function o f t satisfying conditions (i) and (ii) of Theorem 11.9. Then
liminf 19tQ(t)= 1 a s .
t+m
where
inf
Q ( t ) = O<s<t--at SUP
zE*l
( V ( 2 ,s + a t ) - V ( 2 ,s))
S T R O N G T H E O R E M S OF T H E LOCAL T I M E 123
and
+
19' = (
log(t/at) log log t
2j:at
If we also assume that (iii) of Theorem 11.9 holds then
Y2
lirn &&(t)= 1 a s .
t+cc
11.3 Increments of ~ ( I C , n)
In Section 10.1 we have seen that the strong theorems valid for q ( z , t )
(resp. q ( t ) ) remain valid for ( ( z , n ) (resp. ( ( n ) )due to the Invariance
Principle (Theorem 10.1). In Section 7.3 we have seen that the strong
theorems proved for the increments of a Wiener process remain valid for
those of a random walk if a, >> logn (resp. a, >> ( l ~ g n ) depending~) on
what kind of theorems we are talking about. This latter fact is due to the
Invariance Principle 1 (Section 6.3) and especially the rate O(1ogn) in it.
Since the rate in Theorem 10.1 is much worse (it is 0 ( 1 2 ' / ~ + ~ )only) we can
only claim (as a consequence of the Invariance Principle) that the results of
Section 11.2 remain valid for ((z, n) (instead of ~ ( zt ,) ) if a, 2 n 1 / 2 + EThe
.
case a, < n1/2+Erequires a separate study. This was done by CsAki and
Foldes (1984/C). They proved that Theorem 11.9 remain valid for ((z, n)
if a , >> logn. In fact they proved the following two theorems:
lim -an = X I .
n-m logn
Then
lim sup 6,
n+w
sup
Oskln-a,,
(((z, k + a,) - ( ( 5 ,k)) = 1 a.s.
If we also have
124 CHAPTER 11
then
lim S,
n+m
sup
Olksn-a,
( [ ( x ,k + a,) - [(x,k)) = 1 a s .
if c > (log2)-1.
max
Ojkln-a,,
([(O, k + a,) - [(O, k)) =
Hence we consider the case when x is smaller than the above limits, i.e.
when ((., .) and v(., -) are strictly positive a.s. Now we formulate
THEOREM OF DONSKER AND VARADHAN (1977). In the
topology of C(-m, +m) the set of limit points of the functions
126 CHAPTER 11
resp.
11.5 Stability
Intuitively it is clear that <(x,n ) is close to <(y, n) if x is close t o y. This
Section is devoted to studying this problem.
THEOREM 11.20 (Csorgii-Rkvksz, 1985/A).
where k = f l , f 2 , . . ..
THEOREM 11.21 (CsorgB-Rkvksz, 1985/A).
the study of the liminf of I<(z,n)- J(O,n)(is not interesting. The limsup
properties of t(z, n) - [ ( O , n) follow trivially from Theorem 11.10.
Theorem 11.20 stated that <(z,n) is close to ((0,n) for any fixed z if n
is big enough. The next two Theorems claim that in a weaker sense ((z, n )
is nearly equal t o E(0, n ) in a long interval around 0.
Then
11.5)
and
Then
5
lim sup
n-+ooh 1 ( n ) < z < h z ( n )
jp- 11 = o
,301
as. if p > -2
and
Then
Ea1 = 0 , Ea; = 4k - 2, (11.6)
(11.7)
(11.8)
and
(11.9)
Utilizing Lemma 11.3 with vn = t(0,n) and the trivial inequality a1(k) +
a ~ ( k ) +. . + a ~ ( o , n ) ( kI) t(k,n)-t(O,n) I al(k)+az(k)+...+a<(o,n)+l(k)+
1, we obtain Theorem 11.20.
As far as the proof of Theorem 11.21 is concerned we only present a
proof of the statement
The other statements of Theorem 11.21 are proved along similar lines.
The proof of Theorem 11.21 is based on the following result of Dobrushin
(1955).
THEOREM 11.24
Remark 3. One can also prove that (cf. Theorem 14.1 and (14.17))
This fact together with Theorem 11.24 implies that the rate in the uniform
Invariance Principle (Theorem 10.1) cannot be true with rate n1l4.
Dobrushin also notes that if N1 and N2 are independent normal ( 0 , l )
r.v.'s then the density function g of JNlI1I2N2
is
11.10)
In fact this statement is not very surprising since on replacing n by
t ( 0 , n )and k by 1 in (11.7), intuitively it is clear that
(11.11)
To find an exact proof of (11.11) is not simple at all. We will study this
question in Chapter 14.
130 C H A P TE R 11
Intuitively it is again clear (for an exact formulation see Chapter 14) that
and
The following lemma describes some properties of the density function g(y).
Its proof requires only standard analytic methods, the details will be omit-
ted.
LEMMA 11.4
(i) There exists a positive constant C such that for a n y y E R’
3
(11.14)
(iii) Let {a,} be a sequence of positive numbers with a, t co. Then for
any E > 0 there exist a C1 = C ~ ( E>) 0 and a C2 = C ~ ( E>) 0 such
that
STRONG THEOREMS OF T H E LOCAL TIME 131
and
Now we prove
L E M M A 11.6
Proof. Let
By Lemma 11.5
(11.15)
Let j < k and consider
03 00
132 C H A P T E R 11
where
and
Now a simple but tedious calculation shows that for any E > 0 there exists
a j , such that if j , < j < k , then
Here we omit the details of the proof of this fact, and sketch only the main
( j = 1,2,. . . , k - l),
idea behind it. Since ( n j / n k ) ' l 4 5 K1I4 the lower
limit of integration B(y) above is nearly equal to
Hence for latter y values the integral JZy) g(z)dz is nearly equal to P{Ak}.
Similarly, the integral J r g ( y ) d y gives P { A j } , and (11.16) follows, for in
the case of y > k1I4 the value of g(y) is very small.
STRONG THEOREMS OF T H E LOCAL TIME 133
Now ( 1 1.15), ( 1 1.16) and the Borel-Cantelli lemma combined give Lemma
11.6.
We also have
L E M M A 11.7 Let
mk = [exp(k/ log2 IC)]
and
Bk = (((0, (mk?k+l)) 2 ak+l)
where
Dk = { SUP
L<Mk+l-ak+l
SUP
j<ak+l
IQi(1) f W + i ( l )f...fQi+j(l)l
(11.17)
134 CHAPTER 11
Proof. Let
Then by Lemma 11.5 only finitely many of the events Fk occur with prob-
ability 1. Now observing that
B
of the local time might think that A is about 2 C [ ( i , n ) . It is really so:
i=A
c [ ( i , n )= 71, (n = 1 , 2 , . . .)
Excursions
(ii) let
(iii) let
q(n) = max{k : 1 < k 5 n, Sk = 0)
be the location of the last zero up to n,
<,
(iv) let be the number of those terms of S1, SZ,. . . , S, which are positive
or which are equal t o 0 but the preceding term of which is positive,
135
136 CHAPTER 12
(v) let
) inf{k : 0
p u + ( n= 5 k 5 n for which sk = M;}.
if and only if
and
UUC(k(n)) = UUC(n - p+(n)).
By Theorem 10.3 it is also clear that
UUC(R(n)) = UUC(k(n)).
The characterization of the lower classes of R(n) and k(n)is much harder.
We have
THEOREM 12.3 (CsBki-ErdBs-R6v&szI 1985). Let f ( x ) be a nonde-
creasing function for which
Then n
,B- E LLC(Y*(n))
f (n)
if and onlu if
where Y * is any of the processes R(n) and R(n) and ,B = 0,85403.. . is the
root of the equation
Pk
cO0
k=l
k!(2k - 1)
= 1.
Consequence 1.
log log n loglogn A
n+oo
j=1
138 CHAPTER 12
This theorem in some sense answers the question: How small can the r.v.'s
&(n),&(n), . . . be? In order to obtain a more complete description of
these r.v.'s we present the following:
Theorem 12,l tells us that for some n nearly the whole random walk
{S(k)},"=, is one excursion. Theorem 12.3 tells us that for some n the
random walk consists of at least p-' loglogn excursions. These results
suggest the question: For what values of k = k(n) will the sum C,"=,
Rj(n)
be nearly equal t o n? In fact we formulate two questions:
Question 1. For any 0 < E < 1 let F ( E )be the set of those functions
f ( n )(n = 1 , 2 , .. .) for which
-x
f(n)
j=1
Rj(n) 2 n ( 1 - E)
j=1
where
if YL1,
and
P { y < .) = 1- G (i)
where G(l) = 0 ,
and
2 1
G(2) = - - -
l r 2
The multiple Laplace transform of D ( t ) and some other characteristics
of a Wiener process were investigated by Cskki-Foldes (1988/A). A very
different characterization of the distribution of the zeros of {S,} is due to
Erdtjs and Taylor (1960/A), who proved
140 CHAPTER 12
THEOREM 12.8
lim - l Cpi112
n = r- 1 / 2 as.
n+a logn k = l
where
l n
liminf -
n+co n
CI ( s k ) = o as.
k=l
and
Hence the sequence I ( S k ) does not have a density in the ordinary sense but
by Theorem 12.9 its logarithmic density is 1/2.
It is natural to ask what happens if in Theorem 12.9 the indicator
function I ( . ) of (-oo,O) is replaced by the indicator function of an arbitrary
Borel set of R1 . We obtain
THEOREM 12.10 (Brosamler, 1988; Fisher, 1987 and Schatte, 1989).
There is a P-null set N c R such that for all w $! N and for all Borel set
A C R1 with X(dA) = 0 we have
EXCURSIONS 141
1 if z E A,
IA(z) = { 0 if z $A.
where
A ( ~=) ~ - ~ / ~ ( 1 0 +
g (2y))2
i (0 < y < W)
and I ( . ) is defined in Theorem 12.9.
a.s.
The proofs of Theorems 12.13 and 12.14 are based on two large deviation
type inequalities which are of interest on their own.
THEOREM 12.15 For any K > 0 and t' > 0 there exist a C = C ( K ,t') >
0 and a D = D ( K ,t') > 0 such that
{ (log h-1)-3/4
sup 1
h'l2N(h,z, t ) - E q ( z ,t ) 2 C } 5 DhK,
h1'4 (Z,t)€W'X [h,t']
said about E(z,n)? Let M ( a ,z, n) be the number of excursions away from
z longer than a and completed by n. Our main result says that observing
the sequence { M ( a , , ~ , n ) } r = with
~ some a, = [n"](0 < Q < 1/3) the
local time sequence { ( ( ~ , n ) } rcan = ~be relatively well estimated. In fact
we have
where
P(a) = P(p1 > a } .
The proof of this theorem is based on
Remark 1. Very likely Theorems 12.17 and 12.18 remain true assuming
only that 0 < Q < 1.
In order t o prove Theorem 12.18, first we prove the following
provided that
Clog(nP(a))< nP(a)(l - P ( a ) ) . (12.1)
Proof. Clearly M ( a , z, p , ( z ) ) is binomially distributed with parameters
n and P ( a ) . Hence the Bernstein inequality (Theorem 2.3) easily implies
Lemma 12.1.
Proof of Theorem 12.18. Since by (9.10)
144 CHAPTER 12
condition (12.1) holds true if a 5 nP(p < 2) and n is large enough, Lemma
12.1 can be reformulated as follows: for any K > 0 and 0 < $ < p < 2
there exist a C = C ( $ ,p, K ) > 0 and D = D ( $ , p, K ) > 0 such that
P (12.2)
(12.3)
+
and for any K > 0, 0 < < p < 2 and 0 < y < S < m there exist a
C = C(y,S,GI p, K ) and a D = D ( y ,S,4,p, K ) such that
(12.4)
Then by a slight generalization of (9.11) (or applying the exact distribution
of [ ( O , n) , cf. Theorem 9.3) for any K > 0 there exist a C = C ( K )> 0 and
a D = D ( K ) > 0 such that
(12.5)
{ ~ [(XI m) 2 c ( mlogm)'/2}
A, = r n 5 (0 < p < 1/2)
holds true. Then replacing m by ,on(.) (more exactly assuming that E(x,m ) =
n , i.e. pn(.) 5 m < pn+l(x)) we obtain
EXCURSIONS 145
n2
<m n'/B.
2C2 log n -
Hence
(12.7)
Consequently
P{J>C,E(z,m) < r n P } = ~ (12.8)
if m is large enough and p < (1 - a)/4 . Hence by (12.8), (12.7) and (12.4)
we obtain
P{J > C } = P{J > C,A,} +P{J > C , < ( x , m ) < m'}
+P{J > C,[(z,m) > C(mlogm)1/2}
I P{J > c,A,} + ~ { < ( z , m> )C(mIogrn)1/2)
5 P { J > C,A m } + Dm PK 5 2Dm-K
if m is large enough, p < (1 - a)/4 and a / P < 2. P can be chosen in such
a way if 0 < CII < 113. Consequently we also have that
P { s u p J ( m , z ) > C } 5 Dm-K
X
146 CHAPTER 12
for any K > 0 if C, D are large enough and 0 < Q < 1/3. Hence the proof
of Theorem 12.18 is complete.
Theorem 12.17 is a trivial consequence of Theorem 12.18.
Note that if Q > 1/5 then P ( a ) can be replaced by (2/7ra)ll2. Hence
we also obtain
THEOREM 12.19 Let a, = [na]with 1/5 < a < 1/3. Then
and
The analogue question for random walk can be answered similarly ap-
plying the method of the previous section and Lemma 3.1 instead of (9.10).
Here we present only a weak form of the answer. Let M ( a , x , n ) be the
number of excursions away from x higher than a and completed by n.
EXCURSIONS 147
and if n + 00 then
1-1
2n 2(n - 1).
-+ 2.
+
(n l ) z
P r o o f . By Lemma 3.1
1 1
- P { M + ( P l )2 n -j } .
2n-j
Further.
A))u
1-1-u
n
P{U, = m } = ( i = 1 , 2 ; m = 1 , 2 ,...).
(12.9)
Further,
and
4j(n - j ) 2 j ( n - j ) - n
-
n n
+ 8j2- 4j (n + w).
Proof. Since
n+l if 12 1,
\$(I- +
2 j ( n 1- j )
)l-l
(1- i> n
1 n f l
if 1 = 0,
150 CHAPTER 12
and if n -+ co then
-
- 4 n+l -n+l-j -+ 8 j - 6.
n( n + l), n
P { l ( n - i P l ) = 1 I M+(P1) = n,l(n,p1) = k}
= P{Ul + v1 + v, + . . . + V k - 1 + u,= 1 )
where u1, V I ,v2,.. . , v k - 1 , U2 are independent r.v. 's with
n
P{Ui = m } = ( i = 1 , 2 ; m = l , 2 , ...)
2.i(n - j ) (1 - 2 j (n - j ) >,-l
4 ( k - 1) n
+ n(n - 1)2
(n - j ) 3 ( 2 j - ~
2(n - j )
--
n -1
-+ 8j2 - 4 j + (k - 1)(8j - 6 ) = 8 j 2 + (2k - 3)4j - 6 ( k - 1).
EXCURSIONS 151
Proof. Clearly
and
t(n - j , P 1 ) - 5(. - j ,Pk (n))
are independent. Lemma 12.3 tells us that the conditional distribution of
[(a - j , p1 ( n ) )and ( ( n- j , P I ) - [(n- j , Pk ( n ) )is equal to the distribution
of Ul and U2. Lemma 12.4 is telling us that the conditional distribution
of [ ( n - j , p i + l ( n ) ) - [ ( n - j , p i ( n ) ) (i = 1 , 2 , . . . , Ic - 1) is equal to the
distribution of Vi,V2,.. . ,V k - 1 . Hence we have Lemma 12.5.
Theorem 12.21 and Lemmas 12.3, 12.4 and 12.5 combined imply
2
-
n n+l +
n ( n 1)
( n+ I - j)' -+ 4j + 2,
E ( ( [ ( n- j,PI) I
- EE(n - j , ~ 1 ) )M'(p1)
~ = n ) -+ 8 j 2 + 4 j - 6.
Further, for any j = 0 ,1 ,2 ,. . . and K > 0 there exist a C1 = C1(K,j ) > 0
and a C2 = C z ( K , j )> 0 such that
1
P {E(n- j , PI) L 6 j 2 + 4 j + 2 I M+(pi) = n } 5 4j2.
152 CHAPTER 12
THEOREM 12.26
max x(k)
l<k<n
1
lim -
- - a.s.,
n-tm lg n 2
consequently
x (n > -
limsup - 1
- - a.s.
n-+m lgn 2
and trivially
x (n ) = 1 i.0. a.s.
P(taf= k} = 2-k ( I c = 1 , 2 , . . . ; 2 = 0 , 1 , . . .)
P(max(2f
a<L 5 K } = (1 - ,>,+,. (12.12)
Choosing
1-& n1/2
K=Kn=- lg n and L = L n = -
2 (kn)
we obtain
ye;x(i) 1
lim inf 2 - a.s.
lgn 2
~
n-m
Similarly, choosing
maxJa* 5 K a.s.
a<L
) L = L,,(T). Let j T
for all but finitely many j where K = K n j ( ~and I
+
N 5 ( j l ) T .Then
Proof. Let
EXCURSIONS 155
Hence
Let T be a positive integer with T(l - E ) > 1. Then only finitely many
of the events an^ will occur with probability 1. Let nT 5 N _< ( n l)T. +
Then
AN c A(n+l)T(2Q,E).
Consequently only finitely many of the events A, will occur with probability
one.
Since
M,:, 5 n (1 0 g n )~ a s .
n ( l ~ g n )5- ~
(cf. the LIL, the Other LIL and Theorem 11.6) we obtain the Lemma.
Lemma 12.6 and Theorem 12.22 combined imply
THEOREM 12.27 For any C > 0 there exists a D = D ( C ) > 0 such
that
sup E ( M +( n )- j , n ) 5 D log3 n U.S.
j<clog n
f o r all but finitely many n.
In this section as well as in Section 12.3 we investigated the local time
of big values. Many efforts were devoted to studying the local time of small
values. Here we mention only the following:
THEOREM 12.28 (Foldes-Puri, 1989). Let
/ j =~ min{k : (Ski = N )
and
E((--CYN,aN),fiN)= # { k : 0 5 k 5 fiN, ISklF a N } .
Then for any 0 < a 5 1 we have
(12.13)
156 CHAPTER 12
(12.14)
Note that in case Q = 1, Q(Q) = 7r/2. Hence (12.13) (resp. (12.14)) are
equivalent with the Other LIL (resp. LIL of Khinchine).
Chapter 13
Having this result, one can conjecture that fn will be larger than any func-
tion Z(n)i.0. with probability 1 if Z(n) E ULC(S,).
However, it is not the case. Conversely, we have
THEOREM 13.3
lim inf
Sn co if y > 11,
157
158 CHAPTER 13
Question. Find the value of the constant yo such that with probability 1
lim inf
0 if y < yo,
n+oo .1/2(1ogn)-r oo if y > yo.
They also remark that “there is a good reason to expect that yo would
be in [I, 21.’’
They also investigated the limit distribution of f n and proved
THEOREM 13.4
Then
(13.1)
P(#(F*(2 4 i.0.) = 0.
FREQUENTLY A N D R A R E L Y VISITED SITES 159
si= si-1 + Si + 1
2
and let
q z ,n) = #{j E [l,n], sj = }.
be the local time of the edge [z - 1,XI. Now let
Kn = {z : l ( x , n )= ma?!(y,n)}
yEZ
k ( r ) = #{i : i 2 1, #IKil 2r } .
THEOREM 13.6 (T6th-Werner, 1997) Almost surely k ( 4 ) < 00. More-
over Ek(4) < co.
This theorem tells us that the extraordinarily large jumps of the favourite
site are asymptotically comparable to the size of the range of the random
walk.
Here we present a few unsolved problems (Erdos-Rkvksz, 1984 and
1987).
1. Consider the random sequence {u,} for which IFv,,/ 2 2. What can
we say about the sequence {v,}? Can we say, for example, that
limn-too v,/n = co with probability l ?
4. We also ask how long a point can stay as a favourite value, i t . let
1 5 i = i(n) < j = j ( n )5 n be two integers for which
5. Further if 2 was a favourite value once, can it happen that the favourite
value moves away from x but later returns to x again, i.e. do sequences
a, < b, < c, of positive random integers exist such that
6. By the arcsine law we learned that the particle spends a long time
on one half of the line and only a short time on the other half with a
large probability. We ask whether the favourite value is located on the
same side where the particle has spent the long time. For example let
0 < n1 = n 1 ( w ) < 7 2 2 . . . be a random sequence of integers for which
j=1
F R E Q U E N T L Y A N D R A R E L Y V I S I T E D SITES 161
where
I ( S j )= 1 if Sj 2 0,
0 if Sj < 0.
Then we conjecture that fnk + 00 as k -+ 00 as.
f r ( n )= #{k : k # 0, ( ( k , n )= r } +
):6
be the number of points visited exactly r-times up to n. Then
However, for some n the number of points visited exactly once might be
very large.
limsup fl ( n ) = C a s .
n+oo log 12
where 0 < C < co but its exact value is unknown.
Efl(n)=2 ( n = 1 , 2 ,...).
+
f;(n) 1 if ( ( 0 , n 1) = 0, +
fl(n + 1) =
{ f;(n) - 1 if [(O,n 1) = 1,
f; ( n ) if E(O,n + I) > 1.
+
Theorem 9.3 implies that P(((0, n + 1) = 0) = P(((0, n + 1) = l}. Hence
we have the Theorem.
162 CHAPTER 13
Let T
j=1
be the number of those visited points which are visited at most T times up
to n. Our question is: might be g T ( n ) = 0 i.0. (r 2 2).
This question was answered by T6th (1996/A).
THEOREM 13.11 For a n y positive integer n
P{g,(n) = 0 i . 0 . ) = 1. (13.2)
Clearly (13.2) tells us that for infinitely many n each visited point is
visited at least r times. We suggest the following problem: characterize
those sequences { r ( n ) ,n = 1 , 2 , . . .} for which (13.2) remains valid replacing
T by r ( n ) . It seems to be clear that (13.2) holds true if r(n)goes to infinity
slowly enough. It is not hard t o give an upper bound for the speed of the
sequences { r ( n ) }which might satisfy (13.2).
THEOREM 13.12 Let r(n)= alogn (a > 1/2). T h e n
An Embedding Theorem
1
P{Xi,.j = 1) = P{Xi,j = -1) = -
2
and define = S,,O = 0 ( n = 0 , 1 , 2 , . . .; m = 0 , 1 , 2 , . . .},
j=1 i=l
However
lim sup b(nrn)s,,, = a.s.
n+cc
m+co
163
164 CHAPTER 14
(ii) W ( 0 ,y ) = W ( x ,0 ) = 0 ,
=~min(z1,xz)
(iii) E W ( ~ I , Y I ) W ( Q , Y ) min(yl,y2),
(iv) W ( x ,y) is continuous a.s.,
For some further study and a detailed definition of the Wiener sheet we
refer to Csorgo-R6v6sz (1981). A very useful and detailed new study of the
multiparameter processes is due to Khoshnevisan (2002).
E(<(x,P k ) - 6 ( x , P k - l ) ) = 1, E(J(2,P k ) - S ( x , P k - 1 ) - = 42 - 2
Then we have
where j = 1 , 2 , .. . ,k.
(14.2)
Then we have
(i)
EC(x,u) = 0, EC2(x,u)= 4x21,
By the Invariance Principle 2 (cf. Section 6.3) this fact easily implies that
for any x E R1 the process L ( x ,u ) can be approximated by a Wiener process
W,t(.)with rate O(logu), i.e.
Having a fixed z this result gives an important tool to describe the prop-
erties of L ( x ,u ) .
What can we say about C ( x , u ) when u is fixed and x is varying? It is
easy to prove that for any fixed u { L ( x , u ) , z2 0) has orthogonal incre-
ments and it is a martingale in z. This observation suggests the question:
Can the process C ( x ,u ) be approximated by a two-parameter Wiener
process?
Since by the LIL ~ ] ( z , u=) 0 a.s. if z 2 ((2 + ~ ) u l o g l o g u ) ~and
/~ u
is big enough, we have C ( x , u ) = -u for any z big enough. This clearly
shows that the structure of C(z, u ) is quite different from that of W ( x ,u )
whenever IC is big. Hence we modify the above question as follows:
Can the process C ( x , u ) be approximated by a Wiener sheet provided
that u is big but IC is not very big?
The answer t o this question is positive. In fact we have
166 CHAPTER 14
Thus by Theorem 14.2 we conclude that the local time process {4(0, t )
t 2 0) has the following properties:
I77(07ic) - d O , P 2 l = 177(0,ij3 - 4
such that
14.3 Applications
In order to show how the above theorem can be used in the study of the
properties of v(.,.), first we list a few simple properties of the vector valued
process
~ , t ) ) ,t - 1 / 4 ~ ( 0t,) ) ;t 2 01
{ ( 2 ~ (G(O,
which can be obtained by standard methods of proof.
Namely for any x > 0 and t > 0 we have
(14.10)
(14.11)
(14.12)
where N1, N2 are independent normal ( 0 , l ) r.v.'s. Note that since q(0, t )
and W(x,u) are independent (cf. Theorem 14.3), (14.12) follows from
(14.10) and (14.11).
Also, for any x > 0, the set of limit points of
ut = w(x,7j(O,t)) (t )..
~
V - G(0, t )
t - &Ei$$
is the interval [0,1] a.s. Applying the fact that the processes { i j ( O , t ) ; t 2 0)
and {W(x,u); x 2 0, u 2 0} are independent, we get that the set of limit
points of ( U t , & ) is the semidisc {(u,w) : w 2 0, u2 + w 2 5 1). The set of
limit points of
(14.13)H
(14.14)
(14.15)
(14.19)
(14.20)
If there are more than one integer satisfying (15.1), then the smallest one
will be considered as p ( n ) . Since p ( n ) = n i.0. a s . , the characterization
of the upper classes of p(n) is trivial. In order to get some idea about the
lower classes we can argue as follows.
Since limn+m p(n) = M a.s. by the LIL for any E > 0
consequently
and -
(15.2)
if n is big enough.
We ask:
171
172 CHAPTER 15
(15.4)
and
n
'
~ ( ~ 1 ' (log log n)2
cannot occur simultaneously if n is bag enough. However, if g ( n ) is a pos-
itive function with g ( n ) 7co then for almost all w e R and E > 0 there
exists a sequence 0 < n1 = n 1 ( w ,E ) < 712 = ~ z ( w , E<) . . . such that
Question 4. Instead of Question 3 one can ask: How big can p ( n ) be, if
M ( n ) is as small as possible? The answer to this question is unknown.
The following theorem gives a joint generalization of the above three
theorems. It also contains the LIL and the Other LIL (cf. Sections 4.4 and
5.3).
THEOREM 15.4 (Cs&ki-Foldes-R&visz, 1987). Let
(loglogn)2
a(n)= n CL(n),
5 y 5 5 1 / 2(1 + (1 - $ 2 ) 1 / 2 }
y2 7r2
={(x,y): z>o, y > o , -+-<1
2 2 8y2 -
174 CHAPTER 15
y2 7r2
K E = { ( z l y ) : z > O , y > O , -22+ - <8y21 +
-~
T h e n for a n y E >0
(a(n), b ( n ) ) E K, as.
and
7r2 n
E ULC{R*(n)}.
- (' + T (log log n)2
As far as the lower classes of R*(n) are concerned we have
A F E W FURTHER RESULTS 175
O3 Pk =1
k l
k!(2k - 1)
and
n
(1 - &)D- E LLC{R*(n)}.
log log n
if and only if
cm
n=l
n-l(g(n))-l/Z < oo.
Further,
nP(n) E LLC(Q(n), 72 E 2)
if a n d o n l y if
A F E W F U R T H E R RESULTS 177
if and only if 77 5 4.
Now we turn to our second question, i.e. we intend to study the be-
haviour of @ for those n’s for which M ( n ) is very small (nearly equal to
mz1/2(810glogn)-1/2, cf. the Other LIL (5.9)). In this case we can expect
that Q ( n )is not very small. The next theorem shows that this feeling is
178 CHAPTER 15
Then we have
{ n-l q ( n ) 7r-1n11/2
, (8 log log n)'/'hf(n>}
and
for all but finitely many n. This means that if M ( n ) is very small then
* ( n ) cannot be too small. For example, choosing (4- 37 - =1 6 +
we have: if
Conjecture. For any 6 > 0 and for almost all w E R there exists a sequence
of integers 0 < n1 = n1(w, 6 ) < 712 = nz(w, 6) < . . . such that
+
M(72i) 5 (1 S ) r
8 log log ni
and Q(ni)= ni (i = 1 , 2 , . . .).
The proofs of the above two theorems of this paragraph are based on
the evaluation of the joint distribution of Q ( n )and S,. Here we present
such a result formulated to Wiener process.
THEOREM 15.11 (Cshki-Grill, 1988). Let x > 0 , 0 < y < 1. Then
and
lim P{ max k-1/2
n+w ljk<n
I s k 15u(y,logn)} = exp(-2e-~)
f o r any -co < y < co.
_ - k-1/2Sk is given
A strong characterization of the behaviour of maxl<k<n
in the following:
THEOREM 15.15
max k-1/2Sk
l<k<n
lim =1 U.S.
Tl+w (2 log log n)1/2
max k-1/2Sk
I<ksn
lim sup <1 a.s.
n+oo (2loglogn)1/2 -
A F E W FURTHER RESULTS 181
Applying Theorem 5.3 we obtain that for any n big enough with probability
1 there exists a
n1-6n 5 Ic = K n ( W ) 5 n
with
such that
S, 2 b,’.
Hence
max -
s k
>-s, > J- 2 J2 loglognl-hn 2 (1 - E)J=
l<k<n - fi -
and we have Theorem 15.15.
It looks also interesting to study the limit behaviour of the sequence
We prove
THEOREM 15.16
T
Proof. Let a, = [ ( l ~ g n ) (~a] > 1). Then by Theorem 7.13 (see also
Section 7.3) for any E > 0 we have
and clearly
S j + k - sj
limsup sup sup <1 as.
n+cc O<j<n 1<k<2logn d- -
resp.
T ) max
( V ( T ) ) - ' / ~ W ( Y (= ) t-1/2W(t).
l<t<T
It looks an interesting question to characterize the properties of v ( n ,S )
resp. v(T,W ) . Clearly
v ( n ,S ) = n resp. v(T,W ) = T i.0. a.s
On LLC(v(., .)) we have
THEOREM 15.17 For any E >0
exp((logn)'-') E L L C ( ~ (.)).
~,
for any E > 0. Hence we obtain Theorem 15.14 via Theorem 15.12 and the
Invariance Principle.
Studying the strong behaviour of U ( t ) Qualls and Watanabe (1972)
proved
A F E W FURTHER RESULTS 183
(2l0gT)ll2 + (2 + E)
log log T
(2 log T )1/2
E U U C ( sup U ( t ) )
OLtST
and
(210gT)1’2 + (: -‘) log log T
(210gT)1/2 E ULC( sup U ( t ) ) .
O_<t<T
(15.7)
(15.8)
184 CHAPTER 15
(15.()
I" W"t)
) -- -
W ( s ) d W ( s=
t
2 2
(15.10)
( 15.10)
and by (15.8)
(15.11)
W 2 ( S ) d W ( S )= -- (15.12)
(15.12)
3
and by (15.8)
cn
i=O
S?Xi+l = g(S,+,) - csi
n
i=O
-- Si+l - C S i sn+l.
Sn+1 - -
2 3
n
- F (15.13)
i=O
The term -sn+1/3 of (15.13) is not expected by (15.12). However, we
know that the orders of magnitude of the terms Cy=oS!Xi+l, s2+1/3
and Cy==,Si are n3I2,while that of Sn+l is n1I2 only.
Remark 2. Applying the Invariance Principle 1 (15.7)can be obtained as
a consequence of (15.8).
The celebrated Tanaka formula gives a representation of the local time
of a Wiener process via ItB-integral.
A F E W FURTHER RESULTS 185
= #{k: 0 5 k < n ,
(*(x,n) s k = x},
Then we have
THEOREM 15.20 (Csorgo-Rkvksz, 1985). For any x E Z' and n =
1 , 2 ,. . .
(15.14)
c
where
= { :'[:::;-1
if
if
x # 0,
x = 0.
The above three equations easily imply (15.14).
Remark 3. The Tanaka formula can be proved from (15.14) using Invari-
ance Principle 1.
This page intentionally left blank
Chapter 16
Summary of Part I
187
188 CHAPTER 16
Clearly many of the results of Part I are not included in the above two
tables. For example, the results about increments, the rate of convergence
of Strassen-type theorems, the results on the stability of the local time, etc.
are missing from the above tables. A summary on the increments of the
Wiener process is given at the end of Section 7.2.
“While 10 or 11 dimensions doesn’t sound much
like the spacetime we experience, the idea was that
the other 6 or 7 dimensions are curled up so small
that we don’t notice them; we are only aware of
the remaining 4 large and nearly flat dimensions.”
1. Consider a random walk on the lattice Zd. This means that if the
moving particle is in x E Z d in the moment n, then at the moment
+
n 1 the particle can move with equal probabilities to any of the
2d neighbours of x independently of how the particle achieved x.
(The neighbours of an II: E Z d are those elements of Z d whose d - 1
coordinates coincide with the corresponding coordinates of x and one
coordinate differs by f l or -1.)
Let Sn = S ( n ) be the location of the particle after n steps (i.e. in the
momemt n ) and assume that SO= 0. Equivalently: Sn = X I X2 + +
. . . + X n ( n = 1 , 2 , .. .) where X I ,X 2 , . . . is a sequence of independent,
identically distributed random vectors with
1
P(X1 = e i } = P{X1 = - e i } = - (i = 1,2,. . . d)
2d
where e l , e 2 , . . . , e d are the orthogonal unit-vectors of Z d .
5. [ ( n )= max<(z,n).
XEZd
191
192 11. SIMPLE S Y M M E T R I C R A N D O M W A L K IN Zd
P{Sn = 0 i.0.) = 1 if d 5 2,
0 if d > 2.
In the early sixties Gyorgy P6lya gave a talk in Budapest where he told
the story of this Theorem. He studied in the teens at the ETH (Federal
Polytechnical School) in Zurich, where he had a roommate. It happened
once that the roommate was visited by his fiancke. From politeness P6lya
left the room and went for a walk on a nearby mountain. After some time
he met the couple. Both the couple and P6lya continued their walks in
different directions. However, they met again. When it happened the third
time, P6lya had a bad feeling. The couple might think that he is spying on
them. Hence he asked himself what is the probability of such meetings if
both parties are walking randomly and independently. If this probability
is big, then P6lya might claim that he is innocent.
By a simple generalization of the Recurrence Theorem it is easy to see
that if the parties wander independently according t o the law of the random
walk then they meet infinitely often with probability 1.
This Theorem was proved for d = 1 in Section 3.1. Hence we concentrate
on the case d 2 2.
193
194 CHAPTER 17
Further, in case G? =2
1
P{SZn = 0) = -
n7r
+0
Proof can be obtained by the Stirling formula.
For later reference we give the following analogues of Lemmas 17.1 and
17.2.
L E M M A 17.3 Let d = 2. Then
provided that
x + y = 0 (mod 2) and 1x1 + lyl 5 2n
where
k E A,(x, y) if a n d only if Ic =x (mod 2) and 1x1 5 Ic 5 2n - IyI.
where
R, (z) 5 min(O(n-(d+2)/2),~ ( X
l lJ J - ~ ~ - ~ / ~ ) ) .
Lemma 17.6 by a nontrivial calculation implies
L E M M A 17.7 (Lawler, 1991, Theorem 1.5.4). Let d 2 3. Then
M
where
..>
L E M M A 17.8 For any d 2 3 there exists a positive constant c d such that
c d f o(l>
P{Sn= z f o r some n } = P{J(x) = l} = Rd-2 (R+
where R = (IxI(and
J(x) =
0 if [(x,n) = 0 for every n = 0,1,2,. , . ,
1 otherwise.
Proof. Clearly
n
P{S, = x} = CP{Sk = x , s j # 2, j = 0 , 1 , 2 , .. . , k - l ) P { S n - k = 0)
k=O
and
c 00
n=O
P{S, = x)
c o n
n=O k=O
M 03
n=O k=O
196 CHAPTER 17
c00
n=O
P { s n = x} = (Kd + o ( l ) ) R 2 - d ( R m)
C P { S n = 0) < 00,
n=O
we obtain
co
P { J ( z )= 1) = P { s k = z, sj # XI j = 0,1 , 2 , . . . ,k - 1}
k=O
zr (Cd +O(1))R"d.
Hence we have the Lemma.
CP{sn= 0)
n=O
LEMMA 17.9 In c a s e d = 2
n n
(CP{S2k = )
'
0
k=l
Proof. Clearly
n n
T H ER ECURRENCETHEOREM 197
Then
< 1,
P{S, = 0 id.}=
{0
1
if
if
p
p = 1.
Proof is trivial.
1
p 2 P{Sn = 0 i.0.) 2 -.
2
Hence by the zero-one law (cf. Section 3.2) we have the Recurrence Theorem
in case d = 2.
In case d 2 3 it follows from Lemma 17.2 and Borel-Cantelli lemma 1
(cf. Section 4.1).
Po = 1,
k=O
M
k=l
198 CHAPTER 17
Between the sequences ( p 2 k ) and { @ k ) one can easily see the following
relations:
(0) Po = 1,
(i) p 2 = q 2 9
(ii) p 4 = q4 + q 2 p 2 ,
+
(iii) p 6 = q6 $. q 4 p 2 q 2 P 4 ,
............
(k) p 2 k = q2k + q2k-2p2 + . . + q 2 P 2 k - 2 7
............
Multiplying the k-th equation by z 2 k and adding them up to infinity we
obtain
1
P ( z ) = P(z)Q(z) + 1 i.e. Q(z) = 1- -. (17.1)
P(z)
By Lemma 17.2 we obtain
i.e.
Since Q(l) = C& q 2 k is the probability that the particle eventually visits
the origin we obtain
(17.2)
k=O
where ~~~~
that the particle returns to the origin but not in the first 2n - 2 steps. We
prove
LEMMA 17.11 For any d 2 3 and E > 0 we have
(17.3)
Proof. The upper part of (17.3) is trivial. In fact by Lemma 17.2 we have
= (1 + 2E)-
Now we turn to the proof of the lower part of (17.3). Clearly by Lemma
17.8 for any r > 0 we have
=
C
I kl < r n 1 / 2
~ ( p 2l 2 n , ~2~ = k ) ~ { : ~j >
j 0, ~j =l ~ j
200 CHAPTER 17
Proof. The inequality y(x) < 1 follows from the Recurrence Theorem.
The other part of the inequality is implied by
Proof. Let Z(A) denote the number of visits in the set A up to the first
return to 0, i.e.
T
Z(A) = c I { S n E A}
n= 1
if j = 0,
P{Z(A("))= j + 1, T < W} = s"-;,' if j > 0.
(17.8)
2,
j=O
xn= { (2-1/2,2-1/2)
(-2-1/2, 2-1/2)
(-2-’12, -2-ll2)
(2-1/2, -2-l/’)
if
if
if
if
X,
X,
X,
X,
= ( 1 , O ) in the original system ,
= ( 0 , l ) in the original system ,
= (-1,O) in the original system
= (0, -1) in the original system
,
.
Observe that the coordinates of X, are independent r.v.’s in the new co-
ordinate system (it is not so in the old one); hence by Invariance Principle
1 of Section 6.3 there exist two independent Wiener processes Wl(t) and
W Z ( t such
) that
) 2 - 1 / 2 ~(1n )- SF)/= O(log n) as.
and
1 2 - ~ / ~ ~ 2 (-1 Sg)l
2 ) = O(1ogn) a s
where Sc),St)are the independent coordinates of S, in the new coordinate
system. Consequently we have
THEOREM 18.1 Let d = 2. Then on a rich enough probability space
{a,.T, P} one can define a Wiener process W ( , )E R2 and a random walk
S, E Z2 such that
/ISn- 2-1/2W(n)ll = O(l0gn) U.S.
In the case d > 2 the above idea does not work. Instead we define
K:) = #{IC
: I 5 IC 5 n, XI, = ei or - ei> (i = 1 , 2 , .. . , d )
where ei is the i-th unit vector in Zd. Then by the LIL we have
(18.1)
203
204 CHAPTER 18
1st)- w~(Ic~))I
= O(1ogICC))= O(1ogn) as.
for any d = 1 , 2 , .
P{W(t) = O Lo.} = 1 if d =1
and
P{W(t) = 0 for any t > 0} = 0 if d 2 2.
Hence we can say that the Wiener process is not recurrent if d 2 2. How-
ever, it turns out that it is recurrent in a weaker sense if d = 2.
THEOREM 18.3 (see e.g. Knight, 1981, Th. 4.3.8). For a n y E >0 we
have
P{llW(t>ll 5 & Lo.} = 1 if d = 2, (18.2)
The proof of Theorem 18.3 is very simple having the following deep
lemma which is the analogue of Lemma 3.1.
W I E N E R PROCESS A N D INVARIANCE PRINCIPLE 205
LEMMA 18.1 (Knight, 1981, Theorem 4.3.8). Let 0 < a < b < c < co.
Then
=I
C-b
if d = 1,
c-a
loge - logb
if d = 2,
log c - log a
C2-d - b2-d
C2-d - a2- d
if d 2 3,
where B = {IlW(t)II= b }
where
Q ( u , T )= {z : z E R d , 112 - uII 5 T } .
(18.4) is an analogue of Lemma 17.8 for Wiener process.
lim IlW(t)ll = 03
t+cc
a.s. if d 2 3. (18.5)
(18.6)
This question was studied by Spitzer (1958), who proved
g ( t ) t 1 I 2 E LLC(IIW(t))I) ( d = 2)
and
P { ~ ( T<
) U T ~ /=
~ exp(-o(u-2))
) as u + 0.
Similarly for any d = 1 , 2 , .. . as N + co we have
P { M ( N ) > u N ~ / =~ exp(-O(u2))
} if u -+ 00 but u 5 N1l3
and
(19.1)
and
(198.2)
limsupbtIIW(t)J(2 1.
t--tm
In order to obtain the upper estimate assume that there exists an E >0
such that
limsupbtIIW(t)ll 2 1 + E a s .
t+m
(Zero-One Law (cf. Section 3.2)). For the sake of simplicity let d = 2
and define 4 k = karccos@, (k = 0 , 1 , 2 , .. . [2n(arccos@)-']) where @ =
+
(1 ~ / 2 ) ( 1 +E ) - ' . If btllW(t)ll 2 1 + E then there exists a Ic such that
b t l c o s b k ~ I ( t +sin$kW2(t)I
) > I + 5. (19.3)
2
207
208 CHAPTER 19
S, 5 2n loglogn + -
( ( (a +E logloglogn ) ) ‘ I 2
for all but finitely many n. However, it turns out that in case d
as.
> 1 it is
not true. In fact for any d > 1
logloglogn i.0. a s .
+
2
Now we formulate the general
THEOREM 19.4 (Orey-Pruitt, 1973). Let a ( t ) be a nonnegative nonde-
creasing continuous function. T h e n f o r any d = 1 , 2 , . . .
(19.4)
+
does not satisfy (19.4) if a2 = 2 , a3 = d 2 , a h = 2 for 4 5 k 5 n but it
does if a, is increased by E > 0 for any n 2 2.
THE LAW OF ITERATED LOGARITHM 209
t 1 / 2 a ( t )E LLC(llW(t)ll> ( d 2 3)
and
di2+) E L L C ( ~ ' / ~ ~ ~ S ,(Id(2
) 3)
i f and only if
co
< 00.
C(a(2"))"-2 (19.6)
Erdds and Taylor (1960/A) proved that if a particle is very far away
from the origin, i.e. (19.7) holds, then it may remain far away forever
( d 2 3). In fact we have the following:
THEOREM 19.6
P{kinf I l s k l l 2 d-'/'bi1 i.0.) = 1 (ci 2 3).
l n
This page intentionally left blank
Chapter 20
Local Time
20.1 [ ( o , n ) in Z2
The Recurrence Theorem of Chapter 17 clearly implies
Proof. Counting the last return to the origin (cf. also 9. of Notations) we
have
(20.1)
211
212 CHAPTER 20
we have
n
log n
zP{szk = 0) % 7. (20.2)
k=O
and
(20.3)
P{J(O,2n - 2k - 2) = O} + c
71-1
j=k+l
P{SZj = 0).
(20.4)
Thus, if k tends to infinity together with n,(20.4) yields
Hence we have the main term of Lemma 20.1. The remainder can be
obtained similarly but with a more tedious calculation.
Proof of Theorem 20.1. Let q = [zlogn] + 1 and p = [n/q].Then
Hence
lim P p n
n+m { < exp (:)} = exp(-7rz)
P{((x,n) = 0) =
214 CHAPTER 20
and similarly
p{6(z,2n) = 0) + cn
k=l
p{s2k = x}YZn-Zk+Z = 1 (20.8)
k=l k=kl+l
+ cn
k=kz+l
(p2k - P { S 2 k = x}).
Now in the case 400 < 11x112 < n2/3 put kl = llxll 2 and k2 = [n4/5]then by
Lemmas 20.1, 17.2 and 17.4 we obtain
P { t ( x ,2n) = 01 - Y2n+2
LOCAL TIME 215
L 1% 11412+ O(1)
log n
Similarly, for 1 < k3 <n
k=l
Take
Then
hence we have Theorem 20.3 in the case 20 < ))z))< n113. The case
n116 < IIzII < n112/20can be treated similarly.
As a trivial consequence of Theorem 20.3 we prove
L E M M A 20.2 Let nk = [exp(ek'Ogk)].Then for any k big enough
3
P { c ( O , n f g k )- t(0,n.k)= o I~ j j; = 0 , 1 , 2 , . . ., n k ) 5-
logk'
Then
7r-lg(n) logn E UUC(l(0,n ) ) (20.9)
if and only if
(20.10)
(20.11)
if and only if
Ji" f o d x
2 log x
< 00. (20.12)
and
(1 - &)K-l(logn) log, n E ULC(J(0,n)). (20.14)
Let n, = [exp((l + ~ / 3 ) ~ )Then
]. by Theorem 20.1
~ ( 0n,)
, < (1 + f) 7r-1 (lognk) log, n, a.s.
5 (1 + &)7r-l(logn)log, 72
LOCAL T I M E 217
nk = [exp(ek’Og’)] (k = 2 , 3 , . . .),
and
and
(logn)(loglogn)-l-~ E LLC(((0, n ) ) . (20.16)
Let nk = [exp(ek)]. Then by Theorem 20.1
and consequently
€,(O, e x p ( C ~ 2 ~5) )2T i.0. a.s.
~ ) C = log2. We get
Let n = e x p ( C ~ 2 with
log n
I(07n) 5 i.0. a s .
Hence the proof of Theorem 20.4 (in fact a slightly weaker version of it) is
complete.
Note that Theorem 20.4 easily implies
THEOREM 20.5 For any E >0
exp(n(logn)l+&)E UUC(pn),
exp(n(logn)'-&) E u ~ C ( p , ) ,
20.2 ( ( n )in zd
As we have seen (Recurrence Theorem, Chapter 17)
n+m
lim J(z,n ) < 00 a.s. if d 2 3.
Proof. Theorem 7.1 told us that the length 2, of the longest head run till
n is a.s. larger than or equal to (1- E ) log n/ log 2 for any E > 0 if n is large
enough. Similarly one can show that the sequence XI Xa,. . . Xn contains
a run el, -el el, -ell . . . el of size (1 - E ) log n/ log 2d. This implies that
I
lim -
‘ ( n ) - ~d a.s. (20.17)
n+m logn
where
In the case d = 2
Conjecture. For d = 2
- 1
lim ~ -- as.
n-03 (logn)2 7r
They proved
THEOREM 20.8
220 CHAPTER 20
converges or diverges.
Now we turn to the analogue of Theorem 13.9.
THEOREM 20.11 (ErdBs-Taylor, 1960/A, Flatto, 1976.) Let Q k ( n ) be
the number of points visited exactly k times ( k = 1 , 2 , . . .) up to n. i.e.
Qk(n) =#{j : 0 5 j 5 n , t ( S j , n )= k } .
Then
Qk ( n )log2 n = 1
lim U.S. if d=2 (20.18)
n-+m $71.
and
lim -
Q k ( n ) = y2(1 - ~ ) ~ -U .lS . if d 2 3, k = 1 , 2 , .. .
n+m n
where y = y(d) is the probability that the path will neuer return to the
origin.
The Range
will be called the range of S1, S2,. . . , S,. In the case d = 1 Theorem 5.7
essentially tells us that R(n) is going to infinity like n1j2. In the case
-
d = 2 Theorems 20.1 and 20.4 suggest that R(n) n(logn)-'. (Since any
fixed point is visited logn times the number of points visited a t all till n
is n(logn)-'. Clearly it is not a proof since some points are visited more
frequently (cf. Theorem 20.7) and some less frequently (cf. Theorem 20.11)
among the points visited a t all.) In fact we prove
ER(n) =
I n~ { n+cc
lim <(o,n) = 0} + 0(n1/2)
n~ { lim ~ ( 0n)
n+cc
, = O} + 0(log n)
n P { lim <(O,n)= O} + + O ( n 2 - d / 2 )
n+m
Pd
n2log log n
if
if
if
d = 3, (21.1)
d = 4,
d 25
VarR(n) = ER2(n)- 5 ij d = 3,
i f d = 4,
if d 2 5.
(21.2)
22 1
222 CHAPTER 21
holds.
Remark 1. Theorem 5.7 implies that the range does not satisfy the strong
law of large numbers in the case d = 1.
In case d = 2 resp. 3 (Jain-Pruitt, 1972/B resp. Bass-Kumagai, 2002)
for VarR(n) the following stronger results are known:
LEMMA 21.1
Remark 2. The left hand side of (21.4) is the probability that the n-th
step takes the path t o a new point.
P r o o f of Lemma 21.1.
k=l
T H E RANGE 223
Hence (21.1) in the case d = 2 follows fronl Lemma 20.1, and in the case
d _> 3 it follows from Lemma 17.11.
In order to prove (21.2) we present two lemmas.
LEMMA 21.2 Let 15 m 5 n. Then
Proof.
LEMMA 21.3
P r o o f . By Lemma 21.2
224 CHAPTER 21
Then (21.2) follows from Lemma 21.3 and (21.1). (21.3) can be obtained
by routine methods.
Donsker and Varadhan (1979) were interested in another property of
R(n). In fact they investigated the limit behaviour of Eexp(-vR(n)) (v >
0, n + m). They proved
THEOREM 21.2 For any Y > 0 and d = 2 , 3 , . . .
lim n - d / ( d + 2logEexp(-vR(n))
) = -Ic(v)
n+w
and (Yd is the lowest eigenvalue of -1/2A for the sphere of unit volume an
Rd with zero boundary values.
Comparing these two results it turns out that in the asymptotic behaviour
of Eexp(-vR(n)) the very small values of R(n)contribute most. This fact
is explained by the following:
L E M M A 21.4 For any v > 0 there exists a C, > 0 such that
E exp ( -vR(n )) 2 exp ( -C,nl/’).
Proof.
By Theorem 18.5
where
r=P{S,#O, n = 1 , 2 ,...},
15
q= -.
32
Clearly this Theorem also implies the law of iterated logarithm for d = 3.
226 CHAPTER 21
where
K , = {X : llzll 5 T } .
B,(T) is called Wiener sausage. The most important results are summa-
rized in
THEOREM 21.6 (cf. Le Gall, 1988). For any r > 0 and d = 2 we have
a.s. (21.5)
If d 2 3 then
lim T-lX(B,(T)) = c(r,d) a s . (21.6)
T+CC
where
p ( t ) = $1 - (t = 1 , 2 , .. .)
tn = t,(B) = [Xlogn - XBloglogn], ( n = 3 , 4 , . . . , B > 2)
x = -(log(l - y))-l
and H ( t , n ) an9 of
Then we have
lim sup I H ( t , n ) - 11 = 0 a s .
n+m t < t n
227
228 CHAPTER 22
Let
X , ( t ) = xi
1 i f S j # S i ( j = 0 , 1 , 2 ,..., i - 1 ) , < ( S i , m ) > t ,
0 otherwise,
X ( t , n ) = y,
1 if Sj # Si ( j = 0 , 1 , 2 , . . . , i - I), < ( S i , n )2 t ,
0 otherwise,
p i ( t ) = pi = I ( X i = l)(min{j : <(Si,j)2 t } - i ) ,
P i ( t ) = pi = fi(1 - Y
)?
Clearly we have
R(t,n) = cn
i= 1
yi.
where
An = x-
n
i=l
1
O(l)n1/2
if d > 4 ,
if d = 4 ,
if d = 3.
LEMMA 22.2
02 5 n p + pAnO(1) - n 2 p 2+ 2 ( I + I I +III)
where
H E A V Y POINTS A N D H E A V Y B A L L S 229
n n
<np
- + ~ A , O ( I +) 2 C E X ~ X- n~2 p 2 .
l<i<j<n
Further
C
l<i<j<n
EXiXj = C
lsi<j<n
P{Xi = I , Xj = I } =I +Ir +III.
Hence Lemma 22.2 is proved.
LEMMA 22.3
(22.1)
(22.2)
LEMMA 22.4 For t 5 t,, any E > 0 and large enough n we have
(22.3)
P { X , = 1, X j = 1, pi 2 nm}.
Define the events Bk by
Bk = {<(si,m)
-<(si,i)
+ < ( s j , m ) - < ( S j , i )= k }
and consider the IC time intervals between the consecutive visits of {Si, S j } .
Then a t least one of these intervals is larger than
(22.4)
(22.5)
X€Zd k22t-I
The event BkDk means that placing a new origin at the point Si and
starting the time at i there are exactly k visits in the set (0, z} and at least
one time interval between consecutive visits is larger than n m / k . Hence
applying (17.7) of Lemma 17.14 and Lemma 17.11 we have
- O(l)kd/2n2/d-1(z, + S , ) k - l
<
where 0(1)is uniform in k and x, hence
k22t-1 k22t--1
< O(l)n2/d-1td/2(z z
- + S,)2t-2. (22.6)
H E A VY POINTS A N D HEAVY BALLS 23 1
(22.7)
where R = t1/(d-2).
By (22.1) and Lemma 17.5
(22.8)
By (22.2) we have
L 0(1)P2. (22.9)
By (21.7), (21.8) and (21.9)
(22.10)
Proof.
= c
XEZd
+
P{Sj-i = Z}P{<(O,00) <(z, 00)2 2t - 1)
= c
XEZd
P(Sj4 = 2}(2, + Sz)2t-l.
By (22.8) and (22.9) we get Lemma 22.5.
L E M M A 22.6 For t 5 t, any E > 0 and large enough n we have
(22.11)
Proof. Let
A = {Si is a new point i.e. Si # Sj j = 1 , 2 , . . . ,i - l},
2 t - l},
B = { ( ( S i , i + n a ) - <(Si,i)
D = {Sjis a new point},
E = { ( ( S j , 0 )- <(Sj,d2 t - 11,
B C H = { ( ( S i ,00)- ( ( S i , i ) 2 t - l}.
Let j > i + 3na. Then
P{Xi = 1, X j = 1, pi < na}
5 P{ABDE} 5 P{ABGE} = P{A}P{B}P{G}P{E}
-< P{A}P{H}P{G}P{E} = y(i + 1)(1 - y)'-'y((j - i)/3)(1 - Y ) ~ - '
Clearly we have
( j -O(l)
i)d/2-1 ) (1 + g)
<
- y2(1 - y ) 2 t - 2 [ (:) + 0(1)(K+ L f M ) i
where
M=C- 1 1
<
id/2-1 ( j - i)d/2-1 - nA,.
LEMMA 22.8
0: = O(l)(np +p 2 1.8
72 ). (22.13)
Proof is based on Lemmas 22.2, 22.4, 22.6 and 22.7. The numerical values
of X can be obtained by a result of Griffin (1990):
1- 7 3 = 0.341,
1- 7 4 = 0.193,
1 - 75 = 0.131,
1- 7 6 = 0.104.
Consequently
A3 = 0.929,
Xq = 0.608,
A,=, 10.492,
As = 0.442.
(22.14)
(22.15)
(22.16)
and
lim
n(k + 1) = 1.
k+m n(k)
Hence for any E > 0 and large enough n,
since t 5 t , 5 t ( n ( k + 1)).Similarly,
Remark 1. Without any new idea one can prove the following slightly
stronger version of Theorem 22.1:there exists an E > 0 such that
lim nEsup I H ( t , n ) - 1)= 0 a.s.
n--tcr,
tltn
236 CHAPTER 22
S(1)= {x : z E Z d , 1x1 = 1)
In order to prove this Theorem we present two notations and one Lemma.
1. Let 6 be the probability that starting from S(l)the particle returns
to S(1)before visiting 0 i.e.
LEMMA 22.10
1
6=1- (22.17)
2d(l - 7 ) '
(
P { p m ( S ( l ) ) = j } = 1- d - - id)(.9 + &)j-l , (22.18)
Proof. Clearly
1
P(Z(S(1)) = j , T < CO} = $-I-
2d '
(22.20)
which, in turn, implies (22.17). The proof of (22.18) and (22.19) can be
obtained similarly.
Proof of Theorem 22.2. First we prove the upper bound. Note that
and
where
238 CHAPTER 22
Remark 1. (22.21) shows that the maximal total time spent in a small
neighbourhood of any point is less than the number of points in the neigh-
bourhood times the maximal local time for points. To study this phe-
nomenon further, consider the sets of two points not too far from each
other.
HEAVY POINTS AND HEAVY BALLS 239
lim max
Pn({Z,Y}) - 1 -2
- <
n+Oo Z,YED logn 2-7 log(1-y)
log 2( 1 - y)
where
D = {Z,Y : Z,Y E Zd, (Z - Y( 5 ~(nn)}.
This Theorem expresses the fact that any two points with local time up
to time n , both close to the maximum, should be at a distance larger than
any power of logn.
and
(22.24)
{SO,Sl,...,Sn)
and {Sn+f(n),S,+f(n)+11...}
241
242 CHAPTER 23
n=l
converges or diverges.
An answer of Problem B is
THEOREM 23.2 (Erd6s-Taylor, 1960/B). For d 2 3 let G ( d ) ( n be ) the
number of integers r (1 5 r 5 n ) f o r which (SO,S1,. . . ,S r ) and (ST+l,Sr+2,. .
have no points in common. Then
(i) if d = 3, f o r any E >0
P { G ( 3 ) ( n )> nl/’+€ i.0.} = 0,
(ii) if d = 4,
(iii) i f d 2 5,
G ( d()n )
lim ~ = TA a.s.
I, = 2
ki,kz,...,k,=l
I ( S l ( k 1 ) = S z ( k 2 ) = . . . = SP(kP))
if and only if p ( d - 2) 5 d .
In case d = 1 the rate in (23.2) was studied by X. Chen and W. Li
(2004). They proved
lim sup
n+m
In
n(l0g log n)”-1
= (:) P-1
n(2,p)zp a.s.
if d = 2, p 2 2 and
In
lim sup = n(3,2) a.s.
n+m (n(logl0gn)3)~/~
if d = 3, p = 2 where n ( d , p ) is known.
The case d = 4, p = 2 is settled by Marcus and Rosen (1997):
In 1
lim sup - - a.s.
-
n+m log n log log log n 279
lim sup
In _ -1 as.
-
71-00 log 71 log log log n T
Q ( r ) = {z E z2, 1141 5
Let R(n) be the largest integer for which Q(R(n))is covered in time n.
The Recurrence Theorem of Chapter 17 implies that
~ n) E UUC(R(~)),
exp ( 2 ( 1 o g n ) ~ /log, (24.2)
exp (S 1
(lognlog, n)ll2 E U L C ( R ( ~ ) ) ,
exp (C(logn)'/2) E L U C ( R ( ~ ) ) ,
(24.3)
(24.4)
(24.2-3*)
245
246 CHAPTER 24
(24.6)
exp(-4z) 5 Iiminf P
n-+m log n
Note that even the proof of the existence of the limit distribution is hard.
The final result is due to Dembo, Peres, Rosen and Zeitouni (2005).
They proved that
lim P
n+m
{ (10gR(n))2
log n
> z} = exp(-4z). (24.6*)
LEMMA 24.1
lim a(.) logr = ~ / 2 . (24.7)
T+CC
we have
n- + o(1)
2 210gr *
Observe also
2 2. Further,
for any x E iZ2 with JJxIJ
248 CHAPTER 24
Yi = < ( z , p i ) - J(z,pi-l) - 1 (i = 1 , 2 , . . .)
(24.8)
and
(24.9)
~I
where
1 - p ( 0 2.t z)
u2 = EY: =2
P(0 x)
and
(24.10)
(24.11)
LARGE COVERED BALLS 249
- -
P{K = -1) = 1 - p ( O - x),
P{Yl = k} = (1- p( 0 z))"p(O
pi = EY1 = EZ1 = 0,
x))2 (k = 0 , 1 , 2 , . . .),
00
< (-l)mq
- + x p 2 q k k ( I c+ 1)* .. (k + m - 1)
k=l
= (-l)mq + rn!pl-mq
where p = p ( 0 2.) x) and q = 1 - p . Hence
and
s zs
, x 6o-ln-l/4.
(Ic = 3 , 4 , . . .) arid
Similarly
22
I logEexp(sZ1)I = /!!!J(-s)l L 2+ s3es + -
Is2 S2
P2 .
Let
F,(k) = P{Y1 + Y2 + . . . + Y, = k}
and define a sequence U1, U2,. . . of i.i.d.r.v.'s with
P{U1 = k} = e -$(s)eskP{Yl = k}.
Then
P{Y~+Y~+..-+Y,> 6an3/4} = C F, ( I ~ )= en$(s)
k > b ~ n ~ / ~
c ePSkV,(k)
k > b ~ n ~ / ~
where
V n ( k )= P(U1 + u2 + . . . + u,= k}.
Hence
P(Y1 + ~2 + . . + Y, > 6 m 3 / 4 }
+
1
5 exp(n+(s) - ~ b m ' / / " ) ~
(24.12)
Remark 2. Note that (24.5) claims that the disc around the origin of
radius r, is covered in time n. The meaning of (24.12) is that the very
log N
E ( O , N , 2 (log log N)1+' a.s.
for all but finitely many N (cf. Theorem 20.4) we obtain the theorem.
In order to prove (24.2) of Theorem 24.1 we introduce a few notations
and we prove three lemmas. Let
1 if [ ( z , n )> 0,
I ( z , n )=
0 if [ ( z , n )= 0,
k = 2 , 3 , . . . we have
Proof.
m z ( z , y ; n ) = P { l ( z , n ) = l , I ( y , n ) = l}
LARGE COVERED BALLS 253
n
= C P { I ( z , n )= l , I ( y , n ) = 1 I v, = k < vy}P{v, =k < VY}
k=O
n
+ x p { I ( ~ , n =) l , I ( y , n ) = 11 vy = k < vz}P{vy = k < vz}
k=O
n
= C P { I ( y , n ) = 1 1 v, = k < vy}P{., =k < vy}
k=O
+c n.
k=O
P { l ( z , n ) = 1 I vy = k < v,}Pvy =k < v,}
= cn
k=O
P{I(y - 2 , n - k ) = l}P{v, = k < vy}
n
Consequently we have
Then we have
Consequently
= P { l ( ~ , n )= 1) C C P{A} = P {l( v ,n ) = 1)
~ =( il1 , . . . , i k - 1 ) W k ( T )
l < j < n , i k =T
k
C { l ( z j , n =) 1; j = 1 , . . . + 1 , . . . , k}
X P
{ T=l
,T - 1, T
=m1(v,n) M(n)+mk
[ (-(i)+ (3 --+l)k+l(;))]
k
= 1; j = 1 , . . . , T - 1,T + 1 , . . . ,
N - 15 Il~:ill5 N (i = 1 , 2 , . . . , k ) ,
N1-€ 5 5N
1 1 ~ i- ~ j l l (1 5 i < j 5 k).
Now we formulate our
LEMMA 24.7 For the above defined x1,x2,.. . , x k we have
(24.13)
Further, if
then
5 exp(-(2-4E)lo&.n).
mk(xl7Z2,...,xk;n) (24.15)
(
< - 1 - -k210gN1-E
- k
log, N1-'
logn ( l + 0 ( log N1-' ) ) ) M ( n )
L exp
(1 + 0 log, N1-€ (log k) . ))
log N1-&
exP
(-21°gN1-& (
(1 + 0 log, N1-" )) log k)
log n log nl-&
nj = [exp(eJ>l,
i q n ) = exp(2(logn)1/2log, n ) ,
1cj+1 = exp((lognj+1)1/2).
Then
(24.16)
M - 1 5 l[yJl 5 M (i = 1 , 2 , .. . , K ) ,
M3l4 5 J J y-
i y.j/jl) 5 M (15 i < j 5 K ) .
if C* is small enough. Now we formulate our
LARGE COVERED BALLS 257
LEMMA 24.8
P { R ( ~ )2 exp(C(logn)’/’)} 5 m K 5 exp
(-?)
which proves Theorem 24.4.
Instead of proving (24.3) we prove the following stronger
THEOREM 24.5 For any 0 < 0 < (7r/120)1/2,9/10 < 6’ < 1 and
E> 0 we have
where
0
h ( n ) = exp (1- &)-(lognlog, n)l/’
).
-
(
In order to prove Theorem 24.5 let p1(0
pl(z ?.t 0), p2(z
6
- -
x),p2(0 x), . . . resp.
0), . . . be the first, second, . . .waiting times t o reach x
from 0, resp. to reach 0 from z, i.e.
pz(x - -(Pl(O~~)+Pl(~-o)),
- ( P I P - + z) f p 1 ( z -
+
0) = inf{n : n 2 p1 (0 cu) x) p1 (x 0) -
0)+p2(0-
+ pz (0
x)),.. .
2.1 z), S, = 0}
258 CHAPTER 24
(24.17)
Hence
(24.18)
n-'l2 inf
Ilzll<e@J;;
r (
02.t x,exp ((llo+g;F):n)) 2 1 - 6 i.0. a s . ,
(24.19)
ifn 2 NO,0 < 0 < ( 7 ~ / 1 2 0 ) l /and
~ 9/10 < J2 < 1.
Proof. Theorem 20.2 and (24.18) imply that for any E > 0 and z > 0 there
exists a positive integer NO= No(&,z ) such that
and
if n 2 No. Consequently
2 P{ inf
Ilzll<e@Jii
r(0 2.t x,pn) >_ (1 - 6 ) n 1 / ~->P (Pn 2exp (%))
2 1 - E - (1 - exp(-nz)) -E = exp(-nz) - 2~
if n 2 N O .
Hence we have Theorem 24.6.
Instead of proving (24.4) we prove the stronger
260 C H A P T E R 24
THEOREM 24.7
(log n)1/2
exp ( log,n ) E LUC(R(n)).
Proof. Let R(n,N ) be the largest integer p for which the disc
&(p,n) = 1
. E z2, ISTI - 4 I P I
is completely covered by the path {&, & + I , . . . ,S N } i.e. for each z E
Q ( p , n ) there exists a k E [n,N ] such that <(x,N ) - [(x,n ) > 0.
Consequently
(2420)
Let
and
completely covered a t time nk+1 then there were a ball around S,, of radius
(log(nk+l - n k ) ) 1 / 2
(’- log, nk
E ( x , n)
lim - = 1 a.s. (24.21)
n+cc I(0,n)
THEOREM 24.8
lim
n-+m
( log n
(log log n)l+E
)’” 1- - 11 = 0 a.s.
where
262 CHAPTER 24
Hence
Let r(n) be the largest integer for which there exists a random vector u =
u(n) E Z2 such that Q(u,r(n))is covered by the random walk in time n ,
that is,
((z, n ) 2 1 for every z E Q(u,r(n)).
Then we formulate the following theorem.
THEOREM 24.10 (Rkvksz, 1993/A, 1993/B) We have
n1I5O 5 r ( n ) 5 a.s.
THEOREM 24.11
logr(n) - 1
lim -- in probability.
logn
~
n+oo 4
K ( N , n )= -
1
c
N2n x€Q(N)
I(x,n);
lim K (exp
n+cc
( logn
(log logn)2+E
)
, n ) = 1 a.s.
Proof. Consider
where
N = Nn = exp
lim
n+cc K (ex. ((log logrn
log
) ,m)
m)2+e
= 1 as.
having only non-visited points. The following theorem claims that with
probability 1 there exists a non-visited disc of radius exp((log n)P) within
the disc Q(exp((1ogn)O)) for every p < a provided that a > 1/2.
Let
Q(u,T) = {x E Z2, 112 - ~ 1 51 T}.
Then we have
and
I ( x , n ) = 0 for all x E Q(un,exp((logn)P)).
mk(Qi, Qz, . . . ,Q k ; n)
= P{Vi = 1 , 2 , . . . ,k, 3yi E Qi such that I ( y i , n ) = 1)
the probability that the discs Q1, Qz, . . . , Qk are visited during the first n
steps.
(ii) N = exp((logn)P),
Proof. Clearly
mk(Q1, Q2,. . . ,Q k ; n )
=P {u k
i=l
{YQj are visited before n and Qi is the last visited disc}
5P u
{ i=l
k
{the discs Q1, . . . , Qi-1, Qi+l, . . . ,Qk are visited before n }
m k ( Q i , .. . , Q k ; n )
x (1 - C(l0gn)a-1)
and
i=l /
I 1 + ( k - 1)(1- C(logn)"-l)
Since
1-a 1
1 + ( k - 1)(1- a ) - k E>
< -' ( 1 - - 5-exp
k
by induction
1/2<cr<Cl+E<l, /3<a
and
N = exp((1ogn)P).
Then there exist k = k ( n ) = exp((1ogn)") points u ~ , u z .,.., U k such that
5 exp((Iogn)"+')
(Iui(( (i = 1 , 2 , . . . , k ) ,
LARGE COVERED BALLS 269
and
11xi - xjll 2 exp((logn)a+E/2) ( i , j = 1 , 2 , .. . , /c; i +j).
Then by Lemma 24.11
Then
P{l(x,n) = l} = 1 - 2 a + 0 (____
Then
(1- 2 4 2
lim rna(z,y;n) = (24.23)
n+co l-a
270 C H A P T E R 24
-
-
2 (1 - 2 a +0 (e
2 - 2 , + 0 ( - - - ) log log n
2
log n
- (1 - 2a)2
1-a
+O (-). (24.24)
Similarly
m2(5,Y;n )
>m1(z - y ; n - q n ) [ m 1 ( x ; q n ) +m1(y;qn) -m:!(x,y;w)l
log log n log log n
log n log n
Consequently
(24.25)
l - 2 a + o ( - ) log log n
log n
- -M(n).
LARGE COVERED BALLS 271
By induction we obtain
r n k 5 (1-2a+0(!!3$q)k
~b(1-
j=2
(1-f) (2a-O(%)))-'. (24.26)
Similarly
mk 2
(1 - 2 a +0 (e
) M(qn)
1+ (
Consequently
Then
t) 20)
-1
L 1 x s d G a ( x )= (1 - 2 0 ) ‘ f i (1 - (1 -3
j=1
(24.27)
It is easy to see that the only distribution function which satisfies the
moment condition (24.27) is
G,(z) = 1 - (1 - z)2a/(1--2u).
and R*( n )= R*( n ,d) be the largest integer for which there exists a random
vector u = u(n)E Z d such that Q ( u ,R*(n))is covered by the random walk
at time n, i.e.
t(x,n ) 2 1 for any x E Q ( u ,R * ( n ) ) .
Then we formulate our
T H E O R E M 24.15 (Rkvksz, 1990/B, 1993/B, ErdBs-R&v&z, 1991) Let
d _> 3. Then
10gR*(n) - 1
lim -- a.s.
r ~ - - t o ~loglogn d-2
Before the proof we present a few lemmas.
L E M M A 24.15 For any 0 < a < 1 and L > 0 there exists a sequence
, of the points of Z d such that
~ 1 ~ x 2. ,. .XT
Proof is trivial.
where
Assuming that
Dk-Dk-1 Dk-1
< < Dk+l - 1 < Dk+l - 1'
we have
0 < a1 < a2 < . . . < a k < 1 ( k = 1 , 2 , - ..)
and
(CYi+l - a 1 ) ( d - 1) < a i ( d - 2) (i = 1 , 2 , . . . , k )
where Q k + l = 1.
Let q l .,. . ,xiT be an arbitrary permutation of the sequence X I ,. . . , XT.
Consider the consecutive distances
Then (by Lemma 17.8) the probability that the random walk visits the
points xi,,xi,, . . . ,xiT in this given order is less than or equal to
Lal(d-2)
we get
Dk - 1
<' < Dk+l - 1'
D=-d - 1
d-2'
k is an arbitrary positive integer and C' = C,t a's a positive constant.
1
8=8k= +E=- - &) - l + E.
( d - 1 ) ( 1 - 0)
Then T 2 (1ogn)Qwith some $ > 1 and we obtain our statement observing
that
1
lim 6k =
~c+m ( d - 2 ) - ~ ( -d1)
E. +
LARGE COVERED BALLS 275
Proof. Clearly for any N > 0 there exists a constant 0 < p = p ( N) <1
such that
~{lls,,- S,I~ I N(logn)11(d-2)) 2 p > 0.
Observe that by Lemma 24.18 we have
P{$h I M(logn)W - 2 ) )
2 P { $ ~L M(logn)2/(d-2)1 JIS,, - S,IJ 5 ~ ( l o g n ) l l ( ~ - ~ ) )
x P{llS,, - S,l 5 N(logn)1/(d-2)}
provided that M > KN2 where c d and K are the constants of Lemma
24.18. Since $1, $2, . . . are i.i.d.r.v. 's we get
276 CHAPTER 24
(24.29)
Then applying again Lemma 24.18 we have
c d
=I-
2(10g n)l-Wd-2)
Consequently the conditional probability that there exists a point for which
(24.29) is satisfied and which is not covered is less than or equal to
Hence among these n's there are only finitely many for which &(n) 5
(logn)1/(d-2)-2E,i.e. between 2k and 2k+1 there exists an n (if k is large
enough) for which Rd(n) > (logn)1/(d-2)-2E. This implies the lower part
of Theorem 24.15.
LARGE COVERED BALLS 277
Let Vn(d) be the number of steps after the n-th step until the random
walk {Sn>on Z d visits a previously unvisited site. Clearly V,(d) = 1 i.0.
8.5. At the same time Theorem 24.11 suggests that
Conjecture 1.
Theorem 24.15 tells us that the path of the random walk in its first n
steps covers relatively big balls. It is natural to ask where these big, covered
balls are located in Z d . For example we might ask how close they can be to
the origin. In fact we want to prove that if Q ( u ,r,) (r, = (logn)1/(d-2)-E)
is covered at time n then u is big.
THEOREM 24.16 A s s u m e that Q(u,r,) is covered at t i m e n. Then
llull 2 exp(logn)1/2.
Proof. By Theorem 24.15 the radius of the largest covered ball at time
exp(3(log n)lI2)is smaller than
< (Iogn)1/(d-2)--E
(3(lOgn)1/2)l/(d--2)+~
D ( 2 , r ) := Q ( z , T ) n { W ( t ) ,t 2 0) = 0.
Let
be the radius of the largest empty ball in Q(0 ,R). We are interested in
studying the properties of the process { p ( R ) ,R 2 0). Since W ( 0 )= 0,
clearly
R
P(R) I 2' (24.30)
First we give a sharper upper bound than the trivial one of (24.30).
The next four theorems are due to ErdBs-R6vbz (1997).
THEOREM 24.18
(24.32)
Theorem 24.18 tells us that for some R the p(R) will be very big. The
next theorem tells that for some R the p(R) will be much smaller.
Now we show that the upper bound of (24.33) is close to the best possible
result.
LARGE COVERED BALLS 2 79
(24.34)
Note that Theorem 24.21 tells us that for any r big enough W ( t )meets
all frustum of cones & ( R ) (i = 1 , 2 , .. . , K ) .
In case d = 3 a much stronger Theorem was proved by Adelman-
Burdzy-Pemantle (1998). Let f be a strictly positive increasing function
on R+ and let Cf be the thorn
{(z,y,z) E R3 : x 2 + y2 + .z2 2 1 and (x2 +y2)l/' 5 f(lz1)).
Say that the Wiener process W ( . )avoids f-thorns if there is with probability
1 a random set congruent to C f avoided by W .
280 C H A P TE R 24
where
0 if z = 0,
I ( z )=
1 if z>O
and w d is the volume of the unit ball of Rd
Let d = 2. Then
(9
~ ( ~ , r ,=n1) if T 5 r:) := exp((logn)l/’)
i.e. Q ( 0 , r ) is completely covered if T 5 T ? ) (the exact results are
(24.2-3*), Theorem 24.7, (24.5), (24.6*)),
(ii)
Long Excursions
Denote by
Mp 2 M p 2 .. . 2 M p > n ) + l )
the order statistics of the sequence
M t l ) + Mi2)
lim =1 as.
Proof. Let
n
1 logn
k=O k=l
281
282 CHAPTER 25
O l j - g +
(7') <Clogj
Thus rc*(nj)L: 1 a.s. for all but finitely many j . Now take nj 5 n 5 nj+l.
Since
"n) I "j+l)
and
nj(S(nj))-2 I n ( g ( n ) ) - 2< I nj+1
we obtain that
.(n) 5 K*(nj) 5 1.
Since <(O,n) 5 N ( n ) (cf. Theorem 20.4) there are no more than N ( n )
excursions before time n. Thus the sum of those elements of the sequence
(25.1) which are no larger than n(g(n))-zis bounded by
as equal to 31 a.s.
Further let
Finally let
T,, = Pn+l - P n
Pn
Then we have
Example 1.
i.e.
{
P T, > exp (?)
Z
I T, > l} = 7r2
uz
-e--Rudu
U+Z
+
On the proof, here we only mention that its main ingredient is Theorem
23.1.
This page intentionally left blank
Chapter 26
Speed of Escape
Theorem 19.5 on the rate of escape suggests that the sphere {z : 11z11 = R }
is crossed about R times by the random walk if R is big enough and d 2 3.
In fact if \IS,(( = @ for every n then CzEZ(R) ((x,CG) = O ( R ) where
287
288 CHAPTER 26
THEOREM 26.1
LEMMA 26.1
where
x = p ( R ) (1 - (&) d-2) 7
and
where
B ( R ,t )
=(inf{s : s > t , IlW(s)ll = R - 1) > inf{s : s > t , IIW(s)ll = R + l}.
R e m a r k 1. Note that the last formula for p ( R ) comes from Lemma 18.1.
By (18.4)
P{B(R) = 2 )
+ d R ) ( RL +) 1d - 2 P ( R )(1 - ( j & ) d - 2 )
where q ( R ) = 1 - p ( R ) . Similarly
P{B(T) = k }
x (1 - (&) "')
Hence we have Lemma 26.1.
Observe that
1 1 1 R+l
EB(R) = - = -
N
P(R)
EB(R) - 2
lim -- - (26.1)
R-+w fi d-2'
Lemma 26.1 together with (26.1) easily implies Theorem 26.1.
Studying the properties of the process {B(R),R > O} the following
question naturally arises: does a sequence 0 < R1 < Rz < . . . exist for
which
lim R, = 00 and B(Ri) = 1 i = 1 , 2 , . . .?
n+w
The answer to this question is affirmative. In fact we prove a much stronger
theorem. In order to formulate this theorem we introduce the following
290 CHAPTER 26
Definition. Let $ ( R )be the largest integer for which there exists a positive
integer u = u(R) 5 R such that
Proof. Let
log log R
f ( R )= log2 7
and
1 d-21
+
P { A ( R ) A ( R S ) }= --
loglogR logR 2R
log(R + S ) -
log 2
if loglogRllog2 < S = o(R). In the case S 2 O(R)the events A ( R ) and
+
A ( R S ) are asymptotically independent. Hence
2 2
R = l S=[log log R / log 21
P { A ( R ) A ( R + S )5
} (1)
d-2
2
(loglogn)2(1+ E )
SPEED OF ESCAPE 291
Conjecture 2.
lim +(R) - -- 1
as.
R-+m log log R log 2
Theorem 26.2 clearly implies that B(R) = 1 i.0. a s . It is natural to ask:
how big can B(R) be? An answer to this question is
THEOREM 26.3 For any E > 0 we have
B(R) 5 2(d - 2)-'(1+ E)Rlog R a.s.
Since this result is far from the best possible one and the proof is trivial
we omit it.
-
Remark 2. Conjecture 1 suggests that 8(R) R. Instead of investigating
the path up t o co consider it only up to p1 = min{k : k > 0, Sk = O}. Tak-
ing into account that P(p1 = GO} > 0 if d 2 3 we obtain C2EZ(R) [(z,p 1 )
R with positive probability. Investigating the case d = 1 by Theorem 9.7
-
+
we get EE2cz(Rl<(z,PI) = E(E(Rp1) <(-&PI)) = 2 for any R E zl.
We may ask about the analogous question in the case d = 2. By Lemma
24.1 we obtain
Lemma 18.1 suggests that the probability of returning to the origin from
that EzEZ(R) -
Z ( R - 1) before visiting Z(R) is O(R-l(logR)-l). Hence we conjecture
WPI) OW); for example,
for any d 2 2.
This page intentionally left blank
Chapter 27
d2u 8%
-+--=I).
8x2 dy2
Then we have
THEOREM 27.1 The function
4 2 ) =Ef(0Z)
is the solution of the Dirichlet problem.
The proof is very simple and is omitted. The reader can find a very
nice presentation in Lamperti (1977), Chapter 9.6.
Here we present a discrete analogue of Theorem 27.1. Instead of an
open, convex domain U we consider a sequence U, ( r = 1 , 2 , . . .) of domains
defined as follows.
Consider the following sequences of integers
293
294 CHAPTER 27
n--1
i=l
Condition (1) implies that U, is connected. Condition (2) has only some
minor technical meaning. Let A, be the boundary of U, and define a
“continuous” function f,(.) on the integer grid of A,, where by continuity
we mean:
For any E > 0 there exists a 6 > 0 such that If(z1) - f(z2)l 5 E if
llzl - z2ll 5 6r where z1,zz E A,Z2.
Now we consider a random walk {Sn;n = 0 , 1 , 2 , . . .} on Z2 and for any
+
z E (U, A,)Z2 we define
s?)=s,+z ( n = 0 , 1 , 2 ,...).
where S1, S2, . , . are independent copies of a random walk. Hence the aver-
age in (27.1) is a good approximation of the discrete Dirichlet problem if n
is big enough. A solution of the continuous Dirichlet problem in some zo or
in a few fix points can be obtained by choosing r big enough and the length
of the steps of the random walk small enough comparing to the underlying
domain.
296 CHAPTER 27
Then instead of starting from infinity the particle might start its random
walk from (RE,O)(say). It is easy to see that the particle goes round the
origin before it hits A, (a.s. for all but finitely many n). This means that
the distribution of the hitting point will be the same as in case of a particle
released at 00.
Many papers are devoted to studying this model, called Diffusion Lim-
ited Aggregation (DLA). The reason for the interest in this model can be
explained by the fact that simulations show that it mimicks several physical
phenomena well.
The most interesting concrete problem is to investigate the behaviour
of the “radius”
r , = max(IIx1I : x E A,}.
Trivially r , 2 (n/n)’/2and it is very likely that r , is much bigger than
this trivial lower bound. Only a negative result is known saying that r n is
not very big. In fact we have
B1 = { ~ - T , O ) , ( - T + l , O ) , . . . , ( T - LO),(T,O)},
Bz = B1 + ((0, -1, (0, --T + I), . , ( 0 , r - I), ( O , T ) } ,
B3 = {x = (x1,22) : 1x1) + 1221 = T } .
Consider the point y = ( T , 0). Then the probability that the particle coming
from infinity first hits y among the points of dBi(i = 1,2,3) is larger than
or equal to
C T - ’ / ~ if i = 1 , 2
and
cT-2/3(i0gr)-1/3 if i =3
with some C > 0.
27.3 Percolation
Consider Z 2 and assume that each bond (edge) is “open” with probability
p and “closed” with probability 1 - p . All bonds are independent of each
other. An open path is a path on Z2 all of whose edges are open.
One of the main problems of the percolation theory is to find the prob-
ability O ( p ) of the existence of an infinite open path. Kesten (1980) proved
that
=O if p < 1/2,
> 0 if p > 1/2.
The value 1/2 is called the critical value of the bond percolation in 2’.
An analogous problem is the so-called site percolation. In site percola-
tion the sites of Z2 are independently open with probability p and closed
with probability q = 1- p . Similarly as in the case of the bond percolation
a path of Z 2 is called open if all its sites are open and we ask the probability
O * ( p ) of the existence of an infinite open path. The critical value of the
site percolation in Z 2 is unknown, but T6th (1985) proved
O * ( p ) = 0 if p < xi N 0,503478
298 CHAPTER 27
6.
1
-- D(O, n - 1)
=I- 1 + + UIU2 + . . . -I-
Ul .
U l U 2 . . Un-2
D*(n) - - D ( 0 ,n ) 1 + + + ... +
Ul UlU, U l U 2 . . . un-1
7.
301
302 III. R A N D O M W A L K IN R A N D O M E N V I R O N M E N T
I ( t ) = 5 if D ( k ) 1. t < D ( k + I),
I ( - t ) = k if D ( - k ) 1. t < D ( - k - 1) (t 2 1, k = 1 , 2 , . . .).
Introduction
The sequence {S,} of Part I was considered as a mathematical model of
the linear Brownian motion. In fact it is a model of the linear Brownian
motion in a homogeneous (non-random) environment.
We meet new difficulties when the environment is non-homogeneous.
It is the case, for example, when the motion of a particle in a magnetic
field is investigated. In this case we consider a random environment in-
stead of a deterministic one. This situation can be described by different
mat hematical models.
At first we formulate only a special case of our model. It is given in the
following two steps:
Step 1. (The Lord creates the Universe). The Lord visits all integers of
the real line and tosses a coin when visiting i (i = O , * l , f 2 , . . .). During
the first six days He creates a random sequence
E = {. . . ,E-2, E-1, Eo, El, E2,. . .}
where Ei is head or tail according the result of the experiment made in i.
Step 2. (The life of the Universe after the Sixth Day). Having the sequence
{. . . , E-2, E-1, Eo, E l , E2, . . .} the Lord puts a particle in the origin and
gives the command: if you are located in i and Ei is head then go t o the
left with probability 3/4 and to the right with probability 1/4, if Ei is tail
then go to the left with probability 1/4 and to the right with probability
3/4. Creating the Universe and giving this order to the particle “God rested
from all his work which he had done in creation” forever.
The general form of our above, special model can be described as follows:
Step 2. (The life of the Universe after the Sixth Day). Having an RE & the
Lord lets a particle make a random walk starting from the origin and going
303
304 CHAPTER 28
one step to the right resp. to the left with probability EO resp. 1 - Eo. If
the particle is located at II: = i (after n steps) then the particle moves one
step to the right (resp. to the left) with probability E; (resp. 1-I?;). That
is, we define the random walk {Ro,R1,. . .} by Ro = 0 and
+
P&{Rn+l= i 1 I R, = i, Rn-l, R n - 2 . . . ,R1}
= 1 - P&{R,+l = i - 1 I R, = i,Rn-l, Rn-z,. . . ,Ri} = E;. (28.1)
The sequence {R,} is called a random walk in RE (RWIRE).
Now we give a more mathematical description of this model as follows.
Let ( 0 1 , .FI,P I } be a probability space and let
E = E(w1)
= {. . . ,E-1 = E-l(wl),Eo = Eo(wl),El = E i ( ~ i ) .,.}
.
(w1 E 01) be a sequence of i.i.d.r.v.’s with P1{E1 < x} = F ( z ) ( F ( 0 ) =
1 - F(1)= 0).
Further, let {0z,.Fz} be the measurable space of the sequences w2 =
{ E ~ , E Z , .. .} where E ; = 1 or E ; = -1 (i = 1 , 2 , . . .) and .Fzis the natural
cr-algebra. Define the r.v.’s Y1,Yz,... on 0 2 by yZ(wz) = ~i (i = 1 , 2,...)
.+
and let Ro = 0, R, = Y1+ Yz +. . Y, ( n = 1,2, . . .). Then we construct a
probability measure P on the measurable space { R = 01 x RZ, F = F1 x Fz}
as follows: for any given w1 E R1 we define a measure P,, = P&(,,) = P E
on Fz satisfying (28.1). (Clearly (28.1) uniquely defines P E on Fz.)Having
the measures P E ( ~ (w1 , ) E 01) and P1 one can define the measure P on F
the natural way.
Our aim is to study the properties of the sequence {R,}. In this study
we meet two types of questions.
(i) Question of the Lord. The Lord knows w1, i.e. the sequence E ; or in
other words, He knows the measure P E and asks about the behaviour
of the particle in the future, i.e., He asks about the properties of the
sequence { R n }given &.
(ii) Question of the physicist. The physicist does not know w1. Perhaps
he has some information on F , i.e. he knows something on P I . He
also wants to predict the location of the particle after n steps, i.e.
also wants to describe the properties of the sequence {R,}.
A typical answer to the first type of question is a theorem of the fol-
lowing type:
THEOREM 28.1 There exist two sequences of F1-measurable functions
f,( 1 ) - f,( 1 )( E ) 5 f?) = f?)(&)such that
a.s. (28.2)
INTRODUCTION 305
P ~ { f t ) ( f5) rnax
Osksn
(&I 5 fF)(f)for all but f i n i t e l y m a n y n } = 1.
Since the physicist does not know the environment & he will not be satisfied
with an inequality like (28.2). However, he wants to prove an inequality
like
s u c h that
a;) 5 max ( R ~5 Ia:) a s . (P) (28.4)
Oskln
~ { a p5)Ornax
lksn
I& 1 5 a?) f o r all but f i n i t e l y m a n y n }
Remark 1. The exact forms of Theorems 28.1, 28.2 and 28.3 are given in
Theorems 30.6, 30.8 and 30.9 where the exact forms of a:), a?),):f fp),
are given.
EIVo = l m z d P l { V 0 < z} =
X
where F ( x ) = Pl(E0 < z}, VO= log VOand UO= (1- Eo)/Eo,
+ +
where T, = V1 . . . V,, T-, = VW1 + . . . + V-,, V, = logUj, Uj =
(1 - Ej)/Ej a n d TO= 0.
307
308 CHAPTER 29
Proof. Since
D(n) I + U ~ + U ~ U ~ + . . . + U ~ U ~ . =. e. oU+~e T
- ~l + e T z + . . . + e T n - l ,
(29.4)
(29.3) follows from Lemma 29.1.
By (29.4) we have
exp( max Tk) 5 D ( n ) 5 nexp( max Tk) (29.5)
O<k<n-l O<k<n-l
log D * ( k )
lim inf max
n+m Osksn fi d&= or/& as. (Pi), (29.15)
D * ( n )? 1, (29.16)
D *( n)5 n i.0. a s . (PI). (29.17)
(29.18)
implies (29.16) and (29.17).
In order to get (29.14) and (29.15) approximate the process {Tk, k 2 0)
by a Wiener process { o W ( t ) ,0 5 t < 00). By Theorem 10.2 the process
- min ( W ( T )- W ( t ) )
O<t<T
(29.23)
(29.24)
(29.25)
310 CHAPTER 29
This, in turn, implies (29.26). (29.27) follows from (C.1). (29.28) follows
from (29.23) and (29.27).
Chapter 30
p(a1b1 c)
= PE{min{j : j > m, Rj = a} < min{j : j > m, Rj = c} 1 S, = b}
Especially
1 1
p ( 0 , 1,n) = 1 - - and
D(n>
p ( 0 , n - 1,n) = -
D'(n)'
311
312 CHAPTER 30
Consequently,
1 Eb
p(a,b + 1,C) - p ( ~b,,C) = -Eb
-
( p ( a ,4 c> - p ( a , b - 1,c>>.
By iteration we get
p(~,b+ ) ( ~ , b , c )= UbUb-l’.’Ua+l(p(a,a+l,C)
1 , ~- p -P(a,a,c))
= UbUb-1 . . . Ua+l(p(a,a+ 1,c) - 1). (30.1)
- - D ( a ,b + 1)
D ( a ,c )
Hence we have the Lemma.
Consequence 1.
p(O,l,n;&)= lim
n+cc ( 1- -
Din)) = ’} =”
(30.3)
P{ lim p ( - n , - 1 , O ; f ) = 0) = 1. (30.4)
n+cc
(30.3) follows from Lemma 30.1 and (29.3). In order to see (30.4) observe
D ( - n , -1) -
1
p(-n, - 1 , O ) = 1-
D(-n,O) D(-n)
and apply (29.13) for D ( - n ) .
The following lemma is a trivial analogue of Lemma 3.2, the proof will
be omitted.
A F T E R THE SIXTH DAY 313
P{liminf Rn = a} = P(1imsup R , = b } = 0.
n-+m ,--too
M - ( n ) = - min Rk,
Olksn
~ ( n= )max{M+(n), h f - ( n ) }= max IRkI,
O<k<n
Po = 0,
p1 = min{k : k > 0, Rk = 0},
... ... ...
pj+l = min{k : k > p j , Rk =0},
((k,n)=#{l:O<l < n , R ~ = k } ,
an) = m;x€(k,n),
v(n)= #{i : 0 < i I: n - 1, Rp;+l = 1).
Observe that ( ( 0 ,p n ) = n.
Our aim is t o study the behaviour of M ( n ) . Especially in this section a
reasonable guess will be given.
Consider the simple environment when
Note that conditions ( C . l ) , (C.2) and ((3.3) are satisfied. Note also that in
the environment E = {. . . ,3/4,1/4,3/4,1/4,3/4,. . .} the behaviour of the
314 CHAPTER 30
random walk is the same as that of the simple symmetric random walk.
For example, it is trivial to prove that
limsup b,M(n) = 1 a s .
n+m
This means that the particle will return to the origin exp(nl/') times before
arriving n or -n. Hence to arrive n requires at least exp(n'/') steps.
Conversely, in n steps the particle cannot go farther than (logn)'.
This way of thinking is due to Sinai (1982). He was the first one who
realized that having high peaks and deep valleys in the environment, for the
particle it takes a long time to go through. Clearly high peak means that
T ( k ) is a big positive number for k > 0 resp. it is a big negative number
for k < 0 while the meaning of the deep valley is just the opposite.
PE{u(n) = k} = (30.5)
Iv(n) - nEol
lim sup = 1 as. (PE) (30.6)
n--tm (2nEo(l- Eo) loglogn)1/2
where u, is defined an Section 30.2.
A F T E R T H E S I X T H DAY 315
Proof is trivial.
LEMMA 30.4 For any environment & and k = 1 , 2 , .. . we have
= 2 &)'
1=0
(1 - (Y)EA(l- Eo)n-z
&)+
= ( E o (1 - 1 -I&), = (1 - &) n
. (30.8)
Proof is trivial.
Now we prove our
THEOREM 30.2 For 0ny environment & we have
I(n(logn)-l+) 5 M+(P,) 5 I(n(logn)l+E) a s . ( P E ) , (30.9)
I(-n(logn)-l-E) 6 M-(p,) <_ I(-n(1ogn)lfE) a s . (PE), (30.10)
{
P& M+(pn) 2 I
G-n(logn)l+E
)I
EoQn
= 1
-(log n)l+E
3
where
316 CHAPTER 30
M+(P,,)
(:
< I -nk(lOgnk)'+€
1 8.s. (PE)
Consequently
A F T E R T H E S I X T H DAY 317
+
P & { t ( k ,PI) = 0 ) = 1 - Eo E o p ( O , l ,k )
= l - E , + E o 1-- EO
( Dtk)) =l-D(lC).
- EO(l-Ek)
- (1--");:L
D(k)D"(k)
A trivial calculation gives
LEMMA 30.6 (Csorgo-HorvAth-Rivksz, 1987). For any k = 1 , 2 , . . .
(30.12)
(30.13)
(30.14)
(30.15)
and
(30.16)
318 CHAPTER 30
mk 5-
P
'
- exp(-(l- E)c(21~loglogk)l/2) i.0. a.s. (PI).
(30.17)
(30.18)
Proof is trivial.
Now we give a somewhat deeper consequence of (3.14).
LEMMA 30.8 (CsorgB-Horvhth-Rivisz, 1987). For any
where
(-)
5
l@kl 5 A D*(k) and A is a positive constant.
A F T E R T H E S I X T H DAY 319
LAI~I~(w)~
if A is big enough. Hence by (30.14) we have
P&{lE(k,Pn) -nmkl 2 x f i }
320 CHAPTER 30
Then we get
( k = 1 , 2 , . . . ; n = 1 , 2 , . . .).
, 2 2nmk + co*(k)
p & { t ( k Pn) logn}
= P&{expAt(k,p,) 2 exp(2Xnmk ACD*(k)logn)} +
5 E&(expX[(k,pl))nexp(-2Xnmk - XCD*(k)logn)
( 2) n- 1 -Ek Eo o * ( k ) - - 1- E k
5 exp n- - -2
2 D * ( k )1 - E k D ( k ) 2D*(k)
C log n
(30.20)
(k = 1 , 2 , . . . ; n = 1 , 2 , . . .).
A F T E R THE SIXTH DAY 321
and
PE(E(kP1) 5 k - 2 D * ( k ) I E ( k , p 1 ) > 0) i ck-2. (30.22)
Consequently
(30.23)
Hence
322 CHAPTER 30
Proof. Let
Then
P&{G= 1) = EO(1 - P(0,1, k)) = P
and by the Bernstein inequality (Theorem 2.3)
{ -t }-
PE S < n p < C e x p -- (3
Let 1 5 il < i 2 < . . . < is 5 n be the sequence of those i's for which
A F T E R T H E S I X T H DAY 323
and let
~j = t ( k , Pijt-1) - t(k,pij) ( j = 172,. . S),
i.e. uj is the number of excursions away from k between pij and pij+l.
Further, let uJF resp. u: be the number of the corresponding negative resp.
positive excursions. Then
uj = u3' +Uj,
P&{UF = m } = (1 - Q)m-lq, Q (1 - E k ) p ( O , k - 1,k),
and using again the Bernstein inequality we obtain
Hence
5 C e x p (-$) + P&{ u; + u; + . . . + u; 5
1
-nmk, s = -2ln p I
< Cexp
- (-$)+ C e x p (-z). 4
Pn I2n
I ( n ( l 0 gn ) l + C )
k=-I(-n(1og
c n ) l + C )
m k +Clogn c
r (n(iog n)l+c)
(30.24)
where C is a big enough positive constant.
pn 5 n(logn)2+E
k=-I(-n(log
c
I(n(l0g n ) l + E )
n)l+s)
ml, U.S. (PE).
Hence
k=O k=O
Since analogous inequality can be obtained for negative k's we have the
Theorem.
A lower bound for p n is the following:
THEOREM 30.5
n
pn 2 -rnaxmk
4 kEA
U.S. (PE) (30.25)
k=-Z(-n(log ,)I+<)
n
h(n) = - max mk.
4 LEA
(30.26)
where g-'(.) resp. h-'(.) are the inverse functions ofg(.) resp. h(.).
Remark 3. Note that knowing the environment E the lower and upper
bounds of (30.26) can be evaluated.
326 CHAPTER 30
M+(pn) 5 ( l o g n l o g l o g n ~*log,-,
~ n(log, n ) 1 + E ) 2
a.s.(P) if n is big enough, (30.28)
M+(pn) 2 (lognloglogn...log,_l nlog,n), i.0. a.s. (P), (30.29)
1+ log2 n
M+(Pn) I s G i.0. a s . (P),
E
(30.30)
1 - E log2 n
a s . (P) if n is big enough. (30.31)
Proof. (30.27) gives the proofs of (30.28) and (30.31). Since by Theorem
30.2 for all but finitely many n
and by (29.20)
I(n(l0g n)-l-E) 1 ((log n - (1+ 2E) log, n )log, n . . . log,+, n ) ,
2 (log n log, n - .. log, n)' i.0. a s . (PI)
hence we get (30.30). Clearly, the physicist is more interested in the be-
haviour of M + ( n) , M-(n ), M ( n ) than those of M+(p,), M-(p,), M(p,).
Since pn 3 2n by (30.28) and (30.30) we have
and
(30.33)
To get a lower bound for M+(n ), M-(n) and M(n) is not so easy. However,
as a consequence of Theorem 30.6 we prove
log2 n
U.S. (P) (30.34)
M+(n) 2 (log log n)2+E
E > 0 a n d for all but finitely m a n y n . T h e s a m e inequality holds
for a n y
for M-(n) a n d M ( n ).
Proof. Let
I(n(l0g ,)l+S)
5 -n(logn)2+E(logn)2(log2
1-P n)2+2E
P
x e x p ( ( l + 2~)(r(2(1ogn)~(log,
n)2+3E)1/2
5 exp(logn(loglogn)1+2E). (30.35)
328 CHAPTER 30
n=2
r2a2
exp ( - F a n ) = 00,
and
if and only if
00 1f2
an
n=2
and
if and only if
1
= 00.
n=2 nakf log n
(30.39)
D ( n k ) 5 exp(n:’2(logn,+)-6) and
o*(nk) 2 exp((1 - E)ab;li). (31.2)
Proof. (31.1) follows from (5.11) and Invariance Principle 2 of Section 6.4.
LEMMA 31.2 There exist two constants C1 > 0 , C, > 0 and a random
sequence 0 < n1 = n l ( w 1 ) < nz = nz(w1) < . . . such that
T,, 2 C2bif and
(31.3)
(31.4)
329
330 CHAPTER 31
PE{<(nk>(Pj,Pj+l)) 5 q 2 W n r c ) }I CnF2,
and by (31.2) and the Borel-Cantelli lemma
( p j , ~ j + l )2
<(m, 2 )exp((1-
) ni2~*(nk E)C~;;) 8.s. (P)
for all but finitely many Ic (where j = j(Ic)). Consequently
P N ~_> P~+-
I pj L E(m,( p j , p j + z ) ) 2 exp((1- E)C~;:) a.s. (P) (31.7)
for all k big enough. By (29.23) and (31.2)
Nk (log Nk)-(l+€)
5~ + + ~I) ~) ( n k 5
( ~ ( ~ k ( l o g ~ k ) - ( ~ 1) ) exp(nk/'(lognk)-')
WHAT CAN A PHYSICIST SAY ABOUT c(0,n ) ? 33 1
i.e.
1
nk 2 ,(logNk)2(10g10gNk)26. (31.8)
(31.7) and (31.8) combined imply for any 6* < 1 and for all but finitely
many lc
pNk 2 exp ( o ~ (P).
l o ~ ~ ~ ( ~ o ~ ~a.s. ~ k ) 6 * )(31.9)
(31.9) in turn implies Theorem 31.2.
Theorems 31.1 and 31.2 have shown how small [(O, N ) can be. Essen-
tially we found that ((0, N ) can be as small as N1/loglogN.In the next two
theorems we investigate the question of how big ((0, N ) can be. In fact we
prove
THEOREM 31.3 There exasts a C = C ( p ) > 0 such that
(31.10)
Hence by Lemma 30.10 for any K > 0 there exists a C = C ( K ) > 0 such
that
) C n D * ( j ) }5 n-K
P&{[(j,pn2 ( j = 1 , 2 . .. , n = 1 , 2 , .. .). (31.11)
Consequently
[ ( j ,P N , ) = O if j > 7th. (31.14)
By (31.10), Lemma 30.10 and (31.13) for any K >0 there exists a C =
C ( K ) > 0 such that
(31.15)
Hence by the Borel-Cantelli lemma, (31.13), (31.14), (31.15) and (31.4) we
get
for all but finitely many k . Since similar inequality can be obtained for the
sum cj"=, <(-j1 P N k ) and for PNk = c,"=-,[ ( j , P N k ) we have
THEOREM 31.4 For almost all environment E and for all E >0 and C
big enough there exist two random sequences of positive integers
and
N = N ( n ,&) = [(l0gn)2(log2n)-(2f')],
M'(Pj,Pj+i)=p,<y2x, Rk ( j = 1 , 2 ,. . .),
3- -P3+1
$ * ( N )= max{n : o 5 n 5 N , T ( n ) 5 -obi1},
< * ( s , n )= # { j : 1 i j 5 <(O,n),M + ( P j - I , p j ) 2 .I.
Note that by Theorem 5.8 (especially Example 3) and by Invariance
Principle 2 we obtain
for any E > 0 and for all but finitely many n. Hence by Lemma 30.1, (29.5)
and (31.16)
(31.17)
for all but finitely many n. Applying Lemma 30.1 and the definition of
$ * ( N ) we obtain
(31.18)
(31.19)
for all but finitely many N . (31.19) and (31.20) imply that with some
c>o
Remark 2. Since
8, << log, n)-l
there is an essential gap between the statements of Theorems 31.3 and 31.5.
This is filled in by Hu and Shi (1998/A).
WHAT CAN A PHYSIClST SAY ABOUT ((O,n)? 335
if and only if
CQ
1
C
n=3
n a i log n
= co,
and
if and only if
1
= 03.
n=3
nbn log n
(32.2)
It looks obvious that much stronger results than those of (32.1) and (32.2)
should exist. In fact we prove in the next theorem that (under some extra
condition on L )
limsup > o a s . (P).
n+m 72
[(n) 2 g ( p ) a s .
limsup - (P).
n+w n
337
338 CHAPTER 32
where
A = log -.1 - P
P
For the sake of simplicity from now on we assume that p& 2 p i .
Continue the notations as follows:
and on 0:
FN = min{k : k > 0, Rk = Q N } ,
GN = min{k : k > 0, RI,= p I ( N ) } ,
H N = min{k : k > F N , RI,= r; or r;} - F N .
For the sake of simplicity from now on we assume that r; 5 0.
The above notations can be seen in Figure, where instead of the process
T k the process
if k 0, >
{ Tk
" = -TI, if k 5 0
is shown.
ON T H E FAVOURITE V A L U E OF T H E RWIRE 339
Figure
pi{L~(j5
) Sj2 + 4 j + 2 ( j = 0 , 1 , .. . , N - 1),A} 28
P ~ { L N (5
~ )S j 2 + 4 j + 2, (j =O,l,. . . ,N - 1)) (32.4)
is larger than an absolute positive constant independent from N . It is easy
to see that
Pi{A} = Pi
{
N
F'+(N)5 T , F - ( N ) 5
"1
-
2
is larger than an absolute positive constant independent from N (cf. Con-
(32.5)
sequence 4 of Section 10.2) and the events involved in (32.4) and (32.5) are
asymptotically independent as N -+ IXI. Hence we have Lemma 32.1.
340 CHAPTER 32
(32.7)
(32.8)
2 -exp
EO (-:)
ON
and
5 ( Q N - I - p r ( N ) )exp (1+ E ) -
( 3 a.s. (PE)
ON THE FAVOURITE VALUE OF THE RWIRE 34 1
for any E > 0 and for all but finitely many k. Hence the lemma is proved.
Introduce the following further notations:
(32.10)
where C1 > 2p-l. Further, for any K > 0 there exists a C = C ( K ) > 0
such that
(32.11)
n = [exp(&N)] where N = Nk = N k ( E )
and
x(j) = min{k : TN < Ic < Q N , +
Tk = - ~ N Aj A } .
342 CHAPTER 32
The last inequality of the above inequalities follows from the fact that
(YN < a. Consequently by (32.9) and Lemma 32.1
03
Consequently
5 2 1- -mP~
P
exp(-$lAN) + C(1ogn)aN exp ):( = o(n). (32.13)
c
(YN-1
1=r,
i G n ) I: 2 f ( A ) n a.s. (P) (32.14)
ON THE FAVOURITE VALUE OF THE RWIRE 343
for all but finitely many k. Similarly one can see that
+
TN
Hence by (32.7)
-
TN
Conjecture 1.
lim inf log log n = o a.s. P
n+03 n
and
liminf -(10giogn)~
C(n) = 03 a.s. P.
n+03 n
344 CHAPTER 32
and
(for the definition of 0 2 ,cf. (C.3) of Chapter 29). In order to study the
limit distributions of RA and M; he modified a bit the original model. In
fact he assumed that Eo = 1, i.e. the random walk is concentrated on
the positive half-line. Having this modified model he proved that the limit
distributions of the sequences {Ri} and { M ; } existed and he evaluated
those. In fact we have
(33.1)
and
(33.2)
345
346 C H A P T E R 33
where
Sinai (1982) also proved that there exists a sequence of random variables
on R1 such that R, - a , = o((1og n)2) in probability ( P ) .
a1, a 2 , . . . defined
This means that knowing the environment E we can evaluate the sequence
{a,} and having the sequence {a,} we can get a much better estimate of
the location of the particle R, than that of Theorem 30.6. Golosov proved
a much stronger theorem. His result claims that R, - a, has a limit
distribution (without any normalising factor), which means that knowing
a, the location of the particle can be predicted with a finite error term
with a big probability. The model used by Golosov is a little bit different
from the one discussed up to now. He considered a random walk on the
right half-line only arid he assumed that the particle can stay where it is
located. His model can be formulated as follows.
Let E = {p-l(n),po(n),pl(n),}( n = 0 , 1 , 2 , . . .) be a sequence of in-
dependent random three-dimensional vectors whose components are non-
negative and p-1(0) = 0, p - l ( n ) + p o ( n ) + p l ( n ) = 1 ( n = 0 , 1 , 2 ...).
Assume further that
(i) (p-1 ( n ) , p l( n ) )( n = 1 , 2 . . .) are identically distributed,
(ii) p o ( n ) ( n = 0 , 1 , 2 , . . .) are identically distributed,
(iii) the sequences {po(n), n = 0 , 1 , 2 , . . .} and
{p-1 (n)/pl ( n ) ,n = 1 , 2 , . . .} are independent,
neighbour case. Even the question of the recurrence is very hard. In fact,
the question is t o find the necessary and sufficient condition for the distri-
bution function
Pl{P-l(i) < U - l , P l ( i ) < Ul,PZ(i) < .2} = F ( U - l , U l , U Z )
which guarantees that
P{R, = 0 i.0.) = 1. (33.3)
This question was studied in a more general form by Key (1984), who in
the above formulated case obtained the required condition.
348 CHAPTER 33
and
Then
P{Rn = 0 i.o.} = 1 if m = 0,
P{limRn=oo}=l if m > 0 ,
n+cc
P{ lim Rn = - m } = 1 if m < 0.
n4w
Remark 1. Clearly this Theorem gives the necessary and sufficient condi-
tion of (33.3) if the expectation m exists. If m does not exist then the nec-
essary and sufficient condition is unknown, just as in the nearest-neighbour
case.
{P-L(n),P-L+l(n),. . . , P R ( n ) l
where L and R are positive integers) was also investigated by Key. However,
he cannot obtain an explicit condition for (33.3), but he proves a general
zero-one law which implies that
P{R, = 0 Lo.} = 0 or 1.
33.3 RWIRE in Zd
The model of the RWIRE can be trivially extended to the multivariate
case. For the sake of simplicity here, we formulate the model in the case
d = 2. Let Uij = (Uij(1),Uij
( 2 ) ,Uij (4) ) ( i , j = O , f l , f 2 , . . .) be an array
( 3 ) ,Uij
of i.i.d.r.v.'s with Uij(k) 2 0, Uz'j')+ U!;) + Uj;' + u,'j") = 1. The array & =
{Uij,i , j = 0, f l , f 2 , . . .} is called a two-dimensional random environment.
Having an environment I a random walk {Rn, n = 0 , 1 , 2 , . . .} can be
defined by Ro = 0 and
P{Rn+l = ( i + l , j ) I R n = ( i , j ) , R , - 1 , . . . , R o } = U .(1)
.
Y
P{Rn+1 = ( i , j + I ) I R n = ( i , j ) , R n - l , ..., Ro}=Uij(2) 1
A F E W F U R T H E R PROBLEMS 349
Assume that
Then
P{R, = 0 i.0.} = 0,
moreover
Problem 2. Let 0 < p < 1/2 and define the random environment E by
k=O
If the particle has to pay <i guilders whenever it visits i, then the amount
paid by the particle during the first n steps of the random walk is n3I4Kn.
Clearly
+00
K , = n-3/4 C Ck<(k,n)
k=-m
where <(., .) is the local time of {sk}.
Studying the sequence { K n }Kesten and Spitzer are arguing heuristi-
cally as follows: let c;==, Ck = L, ( n = 0, f l , 3 2 , .. .) then one can define
independent Wiener processes {Wl(n) (n = 0,1,. . .)} and {Wz(n) ( n =
0, *l,. . .)} such that Wz(n)should be near enough to L, and simultane-
ously J ( k , n ) should be near to the local time ~1 (k,n ) of the Wiener process
WI(.). Hence
00
A F E W FURTHER PROBLEMS 351
Since it is not very hard to prove that n-’l4 s_’,” 71(x,n)dWz(x) has a
limit distribution, the above heuristic approach suggests that Kn has a
limit distribution.
Applying Invariance Principle 2. (Section 6.2) and Theorem 10.1 it is
not hard to get a precise form of (33.4).
We note that Kesten and Spitzer investigated a much more general situ-
ation than the above one and they initiated an extended research of random
sceneries. They conjectured that in the case when { s k } is a simple random
walk on the plane then n3/4Kn can be approximated by a Wiener process.
This conjecture was proved by Bolthausen (1989) (see also Borodin, 1980).
The strongest form of this statement is
I k=O I
A similar result can be obtained in case d 2 3.
THEOREM 33.7 (Ri!!vi!!sz-Shi, 2000) Let d 2 3 and assume that El&/4‘<
00 for some q > 2. Possibly in an enlarged probability space there exists a
Wiener process { W ( t ) ,t 2 0) such that for any E > 0
where
Consequence.
i=tn+l xEA(i,n)
zEA ( i , n ) 1=1
and
The case Q ( i ,n) < ny2(1 - can be treated similarly. Since the r.v.'s
ny2(1--y)'-'
k 1
Similarly
and
3
P{R3 = -1 I R1 = -1, RS = 0) = 1 -P{ R3 = 1 I R1 = -1, R2 = 0) = -.
4
This model was introduced by Coppersmith and Diaconis (cf. Davis
(1989)) and studied by Davis (1989, 1990).
Intuitively it is clear that the random walk generated by this model is
“more recurrent’’ than the simple symmetric random walk. However, to
prove that it is recurrent is not easy at all. This was done by Davis (1989,
1990), who studied the recurrence in more general models as well.
Note that in this model the random environment is changing in time
and depends on the random walk itself. Situations where the random envi-
ronment is changing in time look very natural in different practical models.
A more general model is the following: the random walk {Ri)starts
+
from the origin of Z1 and at time i 1 it jumps to one of the two neigh-
bowing sites of Ri, so that the probability of jumping along a bond of the
lattice is proportional to
r(z(2))= # { j : o 5 j 5 i, zi
zj+l) = (xi,
(zj, + 1) or (xi+ 1,zi)),
1(z(2)) =#{j : o 5 j 5 i, (zj,zj+l)= (zi,zi - 1) or (xi- 1,zi))
that is T (resp. I ) shows how many times had the walk visited the edge
adjacent from the right (resp. left) to the terminal site zi. Then the
random walk { Ri} is governed by the law
P { R i + l = R i + l I R j = z j , j = O , l , 2 ,...,i}
-
w (?-(di) ))
W(T(.(i)))+ w(I(z(i)))
= 1 - P{Ri+l = Ri - 1 I Rj = zj, j = 0,1,2,. . . ,i}.
Clearly the properties of the random walk { Ri} depend strongly on the
choice of the weight function w ( . ) . The most complete description of this
A FEW FURTHER PROBLEMS 355
type of walks is due to Tbth (1995, 1996, 1997, 1999). He studied for
example the cases when
and
w ( n ) = e-gn (g > 0).
For example in the first case with a 2 0 he proved that
AUER, P.
(1989) Some hitting probabilities of random walks on 2’. Coll. Math.
SOC. J. Bolyai: Limit Thorems i n Probability and Statistics (ed. I.
Berkes, E. CsBki, P. RCvCsz) North-Holland, 57, 9-25.
(1990) The circle homogeneously covered by random walk on 2’.Statis-
tics & Probability Letters 9, 403-407.
AUER, P. - REVESZ, P.
(1990) On the relative frequency of points visited by random walk on
Z 2 . Coll. Math. Soc. J . Bolyai: Limit Theorems in Probability and
Statistics (ed. I. Berkes, E. Csaki, P. RCvCsz) North-Holland, 5 7 , 27-33.
BARTFAI, P.
(1966) Die Bestimmung der zu einem wiederkehrenden Prozess gehoren-
den Verteilungsfunktion aus den mit Fehlern behafteten Daten einer
Einzigen Realisation. Studia Sci. Math. Hung. 1, 161-168.
BASS, R. F. - GRIFFIN, P. S.
(1985) The most visited site of Brownian motion and simple random
walk. 2. Wahrscheinlichkeitstheorie verw. Gebiete 70,417-436.
BASS, R. F. - KUMAGAI, T.
(2002) Laws of the iterated logarithm for the range of randow walks in
two and three dimensions. The Annals of Probability 30, 1369-1396.
BERKES, I.
(1972) A remark to the law of the iterated logarithm. Studia Sci. Math.
Hung. 7 , 189-197.
BICKEL, P. J. - ROSENBLATT, M.
(1973) On some global measures of the deviations of density function
estimates. The Annals of Statistics 1, 1071-1095.
357
358 REFERENCES
BILLINGSLEY, P.
(1968) Convergence of Probability Measures. J. Wiley, New York.
BINGHAM, N. H.
(1989) The work of A. N. Kolmogorov on strong limit theorems. Theory
of Probability and its Applications 34, 152-164.
BOLTHAUSEN, E.
(1978) On the speed of convergence in Strassen’s law of the iterated
logarithm. The Annals of Probability 6,668-672.
(1989) A central limit theorem for two-dimensional random walk in ran-
dom sceneries. The Annals of Probability 17,108-115.
BOOK, S. A. - SHORE, T. R.
(1978) On large intervals in the Csorg6 - RBvCsz Theorem on Increments
of a Wiener Process. 2. Wahrscheinlichkeitstheorie verw. Gebiete 46,
1-1 1.
BOREL, E.
(1909) Sur 16s probabilitCs dknombrables et leurs applications arithm6-
tiques. Rendiconti del Circolo Mat. d i Palermo 26,247-271.
BORODIN, A. N.
(1982) Distribution of integral functionals of Brownian motion. Zap.
Nauchn. Semin. Leningrad Otd. Mat. Inst. Steklova 119,13-38.
(1986/A,B) On the character of convergence to Brownian local time I,
11. Probab. Th. Rel. Fields 72,231-250, 251-277.
BROSAMLER, G. A.
(1988) An almost everywhere central limit theorem. Math. Proc. Camb.
Phil. SOC.104,561-574.
CHEN, X.
(2004) Exponential asymptotics and law of the iterated logarithm for
intersection local times of random walks. The Annals of Probability 32,
3248-3300.
CHEN, X. - LI, W.
(2004) Large and moderate deviations for intersection local times.
Probab. T h . Rel. Fields 128,213-254.
CHUNG, K. L.
(1948) On the maximum partial sums of sequences of independent ran-
dom variables. Trans. A m . Math. SOC.64,205-233.
REFERENCES 359
CHUNG, K. L. - ERDOS, P.
(1952) On the application of the Bore1 - Cantelli lemma. Trans. A m .
Math. SOC.72, 179-186.
CHUNG, K. L. - HUNT, G. A.
(1949) On the zeros of C: f l . Annals of Math. 50, 385-400.
COPPERSMITH, D. - DIACONIS, P.
(1987) Random walks with reinforcement. Stanford Univ. Preprint.
CSAKI, E.
(1978) On the lower limits of maxima and minima of Wiener process and
partial sums. 2. Wahrscheinlichkeitstheorie verw. Gebiete 43, 205-221.
(1980) A relation between Chung’s and Strassen’s law of the iterated
logarithm. 2. Wahrscheinlichkeitstheorie verw. Gebiete 54, 287-301.
(1989) An integral test for the supremum of Wiener local time. Probab.
Th. Rel. Fields 83,207-217.
(1990) A liminf result in Strassen’s law of the iterated logarithm. Coll.
Math. SOC.J . Bolyai: Limit Theorems in Probability and Statistics (ed.
I. Berkes, E. CsAki, P. RCvBsz) North-Holland, 57,83-93.
CSAKI, E. - FOLDES, A.
(1984/A) On the narrowest tube of a Wiener process. Coll. Math. SOC.
J . Bolyai: Limit Theorems i n Probability and Statistics (ed. P. RCvBsz)
North-Holland, 36, 173-197.
(1984/B) The narrowest tube of a recurrent random walk. 2.
Wahrscheinlichkeitstheorie verw. Gebiete 66,387-405.
(1984/C) How big are the increments of the local time of a simple sym-
metric random walk? Coll. Math. SOC. J . Bolyai: Limit Theorems i n
Probability and Statistics (ed. P. RBvBsz) North-Holland, 36,199-221.
(1986) How small are the increments of the local time of a Wiener pro-
cess? The Annals of Probability 14,533-546.
360 REFERENCES
CSAKI, E. - GRILL, K.
(1988) On the large values of the Wiener process. Stochastic Processes
and their Applications 27,43-56.
CSAKI, E. - REVESZ, P.
(1979) How big must be the increments of a Wiener process? Acta Math.
Acad. Sci. Hung. 33, 37-49.
(1983) A combinatorial proof of P. LCvy on the local time. Acta Sci.
Math. Szeged 45, 119-129.
CSAKI, E. - VINCZE, I.
(1961) On some problems connected with the Galton test. Publ. Math.
Inst. Hung. Acad. Sci. 6,97-109.
CSORG6, M. - HORVATH, L.
(1989) On best possible approximations of local time. Statistics k3 Prob-
ability Letters 8,301-306.
CSORG6, M. - REVESZ, P.
(1979/A) How big are the increments of a Wiener process? The Annals
of Probability 7,731-737.
(1979/B) How small are the increments of a Wiener process? Stochastic
Processes and their Applications. 8,119-129.
(1981) Strong Approximations in Probability and Statistics. AkadCmiai
Kiadb, Budapest and Academic Press, New York.
(1985/A) On the stability of the local time of a symmetric random walk.
Acta Sca. Math. 48,85-96.
(1985/B) On strong invariance for local time of partial sums. Stochastic
Processes and their Applications 20, 59-84.
(1986) Mesure du voisinage and occupation density. Probab. Th. Rel.
Fields 73,211-226.
(1992) Long random walk excursions and local time. Stochastic Processes
and their Applications 41,181-190.
DARLING, D. A. - ERDOS, P.
(1956) A limit theorem for the maximum of normalized sums of inde-
pendent random variables. Duke Math. J . 23, 143-155.
DAVIS, B.
(1989) Loss of recurrence in reinforced random walk. Technical Report,
Purdue University.
362 REFERENCES
DE ACOSTA, A.
(1983) Small deviations in the functional central limit theorem with
applications to functional laws of the iterated logarithm. The Annals of
Probability 11, 78-101.
DEHEUVELS, P.
(1985) On the ErdBs - RCnyi theorem for random fields and sequences
and its relationship with the theory of runs and spacings. 2. Wahrschein-
lichkeitstheorie verw. Gebiete 70, 91-115.
DEHEUVELS, P. - REVESZ, P.
(1986) Simple random walk on the line in random environment. Probab.
Th. Rel. Fields 72, 215-230.
(1987) Weak laws for the increments of Wiener processes, Brownian
bridges, empirical processes and partial sums of i.i.d.r.v.'s. Mathematical
Statistics and Probability Theory, Vol. A., Proc. of the 6th Pannonian
Symp. (ed. Puri, M. L. - RCvCsz,'P. - Wertz, W.) 69-88.
DEHEUVELS, P. - STEINEBACH, J.
(1987) Exact convergence rates in strong approximation laws for large
increments of partial sums. Probab. Th. Rel. Fields 76, 369-393.
DOBRUSHIN, R. L.
(1955) Two limit theorems for the simplest random walk on a line. Uspehi
Math. Nauk (N. N) 10,139-146. In Russian.
REFERENCES 363
DONSKER, M. D. - VARADHAN, S. R. S.
(1977) On laws of the iterated logarithm for local times. Comm. Pure
Appl. Math. 30, 707-753.
(1979) On the number of distinct sites visited by a random walk. Comm.
Pure Appl. Math. 27,721-747.
DURRETT, R.
(1991) Probability: Theory and Examples. Wadsworth Brooks/Cole,
Pacific Grove, California.
DVORETZKY, A. - ERDOS, P.
(1951) Some problems on random walk in space. Proc. Second Berkeley
Symposium 353-367.
ERDOS, P.
(1942) On the law of the iterated logarithm. Annals of Math. 43,
419-436.
ERDOS, P. - CHEN, R. W.
(1988) Random walks on Z,”. J. Multivariate Analysis 25,111-118.
ERDOS, P. - RENYI, A.
(1970) On a new law of large numbers. J . Analyse Math. 23, 103-111.
ERDOS, P. - REVESZ, P.
(1976) On the length of the longest head-run. Coll. Math. SOC. J .
Bolyai: Topics i n Information Theory (ed. Csiszk, I. - Elias, P.) 16,
219-228
(1984) On the favourite points of a random walk. Mathematical Struc-
tures - Computational Mathematics - Mathematical Modelling 2. Sofia,
152-157.
(1987) Problems and results on random walks. Math. Statistics and
Probability Theory, Vol. B., Proc. 6th Pannonian Symp. (ed. Bauer, P.
- Konecny, F. - Wertz, W.) D. Reidel, Dordrecht. 59-65.
(1988) On the area of the circles covered by a random walk. Journal of
Multivariate Analysis 27,169-180.
(1990) A new law of the iterated logarithm. Acta Math. Hung. 5 5 ,
125-131.
364 REFERENCES
(1991) Three problems on the random walk in Zd. Studia Sci. Math.
Hung. 26, 309-320.
(1997) On the radius of the largest ball left empty by a Wiener process.
Studia Sci. Math. Hung. 33, 117-125.
ERDOS, P. - TAYLOR, S. J.
(1960/A) Some problems concerning the structure of random walk paths.
Acta Math. Acad. Sci. Hung. 11, 137-162.
(1960/B) Some intersection properties of random walk paths. Acta
Math. Acad. Sci. Hung. 11, 231-248.
FELLER, W.
(1943) The general form of the so-called law of the iterated logarithm.
Trans. A m . Math. SOC.54, 373-402.
(1966) A n Introduction to Probability Theory and Its Applications,. Vol.
11. J. Wiley, New York.
FISHER, A.
(1987) Convex - invariant means and a pathwise central limit theorem.
Advances in Mathematics 63,213-246.
FLATTO, L.
(1976) The multiple range of two-dimensional recurrent walk. The An-
nals of Probability 4 , 229-248.
FOLDES, A.
(1975) On the limit distribution of the longest head-run. Matematikai
Lapok 26, 105-116. In Hungarian.
(1989) On the infimum of the local time of a Wiener process. Probab.
Th. Rel. Fields 8 2 , 545-563.
FOLDES, A. - PURI, M. L.
(1993) The time spent by the Wiener process in a narrow tube before
leaving a wide tube. Proc. Amer. Math. SOC.117,529-537.
FODES, A. - REVESZ, P.
(1992) On hardly visited points of the Brownian motion. Probability
Theory and Related Fields 91, 71-80.
(1993) Quadratic variation of the local time of a random walk. Statistics
& Probability Letters 17,1-12.
GNEDENKO, B. V. - KOLMOGOROV, A. N.
(1954) Limit Distributions for Sums of Independent Random Variables.
Addison - Wesley, Reading, Massachusetts.
REFERENCES 365
GOLOSOV, A. 0.
(1983) Limit distributions for random walks in random environments.
Soviet Math. Dokl. 28, 18-22.
(1984) Localization of random walks in one-dimensional random envi-
ronments. Commun. Math. Phys. 92,491-506.
GONCHAROV, V. L.
(1944) From the domain of Combinatorics. Izv. Akad. Nauk S S S R Ser.
Math. 8(1), 3-48.
GOODMAN, V. - KUELBS, J.
(1988) Rates of convergence for increments of Brownian motion. J.
Theor. Probab. 1, 27-63.
GORN, N. L. - LIFSCHITZ, M. A.
(1998) Chung’s law and CsAki function. J . Theor. Probab. 12,
399 - 420.
GRIFFIN, P.
(1990) Accelerating beyond the third dimension: Returning to the origin
in simple random walk. The Mathematical Scientist. 15,24-35.
GRILL, K.
(1987/A) On the rate of convergence in Strassen’s law of the iterated
logarithm. Probab. Th. Rel. Fields 74, 583-589.
(1987/B) On the last zero of a Wiener process. Mathematical Statistics
and Probability Theory, Vol. A . , Proc. 6th Pannonian Sump. (ed. Puri,
M. L. - RBvBsz, P. - Wertz, W.) D. Reidel, Dordrecht. 99-104.
(1991) On the increments of the Wiener processes. Studia Sci. Math.
Hung. 26,329-354.
GUIBAS, L. J. - ODLYZKO, A. M.
(1980) Long repetitive patterns in random sequences. 2. Wahrschein-
lichkeitstheorie verw. Gebiete 53, 241-262.
HAMANA, Y.
(1995) On the central limit theorem for multiple point range of random
walk. J . Fac. Sci. Uniu. Tokyo Sect. I A Math. 39,339-363.
(1997) The fluctuation result for the multiple point range of two-
dimensional recurrent random walks. The Annals of Probability 25,
598-639.
(1998) An almost sure invariance principle for the range of random walks.
Stochastic Process. Appl. 78,131-143.
366 REFERENCES
HANSON, D. L. - RUSSO, R. P.
(1983/A) Some results on increments of the Wiener process with appli-
cations t o lag sums of I.I.D. random variables. The Annals of Probability
11,609-623.
(1983/B) Some more results on increments of the Wiener process. The
Annals of Probability 11, 1009-1015.
HARTMAN, P. - WINTNER, A.
(1941) On the law of iterated logarithm. Amer. J. Math. 63,169-176.
HAUSDORFF, F.
(1913) Grundziige der Mengenlehre. Leipzig.
HIRSCH, W. M.
(1965) A strong law for the maximum cumulative sum of independent
random variables. Comm. Pure Appl. Math. 18, 109-217.
HOUGH, J. B. - PERES, Y.
(2005) An LIL for cover times of discs by planar random walk and Wiener
sousage. To appear.
HU, Y. - SHI, Z.
(1998/A) The local time of simple random walk in random environment.
J . Theoretical Probability 11, 765-793.
(1998/B) The limits of Sinai’s simple random walk in random environ-
ment. The Annals of Probability 26,1477-1521.
IMHOF, I. P.
(1984) Density factorizations for Brownian motion meander and the
three-dimensional Bessel process. J. Appl. Probab. 21, 500-510.
ITO, K.
(1942) Differential equations determining a Markoff process. Kiyosi It6
Selected Papers. Springer-Verlag, New York (1986), 42-75.
JAIN, N. C. - PRUITT, W. E.
(1971) The range of transient random walk. J . Analyse Math. 24,
369-373.
(1972/A) The law of iterated logarithm for the range of random walk.
Ann. Math. Statist. 43,1692-1697.
REFERENCES 367
(1972/B) The range of random walk. Proc. Sixth Berkeley Symp. Math.
Statist. Probab. 3,Univ. California Press, Berkeley, 31-50.
(1974) Further limit theorems for the range of random walk. J . Analyse
Math. 27,94-117.
KALIKOW, S. A.
(1981) Generalized random walk in a random environment. The Annals
of Probability 9, 753-768.
KARLIN, S. - OST, F.
(1988) Maximal length of common words among random letter se-
quences. The Annals of Probability 16,535-563.
KESTEN, H.
(1965) An iterated logarithm law for the local time. Duke Math. J. 32,
447-456.
(1980) The critical probability of band percolation on iZ2 equals 1/2.
Comm. Math. Phys. 74,41-59.
(1986) The limit distribution of Sinai's random walk in random environ-
ment. Comm. Math. Phys. 138,299-309.
(1987) Hitting probabilities of random walks on Z d . Stochastic Processes
and their Applications 25, 165-184.
(1988) Recent progress in rigorous percolation theory. Aste'risque 157-
158,217-231.
KESTEN, H. - SPITZER, F.
(1979) A limit theorem related to a new class of self similar processes.
2. Wahrscheinlichkeitstheorie uerw. Gebiete 50,5-25.
KEY, E. S.
(1984) Recurrence and transience criteria for random walk in a random
environment. The Annals of Probability 12,529-560.
KHINCHINE, A.
(1923) Uber dyadische Briiche. Math. Zeitschrift 18, 109-116.
KHOSHNEVISAN, D.
(1994) Exact rates of convergence to Brownian local time. The Annals
of Probability 22,1295-1330.
(2002) Multiparameter Processes. Springer-Verlag, New York, Berlin,
Heidelberg.
KNIGHT, F. B.
(1981) Essentials of Brownian Motion and Diffusion Am. Math. SOC.,
Providence, R.I.
368 REFERENCES
KOLMOGOROV, A. N.
(1933) Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, Berlin.
LACEY, M. T. - PHILIPP, W.
(1990) A note on the almost sure central limit theorem. Statistics d
Probability Letters 9, 201-205.
LAMPERTI, J.
(1977) Stochastic Processes. A Survey of the Mathematical Theory.
Springer - Verlag, New York.
LAWLER, G. F.
(1980) A self-avoiding random walk. Duke Mathematical Journal 47,
655-692.
(1991) Intersections of Random Walks. Birkhauser, Boston.
(1993) On the covering time of a disc by simple random walk in
two-dimensionals. Seminar on Stochastic Processes 1992 Birkhauser,
Boston. 33, 189-208.
LE GALL, J.-F.
(1986) PropriCtCs d’ intersections des marches alCatoires 1. Convergence
rers le temps local d’ intersection. Comm. Math. Phys. 104,471-507.
(1988) Fluctuation results for the Wiener sausage. The Annals of Prob-
ability 16, 991-1018.
MAJOR, P.
(1988) On the set visited once by a random walk. Probab. Th. Rel.
Fields 77,117-128.
REFERENCES 369
MARCUS, M. B. - ROSEN, J.
(1997) Laws of iterated logarithm for intersections of random walks on
Z4. Ann. Inst. H. Poincare‘ Probab. Statist. 33, 37-63.
MCKEAN Jr, H. P.
(1969) Stochastic Integrals. Academic Press, New York.
MOGUL’SKII, A. A.
(1979) On the law of the iterated logarithm in Chung’s form for func-
tional spaces. Th. of Probability and its Applications 24, 405-412.
MORI, T.
(1989) More on the waiting time till each of some given patterns occurs
as a run. Preprint.
MUELLER, C.
(1983) Strassen’s law for local time. 2. Wahrscheinlichkeitstheorie verw.
Gebiete 63, 29-41.
NEMETZ, T - KUSOLITSCH, N.
(1982) On the longest run of coincidences. 2. Wahrscheinlichkeitstheorie
verw. Gebiete 61, 59-73.
NEWMAN, D.
(1984) In a random walk the number of “unique experiences” is two on
the average. S I A M Review 26, 573-574.
OREY, S. - PRUITT, W. E.
(1973) Sample functions of the N-parameter Wiener process. The A n -
nals of Probability 1, 138-163.
ORTEGA, I. - WSCHEBOR, M.
(1984) On the increments of the Wiener process. 2. Wahrscheinlichkeit-
stheorie verw. Gebiete 65, 329-339.
PERKINS, E.
(1981/A) A global instrinsic characterization of Brownian local time.
The Annals of Probability 9 , 800-817.
(1981/B) On the iterated logarithm law for local time. Proc. Amer.
Math. SOC.81, 470-472.
PERKINS, E. - TAYLOR, S. J.
(1987) Uniform measure results for the image of subsets under Brownian
motion. Probab. Th. Rel. Fields 76, 257-289.
370 REFERENCES
PETROV, V. V.
(1965) On the probabilities of large deviations for sums of independent
random variables. Th. of Probability and its Applications 10,287-298.
PETROWSKY, I. G.
(1935) Zur ersten Randwertaufgabe der Warmleitungsgleichung. Comp.
Math. B. 1, 383-419.
PITT, J. H.
(1974) Multiple points of transient random walk. Proc. Amer. Math.
SOC.43, 195-199.
POLYA, G.
(1921) Uber eine Aufgabe der Wahrscheinlichkeitsrechnung betreffend
die Irrfahrt im Strassennetz. Math. Ann. 84,149-160.
QUALLS, G. - WATANABE, H.
(1972) Asymptotic properties of Gaussian processes. Annals Math.
Statistics 43,580-596.
RENYI, A.
(1970/A) Foundations of Probability. Holden-Day, San Francisco.
(1970/B) Probability Theory. AkadCmiai Kiad6, Budapest and North-
Holland, Amsterdam.
REVESZ, P.
(1978) Strong theorems on coin tossing. PTOC. Int. Cong. of Mathe-
maticians, Helsinki.
(1979) A generalization of Strassen's functional law of iterated logarithm.
2. Wahrscheinlichkeitstheorie verw. Gebiete 50,257-264.
(1981) Local time and invariance. Lecture Notes in Math.: Analytical
Methods i n Probab. Th. 861,128-145.
(1982) On the increments of Wiener and related process. The Annals of
Probability 10,613-622.
(1988) In random environment the local time can be very big. SociCtL.
Mathkmatique de France, Aste'risque 157-158,321-339.
(1989) Simple symmetric random walk in Zd. Almost Everywhere Con-
vergence. Proceedings of the Int. Conf. on Almost Everywhere Conver-
gence (ed. G. A. Edgar, L. Sucheston) Academic Press, Boston. 369-392.
(1990/A) Estimates of the largest disc covered by a random walk. The
Annals of Probability 18,1784-1789.
(1990/B) On the volume of spheres covered by a random walk. A tribute
to Paul Erd6s (ed. A. Baker, B. Bollobb, A. Hajnal) Cambridge Univ.
Press. 341-347.
REFERENCES 371
(1991) Waiting for the coverage of the Strassen's set. Studia. Sci. Math.
Hung. 26, 379-391.
(1992) Black holes on the plane drawn by a Wiener process. Probability
Theory and Related Fields 93,21-37.
(1993/A) Clusters of a random walk on the plane. The Annals of Prob-
ability 21, 318-328.
(1993/B) Covering problems. Theory of Probability and its Applications
38,367-379.
(1993/C) A homogenity property of the 2
' random walk. Acta Sci.
Math. (Szeged) 57,477-484.
(1996) Balls left empty by a critical branching Wiener process. J. of
Applied Math. and Stochastic Analysis 9,531-549.
(2000) On the inverse local time process of a plane random walk. Peri-
odica Math. Hung. 41,227-236.
(2004) The maximum of the local time of a transient random walk.
Studia Sci. Math. Hung. 41, 379-390.
RGVESZ, P. - SHI, Z.
(2000) Strong approximation of spatial random walk in random scenery.
Stochastic Processes and their Applications 88,329-345.
ROSEN, J.
(1997) Laws of the iterated logarithm for triple intersections of three-
dimensional random walks. Electron. J. Probab. 2, 1-32.
SAMAROVA, S. S.
(1981) On the length of the longest head-run for a Markov chain with
two states. Th. of Probability and its Applications 26, 489-509.
SCHATTE, P.
(1988) On strong versions of the central limit theorem. Math. Nachr.
137,249-256.
SHAO, Q. M.
(1995) On a conjecture of R6vCsz. Proc. A m . Math. SOC.123,575-582.
SHI, Z. - TOTH, B.
(2000) Favourite sites of simple random walks. Periodica Math. Hung.
41, 237-249.
372 REFERENCES
SIMONS, G.
(1983) A discrete analogue and elementary derivation of “LCvy’s equiva-
lence” for Brownian motion. Statistics B Probability Letters 1, 203-206.
SINAi, JA. G.
(1982) Limit behaviour of one-dimensional random walks in random en-
vironment. Th. of Probability and its Applications 27,247-258.
SKOROHOD, A. V.
(1961) Studies in the Theory of Random Processes. Addison - Wesley,
Reading, Mass.
SOLOMON, F.
(1975) Random walks in random environment. The Annals of Probability
3, 1-31.
SPITZER, F.
(1958) Some theorems concerning 2-dimensional Brownian motion.
Ransuctions of the A m . Math. SOC.87, 187-197.
(1964) Principles of Random Walk. Van Nostrand, Princeton, N.J.
STRASSEN, V.
(1964) An invariance principle for the law of iterated logarithm. 2.
Wahrscheinhhkeitstheorae verw. Gebiete 3, 211-226.
(1966) A converse to the law of the iterated logarithm. 2. Wahrschein-
lichkeitstheorie uerw. Gebiete 4, 265-268.
SZABADOS, T.
(1989) A discrete It6 formula. Coll. Math. SOC. J. Bolyai: Limit The-
orems in Probability and Statistics (ed. I. Berkes, E. Csiiki, P. RBvCsz)
North-Holland 491-502.
SZEKELY, G. - TUSNADY, G.
(1979) Generalized Fibonacci numbers, and the number of “pure heads”.
Matematikai Lapok 27, 147-151. In Hungarian.
TOTH, B.
(1985) A lower bound for the critical probability of the square lattice
site percolation. Z. Wahrscheinlichkeitstheorie verw. Gebiete 69, 19-22.
(1995) The (‘true’’ self-avoiding walk with bond repulsion on Z: limit
theorems. The Annals of Probability 23, 1523-1556.
(1996/A) Multiple covering of the range of a random walk on Z (On
a question of P. Erdos and P. RCvCsz). Studia Sci. Math. Hung. 31,
355-359.
REFERENCES 373
(1996/B) Generalized Ray - Knight theory and limit theorems for self-
interacting random walks on Z'. The Annals of Probability 24,
1324-1367.
(1997) Limit theorems for weakly reinforced random walks on Z.Studia
Sci. Math. Hung. 33, 321-337.
(1999) Self-interacting random motions - A survey. Bolyai SOC. Math.
Studies 9. (ed: P. RBvBsz, B. T6th) 349-384.
(2001) No more than three favorite sites for simple random walk. The
Annals of Probability 29, 484-503.
TOTH, B. -WERNER, W.
(1997) Tied favourite edges for simple random walk. Combinatorics,
Probability and Computing 6, 359-396.
TROTTER, H. F.
(1958) A property of Brownian motion paths. Illinois J. of Math. 2,
425-433.
WEIGL, A.
(1989) Zwei Satze uber die Belegungszeit beam Random Walk. Diplomar-
beit, TU Wien.
WICHURA, M.
(1977) Unpublished manuscript.
ZIMMERMANN, G.
(1972) Some sample function properties of the two-parameter Gaussian
process. Ann. Math. Statistics 43, 123551246,
This page intentionally left blank
Author Index
Bktfai, P. 53, 77 Erd&, P. 17, 18, 34, 39, 53, 59, 62, 65,
Bass, R. F. 157, 222, 225 67, 77, 79, 121, 135-139, 157,
Benjamini, I. 60 158, 160, 180, 194, 209, 211,
Berkes, I. 32 213, 215, 219, 220, 221, 241,
Bickel, P. J. 180 242, 243, 245, 272, 278
Billingsley, P. 16
Bingham, N. H. 38 Feller, W. 19, 20, 34
Bolthausen, E. 92, 351 Fisher, A. 140
Book, S. A. 71 Flatto, L. 220
Borel, E. 28, 29 Foldes, A. 18, 21, 74, 81, 82, 107, 118-
Borodin, A. N. 107, 110, 351 123, 127, 134, 139, 155, 166,
Brosamler, G. A. 140, 141 167, 169, 172-175, 227, 236, 238
Burdzy, K. 279
Gnedenko, B. V. 19
Golosov, A. 0. 345, 346, 347
Chen, R. W. 62
Goncharov, V. L. 21
Chen, X. 243, 244
Goodman, V. 94
Chung, K. L. 72, 112, 118, 121, 135, 136
Gorn, N. L. 94
Coppersmith, N. 354
Griffin, P. 157, 199, 233
CsBki, E. 18, 41, 45, 71, 72, 74, 81, 82,
Grill, K. 18, 45, 68, 70, 71, 79, 92, 176,
88, 93, 94, 107, 112-115, 118-
178, 179
123, 125, 127, 137-139, 152,
Guibas, L. J. 59, 62
159, 166, 167, 169, 172-176,
179, 227, 236, 238, 281, 2 hSHHDYTP,.
285, 351 hSMANA, y. 220, 225, 235
cSORGO, m. 66, 73, 110., 119, 120HANSON,
126 d. l. 72, 1911
141, 163, 164, 166, 167, 185,hART,AM. p. 53
H17, 318 hOVATH, l. 110, 317, 318
Hough, J. B. 245
Darling, D. A. 180 Hu, Y. 328, 334
Davis, B. 354 Hunt, G. A. 112, 118
De Acosta, A. 93
Deheuvels, P. 18, 64, 75, 79, 80, 326, Imhof, 1. p. 175
327 ItB, K. 141, 183
Dembo, A. 219, 240, 246, 263, 277
Devroye, L. 80 Jain, N. C. 222, 225
Diaconis, P. 354
Dobrushin, R. L. 129, 130 Kakutani, S. 242
375
376 AUTHOR INDEX
379
380 SUBJECT I N D E X