[論文レビュー] Walking on the Edge and Cosystolic Expansion

Tali Kaufman, David Mass|arXiv (Cornell University)|Jun 6, 2016

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

ひとこと要約

この論文は、2次元の正則単体的複体がコサイコル的拡張子であり、その下位グラフのスペクトルギャップが 1/2 より大きい場合、その辺上の高次ランダムウォークが一様分布に速やかに収束することを確立している。主な結果は、グローバルな組合せ的拡張性とスレクトルギャップ条件から、辺グラフのスペクトル拡張性（高速混合を保証する）が導かれるということであり、古典的な拡張子混合の結果を高次元に一般化するものである。

ABSTRACT

Random walks on regular bounded degree expander graphs have numerous applications. A key property of these walks is that they converge rapidly to the uniform distribution on the vertices. The recent study of expansion of high dimensional simplicial complexes, which are the high dimensional analogues of graphs, calls for the natural generalization of random walks to higher dimensions. In particular, a high order random walk on a $2$-dimensional simplicial complex moves at random between neighboring edges of the complex, where two edges are considered neighbors if they share a common triangle. We show that if a regular $2$-dimensional simplicial complex is a cosystolic expander and the underlying graph of the complex has a spectral gap larger than $1/2$, then the random walk on the edges of the complex converges rapidly to the uniform distribution on the edges.

研究の動機と目的

• 2次元単体的複体の辺上での高次ランダムウォークが速やかに混合するための十分条件を特定すること。
• 高次元の組合せ的拡張性（コサイコル的拡張性）と辺グラフのスペクトル拡張性の間のギャップを埋めること。
• グローバルなコサイコル的拡張性と、下位グラフにおけるスレクトルギャップ > 1/2 の組み合わせが、辺ベースのランダムウォークの高速収束をもたらすことを示すこと。
• 辺グラフのスペクトル性質を用いて、グラフから高次元複体への古典的な拡張子混合結果を一般化すること。

提案手法

• 頂点が複体の辺であり、共通の三角形を共有するペアが接続される辺グラフ $ G_1(X) $ を定義する。
• 辺グラフ $ G_1(X) $ の辺拡張性を、複体内の頂点の局所的視点と関連付ける：部分集合 $ F \to S $ に対して、$ \bigcup_v \text{辺 in } F \text{ で } v \text{ に接続されているもの} $ を計算する。
• コブドリー拡張と局所的視点解析を用いて、$ \big| \bigcup_{v \notin S} \text{辺 in } F \text{ で } v \text{ に接続されているもの} \big| $ の下界を導出し、グローバル拡張性と結びつける。
• 脂肪度パrameter $ \eta $ を用いて、局所的拡張性とグローバル拡張性のトレードオフを制御し、境界を最適化する。
• コサイコル的拡張定数 $ \epsilon $、次数 $ k_1 $、スレクトルギャップ $ \widetilde{\lambda}_2 $ を用いて、$ \sum_v |\delta(F_v)| $ の下界を導出する。
• 辺グラフ $ G_1 $ にチーリングの不等式を適用し、$ \widetilde{\lambda}_2(G_1) $ の上界を得ることで、スペクトル拡張性と高速混合を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元単体的複体の辺上での高次ランダムウォークが一様分布に速やかに収束する条件は何か？
• RQ2 2次元単体的複体のグローバルなコサイコル的拡張性は、その辺グラフのスペクトル拡張性をもたらすか？
• RQ3 複体の下位グラフのスレクトルギャップは、辺ベースのランダムウォークの混合時間の制御にどのような役割を果たすか？
• RQ4 すべての部分複体が局所的スペクトル拡張子でなくても、高速混合を達成することは可能か？
• RQ5 複体における局所的視点とグローバル拡張性の相互作用は、辺グラフの拡張性にどのように影響するか？

主な発見

• 2次元単体的複体がコサイコル的拡張子であり、その下位グラフのスレクトルギャップ $ \widetilde{\lambda}_2 > 1/2 $ であるならば、辺グラフ $ G_1(X) $ はスペクトル拡張子である。
• 辺グラフ $ G_1(X) $ の正規化されたチーリング定数は、$ \widetilde{h}(G_1) \geq \frac{\epsilon}{8} \left( 3\sqrt{(1+2\widetilde{\lambda}_2)^2 + 32} - 2\widetilde{\lambda}_2 - 17 \right) $ を満たし、強い拡張性を示唆する。
• 辺グラフの2番目に大きな固有値 $ \widetilde{\lambda}_2(G_1) $ は、$ \widetilde{\lambda}_2(G_1) \leq 1 - \frac{\epsilon^2}{128} \left( 3\sqrt{(1+2\widetilde{\lambda}_2)^2 + 32} - 2\widetilde{\lambda}_2 - 17 \right)^2 $ を満たし、高速混合を保証する。
• 辺グラフ $ G_1 $ は $ \alpha $-スペクトル拡張子であり、$ \alpha = \widetilde{\lambda}_2(G_1) $ であるため、辺上での高次ランダムウォークは速やかに混合する。
• 局所的サブ複体がスペクトル拡張子でなくても、グローバルなコサイコル的拡張性があれば結果は成り立つ。
• 境界 $ \sum_v |\delta(F_v)| $ は脂肪度パrameter $ \eta $ を用いて導出され、拡張性のトレードオフを最適化し、タイトなスペクトル境界をもたらす。