[논문 리뷰] A Distance Between Filtered Spaces Via Tripods

Bauer, Ulrich, Landi, Claudia외 1명|arXiv (Cornell University)|2017. 04. 13.

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

한 줄 요약

이 논문은 두 개의 다른 필터링된 집합으로 사라지는 공통의 매개변수 공간(트리포드)을 통해 필터링된 공간을 비교하기 위한 새로운 가측도수 dF를 제안한다. 필터링된 공간의 공간에서 명시적인 지오데식을 구성함으로써, 저자들은 dF가 내재적임을 증명하고, 영구 호몰로지의 안정성 강화에 이를 활용하여 지오데식을 따라 영구 다이어그램 궤적의 길이가 dF로 유계임을 보였다.

ABSTRACT

We consider the setting of Reeb graphs of piecewise linear functions and study distances between them that are stable, meaning that functions which are similar in the supremum norm ought to have similar Reeb graphs. We define an edit distance for Reeb graphs and prove that it is stable and universal, meaning that it provides an upper bound to any other stable distance. In contrast, via a specific construction, we show that the interleaving distance and the functional distortion distance on Reeb graphs are not universal.

연구 동기 및 목표

• 동일한 기초 집합을 가지지 않는 필터링된 공간으로의 영구 호몰로지 안정성의 확장, 이는 이전 결과가 공통 도메인을 요구한다는 제한을 극복하기 위함이다.
• 유한 필터링된 공간의 공간에 지오데식 거리함수를 정의하고, 명시적인 지오데식을 구성함으로써 dF가 내재적임을 증명하는 것.
• 지오데식을 따라 영구 다이어그램 궤적의 길이를 dF와 연결함으로써 영구 호몰로지의 고전적 안정성 정리의 강화.
• 메트릭 공간(예: 리프스 및 체흐 필터링)에서 유래하는 필터링된 공간을 비교하기 위한 프레임워크 제공 — 고로브-하우스도르프 거리와 연결.

제안 방법

• 모든 공통 매개변수 공간 Z와 전사 사상 ϕX: Z → X, ϕY: Z → Y에 대해, ϕ*XF와 ϕ*YF의 차이의 ℓ∞-노름의 하한을 dF(X, Y)로 정의한다.
• 이sov모르피즘 또는 인터리빙이 필요 없이, 서로 다른 집합 위의 필터링을 비교하기 위해 트리포드(공통 매개변수 공간)를 사용한다.
• 최적화된 트리포드 T ∈ T_opt(X,Y)에 대해 지오데식 γT(t) = (Z, (1−t)ϕ*XF + tϕ*YF)를 구성하고, dF(γT(s), γT(t)) = |s−t|·dF(X,Y)임을 증명한다.
• 지오데식 구성에 기반하여, 영구 다이어그램 궤적의 길이 LD(Dk(γT))를 dF(X,Y)로 유계화함으로써, Bottleneck 거리 유계화보다 개선된 결과를 도출한다.
• 곱 매개변수 공간 위의 당김 다이어그램을 활용하여, 삼각 부등식을 통해 dF가 가측도수수임을 증명한다.
• 프레임워크를 리프스 및 체흐 필터링에 적용하여, dF(F^R_X, F^R_Y) ≤ 2 dGH(X,Y) 및 dF(F^C_X, F^C_Y) ≤ 2 dGH(X,Y)임을 보이며, 고로브-하우스도르프 거리와 연결한다.

실험 결과

연구 질문

• RQ1 인터리빙에 의존하지 않고, 서로 다른 기초 집합 위의 필터링에 대해 영구 호몰로지의 안정성을 확장할 수 있는가?
• RQ2 제안된 거리 dF는 내재적인가? 즉, 임의의 두 필터링된 공간 사이에 명시적인 지오데식이 존재하는가?
• RQ3 지오데식을 따라 영구 다이어그램 궤적의 길이가 Bottleneck 거리보다 더 강력한 유계를 제공할 수 있는가?
• RQ4 dF는 메트릭 공간 필터링에 대해 고전적 거리함수인 고로브-하우스도르프 거리와 어떻게 관련이 있는가?

주요 결과

• 가측도수수 dF는 잘 정의되어 있으며 삼각 부등식을 만족하므로, 유한 필터링된 공간의 공간 위의 타당한 가측도수수이다.
• 임의의 필터링된 공간 쌍 X와 Y에 대해, 최적 트리포드 T가 존재하여 곡선 γT(t) = (Z, (1−t)ϕ*XF + tϕ*YF)가 dF에서 지오데식이 되며, 이는 dF가 내재적임을 증명한다.
• 영구 다이어그램 궤적의 길이 LD(Dk(γT))는 dF(X,Y)로 상한이 유도되며, 이는 Bottleneck 거리 유계화보다 더 강력한 하한을 제공함으로써 Theorem 4.2를 강화한다.
• 리프스 및 체흐 필터링의 경우, dF(F^R_X, F^R_Y) ≤ 2 dGH(X,Y) 및 dF(F^C_X, F^C_Y) ≤ 2 dGH(X,Y)임을 보이며, dF가 고로브-하우스도르프 거리와 연결됨을 입증한다.
• 반례에서 LD(αT) = 1 이지만 dD(Dk(X), Dk(Y)) = 1/2 이므로, 새로운 유계가 고전적 Bottleneck 유계보다 엄밀히 더 강력함을 보여준다.
• 지오데식 구성 덕분에, 다중값 함수나 인터리빙에 의존하지 않고도 강화된 안정성 결과를 직접 증명할 수 있다.