[論文レビュー] Boundaries of Hypertrees, and Hamiltonian Cycles in Simplicial Complexes

Rogers Mathew, Ilan Newman+2 more|arXiv (Cornell University)|Jul 16, 2015

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

ひとこと要約

本稿は、単体複体における$d$-ハイパートリーとその境界の組合せ的構造を調査し、$d \leq 2$ に対して $ℝ_2$ 上で $∂_d T$ を完全に特徴づけ、$d=2$ ではサイズ ${n-1 \choose 2}+1$、$d \geq 3$ ではサイズ ${n-1 \choose d} - O(n^{d-2})$ のハミルトニアン $d$-サイクルを構成する。さらに、$d$-ハイパートリーは平均基本サイクルサイズが $c_d \cdot {n-1 \choose d}$ 以上である可能性があり、$c_d$ は $d$ のみに依存する。これは、高次元ツリーにおけるサイクル依存性に関する重要な問いに答えている。

ABSTRACT

A $d$-hypertree on $[n]$ is a maximal acyclic $d$-dimensional simplicial complex with full $(d-1)$-skeleton on the vertex set $[n]$. Alternatively, in the language of algebraic topology, it is a minimal $d$-dimensional simplicial complex $T$ (assuming full $(d-1)$-skeleton) such that $ ilde{H}_{d-1}(T;\mathbb{F})=0$. The $d$-hypertrees are a basic object in combinatorial theory of simplicial complexes. They have been studied; and yet, many of their structural aspects remain poorly understood. In this paper we study the boundaries $\partial_d T$ of $d$-hypertrees, and the fundamental $d$-cycles defined by them. Our findings include: 1. A full characterization of $\partial_d T$ over $\mathbb{F}_2$ for $d \leq 2$, and some partial results for $d \geq 3$. 2. Lower bounds on the maximum size of a largest simple $d$-cycle on $[n]$. In particular, for $d=2$, we construct a {\em Hamiltonian $d$-cycle} $H$ on $[n]$, i.e., a simple $d$-cycle of size ${{n-1} \choose d} + 1$. For $d\geq 3$, we construct a simple $d$-cycle of size ${{n-1} \choose d} - O(n^{d-2})$. 3. Observing that the maximum of the expected distance between two vertices chosen uniformly at random in a tree ($1$-hypertree) on $[n]$ is at most $ hicksim n/3$, attained on Hamiltonian paths, we ask a similar question about $d$-hypertrees. "How large can be the {\em average} size of a fundamental cycle of a $d$-hypertree $T$ (i.e., the expected size of the dependency created by adding a $d$-simplex on $[n]$, chosen uniformly at random, to $T$)?" For every $d \in \mathbb{N}$, we construct an infinite family of $d$-hypertrees $\{T\}$ with the average size of a fundamental cycle at least $c_d\, |T| \,=\, c_d\,{n-1 \choose d}$, where $c_d$ is a constant depending on the dimension $d$ alone.

研究の動機と目的

• 単体複体における $d$-ハイパートリーおよびその境界の構造的性質を理解すること、特に $ℝ_2$ のような有限体上で。
• 頂点数 $[n]$ の $d$-次元単体複体における単純 $d$-サイクルの最大サイズを特定すること、特にハミルトニアンサイクルの構成可能性。
• ランダムな $d$-単体を $d$-ハイパートリーに追加したときに形成される基本サイクルの平均サイズを分析し、高次元ツリーにおける依存性を定量化すること。
• $\u211d_2$ 上の結果を $\u211d$ に拡張し、$\u211d$-重み付きツリーが $\u211d_2$ よりも大きなまたは同等のサイクル構造を実現できることを示すこと。

提案手法

• $d \leq 2$ に対して、代数的トポロジーとホモロジーの消滅条件を用いて、$ℝ_2$ 上での $d$-ハイパートリーの境界 $\partial_d T$ を特徴づける。
• 組合せ的および極値的議論を用いて、最大の単純 $d$-サイクルのサイズを評価し、再帰的なコーンおよびリンク作用素を用いて明示的なハミルトニアンサイクルを構成する。
• 平均化および極値的数え上げ技法を適用し、大きなフィリング体積を持つ $d$-ハイパートリーは、多くのフィリングに参加する $d$-単体を含むべきであることを示す。
• $l_2$-ノルムと二重数え上げの手法を用いて、カットサイズとフィリングサイズの最大積に対する下界を導出する。
• $\u211d_2$ から $\u211d$ への結果の拡張は、$\u211d_2$-非サイクルである単純サイクルが $\u211d$-非サイクルでもあることから可能となり、望ましい境界を持つ $\u211d$-重み付きツリーの構成が可能になる。
• $n=6$ に対するコーン拡張とケース解析を用いて、任意の $1$-サイクル境界を持つ $\u211d$-重み付きツリーの存在を証明し、高次元へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ_2$ 上での $d$-ハイパートリーの境界 $\partial_d T$ の構造は何か、特に $d \leq 2$ の場合。
• RQ2 頂点数 $n$ の $d$-次元単体複体における単純 $d$-サイクルの最大サイズは何か？また、$d \geq 2$ の場合にハミルトニアンサイクルを構成できるか？
• RQ3 $d$-ハイパートリーにおける基本サイクルの平均サイズはどれくらい大きくできるか？この平均に対する下界を確立できるか？
• RQ4 $\u211d_2$-サイクルに関する結果を $\u211d$ に拡張できるか？また、$\u211d$-重み付きツリーは $\u211d_2$ よりも大きなまたはより柔軟なサイクル構造を実現できるか？

主な発見

• $d \leq 2$ の場合、本稿は $ℝ_2$ 上での $d$-ハイパートリーの境界 $\partial_d T$ を完全に特徴づけ、基礎的な構造的問いに答えている。
• $d=2$ の場合、$[n]$ 頂点上でサイズ ${n-1 \choose 2} + 1$ のハミルトニアン $2$-サイクルを明示的に構成し、単純 $2$-サイクルとしての最大サイズに達している。
• $d \geq 3$ の場合、サイズ ${n-1 \choose d} - O(n^{d-2})$ の単純 $d$-サイクルを構成し、高次元においてほぼ最大のサイクルが存在することを示している。
• 本稿は、平均基本サイクルサイズが $c_d \cdot {n-1 \choose d}$ 以上であるような無限族の $d$-ハイパートリーを構成し、$c_d = 16(48)^{-3^{d-1}}$ であることを示しており、高次元ツリーにおける依存性が顕著である可能性を示している。
• $\u211d_2$ 上の結果は $\u211d$ に拡張可能である：任意の単純 $\u211d_2$-サイクルは単純 $\u211d$-サイクルに含まれ、$\u211d$-重み付きツリーは $n \geq 6$ 頂点で任意の $1$-サイクルを実現できる。
• $d=2$ の場合、すべての $n \geq 6$ に対して $\u211d$ 上で $n$-頂点ハミルトニアン $2$-サイクルが存在し、$\u211d_2$ の場合に比べて偶奇制約のないより広い範囲で成立する。