[論文レビュー] 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 球が、特定の構成にかかわらず、基数と一般位置が保たれていれば、常に等長であることを確立している。主な貢献は、距離の摂動に基づく等長写像の明示的構成であり、これにより等長な錐と、$n \geq 3$ の場合に $S_n$ に同型な豊富な対称性群が得られる。この結果は、Gromov–Hausdorff 空間の局所構造に関する先行研究を、$n$ 点部分空間に限らず、全空間 $\mathcal{M}$ へと拡張するものである。

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}$ の局所等長構造を調査すること。
• これらの空間が互いに等長でない場合でも、それらの周囲の小さな距離球が等長であるかどうかを特定すること。
• 中心の点間距離に基づく距離摂動を用いて、これらの球の間の明示的等長写像を構成すること。
• 特に、等長写像群の構造を含めた、これらの局所近傍の対称性特性を調査すること。
• 局所等長性を錐構造へと拡張し、このような空間の錐同士が等長であることを確立すること。

提案手法

• 一般位置を、すべての非ゼロ距離が相異なること、すべての三角不等式が厳密に成り立つこととして定義する。
• 空間 $X \in U_\varepsilon(M)$ の点間距離を、$|ij|_N - |ij|_M$ の差分に基づいて摂動する写像 $D_{M,N,\varepsilon}$ を構成し、$U_\varepsilon(N)$ に写像する。
• 最適な対応の歪みが保存されることを証明し、これにより Gromov–Hausdorff 距離が保存されることを示す。
• \varepsilon-バウンズの対称性と標準的分割の構造を用いて、写像が逆写像をもつこと、したがって等長写像であることを示す。
• Gromov–Hausdorff 距離のスケーリングにおける 1-斉次性を活用し、近傍の錐への等長写像を拡張する。
• 点ラベルの異なる置換における写像の非自明性を用いて、等長写像群が $S_n$ を部分群として含むことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般位置に置かれた有限距離空間の周囲の小さな Gromov–Hausdorff 球は、それらの空間が互いに等長でない場合でも等長であるか？
• RQ2 中心の点間距離のみを用いて、このような球の間の明示的等長写像を構成できるか？
• RQ3 一般位置の $n$ 点空間の近傍の等長写像群は、$S_n$ に同型な部分群を含むか？
• RQ4 このような近傍の錐同士は等長であるか？ また、この等長写像は頂点 $\Delta_1$ に連続的に拡張可能か？
• RQ5 一般位置における距離構造の摂動下で、$\mathcal{M}$ の局所幾何はどのように振る舞うか？

主な発見

• 一般位置に置かれた任意の $n$ 点距離空間 $M$ と $N$ に対して、十分に小さな Gromov–Hausdorff 球 $U_\varepsilon(M)$ と $U_\varepsilon(N)$ は、明示的に構成された写像 $D_{M,N,\varepsilon}$ により等長である。
• 等長写像 $D_{M,N,\varepsilon}$ は、$M$ と $N$ の距離行列の差分に基づく一様な点間距離のシフトによって誘導され、最適対応の歪みを保存する。
• $n \geq 3$ の場合、$U_\varepsilon(M)$ の等長写像群には、$M$ の点のラベル再配置によって生じる $S_n$ に同型な部分群が含まれる。
• $CU_\varepsilon(M)$ と $CU_\varepsilon(N)$ のような近傍の錐同士は等長であり、頂点 $\Delta_1$ を固定する。これは、Gromov–Hausdorff 距離のスケーリングにおける斉次性に起因する。
• この構成は、$s(M)/4$、$e(M)/4$、$t(M)/3$ および $N$ についても同様の値が成り立つように、$\varepsilon$ が有界である限り有効であり、標準的分割構造が保たれる。