問題
下図のような立方体を考える。この立方体の8つの頂点の上を点Pが次の規則で移動する。時刻0では点Pは頂点Aにいる。時刻が1増えるごとに点Pは,今いる頂点と辺で結ばれている頂点に等確率で移動する。例えば時刻で点Pが頂点Hにいるとすると,時刻では,それぞれの確率で頂点D,E,Gのいずれかにいる。自然数に対して,(i)点Pが時刻までの間一度も頂点Aに戻らず,かつ時刻で頂点B,D,Eのいずれかにいる確率を,(ii)点Pが時刻までの間一度も頂点Aに戻らず,かつ時刻で頂点C,F,Hのいずれかにいる確率を,(iii)点Pが時刻までの間一度も頂点Aに戻らず,かつ時刻で頂点Gにいる確率を,とする。このとき,次の問に答えよ。
(1) ,,と,,を求めよ。
(2) のとき,,,を求めよ。
(3) 自然数に対して,点Pが時刻で頂点Aに初めて戻る確率を求めよ。
% 図は省略
方針
立方体の頂点を,頂点から辺何本で到達できるかによって3つの群に分ける。距離1の群を,距離2の群を,対頂点をとすると,へ戻らない条件を保ったまま3状態の漸化式が立つ。偶数時刻ではだけ,奇数時刻ではだけが現れるため,に落として一般項を求める。初帰還確率は,直前に距離1の群にいて次にへ進む確率として表す。
解答
頂点から辺の本数で距離1の頂点の群を,距離2の頂点の群を,距離3の頂点の群をと呼ぶ。問題のは,時刻までに戻っていないという条件を含んだまま,それぞれの群にいる確率である。
(1)
時刻1では必ずのどれかにいるので である。の頂点からは,1本がへ戻る辺,残り2本がへ進む辺である。したがって である。
次に,の頂点からは2本がへ,1本がへ向かう。よって である。
(2)
で,へ戻らない道だけを数えると,遷移は
である。第2式に第1式と第3式を2時刻分ずらして用いると
を得る。 であるから,について である。また偶数時刻にはにはいないので である。
一方,奇数時刻については および であり,である。したがって
である。
(3)
時刻で初めてに戻るには,時刻までに戻らず,時刻に距離1の群にいて,次の1歩でへ進めばよい。の各頂点からへ進む確率はである。 のときは,時刻1で必ずにいるから である。のときは(2)より
である。