[论文解读] Universality of the Homotopy Interleaving Distance

Andrew J. Blumberg, Michael Lesnick|arXiv (Cornell University)|May 4, 2017

Topological and Geometric Data Analysis被引用 7

一句话总结

本文引入了同伦交错（homotopy interleavings）作为拓扑数据分析（TDA）中交错（interleavings）的同伦不变类比，定义了在过滤空间上满足普遍稳定性与同伦不变性性质的伪度量 $d_{HI}$。主要贡献在于证明 $d_{HI}$ 是满足此类性质的普遍伪度量，从而使得基本 TDA 定理可在过滤空间层面以更强的形式表达，同时提供了对朴素持久同伦 Whitehead 定理的反例，并提出了一个改进的猜想。

ABSTRACT

As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that homotopy interleavings induce an extended pseudometric $d_{HI}$ on filtered spaces, and that this is the universal pseudometric satisfying natural stability and homotopy invariance axioms. To motivate these axioms, we also observe that $d_{HI}$ (or more generally, any pseudometric satisfying these two axioms and an additional "homology bounding" axiom) can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces. Finally, we consider the problem of establishing a persistent Whitehead theorem in terms of homotopy interleavings. We provide a counterexample to a naive formulation of the result.

研究动机与目标

• 通过形式化过滤空间之间的近似弱同胚，为拓扑数据分析建立同伦论基础。
• 定义并研究同伦交错，作为严格交错的同伦不变推广。
• 证明同伦交错距离 $d_{HI}$ 是满足自然稳定性与同伦不变性公理的普遍伪度量。
• 通过在过滤空间层面直接表述而非仅在条形码层面表述，强化经典 TDA 定理。
• 通过同伦交错研究持久 Whitehead 定理的可能性，进而提出一个改进的猜想。

提出的方法

• 将同伦交错引入为过滤拓扑空间之间交错的同伦不变版本。
• 利用同伦交错定义过滤空间上的同伦交错距离 $d_{HI}$，作为扩展伪度量。
• 通过广义交错范畴及模型范畴中 Kan 伸延的性质，证明 $d_{HI}$ 的三角不等式。
• 通过证明其满足最强的稳定性与同伦不变性公理，确立 $d_{HI}$ 的普遍性，且不存在更小的伪度量满足相同性质。
• 使用可约化替换与同伦上积，确保构造中图示结构的良好行为。
• 构造朴素持久 Whitehead 定理表述的反例，以指导改进猜想的形成。

实验结果

研究问题

• RQ1 能否为过滤空间定义交错的同伦不变类比，以捕捉近似弱同胚？
• RQ2 同伦交错距离 $d_{HI}$ 是否是满足稳定性与同伦不变性的普遍伪度量？
• RQ3 能否将基本 TDA 定理（如 Rips 过滤的稳定性）加强为在过滤空间层面直接成立？
• RQ4 是否存在一个持久 Whitehead 定理，将持久同伦群的交错与过滤空间的同伦交错联系起来？
• RQ5 朴素持久 Whitehead 定理表述的局限性是什么，如何加以修正？

主要发现

• 同伦交错距离 $d_{HI}$ 定义良好，且满足三角不等式，构成过滤空间上稳健的扩展伪度量。
• 伪度量 $d_{HI}$ 是所有满足自然稳定性与同伦不变性公理的伪度量中普遍存在的。
• 本文提供了一个反例，表明持久同伦群的 $\delta$-交错并不蕴含过滤空间的 $\delta$-同伦等价或交错。
• 提出了一个改进的持久 Whitehead 猜想：在有界维数且同伦群 $\delta$-交错的条件下，$X$ 与 $Y$ 是 $c\delta$-同伦交错的，其中常数 $c$ 仅依赖于维数。
• 反例使用一列空间 $Y^n$，其在每级均具有平凡同伦群但同调非平凡，表明即使持久同伦群交错，同调交错在任何有限尺度下仍会失败。
• 结果使得经典 TDA 定理可从条形码层面提升至过滤空间层面，增强了其拓扑与同伦鲁棒性。