18.445 Introduction To Stochastic Processes
18.445 Introduction To Stochastic Processes
18.445 Introduction To Stochastic Processes
Hao Wu
MIT
23 February 2015
Recall
If (Xn )n is an irreducible Markov chain with stationary distribution π,
then
n
1n
lim 1[Xj =x] = π(x), Pµ − a.s.
n→∞ n
j=0
Lemma
1X
||µ − ν||TV = |µ(x) − ν(x)|.
2
x∈Ω
1
||µ − ν||TV = sup{µf − νf : f satisfying max |f (x)| ≤ 1}.
2 x∈Ω
Definition
We call (X , Y ) the optimal coupling if P[X 6= Y ] = ||µ − ν||TV .
Hao Wu (MIT) 18.445 23 February 2015 3/9
The Convergence Theorem
Theorem
Suppose that P is irreducible, aperiodic, with stationary distribution π.
Then there exist constants α ∈ (0, 1) and C > 0 such that
Lemma
d(n) ≤ d̄(n) ≤ 2d(n)
Lemma
d̄(m + n) ≤ d̄(m) · d̄(n)
Corollary
d̄(mn) ≤ d̄(n)m
Hao Wu (MIT) 18.445 23 February 2015 5/9
Mixing time
Definition
tmix = min{n : d(n) ≤ 1/4}, tmix () = min{n : d(n) ≤ }
Lemma
1 tmix
tmix () ≤ log( )
log 2
Questions : How long does it take the Markov chain to be close to the
stationary measure ?
Lecture 5 : Upper bounds on tmix ; Lecture 6 : Lower bounds on tmix ;
Lecture 7 : Interesting models.
Definition
A coupling of two Markov chains with transition matrix P is a process
(Xn , Yn )n≥0 with the following two properties.
Both (Xn ) and (Yn ) are Markov chains with transition matrix P.
They stay together after their first meet.
Notation : If (Xn )n≥0 and (Yn )n≥0 are coupled Markov chains with
X0 = x, Y0 = y , then we denote by Px,y the law of (Xn , Yn )n≥0 .
Theorem
Suppose that P is irreducible with stationary distribution π. Let
(Xn , Yn )n≥0 be a coupling of Markov chains with transition matrix P for
which X0 = x, Y0 = y . Define τ to be their first meet time :
τ = min{n ≥ 0 : Xn = Yn }.
Then
||P n (x, ·) − P n (y , ·)||TV ≤ Px,y [τ > n].
In particular,
d(n) ≤ max Px,y [τ > n].
x,y
Theorem
For the lazy walk on N−cycle, we have
tmix ≤ N 2 .
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.