[論文紹介]Bayesian Online Changepoint Detectionを解説する
2007年に発表された、Bayesian Online Changepoint Detectionの紹介と解説を行います。該当論文のarxivへのリンクはこちらになっています。この解説記事は、この論文の英語版の解説記事を参考にしています。 Bayesian Online Changepoint Detection は変化点検地に関する論文であり、時系列データなどのデータが与えられたとき、データ列の傾向が変化するような点を検知するようなアルゴリズムです。時系列データで例えると、例えば株価予測をしていて、今まで上昇トレンドだった株価が急に下落したようなタイミングで変化点を検知するようなアルゴリズムになっています。 手法としてはベイズ推論の枠組みを利用しています。この論文は非常に有名で数多くの引用がされているものなので、一度読んだことがある人も多いのではないでしょうか。今回はこのBayesian Online Changepoint Detectionの紹介と解説をしていきます。 上の図(a)の$X_t$が、時刻$t$における時系列データの値だと考えてください。横軸が$t$であり、時系列データを考えている場合は時刻$t$を示しています。 Bayesian Online Changepoint Detectionは基本的に、様々なデータで扱える汎用的なアルゴリズムですが、今回は時系列データの変化点検知を例に説明をします。ここで、図（a）の時系列を見ると、パッと見て時系列データが3つのパートに分けられるのがわかると思います。 図(a)の中でも、$g_1, g_2, g_3$に分けられており、それぞれのパートの間で点線が引かれているのがわかると思います。さらに下の図を見ると、$r_t$という変数が導入されており、これが前のパートから何データ分経過したかを示す領となっています。 今回のこのBaysian Change Poiint Detectionで予測するのは、この$r_t$であり、$r_t = 0$となった時、パートの変化点を検知したというようになります。（解釈としては、前の変化パートから0つ経過した、つまり、今回変化点が訪れてカウンタがリセットされた、ということになります） つまり、$r_t$については下記のようになります。
\begin r_t= \begin 0 & \text \\ r_+1 & \text \end \endこの$r_t$のことと、元々の論文中ではrun length と表現しています。run length は、change pointが来ていれば0になり、それ以外であれば1つ増えるという変数になります。 今回、このBayesian ChangePoint Detectionで予測したい確率は$p(r_t | r_)$になります。 ここでは、$r_$ が起こった際の、$p(r_t)$ の条件付き確率になります。 さらにここから、一番求めたいのは、時刻1~$t$までの全データ$X_$が与えられた時の、$p(r_t | X_)$と、事後予測分布である、$p(x_ | X_)$になります。
ベイズ推定の復習
ベイズの予測分布とはさらに、ベイズ推定では、パラメータを確率変数として捉え定式化するだけでなく、確率変数としたパラメタをもとで、次に来るデータの確率分布を導出することができます。これをベイズ推定における予測分布と言います。 これは数式で表現すると、$p(\hat | \theta)$となり、下の数式で表現することができます。ちなみに、この$p(\hat | \theta)$を事後予測分布(posterior predictive distribution)と呼んだりします。
\begin p( \hat | \mathcal) = \int p (\hat | \mathcal, \theta) p( \theta |\mathcal) d\theta \end ベイジアン変化点検出の定式化 さて、ベイズの予測分布の式を踏まえて、今回解説するベイジアン変化点検出の論文の解説に戻ります。今回、所与のデータ$X_$がある時の、$x_$の予測分布$p(x_ | X_)$を考えます。 \begin p(x_ | X_) = \sum_ p(x_ , r_t | X_) \endまず、考えたい予測分布$p(x_ | X_)$ は、(3)のように式変形できます。これは、$p(x_)$を、パラメータ$r_t$で周辺化(marginalization)しています。 (3)の式変形がピンとこない人のために、かなり簡易化した説明をします。 今完結のため、$X$の取りうる値は、0, 1, 2,3 の4種類で、 $r_t$の取りうる値が、0, 1, 2 の3種類であるという風にすると、下記のようなマトリクスになりますよね。
$r_t = 0$ $r_t = 1$ $r_t = 2$ 合計($r_t$で周辺化) $x = 1$ $\frac$ $\frac$ $\frac$ $\frac$ $x = 2$ $\frac$ $\frac$ $\frac$ $\frac$ $x = 3$ $\frac$ $\frac$ $\frac$ $\frac$ ここで、(3)式にまた戻ります。さらに(3)式はこのように変形することができます。 \begin \begin p(x_ | X_) &= \sum_ p(x_ , r_t | X_) \\ &= \sum_ \underbrace _> \space \underbrace< p ( r_t | X_) >_> \end \endこうこの辺でかなり、がちゃがちゃしてきました…。 新しい$\bm_t^$ は、run length が続いた時の Xの値の集合になります。 例えば、時刻 $t$において、run length が4だった時、$\bm = X_$となります。 ここら辺は、かなりわかりにくですね…。とはいえ、この(4)式がこの論文の手法を理解する上で最初の出発点になるところなので、頑張って理解しましょう。 ここで、冒頭で紹介した Gregorygundersenの解説記事では、(4)式の二行目に登場するそれぞれの確率をそれぞれ UPM (underlying probabilistic model) と、RL posterior (RL事後分布)と表現しています。 ここで、まず、RL 事後分布を考えていきましょう。(UPM 予測分布についても、その次に深掘っていきます）
\begin p ( r_t | X_) = \frac \end が成り立ちます。ここで、(5)式右辺の分子に着目すると、このように式変形することができます。 \begin \begin p( r_t , X_) &= \sum_> p( r_t, r_, X_) \\ &= \sum_> p( r_t, x_t | r_, X_ ) \space p( r_, X_) \\ &= \sum_> p(r_ | r_, X_) p(x_t | r_t, r_, \bm_t^) p(r_ | X_) \\ &= \sum_> p(r_ | r_) p(x_t | r_, \bm_t^) p(r_ | X_) \end \endこの式変形は詳しく追っていく必要性があります。元の論文の中でもかなり説明は省いています。 最初の1行目は、確率変数$r_$に対して周辺化をしているだけです。次の2行目は、条件付き分布の連鎖律(chain rule)の公式を利用しています。 最後の式変形は、本手法のヒューリスティックな部分が入っているところになるので、丁寧に追っていきます。
p(r_t | r_, \bm_) = p(r_t | r_) \\ p(x_t | r_t, r_, \bm_) = p(x_t | r_t, \bm_t^) このような、ヒューリスティック（仮定）を置いていることに注意しましょう。