マルコフ連鎖モンテカルロ法(MCMC)
ある確率密度関数 が得られたけれど、その平均値や標準偏差、最大値などを解析的に計算できないことがよくあります。数値積分すれば良さそうですが、今度は数値積分の方法が問題になります。統計量や積分を直接計算する代わりに、もし、確率分布 に従うサンプル が得られれば、ある量 の統計平均は と近似計算できます。
最も単純なサンプリング法は、モンテカルロ法の一種である棄却サンプリングです。棄却サンプリングのうち、提案分布を一様分布としたものが、最も簡単なモンテカルロ法です。これは、確率変数 を一様分布からサンプルし、得られた を確率 で採用し、確率 で棄却するものです(M は の最大値以上の値)。しかし、この方法では、棄却が非常に多くなってしまう問題や、適切な提案分布を選ぶのが難しいという問題があります。
マルコフ連鎖モンテカルロ法は、提案分布の細かい構造を決めることで、上記の問題を解決します。そのマルコフ連鎖モンテカルロ法のために適切な提案分布を作る方法の一つが、メトロポリス・ヘイスティングス法です。高次元分布からサンプルする場合は、ギブスサンプリングが便利です。また、メトロポリス・ヘイスティングス法を効率的に構成する方法の一つが、ハミルトニアン・モンテカルロ法です。
マルコフ連鎖モンテカルロ法
以降、確率分布を離散分布とし、 と表します。 は までの値をとる 状態変数とします。 という対応関係があります。
ステップ に対して、変数が確率的に変化することを考えます。ステップ における変数の値が、それ以前の ステップ、すなわちステップ における変数の値に依存するとき、これを 階の離散時間マルコフ過程と呼びます。状態変数が離散的な場合はマルコフ連鎖とも言います。
特に1階マルコフ過程では、ステップ で変数が であったときに、ステップ で に遷移する確率 が定義されます。 は、マルコフ核とも呼ばれます。ステップ における確率分布を と書くと、次の関係が成り立ちます。
一般に、ステップ での分布 とステップ での分布 とは異なる分布になりますが、ステップを進めることで特定の分布に収束し、それ以上変化しなくなることがあります(詳細は後述)。この分布を定常分布と呼び、ここでは と書きます。すなわち、
となります。
もし、当初の目的としていた確率分布 が定常分布 に一致するならば、適当な初期値 からはじめて、定常分布に収束するまで とサンプリングを繰り返すことで、最終的に に従う多数のサンプルを得ることができます。もちろん、定常分布に収束する前の前半のサンプルは捨てなければなりません。また、サンプル間の相関が小さくなるように、採用するサンプル間のステップ幅を離すことが必要です。
これが、マルコフ連鎖モンテカルロ法(MCMC)です。問題は、どのようにして を定常分布に持つマルコフ過程を準備するかです。
詳細釣り合い条件
次の関係が成立しているとき、マルコフ核 は分布 に対して詳細釣り合い条件を満たしていると言います。
両辺それぞれで に関して和をとると、
となります。これは、(詳細でない)釣り合いの式です。式(2) と比較すると、 はこのマルコフ過程の定常分布になっていることがわかります。定常分布に対して、(詳細でない)釣り合いの式(2),(4) は必ず成り立ちますが、詳細釣り合いの式(3) は、可逆過程に対応する特殊な条件であり、常に成り立つとは限りません。
詳細釣り合い条件が満たされていれば、確率分布 は で目的の分布 に収束します(詳細は後述)。残る問題は、詳細釣り合い条件を満たすマルコフ核をどうやって求めるかです。
メトロポリス・ヘイスティングス法(MHアルゴリズム)
MHアルゴリズムは、適当な提案分布 からはじめて、詳細釣り合い条件を満たすマルコフ核 を作ることで、目的の分布 からのサンプリングを行うアルゴリズムです。
アルゴリズムは次のようなものです。
- 適当な事前分布に従って、初期値 をサンプルする。
- ステップ において値 をサンプルした時、次のステップでのサンプル候補 を、適当な提案分布 に従ってサンプルする。
- 次の値を計算する。
- なら、サンプル候補 を次のステップ でのサンプル値とする。 なら、確率 で を次のステップ でのサンプル値とし、確率 で (遷移前と同じ値)を次のステップ でのサンプル値とする。
このアルゴリズムによって生成されたマルコフ連鎖は、目的の分布 に収束し、安定分布となります。提案分布 は何でも良いのですが、 を中心としたガウス分布等の単峰性の分布や矩形分布が用いられます。中心からの幅が狭すぎると、隣接ステップの相関が大きくなり、無駄なサンプルが増えます。一方で中心からの幅が広すぎると、マルコフ性の利点が失われてしまいます。提案分布の形状(単峰性か多峰性か等)が目的の分布に類似しているほど、マルコフ性の利点が増します。
MHアルゴリズムと詳細釣り合い条件との関係
それでは、MHアルゴリズムが詳細釣り合い条件を満たすマルコフ核を作ることを見てみましょう。アルゴリズムをマルコフ過程として書き下すと、 の場合は
となります。式(1) と比較することで、 の場合のマルコフ核は
であることが分かります。 は確率分布ですから、 の場合は
となります。
式(7) のマルコフ核の性質を調べます。式(5) から、 です。従って、 と の一方は 1 以上で、他方は 1 以下です。例えば ならば
という関係が成り立っており、 に式(5) を代入すると、確かに詳細釣り合い条件 が成立しています。
ギブスサンプリング
詳細釣り合いに依拠するMHアルゴリズムは汎用的で、目的の分布に確実に収束する方法です。しかし、変数 の次元が大きければ、マルコフ核の底空間も巨大になり、サンプリングが追いつかなくなります。ギブスサンプリングはMHアルゴリズムほど汎用的ではありませんが、高次元空間においては非常に強力なサンプリング法です。
ギブスサンプリングは、目的の分布から各変数ごとの条件付き分布を求め、各変数に対して逐次的にサンプリングを繰り返し、収束を狙うものです。まず、 として、目的の確率分布 から、次のように変数ごとの条件付き分布を求めます。
そして、各変数を順番にサンプリングしながら更新し、収束するまで繰り返します。
もう少し詳しい議論
これまでの説明の中には、いくつかごまかしがあります。下記の項目について、もう少し詳しく見てみましょう。
- 安定分布は、遷移確率(マルコフ核)だけによって表現できるのか
- 詳細釣り合い条件が成り立てば、なぜ定常分布に収束するのか
- 詳細釣り合い条件が成り立たないのはどのような場合か
マルコフ過程と行列方程式
マルコフ核は、 という 行列 で表せます。確率変数の分布 も同様に 次元ベクトル で表せます。式(1) は
と表せます。定常分布を 次元ベクトル と書くと、定常分布を表す行列方程式
が得られます。これが自明でない解を持つので、 の各行(または列)は線形独立ではありません。実際、下記の拘束条件が含まれています。
そこで、 を用いて、式(12) から を消去すると、次の行列方程式が得られます。
ただし、 は 行列、 はいずれも 次元ベクトルで、
を満たします。式(14) の各行は独立に与えられるので、 が逆行列を持てば、
によって、遷移確率から安定分布を求めることができます。
詳細釣り合い条件と収束性
式(1) で表されるマルコフ過程において、式(3) の詳細釣り合い条件が満たされていれば、 は に収束することを示します。そのために、 と の間の、 を基準としたカルバック・ライブラー・ダイバージェンス が、ステップ毎に単調に減少することを確認します。
となり、確かに となっています。 が に一致するまで、 が減少し続けることが分かります。ただし、より厳密には、減少速度を評価する必要があります。 はエントロピーを表します。なお、上記の式変形において、1行目から2行目へは式(1) を用い、2行目から3行目へは詳細釣り合いの式(3) を用いました。4行目と5行目の間の不等号は、イェンゼンの不等式によります。5行目から6行目へは再び詳細釣り合いの式(3) を用いました。
詳細釣り合い条件と自由度
マルコフ核は、式(13) の拘束条件の範囲で自由な正値を取ることができます。式(13) の拘束条件は式(8) に反映されていますから、一般にマルコフ核の自由度は、 を除き、 個です。
一方で、詳細釣り合い条件が満たされている場合、式(3) より なので、 と が決まれば も決まります。従って、この場合の自由度はマルコフ核のうち であるものと のうち一つを除いたものの個数の和であり、 個です。
自由度が詳細釣り合い条件の有無によらないのは、 の場合のみです。 の場合は、 が必ず成り立ちます。 では、詳細釣り合い条件を満たさないマルコフ過程が存在します。
ハミルトニアン・モンテカルロ法
メトロポリス・ヘイスティングス法(MHアルゴリズム)では、遷移確率(マルコフ核)の提案分布 をどのように決めるかが問題です。 の決め方の一つが、ハミルトニアンモンテカルロ法です。
そもそも、MHアルゴリズムの目的は、サンプリングを効率よく行うために、モンテカルロ法での棄却を抑制することでした。MHアルゴリズムにおいて、式(5) で表される を1 に近づけることができれば、棄却率は低くなります。
ハミルトニアンモンテカルロ法では、ハミルトン方程式に従って、時刻 での位置座標 から時刻 での位置座標 への変化をシミュレートします。通常、ハミルトン方程式による時間発展は確率的ではなく、確定的な変化です。そのため、運動量の初期値をサンプリングすることによって、確率的な遷移を表現します。このことから分かるように、マルコフ核 は明示的な関数形では与えられません。運動量の初期値の分布が決まっていて、そこから得られた運動量のサンプルと位置の初期値 を、ハミルトン方程式に従う時間発展という複雑な関数に通すことで、遷移後のサンプル が確率的に得られます。
ハミルトニアンモンテカルロ法のポイントは、ハミルトニアンが次の二つの性質を持っていることです。一つめは、ハミルトニアンによる時間発展は可逆であるという性質です。二つめは、ハミルトニアンに従う時間発展において、エネルギーの値(ハミルトニアンに位置と運動量を代入した値)は不変であるという性質です。特に、二つめの性質によって、式(5) の の値が 1 に近くなります。
ハミルトニアンモンテカルロ法のアルゴリズムを説明します。以下、 を位置座標として扱い、運動量を とします(確率分布の記号ではないことに注意してください)。 まず、ハミルトニアン は次のように定義します。
は、目的の確率分布です。運動エネルギーの項は質量 1 の粒子に対応し、位置エネルギーの項は逆温度 1 に対応しています。
運動量 の初期値は、平均 0、標準偏差 1 のガウス分布からサンプリングします。なぜなら、 だからです。従って、運動エネルギーの項が質量 の粒子を表すように決めることは、標準偏差 のガウス分布を選ぶことに対応します。
シミュレーションは、ハミルトン方程式を数値積分することで行います。ハミルトン方程式は以下の通りです。
これから、エネルギーが時間不変であることは、次のようにして分かります。
可逆性については、 と置き換えても式(18) が成立することから分かります。
式(11) を数値積分する方法としては、ルンゲ・クッタ法が最も汎用的ですが、ハミルトン力学系ではシンプレクティック法が良い性質を示します。ここでは、可逆性を持つ二次のシンプレクティック法を記載します。 を時間ラベルとして、十分小さい値 に対し、以下のように時間発展を行います。
この計算を 回繰り返すことで、時刻 だけ先の が得られます。この値を、提案分布による遷移先のサンプルとします。 でも構いません。
結局、ハミルトニアンモンテカルロ法のアルゴリズムは次のようになります。
アルゴリズムの中で、 が非自明に見えるかもしれません。 の定義は、式(5) で与えられていました。そして、最終的な遷移確率が運動量の初期値の確率分布に依存することから、 です。一方で、ハミルトン方程式の可逆性より、 も成り立ちます。