確率論および統計学において、複合確率分布(混合分布または伝染分布とも呼ばれる)とは、確率変数が何らかのパラメータ化された分布に従って分布していると仮定した場合に得られる確率分布であり、その分布のパラメータの一部自体が確率変数である。パラメータが尺度パラメータである場合、得られる混合分布は尺度混合分布とも呼ばれる。
複合分布(「無条件分布」)は、パラメータ化された分布(「条件付き分布」)のパラメータを表す潜在確率変数について周辺化(積分)した結果である。
複合確率分布とは、確率変数が何らかのパラメータ化された分布に従って分布する未知のパラメータを持つそれはまた別の分布に従って分布される結果として得られる分布複利計算の結果として生じる分布であると言われているとパラメータの分布混合分布または潜在分布とも呼ばれます。技術的には、無条件分布周辺化の結果つまり、未知のパラメータを積分消去することによってその確率密度関数は次のように表される。
変数の一部または全部がベクトルである場合にも、同様の式が適用されます。
上記の式から、複合分布は本質的に周辺分布の特殊なケースであることがわかります。そしては 、そしてその周辺分布として化合物の結果が示される。 . ドメインがが離散的である場合、その分布は混合分布の特殊なケースとなります。
複合分布各分布の具体的な表現、およびどのパラメータに依存するかによって決まります。分布に従って分布する、そしてパラメータパラメータが含まれます疎外されたり、統合されたり、排除されたりしない人々。は、そして、後者が平均と分散でパラメータ化された2パラメータ分布である場合、いくつかの一般的な性質が存在する。
複合分布の最初の2つのモーメントは、全期待値の法則と全分散の法則によって与えられる。
平均が配布されるひいては、および分散上記の表現は、そして、 どこ分散は。
させてそして確率分布は平均と分散でパラメータ化され、確率密度関数を次のように表すそしてそれぞれ、確率密度我々は持っていますそして、パラメータ化からそしてそれしたがって、複合分布の平均は上記の最初のモーメントの式に従って。
分散は、 そして事実を考慮すると、そして最終的に私たちは
一般的な検定統計量の分布は、帰無仮説の下で複合分布となる。例えば、スチューデントのt検定(検定統計量は正規分布とカイ二乗分布の確率変数の比となる)やF検定(検定統計量は2つのカイ二乗分布の確率変数の比となる)などが挙げられる。
複合分布は、過分散、つまり特定のモデルで想定されるよりも大きな変動を示す結果をモデル化するのに役立ちます。たとえば、カウントデータは一般的にポアソン分布を使用してモデル化されます。ポアソン分布の分散は平均に等しくなります。この分布は、ガンマ分布を介して実装されるレートパラメータの変動を許容することで一般化でき、その結果、周辺負の二項分布が得られます。この分布は形状がポアソン分布に似ていますが、より大きな分散を許容します。同様に、二項分布は、成功確率パラメータにベータ分布を組み合わせることで、追加の変動を許容するように一般化でき、その結果、ベータ二項分布が得られます。
複合分布の特殊なケースと見なせる遍在する周辺分布に加えて、ベイズ推論では、上記の表記において、F が将来の観測値の分布を表し、G が観測データのセットに含まれる情報に基づいてFのパラメータの事後分布である場合に、複合分布が発生します。これにより、事後予測分布が得られます。同様に、事前予測分布では、Fは新しいデータポイントの分布であり、G はパラメータの事前分布です。
確率分布の畳み込み(確率変数の和の確率分布を導出するため)は、合成の特殊なケースと見なすこともできます。この場合、和の分布は、一方の項をもう一方の項のランダムな位置パラメータとして考えることによって本質的に得られます。[ 1 ]
指数分布族から導出される複合分布は、多くの場合、閉じた形式を持つ。解析的な積分が不可能な場合は、数値計算法が必要となる場合がある。
複合分布は、モンテカルロ法、すなわちランダムサンプルを生成することによって比較的容易に調査できます。分布から乱数を生成することは多くの場合容易です。同様にそしてこれらを利用して縮退ギブスサンプリングを実行し、以下のサンプルを生成する。。
複合分布は通常、有限個の混合成分を用いた混合分布によって十分な程度近似することができ、近似密度、分布関数などを導出することができる。 [ 1 ]
複合分布モデルにおけるパラメータ推定(最尤推定または最大事後確率推定)は、 EMアルゴリズムを利用することで簡略化できる場合がある。[ 2 ]
例えば複合ポアソン分布や複合ポアソン過程の定義などで用いられる「複合分布」という概念は、本稿で定義されるものとは異なります。本稿における「複合分布」の意味は、例えばベイズ階層モデルなどで用いられる意味に対応します。