この会の企画・会場設備の提供をして頂きました
㈱ ワークスアプリケーションズ様
にこの場をお借りして御礼申し上げます.
これまではベイジアンネットワークという有向グラフ構造を持つグラフィカルモデルの説明をしてきましたが, 本日は無向グラフによるグラフィカルモデルである マルコフ確率場 (Markov random field, MRF) の説明をします.
MRFの構造は無向グラフ G=(V,E) により定まります。各頂点には異なる確率変数を割り当てます.
この際, グラフの構造とどのような条件付き確率性が対応するのかという事が重要となります.
そこで, MRFでは, X から Y への任意のパスが Z によってブロックされている時に, X と Y が Z を所与として独立であるという条件を要請します. (これを大域的マルコフ性といいますが, 実際にはもう少し弱めた局所的マルコフ性という性質を満たせばMRFと呼ぶ事が出来ます.)
例えば, 以下のグラフで {C,D} にエビデンスが与えられると {A,B} から {E} への全てのパスがブロックされます. 従って, 以下のグラフでは {C,D} を所与として{A,B} と {E} が条件付き独立であるという事が表現されています.
従って, 同時分布上では P(A,B,E|C,D)=P(A,B|C,D)P(E|C,D) つまり, P(A,B,C,D,E)=P(A,B|C,D)P(E|C,D)P(C,D) という因数分解が可能になります.
今の例だと, サイズ4のファクター P(A,B|C,D) があるのでもっと小さく分解出来ないか考えてみましょう.
まず, {B,C} を所与として{A} と {D,E} は独立なので P(A,B,C,D,E)=P(A|B,C,D,E)P(B,C,D,E)=P(A|B,C)P(B,C,D,E) となります.
続いて, {D} を所与として {B,C} と {E} は独立なので P(B,C,D,E)=P(B,C|D,E)P(D,E)=P(B,C|D)P(D,E) と出来ます.
つまり, P(A,B,C,D,E)=P(A|B,C)P(B,C,|D)P(D,E) と出来ます. ファクターサイズが最大で3なので, さっきよりも良い分解です.
今の P(A,B,C,D,E)=φ(A,B,C)φ(B,C,D)φ(D,E) という分解においてノード集合 {A,B,C}, {B,C,D}, {D,E} は極大クリークになっています. これをMRFにおける クリーク因子分解 (clique factorization) と言います.
クリーク C 内の変数集合 XC の間にはいかなる条件付き独立性も成り立ちません. 従って, 同時分布 P(XC) はこれ以上小さなファクターに分解する事が出来ないので, クリーク因子分解を行った時に最大ファクターのサイズが最小となる事が解ります.
一般にクリーク因子分解を以下のように定める事が出来ます.
MRF上の同時分布は P(X)=1Z∏Cφ(XC) の形で表す事が出来る. 但し C はMRFの各極大クリーク, XC はクリーク C 内の変数集合, Z は正規化定数 Z=∑X∏Cφ(XC) である.
各 φ(XC)≥0 を ポテンシャル関数 (potential function) と呼ぶ.
ここで登場したポテンシャル関数 φ(XC) は必ずしも P(A|B,C) の様な特定の形をしている必要はありません.
むしろ, P(X) よりもポテンシャル関数 φ(XC) の方が主役であり(だから特別な名前が付いている), φ(XC) を定める事によって同時分布 P(X) の形が定まるのだと考えます.
ポテンシャル関数 φ(XC) は φ(XC)>0 の場合を考える事が多いです.
この場合は φ(XC)=exp{−E(XC)} を満たす関数 E(XC) が存在しますが, これを エネルギー関数 (energy function) と呼びます.
エネルギー関数を用いるとMRF上の確率分布は P(X)=1Z∏Cexp{−E(XC)}=1Zexp{−∑CE(XC)} となりますが, E(X)def=∑CE(XC) を 全エネルギー (total energy) と呼びます.
全エネルギーを用いると P(X)=1Zexp{−E(X)} と書くことが出来ますが, この形で分布を書き表した時これを ボルツマン分布 (Boltzmann distribution) と呼びます.
上の式から, 最も生じやすい状態 X というのはエネルギー E(X) が最小の状態であるという事が解ります.
元々, マルコフ確率場は統計力学の分野で生まれた概念であり, ポテンシャルやエネルギー等の用語はこれに由来しています.
画像のノイズ除去はMRFの有名な応用の1つです.
今, 2値画像だけを考えて黒を −1, 白を 1 とします. D をピクセル数とすると, ノイズ入りの画像はベクトル y=(y1,y2,…,yD)(yi∈{−1,1}) として表す事が出来ます.
同様に, ノイズの無い元画像を x=(x1,x2,…,xD)(xi∈{−1,1}) とします.
y は観測出来て x は観測出来ません. y から x を復元する事が目標です.
一般に, あるピクセル xi の値は観測値 yi 及び隣接するピクセル xj と強い相関があると考えられます. これを以下のようなグラフで表現する事にしましょう. これをMRFと見なします.
このMRFの極大クリークは {xi,xj}(xi,xj は隣接) というものと {xi,yi} というものです. 従ってエネルギー関数 E(xi,xj)とE(xi,yi) を定めれば良いです.
そこで h を実数, η>0 として E(xi,yi)=hxi−ηxiyi また, β>0 として E(xi,xj)=−βxixj とおいてみます.
エネルギーが小さい状態の方が実現しやすい事を思い出しましょう. xi と yi が同じ色の時, xi と xj が同じ色の時にそれぞれのエネルギー関数の値は小さくなります. hxi は黒と白のピクセルのどちらの方が実現しやすいかに関する項です.
すると, 全エネルギーは各クリークに関するエネルギーの和なので E(x,y)=h∑ixi−β∑i,j:隣接xixj−η∑ixiyi となります.
このモデルは統計力学においては イジングモデル (ising model) と呼ばれるものです. 色の代わりに原子のスピンの向きを割り当てて, 磁性体の振る舞いをモデル化する事が出来ます.
各ピクセルの値 xi を推定する為には, エネルギー E(x,y)=h∑ixi−β∑i,j:隣接xixj−η∑ixiyi が最小となるような xi を求めれば良いです.
確率的勾配降下法を使えば簡単に局所最適解を得る事が出来ます. つまり, 各 xi についてその他のピクセルを固定した上で xi=1 の場合と xi=−1 の場合を比べてより小さい方を採用するという事を変化が無くなるまで繰り返します.
勾配法による実装例です.(prog17-2.py ) パラメータは h=0,β=3,η=2 としています.
ベイジアンネットワークもマルコフ確率場も, 確率分布の因子分解 P(X)=∏iφi(Xi) に基づくものでした.
そこで, ファクターグラフ (factor graph) という概念を考える事によって, どちらも統一的に取り扱う事が出来ます.
ファクターグラフは二部グラフであって, 一方のノード群は確率変数, 他方のノード群はファクターからなります. ファクター φ が変数 x を含む場合にのみ辺 (x,φ) を引きます.
例えば, 以下のファクターグラフは P(x,y,z)=φ1(x)φ2(x,y)φ3(x,z) という因子分解を表しています.
ベイジアンネットワークと同様にして, メッセージパッシング法によってファクターグラフ上での確率推論を行う事が出来ます. Sum-Productアルゴリズム とも呼ばれます.
ファクターグラフ上でのメッセージパッシングでは変数からファクターへのメッセージと, ファクターから変数へのメッセージを考えます.
簡単の為, ファクターグラフが木である場合を考えます. ルートを定め集積フェーズでは葉からルート, 分配フェーズではルートから葉に向かってメッセージを流します.
ファクター φ から変数 x へのメッセージ μφ→x(x) はプライベート変数に関する畳込みを表しており, μφ→x(x)=∑XF(x,X) となります. F(x,X) は φ をルートとするサブツリーのファクターの積で, X は φ に隣接する x 以外の変数集合です.
ここで, F(x,x) というのはファクター φ に流れて来たメッセージと φ の積を取れば良く F(x,x)=φ∏y∈Ne(φ)∖xμy→φ(y) となります.(Ne(φ) は φ の隣接ノード集合)
従って, μφ→x(x)=∑Xφ∏y∈Ne(φ)∖xμy→φ(y) となります. これが Sum-Product アルゴリズムという命名の由来です.
変数 x から ファクター φ へのメッセージは x へ流れてきたメッセージの合算となります. つまり μx→φ(x)=∏ψ∈Ne(x)∖φμψ→x(x) となります.
x がファクターグラフの葉である場合には μx→φ=1 φ がファクターグラフの葉である場合には μφ→x=φ(x) と初期化します.
あとは、ベイジアンネットワークの際にやった時にルートまでのメッセージ伝播と再分配を行えば各クリークに関する厳密な確率分布を求める事が出来ます.
先ほどのファクターグラフはちょうど木になっているので, これでやってみましょう. z をルートにしてみます.
y から出発すると μy→φ2=1μφ2→x=∑yφ2μy→φ2=∑yφ2 です. また μφ1→x=φ1 です.
これを掛けあわせて μx→φ3=μφ1→xμφ2→x=φ1∑yφ2 となり, μφ3→z=∑xφ3μx→φ3=∑xφ3φ1∑yφ2 となります.
次は辺の向きを逆にしてルートから葉に向かってメッセージを流します. この際, 既に計算されたメッセージは再利用する事が出来ます.
実際にやってみると μz→φ3=1μφ3→x=∑zφ3μx→φ1=μφ3→xμφ2→x=∑zφ3∑yφ2μx→φ2=μφ3→xμφ1→x=∑zφ3φ1μφ2→y=∑xφ2∑zφ3φ1 となります. 赤いファクターは既に計算したものの再利用です.
変数ノード x に到達したメッセージは P(x) となります. 例えば z に到達したメッセージは P(z)=μφ3→z=∑xφ(x,z)φ1(x)∑yφ(x,y)
ファクターノード φ(X) に到達したメッセージと φ 自信の積は X に関する同時分布となります. 例えば φ2 に到達したメッセージと φ2 の積は P(x,y)=φ2(x,y)μx→φ2μy→φ2=φ2(x,y)∑zφ3(x,z)φ1(x) となります.
以上の方法は, ファクターグラフが木でない場合には利用する事が出来ません. その場合には, μϕ→x を一様分布などで初期化しておいて, 収束するまでメッセージを流すという方法があります. これは loopy belief propagation と呼ばれます.
全17回お疲れ様でした. やり残した内容(主にEM法などの近似推論)がありますので, 今後資料に追加する予定です. その場合は @9_ties で告知しますのでよろしくお願いします.