[論文レビュー] Garland's Technique for Posets and High Dimensional Grassmannian Expanders

Tali Kaufman, Ran J. Tessler|arXiv (Cornell University)|Jan 29, 2021

Advanced Combinatorial Mathematics被引用数 1

ひとこと要約

本稿は、Garlandの局所的から大域的への枠組みを単体的複体から一般の階数付き半順序集合へ拡張し、一般化されたUL性質および近似版を導入して摂動を扱う。局所的拡張性がランダムウォークの高速混合といった大域的拡張性を示すことを証明し、[DDFH]で提起された予想を確認する初の定数次数の拡張的グラスマン多様体半順序集合を構成する。

ABSTRACT

Local to global machinery plays an important role in the study of simplicial complexes, since the seminal work of Garland [G] to our days. In this work we develop a local to global machinery for general posets. We show that the high dimensional expansion notions and many recent expansion results have a generalization to posets. Examples are fast convergence of high dimensional random walks generalizing [KO,AL], an equivalence with a global random walk definition, generalizing [DDFH] and a trickling down theorem, generalizing [O]. In particular, we show that some posets, such as the Grassmannian poset, exhibit qualitatively stronger trickling down effect than simplicial complexes. Using these methods, and the novel idea of Posetification, to Ramanujan complexes [LSV1,LSV2], we construct a constant degree expanding Grassmannian poset, and analyze its expansion. This it the first construction of such object, whose existence was conjectured in [DDFH].

研究の動機と目的

• 一般の半順序集合における高次元拡張の局所的から大域的への枠組みを構築し、既存の単体的複体に関する結果を一般化すること。
• リンクの局所的拡張性を用いて半順序集合における高次元拡張を定義・形式化し、Garlandの研究の考え方を拡張すること。
• リンクにおける局所的拡張性が、ランダムウォークの高速混合といった大域的拡張性を示すことを証明すること。
• [DDFH]で提起された予想を解決するため、初の定数次数の拡張的グラスマン多様体半順序集合を構成すること。
• ラマヌジャン複体の「半順序集合化」を新規手法として導入し、高次元拡張の構成に用いること。

提案手法

• 階数付き重み付き半順序集合に対して一般化されたUL（上-下）性質を提案し、定数c⟨, c⋄, c✷と誤差項ǫ⟨, ǫ⋄, ǫ✷を用いて局所的拡張性を捉える。
• 誤差バウンドを備えた近似UL性質を導入し、摂動下でも解析可能とし、古典的結果を一般化する。
• 近似UL性質を用いて上向きおよび下向きのランダムウォーク作用素に対する誤差バウンド付き不等式を導出し、局所的データから大域的推定を可能にする。
• この枠組みをグラスマン多様体半順序集合に適用し、単体的複体よりも顕著な「 trickle down 」的挙動を示す。
• ラマヌジャン複体の「半順序集合化」を用いてグラスマン多様体半順序集合をスパarsifyし、拡張性を維持したまま定数次数の拡張子を得る。
• 誤差項が半順序集合の構造に依存する一般化されたトリッキングダウン定理を導出し、グラスマン多様体設定における収束の改善を示す。

実験結果

リサーチクエスチョン

• RQ1 高次元拡張の局所的から大域的への原理は、単体的複体を超えて一般の半順序集合へ一般化可能か？
• RQ2 半順序集合のリンクに何らかの公理的性質を与えると、例えばランダムウォークの高速混合といった大域的拡張性が保証されるか？
• RQ3 グラスマン多様体半順序集合は、単体的複体と比較して「トリッキングダウン」現象においてより強い局所的から大域的への拡張を示すか？
• RQ4 [DDFH]で提起された予想に従い、定数次数の拡張的グラスマン多様体半順序集合を構成可能か？
• RQ5 近似UL性質は、一般の半順序集合において摂動下でも安定した拡張解析を可能にするか？

主な発見

• 本稿は、一般の半順序集合における高次元拡張の局所的から大域的への枠組みを確立し、[KO, DDFH, O, AL]の結果を一般化した。
• グラスマン多様体半順序集合においては、リンクを下方向に降下する際の拡張性が強化され、単体的複体とは異なり「トリッキングダウン」の性質が顕著に向上することを示す一般化されたトリッキングダウン定理を証明した。
• ラマヌジャン複体の「半順序集合化」を用いた初の定数次数の拡張的グラスマン多様体半順序集合の構成が達成され、[DDFH]の予想が裏付けられた。
• 近似UL性質により、上向きおよび下向きのウォーク作用素に対する誤差バウンド付き不等式が得られ、誤差項はǫ⟨, ǫ⋄, ǫ✷およびスペクトルパラメータに依存する。
• グラスマン多様体半順序集合では、局所的拡張性の向上に起因し、下向き上向きウォークにおける収束速度が向上し、トリッキングダウン効果が定性的に顕著に強い。
• この枠組みにより、誤差項が半順序集合の構造およびスペクトル定数に明示的に依存するように、大域的拡張性の定量的バウンドが局所的リンクの性質のみから得られる。