[論文レビュー] Higher Independence Complexes of graphs and their homotopy types

Priyavrat Deshpande, Anurag Singh|arXiv (Cornell University)|Jan 15, 2020

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

ひとこと要約

この論文は、離散モース理論を用いて、完全s部グラフ、完全ホイッスル付きグラフ、サイクルグラフ、完全m-分岐木などのグラフ族について、r-独立性複体のホモトピー型を決定する。これらの複体が単連結であるか、あるいは同次元の球面のワッペンにホモトピー同値であることを示し、グラフパラメータとrに基づいた閉形式の公式を提供する。

ABSTRACT

For $r\geq 1$, the $r$-independence complex of a graph $G$ is a simplicial complex whose faces are subset $I \subseteq V(G)$ such that each component of the induced subgraph $G[I]$ has at most $r$ vertices. In this article, we determine the homotopy type of $r$-independence complexes of certain families of graphs including complete $s$-partite graphs, fully whiskered graphs, cycle graphs and perfect $m$-ary trees. In each case, these complexes are either homotopic to a wedge of equi-dimensional spheres or are contractible. We also give a closed form formula for their homotopy types.

研究の動機と目的

• r ≥ 2 のための高次独立性複体（r-Ind(G)）の体系的かつ包括的な研究を開始すること。
• 完全s部グラフ、完全ホイッスル付きグラフ、サイクルグラフ、完全m-分岐木などの特定のグラフ族について、r-Ind(G) のホモトピー型を同定すること。
• ホモトピー型の閉形式の公式を提供すること。これには、次元とワッペン分解における球面の数が含まれる。
• r-Ind(G) の位相的性質とドミネーション数や彩色数などの組合せ的不変量との関係を調査すること。

提案手法

• r-独立性複体のホモトピー型を導出するために、最適なモース関数を構成するための離散モース理論が用いられる。
• r-独立性複体 Ind_r(G) は、G[I] の各連結成分が高々r個の頂点を持つような部分集合 I ⊆ V(G) の単体的複体として定義される。
• 各グラフクラスに対して、ワッペン分解における球面に対応する臨界セルを持つ離散モース関数が構成される。
• ホモトピー型における次元と球面の数は、臨界セルの構造と頂点数や木の深さなどのグラフ不変量から導出される。
• SageMath や Macaulay2 などの計算ツールを用いてホモロジー群を検証し、グリッドグラフの予想を支持する。
• 理論的結果は、グラフ族における明示的構成と帰納的議論によって裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ族に対して、r-独立性複体が球面のワッペンにホモトピー同値であるか、または単連結であるか？
• RQ2 完全s部グラフに対して、Ind_r(G) のワッペン分解における球面の正確な次元と数は何か？
• RQ3 G がサイクルグラフまたは完全m-分岐木である場合に、Ind_r(G) のホモトピー型について閉形式の公式を導出可能か？
• RQ4 r-独立性複体とrドミネーション数またはr彩色数の間に一般的な関係があるか？
• RQ5 弦的グラフのr-独立性複体が頂点分解可能またはシェーリング可能である条件は何か？

主な発見

• 完全s部グラフのr-独立性複体は、次元 r−1 の球面のワッペンにホモトピー同値であり、球面の数はsとrを含む組合せ的公式によって決定される。
• 完全ホイッスル付きグラフでは、r-独立性複体は単連結であるか、あるいは (r−1)-球面のワッペンにホモトピー同値であり、球面の数はホイッスルの数とベース頂点数に依存する。
• サイクルグラフ C_n のr-独立性複体は、(r−1)-球面のワッペンにホモトピー同値であり、球面の数はnとrの関数として明示的に計算される。
• 高さhの完全m-分岐木に対しては、r-独立性複体は単連結であるか、あるいは (r−1)-球面のワッペンにホモトピー同値であり、球面の数は部分木の再帰的数え上げによって決定される。
• パスグラフのr-独立性複体は、(r−1)-球面のワッペンにホモトピー同値であり、球面の数は閉形式の式で与えられる。
• グリッドグラフ G_{2,n} からの計算的証拠は、Ind_r(G_{2,n}) が複数の次元で非自明なホモロジーを持つ可能性があることを示しており、より大きなグリッドでは球面のワッペンを超えた複雑なホモトピー型を有する可能性を示唆している。