共役事前分布

ベイズ確率論では、尤度関数 が与えられた場合事後分布が事前確率分布同じ確率分布族に属する場合、事前分布と事後分布はその尤度関数に関する共役分布と呼ばれ、事前分布は尤度関数の共役事前分布と呼ばれます。

共役事前分布は代数的な便宜であり、事後分布の閉形式の表現を与えます。そうでない場合は、数値積分が必要になる場合があります。さらに、共役事前分布は、尤度関数が事前分布をどのように更新するかを明確にする可能性があります。

この概念と「共役事前分布」という用語は、ハワード・ライファロバート・シュライファーによってベイズ決定理論の研究の中で導入された[1]同様の概念は、ジョージ・アルフレッド・バーナードによって独立に発見されていた[2]

共役事前分布の形は、一般に、分布の確率密度関数または確率質量関数を調べることで決定できます。例えば、[0,1]における成功確率不明なベルヌーイ試行成功回数からなる確率変数を考えてみましょう。この確率変数は二項分布に従い、確率質量関数は 次のようになります。

通常の共役事前分布は、パラメータ( , ) を持つベータ分布です。

ここで、およびは、既存の信念または情報を反映するように選択され(均一分布を与えます正規化定数として機能するベータ関数です

この文脈では、およびは、基礎モデルのパラメータ(ここでは )と区別するために、ハイパーパラメータ(事前分布のパラメータ)と呼ばれます。共役事前分布の典型的な特徴は、ハイパーパラメータの次元が元の分布のパラメータの次元よりも1つ大きいことです。すべてのパラメータがスカラー値の場合、パラメータよりもハイパーパラメータが1つ多くなりますが、これはベクトル値パラメータと行列値パラメータにも当てはまります。(指数に関する一般的な記事 を参照してください。また、大きな次元が関係する例として、多変量正規分布共分散行列の共役事前分布であるウィシャート分布も検討してください。)

このランダム変数をサンプリングして成功と失敗を得ると、

これはパラメータ を持つ別のベータ分布です。この事後分布は、より多くのサンプルの事前分布として使用できます。ハイパーパラメータは、追加情報が追加されるたびに単純に追加されます。

解釈

疑似観察

共役事前分布のハイパーパラメータは、パラメータによって指定された特性を持つ疑似観測値を一定数観測したことに対応すると考えると、多くの場合有用です。例えば、ベータ分布と の値は、事後モードを用いて最適なパラメータ設定を選択した場合の成功と失敗、または事後平均を用いて最適なパラメータ設定を選択した場合の成功と失敗に対応すると考えることができます。一般に、ほぼすべての共役事前分布において、ハイパーパラメータは疑似観測値の観点から解釈できます。これは、しばしば複雑になりがちな更新方程式の背後にある直感的な理解を深め、事前分布に適したハイパーパラメータを選択するのに役立ちます。

動的システム

共役事前分布の条件付けは、ある種の(離散時間)動的システムを定義するものと考えることができます。与えられたハイパーパラメータセットから、入力データによってこれらのハイパーパラメータが更新されるため、ハイパーパラメータの変化はシステムの一種の「時間発展」、つまり「学習」と見なすことができます。異なる点から開始すると、時間の経過とともに異なるフローが生成されます。これもまた、線形演算子によって定義される動的システムと類似していますが、異なるサンプルが異なる推論につながるため、これは単純に時間に依存するのではなく、むしろ時間経過に伴うデータに依存することに注意してください。関連するアプローチについては、再帰ベイズ推定データ同化を参照してください。

実例

あなたの街でレンタカーサービスが運営されているとしましょう。ドライバーは市内であればどこでも車を返却・回収できます。アプリを使って車を探してレンタルできます。

一日のどの時間帯でも、自宅の住所から近い距離でレンタカーが見つかる確率を知りたいとします。

3 日間にわたってアプリを確認すると、自宅住所から近い距離に次の数の車があることがわかります。

データがポアソン分布に従うと仮定します。その場合、モデルのパラメータの最大尤度推定値を計算すると、次のようになります。この最大尤度推定値を用いて、特定の日に少なくとも1台の車が利用可能である確率を計算できます。

これは、観測データ を生成した可能性が最も高いポアソン分布です。しかし、データは、、 、などを持つ別のポアソン分布から来ている可能性もあります。実際、観測データを生成する可能性のあるポアソン分布は無数に存在します。データ点が比較的少ないため、どのポアソン分布がこのデータを生成したのかは、正確には分かりません。直感的には、代わりに、観測したデータ を前提として、各ポアソン分布の確率を、それぞれの確率で重み付けした加重平均をとるべきです

一般的に、この量は事後予測分布 と呼ばれます。ここで、 は新しいデータ点、は観測データ、はモデルのパラメータです。ベイズの定理を用いると、 を展開することができます。したがって、この積分は一般に計算が困難です。しかし、共役事前分布 を選択した場合、閉じた形式の式を導くことができます。これは、以下の表の事後予測列に相当します。

例に戻ると、ポアソン分布の割合に対する事前分布としてガンマ分布を選択した場合、事後予測は負の二項分布となり、これは下の表から分かります。ガンマ分布は2つのハイパーパラメータ によってパラメータ化されており、これらを選択する必要があります。ガンマ分布のプロットを見ると、平均的な自動車台数に対する妥当な事前分布であると思われる が選択されます。事前ハイパーパラメータの選択は本質的に主観的であり、事前の知識に基づいています。

事前ハイパーパラメータ事後ハイパーパラメータを計算できる

事後ハイパーパラメータが与えられれば、最終的に事後予測値を計算する。

このはるかに保守的な推定値は、事後予測で考慮されるモデル パラメータの不確実性を反映しています。

共役分布表

nを観測数とします。以下のすべてのケースにおいて、データは n 個の点(多変量の場合はランダムベクトル)から構成されている仮定ます

尤度関数が指数族に属する場合、共役事前分布が存在し、これもまた指数族に属することが多いです。「指数族: 共役分布」を参照してください。

尤度関数が離散分布である場合

可能性
モデルパラメータ
共役事前分布(および事後分布)
事前ハイパーパラメータ
事後ハイパーパラメータ[注1]
ハイパーパラメータの解釈事後予測[注2]
ベルヌーイp(確率)ベータ成功、失敗[注3]
ベルヌーイ

試行回数が既知の二項分布、 m
p(確率)ベータ成功、失敗[注3]
ベータ二項分布

既知の故障数rを持つ負の二項分布
p(確率)ベータ成功、失敗の総数[注3](つまり、実験、固定されていると仮定)

(ベータ負二項分布)

ポアソンλ(レート)ガンマ間隔内の合計発生回数
負の二項分布
[注4]間隔内の合計発生回数
負の二項分布
カテゴリカルp(確率ベクトル)、 k(カテゴリの数、つまりpの大きさ)ディリクレカテゴリーIの観測数はどこですか?カテゴリーの出現[注3]
カテゴリカル
多項式p(確率ベクトル)、 k(カテゴリの数、つまりpの大きさ)ディリクレカテゴリーの出現[注3]
ディリクレ多項式

総人口規模Nが既知の超幾何モデル
M(対象会員数)ベータ二項分布[3]成功、失敗[注3]
幾何学的p 0(確率)ベータ実験、完全な失敗[注3]

尤度関数が連続分布の場合

可能性
モデルパラメータ
共役事前分布(および事後分布)事前ハイパーパラメータ
事後ハイパーパラメータ[注1]
ハイパーパラメータの解釈事後予測[注5]

既知の分散σ 2を持つ正規分布
μ(平均)普通平均は、全体の精度(すべての個々の精度の合計)と標本平均を使用して観測から推定された。[4]

既知の精度τを持つ正規分布
μ(平均)普通平均は、全体の精度(すべての個々の精度の合計)と標本平均を使用して観測から推定された。[4]
平均μ
が既知の正規分布
σ 2(分散)逆ガンマ [注 6]分散は、標本分散(すなわち、既知の平均からの偏差二乗和) を持つ観測値から推定された。 [4]
平均μ
が既知の正規分布
σ 2(分散)スケール逆カイ二乗分散は標本分散を含む観測値から推定された[4]
平均μ
が既知の正規分布
τ(精度)ガンマ [注4]精度は、サンプル分散(すなわち、既知の平均からの偏差二乗和) を含む観測値から推定された。 [4]
正常[注7]μσ 2交換可能性
を仮定
正規逆ガンマ
  • 標本平均は
平均は標本平均を用いた観測値から推定され、分散は標本平均偏差の二乗和を用いた観測値から推定された。 [4]
普通μτ交換可能性
を仮定
正規ガンマ
  • 標本平均は
平均は標本平均を用いた観測値から推定され、精度は標本平均偏差の二乗和を用いた観測値から推定された。 [4]
共分散行列Σが既知の多変量正規分布μ(平均ベクトル)多変量正規分布
  • 標本平均は
平均は、全体の精度(すべての個々の精度の合計)と標本平均を使用して観測から推定された。[4]
精度が既知の多変量正規分布Λμ(平均ベクトル)多変量正規分布
  • 標本平均は
平均は、全体の精度(すべての個々の精度の合計)と標本平均を使用して観測から推定された。[4]
平均μが既知の多変量正規分布Σ(共分散行列)逆ウィシャート共分散行列は、観測値と対偏差積の合計から推定された。[4]
平均μが既知の多変量正規分布Λ(精度行列)ウィシャート共分散行列は、観測値と対偏差積の合計から推定された。[4]
多変量正規分布μ(平均ベクトル)とΣ(共分散行列)正規逆ウィシャート
  • 標本平均は
平均は標本平均を用いた観測値から推定され、共分散行列は標本平均と対偏差積の合計を用いた観測値から推定された。[4]
多変量正規分布μ(平均ベクトル)とΛ(精度行列)通常のウィシャート
  • 標本平均は
平均は標本平均を用いた観測値から推定され、共分散行列は標本平均と対偏差積の合計を用いた観測値から推定された。[4]
制服パレート最大値を持つ観測値

最小値がわかっているパレート図x m
k(形状)ガンマ各観測値の大きさの合計(つまり、各観測値と最小値の比の対数を持つ観測値

形状βが既知のワイブル
θ(スケール)逆ガンマ[3]各観測値のβ乗の合計を持つ観測値
対数正規分布事後ハイパーパラメータのデータに自然対数を適用した後の正規分布の場合と同じです。詳細については、Fink (1997, pp. 21–22) を参照してください。
指数関数λ(レート)ガンマ [注4]観察結果は[5]
ロマックス分布

形状αが既知のガンマ
β(レート)ガンマ合計を伴う観測 [注 8]

既知の形状αを持つ逆ガンマ
β(逆スケール)ガンマ合計を伴う観測

既知のレートβを持つガンマ
α(形状)または観測値(推定用推定用)と積
ガンマ[3]α(形状)、β(逆スケール)積の観測値から推定された和の観測値から推定された
ベータαβ観測から推定された補集合の積と

参照

注記

  1. ^ ab は、事前ハイパーパラメータと同じ記号にプライム(')を付けて表記 する。例えば、
  2. ^ これは、観測データ点を与えられた場合の、パラメータを周辺化して表した新しいデータ点の事後予測分布です。プライム記号('')が付いた変数は、パラメータの事後値を示します。
  3. ^ abcdefg ベータ分布のパラメータを成功と失敗の数に関して正確に解釈するには、分布から点推定値を抽出する関数が何であるかに依存します。ベータ分布の平均は成功と失敗に対応し、最頻値は成功と失敗に対応します。ベイズ主義者は一般に、点推定値として事後最頻値よりも事後平均を用いることを好みます。これは2次損失関数によって正当化され、との使用は数学的に便利です。一方、との使用には、一様事前分布が0の成功と0の失敗に対応するという利点があります。同じ問題がディリクレ分布にも当てはまります。
  4. ^ abc βはレートまたは逆スケールです。ガンマ分布のパラメータ化ではθ = 1/ βおよびk = αです。
  5. ^ これは、観測データ点が与えられた場合に、パラメータを周辺化して得られる新しいデータ点の事後予測分布です。プライム記号(')の付いた変数は、パラメータの事後値を示します。および、それぞれ正規分布およびスチューデントのt分布、または多変量の場合は多変量正規分布および多変量t分布を指します。
  6. ^ 逆ガンマの観点からはスケールパラメータ
  7. ^ 平均と分散が不明だが、両者の間には固定された線形関係がある、異なる共役事前分布が、共役混合分布としての一般化逆ガウス分布を持つ正規分散平均混合分布に見つかります。
  8. ^ 複合ガンマ分布です。ここでは一般化されたベータプライム分布です。

参考文献

  1. ^ ハワード・ライファロバート・シュライファー『応用統計的意思決定理論』ハーバード大学経営大学院研究部、1961年。
  2. ^ Jeff Miller他著「数学用語の最も古い使用例」『共役事前分布』。電子文書、2005年11月13日改訂、2005年12月2日閲覧。
  3. ^ abc Fink, Daniel (1997). 「共役事前分布の概要」(PDF) . CiteSeerX  10.1.1.157.5540 . 2009年5月29日時点のオリジナル(PDF)からアーカイブ。
  4. ^ abcdefghijklm Murphy, Kevin P. (2007), ガウス分布の共役ベイズ分析(PDF)
  5. ^ Liu, Han; Wasserman, Larry (2014). 統計的機械学習(PDF) . p. 314.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Conjugate_prior&oldid=1322994043"