前置き
なんでこんなのを書こうと思ったんだっけ. たぶん「周辺尤度はカルバック・ライブラー情報量に基づく情報量規準とは考え方が異なる」みたいな文をどっかで見て, ちょっとつっこみたくなったからだった気がする.
用語
すべてのデータを , すべての未知パラメータを とまとめて置き, 尤度を , 事前分布を とする.
このとき事後分布 は次の式で表される.
.
右辺の分母である はエビデンスとか周辺尤度と呼ばれ, モデルの比較に用いられることがある. エビデンスというのはあまりいい術語とは思えないけど, まあそう呼ばれる. 値が大きいほうがいいモデルであるとされる.
周辺尤度の対数をとって符号を反転したもの
は自由エネルギーと呼ばれる.
カルバック・ライブラー情報量から見た自由エネルギー
データがなんらかの確率分布 から生成されていると仮定し, その分布を と推測したとする.
カルバック・ライブラー情報量()を次のように定義する.
.
第1項はデータを生成した真の分布 のみによって決まる量であり, 推測された に依存しない.
第2項が小さいほどカルバック・ライブラー情報量は小さくなる.
つまり, 第2項が小さいほどよい推測である.
第2項を と置き, 汎化損失と呼ぶことにする.
.
ところで, 尤度と事前分布が与えられれば, 次のように未知パラメータを事前分布の下で平均して消去することができる.
は言わば「データなしでモデルだけから作った予測分布」である.
データを生成した真の分布 を と推測したときの汎化損失は
で与えられる.
汎化損失そのものを知ることができればそれに越したことはないが, 無理な相談なので真の分布 による平均(積分)をデータ による標本平均で近似することにすると次のようになる.
右辺は自由エネルギーである.
つまり自由エネルギーが小さいモデルを選ぶことは, カルバック・ライブラー情報量を小さくするモデル(尤度と事前分布のセット)を, 経験的に選んでいることになる.