ディリクレ分布(ディリクレぶんぷ、英: Dirichlet distribution)は、連続型の確率分布である。ベータ分布を多変量に拡張して一般化した形をしており、そのため多変量ベータ分布とも呼ばれる。ディリクレ分布の確率密度関数は、同時に発生することのない
個の事象がそれぞれ
回発生したときに、各事象の起こる確率が
である確率を与える(ただし、
は整数である必要はない)。つまり、試行の回数が無限大なら各事象の発生の相対頻度は
になるが、試行回数が有限だと、そこにずれが生じる。そのずれを表すモデルである。
ディリクレ分布
確率密度関数 ディリクレ分布( K=3)の、様々なパラメータベクトル αにおける確率密度関数。左上から時計回りに α=(6, 2, 2), (3, 7, 5), (6, 2, 6), (2, 3, 4)。 |
累積分布関数 なし |
母数 |
変量の個数 (整数)
集中度母数(英語版), ここで ![{\displaystyle \alpha _{i}>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ca574e2543100c77034d89176082da023382a75) |
---|
台 |
、ここで、 かつ ![{\displaystyle \sum x_{i}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bdc7509d631044e70705d53980180827c70b8cc) |
---|
確率密度関数 |
![{\displaystyle {\frac {1}{\mathrm {B} ({\boldsymbol {\alpha }})}}\prod _{i=1}^{K}x_{i}^{\alpha _{i}-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d392e761ac5e0ba745945da497d6e007a544778) ここで、 ![{\displaystyle \mathrm {B} ({\boldsymbol {\alpha }})={\frac {\prod _{i=1}^{K}\Gamma (\alpha _{i})}{\Gamma {\bigl (}\sum _{i=1}^{K}\alpha _{i}{\bigr )}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ac043dd636f8f2bc32791fe3c5fef5ea6ada9e) ![{\displaystyle {\boldsymbol {\alpha }}=(\alpha _{1},\ldots ,\alpha _{K})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed70eb38200336afb69b24eec04725d267be4078) |
---|
期待値 |
![{\displaystyle \operatorname {E} [X_{i}]={\frac {\alpha _{i}}{\sum _{k}\alpha _{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fba3f45d2d1945a428884b57067ac66a7481ad10)
![{\displaystyle \operatorname {E} [\ln X_{i}]=\psi (\alpha _{i})-\psi (\textstyle \sum _{k}\alpha _{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af11020481980cb1aa891045a0f07ebb172ccd3d) (ここで、ψ(・)はディガンマ関数) |
---|
最頻値 |
![{\displaystyle x_{i}={\frac {\alpha _{i}-1}{\sum _{i=1}^{K}\alpha _{i}-K}},\quad \alpha _{i}>1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f7268cb5159d77d8889f02ed008295fa2e54b35) |
---|
分散 |
![{\displaystyle \mathrm {Var} [X_{i}]={\frac {\alpha _{i}(\alpha _{0}-\alpha _{i})}{\alpha _{0}^{2}(\alpha _{0}+1)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/999314674c510668913c93c961ce9cf2552b8f89) where ![{\displaystyle \alpha _{0}=\sum _{i=1}^{k}\alpha _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feb6d954d0f522b3727b8bd59c11a6a4e483b87d)
![{\displaystyle \mathrm {Cov} [X_{i},X_{j}]={\frac {-\alpha _{i}\alpha _{j}}{\alpha _{0}^{2}(\alpha _{0}+1)}}~~(i\neq j)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75f4c24c135ad1e8b18d4780f8c62f82fe43002d) |
---|
エントロピー |
(see en:Dirichlet distribution#Entropy) |
---|
テンプレートを表示 |
をパラメータ、実数ベクトル を確率変数
とするときの 次ディリクレ分布の確率密度関数は以下の式で定義される。
-
ここで はK-1次元単体上の点であり、 、 を満たす。また、 であり、 は多変量に拡張したベータ関数で、以下の式で定義される。
-
このとき、 の期待値は 、同じく分散は である。
ディリクレ分布の確率密度関数の台はK次元ベクトルxの集合であって、xの各要素が(0, 1)の開区間に含まれ、かつその要素の合計が1になるようなもの集合である。これは、[0,1]の区間を互いに交わらず大きさが0でないK個の集合に分割していると見ることができる。この他の見方として、ディリクレ分布の定義域それ自体が確率密度関数であるというものがある。すなわち、K個の分割それ自体が離散分布であるとする考え方である。このような台を専門的にはK-1次元単体((K-1)-simplex)と呼ぶ。
最も単純な特殊例として対称ディリクレ分布が挙げられる。対称ディリクレ分布においては、パラメータベクトル の要素が全て同じ値である。ここで、パラメータベクトルの要素が全てαであるとすれば、対称ディリクレ分布は次の形で書き表される。
-
仮にα=1であるとすると、ディリクレ分布は(K-1)次元単体上の一様分布になる。
- 蓑谷千凰彦, 統計分布ハンドブック, 朝倉書店 (2003).
- B. S. Everitt (清水良一訳), 統計科学辞典, 朝倉書店 (2002).