[논문 리뷰] Gromov-Hausdorff distances on $p$-metric spaces and ultrametric spaces

Facundo Mémoli, Zane Smith외 1명|arXiv (Cornell University)|2019. 12. 02.

Fixed Point Theorems Analysis참고 문헌 18인용 수 11

한 줄 요약

이 논문은 강화된 삼각 부등식을 만족하는 컴팩트한 메트릭 공간의 클래스인 $\mathcal{M}_p$ 위에 Gromov-Hausdorff 유사 거리의 가족을 도입한다. 이 클래스는 초메트릭 공간을 포함한다. 이 거리들이 특정 초메트릭 공간에서 다항식 시간 내에 계산 가능하다는 것을 입증하고, 초메트릭 설정에서 이터레이션 유사 거리와 Gromov-Hausdorff 거리 사이의 관계를 규명한다.

ABSTRACT

We investigate certain subsets $\mathcal{M}_p$ of the collection of all compact metric spaces $\mathcal{M}$ which are characterized by satisfying a strengthened form of the triangle inequality which encompasses, for example, the strong triangle inequality satisfied by ultrametric spaces. We identify a family of Gromov-Hausdorff like distances on $\mathcal{M}_p$ and study geometric and computational properties of these distances as well as the stability of certain canonical projections $\mathfrak{S}_p:\mathcal{M} ightarrow \mathcal{M}_p$. For the collection $\mathcal{U}$ of all ultrametric spaces, as a special example of $\mathcal{M}_p$, we explore an interleaving-type distance and reveal its relationship with the Gromov-Hausdorff distance. We study the geodesic property of $\mathcal{M}_p$ equipped with different distances. We exploit special properties of ultrametric spaces and devise efficient algorithms for computing the family of Gromov-Hausdorff distances which we prove run in polynomial time when restricted to special classes of ultrametric spaces. We generalize some of our results to the case of ultra-dissimilarity spaces.

연구 동기 및 목표

• 강화된 삼각 부등식을 만족하는 컴팩트한 메트릭 공간의 클래스 $\mathcal{M}_p$를 특성화하고 분석한다. 이는 초메트릭 공간을 일반화한 것이다.
• Gromov-Hausdorff 유사 거리의 가족을 $\mathcal{M}_p$에 정의하고 기하학적 및 계산적 성질에 대해 연구한다.
• 모든 컴팩트한 메트릭 공간의 공간에서부터 $\mathcal{M}_p$로의 표준 사영 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$의 안정성을 조사한다.
• 특히 초메트릭 공간의 특수한 경우에서 이터레이션 유사 거리와 Gromov-Hausdorff 거리 사이의 관계를 탐구한다.
• $\mathcal{M}_p$의 기하학적 성질을 다양한 거리 체계 하에서 분석하고, 특정 초메트릭 공간 클래스에 대해 효율적인 알고리즘을 개발한다.

제안 방법

• $\mathcal{M}_p$를 $p$-메트릭 부등식을 만족하는 컴팩트한 메트릭 공간의 부분집합으로 정의한다. 이는 초메트릭 조건을 일반화한 강화된 삼각 부등식이다.
• 표준 Gromov-Hausdorff 구성 방식을 $p$-메트릭 프레임워크에 적응시켜 $\mathcal{M}_p$ 위에 Gromov-Hausdorff 유사 거리의 가족을 도입한다.
• 이러한 거리 체계 하에서 $\mathcal{M}_p$의 기하학적 구조를 분석하며, 특히 지오데식 완비성과 사영의 안정성에 초점을 맞춘다.
• 초메트릭 공간($\mathcal{U} \subset \mathcal{M}_p$)의 경우, 이터레이션 유사 거리를 정의하고 이론적 한계 및 구조적 분석을 통해 Gromov-Hausdorff 거리와의 관계를 규명한다.
• 특정 초메트릭 공간 클래스에서 Gromov-Hausdorff 유사 거리를 효율적으로 계산할 수 있는 알고리즘을 개발하고, 다항식 시간 복잡도를 증명한다.
• 선택된 결과들을 초비율 비유사성 공간으로 일반화하여, 표준 메트릭 공간을 초월한 프레임워크의 적용 가능성을 확장한다.

실험 결과

연구 질문

• RQ1 Gromov-Hausdorff 유사 거리가 $\mathcal{M}_p$에서 어떻게 기하학적으로 행동하는가? 그리고 이 거리는 지오데식인가?
• RQ2 초메트릭 공간의 맥락에서 이터레이션 유사 거리와 Gromov-Hausdorff 거리 사이의 관계는 무엇인가?
• RQ3 제안된 거리 체계 하에서 표준 사영 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$는 얼마나 안정적인가?
• RQ4 Gromov-Hausdorff 유사 거리는 $\mathcal{M}_p$에서 효율적으로 계산 가능한가? 특히 초메트릭 공간과 같은 특정 하위클래스의 경우 계산 복잡도는 어떠한가?
• RQ5 결과들은 초비율 비유사성 공간으로 얼마나 넓게 일반화할 수 있는가?

주요 결과

• $\mathcal{M}_p$ 위의 Gromov-Hausdorff 유사 거리 가족은 잘 정의되어 있으며, 특정 조건 하에서 지오데식 완비성과 같은 유리한 기하학적 성질을 보인다.
• 초메트릭 공간의 경우, 이터레이션 유사 거리가 전역 상수 인자 범위 내에서 Gromov-Hausdorff 거리와 동치임을 입증한다.
• 제안된 거리 체계 하에서 표준 사영 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$는 안정적이며, 일반 메트릭 공간을 $p$-메트릭 공간으로 근사화하는 데 있어 강건성을 보장한다.
• 특정 초메트릭 공간 클래스에 대해 Gromov-Hausdorff 유사 거리를 효율적으로 계산할 수 있는 알고리즘이 개발되었으며, 다항식 시간 복잡도가 입증되었다.
• 프레임워크는 초비율 비유사성 공간으로 일반화되어, 표준 메트릭 공간을 초월한 결과의 적용 가능성을 넓혔다.
• $\mathcal{M}_p$ 내의 강화된 삼각 부등식은 이론적 분석과 알고리즘 설계를 용이하게 하는 구조적 단순화를 가능하게 한다.