[논문 리뷰] Gromov--Hausdorff Distance to Simplexes

Д. С. Григорьев, Alexander Ivanov외 1명|arXiv (Cornell University)|2019. 06. 23.

Geometric and Algebraic Topology참고 문헌 4인용 수 6

한 줄 요약

이 논문은 단순체(모든 비영인 거리가 동일한 거리공간)에 대한 기하적 구조를 분석함으로써 유계 거리공간에 대한 Gromov--Hausdorff 거리 이론을 일반화한다. 분할 기하학을 통해 이러한 거리에 대한 명시적 공식을 도출하며, 이는 이전의 컴팩트 공간 결과를 일반 유계 공간으로 확장하고 증명을 단순화한다. 유한한 경우는 최소 스패닝 트리의 길이가 핵심 결과로 나타난다.

ABSTRACT

Geometric characteristics of metric spaces that appear in formulas of the Gromov--Hausdorff distances from these spaces to so-called simplexes, i.e., to the metric spaces, all whose non-zero distances are the same are studied. The corresponding calculations essentially use geometry of partitions of these spaces. In the finite case, it gives the lengths of minimal spanning trees. A similar theory for compact metric spaces was worked out previously. In the present paper we generalize those results to any bounded metric space, and also, we simplify some proofs.

연구 동기 및 목표

• 기존의 컴팩트 공간에 국한된 Gromov--Hausdorff 거리 이론을 컴팩트 공간에서 일반 유계 거리공간으로 확장하기 위해.
• 단순체에 대한 Gromov--Hausdorff 거리에 영향을 주는 거리공간의 기하적 특징을 규명하기 위해.
• 이전의 컴팩트 경우 결과에 대한 증명을 분할 기반 기하학을 활용해 단순화하고 통합하기 위해.
• 유한 거리공간에서 Gromov--Hausdorff 거리와 최소 스패닝 트리 길이 사이의 관계를 설정하기 위해.

제안 방법

• 거리공간의 분할 기하적 성질을 활용하여 단순체까지의 거리를 계산한다.
• Gromov--Hausdorff 프레임워크 내에서 등거리 거리공간(단순체)을 기준점으로 사용한다.
• 모든 유계 거리공간으로 영역을 확장함으로써 이전의 컴팩트 공간 결과를 일반화한다.
• 거리 공식을 유도하기 위해 조합론적 및 거리 기반 분할 기법을 활용한다.
• 거리 분포와 분할의 세분화에 기반한 기하적 추론을 통해 핵심 결과를 도출한다.
• 유한한 경우는 모든 점을 연결하는 최단 연결 네트워크의 총 길이를 통해 최소 스패닝 트리와 연결된다.

실험 결과

연구 질문

• RQ1 유계 거리공간에서 단순체까지의 Gromov--Hausdorff 거리는 어떻게 기하학적으로 특징지을 수 있는가?
• RQ2 거리공간의 분할이 단순체까지의 거리 계산에 어떤 역할을 하는가?
• RQ3 컴팩트 거리공간에 대한 이론은 어떻게 일반 유계 거리공간으로 확장되는가?
• RQ4 유한 거리공간에서 단순체까지의 Gromov--Hausdorff 거리와 최소 스패닝 트리 사이의 관계는 무엇인가?
• RQ5 분할 기하학을 활용하면 이전 결과의 증명을 단순화할 수 있는가?

주요 결과

• 유한 거리공간에서 단순체까지의 Gromov--Hausdorff 거리는 그 최소 스패닝 트리의 총 길이와 같다.
• 이론은 컴팩트 공간에서 일반 유계 거리공간으로 성공적으로 확장되었다.
• 공간의 기하적 분할은 단순체까지의 거리 계산에 구조적 기반을 제공한다.
• 분할 기반 추론을 통해 이전 결과의 증명이 단순화되었다.
• 단순체까지의 거리는 거리공간의 내재적 분할 기하학과 등거리 성질에 의해 결정된다.
• 이 프레임워크는 유한한 경우에서 스패닝 트리 길이와 Gromov--Hausdorff 거리 사이의 직접적 연결을 드러낸다.