問題
2つの正方形ABCDとCDEFを辺CDで共有するように左右に並べた図形を考える。2点P,Qが6個の頂点A,B,C,D,E,Fを以下の規則(a),(b)に従って移動する。
(a) 時刻0では点Pは頂点Aに,点Qは頂点Cにいる。
(b) 点P,Qは時刻が1増えるごとに独立に,今いる頂点と辺で結ばれている頂点に等確率で移動する。
時刻まで2点P,Qが同時に同じ頂点にいることが一度もない確率をと表す。また時刻まで2点P,Qが同時に同じ頂点にいることが一度もなく,かつ時刻に2点P,Qがともに同じ正方形上にいる確率をと表し,と定める。このとき,次の問に答えよ。
(1) 時刻1での点P,Qの可能な配置を,図2にならってすべて図示せよ。
(2) ,,,を求めよ。
(3) ,を,で表せ。
(4) を示せ。
% 図は省略% 図は省略
方針
図形の頂点の隣接関係を明確にし,時刻1では の行き先2通りと の行き先3通りをすべて列挙する。以後は「時刻 まで出会っていない」ことを含めた確率を として扱い,次の1回で出会うものを除いて,次も同じ正方形上にいる場合といない場合へ振り分ける。 は時刻1の4つの非衝突配置から直接数える。(3)は到達可能な配置を図で分類して遷移確率を表にまとめ,最後に を帰納的に用いる。
解答
(1)
時刻0で は にいるので,時刻1での の位置は の2通りである。また は にいるので,時刻1での の位置は の3通りである。したがって時刻1での可能な配置は である。
(2)
時刻1の6通りは,それぞれ確率 で起こる。このうち出会っている配置は , である。出会っていない配置は である。
このうち2点がともに同じ正方形上にいるものは であり, は同じ正方形上にない。よって である。
次に時刻2を求める。時刻1で出会っていない4配置から,次の1歩で出会わないものだけを数える。各配置からの寄与を表にすると
である。したがって であり, である。
(3)
時刻 まで出会っていない配置について,次の1歩で出会う配置を除いて数える。図の対称性に従って到達可能な配置を同じ正方形上にいる場合とそうでない場合に分けて調べると,次の表になる。ここで,表の第1行は同じ正方形上にいる場合,第2行は同じ正方形上にいない場合を表す。
ここで表の各割合は,それぞれの型に属する配置から次に移る全可能性を列挙し,同じ頂点で出会う場合を除いて合計したものである。
したがって である。
(4)
であるから,(3)より
である。ここで なので である。したがって を得る。
時刻0ではまだ出会っていないので である。上の不等式を繰り返し用いると である。よって が示された。