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.