[論文レビュー] Optimal detection of homogeneous segment of observations in stochastic sequence

Wojciech Sarnowski, Krzysztof Szajowski|arXiv (Cornell University)|Dec 18, 2008

Advanced Statistical Process Monitoring参考文献 12被引用数 7

ひとこと要約

本稿では、観測値が未知の確率的時刻に一つの定常マルコフ過程から別のマルコフ過程に切り替わる確率的系列における変化点検出の最適停止規則を提案する。確率最大化基準を用いて、変化点の事後確率の再帰的ベイズ更新式を導出し、十分統計量と尤度比に基づく最適検出規則を確立した。これはボイドチェクスのモデルを可算でない状態空間を有するマルコフ連関系列へ一般化したものである。

ABSTRACT

A Markov process is registered. At random moment $θ$ the distribution of observed sequence changes. Using probability maximizing approach the optimal stopping rule for detecting the change is identified. Some explicit solution is obtained.

研究の動機と目的

• 観測が一つのマルコフ過程から別のマルコフ過程に隠れた時刻で切り替わる確率的過程における不規則性問題を扱う。
• 独立同一分布（i.i.d.）系列を仮定するボイドチェクスのモデルを、可算でない状態空間を有するマルコフ連関観測に拡張する。
• リアルタイムの逐次観測において、変化点を検出するための確率最大化基準に基づく最適停止規則を導出する。
• 品質管理、ネットワーク異常検出、疫学的モデリングに応用可能な一般枠組みを提供する。

提案手法

• モデルは、幾何分布に従う確率的切り替え時刻 θ を仮定し、その後、Xⁿ⁰ から Xⁿ¹ への過程の遷移が発生する。両過程は θ と独立である。
• 観測系列の同時密度 S(𝐱₀,ₙ) は、各過程における遷移密度 fₓⁱ(y) に基づく尤度比 Lₘ(𝐱ₖ,ₙ) を用いて因数分解される。
• 十分統計量 G(𝐱ₙ₋ₗ₋₁,ₙ, Πₙ₋ₗ₋₁) を用いて、変化点の条件付き確率を計算する。これにより、後件確率 Πₙ = P(θ ≤ n | 𝒻ₙ) の再帰的ベイズ更新が導出される。
• 主要な式（25）は、過去の尤度と直前の後件確率を用いて Πₙ を再帰的に更新する。これにより、オンラインでの検出規則計算が可能となる。
• 関数 G(𝐱ₙ₋ₗ₋₁,ₙ, α) は、変化後セグメントの尤度と、事前尤度の重み付き和を組み合わせることで、更新の整合性を保証する。
• 補題は、再帰的公式の妥当性および測度論的議論を用いた条件付き確率 P(θ ≤ n−l−1 | 𝒻ₙ) の正当性を確立する。

実験結果

リサーチクエスチョン

• RQ1 前変化および後変化過程がi.i.d.ではなくマルコフ的である場合、変化点検出の最適停止規則はどのように導出可能か？
• RQ2 観測が非可観測な切り替え時刻を持つマルコフスイッチングモデルにおいて、変化点の後件確率を記述する再帰的更新式は何か？
• RQ3 確率最大化基準は従属系列に効果的に適用可能か？また、i.i.d.または独立過程に対する既存手法と比較してどう異なるか？
• RQ4 尤度比と十分統計量は、マルコフ連関の下で最適検出規則を構築する際に果たす役割は何か？
• RQ5 後件確率の再帰的構造は、どのように保たれ、リアルタイムで効率的に計算可能か？

主な発見

• 本稿では、オンライン計算が可能な再帰的公式（式25）を導出し、後件確率 Πₙ = P(θ ≤ n | 𝒻ₙ) の計算を可能にした。これは最適停止に不可欠である。
• 最適検出規則は、最近の観測の尤度を組み合わせた十分統計量 G(𝐱ₙ₋ₗ₋₁,ₙ, Πₙ₋ₗ₋₁) を用いて更新される後件確率 Πₙ に基づくことが示された。
• 同時密度 S(𝐱₀,ₙ) は、尤度比 Lₘ(𝐱ₖ,ₙ) を用いて事前および事後変化成分に因数分解され、条件付き確率の計算が容易になった。
• 補題8および9は、再帰的更新が正しい後件分布を保つことを証明し、停止規則の最適性を保証する。
• 本モデルはボイドチェクスのi.i.d.フレームワークを、可算でない状態空間および従属観測を許容するマルコフ過程へ一般化した。
• 本枠組みは、品質管理、ネットワーク異常検出、疫学的変化検出といった実用的問題に適用可能であり、特定の例について明示的な解が提供されている。