[논문 리뷰] Local Equivalence and Intrinsic Metrics between Reeb Graphs

Mathieu Carrière, Steve Oudot|arXiv (Cornell University)|2017. 03. 08.

Topological and Geometric Data Analysis인용 수 16

한 줄 요약

이 논문은 복잡도 거리(dB)가 의사거리이지만, Reeb 그래프 상에서 기능적 왜곡(dFD) 및 인터리빙(dI)과 같은 더 구분력 있는 거리와 국소적으로 동치임을 입증한다. dB는 dFD만큼이나 근접한 그래프들 사이의 구분이 가능하며,  ˆdB, ˆdFD, ˆdI와 같은 내재 거리를 도입하여 이들이 전역적으로 동치임을 보였다. 이는 dB를 보간 작업에 활용하는 데에 유리하며, Reeb 그래프 공간의 더 깊은 기하학적 구조를 드러낸다.

ABSTRACT

As graphical summaries for topological spaces and maps, Reeb graphs are common objects in the computer graphics or topological data analysis literature. Defining good metrics between these objects has become an important question for applications, where it matters to quantify the extent by which two given Reeb graphs differ. Recent contributions emphasize this aspect, proposing novel distances such as {\em functional distortion} or {\em interleaving} that are provably more discriminative than the so-called {\em bottleneck distance}, being true metrics whereas the latter is only a pseudo-metric. Their main drawback compared to the bottleneck distance is to be comparatively hard (if at all possible) to evaluate. Here we take the opposite view on the problem and show that the bottleneck distance is in fact good enough {\em locally}, in the sense that it is able to discriminate a Reeb graph from any other Reeb graph in a small enough neighborhood, as efficiently as the other metrics do. This suggests considering the {\em intrinsic metrics} induced by these distances, which turn out to be all {\em globally} equivalent. This novel viewpoint on the study of Reeb graphs has a potential impact on applications, where one may not only be interested in discriminating between data but also in interpolating between them.

연구 동기 및 목표

• 복잡도 거리의 국소적 행동을 분석함으로써 Reeb 그래프 비교에서 계산 효율성과 구분력 사이의 갈등을 해결하는 것.
• 전역적으로는 의사거리이지만 국소적으로는 dFD 및 dI와 같은 강력한 거리와 동치이며, 구분력이 있음을 입증하는 것.
• 보간 및 더 나은 기하학적 이해를 가능하게 하기 위해 Reeb 그래프 공간 상의 내재 거리 연구를 주장하는 것.
• dGH, dFD, dI, dB에 의해 유도된 내재 거리들이 전역적으로 동치임을 증명하고, ˆdB가 진정한 거리임을 보이는 것.
• 형태 변형 및 형태 매칭과 같은 경로 보간이 요구되는 응용 분야에서 Reeb 그래프를 사용하기 위한 기초를 마련하는 것.

제안 방법

• 국소적 동치성 증명: 임의의 Reeb 그래프 Rf와 충분히 작은 dFD-근방 내의 Rg에 대해 K·dFD(Rf,Rg) ≤ dB(Rf,Rg) ≤ 2·dFD(Rf,Rg)이며, K=1/22이다.
• 내재 거리 ˆd를 기능적 왜곡 위상에서의 연속 경로 길이의 하한값으로 정의한다.
• dFD에서의 경로의 컴act성과 연속성을 활용하여 분할을 정교화하고, 임계값 간격에 비례하는 국소적 dFD 단계를 제어한다.
• 국소적 동치성을 활용하여, 어떤 경로의 dFD 길이가 dB 길이의 상수배로 유계임을 보이고, 그 반대도 마찬가지로 유도한다.
• 삼각 부등식과 경로 정밀화를 적용하여 ˆdFD(Rf,Rg)/22 ≤ ˆdB(Rf,Rg) ≤ 2·ˆdFD(Rf,Rg)를 도출한다.
• 간소화 연산자를 활용하여 Reeb 그래프가 경로 연결임을 보이고, ˆdFD와 ˆdB가 유한함을 입증함으로써 이들이 진정한 거리로 사용될 수 있음을 뒷받침한다.

실험 결과

연구 질문

• RQ1 복잡도 거리 dB가 의사거리임에도 불구하고, dFD와 같은 강력한 거리와 동일한 효율성으로 국소적으로 Reeb 그래프를 구분할 수 있는가?
• RQ2 dGH, dFD, dI, dB에 의해 유도된 내재 거리는 Reeb 그래프 공간에서 전역적으로 동치인가?
• RQ3 내재 거리 ˆdB는 Reeb 그래프 상에서 진정한 거리 공간을 제공하는가? 이는 보간 및 곡률 분석을 가능하게 하는가?
• RQ4 dB와 dFD 사이의 국소적 동치성은 일반적인 거리 공간으로 확장될 수 있는가? 특히 지속성 이론의 역문제에 대해 적용 가능한가?
• RQ5 Reeb 그래프 공간 상에 최단 경로가 존재하는가? 그리고 적절한 제약 조건 하에 이 공간은 완비성과 국소 컴act성을 갖는가?

주요 결과

• 복잡도 거리 dB는 dFD와 국소적으로 동치이다: 임의의 Reeb 그래프 Rf와 충분히 작은 dFD-근방 내의 Rg에 대해 K·dFD(Rf,Rg) ≤ dB(Rf,Rg) ≤ 2·dFD(Rf,Rg)이며, K=1/22이다.
• 내재 거리 ˆdB는 진정한 거리이다. 이는 ˆdFD와 전역적으로 동치이므로 서로 다른 Reeb 그래프를 분리하기 때문이다.
• 내재 거리 ˆdFD, ˆdI, ˆdGH, ˆdB는 전역적으로 동치이며, 이는 Reeb 그래프 상에서 동일한 위상을 유도함을 의미한다.
• ˆdB와 ˆdFD의 전역적 동치성은 경로 길이 비교를 통해 확립되었으며, ˆdFD(Rf,Rg)/22 ≤ ˆdB(Rf,Rg) ≤ 2·ˆdFD(Rf,Rg)이다.
• Reeb 그래프 공간은 dFD 하에서 경로 연결이며, 유한한 Reeb 그래프 복잡도로 인해 내재 거리는 유한하다.
• 간소화 연산자는 연속적인 변형을 통해 자명한 그래프로의 변환을 가능하게 하며, 이는 내재 거리의 유한성과 경로 연결성을 뒷받침한다.