複合確率分布

確率論および統計学における**複合確率分布**（ふくごうかくりつぶんぷ、）または単に**複合分布**（ふくごうぶんぷ、）とは、ある確率変数の従う確率分布が何らかのパラメータを持ち、そのパラメータ(の一部)もまた確率変数として扱われる場合の確率分布である。なお、Compoundは「混合」とも訳せるため、この概念が混合分布と訳出される場合もあるが、その場合は英語でmixture distributionと表されるとの混同に注意する必要がある。

複合分布は、興味のある変数以外の潜在変数について周辺化を行った分布とみなすこともできる。

## 定義
**複合確率分布**とは、確率変数 X がパラメータ \theta を持つ分布 F に従い、\theta もまた別の分布 G に従う場合の確率分布 H のことである。この場合、確率分布 H は F と G との複合分布であると呼ばれる。数学的には、無条件分布 H は未知の(複数の場合もある)パラメータ \theta について G のもとで周辺化した分布である。その確率密度関数は

: p_H(x) = {\displaystyle \int\limits p_F(x|\theta)\,p_G(\theta) \operatorname{d}\!\theta}

で与えられる。

変数の一部または全体がベクトルである場合も、同様の式を当てはめることができる。

上記の式からもわかるように、複合分布とは本質的には特別な周辺分布のことである。 x と \theta の同時分布は p(x,\theta)=p(x|\theta)p(\theta) であり、これを \theta で積分すると複合分布  {\textstyle p(x) = \int p(x,\theta) \operatorname{d}\!\theta }  が得られる。\theta が離散的な値を取る場合、複合分布は混合分布の特別な場合として解釈される。

## 性質
### 一般的性質
複合分布 H はそれぞれの分布の具体的な表現や、分布 F のどのパラメータが G に依存しているかという情報に依存する。H のパラメータには、G のパラメータのうち周辺化されていないものが全て含まれる。H の台は F のそれに一致し、F で平均や分散が定義できる場合、いくつかの一般的な性質が成り立つ。

### 平均・分散
複合分布の平均や分散は以下で与えられる:

 \operatorname{E}_H[X] = \operatorname{E}_G\bigl[\operatorname{E}_F[X|\theta]\bigr] 

 \operatorname{Var}_H(X) = \operatorname{E}_G\bigl[\operatorname{Var}_F(X|\theta)\bigr] + \operatorname{Var}_G\bigl(\operatorname{E}_F[X|\theta]\bigr) 

例えば、F の平均値が G に従うパラメータであり、G が平均 \mu と分散 \sigma^2 を持つ場合は、上記の式から  \operatorname{E}_H[X] = \operatorname{E}_G[\theta] = \mu  および  \operatorname{Var}_H(X) = \operatorname{Var}_F(X|\theta) + \operatorname{Var}_G(Y) = \tau^2 + \sigma^2 が導かれる。ここで、\tau^2を F の分散とした。

### 導出
FおよびGを、平均と分散をパラメータにもつ確率分布とし、\begin{align}
x &\sim \mathcal{F}(\theta,\tau^2) \\
\theta &\sim \mathcal{G}(\mu,\sigma^2)
\end{align} を仮定する。確率密度関数は  f(x|\theta) = p_F(x|\theta)およびg(\theta) = p_G(\theta)として表すこととし、h(x)をHの確率密度とすると、以下が成立する:\begin{align}
\operatorname{E}_H[X] = \int_F x h(x)dx &= \int_F x  \int_G f(x|\theta) g(\theta) d\theta dx \\
                                        &= \int_G \int_F x f(x|\theta) dx\ g(\theta)  d\theta \\
                                        &= \int_G \operatorname{E}_F[X|\theta] g(\theta)  d\theta
\end{align} ここで、\mathcal{F}と\mathcal{G}のパラメータの与え方から\begin{align}
\operatorname{E}_F[X|\theta] &= \int_F x f(x|\theta)dx = \theta \\
\operatorname{E}_G[\theta] &= \int_G \theta g(\theta)d\theta = \mu
\end{align} であるので、結局複合分布の平均値について \operatorname{E}_H[X] = \mu が示される。

Hの分散は\operatorname{E}_H[X^2] - (\operatorname{E}_H[X])^2で定義される。前者については\begin{align}
\operatorname{E}_H[X^2] = \int_F x^2 h(x)dx &= \int_F x^2  \int_G f(x|\theta) g(\theta) d\theta dx \\
                                        &= \int_G g(\theta)\int_F x^2 f(x|\theta) dx\   d\theta \\
                                        &= \int_G g(\theta)(\tau^2+\theta^2)d\theta\\
                                        &= \tau^2\int_G g(\theta)d\theta+\int_Gg(\theta)\theta^2d\theta\\
                                        &= \tau^2+(\sigma^2+\mu^2),
\end{align} と計算される。ただし \int_F x^2 f(x\mid \theta) dx=\operatorname{E}_F[X^2\mid \theta]=\operatorname{Var}_F(X\mid\theta)+(\operatorname{E}_F[X\mid \theta])^2  および \int_G \theta^2 g(\theta)d\theta=\operatorname{E}_G[\theta^2 ]=\operatorname{Var}_G(\theta) + (\operatorname{E}_G[\theta])^2 を用いた。以上から、示すべきが得られる:\begin{align}
\operatorname{Var}_H(X) &= \operatorname{E}_H[X^2] - (\operatorname{E}_H[X])^2 \\
                        &= \tau^2 + \sigma^2
\end{align} 

## 応用
### 検定
一般的な検定統計量の分布は、帰無仮説の下では複合分布となる。例えば、T検定の検定統計量が従うT分布はそれぞれ正規分布・カイ二乗分布に従う2つのパラメータの比が従う分布であり、F検定の検定統計量が従うF分布もそれぞれ別個のカイ二乗分布に従うパラメータの比が従う分布となる。

### 過分散モデリング
過分散とは、観測された分散がモデルが予測する分散よりも大きい状況を指す。複合分布は、過分散を示すような結果をモデル化する上で有用である。例えば、計数は通常ポアソン分布に従うとモデル化される。理論的には、ポアソン分布の分散は平均に一致する。ここで、ポアソン分布の平均を表すパラメータのばらつきを許容すると、計数の分布を一般化することができる。具体的には、平均パラメータがガンマ分布に従うとした場合、複合分布は負の二項分布となる。この分布の形状はポアソン分布に類似しているが、その理論的分散ははるかに大きい。 

同様に、二項分布の成功確率パラメータがベータ分布に従うとした場合の複合分布はベータ二項分布となる。

### ベイズ推定
ベイズ推定においては、複合分布の特別な場合と見做せるありふれた周辺分布以外の用途がある。上記の記法に従えば、 *F を*将来の観測の分布、*G* を *F* のパラメータの観測を基にした事後確率分布とした場合の複合分布であり、 これらの複合分布は事後予測分布を与える。これに対して、事前予測分布は、*F* を将来のデータ点の分布、*G* をパラメータの事前確率分布とした場合の複合分布である。

### 畳み込み
確率変数の和が従う分布の導出には確率分布の畳み込みを行うが、これも複合分布の特別な場合とみなすことができる。 すなわち、一方の被加数をもう一方の被加数の分布の位置をランダムにずらすパラメータとしてみなすということである。

## 複合分布の計算
指数型分布族に属する分布に由来する複合分布はしばしば解析的解を持つ。解析的積分が不可能であれば、数値的積分に頼ることとなる。

複合分布は、モンテカルロ法、すなわち確率変数の生成によって比較的容易に調査できる。p(\theta)やp(x|\theta)に従う乱数を生成し、それらを用いたギブスサンプリングによってp(x)に従う乱数を生成するという手法は、通常簡単である。

複合分布は、有限個の要素からなる混合分布で十分な水準まで近似することもできる。この近似によって、近似的な密度などを得ることができる。

複合分布のもとでのパラメータ推定(最尤推定や最大事後確率推定)は、時にはEMアルゴリズムによって簡略化できる可能性がある。

## 複合分布の例
* **正規分布の分散/標準偏差に関連する複合分布**:
** 正規分布の分散が逆ガンマ分布に従うとした場合の複合分布は**[[T分布]]**である。  この分布は、元となる正規分布と同じ中央値を持つ対称分布であるが、分散が大きい裾の重い分布である。
** 正規分布の分散が指数分布に従うとした場合の複合分布は**[[ラプラス分布]]**である。 これを一般化し、正規分布の分散をガンマ分布に従うとした場合の複合分布は***'となる。
** 正規分布の分散が指数分布に従い、その指数分布の比母数がさらにガンマ分布に従うとした場合の複合分布は***'となる。なお、これは2段階の複合分布であり、正規分布の分散は、後述するようにロマックス分布に従う。
** 正規分布の標準偏差の逆数が一様分布に従う場合の複合分布は**[[スラッシュ分布]]**となる。
** 正規分布の標準偏差がコルモゴロフ分布に従う場合の複合分布は**[[ロジスティック分布]]**となる。
* **その他の正規分布の複合分布**:
** 正規分布の平均値が別の正規分布に従う場合、それらの複合分布も再び**正規分布**となる。
** 正規分布の平均値が指数分布に従うとした場合、複合分布は***'となる。

* [[ベルヌーイ分布]]の成功確率が、期待値を定義可能な分布 <math>X</math> に従う場合、複合分布は成功確率が<math>E[X]</math>であるベルヌーイ分布である。 この複合分布の興味深い帰結として、<math>X</math> のばらけ具合が複合分布に何の影響も与えないということが挙げられる。
* [[二項分布]]の成功確率が[[ベータ分布]]に従う場合、複合分布は'''[[ベータ二項分布]]'''となる。 この分布は二項分布に由来するサンプル数 <math>n</math> およびベータ分布に由来する2つのパラメータ<math>\alpha,\beta</math> からなる3つのパラメータをもつ。
* [[多項分布]]の確率ベクトルが[[ディリクレ分布]]に従うとした場合、複合分布は***'である。
* ポアソン分布のレートパラメータがガンマ分布に従うとした場合、複合分布は**[[負の二項分布]]**となる。
* ポアソン分布のレートパラメータが指数分布に従うとした場合、複合分布は(台に0を含む)**[[幾何分布]]**となる。
* 指数分布のレートパラメータがガンマ分布に従うとした場合、複合分布は****となる。
* ガンマ分布の尺度母数の逆数が別のガンマ分布に従うとした場合、複合分布は**[[第2種ベータ分布]]**である。
* 半正規分布の尺度母数がレイリー分布に従うとした場合、複合分布は**[[指数分布]]**となる。
* ガンマ分布のパラメータとしてk=2,\thetaをとり、\thetaが一様分布に従う場合、複合分布は**[[指数分布]]**である。

## 類似する用語
やにおける「複合()」の意味は、本項目で記述されているそれとは**異なる**。この項目での意味合いは、階層ベイズモデルにおけるそれに対応する。

なお、ポアソン分布の比母数自体を確率変数と思った場合の(本項目における意味での)複合分布は、()とも呼ばれる。

## 関連項目
* 階層ベイズモデル
* 周辺分布
* 条件付き確率分布
* 同時分布
* 畳み込み
* EMアルゴリズム

## 脚注

## 参考文献
* 
* 
* 
*