[論文レビュー] Extremal problems on shadows and hypercuts in simplicial complexes

Nati Linial, Ilan Newman+2 more|arXiv (Cornell University)|Aug 4, 2014

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

ひとこと要約

本稿は、異なる体上での2-複体におけるシャドウとハイパーカットの極値問題を調査する。ℚ上では2次元複体が空のシャドウ（つまり、追加された2-単体がサイクルを形成しない非巡回的集合）を持つことが示され、一方𝔽₂上では、ほぼハイパータリーのシャドウは密度が高く、最小密度がΘ(1/n)である。また、任意の体上での大きなハイパーフォレストを空のシャドウで構成し、有理数体と有限体における高次元での挙動の明確な対比を明らかにする。

ABSTRACT

Let $F$ be an $n$-vertex forest. We say that an edge $e otin F$ is in the shadow of $F$ if $F\cup\{e\}$ contains a cycle. It is easy to see that if $F$ is "almost a tree", that is, it has $n-2$ edges, then at least $\lfloor\frac{n^2}{4} floor$ edges are in its shadow and this is tight. Equivalently, the largest number of edges an $n$-vertex cut can have is $\lfloor\frac{n^2}{4} floor$. These notions have natural analogs in higher $d$-dimensional simplicial complexes, graphs being the case $d=1$. The results in dimension $d>1$ turn out to be remarkably different from the case in graphs. In particular the corresponding bounds depend on the underlying field of coefficients. We find the (tight) analogous theorems for $d=2$. We construct $2$-dimensional "$\mathbb Q$-almost-hypertrees" (defined below) with an empty shadow. We also show that the shadow of an "$\mathbb F_2$-almost-hypertree" cannot be empty, and its least possible density is $Θ(\frac{1}{n})$. In addition we construct very large hyperforests with a shadow that is empty over every field. For $d\ge 4$ even, we construct $d$-dimensional $\mathbb{F} _2$-almost-hypertree whose shadow has density $o_n(1)$. Finally, we mention several intriguing open questions.

研究の動機と目的

• 高次元単体的複体におけるシャドウとハイパーカットの構造を理解し、古典的なグラフ論的極値結果をd次元複体へと拡張すること。
• 係数体の選択（特にℚと𝔽₂）がd-複体におけるシャドウの存在とサイズに与える影響を調査すること。
• 異なる体上での2-複体における「ほぼハイパータリー」のシャドウの最小密度を特定すること。
• 任意の体上での大きなハイパーフォレストを空のシャドウで構成し、このような複体が高次元でも存在することを示すこと。
• 高次元組合せ論における根本的な極値問題を特定・解決すること、特に非巡回的集合とサイクル最小性に関して。

提案手法

• 本稿は、体ℚおよび𝔽₂上での単体的ホモロジーと境界作用素∂dを用い、d-単体の集合のランクを定義し、非巡回性を決定する。
• 「d-ほぼハイパータリー」として、d-単体の非巡回的集合の最大集合を定義し、シャドウを、その追加によりサイクルが形成されるd-単体の集合として定義する。
• 2-複体に関しては、再帰的算術三重構成を用いて、ℚ上での空のシャドウを持つ明示的な複体族を構成する。
• 𝔽₂上でのシャドウ密度の下界を、再帰的複体族における頂点連結性と辺の包含パターンの分析により証明する。
• 再帰的構成における頂点集合の共通部分集合に基づき、特定の辺集合が複体構成に含まれなければならないことを示すために、帰納法と対称性の議論を用いる。
• 代数的トポロジーと極値組合せ論の既知の結果（カルアイのハイパータリーに関する境界）を活用し、未解決問題や予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 𝔽₂上での2次元の「almost-hypertree」のシャドウの最小サイズは何か？ そして、これはタイトに境界づけられるか？
• RQ2 ℚ上での2次元複体は、非巡回的集合が空のシャドウを持つことができるか？ もしそうなら、そのような複体はどれほど大きくできるか？
• RQ3 高次元複体において、ℚと𝔽₂におけるシャドウの挙動はどのように異なるのか？ その差異の背後にある理由は何か？
• RQ4 任意の体上での、任意に大きな空のシャドウを持つハイパーフォレストを構成できるか？ どのような構造的制約が適用されるか？
• RQ5 n個の頂点を持つ複体におけるd-サイクルの最大サイズは何か？ また、n, d, および体に対して、(n-1 choose d)+1 個のd-単体が最小サイクルを形成するのはいつか？

主な発見

• ℚ上では、空のシャドウを持つ2次元複体（具体的には「ℚ-ほぼハイパータリー」）が存在し、追加された2-単体がサイクルを形成しないことを意味する。
• 𝔽₂上では、任意の2次元ほぼハイパータリーのシャドウの最小密度はΘ(1/n)であり、この境界はタイトである。
• 本稿は、任意の体上での2次元のハイパーフォレストを空のシャドウで構成し、このような構造が高次元でも存在することを示している。
• 偶数d ≥ 4に対して、本稿は、そのシャドウの密度がoₙ(1)である𝔽₂-ほぼハイパータリーをd次元で構成している。
• ℚ上では、複体が大きくてもシャドウが空であることが示され、𝔽₂上での挙動とは対照的である。
• 結果は、根本的な二分法を示している：ℚ上では、非巡回的集合は非常に大きく、いかなる単体の追加によってもサイクルが形成されないが、𝔽₂上では、このような集合は非ゼロのシャドウ密度によって制約を受ける。