[論文レビュー] Intrinsic Interleaving Distance for Merge Trees

Ellen Gasparovic, Elizabeth Munch+4 more|arXiv (Cornell University)|Jul 31, 2019

Topological and Geometric Data Analysis参考文献 48被引用数 19

ひとこと要約

本稿では、ラベル付きおよびラベルなしマージツリーの両方において、入れ子距離（interleaving distance）が内在的（intrinsic）であることを確立している。これは、任意の二つのマージツリー間の距離が、それらを結ぶ経路の長さの下界に等しいことを意味する。著者らは、ラベル付きマージツリーの集合における1センター（測地的中央点）を計算するためのアルゴリズムを提供しており、これによりトポロジカルサマリー上での統計的解析が可能になる。

ABSTRACT

Merge trees are a type of graph-based topological summary that tracks the evolution of connected components in the sublevel sets of scalar functions. They enjoy widespread applications in data analysis and scientific visualization. In this paper, we consider the problem of comparing two merge trees via the notion of interleaving distance in the metric space setting. We investigate various theoretical properties of such a metric. In particular, we show that the interleaving distance is intrinsic on the space of labeled merge trees and provide an algorithm to construct metric 1-centers for collections of labeled merge trees. We further prove that the intrinsic property of the interleaving distance also holds for the space of unlabeled merge trees. Our results are a first step toward performing statistics on graph-based topological summaries.

研究の動機と目的

• トポロジカルサマリー上の統計的解析に不可欠な要件である、ラベル付きおよびラベルなしマージツリーにおける入れ子距離が内在的であるかどうかを同定すること。
• ラベル付きマージツリー空間における1センター（測地的中央点）を、入れ子距離を用いて計算するためのアルゴリズムを開発すること。
• グラフに基づくトポロジカルサマリーのメトリック的性質に関する理論的理解を拡張し、特に科学的データ解析と可視化の文脈での応用を目的とすること。
• 系統発生学、超距離（ultrametrics）、分類木の概念とトポロジカルデータ解析を統合し、ラベル付きマージツリーが特定の超距離空間と同値であることを示すこと。
• マージツリー空間における平均値および測地線の計算のための基礎理論を構築し、不確実性の定量化やアンサンブル可視化などの応用を支援すること。

提案手法

• 入れ子距離 $d_I$ を、実数の順序付き集合（poset）から集合の圏への関手として扱う圏論的枠組みを用いて、ラベル付きマージツリー上で定義する。
• $d_I$ が誘導する内在的距離 $\hat{d}_I$ が、すべてのラベル付きマージツリー $T, T'$ に対して $\hat{d}_I(T, T') = d_I(T, T')$ を満たすことを証明し、内在性を確立する。
• 入れ子距離の $L_\infty$-行列表現を活用して、二つのラベル付きマージツリー間の測地線経路を明示的に構成する。
• 行列表現を用いて、与えられた有限個のラベル付きマージツリー集合における1センターを、すべてのツリーとの最大入れ子距離を最小化する点として計算する。
• 頂点ラベルの欠如にもかかわらず、ラベルなしマージツリーに対しても、内在性の結果を拡張し、内在的距離 $\hat{d}_I$ が $d_I$ と一致することを示す。
• 超距離空間および分類木との関連を活用し、ラベル付きマージツリーを関数値によって誘導される経路長距離を持つ価値付き分類木として解釈する。

実験結果

リサーチクエスチョン

• RQ1 ラベル付きマージツリーの空間において、入れ子距離が内在的であるか、すなわち距離がツリー間を結ぶ経路の長さの下界に等しいか、どうか。
• RQ2 有限個のラベル付きマージツリーに対して、入れ子距離の下で1センター（測地的中央点）を効率的に計算できるか。
• RQ3 頂点ラベルの欠如にもかかわらず、ラベルなしマージツリーに対しても、入れ子距離の内在的性質が成立するか。
• RQ4 ボトルネック距離 $d_B$ が、内在的距離 $\hat{d}_B$ を誘導し、それが内在的入れ子距離 $\hat{d}_I$ と同値であるか。
• RQ5 マージツリーの結果が、特にジョインツリーとスプリットツリーへの分解を用いた中点計算を想定して、コン tourツリーへどの程度拡張可能か。

主な発見

• ラベル付きマージツリーの空間において、入れ子距離 $d_I$ は内在的であり、すべてのラベル付きマージツリーのペア $T, T'$ に対して $\hat{d}_I(T, T') = d_I(T, T')$ が成り立つ。
• $L_\infty$-行列表現を用いて、有限個のラベル付きマージツリー集合の1センターを明示的に計算するためのアルゴリズムが提供されている。
• ラベルなしマージツリーに対しても、頂点ラベルの欠如にもかかわらず、入れ子距離の内在的性質が成立する。
• 本稿では、ラベル付きマージツリーと超距離空間との間の関係を確立し、同形写像の下で、このようなツリーが有限超距離空間と同値であることを示した。
• 著者らは、ボトルネック距離 $d_B$ が誘導する内在的距離 $\hat{d}_B$ が $\hat{d}_I$ と同値であると予想しており、$d_B$ も内在的である可能性を示唆している。
• 理論的結果は、将来的な応用、特にマージツリーの測地線および構造的平均値の計算を支援するものであり、不確実性可視化や点群分類に関する後続研究でもその有効性が示されている。