[論文レビュー] Tilings, packings and expected Betti numbers in simplicial complexes

Nermin Salepci, Jean-Yves Welschinger|arXiv (Cornell University)|Jun 13, 2018

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

ひとこと要約

本稿では、有限な単体複体の反復バーチカル・サブディビジョンにおけるランダムな部分複体の正規化された期待Betti数が、分割回数が増加するにつれて普遍的な極限に収束することを確立している。正規化されたフィルトレーションと、分割内における互いに素な単体のパッキングを用いて、特に余次元1の場合に、これらの極限の単調性および上界を導出している。また、バーチカル・サブディビジョンの下でもタイル性を保つ新しいタイリングの概念を導入し、高次分割における最大パッキングサイズの体系的な推定を可能にしている。

ABSTRACT

Let $K$ be a finite simplicial complex. We prove that the normalized expected Betti numbers of a random subcomplex in its $d$-th barycentric subdivision $ ext{Sd}^d (K)$ converge to universal limits as $d$ grows to $+ \infty$. In codimension one, we use canonical filtrations of $ ext{Sd}^d (K)$ to upper estimate these limits and get a monotony theorem which makes it possible to improve these estimates given any packing of disjoint simplices in $ ext{Sd}^d (K)$. We then introduce a notion of tiling of simplicial complexes having the property that skeletons and barycentric subdivisions of tileable simplicial complexes are tileable. This enables us to tackle the problem: How many disjoint simplices can be packed in $ ext{Sd}^d (K)$, $d \gg 0$?

研究の動機と目的

• 反復バーチカル・サブディビジョンにおける有限単体複体のランダム部分複体の期待Betti数の漸近的挙動を理解すること。
• バーチカル・サブディビジョンの回数が無限大に近づく際、正規化された期待Betti数の普遍的収束極限を確立すること。
• バーチカル・サブディビジョンの下でもタイル性を保つ単体複体のタイリングフレームワークを構築し、互いに素な単体の体系的パッキングを可能にすること。
• 正規化されたフィルトレーションと互いに素な単体のパッキングを用いて、期待Betti数の普遍的極限の上界推定を行うこと。
• 高次バーチカル・サブディビジョンにおける互いに素な単体の最大パッキング問題と、ランダム部分複体の漸近的位相の間の関係を明らかにすること。

提案手法

• 著者らは、コチェイン $ \rho \to C^{k-1}(K; \bbZ/2\bbZ) $ における確率測度を用いて、$ d $-番目のバーチカル・サブディビジョン $ \textup{Sd}^d(K) $ 内のランダム部分複体 $ V_{\rho} $ を定義し、部分複体上の確率変数を誘導している。
• 期待Betti数 $ \bbE_{\nu,d}(b_p) $ を解析し、正規化された列 $ \bbE_{\nu,d}(b_p) / ((n+1)!^d f_n(K)) $ が初期複体 $ K $ に依存しない普遍的極限 $ e_{p,\nu}(n,k) $ に収束することを証明している。
• 余次元1（$ k=1 $）の場合、$ \rho $ が0または1となる頂点の数に基づく、$ K $ の正規化されたフィルトレーション $ K_i^\rho $ を構成し、これにより $ \textup{Sd}^d(K) $ 上のフィルトレーションが誘導され、期待Betti数の単調性推定が可能になる。
• 単体複体のタイリングの概念を導入し、スケルトンおよびタイル可能な複体のバーチカル・サブディビジョンが両方ともタイル可能であることを示し、パッキングの再帰的構成を可能にしている。
• 標準 $ n $-単体 $ \triangle_n $ の次元に関する帰納法を用いて、$ \textup{Sd}^d(\triangle_n) $ 内での互いに素な単体の明示的パッキングを構成し、そのサイズはタイリングの $ h $-ベクトルに依存する。
• このようなパッキングにおける $ j $-次元単体の数の明示的公式を導出し、$ j \neq n $ の場合に $ 2^{n-1-s-j+p} $ のオーダーで増加することを示し、これにより期待Betti数の上界を導出している。

実験結果

リサーチクエスチョン

• RQ1 反復バーチカル・サブディビジョンにおけるランダム部分複体の正規化された期待Betti数は、初期単体複体に依存しない普遍的極限に収束するか？
• RQ2 バーチカル・サブディビジョンの下で、$ \textup{Sd}^d(K) $ の正規化されたフィルトレーションが、余次元1の場合の期待Betti数の単調性および上界を導出できるか？
• RQ3 大きな $ d $ に対して、$ \textup{Sd}^d(K) $ に最大で何個の互いに素な $ p $-次元単体をパッキングできるか？ これはランダム部分複体の位相とどのように関係するか？
• RQ4 単体複体のタイリングの概念はバーチカル・サブディビジョンとどのように関係し、互いに素な単体の大きなパッキングを体系的に構成するために利用できるか？
• RQ5 漸近的期待Betti数とタイリングの $ h $-ベクトルとの間に関係があるか？ これにより、普遍的極限の計算または推定が可能か？

主な発見

• 正規化された期待Betti数 $ \bbE_{\nu,d}(b_p) / ((n+1)!^d f_n(K)) $ は、初期複体 $ K $ に依存しない普遍的極限 $ e_{p,\nu}(n,k) $ に収束し、これは $ n, k, p, \nu $ のみに依存する。
• 余次元1の場合（$ k=1 $）、列 $ \bbE_{\nu,d}(\tilde{b}_p) / (n+1)!^d $ は単調増加であり、上界に有界で、極限 $ \tilde{e}_{p,\nu}(n,1) $ に収束する。また、$ e_{p,\nu}(n,1) \geq \tilde{e}_{p,\nu}(n,1) > 0 $ であり、$ p=0 $ の場合に等号が成り立つ。
• 任意の $ d $ に対して、$ \textup{Sd}^d(\triangle_n) $ 内の互いに素な単体の最大パッキングにおける $ j $-次元単体の数は、$ j \in \{p, \ldots, \min(n-1-s+p, n-1)\} $ の範囲で少なくとも $ 2^{n-1-s-j+p} $ 以上である。明示的な数え上げはタイリング構造に依存する。
• 有限な $ n $-次元単体複体 $ K $ のタイリング $ \mathcal{T} $ の $ h $-ベクトルは、パッキングの漸近的サイズを決定する：$ \textup{Sd}(K) $ に $ h_{p+1}(\mathcal{T}) + 2^p \sum_{s=0}^p \frac{h_s(\mathcal{T})}{2^s} $ 個の互いに素な $ n $-単体を、互いの交わりの次元が $ \leq p-1 $ となるようにパッキング可能である。
• このようなパッキングにおける $ j $-次元単体の漸近的数は、$ j \in \{p, \ldots, n-1\} $ に対して $ h_{n+1-j+p}(\mathcal{T}) + 2^{n-1-j+p} \sum_{s=0}^{n-1-j+p} \frac{h_s(\mathcal{T})}{2^s} $ で与えられ、有効である。
• 正規化された最大期待Betti数の普遍的極限 $ \lambda_{p,\nu}(n) $ は、$ \textup{Sd}^{d-1}(\mathcal{T}) $ のタイリングの $ h $-ベクトルから導かれる列の極限に等しいことが示されており、二項係数と $ \nu $ を含む明示的な漸近的表現が得られている。