[論文レビュー] Duality in Persistent Homology of Images

Adélie Garin, Teresa Heiss+3 more|arXiv (Cornell University)|May 10, 2020

Topological and Geometric Data Analysis参考文献 13被引用数 9

ひとこと要約

本稿は、グレースケールデジタル画像を表現するために用いられる2つの双対的なフィルター付き立方複体（V-構成：画素を頂点とする、T-構成：画素を高次元細胞とする）の持続的ホモロジーのバー図の双対性関係を確立する。両者のバー図の間には全単射が存在し、フィルターション値を反転させ、次元を $d-k-1$ だけシフトする変換により、どちらのモデルにも変換可能である。これにより、より効率的な計算が可能となり、最適なソフトウェアを用いていずれの構成に対しても計算が可能になり、高次元画像解析へと拡張可能である。

ABSTRACT

We derive the relationship between the persistent homology barcodes of two dual filtered CW complexes. Applied to greyscale digital images, we obtain an algorithm to convert barcodes between the two different (dual) topological models of pixel connectivity.

研究の動機と目的

• デジタル画像解析における二重のフィルター付きCW複体の持続的ホモロジーのバー図の間の数学的双対性を確立すること。
• 画像トポロジー計算においてV-構成（画素を頂点とする）とT-構成（画素を細胞とする）のどちらを選ぶかという課題を解決すること。
• 双対的構成を用いることで、低次元のバー図を活用し、高次元における持続的ホモロジーの計算を効率化すること。
• 古典的なアレクサンダー双対性を、球面や標準ホモロジーに制限されないデジタル画像の文脈におけるフィルター付き立方複体へ一般化すること。

提案手法

• セル単位の双対性により、二重のフィルター付き複体 $(X,f)$ と $(X^*,f^*)$ を定義：$X$ の $k$-セルは $X^*$ の $(d-k)$-セルに対応し、隣接関係とフィルターション順序 $f^*(\sigma^*) = -f(\sigma)$ を逆転させる。
• $(X,f)$ の絶対コチェーン複体と $(X^*,f^*)$ の相対チェーン複体の間で、シフトされたフィルター付きチェーン同型を確立し、持続的コホモロジーおよびホモロジーにおける同型を誘導する。
• 文献[15]の結果を用いて、二重複体の絶対持続的ホモロジーのバー図の間の全単射を拡張する。
• デジタル画像への応用として、$I_V$（V-構成）と $I_T$（T-構成）の双対フィルター付き複体を構成し、$f^* = -f$ を適用する。
• 無限の持続的性を扱うために、大きな値 $N$ を用いた一点コンパクト化を行い、その後 $N \to \infty$ の極限をとることで、最終的な変換則を導出する。
• バー図の $I_V$ と $I_T$ 間の変換アルゴリズムを導出：$[p,q)_k \leftrightarrow [-q,-p)_{d-k-1}$ および $[p,\infty)_k \leftrightarrow [-p,\infty)_{d-k}$。

実験結果

リサーチクエスチョン

• RQ1 グレースケール画像のV-構成とT-構成の持続的ホモロジーのバー図は、双対性の下でどのように関係するか？
• RQ2 V-構成（例：画素を頂点とする）のバー図を、T-構成（例：画素を細胞とする）向けに設計されたソフトウェアを用いて、効率的に計算できるか？
• RQ3 デジタル画像における二重フィルター付き複体のバー図を相互に変換する正確な数学的変換は何か？
• RQ4 持続的ホモロジーにおける双対性は、古典的なアレクサンダー双対性を、フィルター付き立方複体およびデジタル画像の文脈へどのように拡張するか？
• RQ5 高次元の持続的ホモロジー（例：$Dgm_2$）は、双対的構成からの低次元バー図を用いることで、より効率的に計算可能か？

主な発見

• 二重フィルター付き複体の持続的ホモロジーのバー図の間には全単射が存在する：$[p,q)_k \in Dgm_k(X,f)$ は $[-q,-p)_{d-k-1} \in Dgm_{d-k-1}(X^*,f^*)$ に写像される。
• 無限の持続的性区間は $[p,\infty)_k \leftrightarrow [-p,\infty)_{d-k}$ と変換され、コンパクト化のもとでも双対性が保たれる。
• この変換により、デジタル画像のV-構成とT-構成のバー図の間の変換が可能になり、どちらのモデルに対しても最適なソフトウェアを活用できる。
• $k > 0$ の $Dgm_k$ の計算を、反対側の構成の双対 $Dgm_{d-k-1}$ を計算することで効率化でき、計算コストを低減できる。
• この双対性は、離散モース理論からの抽象的チェーン複体へも拡張可能であり、[1]の結果を一般化し、双対Vパスやモース関数を精緻化する。
• 本手法は、拡張された持続的ホモロジーおよびデジタルトポロジーに関する先行研究を一般化・拡張し、球面や標準ホモロジー、特定の関数に制限されない。