[论文解读] Stability in multidimensional Size Theory

Andrea Cerri, Patrizio Frosini+1 more|ArXiv.org|Aug 2, 2006

Topological and Geometric Data Analysis参考文献 22被引用 6

一句话总结

本文通过将半平面的叶状结构应用于 R^k × R^k，将多维尺寸函数的分析简化为一维情形，从而实现对一维计算技术的利用，证明了多维尺寸函数的稳定性。其主要贡献在于提出了一种新的匹配距离，该距离为多维形状比较中的自然伪距离提供了稳定且可计算的下界。

ABSTRACT

This paper proves that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables. Indeed, we show that a foliation in half-planes can be given, such that the restriction of a multidimensional size function to each of these half-planes turns out to be a classical size function in two scalar variables. This leads to the definition of a new distance between multidimensional size functions, and to the proof of their stability with respect to that distance.

研究动机与目标

• 解决多维尺寸函数在形状比较中缺乏简洁稳定描述符的问题。
• 克服由于其复杂结构而导致直接比较多维尺寸函数的困难。
• 为将尺寸理论应用于高维数据的实际应用建立理论基础。
• 提供一种计算上可行的方法，用于通过多维测量函数比较形状。
• 开发一种确保稳定性的新距离度量，该度量在多维设置中可作为自然伪距离的下界。

提出的方法

• 在 R^k × R^k 中引入半平面的叶状结构，使得多维尺寸函数在每个半平面上的限制等价于经典的二维变量一维尺寸函数。
• 通过变量替换将 k 维问题转化为一组可应用一维尺寸函数分析的二维问题。
• 利用一维尺寸函数的已有结果（例如，通过点与直线的形式级数表示）来紧凑地描述多维尺寸函数。
• 基于在 1D 约化平面中临界点之间的匹配，定义多维尺寸函数之间的新距离 D_match。
• 通过依赖一维尺寸函数的已知稳定性以及叶状结构的连续性，证明新描述符的稳定性。
• 将该方法应用于构造自然伪距离的下界，使用匹配距离 D_match。

实验结果

研究问题

• RQ1 多维尺寸函数的比较能否以稳定且计算可行的方式简化为一维情形？
• RQ2 何种叶状结构条件可确保多维尺寸函数在半平面上的限制成为经典的一维尺寸函数？
• RQ3 如何在多维尺寸函数之间定义一种稳定且可计算的距离，以作为自然伪距离的下界？
• RQ4 叶状结构的选择在多大程度上影响该方法的稳定性和计算效率？
• RQ5 所提出的框架能否扩展至其他不变量（如高维中的尺寸同伦群或持久同调群）？

主要发现

• 在所提出的叶状结构中，每个半平面上的 k 维尺寸函数的限制等价于两个标量变量的经典一维尺寸函数。
• 多维尺寸函数可通过叶状结构中每个半平面对应的一个参数化离散一维描述符族完全且紧凑地描述。
• 新匹配距离 D_match 为多维情形下一对 (M, φ) 与 (N, ψ) 之间的自然伪距离提供了稳定下界。
• 通过变量替换和叶状结构，将多维尺寸函数的稳定性归约为一维尺寸函数的稳定性，从而完成其稳定性证明。
• 该方法使得现有的一维计算技术可用于多维形状比较，显著增强了实际适用性。
• 该方法与持久同调及尺寸函子理论兼容，可扩展至高阶不变量（如尺寸同伦群）。