問題
を0以上の整数とする.立方体の頂点を,以下のように移動する2つの動点,を考える.時刻0にはは頂点に位置し,は頂点に位置している.時刻において,とが異なる頂点に位置していれば,時刻には,は時刻に位置していた頂点から,それに隣接する3頂点のいずれかに等しい確率で移り,も時刻に位置していた頂点から,それに隣接する3頂点のいずれかに等しい確率で移る.一方,時刻において,とが同じ頂点に位置していれば,時刻にはもも時刻の位置からは移動しない.
(1) 時刻1において,とが異なる頂点に位置するとき,とはどの頂点にあるか.可能な組み合わせをすべて挙げよ.
(2) 時刻において,とが異なる頂点に位置する確率を求めよ.
(3) 時刻において,とがともに上面の異なる頂点に位置するか,またはともに下面の異なる頂点に位置するかのいずれかである確率をとする.また,時刻において,とのいずれか一方が上面,他方が下面にある確率をとする.を,とを用いて表せ.
(4) を求めよ.
方針
2点が異なる頂点にいる間だけ動くので,まず「異なる状態」が次に同じ頂点へ吸収される確率を数える。初期状態 は同じ面の対角線上にあり,異なるまま推移した場合も常にどこかの面の対角線上にあるため,共通の隣接頂点が2個であることを使える。(3)以降は,同じ上下面にいる状態 と,上面・下面に分かれる状態 に分類し,代表例を1つずつ使って9通りの移動を数える。最後は の漸化式を作って極限を求める。
解答
(1) 時刻0で は , は にある。上面を ,下面を とし,それぞれ対応する頂点が
であるとする。 に隣接する頂点は であり, に隣接する頂点は である。したがって時刻1で可能な の組は9通りある。そのうち同じ頂点になるのは である。
よって,時刻1において と が異なる頂点に位置するとき,可能な組は である。
(2) が異なる頂点にあるとき,初期状態から到達しうる異なる状態は,つねに立方体のある面の対角線の両端である。実際,(1)で列挙した7通りはいずれもどこかの面の対角線であり,同じ性質は以後も保たれる。
面の対角線の両端にある2頂点は,隣接頂点を2つ共有する。したがって,次の時刻に2点が同じ頂点へ移る移動は 通りである。一方,2点はそれぞれ3通りの隣接頂点へ移るので,全体は 通りである。よって,異なる頂点にいたものが次も異なる頂点にいる確率は である。同じ頂点になった後は動かないので, について が成り立つ。 だから である。
(3) は2点が同じ水平面上の異なる頂点にある確率, は一方が上面,他方が下面にある確率である。
まず, 型の代表として を考える。 は へ, は へ移る。9通りのうち,同じ水平面上の異なる頂点になるのは の3通りである。また,上面と下面に分かれるのは の4通りである。残り2通りは同じ頂点になる。
したがって 型から 型へ移る確率は である。
次に, 型の代表として を考える。 に隣接する頂点は であり, に隣接する頂点は である。9通りのうち,同じ水平面上の異なる頂点になるのは の2通りである。したがって 型から 型へ移る確率は である。
以上より である。
(4) (3)と同じ数え上げから, 型から 型へ移る確率は , 型から 型へ移る確率は である。よって である。 なので とおく。(3)の式と上の式から
である。
ここで である。 だから分母は 以上であり, は に近づく。実際, であり,上の式から の絶対値は各段階で小さくなる。
したがって である。