Aritalab:Lecture/NetworkBiology/Random Walk
m |
m |
||
Line 1: | Line 1: | ||
{{Lecture/Header}} | {{Lecture/Header}} | ||
− | == | + | ==1次元ランダムウォーク== |
原点から出発して1ステップ毎に確率 ''p'' で + 1, ''q'' (= 1 − ''p'') で − 1 動くランダムウォークを考えましょう。 | 原点から出発して1ステップ毎に確率 ''p'' で + 1, ''q'' (= 1 − ''p'') で − 1 動くランダムウォークを考えましょう。 | ||
''n'' ステップ後に、正の方向に ''k'' 回進んでいる確率は | ''n'' ステップ後に、正の方向に ''k'' 回進んでいる確率は |
Revision as of 11:59, 19 October 2011
Wiki Top | Up one level | レポートの書き方 | Arita Laboratory |
|
1次元ランダムウォーク
原点から出発して1ステップ毎に確率 p で + 1, q (= 1 − p) で − 1 動くランダムウォークを考えましょう。 n ステップ後に、正の方向に k 回進んでいる確率は
であらわされ、二項分布 (binomial distribution) B( n, p ) に従います。二項分布で正の方向に進むステップ数 k の期待値は np [1]なので、n ステップ後の位置の期待値は
になります。 二項分布の分散は npq です[2]。原点からの移動距離の 2 乗の期待値は
です。 p = q = 1/2 の場合、左右に同じ確率で広がるので位置の期待値は 0 となり。移動距離の期待値は n1/2 になります。
- まとめ
- 位置の期待値
- 移動距離の期待値
再帰確率
原点から出発したランダムウォークが原点に戻ってくる確率を再帰確率といいます。 一次元ランダムウォークの場合
- 再帰確率
- 再帰確率が r < 1 のときに原点に戻ってくる回数の期待値
となります。(詳細)
反射壁と吸収壁
反射壁や吸収壁を k* と書くと
- 反射壁があるとき、n ステップ後に位置 k に至る経路数は
- 吸収壁があるとき、n ステップ後に位置 k に至る経路数は
となります。(詳細)
拡散係数
ランダムウォークを時間の関数として捉えるため、τ 秒毎にステップを刻むことにして歩幅を δ cm とします。つまり、ステップ数 n = t / τ です。拡散の度合いは分散であらわされます。対称な二項分布の分散は n = (t/τ) δ2 = 2 (δ2 /2 τ) t となります(分散は距離の 2 乗平均なので δ が 2 乗されるところに注意)。 拡散係数を D = δ2 /2 τ (単位は cm2/sec) と書くと、分散は 2 Dt です。拡散に要する時間は、t = (距離)2 / 2 D になります。 水中の小分子なら D ∼ 10− 5 、空気中の小分子なら D ∼ 10− 1 程度であることが知られています。
- 考察
コーヒークリームがカップの中で広がったり、隣の人が香水をつけているかすぐ分かるのは、分子の拡散が原因ではなく水や空気の対流 や攪拌のおかげです。拡散に必要な時間を計算してみましょう。
- 水中の小分子が拡散のみで x = 10-4 cm = 1 μ m (大腸菌のサイズ) 進むのに必要な時間
- t = x2/2D = 10-8/(2 × 10-5) = 5 × 10-4 秒 (0.5 ミリ秒)
- 水中の小分子が拡散のみで x = 10 cm 進むのに必要な時間
- t = x2/2D = (10)2 /(2 × 10-5) = 5 × 106 秒 = 2 ヶ月
- 空気中の小分子が拡散のみで x = 1 m 進むのに必要な時間
- t = x2/2D = (100)2 / (2 × 10-1) = 5 × 104 秒 = 14 時間
有限グラフ上のランダムウォーク
グラフ G( V , E ) の各頂点 u から出る辺を等確率 で選んで動くグラフ上のランダムウォークを考えましょう。非周期性を仮定したいので、ここでは二部グラフでない連結なものだけを考慮します。すると、グラフの全頂点をまわるのに必要なランダムウォークの平均ステップ数は 4|V| · |E| 以下であることを示せます。
[定理] 頂点 u から v に到達するステップ数の期待値を と記述すると
が成立する。
- 証明
まずランダムウォークの定常分布 が 各頂点 v において
であると仮定してみましょう。
各頂点上の確率
の総和をとると
。
また
Failed to parse (lexing error): \textstyle \bar \pi {\mathbf P} = \sum_{u \in adj(v)} \pi_u \frac{1}{d(u)} = \sum_{u \in adj(v)} \frac{1}{2 |E|} = \frac{d(v)}{2|E|} = \bar \pi
から、
は定常分布の条件を満たしています。
各頂点への再帰時間の期待値は になるので、証明は終わりです。
[補題] 隣り合う頂点間のステップ数の期待値の上限は で抑えられる。
- 証明
各頂点への再帰時間の期待値を、二通りに計算してみます。
つまり ですから
です。
[補題] グラフ全体を訪れるのに必要な期待値の上限は で抑えられる。
- 証明
与えられたグラフ全体をスパンする木を作ります。その上を全点辿ったときの辺数は です。
このように、ある頂点から出発したランダムウォークが全ての頂点を訪れるまでの期待ステップ数をグラフの被覆時間 (cover time) と呼びます。
参考:式の導出
本文中に出てくる式の導出です。