[논문 리뷰] Gromov--Hausdorff Distance, Irreducible Correspondences, Steiner Problem, and Minimal Fillings

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

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

한 줄 요약

이 논문은 유한 거리 공간 간의 Gromov–Hausdorff 거리를 효율적으로 계산하기 위해 비가소적 대응(correspondences)을 도입한다. 3점 거리 공간이 ℝ³∞ 내의 다면체 콘에 등급적으로 삽입됨을 증명하며, Gromov–Hausdorff 공간 내에서 스티너 최소 트리가 최소 메시( minimal fillings)를 초과할 수 있음을 보이며, 이 공간의 스티너 하위비율(Steiner subratio)이 0.857 미만임을 규명한다. 이는 이전의 스티너 최소 트리와 최소 메시가 항상 일치한다는 추측과 모순된다.

ABSTRACT

We introduce irreducible correspondences that enables us to calculate the Gromov--Hausdorff distances effectively. By means of these correspondences, we show that the set of all metric spaces each consisting of no more than $3$ points is isometric to a polyhedral cone in the space $R^3$ endowed with the maximum norm. We prove that for any $3$-point metric space such that all the triangle inequalities are strict in it, there exists a neighborhood such that the Steiner minimal trees (in Gromov-Hausdorff space) with boundaries from this neighborhood are minimal fillings, i.e., it is impossible to decrease the lengths of these trees by isometrically embedding their boundaries into any other ambient metric space. On the other hand, we construct an example of $3$-point boundary whose points are $3$-point metric spaces such that its Steiner minimal tree in the Gromov-Hausdorff space is not a minimal filling. The latter proves that the Steiner subratio of the Gromov-Hausdorff space is less than 1. The irreducible correspondences enabled us to create a quick algorithm for calculating the Gromov-Hausdorff distance between finite metric spaces. We carried out a numerical experiment and obtained more precise upper estimate on the Steiner subratio: we have shown that it is less than $0.857$.

연구 동기 및 목표

• 유한 거리 공간 간의 Gromov–Hausdorff 거리를 계산하기 위한 효과적인 방법을 개발하는 것.
• Gromov–Hausdorff 공간 내에서 스티너 최소 트리가 경계의 최소 메시와 항상 일치하는지 조사하는 것.
• Gromov–Hausdorff 공간의 스티너 하위비율의 정확한 값 또는 날카운 상한을 결정하는 것.
• 스티너 최소 트리가 컴act 거리 공간의 공간에서 항상 최소 메시임을 추측하는 것을 해결하는 것.

제안 방법

• Gromov–Hausdorff 거리 계산을 단순화하고 가속화하기 위해 비가소적 대응의 개념을 도입한다.
• 비가소적 대응을 사용하여 3점 거리 공간의 공간이 최대 노름을 갖는 ℝ³∞ 내의 다면체 콘에 등급적으로 삽입됨을 증명한다.
• 세 개의 3점 거리 공간을 사용하여, Gromov–Hausdorff 공간 내에서 스티너 최소 트리가 최소 메시가 되지 않는 반례를 구성한다.
• 왜곡 기반 대응 방법을 적용하여 유한 거리 공간 간의 최적 대응을 통해 Gromov–Hausdorff 거리를 계산한다.
• 수치 실험을 통해 Gromov–Hausdorff 공간의 스티너 하위비율에 대한 상한을 개선한다.
• 3점 공간의 최소 메시에 대한 반둘레 공식을 활용하여 스티너 최소 트리 길이와 비교한다.

실험 결과

연구 질문

• RQ1 비가소적 대응을 사용하면 기존 방법보다 Gromov–Hausdorff 거리를 더 효율적으로 계산할 수 있는가?
• RQ2 Gromov–Hausdorff 공간 내에서 스티너 최소 트리는 항상 경계의 최소 메시와 일치하는가?
• RQ3 Gromov–Hausdorff 공간의 스티너 하위비율의 정확한 값 또는 날카운 상한은 무엇인가?
• RQ4 3점 거리 공간과 ℝ³∞ 내의 다면체 콘 간의 등급성은 이 설정에서 스티너 최소 트리가 최소 메시와 일치함을 암시하는가?

주요 결과

• 모든 3점 거리 공간의 공간은 최대 노름을 갖는 ℝ³∞ 내의 다면체 콘에 등급적으로 삽입된다.
• 모든 삼각 부등식이 엄격한 3점 거리 공간에 대해서는, Gromov–Hausdorff 공간 내에서 스티너 최소 트리가 이러한 공간의 근처에서 최소 메시가 된다.
• 반례가 구성되었으며, 이에 따르면 Gromov–Hausdorff 공간 내에서 3점 경계에 대한 스티너 최소 트리는 최소 메시보다 엄격히 길다.
• Gromov–Hausdorff 공간의 스티너 하위비율은 1보다 작으며, 수치 실험을 통해 개선된 상한으로 0.857 미만임을 확인하였다.
• 이러한 반례의 존재는 스티너 최소 트리가 항상 최소 메시와 일치한다는 추측을 반박한다.
• 비가소적 대응 방법을 통해 유한 거리 공간 간의 Gromov–Hausdorff 거리를 계산하는 빠른 알고리즘을 구현할 수 있다.