[論文レビュー] Local spectral expansion approach to high dimensional expanders

Izhar Oppenheim|arXiv (Cornell University)|Jul 31, 2014

Spectral Theory in Mathematical Physics参考文献 17被引用数 4

ひとこと要約

本稿は、単体複体の1次元リンクにおけるスペクトルギャップを用いて定義される、高次元拡張子のための新しいフレームワーク「局所スペクトル的拡張」を導入する。この条件がコhomologyの消滅、チーリング型不等式、混合性、幾何的オーバーラップを示すことを確立しており、従来のスペクトル的またはコバウンダリーに基づく定義に代わる、計算的に取り扱いやすい代替定義を提供する。

ABSTRACT

This paper introduces the notion of local spectral expansion of a simplicial complex as a possible analogue of spectral expansion defined for graphs. We show the condition of local spectral expansion has several nice implications. For example, for a simplicial complex with local spectral expansion we show vanishing of cohomology with real coefficients, Cheeger type inequalities and mixing type results and geometric overlap results.

研究の動機と目的

• 局所スペクトル的性質に基づく、計算的に取り扱いやすい高次元拡張子の新しい定義を開発すること。
• 局所スペクトル的拡張が、コhomologyの消滅や混合性を含む強いグローバルな位相的・幾何的性質を示すことを示すこと。
• リンクラプラシアンを用いて、スペクトル的グラフ拡張を高次元に一般化するフレームワークを提供すること。
• 局所スペクトル的条件の下で、部品型複体に対してチーリング型不等式および幾何的オーバーラップ定理を確立すること。
• 1次元リンクにおけるスペクトルギャップが十分にグローバル拡張性質を制御できることを示し、複雑なグローバルラプラシアン解析を回避すること。

提案手法

• 純n次元単体複体のすべての1次元リンクにおける正規化ラプラシアンのスペクトルギャップλを用いて、局所スペクトル的拡張を定義する。
• すべてのリンクで非退化な拡張を保証するために、λ > (n−1)/n の条件を適用する。
• スペクトルギャップの境界を用いて、スペクトル的手法によりコhomologyの消滅や混合性といったグローバルな性質を導出する。
• リンク構造を活用して、グローバルな拡張性質の問題を1次元リンクにおける局所的スペクトル制御に還元する。
• 摂動論的議論と凸幾何学を用いて、特に部品型複体に対して幾何的オーバーラップ定理を証明する。
• 1次元リンクの固有値はしばしばグローバルラプラシアンよりも容易に計算可能であるという事実を活用し、明示的な例を構築可能にする。

実験結果

リサーチクエスチョン

• RQ1 単体複体の1次元リンクにおけるスペクトル的拡張が、強力なグローバルな位相的・幾何的性質を示すことは可能か？
• RQ2 局所スペクトル的拡張は、実係数を用いたコhomologyの消滅を示すか？
• RQ3 局所スペクトル的拡張は、高次元においてチーリング型不等式および混合性の境界をもたらすか？
• RQ4 局所スペクトル的拡張は、部品型複体においてどの程度まで幾何的オーバーラップを示すか？
• RQ5 局所スペクトル的拡張は、コバウンダリー拡張やグローバルラプラシアンギャップといった既存の概念とどのように比較できるか？

主な発見

• λ > (n−1)/n である局所スペクトル的拡張は、すべての次数において実係数を用いたコhomologyの消滅を示す。
• 本稿では、局所スペクトルギャップとグローバル拡張性質との間のチーリング型不等式を確立している。
• 両側の局所スペクトル的拡張 (λ,κ) において λ と κ が1に近い場合、混合性に関する結果が成り立ち、ランダムウォークの収束が速いことを示す。
• 部品型複体に対して幾何的オーバーラップ定理が証明された：局所スペクトル的拡張の下で、任意の写像 φ: V → ℝⁿ に対して、互いに素な集合からなる (n+1) 集合の凸包の共通交叉に点が存在する。
• 定量的オーバーラップ定数 c(n) = 1/(2^{1+n2^n} ((n+1)!)^{1/α}) が導出され、各部品において測度が c(n)m(S_i) 以上の集合が、凸包の共通交叉を持つことを保証する。
• 本手法はグローバルラプラシアン固有値に依存しないため、従来の手法よりも明示的な計算に適している。