[論文レビュー] Randomly Weighted $d-$complexes: Minimal Spanning Acycles and Persistence Diagrams

Primož Škraba, Gugan Thoppe+1 more|arXiv (Cornell University)|Jan 1, 2017

Topological and Geometric Data Analysis参考文献 53被引用数 11

ひとこと要約

本稿は、ランダムに重み付けされた$d$-複体における最小全域サイクル（MSA）とパーシステンス図との間で基本的な同等性を確立し、MSAの面重みがパーシステンス図における死滅時刻に丁度一致することを証明する。さらに、平均場的摂動モデルのもとで、極値の面重み、MSA重み、死滅時刻が同時に非一様ポアソン点過程に収束することを示し、高次元のランダム複体におけるこれらの構造の極値的挙動を完全に特徴づける。

ABSTRACT

A weighted $d-$complex is a simplicial complex of dimension $d$ in which each face is assigned a real-valued weight. We derive three key results here concerning persistence diagrams and minimal spanning acycles (MSAs) of such complexes. First, we establish an equivalence between the MSA face-weights and \emph{death times} in the persistence diagram. Next, we show a novel stability result for the MSA face-weights which, due to our first result, also holds true for the death and birth times, separately. Our final result concerns a perturbation of a mean-field model of randomly weighted $d-$complexes. The $d-$face weights here are perturbation of some i.i.d. distribution while all the lower-dimensional faces have a weight of $0$. If the perturbations decay sufficiently quickly, we show that suitably scaled extremal nearest face-weights, face-weights of the $d-$MSA, and the associated death times converge to an inhomogeneous Poisson point process. This result completely characterizes the extremal points of persistence diagrams and MSAs. The point process convergence and the asymptotic equivalence of three point processes are new for any weighted random complex model, including even the non-perturbed case. Lastly, as a consequence of our stability result, we show that Frieze's $ζ(3)$ limit for random minimal spanning trees and the recent extension to random MSAs by Hino and Kanazawa also hold in suitable noisy settings.

研究の動機と目的

• 重み付き$d$-複体における最小全域サイクル（MSA）とパーシステンス図との間の厳密な関係を確立すること。
• 平均場的モデルに基づくランダムに重み付けされた$d$-複体における面重みおよび死滅時刻の極値的挙動を分析すること。
• 安定性および摂動論を用いて、古典的な結果（例えば、Friezeの$\zeta(3)$極限）をノイズを含む高次元設定へと拡張すること。
• 点過程収束を用いて、パーシステンス図およびMSAにおける最も極端な特徴の極限分布を特徴づけること。

提案手法

• $d$-複体における最小全域サイクルの計算のための単体的アナログを、クルスカルのアルゴリズムに類似させ導入する。
• 段階的構成とホモロジー的双対性を通じて、MSAの面重みとパーシステンス図における死滅時刻との間の同等性を確立する。
• MSAの面重みに対する新しい安定性結果を導入し、それがパーシステンス図における誕生時刻および死滅時刻の安定性へと拡張されることを示す。
• $d$-面の重みがベース分布の摂動（i.i.d.）であり、低次元の面はゼロ重みに固定された平均場的摂動モデルを分析する。
• 弱収束の技法を用いて、適切にスケーリングされた極値の面重みおよび死滅時刻が非一様ポアソン点過程に収束することを示す。
• コhomologicalな道具および組合せ的議論（例：$g_{\sigma,\sigma'}$生成子）を用いて、ベッチ数を評価し、複体内での孤立した$d$-面を制御する。

実験結果

リサーチクエスチョン

• RQ1 重み付き$d$-複体における最小全域サイクルは、その複体のパーシステンス図とどのように関係しているか？
• RQ2 平均場的摂動モデルのもとで、ランダムに重み付けされた$d$-複体における最も極端な面重みの極限分布は何か？
• RQ3 ランダム最小全域木に対する古典的なFriezeの$\zeta(3)$結果は、高次元複体およびノイズを含む設定へと拡張可能か？
• RQ4 MSAの極値の面重み、パーシステンス図における死滅時刻、および最近接の面重みは、同時に分布収束するか？
• RQ5 臨界的なランダム閾値のもとで、ランダム$d$-複体における孤立した$d$-面の数の漸近的挙動は何か？

主な発見

• 重み付き$d$-複体における最小全域サイクルの面重みは、正確にそのパーシステンス図における死滅時刻に一致する。
• MSAの面重みに対する新しい安定性結果は、パーシステンス図における誕生時刻および死滅時刻の両方の安定性を示唆する。
• 減衰する摂動を伴う平均場的摂動モデルのもとで、適切にスケーリングされた極値の面重み、MSA重み、および死滅時刻が同時に非一様ポアソン点過程に収束する。
• 三つの異なる点過程（極値の面重み、MSA重み、死滅時刻）の収束は、任意の重み付きランダム複体モデルにおいて画期的な結果である。
• 極限の点過程は、このクラスのランダム複体におけるパーシステンス図およびMSAの極値的特徴を完全に特徴づける。
• 安定性結果の結果として、Friezeの$\zeta(3)$極限およびHinoとKanazawaによる最近のランダムMSAへの拡張は、適切なノイズ設定において成立する。