[論文レビュー] Homological Domination in Large Random Simplicial Complexes

A. Costa, Michael Färber|arXiv (Cornell University)|Mar 11, 2015

Topological and Geometric Data Analysis参考文献 15被引用数 5

ひとこと要約

本稿では、各単体次元が確率パラメータで独立に保持される多パラメータ確率的単体的複体モデルを導入する。特定のパラメータによって定まる次元 $k({\bf p})$ において、ホモロジー的支配の原理を確立し、その次元でベッチ数が支配的であることを示す。また、漸近的ほとんど確実（a.a.s.）条件下で、次元 $k$ より低い次元ではホモロジーが消え、$k$ より高い次元では境界の次数ゼロの単体が生成するという予想に対して強い証拠を提示する。

ABSTRACT

In this paper we state the homological domination principle for random multi-parameter simplicial complexes, claiming that the Betti number in one specific dimension (which is explicitly determined by the probability multi-parameter) significantly dominates the Betti numbers in all other dimensions. We also state and discuss evidence for two interesting conjectures which would imply a stronger version of the homological domination principle, namely that generically homology of a random simplicial complex coincides with that of a wedges of k-dimensional spheres. These two conjectures imply that under an additional assumption (specified in the paper) a random simplicial complex collapses to a k-dimensional complex homotopy equivalent to a wedge of spheres of dimension k.

研究の動機と目的

• 各次元の単体の含む確率を独立に変化させることで、柔軟で多パラメータの確率的モデルを構築すること。
• 特に、次元間でのベッチ数の分布を理解することを目的とした、大規模なランダム単体的複体の位相的構造の解明。
• 特定の次元 $k({\bf p})$ で他のすべての次元よりもベッチ数が顕著に支配されることを示すホモロジー的支配の原理の確立。
• 以下の2つの予想に対する証拠の提供：(A) 次元 $k$ より低い次元ではホモロジーが消えること、(B) $k$ より高い次元ではホモロジーが境界の次数ゼロの単体によって生成されること。両者ともa.a.s.条件下で成立する。

提案手法

• モデルは、$n$ 個の頂点上で、各 $i$ 次元単体を確率 $p_i$ で独立に含むことでランダム単体的複体を構築し、多パラメータ確率空間 $\mathbb{P}_{r,{\mathfrak{p}}}$ を形成する。
• 確率測度は $\mathbb{P}_{r,{\mathfrak{p}}}(Y) = \prod_{i=0}^r p_i^{f_i(Y)} \cdot q_i^{e_i(Y)}$ で定義され、ここで $f_i(Y)$ は $Y$ に含まれる $i$ 次元単体の数、$e_i(Y)$ は $i$ 次元の外部単体の数を表す。
• 複体の幾何的次元は、$\alpha_i = -\log_n p_i$ であるベクトル $\alpha$ に対して定義される写像 $\Phi(\alpha)$ によって決定され、$\Phi(\alpha)_i = \alpha_i / (i+1)$ である。$\Phi(\alpha) \in \mathfrak{D}_k$ のとき、複体は a.a.s. 次元 $k$ をとる。
• 解析には、次数ゼロの単体と境界の次数ゼロの単体の概念が用いられる：次元 $>k$ の境界の次数ゼロの単体を除去しても、次元 $k$ のベッチ数に影響しない。このような除去により、複体は $k$ 次元の複体に崩壊する。
• 本稿ではスペクトル法とガーランドの技法を用いて有理ホモロジーを分析し、リンシャル＝メシュルァムおよびクライーク複体モデルなどの特殊ケースで予想を検証する。
• また、$\alpha \in \mathfrak{D}_k$ のとき、複体 $Y$ は a.a.s. 時間的次元 $k$ をとることを証明し、特殊モデルにおける既知の結果と整合性を示すことで、予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 大規模なランダム単体的複体において、ベッチ数が他のすべての次元よりも顕著に顕著に支配される支配的次元 $k({\bf p})$ は何か？
• RQ2 複体の削減された整数ホモロジーは、すべての次元 $k({\bf p})$ よりも低い次元でほとんど確実に消えるか？
• RQ3 次元 $k({\bf p})$ よりも高い次元におけるホモロジーは、境界の次数ゼロの単体によって生成されるか、ほとんど確実にそうなるか？
• RQ4 次元 $>k$ の境界の次数ゼロの単体を除去することで、複体はほとんど確実に $k$ 次元の部分複体に崩壊するか？
• RQ5 連結性および単連結性の閾値は、パrameter領域 $\mathfrak{D}_k$ とどのように関係しているか？

主な発見

• ホモロジー的支配の原理が成立する：$\alpha \in \mathfrak{D}_k$ のとき、複体 $Y$ においてベッチ数 $\beta_k(Y)$ が他のすべてのベッチ数をa.a.s. 支配する。
• リンシャル＝メシュルァムモデル（$r=2$, $p_0=1$, $p_1=1$, $p_2=n^{-\alpha_2}$）では、$\alpha_2 > 1$ のとき複体はグラフ（つまり次元1）に崩壊し、$\alpha_2 < 1$ のとき複体は2次元となる。これは $\mathfrak{D}_1$ および $\mathfrak{D}_2$ と整合的である。
• クライーク複体モデル（$p_0=1$, $p_1=n^{-\alpha_1}$, $i \geq 2$ で $p_i=1$）では、領域 $\mathfrak{D}_i$ は $i=1,\dots,r-1$ に対して $\{ \frac{1}{i+1} < \alpha_1 < \frac{1}{i} \}$ であり、$\mathfrak{D}_r = \{ \alpha_1 < 1/r \}$ である。既知の結果はこれらの予想を支持する。
• リンシャル＝メシュルァムの場合に予想Aが確認された：$\alpha \in \mathfrak{D}_1$ のとき、複体はa.a.s. グラフに崩壊し、次元 $>1$ のホモロジーが自明であることを示唆する。
• リンシャル＝メシュルァムの場合に予想Bが支持された：$\alpha \in \mathfrak{D}_2$ のとき、削減された整数ホモロジーは次元1で消えることが[13]で示されている。
• クライーク複体の場合、有理ホモロジーが $k$ より低い次元で消えること、および整数ホモロジーが $k$ より高い次元で消えることに関する既知の結果は、それぞれ予想AおよびBと整合的である。