[論文レビュー] Computational Tools in Weighted Persistent Homology

Shiquan Ren, Chengyuan Wu+1 more|arXiv (Cornell University)|Nov 25, 2017

Topological and Geometric Data Analysis参考文献 28被引用数 6

ひとこと要約

本稿では、重み付き恒等ホモロジーに対するマヤー＝ビートロス列と一般化されたボクシュタインスペクトル系列を導入し、mod $p$ ホモロジーから整数ホモロジーを効率的に計算・回復可能にする。重み付きネットワークから重み付き単体的複体のフィルトレーションを構築するためのアルゴリズムを提示し、mod $p$ データから mod $p^2$ 重み付き恒等ホモロジーを計算する定理を証明する。これにより、重み付き構造における位相的データ解析が著しく向上する。

ABSTRACT

In this paper, we study further properties and applications of weighted homology and persistent homology. We introduce the Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology. For applications, we show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. We also prove a theorem that allows us to calculate the mod $p^2$ weighted persistent homology given some information on the mod $p$ weighted persistent homology.

研究の動機と目的

• 古典的代数的トポロジーの道具—マヤー＝ビートロス列およびボクシュタインスペクトル系列—を重み付き恒等ホモロジーの文脈に拡張すること。
• 重み付きネットワークから重み付き単体的複体のフィルトレーションを構築するためのアルゴリズムを開発し、繰り返しクリーク複体の構築を回避すること。
• mod $p^2$ 重み付き恒等ホモロジーを mod $p$ 恒等ホモロジーの情報から計算する理論的枠組みを確立すること。
• ボクシュタインスペクトル系列を整域 $R$ における係数に一般化し、代数幾何学および重み付きデータ解析への応用を支援すること。

提案手法

• 可換環 $R$ 上の重み付きチェーン複体の構造を活用して、重み付きホモロジーに対するマヤー＝ビートロス列を形式化する。
• イデアルの降鎖を用いて重み付きネットワークから重み付き単体的複体のフィルトレーションを構築し、計算を効率化する。
• 係数モジュールの短完全系列によって誘導される長完全系列における接続準同型として、一般化されたボクシュタイン準同型 $\beta$ を定義する。
• 単一に重み付けされたスペクトル系列 $\{E^n_r, d^r\}$ を構成し、$E^n_1 = H_n(K,w; R/pR)$ および $d^1 = \beta$ とし、$(H_*(K,w;R)/\text{torsion}) \otimes (R/pR)$ に収束させる。
• 短完全系列 $0 \to R/p^rR \to R/p^{2r}R \to R/p^rR \to 0$ を用いて、スペクトル系列を高次の項へ一般化する。
• 同型 $E^n_r \cong \text{im}(\mu_{p^{r-1}})$ を用い、$d^r$ を $r$ 次の一般化されたボクシュタイン準同型と特定する。

実験結果

リサーチクエスチョン

• RQ1 マヤー＝ビートロス列は、部分複体上のホモロジー計算を簡略化するために、重み付きホモロジーにどのように適合可能か？
• RQ2 ボクシュタインスペクトル系列は、mod $p$ ホモロジーから整数重み付き恒等ホモロジーを回復するために一般化可能か？
• RQ3 mod $p^2$ 重み付き恒等ホモロジーを mod $p$ 恒等ホモロジーから計算可能とする条件は何か？
• RQ4 繰り返しクリーク複体の生成を回避して、重み付きネットワークから重み付き単体的複体のフィルトレーションを効率的に構築する方法は何か？
• RQ5 $H_n(K,w;R)$ のねじれ構造と、一般化されたボクシュタインスペクトル系列における非自明な微分の間の構造的関係は何か？

主な発見

• マヤー＝ビートロス列が重み付きホモロジーに対して成功裏に形式化され、部分複体上のホモロジー群の分解に基づく計算が可能となった。
• 重み付きネットワークから重み付き単体的複体のフィルトレーションを構築するためのアルゴリズムが開発され、クリーク複体の構築を一度だけ行うことで計算コストを低減した。
• 特定の条件が mod $p$ 恒等ホモロジーを満たす場合に、mod $p^2$ 重み付き恒等ホモロジーを計算可能であることを示す定理が証明された。
• 一般化されたボクシュタインスペクトル系列は、$(H_*(K,w;R)/\text{torsion}) \otimes (R/pR)$ に収束し、$E^n_1 = H_n(K,w; R/pR)$ および $d^1 = \beta$（一般化されたボクシュタイン準同型）を満たす。
• $d^r E^{r}_{n+1}$ に現れる $R/pR$ の和因子と $H_n(K,w;R)$ に現れる $R/p^r R$ の和因子との間の一対一対応が確立され、非自明な $d^r$ が $p^r$-ねじれの存在を示していることが示された。
• $ mathbb{R}[x]$ 上の例では、スペクトル系列により $H_0(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x] \oplus \mathbb{R}[x]/(x^2) \oplus \mathbb{R}[x]/(x^2)$ および $H_1(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x]$ が回復され、この手法の有効性が確認された。