[논문 리뷰] Calculation of Minimum Spanning Tree Edges Lengths using Gromov--Hausdorff Distance

Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|2016. 05. 05.

Topological and Geometric Data Analysis참고 문헌 5인용 수 6

한 줄 요약

이 논문은 유한 거리 공간에서의 최소 스패닝 트리(MST) 간선 길이와 큰 지름을 가진 단체로의 Gromov–Hausdorff 거리 사이에 새로운 연결 고리를 설정한다. 고유값 계산과 유사한 최대-최소 공식을 활용하여, 최소 스패닝 트리 길이, 스티너 최소 트리 길이, 최소 메시 길이를 Gromov–Hausdorff 거리에 대한 최적화를 통해 정확한 공식으로 도출한다.

ABSTRACT

In the present paper we show how one can calculate the lengths of edges of a minimum spanning tree constructed for a finite metric space, in terms of the Gromov-Hausdorff distances from this space to simplices of sufficiently large diameter. Here by simplices we mean finite metric spaces all of whose nonzero distances are the same. As an application, we reduce the problems of finding a Steiner minimal tree length or a minimal filling length to maximization of the total distance to some finite number of simplices considered as points of the Gromov-Hausdorff space.

연구 동기 및 목표

• 유한 거리 공간에서의 최소 스패닝 트리(MST) 간선 길이와 단체로의 Gromov–Hausdorff 거리 사이의 수학적 관계를 설정하는 것.
• Gromov–Hausdorff 거리를 활용한 MST, 스티너 최소 트리(SMT), 최소 메시(MF) 길이의 새로운 계산 프레임워크를 제공하는 것.
• 이러한 기하 최적화 문제들이 Gromov–Hausdorff 공간 내에서 유한한 단체 점 집합으로부터의 총 거리 최대화 문제로 환원될 수 있음을 보여주는 것.
• 자기수반 연산자에 대한 스펙트럴 이론과 유사한 최대-최소 원리로 MST 간선 길이를 체계화하는 것.
• 입력 점 집합을 포함하는 임베딩 또는 슈퍼-구조를 최적화하여 SMT 및 MF 길이를 계산할 수 있도록 프레임워크를 확장하는 것.

제안 방법

• 지름 1인 단체 $ \triangle_{k+1} $ 과 유한 거리 공간 $ X $ 사이의 Gromov–Hausdorff 거리 $ d_{GH}(X, \triangle_{k+1}) $ 를 사용한다.
• 대응관계의 왜곡 공식을 적용: $ d_{GH}(X,Y) = \frac{1}{2} \inf_R \operatorname{dis}(R) $, 여기서 $ R $ 은 $ X $ 와 $ \triangle_{k+1} $ 사이의 대응관계를 뜻한다.
• 최적의 대응관계 $ R \in \mathcal{R}_{\text{opt}}(\triangle_{k+1}, X) $ 를 특성화하여 $ X $ 의 분할 $ \{X_1, \dots, X_{k+1}\} $ 를 이끌어내며, 이에 따라 $ \operatorname{dis}(R) = 1 - \alpha(\{X_i\}) $ 가 된다.
• 다음과 같은 결과를 유도한다: $ 2d_{GH}(\triangle_{k+1}, X) = 1 - \sigma_k $, 여기서 $ \sigma_k $ 는 $ X $ 의 모든 $ (k+1) $-분할에 대해 최대의 클러스터 간 거리이다.
• 단체를 스케일링하여 $ \lambda \geq 2\operatorname{diam}X $ 를 적용함으로써 $ \sigma_k = \lambda - 2d_{GH}(X, \lambda\triangle_{k+1}) $ 를 도출한다.
• 모든 $ k $ 에 대해 합산하여 MST 길이를 얻는다: $ \operatorname{mst}(X) = \sum_{k=1}^{n-1} \left[ \lambda - 2d_{GH}(X, \lambda\triangle_{k+1}) \right] $, 이는 $ \lambda \geq 2\operatorname{diam}X $ 일 때 유효하다.

실험 결과

연구 질문

• RQ1 유한 거리 공간의 최소 스패닝 트리 간선 길이를 단체로의 Gromov–Hausdorff 거리로 표현할 수 있는가?
• RQ2 스펙트럴 이론에서 고유값 계산과 유사한 최대-최소 공식이 MST 간선 길이에 대해 존재하는가?
• RQ3 스케일된 단체로의 Gromov–Hausdorff 거리 최적화를 통해 스티너 최소 트리 길이를 계산할 수 있는가?
• RQ4 유한 거리 공간의 최소 메시 길이가 Gromov–Hausdorff 거리에 대한 최대화 문제로 환원될 수 있는가?
• RQ5 지름 스케일링 파라미터 $ \lambda $ 가 Gromov–Hausdorff 거리 기반 기하 불변량 계산을 안정화시키는 데서 수행하는 역할은 무엇인가?

주요 결과

• 유한 거리 공간 $ X $ 에서의 최소 스패닝 트리 길이는 $ \operatorname{mst}(X) = \lambda(n-1) - 2\sum_{k=1}^{n-1} d_{GH}(X, \lambda\triangle_{k+1}) $ 로 주어지며, 임의의 $ \lambda \geq 2\operatorname{diam}X $ 에 대해 유효하다.
• 각 $ k $ 에 대해, MST 간선 길이의 $ k $ 번째로 큰 값은 $ \lambda - 2d_{GH}(X, \lambda\triangle_{k+1}) $ 와 대응하며, $ \sigma_k = \lambda - 2d_{GH}(X, \lambda\triangle_{k+1}) $ 는 $ k $ 번째로 큰 클러스터 간 거리가 된다.
• 스티너 최소 트리 길이는 $ \operatorname{smt}(M,X) = \inf \left\{ \sum_{k=1}^\infty \left[ \lambda - 2d_{GH}(V, \lambda\triangle_{k+1}) \right] : V \in \mathcal{M}(M,X,d) \right\} $ 를 만족하며, 여기서 $ d > \operatorname{smt}(M,X) $ 이고 $ \lambda \geq 2d $ 이다.
• 유한 거리 공간 $ M $ 의 최소 메시 길이는 $ \operatorname{mf}(M) = \inf \left\{ \sum_{k=1}^\infty \left[ \lambda - 2d_{GH}(V, \lambda\triangle_{k+1}) \right] : V \in \mathcal{M}(M,d) \right\} $ 로 주어지며, $ d > \operatorname{mf}(M) $ 이고 $ \lambda \geq 2d $ 일 때 유효하다.
• 모든 $ m > n $ 에 대해 $ d_{GH}(X, \lambda\triangle_m) = \lambda/2 $ 이므로 $ \lambda - 2d_{GH}(X, \lambda\triangle_m) = 0 $ 이 되어 MST 공식의 무한합 수렴을 보장한다.
• 이 방법은 복잡한 기하 불변량(MST, SMT, MF)의 계산을 유한한 단체 구성에 대한 Gromov–Hausdorff 거리 최적화로 환원한다.