[论文解读] Local Structure of Gromov-Hausdorff Space near Finite Metric Spaces in General Position

Alexander Ivanov, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|Nov 11, 2016

Point processes and geometric inequalities参考文献 6被引用 8

一句话总结

本文证明了，对于处于一般位置（所有非零距离互不相同，三角不等式严格成立）的有限度量空间，其中心在该类空间上的小 Gromov–Hausdorff 球，只要其基数和一般位置性质保持不变，无论具体构型如何，彼此之间都彼此等距。关键贡献在于通过点间距离的扰动，显式构造了这些球之间的等距映射，从而得到等距锥体，并展现出丰富的对称性，其同构于对称群 $S_n$（当 $n \geq 3$ 时）。该结果将先前关于 Gromov–Hausdorff 空间局部结构的研究扩展至整个空间 $\mathcal{M}$，而不仅限于 $n$-点子空间。

ABSTRACT

We investigate the local structure of the space $\mathcal{M}$ consisting of isometry classes of compact metric spaces, endowed with the Gromov-Hausdorff metric. We consider finite metric spaces of the same cardinality and suppose that these spaces are in general position, i.e., all nonzero distances in each of the spaces are distinct, and all triangle inequalities are strict. We show that sufficiently small balls in $\mathcal{M}$ centered at these spaces and having the same radii are isometric. As consequences, we prove that the cones over such spaces (with the vertices at one-point space) are isometrical; the isometry group of each sufficiently small ball centered at a general position $n$-points space, $n\ge3$, contains a subgroup isomorphic to the group $S_n$ of permutations of a set containing $n$ points.

研究动机与目标

• 研究 Gromov–Hausdorff 空间 $\mathcal{M}$ 在一般位置的有限度量空间附近的局部等距结构。
• 确定以这些空间为中心的小度量球是否彼此等距，即使这些空间本身并非等距。
• 通过基于中心点间距离的扰动，显式构造这些球之间的等距映射。
• 探索这些局部邻域的对称性，特别是其等距群的结构。
• 建立这些空间上锥体的等距性，将局部等距性推广至锥结构。

提出的方法

• 将一般位置定义为所有非零距离互不相同，且所有三角不等式严格成立。
• 构造一个映射 $D_{M,N,\varepsilon}$，通过将 $X \in U_\varepsilon(M)$ 中的点间距离按 $|ij|_N - |ij|_M$ 的差值进行扰动，将其映射至 $U_\varepsilon(N)$ 中的某个空间。
• 证明该映射保持最优对应关系的畸变，因此保持 Gromov–Hausdorff 距离。
• 利用 $\varepsilon$-界对称性与典范划分结构，证明该映射是可逆的，因而构成等距映射。
• 利用 Gromov–Hausdorff 度量在缩放下的一次齐次性，将等距映射扩展至邻域上的锥体。
• 利用不同点标签排列下映射的非平凡性，证明等距群中包含同构于 $S_n$ 的子群。

实验结果

研究问题

• RQ1 对于处于一般位置的有限度量空间，其中心在这些空间上的小 Gromov–Hausdorff 球是否彼此等距，即使这些空间本身并非等距？
• RQ2 能否仅基于中心的点间距离，显式构造出这些球之间的等距映射？
• RQ3 一个一般位置 $n$-点空间的小邻域的等距群是否包含同构于 $S_n$ 的子群？
• RQ4 这些邻域上的锥体是否彼此等距，且该等距能否连续地延拓至顶点 $\Delta_1$？
• RQ5 在一般位置下，$\mathcal{M}$ 的局部几何结构在度量结构扰动下如何表现？

主要发现

• 对于任意两个处于一般位置的 $n$-点度量空间 $M$ 和 $N$，当 $\varepsilon$ 足够小时，其 Gromov–Hausdorff 球 $U_\varepsilon(M)$ 和 $U_\varepsilon(N)$ 通过显式构造的映射 $D_{M,N,\varepsilon}$ 相互等距。
• 等距映射 $D_{M,N,\varepsilon}$ 由 $M$ 与 $N$ 的距离矩阵差值所诱导的点间距离均匀平移生成，且保持最优对应关系中的畸变。
• 当 $n \geq 3$ 时，$U_\varepsilon(M)$ 的等距群包含一个同构于对称群 $S_n$ 的子群，该子群源于对 $M$ 的点的重标记。
• 这些邻域上的锥体 $CU_\varepsilon(M)$ 与 $CU_\varepsilon(N)$ 彼此等距，且该等距映射固定顶点 $\Delta_1$，这是由于 Gromov–Hausdorff 度量在缩放下具有齐次性。
• 该构造在 $\varepsilon$ 受限于 $s(M)/4$、$e(M)/4$、$t(M)/3$ 及其对应 $N$ 的类似量时成立，确保了典范划分结构的保持。