こんにちは。kzです。
前回、MAP推定までやりました。
しかしプロットもコードも書かなかったのでMAP推定をプロットするところからはじめます。復習がてらにね
この青いプロットは今回のテーマであるベイズ推定です。まぁそれは置いておいて、「尤度x事前分布」の最大化がMAP推定でした。プロットすると上図のように山が最も高くなる点になります。
MAP推定とベイズ推定の違いを簡単に
MAP推定は右辺の分子の最大化でした。一方でベイズ推定とは分母を切り捨てずちゃんと計算して左辺をちゃんと導出します。(なぜ切り捨ててよかったというと

はパラメータ

に依存しないからです。)
ということはベイズの方が難しいんですよ。(ちなみに最尤法、MAP推定は値を推定するので点推定とも呼ばれます。)
なぜベイズ推定したいのか?
これはあくまで僕なりの理解と見解なのでそれを踏まえて聞いて欲しいです。
前述通りMAP推定よりベイズ推定の方が難しいです。理由は分母の計算があるからです。この計算は積分の形になり、さらにいうと計算できなくて困っているくらいなのです(MCMCとかで対応)そこまでしてベイズ推定するメリットはなんなのか?なぜMAP推定ではダメなのか?
僕の理解だとまず、MAPがダメというわけではないです。ベイズ推定の結果がMAP推定と同値的なことになることはあります。
例えばベイズ推定後のパラメータの分布が上のようになったとしましょう。するとベイズ推定最大の利点の一つは「平均をとることもできる」という点だと思っています。説明すると、MAP推定のみの場合は得られる情報は真ん中の山の頂点を指す点、つまり

のみです。
一方で、ベイズ推定をすると事後分布の全体像がわかるため、例えば図においていい山が3つあるので平均をとって
![Rendered by QuickLaTeX.com \[ \theta=\frac{6+10+17}{3}=11\]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-6d39f085872f30a4fbb98a8b7e5698a8_l3.png)
のようにパラメータをより主観的に微調整できるのです。なぜ主観的という言葉を使ったかというとそもそもベイズの根幹に
直感・主観
を反映させるというアイデアがあるからです。
ベイズ推定
最も簡単なのでコイン投げを例に取りましょう。なぜ簡単かというとパラメータが一つで済むからです。というのは表が出る確率を

とすると自動的に裏が出る確率が

ということです。
加えて計算も楽なのです。(僕は数学が苦手なので複雑な理論とかはできない。)ここではパラメータ

の分布をベイズ推定で求めると同時に、その分布の変化を可視化することで理解を深めます。
パラメータの確率密度関数を

、コイン投げの結果

を

、

で表し、確率変数を

と表すことにします。
例えば
![Rendered by QuickLaTeX.com \[f_n(\theta) = f_n(\theta|c=H)\]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-38e3cef8a356ffccb64c5a0cdfe754fd_l3.png)
は表が出た時のベイズ推定で得た分布ということです。これを踏まえると

回目の更新では次のようになります。
![Rendered by QuickLaTeX.com \[f_{n+1}(\theta) = f_{n+1}(\theta|c=x_n) = \frac{p(c=x_n|\theta) f_n(\theta)}{p(c=x_n)} \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-0cbadb5d80711ea8fae202cfc1db302c_l3.png)
ただし
![Rendered by QuickLaTeX.com \[ p(c=x_n) = \int_0^1 p(c=x_n|\theta)f_n(\theta) d\theta \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-2041043353475410d6b82e46b53c3747_l3.png)
では事前分布を決めましょう。これは上式の

に相当します。事前分布とはパラメータに仮定する分布でした。今回のパラメータ

はコインが表をだす確率です。僕なら事前分布に一様分布を仮定します。なぜなら表も裏も同じくらい出るだろうと思っているからです。
え?一様分布はいや?なら例えば次のような例を考えてみましょう。コイン持っていた人間が表がめっちゃ好きな人間なら事前分布は右に偏ったものになりますよね。つまり一様分布とはかけ離れ

付近で最大値をとるようないわばデルタ分布とかを仮定することになります。しかし、話がややこしくなるんです。なので一様分布で許してください。
つまり
![Rendered by QuickLaTeX.com \[ f_1(\theta) = 1 \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-6825cbf6f35e09a6d97176f40415846a_l3.png)
前回の記事を読んでくれた方は共役事前分布は?と思ったかもしれないがいったん忘れてください。なぜならとことん話が簡単になるからですよ。
残るは尤度、上式の

のみです。尤度とはなんだった?それは試行の結果をパラメータを用いて表現したモデルでした
つまり、

だったとするとその事象に対する尤度は
![Rendered by QuickLaTeX.com \[ p(c=H|\theta) = \theta \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-f0e0771fcac218352411cb68848c7918_l3.png)
となります、実にシンプルだろ?もし二項分布とかでやると計算がうわああってなります。(サイコロのようによりマルチなものをやろうとするとディリクレ分布とかが絡んできて、うわあああってなります)
ではベイズ推定してみよう。前述通り

というデータが得られたとします。まずは分母つまり次の積分を計算しましょう。
![Rendered by QuickLaTeX.com \[ p(c=x_1) = \int_0^1 p(c=H|\theta)f_n(\theta) d\theta \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-f049dbb6f09fa7a28a69e69ee292f038_l3.png)
代入すると
![Rendered by QuickLaTeX.com \[ p(c=x_1) = \int_0^1 \left( \theta \times 1 \right) d\theta = \frac{1}{2} \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-6c982961a3ce75c28f0efd0f1bad66e6_l3.png)
では分子も計算します
![Rendered by QuickLaTeX.com \[f_{2}(\theta) = f_{2}(\theta|c=x_1) = \frac{p(c=H|\theta) f_1(\theta)}{1/2} \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-c79955c1332340570eae9facda933e4b_l3.png)
![Rendered by QuickLaTeX.com \[f_{2}(\theta) = \frac{ \theta \times 1}{1/2} = 2\theta \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-b79266538269577f33e42598292709de_l3.png)
もとまりました。少しまとめてみましょうか。
- (試行前)裏表同じくらいで出るよなー?
- (試行)Headが出た
- (試行後)まじ?まさか表出やすい?けどゆうてまだ一回目やしな
今この3にいるわけです。ではもう一度ベイズ推定してみましょう。

は

というデータを用いたベイズ推定における事前分布となることに注意します。
二回目の試行も一回目と同じく

だったとします。すると尤度は
![Rendered by QuickLaTeX.com \[ p(c=H|\theta) \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-69ebe46485700da040174f0b9984506d_l3.png)
なのでこれを用いて先ほどと同様に積分と分布を計算します
![Rendered by QuickLaTeX.com \[ p(c=x_2) = \int_0^1 \left( \theta \times f_2(\theta) \right) d\theta = \frac{2}{3} \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-871a72f7b931a84b360ef18e149086f6_l3.png)
![Rendered by QuickLaTeX.com \[f_{3}(\theta) = f_{3}(\theta|c=x_2) = \frac{p(c=H|\theta) f_2(\theta)}{2/3} \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-7ef18131e0a02c947c9327917f140b91_l3.png)
![Rendered by QuickLaTeX.com \[f_{3}(\theta) = \frac{ \theta \times 2\theta}{2/3} = 3\theta^2 \]](https://research.miidas.jp/wp-content/ql-cache/quicklatex.com-f62f3c8a7d46f42541c41c0d72ad2605_l3.png)
となりました。先ほど同様にまとめます。
- (試行前)裏表同じくらいで出るよなー?
- (試行)Headが出た
- (試行後)まじ?まさか表出やすい?けどゆうてまだ一回目やしな
- (試行)Headが出た
- (試行後)うせやろ?これ表しかでーへんパターンやろ
こんな気持ちですよね。この気持ちが分布(密度関数

)として現れているんです。というのは

に注目してみると



とこれ単調増加具合が増えてますよね。可視化してみます。
まとめますとベイズ推定で得られる事後分布とはデータを知った後のパラメータに対する気持ちの分布なのです。今の例だと二回も連続で表が出たので表の出る確率が1に近いほど確率密度が高いのです。
もっとシュミレーションすると
ディリクレ分布でもやりたいんですけど、もう計算が酷くて、、、それよりmcmcしたいですよね。数値計算で積分求めるなんて素敵だと思いませんか?でわ