Chapter 9

Discrete Markov Chains

[85/78%]
Show
LaTeX
Problem 9.1

Prove that for any stochastic matrix PP there exists a probability space and a sequence of random variables on it forming a Markov chain with matrix of one-step transition probabilities PP.

?
Problem 9.2

Can every stochastic matrix be the matrix of two-step transition probabilities of some Markov chain?

?
Problem 9.3

It is known that a Markov chain is completely determined by its initial distribution and its matrix of one-step transition probabilities. Is a Markov chain determined by its initial distribution and its matrix of two-step transition probabilities?

?
Problem 9.4

Prove that a second-order stochastic matrix is the matrix of two-step transition probabilities of some Markov chain if and only if the sum of its diagonal entries is greater than or equal to one.

?
Problem 9.5

Determine for which values of cc and dd the Markov chain is uniquely determined by its initial distribution and its matrix of two-step transition probabilities:

P′2=[c1−c1−dd]. P^{\prime 2} =\left[\begin{smallmatrix} c & 1-c \\ 1-d & d \end{smallmatrix}\right] .
?
Problem 9.6

Prove that for a Markov chain ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots, for any 0⩽k⩽n−10 \leqslant k \leqslant n-1:

?
(a)

P(ξn=in∣ξn−1=in−1,…,ξk=ik)=P(ξn=in∣ξn−1=in−1)\mathbb {P}\left( \xi_{n} = i_{n} \mid \xi_{n-1} = i_{n-1}, \ldots , \xi_{k} = i_{k} \right) = \mathbb {P}\left( \xi_{n} = i_{n} \mid \xi_{n-1} = i_{n-1} \right);

(b)

P(ξn=in,…,ξk+1=ik+1∣ξk=ik,…,ξ0=i0)=\mathbb {P}\left( \xi_{n} = i_{n}, \ldots , \xi_{k+1} = i_{k+1} \mid \xi_{k} = i_{k}, \ldots , \xi_{0} = i_{0} \right) =

=P(ξn=in,…,ξk+1=ik+1∣ξk=ik); = \mathbb {P}\left( \xi _{n} = i_{n}, \ldots , \xi _{k+1} = i_{k+1} \mid \xi _{k} = i_{k} \right) ;
(c)

P(ξn=in∣ξk=ik,…,ξ0=i0)=P(ξn=in∣ξk=ik)\mathbb {P}\left( \xi_{n} = i_{n} \mid \xi_{k} = i_{k}, \ldots , \xi_{0} = i_{0} \right) = \mathbb {P}\left( \xi_{n} = i_{n} \mid \xi_{k} = i_{k} \right).

Problem 9.7

Let AA be an event depending only on the states of the Markov chain at the first n−1n-1 steps, and let BB be an event depending on the states at steps (n+1),…,(n+m)(n+1), \ldots , (n+m). Prove that, conditional on the state at step nn being fixed, the events AA and BB are independent.

?
Problem 9.8

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a Markov chain. Prove that for any 0⩽ni⩽n0 \leqslant n_{i} \leqslant n

P(ξn+1=in+1∣ξn1=in1,…,ξnk=ink)=P(ξn+1=in+1∣ξns=ins), \mathbb {P}\left( \xi _{n+1} = i_{n+1} \mid \xi _{n_{1}} = i_{n_{1}}, \ldots , \xi _{n_{k}} = i_{n_{k}} \right) = \mathbb {P}\left( \xi _{n+1} = i_{n+1} \mid \xi _{n_{s}} = i_{n_{s}} \right),

where ns=max⁡{ni}n_{s} = \max \left\{ n_{i}\right\}.

?
Problem 9.9

Let the random variable τ\tau be independent of the homogeneous Markov chain ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots and take nonnegative integer values. Prove that for any n⩾1n \geqslant 1 and any i0,…,in+1i_{0}, \ldots , i_{n+1}

P(ξτ+n+1=in+1∣ξτ+n=in,…,ξτ=i0)=P(ξτ+n+1=in+1∣ξτ+n=in); \mathbb {P}\left( \xi _{\tau +n+1} = i_{n+1} \mid \xi _{\tau +n} = i_{n}, \ldots , \xi _{\tau } = i_{0} \right) = \mathbb {P}\left( \xi _{\tau +n+1} = i_{n+1} \mid \xi _{\tau +n} = i_{n} \right) ;

Do these equalities still hold if the Markov chain ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots is inhomogeneous?

?
Problem 9.10

Let τ1,τ2,…\tau_{1}, \tau_{2}, \ldots be a sequence of independent, positive, integer-valued random variables, independent of the Markov chain ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots Prove that

P(ξτ1+…+τn=in∣ξτ1+…+τn−1=in−1,…,ξτ1=i1)==P(ξτ1+…+τn=in∣ξτ1+…+τn−1=in−1). \begin{aligned} \mathbb {P}\left( \xi _{\tau _{1}+\ldots +\tau _{n}} = i_{n} \mid \xi _{\tau _{1}+\ldots +\tau _{n-1}} = i_{n-1}, \ldots , \xi _{\tau _{1}} = i_{1} \right) & = \\ & = \mathbb {P}\left( \xi _{\tau _{1}+\ldots +\tau _{n}} = i_{n} \mid \xi _{\tau _{1}+\ldots +\tau _{n-1}} = i_{n-1} \right) . \end{aligned}
?
Problem 9.11

A Markov chain has matrix of one-step transition probabilities

P(1)=[1−aab1−b]. P^{(1)} =\left[\begin{smallmatrix} 1-a & a \\ b & 1-b \end{smallmatrix}\right] .

Find the matrix of nn-step transition probabilities and its limit as n→∞n \rightarrow \infty.

?
Problem 9.12

Let, in the matrix of one-step transition probabilities of a Markov chain with three states,

Pij={P1,i−j+1,i⩾j,P1,j−i+1,j>i. P_{i j} = \begin{cases} P_{1, i-j+1}, & i \geqslant j, \\ P_{1, j-i+1}, & j > i . \end{cases}

Find the matrix of nn-step transition probabilities and its limit as n→∞n \rightarrow \infty.

?
Problem 9.13

In the matrix of one-step transition probabilities PP,

Pij={P1,j−i+1,j⩾i,Pi−j+1,1,j<i. P_{i j} = \begin{cases} P_{1, j-i+1}, & j \geqslant i, \\ P_{i-j+1,1}, & j < i . \end{cases}

Prove that analogous relations hold for the mm-step transition probabilities.

?
Problem 9.14

Let Pij(n)P_{i j}^{(n)} be the probability of an nn-step transition from state ii to state jj of some Markov chain,

αj(n)=min⁡iPij(n),βj(n)=max⁡iPij(n). \alpha _{j}(n) = \min _{i} P_{i j}^{(n)}, \quad \beta _{j}(n) = \max _{i} P_{i j}^{(n)} .

Prove that

αj(1)⩽αj(2)⩽…⩽αj(n)⩽…⩽βj(n)⩽…⩽βj(2)⩽βj.(1) \alpha _{j}(1) \leqslant \alpha _{j}(2) \leqslant \ldots \leqslant \alpha _{j}(n) \leqslant \ldots \leqslant \beta _{j}(n) \leqslant \ldots \leqslant \beta _{j}(2) \leqslant \beta _{j} . \tag {1}
?
Problem 9.15

Let the sequence of random variables ξ0,ξi,…\xi_{0}, \xi_{i}, \ldots form a Markov chain. Prove that any subsequence of the sequence ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots also forms a Markov chain.

?
Problem 9.16

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of independent identically distributed integer-valued random variables. Prove that it forms a Markov chain. Find the matrix of nn-step transition probabilities.

?
Problem 9.17

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of random variables forming a homogeneous Markov chain. Prove that for the random variables ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots to be independent, it is necessary and sufficient that all rows of the matrix of one-step transition probabilities be identical.

?
Problem 9.18

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of pairwise independent (not necessarily mutually independent) random variables. Do ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots form a Markov chain?

?
Problem 9.19

Points A1,…,AnA_{1}, \ldots , A_{n} are the vertices of a regular nn-gon. A particle performs a random walk on the points A1,…,AnA_{1}, \ldots , A_{n}. Determine whether the sequence of positions of the particle is a Markov chain if

?
(a)

the particle moves deterministically clockwise;

(b)

at the initial moment the particle randomly chooses a direction, clockwise or counterclockwise, and thereafter always moves in the chosen direction;

(c)

from any point Ai,i≠1A_{i}, i \neq 1, the particle moves with probability pp clockwise, and with probability q=1−pq = 1-p counterclockwise, to the neighboring point. Upon reaching point A1A_{1}, the particle returns to the point from which it arrived at A1A_{1}.

Problem 9.20

A particle performs a random walk in the plane on integer points (i,j)(i, j) such that 0⩽i,j⩽n0 \leqslant i, j \leqslant n. From any interior point of the given square, the particle, independently of its previous motion, moves with equal probabilities to one of the neighboring (vertically or horizontally adjacent) points. Upon reaching the boundary of the square, the particle then:

?
(a)

moves along the boundary of the square deterministically, clockwise;

(b)

returns to the point from which it reached the boundary;

(c)

randomly chooses a direction along the boundary and moves along the boundary in the chosen direction.

For each of the indicated cases, determine whether the sequence of positions occupied by the particle is a Markov chain.

Problem 9.21

Under the conditions of the previous problem, the particle from each interior point can move with equal probability to one of the neighboring points (horizontally, vertically, or diagonally). Is the sequence of positions of the particle a Markov chain for each of the three motion conditions upon reaching the boundary indicated in the previous problem?

?
(a)
(b)
(c)
Problem 9.22

At the initial moment of time an urn contains n0n_{0} white and m0m_{0} black balls. Every unit of time, one ball is drawn from the urn according to sampling without replacement. Let nkn_{k} be the number of white balls and mkm_{k} the number of black balls in the urn at time kk. Which of the following sequences form a Markov chain and which do not:

?
(a)

nkn_{k},

(b)

nk−mkn_{k}-m_{k},

(c)

nk+mkn_{k}+m_{k},

(d)

the pair (nk,mkn_{k}, m_{k}),

(e)

nk−mk+1/(nk+mk+2)n_{k}-m_{k} + 1 /\left(n_{k}+m_{k}+2\right)?

Problem 9.23

Let the random variables ξ0,…,ξn\xi_{0}, \ldots , \xi_{n} form a Markov chain. Prove that the random variables η0,…,ηn\eta_{0}, \ldots , \eta_{n}, where ηi=ξn−i\eta_{i} = \xi_{n-i}, also form a Markov chain. Do the random variables ζ0,…,ζn\zeta_{0}, \ldots , \zeta_{n}, where ζ0,…,ζn\zeta_{0}, \ldots , \zeta_{n} is an arbitrary permutation of ξ0,…,ξn\xi_{0}, \ldots , \xi_{n}, form a Markov chain?

?
Problem 9.24

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of independent random variables. Does the sequence ξ0+ξ1\xi_{0}+\xi_{1}, ξ1+ξ2,ξ2+ξ3,…\xi_{1}+\xi_{2}, \xi_{2}+\xi_{3}, \ldots form a Markov chain?

?
Problem 9.25

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of random variables forming a Markov chain. Is the sequence ξ0+ξ1,ξ2+ξ3,ξ4+ξ5,…\xi_{0}+\xi_{1}, \xi_{2}+\xi_{3}, \xi_{4}+\xi_{5}, \ldots a Markov chain?

?
Problem 9.26

A Markov chain with a finite number of states is given. Let ξi\xi_{i} be the state of the chain at step ii. Is the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots, where

ηi={1, if ξi=x1,0, if ξi≠x1. \eta _{i} = \begin{cases} 1, & \text{ if } \xi _{i} = x_{1}, \\ 0, & \text{ if } \xi _{i} \neq x_{1} . \end{cases}

a Markov chain?

?
Problem 9.27

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of independent identically distributed random variables taking values −1-1 and +1+1 with probabilities pp and q=1−pq = 1-p respectively. Set:

?
(a)

ηn=ξnξn+1\eta_{n} = \xi_{n} \xi_{n+1};

(b)

ηn=max⁡0⩽i⩽nξi\eta_{n} = \max_{0 \leqslant i \leqslant n} \xi_{i};

(c)

ηn=∏i=0nξi\eta_{n} = \prod_{i = 0}^{n} \xi_{i}.

Is the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots a Markov chain?

Problem 9.28

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of independent integer-valued random variables, with

P(ξn=k)=pk,k=0,±1,±2,… \mathbb {P}\left(\xi _{n} = k\right) = p_{k}, \quad k = 0, \pm 1, \pm 2, \ldots

Set ηn=ξ0+…+ξn\eta_{n} = \xi_{0}+\ldots +\xi_{n}. Prove that the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots forms a Markov chain. Find the corresponding matrix of one-step transition probabilities.

?
Problem 9.29

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots and η0,η1,…\eta_{0}, \eta_{1}, \ldots be two Markov chains. Is the sequence ξ0+η0,ξ1+η1,…\xi_{0}+\eta_{0}, \xi_{1}+\eta_{1}, \ldots a Markov chain?

?
Problem 9.30

Let (ξ1(i),…,ξn(i)),i⩾1\left(\xi_{1}^{(i)}, \ldots , \xi_{n}^{(i)}\right), \quad i \geqslant 1, be a sequence of independent identically distributed random vectors, and let ξ0\xi_{0} be a random variable independent of {(ξ1(i),…,ξn(i))},i=1,2,…\left\{ \left(\xi_{1}^{(i)}, \ldots , \xi_{n}^{(i)}\right)\right\} , i = 1,2, \ldots. Let ξ0\xi_{0} and ξj(i)\xi_{j}^{(i)} take values 1,…,n1, \ldots , n. Construct a sequence of random variables η0,η1,…\eta_{0}, \eta_{1}, \ldots as follows:

η0=ξ0,ηi=ξηi−1(i),i⩾1. \eta _{0} = \xi _{0}, \quad \eta _{i} = \xi _{\eta _{i-1}}^{(i)}, \quad i \geqslant 1.

Prove that the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots forms a Markov chain.

?
Problem 9.31

For the Markov chain defined in the previous problem, find the number of states, the matrix of one-step transition probabilities, and the vector of initial probabilities, if

P(ξi(1)=j)=pij,i=0,1,…,n;j=1,2,…,n. \mathbb {P}\left(\xi _{i}^{(1)} = j\right) = p_{i j}, \quad i = 0,1, \ldots , n ; \quad j = 1,2, \ldots , n .
?
Problem 9.32

Prove that any Markov chain with a finite number of states can be represented as a sequence of random variables η0,η1,…\eta_{0}, \eta_{1}, \ldots, as defined in problem 9.30.

?
Problem 9.33

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be independent random variables with a discrete distribution, and let f0,f1,…f_{0}, f_{1}, \ldots be some functions. Prove that the sequence of random variables η1,η2,…\eta_{1}, \eta_{2}, \ldots, where ηk+1=fk(ηk,ξk+1)\eta_{k+1} = f_{k}\left(\eta_{k}, \xi_{k+1}\right), forms a Markov chain.

?
Problem 9.34

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of random variables forming a Markov chain, and let f(x)f(x) be some function. Is the sequence f(ξ0),f(ξ1),…f\left(\xi_{0}\right), f\left(\xi_{1}\right), \ldots a Markov chain?

?
Problem 9.35

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a Markov chain with countable state space {1,2,…}\left\{ 1,2, \ldots \right\} and matrix of one-step transition probabilities PP, where the states 1,2,…,N1,2, \ldots , N are recurrent. Set

v0=min⁡(i:ξi⩽N),vn=min⁡(i>vn−1:ξi⩽N),n⩾1,ηj=ξvj. \begin{gathered} v_{0} = \min \left(i: \xi _{i} \leqslant N\right), \quad v_{n} = \min \left(i > v_{n-1}: \xi _{i} \leqslant N\right), \quad n \geqslant 1, \\ \eta _{j} = \xi _{v_{j}} . \end{gathered}

Prove that the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots forms a Markov chain. Find the matrix of one-step transition probabilities.

?
Problem 9.36

For every Markov chain ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots with countable state space {1,2,…}\left\{ 1,2, \ldots \right\}, can one choose a sequence of random variables ζ0,ζ1,…\zeta_{0}, \zeta_{1}, \ldots, mutually independent and independent of ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots, with values in the set {1,2,…,N}\left\{ 1,2, \ldots , N\right\}, such that the sequence η0,η1,…\eta_{0}, \eta_{1}, \ldots, where

ηi=I(ξi⩽N)ξi+I(ξi>N)ζi, \eta _{i} = I\left(\xi _{i} \leqslant N\right) \xi _{i}+I\left(\xi _{i} > N\right) \zeta _{i},

is a Markov chain?

?
Problem 9.37

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a sequence of digits, in which the digits appear randomly, independently of one another, and with equal probability. There is a counter which at time nn shows how many distinct digits have occurred among the first nn digits of the sequence ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots Prove that the counter's readings form a Markov chain. Find the matrix of one-step transition probabilities. Indicate the essential and inessential states.

?
Problem 9.38

A particle performs a random walk on the line over the integer points 0,1,…,n0,1, \ldots , n. From any interior point the particle moves with probability pp one step to the right or, with probability q=1−pq = 1-p, one step to the left. Upon reaching points 0 and nn the particle remains there forever (absorbing barriers). Find the matrix of one-step transition probabilities. Indicate the essential and inessential states.

?
Problem 9.39

A particle performs a random walk on the line over the integer points 0,1,…,n0,1, \ldots , n. From any interior point the particle moves with probability pp one step to the right or, with probability q=1−pq = 1-p, one step to the left. Upon reaching points 0 and nn, the particle at the next moment of time moves with probability 1 to points 1 or n−1n-1 respectively (reflecting barriers). Find the matrix of one-step transition probabilities. Indicate the essential and inessential states.

?
Problem 9.40

Indicate the essential and inessential states of the Markov chain with matrix of one-step transition probabilities

P=[1/41/4001/21/301/31/301/20001/20001/21/200010]. P =\left[\begin{smallmatrix} 1 / 4 & 1 / 4 & 0 & 0 & 1 / 2 \\ 1 / 3 & 0 & 1 / 3 & 1 / 3 & 0 \\ 1 / 2 & 0 & 0 & 0 & 1 / 2 \\ 0 & 0 & 0 & 1 / 2 & 1 / 2 \\ 0 & 0 & 0 & 1 & 0 \end{smallmatrix}\right] .
?
Problem 9.41

Can all states of a Markov chain with a finite number of states be inessential?

?
Problem 9.42

Can all states of a Markov chain with a countable number of states be inessential?

?
Problem 9.43

The matrix of one-step transition probabilities of a Markov chain has the form

P=[1/41/41/41/401/21/2001/21/201000]. P =\left[\begin{smallmatrix} 1 / 4 & 1 / 4 & 1 / 4 & 1 / 4 \\ 0 & 1 / 2 & 1 / 2 & 0 \\ 0 & 1 / 2 & 1 / 2 & 0 \\ 1 & 0 & 0 & 0 \end{smallmatrix}\right] .

Indicate all pairs of communicating states.

?
Problem 9.44

A Markov chain has rr states. Prove that:

?
(a)

if the jj-th state is accessible from the ii-th (i≠ji \neq j), then it can be reached in fewer than rr steps;

(b)

if the probability of returning to state ii is positive, then the return can occur in rr or fewer steps.

Problem 9.45

Is the Markov chain with matrix of one-step transition probabilities PP periodic, if

?
(a)

P=(0100001000011000)P = \left(\begin{array}{llll}0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0\end{array}\right),

(b)

P=(01/201/2000010000001/201/2000010000001100000)P = \left(\begin{array}{cccccc}0 & 1 / 2 & 0 & 1 / 2 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 / 2 & 0 & 1 / 2 \\ 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 & 0\end{array}\right),

(c)

P=(1/21/20001/21/20001/21/21/2001/2)P = \left(\begin{array}{cccc}1 / 2 & 1 / 2 & 0 & 0 \\ 0 & 1 / 2 & 1 / 2 & 0 \\ 0 & 0 & 1 / 2 & 1 / 2 \\ 1 / 2 & 0 & 0 & 1 / 2\end{array}\right).

For periodic chains, indicate the period.

Problem 9.46
?
(a)

Prove that an irreducible chain, in whose matrix of transition probabilities at least one diagonal entry PjjP_{j j} is positive, cannot be periodic.

(b)

Can an irreducible chain in which all diagonal entries equal zero be aperiodic?

Problem 9.47

Prove that a finite irreducible Markov chain is aperiodic if and only if there exists nn such that Pij(n)>0P_{i j}^{(n)} > 0 for all ii and jj.

?
Problem 9.48

Indicate the recurrent and transient states of the Markov chain with matrix of one-step transition probabilities

P=[01/21/2000001/21/2000001/21/2000001/21/21/200001/2000001]. P =\left[\begin{smallmatrix} 0 & 1 / 2 & 1 / 2 & 0 & 0 & 0 \\ 0 & 0 & 1 / 2 & 1 / 2 & 0 & 0 \\ 0 & 0 & 0 & 1 / 2 & 1 / 2 & 0 \\ 0 & 0 & 0 & 0 & 1 / 2 & 1 / 2 \\ 1 / 2 & 0 & 0 & 0 & 0 & 1 / 2 \\ 0 & 0 & 0 & 0 & 0 & 1 \end{smallmatrix}\right] .
?
Problem 9.49

Prove that all states of the Markov chain with matrix of transition probabilities PP are recurrent, if

?
(a)

P=(1001)P = \left(\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right);

(b)

P=(1/201/2001/201/21/201/2001/201/2)P = \left(\begin{array}{cccc}1 / 2 & 0 & 1 / 2 & 0 \\ 0 & 1 / 2 & 0 & 1 / 2 \\ 1 / 2 & 0 & 1 / 2 & 0 \\ 0 & 1 / 2 & 0 & 1 / 2\end{array}\right);

(c)

P=(1/21/2001/21/200001/21/2001/21/2)P = \left(\begin{array}{cccc}1 / 2 & 1 / 2 & 0 & 0 \\ 1 / 2 & 1 / 2 & 0 & 0 \\ 0 & 0 & 1 / 2 & 1 / 2 \\ 0 & 0 & 1 / 2 & 1 / 2\end{array}\right);

(d)

P=(1/n01/n0……01/n01/n……1/n01/n0………………….)P = \left(\begin{array}{cccccc}1 / n & 0 & 1 / n & 0 & \ldots & \ldots \\ 0 & 1 / n & 0 & 1 / n & \ldots & \ldots \\ 1 / n & 0 & 1 / n & 0 & \ldots & \ldots \\ \ldots & \ldots & \ldots & \ldots & \ldots & .\end{array}\right).

Problem 9.50

Prove that if the jj-th state is transient, then for all ii, ∑n=1∞Pij(n)<∞\sum_{n = 1}^{\infty } P_{i j}^{(n)} < \infty.

?
Problem 9.51

Prove that any Markov chain with a finite number of states has at least one recurrent state.

?
Problem 9.52

Can all states of a Markov chain with a countable number of states be transient?

?
Problem 9.53

Prove that for a finite Markov chain a state is recurrent if and only if it is essential. Show that this is false for chains with a countable number of states.

?
Problem 9.54

There is a Markov chain with a countable number of states and matrix of one-step transition probabilities

P=[p11−p1000……p201−p200……p3001−p30……………………] P =\left[\begin{smallmatrix} p_{1} & 1-p_{1} & 0 & 0 & 0 & \ldots & \ldots \\ p_{2} & 0 & 1-p_{2} & 0 & 0 & \ldots & \ldots \\ p_{3} & 0 & 0 & 1-p_{3} & 0 & \ldots & \ldots \\ & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \end{smallmatrix}\right]

Prove that if the series ∑i=1∞pi\sum_{i = 1}^{\infty } p_{i} converges, then all states of this chain are recurrent; otherwise they are transient.

?
Problem 9.55

Let all states of the Markov chains with matrices of one-step transition probabilities AA and BB be recurrent. Prove that all states of the Markov chain with matrix of transition probabilities are recurrent:

?
(a)

(A00B)\left(\begin{array}{ll}A & 0 \\ 0 & B\end{array}\right);

(b)

(0AB0)\left(\begin{array}{cc}0 & A \\ B & 0\end{array}\right).

Problem 9.56

Prove that for any state ii of a Markov chain, the probability QiiQ_{ii} of returning to it infinitely many times equals 0 or 1, and in the first case the state is transient, while in the second it is recurrent.

?
Problem 9.57

Let a Markov chain have m<∞m < \infty states, and let the kk-th state be recurrent. Prove that there exists a positive number q<1q < 1 such that for n⩾mn \geqslant m the probability that the return time to the kk-th state exceeds nn is less than qnq^{n}.

?
Problem 9.58

Prove that for an irreducible chain with a countable number of states to be transient, it is necessary and sufficient that the system of equations

ui=∑j=0∞ujPij,i=1,2,… u_{i} = \sum _{j = 0}^{\infty } u_{j} P_{i j}, \quad i = 1,2, \ldots

have a bounded solution such that ui≢u_{i} \not\equiv const, i=0,1,…i = 0,1, \ldots

?
Problem 9.59

Prove that for an irreducible chain with a countable number of states to be recurrent, it suffices that there exist a sequence u0,u1,…u_{0}, u_{1}, \ldots such that ui→∞u_{i} \rightarrow \infty as i→∞i \rightarrow \infty and for all i≠0i \neq 0

ui⩾∑j=0∞ujPij u_{i} \geqslant \sum _{j = 0}^{\infty } u_{j} P_{i j}
?
Problem 9.60

Prove that for an irreducible chain with a countable number of states to be positive recurrent, it is necessary and sufficient that the system of equations

uj=∑i=0∞uiPij,j=0,1,… u_{j} = \sum _{i = 0}^{\infty } u_{i} P_{i j}, \quad j = 0,1, \ldots

have a solution, not identically zero, for which

∑i=0∞∣ui∣<∞. \sum _{i = 0}^{\infty }\left|u_{i}\right| < \infty .
?
Problem 9.61

There is a Markov chain with a countable number of states and transition probabilities P00=r0,P01=p0>0P_{00} = r_{0}, P_{01} = p_{0} > 0,

Pij={pi>0,j=i+1ri⩾0,j=iqi>0,j=i−10, otherwise.  P_{i j} = \begin{cases} p_{i} > 0, & j = i+1 \\ r_{i} \geqslant 0, & j = i \\ q_{i} > 0, & j = i-1 \\ 0, & \text{ otherwise. } \end{cases}

Let

ρ0=1,ρm=q1⋯qmp1⋯pm \rho _{0} = 1, \quad \rho _{m} = \frac{q_{1} \cdots q_{m}}{p_{1} \cdots p_{m}}

Prove the validity of the following statements:

?
(a)

the chain is recurrent if and only if

∑m=0∞ρm=∞; \sum _{m = 0}^{\infty } \rho _{m} = \infty ;
(b)

the chain is transient if and only if

∑m=0∞ρm<∞; \sum _{m = 0}^{\infty } \rho _{m} < \infty ;
(c)

the chain is positive recurrent if and only if

∑m=0∞ρm=∞,∑m=0∞[pmρm]−1<∞; \sum _{m = 0}^{\infty } \rho _{m} = \infty , \quad \sum _{m = 0}^{\infty }\left[p_{m} \rho _{m}\right]^{-1} < \infty ;
(d)

the chain is null recurrent if and only if

∑m=0∞ρm=∞,∑m=0∞[pmρm]−1=∞. \sum _{m = 0}^{\infty } \rho _{m} = \infty , \quad \sum _{m = 0}^{\infty }\left[p_{m} \rho _{m}\right]^{-1} = \infty .
Problem 9.62

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be a Markov chain,

ξk+1=max⁡{0,ξk−1}+ηk+1,k⩾0, \xi _{k+1} = \max \left\{ 0, \xi _{k}-1\right\} +\eta _{k+1}, \quad k \geqslant 0,

where η1,η2,…\eta_{1}, \eta_{2}, \ldots is a sequence of independent identically distributed random variables with P(ηk=j)=pj,j=0,1,…\mathbb {P}\left(\eta_{k} = j\right) = p_{j}, j = 0,1, \ldots Find the matrix of one-step transition probabilities and prove that if p0>0,p0+p1<1p_{0} > 0, p_{0}+p_{1} < 1, then the chain is recurrent if and only if

∑kkpk⩽1 \sum _{k} k p_{k} \leqslant 1
?
Problem 9.63

Prove that if a Markov chain has at least one inessential state, then it is not ergodic.

?
Problem 9.64

Show that a nonergodic Markov chain can have a stationary distribution, and moreover a unique one.

?
Problem 9.65

Prove that a finite Markov chain always has a stationary distribution.

?
Problem 9.66

The matrix of one-step transition probabilities of a Markov chain has the form:

?
(a)

(1/31/31/301/21/2001/41/401/201/201/2)\left(\begin{array}{cccc}1 / 3 & 1 / 3 & 1 / 3 & 0 \\ 1 / 2 & 1 / 2 & 0 & 0 \\ 1 / 4 & 1 / 4 & 0 & 1 / 2 \\ 0 & 1 / 2 & 0 & 1 / 2\end{array}\right);

(b)

(01/2001/2001001/51/51/51/51/501/2001/201/21/200)\left(\begin{array}{ccccc}0 & 1 / 2 & 0 & 0 & 1 / 2 \\ 0 & 0 & 1 & 0 & 0 \\ 1 / 5 & 1 / 5 & 1 / 5 & 1 / 5 & 1 / 5 \\ 0 & 1 / 2 & 0 & 0 & 1 / 2 \\ 0 & 1 / 2 & 1 / 2 & 0 & 0\end{array}\right).

Find the stationary distribution.

Problem 9.67

Are the Markov chains with the following matrices of one-step transition probabilities ergodic:

?
(a)

(0110)\left(\begin{array}{ll}0 & 1 \\ 1 & 0\end{array}\right),

(b)

(1001)\left(\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right),

(c)

(1010)\left(\begin{array}{ll}1 & 0 \\ 1 & 0\end{array}\right),

(d)

(1/21/210)\left(\begin{array}{cc}1 / 2 & 1 / 2 \\ 1 & 0\end{array}\right),

(e)

(1/21/201)\left(\begin{array}{cc}1 / 2 & 1 / 2 \\ 0 & 1\end{array}\right),

(f)

(1/21/2001/21/21/201/2)\left(\begin{array}{ccc}1 / 2 & 1 / 2 & 0 \\ 0 & 1 / 2 & 1 / 2 \\ 1 / 2 & 0 & 1 / 2\end{array}\right),

(g)

(100010001/21/2001/41/41/41/4)\left(\begin{array}{cccc}1 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 1 / 2 & 1 / 2 & 0 & 0 \\ 1 / 4 & 1 / 4 & 1 / 4 & 1 / 4\end{array}\right).

Problem 9.68

Let a Markov chain have at least two non-communicating states. Prove that it is not ergodic.

?
Problem 9.69

Let a Markov chain have two states. Prove that one of the following three cases holds:

?
(a)

the chain is ergodic;

(b)

the states do not communicate;

(c)

the matrix of one-step transition probabilities has the form (0110)\left(\begin{array}{ll}0 & 1 \\ 1 & 0\end{array}\right).

Problem 9.70

An ergodic Markov chain with two states has limiting probabilities pp and q=1−pq = 1-p. Find the matrix of one-step transition probabilities.

?
Problem 9.71

Prove that if all essential states of a homogeneous Markov chain with a finite number of states form a single aperiodic class, then there exist limits, independent of ii,

lim⁡n→∞Pij(n)=πj \lim _{n \rightarrow \infty } P_{i j}^{(n)} = \pi _{j}
?
Problem 9.72

A Markov chain has the following matrix of one-step transition probabilities:

P=[p0p1p2…pm−1pm−1p0p1…pm−2⋅0...p1p2p3…p0], \mathbf{P} =\left[\begin{smallmatrix} p_{0} & p_{1} & p_{2} & \ldots & p_{m-1} \\ p_{m-1} & p_{0} & p_{1} & \ldots & p_{m-2} \\ \hdashline \cdot & 0 & . & . & . \\ p_{1} & p_{2} & p_{3} & \ldots & p_{0} \end{smallmatrix}\right],

where 0<pi<1,∑i=0m−1pi=10 < p_{i} < 1, \sum_{i = 0}^{m-1} p_{i} = 1. Prove that

lim⁡n→∞P(ξn=xi)=1/m,i=1,2,…,m \lim _{n \rightarrow \infty } \mathbb {P}\left(\xi _{n} = x_{i}\right) = 1 / m, \quad i = 1,2, \ldots , m
?
Problem 9.73

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots and η0,η1,…\eta_{0}, \eta_{1}, \ldots be two Markov chains with a finite number of states, the same matrix of one-step transition probabilities, and initial distributions (p1,…,pmp_{1}, \ldots , p_{m}) and (q1,…,qmq_{1}, \ldots , q_{m}) respectively. Prove that if

min⁡i,jPij⩾ε>0 \min _{i, j} P_{i j} \geqslant \varepsilon > 0

then

∑i=1m∣pi(n)−qi(n)∣⩽2(1−mε)n \sum _{i = 1}^{m}\left|p_{i}^{(n)}-q_{i}^{(n)}\right| \leqslant 2(1-m \varepsilon )^{n}

where pi(n)=P(ξn=i),qi(n)=P(ηn=i)p_{i}^{(n)} = \mathbb {P}\left(\xi_{n} = i\right), \quad q_{i}^{(n)} = \mathbb {P}\left(\eta_{n} = i\right).

?
Problem 9.74

Let a finite Markov chain be ergodic and πj=lim⁡n→∞Pij(n)\pi_{j} = \lim_{n \rightarrow \infty } P_{i j}^{(n)}. Prove that there exist 0<ρ<10 < \rho < 1 and CC such that

∣Pij(n)−πj∣<Cρn \left|P_{i j}^{(n)}-\pi _{j}\right| < C \rho ^{n}

for any i,ji, j, and nn.

?
Problem 9.75

Prove that if the matrix of transition probabilities of a Markov chain has two eigenvalues equal in modulus to unity, then the chain is not ergodic.

?
Problem 9.76

Consider the Markov chain from problem 9.62. Prove that for p0>0,p0+p1<1,∑kpk<1p_{0} > 0, p_{0}+p_{1} < 1, \sum k p_{k} < 1 it is ergodic. Find the generating function of the stationary distribution.

?
Problem 9.77

Find the stationary distribution of the Markov chain from problem 9.54 in the case where the series ∑i=1∞pi\sum_{i = 1}^{\infty } p_{i} converges.

?
Problem 9.78

Consider a Markov chain with a countable number of states and matrix of one-step transition probabilities

[p0p1p2…100…010…001…...…]. \left[\begin{smallmatrix} p_{0} & p_{1} & p_{2} & \ldots \\ 1 & 0 & 0 & \ldots \\ 0 & 1 & 0 & \ldots \\ 0 & 0 & 1 & \ldots \\ . & . & . & \ldots \end{smallmatrix}\right] .

Prove that for pi>0,i=0,1,…,∑ipi<∞p_{i} > 0, i = 0,1, \ldots , \sum i p_{i} < \infty the chain is ergodic. Find the generating function of the stationary distribution.

?
Problem 9.79

Consider a Markov chain with a countable number of states {…−k,−k+1,…,−1,0,1,…,k,…}\left\{ \ldots -k,-k+1, \ldots ,-1,0,1, \ldots , k, \ldots \right\} and one-step transition probabilities

Pij={p,j=i+1,1−p,j=i−1,0, for other j. P_{i j} = \begin{cases} p, & j = i+1, \\ 1-p, & j = i-1, \\ 0, & \text{ for other } j . \end{cases}

Find the generating function of the return time to state 0.

?
Problem 9.80

Let a Markov chain be given with states (0,…,N0, \ldots , N) and matrix of one-step transition probabilities

Pij={p,j=i+11−p,j=i−1,i=1,…,N−1,P00=PNN=1. \begin{aligned} P_{i j} & = \begin{cases} p, & j = i+1 \\ 1-p, & j = i-1, \quad i = 1, \ldots , N-1, \end{cases} \\ P_{00} & = P_{N N} = 1. \end{aligned}

Find the expected time to absorption, given that the initial state is kk.

?
Problem 9.81

Let a Markov chain with states 0,1,…,N0,1, \ldots , N have matrix of one-step transition probabilities

Pij={bi,j=i−1,ai,j=i+1,1−(ai+bi),j=i,0,∣j−i∣>1, P_{i j} = \begin{cases} b_{i}, & j = i-1, \\ a_{i}, & j = i+1, \\ 1-\left(a_{i}+b_{i}\right), & j = i, \\ 0, & \left|j-i\right| > 1, \end{cases}

where a0=b0=aN=bN=0,ai>0,bi>0,i=1,…,N−1\quad a_{0} = b_{0} = a_{N} = b_{N} = 0, a_{i} > 0, b_{i} > 0, i = 1, \ldots , N-1. Find the probability of absorption at state 0, starting from state kk.

?
Problem 9.82

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be independent, identically distributed random variables, P(ξ1=1)=P(ξ1=−1)=1/2,z0=0,zk=zk−1+ξk\mathbb {P}\left(\xi_{1} = 1\right) = \mathbb {P}\left(\xi_{1} = -1\right) = 1 / 2, z_{0} = 0, z_{k} = z_{k-1}+\xi_{k}, k=1,2,…k = 1,2, \ldots Set τN=min⁡{n⩾1:∣zn∣=N}\tau_{N} = \min \left\{ n \geqslant 1:\left|z_{n}\right| = N\right\}. Find E[τN]\mathbb {E}\left[\tau_{N}\right].

?
Problem 9.83

The matrix of one-step transition probabilities of a Markov chain with state space (0,1,…,N0,1, \ldots , N) has the form

[0100…0001/201/20…00001/201/2…000....…………0000…1/201/20000…010]. \left[\begin{smallmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & 0 & 0 \\ 1 / 2 & 0 & 1 / 2 & 0 & \ldots & 0 & 0 & 0 \\ 0 & 1 / 2 & 0 & 1 / 2 & \ldots & 0 & 0 & 0 \\ . & . & . & . & \ldots & \ldots & \ldots & \ldots \\ 0 & 0 & 0 & 0 & \ldots & 1 / 2 & 0 & 1 / 2 \\ 0 & 0 & 0 & 0 & \ldots & 0 & 1 & 0 \end{smallmatrix}\right] .

Find the matrix of nn-step transition probabilities.

?
Problem 9.84

Let ξ0,ξ1,…\xi_{0}, \xi_{1}, \ldots be an irreducible, positive recurrent Markov chain, P(ξ0=i)=1\mathbb {P}\left(\xi_{0} = i\right) = 1, and let Nn(i)N_{n}(i) be the number of returns to state ii in the first nn steps. Prove that lim⁡n→∞E[Nn(i)]n=1μi\lim_{n \rightarrow \infty } \frac{\mathbb {E}\left[N_{n}(i)\right]}{n} = \frac{1}{\mu_{i}}, where μi\mu_{i} is the mean return time to state ii.

?
Problem 9.85

Let, for an irreducible Markov chain with states {0,1,2,…}\left\{ 0,1,2, \ldots \right\}, there exist α>0\alpha > 0 such that fi0⩾αf_{i 0} \geqslant \alpha for all i≠0i \neq 0. Prove that all states of the chain are recurrent.

?