[论文解读] 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

一句话总结

本文提出了一种新颖的、连续的且可精确计算的度量——称为弹性度量 $φ^o$——用于任意欧几里得空间中有限和1-周期序列的等距类。通过结合循环距离矩阵与时间投影不变量，该方法实现了多项式时间计算，同时确保在小扰动下保持稳定，解决了拓扑数据分析领域长期存在的开放问题。

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-周期序列等距类上连续可计算度量的开放问题。
• 确保该度量满足所有度量公理，包括对称性、三角不等式，且仅当序列等距时度量为零。
• 实现多项式时间内精确计算，避免因需对等距群取最小化而引入的近似或低效算法。
• 保证在扰动可能改变最小周期的情况下仍保持连续性，这是周期性结构中的关键挑战。
• 通过循环距离矩阵与时间投影不变量，提供一个完整且稳定的等距分类不变量。

提出的方法

• 提出弹性度量 $φ^o(S,Q)$ 作为两部分的最大值：循环排列后的时间投影距离列表的 $∞$-范数，以及循环距离矩阵（CDM）的闵可夫斯基范数。
• 通过固定基点并按循环顺序计算所有点对之间的距离，定义序列的循环距离矩阵（CDM），确保其在等距变换下不变。
• 使用时间投影不变量 $π^o(S)$ 编码沿时间轴的点间距离有序序列，允许循环排列。
• 构造完整不变量 $τνι(S) = (π^o(S), \mathrm{CDM}(S))$，以在 $ℝ^n$ 中唯一重构序列（模等距）。
• 通过利用循环排列性质及等距不变性，证明 $φ^o$ 与非最小周期无关。
• 通过建立不等式 $|φ^o(S,Q)| \leq 2d_B(S,Q)$（其中 $d_B$ 为Hausdorff距离）证明连续性，确保在小扰动下保持稳定。

实验结果

研究问题

• RQ1 能否构造一种度量，使其在多项式时间内精确计算，且在扰动改变周期序列最小周期时仍保持连续？
• RQ2 是否存在一个完整的等距不变量，可用于从度量中精确重构有限和1-周期序列（模等距）？
• RQ3 如何设计度量，使其在扰动改变周期结构时，对基序点的微小扰动仍保持稳定？
• RQ4 能否将度量分解为时间投影与空间两部分，使二者各自在等距下不变，且联合起来足以实现等距检测？
• RQ5 所提出的度量是否满足所有度量公理（包括对称性与三角不等式），同时具备计算高效性？

主要发现

• 弹性度量 $φ^o(S,Q)$ 对大小为 $m$ 的序列可在 $O(m^3)$ 时间内精确计算，满足多项式时间可计算性要求。
• 该度量具有连续性：若 $S$ 中每个点均在 $\varepsilon$-邻域内被扰动，则 $\u03c6^o(S,Q) \leq C\varepsilon$，其中 $C$ 为通用常数，确保对噪声具有稳定性。
• 当且仅当 $S$ 与 $Q$ 等距时，度量为零，证明 $\mathrm{CDM}$ 是等距分类的完备不变量。
• 在固定基点和顺序距离约束下，循环距离矩阵 $\mathrm{CDM}(S)$ 可唯一重构 $ℝ^n$ 中的序列 $S$（模等距）。
• 时间投影不变量 $\mathrm{DL}^o(S)$ 与 $\mathrm{CDM}(S)$ 联合使用，可完全重构 $S$（模等距），证明这两个不变量联合充分。
• 该度量满足三角不等式与对称性，其证明依赖于循环排列性质与闵可夫斯基范数的特性。