局所外れ値因子法
異常検知における局所外れ値因子法(きょくしょはずれちいんしほう、local outlier factor, LOF)は Markus M. Breunig、Hans-Peter Kriegel、Raymond T. Ng、Jörg Sander によって2000年に提案されたアルゴリズムで、任意のデータ点での、近傍点に対する局所的な変動を測ることによって異常を発見するものである。
局所外れ値因子法は、コア距離
(core distance)や到達可能性距離
(reachability distance)等の概念をDBSCANやOPTICSといったアルゴリズムと共有しており、これらは局所密度の推定に用いられる。
局所外れ値因子法は局所密度の概念に基づいている。ここでの「局所(locality)」は k 個の最近傍で与えられ、それらの距離によって密度が推定される。あるオブジェクトの局所密度をその近傍群の局所密度と比較することで、密度が同程度であるような領域と、周囲と比べて密度が有意に低い点を特定することができる。こうした点が外れ値だと考えられる。
局所密度は、その近傍から「到達(reach)」するのにかかる標準的距離を使って推定される。局所外れ値因子法での「到達可能性距離(reachability distance)」は、クラスタ内でより安定的な値が生じるよう追加的に定義された尺度である。
\mbox{k-distance}(A) を、オブジェクト A の k 番目の近傍までの距離とする。ここで k 個の最近傍とはこの距離以下の全てのオブジェクトの集合で、「タイ」が存在する場合は個数が k より大きくなり得ることに注意する。k 最近傍オブジェクトの集合を N_k(A) と書く。
この距離は、到達可能性距離(reachability distance)と呼ばれる値を定義するのに用いられる:
\mbox{reachability-distance}_k(A,B)=\max\{\mbox{k-distance}(B), d(A,B)\}
つまり、オブジェクト A の B からの「到達可能性距離」は、それが B の \mbox{k-distance} 以上である限りは、2オブジェクト間の真の距離と一致する。B の k 最近傍集合(B のコア(core)。DBSCANクラスタ解析を参照)は全て等距離だと見なせる。このような距離を考えるのは、結果をより安定的なものにするためである。これは対称的でないので、数学的定義上の距離にはなっていないことに注意する。 (常に \mbox{k-distance} の方を使うのはよくある誤りで、そのような場合は Simplified-LOF と呼ばれるわずかに異なる手法になる。)
オブジェクト A の局所到達可能性密度(local reachability density)は
\mbox{lrd}_k(A):=1/\left(\frac{\sum_{B\in N_k(A)}\mbox{reachability-distance}_k(A, B)}\right)
と定義される。これはオブジェクト A の、その近傍群からの到達可能性距離の平均の逆数をとったものである。A から近傍へ到達する距離の平均ではなく(これは定義上 \mbox{k-distance}(A) に等しい)、近傍から A へ到達する距離の平均であることに注意する。オブジェクトが重なっている点ではこの値は無限大になり得る。
次に以下のようにして、近傍群と局所到達可能性密度が比較される。
\mbox{LOF}_k(A):=\frac{\sum_{B\in N_k(A)}\frac{\mbox{lrd}(B)}{\mbox{lrd}(A)}
= \frac{\sum_{B\in N_k(A)}\mbox{lrd}(B)} / \mbox{lrd}(A)
これは「近傍群の局所到達可能性密度の平均」を「オブジェクト自身の局所到達可能性密度」で割ったものである。これが 1 に近い値であるとき、オブジェクトはその近傍と同程度(similar)である(よって外れ値ではない)。1 を下回るとき、その点は密度が高い領域(内部点(inlier))に位置する。1 を有意に上回るとき、外れ値である。
LOF(k) ~ 1 は、近傍と同程度の密度であることを意味する。
LOF(k) < 1 は、近傍よりも高密度であることを意味する。
LOF(k) > 1 は、近傍よりも低密度であることを意味する。
局所外れ値因子法は局所的なアプローチであるため、データセットの別の領域に位置していれば外れ値とはなっていないであろう点も、外れ値として検知できる。例えば、かなり密度の高いクラスタまでの距離が「小さい」点は、(まばらなクラスタ内の点も近傍までの距離は同程度かもしれないが)外れ値になる。
局所外れ値因子法を幾何学的な直観で捉えられるのは低次元ベクトル空間の場合に限られるが、このアルゴリズムは非類似度関数(dissimilarity function)が定義できるような任意の状況に対し適用できる。この手法は経験的に、数多くの設定下で非常に上手く働くことが示されており、例えば侵入検知システムや加工(processed)分類ベンチマークデータに関して、しばしば競合する手法より優れた結果を出す。
局所外れ値因子法や類似する手法群は、他の様々な問題、例えば地理データ、動画ストリーミング、著者ネットワーク(authorship network)における外れ値の検知に対しても容易に一般化できる。
出力値が分数であるため、解釈が難しい。値が 1 またはそれ以下であれば明確に外れ値でないと判断できるが、外れ値であるかどうかに対する明確な規則は存在しない。あるデータセットでは値が 1.1 であれば外れ値とされる一方で、別のデータセットあるいは別の(局所的な変動の激しい)パラメータの下では値が 2 であってもなお、外れ値とされないかもしれない。手法の局所性のために、こうした相違は一つのデータセットの中でも発生し得る。これらの特質の改善を試みる、局所外れ値因子法の拡張が存在している。
Feature Bagging for Outlier Detection(外れ値に対する特徴バギング) は、データの複数の射影に対して局所外れ値因子法を実行し、結果を結合することで、高次元での検知の質を高める。これは異常検知に対するアンサンブル学習アプローチの最初の例であり、他の変種については脚注を参照。
Local Outlier Probability (LoOP)(局所外れ値確率)は局所外れ値因子法から派生した手法だが、あまり込み入っていない(inexpensive)局所的統計量を用いることで、結果がパラメータ k の選択に鋭敏に左右されないようにしている。また出力値は [0:1] 区間の値に規格化されている。
Interpreting and Unifying Outlier Scores (外れ値スコアの解釈および統合)は、ユーザビリティ向上のために統計的スケーリングを用いてLOFの外れ値スコアを区間 [0:1] の値へ規格化することを提案するもので、LoOPの改善案とみることができる。
On Evaluation of Outlier Rankings and Outlier Scores (外れ値ランキングと外れ値スコアの評価)は、LOFの変種や別のアルゴリズムを用いた、高度な異常検知アンサンブル構築法同士の類似度および相違度を測る手法を提案する。上述の Feature Bagging for Outlier Detection を改善したものである。
Local outlier detection reconsidered: a generalized view on locality with applications to spatial, video, and network outlier detection(局所外れ値検知再考:空間・映像・ネットワークでの外れ値検知を用いた局所性への一般的視点)は、様々な局所外れ値検知手法(例えば、LOF, simplified version of LOF, LoOP)における一般的なパターンを議論し、一般的なフレームワークを抽象している。このフレームワークは続いて、地理データ、動画ストリーミング、著者ネットワーク等における外れ値検知に応用される。