[論文レビュー] Exactly computable and continuous metrics on isometry classes of finite and 1-periodic sequences

Vitaliy Kurlin|arXiv (Cornell University)|May 9, 2022

Time Series Analysis and Forecasting被引用数 7

ひとこと要約

本稿では、任意のユークリッド空間内の有限および1周期性を持つ系列の等長写像類に対して、連続的かつ正確に計算可能な新しい測度——「弾性測度」$φ^o$——を導入する。循環的距離行列と時間投影不変量を組み合わせることで、多項式時間での計算が可能であり、微小な摂動に対しても安定性を保証する。これは、トポロジカル・データ解析分野における長年の未解決問題を解決する。

ABSTRACT

The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining inter-point distances. The past work produced many Hausdorff-like distances that have slow or approximate algorithms due to minimizations over infinitely many isometries. For finite and 1-periodic sequences under isometry in any high-dimensional Euclidean space, we introduce continuous metrics with faster algorithms. The key novelty in the periodic case is the continuity of new metrics under perturbations that change the minimum period.

研究の動機と目的

• ユークリッド空間内での有限および1周期性を持つ系列の等長写像類に対して、連続的かつ計算可能な測度を構築するという未解決問題に取り組む。
• 測度がすべての測度公理（対称性、三角不等式、等長写像のときのみ0に消えること）を満たすように保証する。
• 等長写像に関する最小化を伴わないため、近似法や遅いアルゴリズムを避ける、多項式時間での正確な計算を達成する。
• 最小周期が変化する可能性のある摂動に対しても連続性を保証する。これは周期的構造において重要な課題である。
• 循環的距離行列と時間投影不変量を用いて、等長写像分類のための完全かつ安定な不変量を提供する。

提案手法

• 時間投影距離リストの$∞$-ノルムと循環的距離行列（CDM）のミンコフスキー距離の最大値として、弾性測度$φ^o(S,Q)$を定義する。
• 系列に対して基準点を固定し、循環的な順序ですべての対間距離を計算することで、循環的距離行列（CDM）を定義する。これにより、等長写像に関して不変となる。
• 時間軸に沿った点間距離の順序を、循環的置換を許容して記録する時間投影不変量$π^o(S)$を定義する。
• 系列$S$を$ℝ^n$内での等長写像を除き一意に再構成できる、完全な不変量$τνι(S) = (π^o(S), \mathrm{CDM}(S))$を構築する。
• 循環的置換と等長写像に関する不変性を活用することで、非最小周期に依存しない$φ^o$の独立性を証明する。
• Hausdorff距離$d_B$を用いた不等式$|φ^o(S,Q)| \leq 2d_B(S,Q)$により連続性を確立し、微小な摂動に対しても安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 最小周期が変化する摂動に対しても連続的であり、かつ多項式時間で正確に計算可能な測度を構築することは可能か？
• RQ2 有限および1周期性を持つ系列の完全な等長写像不変量は存在するか？その不変量により、測度から等長写像を除き一意に再構成可能か？
• RQ3 モチーフ点の微小な摂動に対しても、周期構造が変化しても安定な測度を設計するにはどうすればよいか？
• RQ4 測度を時間投影成分と空間成分に分解でき、それぞれが等長写像に関して不変であり、併せて等長写像検出に十分であるように設計できるか？
• RQ5 提案された測度は、対称性や三角不等式を含むすべての測度公理を満たすか？同時に計算効率も確保できるか？

主な発見

• 弾性測度$φ^o(S,Q)$は、サイズ$m$の系列に対して$O(m^3)$時間で正確に計算可能であり、多項式時間計算可能性の要件を満たす。
• 測度は連続的である：$S$の各点が$\varepsilon$-近傍内に摂動された場合、$\u03c6^o(S,Q) \leq C\varepsilon$を満たす（$C$は普遍定数）。これにより、ノイズに対する安定性が保証される。
• 測度が0に消えるのは$S$と$Q$が等長写像であるときのみである。これにより、不変量$\mathrm{CDM}$が等長写像分類に対して完全であることが証明される。
• 基準点を固定し、順序付き距離制約を満たす限り、循環的距離行列$\mathrm{CDM}(S)$は、$\u211d^n$内での等長写像を除き系列$S$を一意に再構成可能である。
• 時間投影不変量$\mathrm{DL}^o(S)$と$\mathrm{CDM}(S)$を組み合わせることで、$S$を等長写像を除き完全に再構成可能である。これにより、不変量が十分であることが証明される。
• 測度は三角不等式と対称性を満たす。証明は循環的置換とミンコフスキー距離の性質に依存する。