[논문 리뷰] Local Structure of Gromov-Hausdorff Space near Finite Metric Spaces in General Position

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

Point processes and geometric inequalities참고 문헌 6인용 수 8

한 줄 요약

이 논문은 일반 위치에 있는 유한 거리 공간(모든 비영인 거리가 서로 다르고 삼각 부등식이 엄격하게 성립)을 중심으로 한 소규모 Gromov–Hausdorff 공집합이, 특정 구성이 유지되는 한 구체적인 구성과 관계없이 항상 등장하는 것으로 보여준다. 핵심 기여는 거리의 변형을 통한 등장성의 명시적 구성이며, 이는 등장하는 콘과 $n \geq 3$에 대해 대칭군 $S_n$과 동형인 풍부한 대칭군 구조를 이끌어낸다. 이 결과는 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}$ 내에서 일반 위치에 있는 유한 거리 공간 근처의 국소적 등장성 기하학을 조사한다.
• 이러한 공간을 중심으로 한 소규모 거리 공집합이 서로 등장하는지, 그들 사이에 등장성이 없더라도 등장하는지 확인한다.
• 중심의 점 간 거리 정보만을 사용하여 이러한 공집합 간에 명시적인 등장성을 구성한다.
• 특히 등장성 군의 구조를 포함한 이러한 국소 이웃의 대칭 성질을 탐색한다.
• 이러한 이웃의 콘에 대한 등장성을 확립하여 국소적 등장성을 콘 구조로 확장한다.

제안 방법

• 일반 위치를 모든 비영인 거리가 서로 다르고 모든 삼각 부등식이 엄격하게 성립하도록 정의한다.
• 공간 $X \in U_\varepsilon(M)$ 내의 점 간 거리를 $|ij|_N - |ij|_M$의 차이에 따라 변형하는 매핑 $D_{M,N,\varepsilon}$를 구성하여 $U_\varepsilon(N)$ 내의 공간으로 매핑한다.
• 이 매핑이 최적의 대응에서의 왜곡을 유지하므로 Gromov–Hausdorff 거리가 유지됨을 증명한다.
• ε-한계의 대칭성과 표준 분할의 구조를 이용하여 이 매핑이 가역적이며 따라서 등장임을 보인다.
• Gromov–Hausdorff 거리의 첫 번째 동차성에 기반하여 이 등장성을 이웃의 콘으로 확장한다.
• 점의 레이블을 다른 순열로 재배치할 경우 매핑이 비자명하게 작용함을 이용하여 등장성 군이 $S_n$과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 일반 위치에 있는 유한 거리 공간을 중심으로 한 소규모 Gromov–Hausdorff 공집합은, 그들 사이에 등장성이 없더라도 서로 등장하는가?
• RQ2 중심의 점 간 거리 정보만을 사용하여 이러한 공집합 간에 명시적인 등장성을 구성할 수 있는가?
• RQ3 일반 위치의 $n$-점 공간 근처의 소규모 이웃의 등장성 군은 $S_n$과 동형인 부분군을 포함하는가?
• RQ4 이러한 이웃의 콘은 등장하는가, 그리고 이 등장성은 apex $\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$에 대해 유효하며, 이는 표준 분할의 구조가 유지됨을 보장한다.