正規逆ガンマ分布（せいきぎゃくガンマぶんぷ、）は、実数値の確率変数と正の確率変数からなる連続確率分布である。正の確率変数を分散とみなし、その周辺分布を逆ガンマ分布、実数値の確率変数の条件付き分布を正規分布とすることで定義される。ベイズ統計学では、平均と分散がともに未知の正規モデルに対する共役事前分布として用いられる。
分散の代わりに精度、すなわち分散の逆数を確率変数として用いたものが正規ガンマ分布である。
定義 逆ガンマ分布には複数の母数化がある。本項では形状母数を 、尺度母数を とし、その確率密度関数を
とする。
確率変数 と が
を満たすとき、確率変数の組 は 母数 の正規逆ガンマ分布に従うといい、
と表す。ここで
である。
同時確率密度関数は
となる。
は正規成分の中心を定める。 が大きいほど、同じ のもとで は の近くに集中する。 と は の逆ガンマ分布を定める。
条件付き分布と周辺分布 定義から、分散の周辺分布は
であり、分散を与えたときの条件付き分布は
である。
を積分して消去すると、 の周辺確率密度関数は
となる。これは自由度 、位置母数 、尺度の二乗 のt分布であり、
と表せる。ここでは を、自由度 、位置母数 、尺度の二乗 のt分布とする。
また、同時密度を について整理すると、
が得られる。
の条件付き分散が に依存するため、 と は一般には独立ではない。
モーメント の期待値は のときに存在し、
である。分散は のときに存在し、
となる。
については、 のとき
のとき
である。
同時確率密度関数の最頻点は
である。
共役事前分布としての利用 正規モデル 観測値 が、平均 、分散 の正規分布から 条件付き独立に得られるとする。
平均と分散の事前分布として
を置くことは、
と置くことに等しい。
標本平均と平均まわりの平方和を
とする。このとき、事後分布も正規逆ガンマ分布となり、
である。更新後のハイパーパラメータは
となる。
は、事前分布の位置母数 と標本平均 の加重平均である。 は、平均に関する事前情報の強さを表し、 事前の観測数に相当する量として解釈できる。
正規・逆カイ二乗分布による母数化では、
と対応する。この表現では が分散に関する事前の自由度、 が事前の尺度を表し、
が事前の平方和に相当する。
周辺事後分布と事後予測分布 分散を積分して消去すると、平均の周辺事後分布は
となる。
同じ正規モデルから得られる将来の観測値を とすると、その事後予測分布は
である。
ベイズ線形回帰 ベイズ線形回帰でも同じ共役構造が用いられる。回帰係数ベクトルを 、誤差分散を とすると、代表的な事前分布は
である。正規線形モデルのもとでは、事後分布も条件付き多変量正規分布と逆ガンマ分布の組合せとなる。
他の分布との関係 正規ガンマ分布 が正規逆ガンマ分布に従うとき、
とおけば、
となり、 は正規ガンマ分布に従う。 したがって、正規ガンマ分布と正規逆ガンマ分布は、同じ共役構造を それぞれ精度と分散によって表したものである。
正規・逆カイ二乗分布 を用いて同じ分布を表すこともできる。母数を
と置けば、正規逆ガンマ分布は正規・逆カイ二乗分布と同じ分布になる。
正規逆ウィシャート分布 平均ベクトルと共分散行列がともに未知の多変量正規分布では、 を用いた
が共役事前分布となる。正規逆ガンマ分布はその1次元の場合に相当する。
乱数の生成 正規逆ガンマ分布に従う乱数は、条件付き分布による定義を利用して生成できる。
を生成する。 得られた に対し、 を生成する。
この2段階で得られた組 は、 母数 の正規逆ガンマ分布に従う。
脚注
関連項目 共役事前分布 正規分布 逆ガンマ分布 正規ガンマ分布 ベイズ線形回帰 事後予測分布