跳到主要内容

東京大学 新領域創成科学研究科 メディカル情報生命専攻 2022年8月実施 問題11

Author

zephyr

Description

Let {xtt=0,1,2,}\{x_t | t = 0, 1, 2, \ldots\} be a random sequence of non-negative integers generated by the following rules.

(i) If xt>0x_t > 0, xt+1=xt+1x_{t+1} = x_t + 1 with probability pp, and xt+1=xt1x_{t+1} = x_t - 1 with probability q=(1p)q = (1 - p).

(ii) If xt=0x_t = 0, xt+1=0x_{t+1} = 0 with probability 1.

In the following, pqp \neq q is assumed. Further, we define uk(T)u_k^{(T)} as the probability that xT=0x_T = 0 at time t=Tt = T with initial value x0=kx_0 = k (kk: a nonnegative integer). Answer the following questions.

(1) Answer the probability that x3=2x_3 = 2 given x0=1x_0 = 1.

(2) Answer the probability that x4=0x_4 = 0 given x0=2x_0 = 2.

(3) Express uk(T)u_k^{(T)} using uk+1(T1)u_{k+1}^{(T-1)} and uk1(T1)u_{k-1}^{(T-1)} (k>0k > 0, T1T \geq 1).

(4) Let uk=limTuk(T)u_k = \lim_{T \to \infty} u_k^{(T)}. Derive the equations that the uku_ks satisfy using (3).

(5) Answer the condition for pp that the equations of (4) have a solution uku_k with limkuk=0\lim_{k \to \infty} u_k = 0, as well as the solution uku_k (Examine the case: uk=zku_k = z^k).

Kai

(1) The probability that x3=2x_3 = 2 given x0=1x_0 = 1

To find the probability that x3=2x_3 = 2 given x0=1x_0 = 1, we need to consider the different paths the process can take to reach from 1 to 2 in three steps.

The paths and their probabilities are:

  1. 12321 \to 2 \to 3 \to 2: probability ppqp \cdot p \cdot q
  2. 12121 \to 2 \to 1 \to 2: probability pqpp \cdot q \cdot p

Adding these probabilities together, we get:

P(x3=2x0=1)=p2q+p2q=2p2q=2p2(1p)=2p22p3P(x_3 = 2 | x_0 = 1) = p^2q + p^2q = 2p^2q = 2p^2(1-p) = 2p^2 - 2p^3

(2) The probability that x4=0x_4 = 0 given x0=2x_0 = 2

To find the probability that x4=0x_4 = 0 given x0=2x_0 = 2, we consider the paths to reach 0 from 2 in four steps.

The paths and their probabilities are:

  1. 210102 \to 1 \to 0 \to 1 \to 0: probability qqpqq \cdot q \cdot p \cdot q
  2. 212102 \to 1 \to 2 \to 1 \to 0: probability qpqqq \cdot p \cdot q \cdot q
  3. 232102 \to 3 \to 2 \to 1 \to 0: probability pqqqp \cdot q \cdot q \cdot q

Adding these probabilities together, we get:

P(x4=0x0=2)=q2+pq2+pq3=q2(1+p+p2)=(1p)2(1+p+p2)=1pp3+p4P(x_4 = 0 | x_0 = 2) = q^2 + pq^2 + pq^3 = q^2(1 + p + p^2) = (1-p)^2(1+p+p^2) = 1 - p - p^3 + p^4

(3) Express uk(T)u_k^{(T)} using uk+1(T1)u_{k+1}^{(T-1)} and uk1(T1)u_{k-1}^{(T-1)} (k>0k > 0, T1T \geq 1)

For k>0k > 0, the probability that xT=0x_T = 0 given x0=kx_0 = k can be written in terms of the probabilities at T1T-1:

uk(T)=puk+1(T1)+quk1(T1)=puk+1(T1)+(1p)uk1(T1)u_k^{(T)} = p \cdot u_{k+1}^{(T-1)} + q \cdot u_{k-1}^{(T-1)} = p \cdot u_{k+1}^{(T-1)} + (1-p) \cdot u_{k-1}^{(T-1)}

(4) Let uk=limTuk(T)u_k = \lim_{T \to \infty} u_k^{(T)}. Derive the equations that the uku_ks satisfy using (3)

As TT \to \infty, uku_k becomes time-independent. Thus,

uk=puk+1+quk1=puk+1+(1p)uk1u_k = p \cdot u_{k+1} + q \cdot u_{k-1} = p \cdot u_{k+1} + (1-p) \cdot u_{k-1}

(5) The condition for pp that the equations of (4) have a solution uku_k with limkuk=0\lim_{k \to \infty} u_k = 0, as well as the solution uku_k (Examine the case: uk=zku_k = z^k)

Assume a solution of the form uk=zku_k = z^k:

zk=pzk+1+(1p)zk1z^k = p \cdot z^{k+1} + (1-p) \cdot z^{k-1}

Dividing by zk1z^{k-1}, we get:

z2=pz+(1p)z^2 = p \cdot z + (1-p)

This is a quadratic equation in zz:

z2pz(1p)=0z^2 - p \cdot z - (1-p) = 0

The roots of this equation are:

z=p±p2+4p(1p)2=p±p2z = \frac{p \pm \sqrt{p^2 + 4p(1-p)}}{2} = \frac{p \pm \sqrt{p}}{2}

For the solution to converge to 0 as kk \to \infty, we need the root with the negative sign:

z=pp2z = \frac{p - \sqrt{p}}{2}

Therefore, the solution uku_k is:

uk=(pp2)ku_k = \left(\frac{p - \sqrt{p}}{2}\right)^k

Knowledge

随机过程 马尔可夫链 概率计算

难点解题思路

  • 分析每个时间步的状态变化及其概率。
  • 考虑随机过程的限制条件如 xt=0x_t = 0 时的吸收状态。

解题技巧和信息

  • 分步计算状态转移概率。
  • 利用马尔可夫链的平稳状态来解答长时间行为问题。

重点词汇

  • random sequence 随机序列
  • probability 概率
  • Markov chain 马尔可夫链
  • absorbing state 吸收状态

参考资料

  1. Ross, S. M. (2007). Introduction to Probability Models. Chapter 4: Markov Chains.