中華料理店過程

提供: testwiki
2024年1月13日 (土) 09:56時点におけるimported>フューチャーによる版 (リンク修正)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

確率論において、中華料理店過程(ちゅうかりょうりてんかてい、テンプレート:Lang-en-short)とは離散確率過程の一種で、各時刻nにおいて集合{1,2,…,n}の分割Bnが次のようなルールで決定されるようなものを指す。時刻n=1では、B1={1}であり、時刻nでの分割Bnから時刻n+1における分割Bn+1が次のように定まる。

  1. Bnm個の部分からなるとき、各部分の大きさを|bi|, i=1,...,mとするなら、|bi|/(n+1)の確率でbin+1が追加される。
  2. 確率 1 / (n+1)で、大きさが1でn+1のみを含むものが新たな部分として追加される。

このような計算によりランダムに生成された分割は{1,...,n}のラベルを付け直しても、その分割が生成される確率が変化しない。

定義

無限にたくさんの円卓が並べられた中華料理店を考える。各々の円卓もまた無限にたくさんの人が座ることが出来るものとする。1番目の客が店に入ってくると、その客はまだ誰も座っていない円卓に確率1で座る。ある時刻n+1で現れるn+1番目の客は店内を見回し、より多くの人が座っている円卓に高確率で座ろうとする、あるいはまだ誰も座っていないテーブルに座ることもあるだろう。各々のテーブルが店にやってきた客の分割を与えるものだと考えたものが中華料理店過程の考え方である。前述の定義により与えられた分割Bnがとある分割Bと等しくなる確率は次の式で与えられる。

Pr(Bn=B)=1n!bB(|b|1)!

この式で、bBに含まれる分割の部分を、|b|はその部分に含まれる要素の数を表すものとする。

一般化

前述の中華料理店モデルは2つのパラメータαθにより一般化できる。このときαθはそれぞれ割引率と強度のパラメータと呼ばれる[1][2]。ある時刻n+1において新たに来店した客が|B|個のテーブルに人がいるのを確認して、まだ誰も座っていないテーブルに座る確率を、

θ+|B|αn+θ

とし、すでに|b|人が座っているテーブルに座る確率を

|b|αn+θ

とする。この定義において正しく確率測度を定義するためには「α<0かつθ=-, L ∈{1,2,...}」あるいは「0 ≤ α ≤ 1かつθ>-α」のいずれかが成り立たなければならない。

このモデルを仮定すると、n人の客のいずれの分割もポッホハマー記号の意味で

Pr(Bn=B)=(θ+α)|B|1,α(θ+1)n1,1bB(1α)|b|1,1

と表される。ただし(α)0,c=1であり、任意のb>0に対して、

(a)b,c=i=0b1(a+ic)={abif c=0cbΓ(a/c+b)Γ(a/c)otherwise

と定める。

このように、θ>0の場合では分割が与えられる確率がガンマ関数により次のように与えられることが分かる。

Pr(Bn=B)=Γ(θ)Γ(θ+n)α|B|Γ(θ/α+|B|)Γ(θ/α)bBΓ(|b|α)Γ(1α)

パラメータが1つの場合、すなわちα=0の場合においては単純に

Pr(Bn=B)=Γ(θ)θ|B|Γ(θ+n)bBΓ(|b|)

と書ける。あるいはθ=0であれば、

Pr(Bn=B)=α|B|1Γ(|B|)Γ(n)bBΓ(|b|α)Γ(1α)

と書ける。

このようにいずれの分割に対しても、その分割が与えられる確率は分割が含む部分の大きさのみに依存する。はじめに、ラベルの順番が入れ替わっても与えられる確率が変わらないといったのはこのためである。もしα=0であるなら、このようにして作られるランダムな分割が自然数の分割に対応しており、パラメータとしてθを取るテンプレート:仮リンクと対応する。

出典

テンプレート:Reflist

関連項目

テンプレート:Math-stub テンプレート:確率論