13.13 This seems like a fun problem. I think it is related to the “move-to-front” chain which is the reversal of the top-to-random shuffle we will study soon.
13.14 Fun return time problem for a knight on a chess board.
Use the strong Markov property to show that .
Suppose is irreducible, $f$ is harmonic on $F$ and $f(x) \to \infty$ as $x \to \infty$; i.e., ${x \colon f(x) \leq M }$ is finite for any $M < \infty$. Then the chain is recurrent.
Consider a telephone system with an infinite number of lines (a telephone is like an iPhone without a screen). This is called the queue. Let be the number of phone lines in use at time and suppose
where are iid with and and is an independent iid sequence of Poisson mean rvs. In words, for each conversation we flip a coin with probability of heads to see if it continues for another minute. Meanwhile, a Poisson mean number of conversations start between time and . Show that the chain is recurrent for .
Let . Show that .
For the , compute the distribution at time when and use the result to find the stationary distribution.
13.10 The Doob h-transform. Please pick this one to do in class!
13.11 This is a process related to the running maximum of an increasing process, it is surprising that it is an irreducible Markov chain.
13.12 This is a hitting location problem for a simple random walk. It results in a cute formula for the location of the random walk at the hitting time.
13.8 For a random walk starting at $0 \in \mathbb{Z}$, find the expected number of visits to a site $k \neq 0$ before the first return to $1$.
13.9 Kolmogorov criterion for reversibility. Show that a reversible measure exists iff
Take a random walk on $\Z$ with iid $0$-mean increments. Show that all states are recurrent. Also show that the simple random walk in $d \geq 3$ is transient.
13.6 Birth and Death Process.
13.7 $Q$ is a markov chain on $0,1,2,\ldots,N$ defined using $\Binomial(N,i/N)$. Classify its states, and determine the law of $X_\infty$.
13.8 Show that the expected number of visits of the SRW on $\Z$ to $k \neq 0$ before the first return to $0$ is $1$.
13.1 Image of a Markov chain (under a consistency condition) is a Markov chain.
13.2 Use 13.2 to show the random walk on the binary tree is transient.
13.5 Find the probability of extinction of the Galton-Watson process. Fun problem.
Consider the paths of the nearest-neighbor simple random walk on $\mathbb{Z}$. Show that the number of paths that go from $(0,0)$ to $(n,x)$ is $\binom{n}{(n+x)/2}$.
Show that if $x,y > 0$ then the number of paths from $(0,x)$ to $(n,y)$ that are 0 at some time is equal to the number of paths from $(0,-x)$ to $(n,y)$. Conclude that number of paths from $(1,1)$ to $(n,x)$ that hit $0$ at some time is the same as the number of paths $(1,-1$ to $(n,x)$.
Consider an election in which candidate gets votes and gets votes. Let with uniform probability and interpret 1s and -1s as votes for and . Thus denotes the lead that has over by the time vote is counted. Suppose that receives votes and receives . Let . Consider the event
Show that .
Suppose . Show that .
Let be iid nonnegative integer valued rvs. Let and consider the event
Then, consider the backward martingale , and let . If the set the infimum is taken over is empty, then set . Show, using the stopping theorem that
Relate this result to the previous problem.
Hint: See Durrett, example 4.7.5 version 5a
Show the existence of regular conditional probabilities by reading Chapter 6 of Kallenberg (2002).
Le Gall 12.11. This is Rademacher’s theorem
Le Gall 12.14. Another proof of the strong law
Le Gall 12.15 Law of the Iterated Logarithm
Le Gall 12.12. Consider a sequence of with the special property
Show that it is a martingale, and compute its limit
Le Gall 12.13. Polya’s Urn redux.
Le Gall 12.16. Kakutani’s theorem about products of positive random variables.
Le Gall 12.17. Let be a sequence of independent Bernoulli random variables with . Let be any sequence of positive numbers. Let
Prove that converges if is in .
We will continue working through Le Gall’s exercises, all of which are tastefully chosen. We have also found our first typo in Le Gall in Homework 3!
Polya’s Urn. An urn contains red and green balls. At each turn, we take a ball out uniformly at random. Then, we replace it and add more balls of the same color. Let be the fraction of green balls.
Prove that Doob’s maximal inequalities imply Kolmogorov’s inequalities.
Le Gall 12.2 Prove that and so on.
Le Gall 12.3 Suppose . Then and .
Le Gall 12.4 Let be a simple random walk and satisfy
Show that is a martingale (among other things).
Le Gall 12.5 Prove that an adapted process is a martingale iff for every bounded stopping time .
Le Gall 12.6 A preview of uniform integrability. Let be a martingale, and let be a stopping time such that
Prove that . Conclude that .
A (discrete) semimartingale is any process that can be written as where is a martingale, and is a bounded variation process; i.e., $Z_n = U_n - V_n$ where $U_n,V_n$ are adapted processes that are increasing in $n$. Prove that any semimartingale can be written as a difference of a submartingale and a supermartingale.
Suppose are stopping times. Show that
a.
b.
are stopping times.
Let be a stopping time. Let be a martingale. Prove that is integrable and
in each of the following situations.
a. $T$ is bounded almost surely (proved in class)
b. $X$ is bounded and $T$ is $\almostsurely$ finite
c. and for some ,
Let $X$ be a supermartingale and $T$ be stopping time. Let $C^T$ be the process defined by
a. Show that $C^T_n$ is previsible. Let
b. Show that $Y = X_{T \land n}$ and that it is a supermartingale. Use this to show that
Let $X$ be a submartingale, and for $\lambda \in \R$, let
a. Show that $T$ is a stopping time.
b. Show that
Prove the following basic properites of conditional expectation. We are working on a space .
Let be a collection of iid random variables. If is a tail-measurable function, show that is a constant.
a. If is a random variable with continuous distribution and is such that , show that
b. (From textbook) Let be an absolutely continuous random varaible with piecewise-continuous density . Prove that for every non-negative measurable ,
Even though for all , use the preceding to justify the classical definition,
a. If is a martingale and is convex, then is a submartingale if for all . b. If is a submartingale, then is a submartingale if is nondecreasing in addition to convex and integrable.
Suppose is a submartingale bounded in . Show that