{
"cells": [
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# Juliaで学ぶ古典モンテカルロシミュレーション\n",
"# 線形代数で考えるマルコフ連鎖\n",
"前回までで、ある確率分布関数$P(x)$を用意できれば、局在した被積分関数も精度よく計算できることがわかった。\n",
"次の問題は、そのような確率分布関数を常に用意するにはどうすればいいか、ということである。正規分布などの標準的な分布はJuliaにあるので呼び出せば良いが、自分で任意の分布を設定したい時はどうすればよいだろうか?その一つの方法が、マルコフ連鎖モンテカルロ法である。 \n",
"このノートでは、確率の議論を使わずに線形代数を使った考え方で、マルコフ連鎖モンテカルロ法について見てみる。 \n",
"特に、マルコフ連鎖において確率分布がある分布に収束する原因であるべき乗法について触れ、実際に実装して確かめてみる。\n",
"## 確率分布を得る、とは\n",
"ある確率分布$P(x)$に従う変数$x$の分布が欲しい。 \n",
"$x$が連続変数だと何かと面倒なので、離散変数としよう。つまり、$N$個の$x_i$が何かの分布関数$P(x_i)$に従っていることを考える。\n",
"例えば、正規分布であれば、"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"\n",
"\n"
]
},
"execution_count": 4,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"using Distributions\n",
"using Plots\n",
"N = 100\n",
"x = linspace(-10,10,N)\n",
"m = Normal(0,1)\n",
"f(x) = pdf(m,x)\n",
"plot(x,f)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"という分布となる。 \n",
"確率、というのは(自分にとっては)わかりにくいので、もう少し具体的に考えたい。\n",
"重みつきモンテカルロ積分では何回も乱数を振って$x_i$を得る。ここで、$M$回$x_i$を得たとしよう。そして、$M$回の試行で$x_i$を何回得られたかを表す数を$N^M(x_i)$とする。\n",
"十分に$M$が大きい時を考える。\n",
"もし一様分布であれば、$N^M(x_1)=N^M(x_2)=,\\cdots,N^M(x_{M})$となる。正規分布であれば、上のグラフに$M$をかけたものが$N^M(x_i)$となる。\n",
"$M$を増減させることを考えると、どんどん増えていく$N^M$よりも、試行回数で割った$N^M/M$の方がわかりやすい。つまり、$P(x_i)$を使った方が良い。まさにこれは確率である。 \n",
"乱数の回数を1回増やし、$M+1$番目の選ばれた変数を$x_i^{M+1}$とすると、\n",
"$$\n",
"N^{M+1}(x_i) = N^{M}(x_i) + 1\n",
"$$\n",
"となる。確率で書けば、\n",
"$$\n",
"P^{M+1}(x_i) = \\frac{N^{M+1}(x_i)}{M+1} = \\frac{N^{M}(x_i) + 1}{M+1}\n",
"$$\n",
"となり、$M$は十分に大きい時$M+1 \\sim M$となるので\n",
"$$\n",
"P^{M+1}(x_i) = P^M(x_i)\n",
"$$\n",
"が得られる。つまり、一回増やしたところで確率分布が変わらない状態、定常状態である。この状態であれば、常に$x_i$の確率分布は$P(x_i)$である、と言える。 \n",
"さて、ここまでの議論の中で、\"乱数の回数を1回増やし\"、の部分が不明であることがわかる。どのように$x_i$を選べば定常状態になるのだろうか? \n",
"$M$番目にとっていた変数を$x_j$としよう。\n",
"$x_j$は、ある確率$T(j \\rightarrow i)$で$x_i$になるとする。 \n",
"そして、この確率$T$は$M$回めより前の状態に寄らないとする(マルコフ連鎖)。\n",
"この時、\n",
"$M$番目に$x_j$が選ばれていた確率は$P^M(x_j)$であり、「$x_j$が選ばれていた状態で次が$x_i$になる確率」、すなわち、条件付き確率、は$T(j \\rightarrow i)$である。\n",
"そして、$M+1$番めに$x_i$が選ばれる確率$P^{M+1}(x_i)$は、\n",
"$$\n",
"P^{M+1}(x_i) = \\sum_j T(j \\rightarrow i)P^M(x_j)\n",
"$$\n",
"と書ける。十分に大きな$M$のとき、$P^{M+1}(x_i) = P^M(x_i)$を使うと、\n",
"$$\n",
"P(x_i) = \\sum_j T_{ij} P(x_j)\n",
"$$\n",
"となる。ここで、$T(j \\rightarrow i) \\equiv T_{ij}$とかきかえた。その結果、\n",
"$T_{ij}$を行列$T$の成分とみなすことができ、$N$次元のベクトル${\\bf y} =(P(x_1),\\cdots,P(x_N))^T$を用意すれば、\n",
"$$\n",
"T {\\bf y} = {\\bf y}\n",
"$$\n",
"が$M$が大きい時成り立つ必要がある。このような$T$を作る方法を考えよう。 \n",
"\n",
"まず、我々は一様乱数しか使えないとしよう。つまり、$1$回めの試行は一様乱数によって$x_i$が選ばれるとする。\n",
"この時の確率分布を$P^1(x_i) = P_{\\rm uniform}(x_i)$とする。この分布から作ったベクトルを\n",
"${\\bf y}^0 = (P_{\\rm uniform}(x_1),\\cdots,P_{\\rm uniform}(x_N))^T$とする。\n",
"もし、このベクトル${\\bf y}^0$に$T$を$M$回作用させた結果、\n",
"$$\n",
"T^M {\\bf y}^0 \\sim {\\bf y}\n",
"$$\n",
"が得られたとすれば、$M+1$回めには\n",
"$$\n",
"T {\\bf y} = {\\bf y}\n",
"$$\n",
"が成り立つことになる。\n",
"つまり、\n",
"適当な${\\bf y}^0$から出発して$T$をたくさん作用させ、最終的に${\\bf y}$に収束するような行列$T$を作ることができればよい。\n",
"\n",
"\n",
"## ベクトルの収束とべき乗法\n",
"ある同じ行列を何回もかけた時、得られるベクトルは収束するのだろうか? \n",
"実は、固有値と固有ベクトルを求める手法であるべき乗法と呼ばれる手法では、全く同じことを行っている。 \n",
"行列$A$が固有値$\\lambda_n$と固有ベクトル${\\bf y}_n$を持つとする:\n",
"$$\n",
"A {\\bf y}_n = \\lambda_n {\\bf y}_n\n",
"$$\n",
"この時、任意のベクトル${\\bf y}^0$を$A$の固有ベクトルで\n",
"$$\n",
"{\\bf y}^0 = \\sum_n c_n {\\bf y}_n\n",
"$$\n",
"で展開できる。$c_n$は展開係数である。 \n",
"このベクトルに$M$回$A$をかけてみると、\n",
"$$\n",
"A^M{\\bf y}^0 = \\sum_n c_n (\\lambda_n)^M {\\bf y}_n\n",
"$$\n",
"となる。ここで、固有値$\\lambda_n$を絶対値と位相に分けると$\\lambda_n = |\\lambda_n| e^{i \\phi_n}$となり、\n",
"$$\n",
"A^M{\\bf y}^0 = \\sum_n c_n |\\lambda_n|^M e^{i M \\phi_n} {\\bf y}_n\n",
"$$\n",
"が得られる。すべての固有値$\\lambda_n$に対して$|\\lambda_n|<1$であれば、この操作は収束し、絶対値最大の固有値$\\lambda_{max}$を持つ固有ベクトル\n",
"$$\n",
"\\lim_{M \\rightarrow \\infty} A^M{\\bf y}^0 = c_{max} |\\lambda_{max}|^M e^{i M \\phi_{max}} {\\bf y}_{max}\n",
"$$\n",
"となる。\n",
"つまり、行列を複数回かけるだけで絶対値最大固有値を持つ固有ベクトルを得ることができるのである。 \n",
"### べき乗法のテスト\n",
"べき乗法のテストをしてみよう。十分な回数行列$A$をかけた時、$M+1$番目のベクトルと$M$番目のベクトルには\n",
"$$\n",
"{\\bf y}^{M+1} = A {\\bf y}^M = \\lambda_{max} {\\bf y}^M\n",
"$$\n",
"となっているので、内積が${\\bf y}^M \\cdot {\\bf y}^M = 1$と規格化されていれば、\n",
"$$\n",
"\\lambda_{max} = {\\bf y}^{M+1} \\cdot {\\bf y}^M \n",
"$$\n",
"で絶対値最大の固有値を得ることができる。 \n",
"まず、乱数によって適当に行列$A$を作ろう。ここで、以後の議論のために、行列要素は$A_{ij}>0$となるように乱数を振ってみる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 11,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"make_A (generic function with 1 method)"
]
},
"execution_count": 11,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"function make_A(n,乱数シード)\n",
" srand(乱数シード)\n",
" mat_A = rand(n,n)\n",
" return mat_A\n",
"end"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Juliaではrand(n,n)で$n \\times n$の乱数の入った行列を作ってくれるので便利である。\n",
"作った行列の固有値を見てみると、"
]
},
{
"cell_type": "code",
"execution_count": 17,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"λ = Complex{Float64}[5.31627+0.0im, -0.186064+0.701151im, -0.186064-0.701151im, 0.81506+0.0im, 0.332553+0.572704im, 0.332553-0.572704im, -0.363697+0.135496im, -0.363697-0.135496im, 0.278787+0.073673im, 0.278787-0.073673im]\n",
"|λ| = [5.31627, 0.725419, 0.725419, 0.81506, 0.662255, 0.662255, 0.388117, 0.388117, 0.288357, 0.288357]\n"
]
}
],
"source": [
"mat_A = make_A(10,123)\n",
"λ,y = eig(mat_A)\n",
"println(\"λ = \", λ)\n",
"println(\"|λ| = \", abs.(λ))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"となる。この行列の絶対値は$1$を超えているので、このままでは漸化式\n",
"$$\n",
"{\\bf y}^{M+1} = A {\\bf y}^M \n",
"$$\n",
"は発散してしまう。値の発散を避けるために、\n",
"$$\n",
"{\\bf y}^{M+1} = A {\\bf y}^M \\frac{1}{\\sqrt{{\\bf y}^M \\cdot {\\bf y}^M}} \n",
"$$\n",
"として、毎回ベクトルを規格化することにする。ベクトルの規格化は固有ベクトルの大きさにのみ影響を与えるので、\n",
"固有値及び固有ベクトルの成分比には影響を与えない。\n",
"十分大きな$M$では、\n",
"$$\n",
"{\\bf y}^{M+1} \\cdot {\\bf y}^M = \\lambda_{max}\n",
"$$\n",
"となり、この量をモニターしていれば、固有値が得られているかわかる。 \n",
"さて、実装してみよう。"
]
},
{
"cell_type": "code",
"execution_count": 54,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"べき乗法 (generic function with 1 method)"
]
},
"execution_count": 54,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"function べき乗法(M,mat_A,y0)\n",
" y = zeros(typeof(y0[1]),length(y0))\n",
" yold = zeros(typeof(y0[1]),length(y0)) \n",
" c = sqrt(dot(y0,y0))\n",
" y[:] = y0[:]/c\n",
" yold[:] = y0[:]/c\n",
" λ = Float64[]\n",
" ind = Int64[]\n",
"\n",
" for i in 1:M \n",
" y = mat_A*y\n",
" push!(λ,dot(y,yold)) \n",
" c = sqrt(dot(y,y))\n",
" y = y/c\n",
" yold = y\n",
" push!(ind,i)\n",
" end\n",
" return ind,λ,y\n",
"end"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"ただひたすらに行列をかけて、規格化すればよい。 \n",
"eig(A)では絶対値最大の固有値が最初に来るので、それで割ることで精度を見てみると、"
]
},
{
"cell_type": "code",
"execution_count": 58,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"べき乗法の固有値 = 5.316268942890086\n",
"対角化による絶対値最大固有値 = 5.316268947339038 + 0.0im\n"
]
},
{
"data": {
"text/html": [
"\n",
"\n"
]
},
"execution_count": 58,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"N = 10\n",
"mat_A = make_A(N,123)\n",
"y0 = rand(N)\n",
"M = 10\n",
"ind,λ,y = べき乗法(M,mat_A,y0)\n",
"println(\"べき乗法の固有値 = \",λ[end])\n",
"λe,ye = eig(mat_A)\n",
"println(\"対角化による絶対値最大固有値 = \",λe[1])\n",
"plot(ind,λ/abs(λe[1]))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"となり、あっという間に収束していることがわかる。行列のサイズを大きくすると"
]
},
{
"cell_type": "code",
"execution_count": 66,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"べき乗法の絶対値最大固有値 = 500.0521091071624\n",
"対角化による絶対値最大固有値 = 500.0521091071622 + 0.0im\n"
]
},
{
"data": {
"text/html": [
"\n",
"\n"
]
},
"execution_count": 66,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"N = 1000\n",
"mat_A = make_A(N,123)\n",
"y0 = rand(N)\n",
"M = 10\n",
"ind,λ,y = べき乗法(M,mat_A,y0)\n",
"println(\"べき乗法の絶対値最大固有値 = \",λ[end])\n",
"λe,ye = eig(mat_A)\n",
"println(\"対角化による絶対値最大固有値 = \",λe[1])\n",
"plot(ind,λ/abs(λe[1]))"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"これもあっという間に収束する。この収束の速度は、絶対値最大の固有値と絶対値で二番目に大きい固有値の大きさの比で決まる。\n",
"今回の行列では、"
]
},
{
"cell_type": "code",
"execution_count": 60,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Complex{Float64}[500.052+0.0im, -7.23261+5.99742im]\n"
]
}
],
"source": [
"println(λe[1:2])"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"と非常に大きな差があるため、素早く収束した。 \n",
"さて、ここまでの計算で気づいたかもしれないが、今考えている行列の固有値の絶対値最大は実数となっている。\n",
"これは偶然ではなく、「ペロン=フロベニウスの定理」によって保証されているのである。 \n",
"https://ja.wikipedia.org/wiki/ペロン=フロベニウスの定理 \n",
"この定理では、行列要素のすべてが正の実数の場合、固有値の中で絶対値が最大のもの$r$は正の実数であることを示している。\n",
"そしてこの$r$は\n",
"$$\n",
"{\\rm min}_i \\sum_j A_{ij} \\le r \\le {\\rm max}_i \\sum_j A_{ij}\n",
"$$\n",
"という不等式を満たす。 \n",
"この不等式を確かめてみよう。"
]
},
{
"cell_type": "code",
"execution_count": 68,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"最小値: 472.37515410622404 べき乗法の絶対値最大固有値: 500.0521091071624 最小値: 531.3016496577754\n"
]
}
],
"source": [
"function 部分和(mat_A,N)\n",
" 和 = zeros(Float64,N)\n",
" for i in 1:N\n",
" for j in 1:N\n",
" 和[i] += mat_A[i,j]\n",
" end\n",
" end\n",
" return 和\n",
"end\n",
"\n",
"N = 1000\n",
"mat_A = make_A(N,123)\n",
"和 = 部分和(mat_A,N)\n",
"最大値 = maximum(和)\n",
"最小値 = minimum(和)\n",
"ind,λ,y = べき乗法(M,mat_A,y0)\n",
"println(\"最小値: \",最小値, \" べき乗法の絶対値最大固有値: \",λ[end],\" 最小値: \",最大値)\n",
"\n"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"となるので、ちゃんと不等式を満たしている。 \n",
"そして実は、確率分布の生成において考えている行列$T$において、ペロン=フロベニウスの定理を使うことができる。つまり、行列$T$は\n",
"$$\n",
"T_{ij} > 0\n",
"$$\n",
"を満たすことができる。なぜならば、$T_{ij}$は確率であるため、常に非負でなければならないからである。\n",
"そして、ある$x_j$からすべての状態$x_i$に遷移できる(エルゴート性がある)ことを要請すれば、常に正にできる。"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## マルコフ連鎖の収束\n",
"$T$を何回もかければ絶対値最大の固有値を持つ固有ベクトルに収束することは確認できた。\n",
"つまり、\n",
"$$\n",
"{\\bf y}^{M+1} = T {\\bf y} = \\lambda_{max} {\\bf y}\n",
"$$\n",
"となる行列$T$は存在する。\n",
"そして、$\\lambda_{max}$はペロン=フロベニウスの定理より正の実数である。\n",
"確率分布を生成するためには、$\\lambda_{max} = 1$としなければならない。ここで、不等式を使ったはさみうちを使う。つまり、\n",
"任意の$i$において\n",
"$$\n",
"\\sum_j T_{ij} = 1\n",
"$$\n",
"が成りたてば、不等式は\n",
"$$\n",
"1 \\le r \\le 1\n",
"$$\n",
"となり、$\\lambda_{max} = 1$となる。 \n",
"ここで、$\\sum_j T_{ij} = 1$という条件は、確率の総和が1であることに他ならない! $x_j$から$x_i$に遷移するとき、すべての$x_j$を考慮すれば\n",
"、どれかからは遷移する。つまり、この和が成り立つ。 また、$x_j$は必ずどれかの$x_i$に遷移するので、\n",
"$$\n",
"\\sum_i T_{ij} = 1\n",
"$$\n",
"も成り立つ。 \n",
"以上から、$T$が確率である、ということからベクトルは収束することがわかった。 \n",
"次は、${\\bf y}$を収束したベクトルとして持つような$T$を設計する。 なお、この行列$T$は遷移行列と呼ぶことが多い。\n",
"\n",
"## 遷移行列$T$の設計と詳細釣り合い条件\n",
"$$\n",
"{\\bf y} = T {\\bf y}\n",
"$$\n",
"となるような$T$を設計したい。\n",
"この式を成分表示すると、\n",
"$$\n",
"y_i = \\sum_j T_{ij} y_j\n",
"$$\n",
"である。ここで、\n",
"$$\n",
"\\sum_j T_{ji} = 1\n",
"$$\n",
"を用いれば、\n",
"$$\n",
"\\left(\\sum_j T_{ji} \\right) y_i = \\sum_j T_{ij} y_j\n",
"$$\n",
"$$\n",
"\\sum_j T_{ji} y_i = \\sum_j T_{ij} y_j\n",
"$$\n",
"となる。これを満たすような行列$T$を設計すればよい。\n",
"一番単純なのは、各$j$において\n",
"$$\n",
"T_{ji} y_i = T_{ij} y_j\n",
"$$\n",
"が成り立つように$T$を設計することである。\n",
"これを「詳細釣り合い条件」と呼び、様々なマルコフ連鎖モンテカルロ法で使われている。\n",
"## 詳細釣り合い条件を満たす遷移行列$T$の設計\n",
"さて、この詳細釣り合い条件を満たした行列$T$を設計するとしよう。\n",
"この条件は、\n",
"$$\n",
"\\frac{T_{ji}}{T_{ij}} = \\frac{y_j}{y_i}\n",
"$$\n",
"と比の形で書き直すことができる。そして、それぞれの$T_{ij}$は正の実数であるという条件のみが課されており、\n",
"この比さえ保っていればどんな値でもよい。 \n",
"### メトロポリス・ヘイスティングス法\n",
"上の比を満たす行列$T$を設計してみよう。\n",
"まず、$T_{ij}$は「$x_j$が選ばれていた状態で次が$x_i$になる確率」であるが、これは、\n",
"「$x_j$が選ばれていた状態で$x_i$を提案する確率$ g(x_j \\rightarrow x_i)$」と「$x_j$が選ばれていた状態で$x_i$を採択する確率$A(x_j \\rightarrow x_i)$」の二つ:\n",
"$$\n",
"T_{ij} = g(x_j \\rightarrow x_i) A(x_j \\rightarrow x_i)\n",
"$$\n",
"に分解することができる。\n",
"イジング模型の場合、$g(x_j \\rightarrow x_i)$は、\n",
"$N$個の格子点の中からランダムに一つ選ぶ確率であり、$1/N$となる。この場合、直前の状態が何であってもよいので、\n",
"$g(x_j \\rightarrow x_i) = g(x_i \\rightarrow x_j)$である。 \n",
"詳細釣り合い条件は、\n",
"$$\n",
"\\frac{g(x_i \\rightarrow x_j) A(x_i \\rightarrow x_j)}{g(x_j \\rightarrow x_i) A(x_j \\rightarrow x_i)} = \\frac{y_j}{y_i}\n",
"$$\n",
"$$\n",
"\\frac{ A(x_i \\rightarrow x_j)}{ A(x_j \\rightarrow x_i)} = \\frac{g(x_j \\rightarrow x_i)}{g(x_i \\rightarrow x_j)} \\frac{y_j}{y_i}\n",
"$$\n",
"となり、採択確率$A$の比の条件に変化する。\n",
"上の比を満たす$A(x_i \\rightarrow x_j)$として単純なのは、\n",
"$A(x_j \\rightarrow x_i) = 1$とおき、\n",
"$$\n",
"A(x_i \\rightarrow x_j) = \\frac{g(x_j \\rightarrow x_i)}{g(x_i \\rightarrow x_j)} \\frac{y_j}{y_i}\n",
"$$\n",
"とするものである。\n",
"ただし、$g(x_j \\rightarrow x_i) y_j > g(x_i \\rightarrow x_j) y_i$では値が1を超えてしまうので、その時には確率1で遷移するとする。つまり、$x_i$から$x_j$への遷移が受け入れられる確率$A(x_i \\rightarrow x_j)$は\n",
"$$\n",
"A(x_i \\rightarrow x_j) = {\\rm min} \\left(1,\\frac{g(x_j \\rightarrow x_i)}{g(x_i \\rightarrow x_j)} \\frac{y_j}{y_i}\\right)\n",
"$$\n",
"となる。これがメトロポリス・ヘイスティングス(M-H)法の採択確率である。 \n",
"単純な場合、つまり、提案確率が対称な場合($g(x_j \\rightarrow x_i) = g(x_i \\rightarrow x_j)$)、\n",
"これは\n",
"$$\n",
"A(x_i \\rightarrow x_j) = {\\rm min} \\left(1, \\frac{y_j}{y_i}\\right)\n",
"$$\n",
"となる。これはいわゆるメトロポリス法の採択確率である。\n",
"$y_i$は確率であるので、より大きな確率$y_j$を持つ$x_j$を候補とした場合には間違いなく遷移する、ということを意味している。\n",
"\n",
"### 熱浴法\n",
"次に、別の方法を考えてみよう。\n",
"条件\n",
"$$\n",
"\\frac{T_{ji}}{T_{ij}} = \\frac{y_j}{y_i}\n",
"$$\n",
"を満たすためには、\n",
"$$\n",
"T_{ji} = c y_j\n",
"$$\n",
"でもよい。つまり、分子同士が等しく、分母同士が等しい場合である。ここで$c$は適当な係数である。\n",
"この場合、$x_i$が何であっても、$x_i$から$x_j$へ遷移する確率は$y_j$に比例する。\n",
"ただし、行列$T$には\n",
"$$\n",
"\\sum_j T_{ji} = 1\n",
"$$\n",
"という条件があるので、$c$は\n",
"$$\n",
"c \\sum_j y_j = 1\n",
"$$\n",
"より\n",
"$$\n",
"c = \\frac{1}{\\sum_j y_j}\n",
"$$\n",
"となる。つまり、遷移行列を\n",
"$$\n",
"T_{ji} = \\frac{y_j}{\\sum_j y_j}\n",
"$$\n",
"と設計することができる。\n",
"これが一番基本的な「熱浴法」の遷移行列である。\n",
"しかし、このままでは実用的ではないため、以下の方法を用いる。 \n",
"\n",
"\n",
"$L$次元の問題を考える。つまり、変数は$L$次元ベクトル${\\bf x} = (x^1,x^2,\\cdots,x^L)^T$であり、\n",
"あるベクトル${\\bf x}$が実現する確率を$P({\\bf x})$とする。\n",
"また、それぞれの次元での座標$x^i$は離散的になっており、$n$個座標があるとする。\n",
"その結果、可能なすべてのベクトルの組み合わせは$N = n^L$という膨大な数になる。 \n",
"ここでは、簡単のため、$L=2$の場合を考える。この時、${\\bf x}=(x^1,x^2)^T$である。\n",
"ある座標${\\bf x}$を実現するための確率$P({\\bf x})$は、\n",
"$$\n",
"P({\\bf x}) = P(x_1|x_2)P(x_2)\n",
"$$\n",
"と、書くことができる。ここで、$P(x_1|x_2)$は2番目の次元の座標が$x_2$である時に、$x_1$が選ばれる条件付き確率である。\n",
"また、$P(x_2)$は、2番目の次元の座標が$x_2$である確率:\n",
"$$\n",
"P(x_2) = \\sum_i P(x_i,x_2)\n",
"$$\n",
"である。 \n",
"今、${\\bf x} = (x_1,x_2)^T$から${\\bf x}' = (x_1',x_2)$へと遷移する場合を考える。この時、\n",
"$$\n",
"P({\\bf x}') = P(x_1'|x_2)P(x_2)\n",
"$$\n",
"なので、詳細釣り合い条件は\n",
"$$\n",
"\\frac{T_{{\\bf x} \\rightarrow {\\bf x}'}}{T_{{\\bf x}' \\rightarrow {\\bf x}}} = \\frac{P({\\bf x}')}{P({\\bf x})}\n",
"$$\n",
"$$\n",
" = \\frac{P(x_1'|x_2)P(x_2)}{P(x_1|x_2)P(x_2)} = \\frac{P(x_1'|x_2)}{P(x_1|x_2)}\n",
"$$\n",
"となる。\n",
"よって、遷移行列を\n",
"$$\n",
"T_{{\\bf x} \\rightarrow {\\bf x}'} = P(x_1'|x_2)\n",
"$$\n",
"とすれば、詳細釣り合い条件を満たすことができる。\n",
"これは、\n",
"$$\n",
"T_{{\\bf x} \\rightarrow {\\bf x}'} = \\frac{P({\\bf x}')}{P(x_2)}\n",
"$$\n",
"とも書けるので、$c = 1/P(x_2)$とした熱浴法(あるいはギブスサンプリング法)である。なお、熱浴法は採択率が常に1のM-H法の一種であることを示すことができる(参考文献参照)。 \n",
"\n",
"一般には、条件付き確率$P(x_1'|x_2)$に従ってサンプリングすることが難しいため、熱浴法は適用できる問題が限られる。 例えば、この条件付き確率が正規分布になるようなケースでは、利用されている。 \n",
"\n",
"イジング模型では、$x_1$が$\\pm 1$の二通りしかとらないために、一様乱数$r$を発生させて、$r < P(+1|x_2)$の時には$x_1=+1$、それ以外では$-1$とすることで、この条件付き確率によるサンプリングを実行できる。 次回以降のノートでは、イジング模型での$P(x_1'|x_2)$の値について述べる。\n"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"#### 参考文献\n",
"C.M.ビショップ,「パターン認識と機械学習 下」 丸善出版 (2012)"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
}
],
"metadata": {
"kernelspec": {
"display_name": "Julia 0.6.2",
"language": "julia",
"name": "julia-0.6"
},
"language_info": {
"file_extension": ".jl",
"mimetype": "application/julia",
"name": "julia",
"version": "0.6.2"
}
},
"nbformat": 4,
"nbformat_minor": 2
}