[논문 리뷰] Geometry of Compact Metric Space in Terms of Gromov-Hausdorff Distances to Regular Simplexes

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

Topological and Geometric Data Analysis참고 문헌 4인용 수 10

한 줄 요약

이 논문은 모든 비영인 거리가 동일한 유한한 거리 공간인 정규 단체에 대한 컴팩트 거리 공간의 골모프-하우스도르프 거리를 통해 그 기하학을 조사한다. 기약 최적의 대응과 유한한 분할을 활용하여, 크기가 다른 단체에 대한 거리에 대한 명시적 공식을 유도하고, 이러한 거리가 서로 이sov메트릭이 아닌 유한한 거리 공간들을 구분하지 못함을 보여, 모든 단체에 대해 동일한 거리 값을 갖는 연속체(uncountable)의 상호 비이sov메트릭 공간들이 존재함을 시사한다.

ABSTRACT

In the present paper we investigate geometric characteristics of compact metric spaces, which can be described in terms of Gromov-Hausdorff distances to simplexes, i.e., to finite metric spaces such that all their nonzero distances are equal to each other. It turns out that these Gromov-Hausdorff distances depend on some geometrical characteristics of finite partitions of the compact metric spaces; some of the characteristics can be considered as a natural analogue of the lengths of edges of minimum spanning trees. As a consequence, we constructed an unexpected example of a continuum family of pairwise non-isometric finite metric spaces with the same distances to all simplexes.

연구 동기 및 목표

• 컴팩트 거리 공간의 기하학적 구조를 정규 단체에 대한 골모프-하우스도르프 거리를 통해 특성화하는 것.
• 유한한 거리 공간에서 최소 스패닝 트리에 관한 이전 결과를 임의의 컴팩트 거리 공간으로 일반화하는 것.
• 모든 단체에 대한 거리 집합이 유한한 거리 공간의 이sov메트리 클래스에 대한 완전한 거리 불변량인지 조사하는 것.
• 특정 크기와 지름을 갖는 단체에 대한 골모프-하우스도르프 거리에 대한 명시적 공식을 유도하는 것.
• 특히 유한한 경우에서 단체로의 거리로부터의 거리 공간 복원의 유일성에 대한 비유일성을 탐구하는 것.

제안 방법

• 컴팩트 거리 공간과 단체 사이의 기약 최적의 대응을 활용하여, 골모프-하우스도르프 거리의 계산을 공간의 유한한 분할로 환원한다.
• 편차 공식을 적용한다: $ d_{GH}(X,Y) = \frac{1}{2} \inf_{R \in \mathcal{R}(X,Y)} \operatorname{dis} R $, 여기서 $ \operatorname{dis} R $ 는 대응 $ R $ 의 편차이다.
• 분할을 통해 특정 거리 조합의 최댓값을 분석함으로써 $ d_{GH}(t\Delta_n, X) $ 의 명시적 표현을 도출한다.
• 공간 $ X $ 를 단체의 정점에 대응하는 $ n $ 개의 서로소 부분집합으로 분할하는 기반 최적화 기법을 사용한다.
• 특히 $ n \leq \#X $ 일 때 최적의 대응은 $ X $ 의 분할을 유도하므로 정확한 거리 계산이 가능하다.
• 다양한 단체의 크기와 지름에 따른 거리 비교를 수행하며, 특히 $ t\Delta_2 $, $ t\Delta_3 $, $ t\Delta_4 $, $ t\Delta_5 $ 에 대해 최소-최대 표현식을 사용한다.

실험 결과

연구 질문

• RQ1 컴팩트 거리 공간에서 정규 단체로의 골모프-하우스도르프 거리는 공간의 유한한 분할을 통해 계산될 수 있는가?
• RQ2 모든 단체에 대한 골모프-하우스도르프 거리 집합은 유한한 거리 공간의 이sov메트리 클래스에 대한 완전한 불변량인가?
• RQ3 서로 이sov메트릭이 아닌 여러 유한한 거리 공간이 모든 정규 단체에 대해 동일한 골모프-하우스도르프 거리를 가질 수 있는가?
• RQ4 스펙트럼 $ \sigma $, $ \Sigma $, 및 $ \delta_k(X) $ 와 같은 기하학적 불변량이 단체로의 거리를 결정하는 데 어떤 역할을 하는가?
• RQ5 모든 단체에 대해 동일한 거리 값을 갖는 비가산(연속체)의 상호 비이sov메트릭 유한한 거리 공간의 집합을 구성하는 것이 가능한가?

주요 결과

• 모든 컴팩트 거리 공간 $ X $ 에 대해, $ n \leq \#X $ 일 때 단체 $ t\Delta_n $ 으로의 골모프-하우스도르프 거리는 오직 $ X $ 의 $ n $ 개의 비공집합이고 서로소인 부분집합으로의 분할에 의해서만 결정된다.
• 특히 $ n=2,3,4,5 $ 에 대해 $ d_{GH}(t\Delta_n, X) $ 의 명시적 공식이 도출되었으며, 4점 공간의 맥락에서 $ 2d_{GH}(t\Delta_2, X) = \max\{c, t-d, f-t\} $ 이다.
• 모든 단체에 대한 거리 집합은 서로 이sov메트릭이 아닌 유한한 거리 공간을 구분하지 못한다: 거리 $ |x_1x_4| $ 와 $ |x_3x_4| $ 가 전치된 두 개의 4점 공간 $ X_1 $ 과 $ X_2 $ 는 모든 단체에 대해 동일한 거리를 갖는다.
• 모든 단체에 대해 동일한 골모프-하우스도르프 거리를 갖는 상호 비이sov메트릭 유한한 거리 공간의 연속체(비가산) 집합이 구성되었다.
• 거리 집합이 모든 단체에 대해 동일한 공간들이 존재하므로, 거리 집합은 거리 불변량이 아니며, 이는 이sov메트릭이 아닌 공간들이 동일한 거리 프로파일을 가질 수 있음을 보여준다.
• $ \delta_2(X) $, 즉 2클리크 수는 $ t\Delta_2 $ 에 대한 거리 공식에서 핵심 기하학적 매개변수로 나타나며, 이는 스펙트럼만으로는 복원될 수 없음을 보여준다.