[论文解读] 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）针对高维展开图的局部到全局框架从单纯复形推广至一般的分次偏序集（graded posets），引入广义的 UL 性质及近似版本以处理扰动问题。证明了链的局部展开性可推出全局展开性质（如随机游走的快速混合），并将该理论应用于构造首个已知的常数度展开格拉斯曼（Grassmannian）偏序集，验证了 [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].

研究动机与目标

• 开发适用于一般偏序集的高维展开性局部到全局框架，推广现有关于单纯复形的结果。
• 通过链的局部展开性，定义并形式化偏序集的高维展开性，推广加拉德工作的思想。
• 证明链的局部展开性可推出全局展开性质，如随机游走的快速混合。
• 构造首个常数度展开格拉斯曼偏序集，解决 [DDFH] 中的猜想。
• 引入并分析 Ramanujan 复形的‘偏序化’（posetification）作为构造高维展开图的新方法。

提出的方法

• 为分次加权偏序集提出广义的 UL（上-下）性质，包含常数 c⟨, c⋄, c✷ 及误差项 ǫ⟨, ǫ⋄, ǫ✷，以捕捉局部展开性。
• 引入带有误差界近似 UL 性质，允许在扰动下进行分析，并推广经典结果。
• 利用近似 UL 性质推导上行与下行随机游走算子的误差有界不等式，从而从局部数据获得全局估计。
• 将该框架应用于格拉斯曼偏序集，表明其在‘下渗’（trickling down）行为上表现出强于单纯复形的定性特征。
• 通过 Ramanujan 复形的‘偏序化’对格拉斯曼偏序集进行稀疏化，同时保持展开性，从而得到常数度展开图。
• 推导出依赖于偏序集结构的广义下渗定理，误差项明确体现于展开性改善的格拉斯曼情形。

实验结果

研究问题

• RQ1 高维展开的局部到全局原理能否从单纯复形推广至一般偏序集？
• RQ2 偏序集链的哪些公理或性质可保证全局展开性（如随机游走的快速混合）？
• RQ3 格拉斯曼偏序集是否表现出强于单纯复形的局部到全局展开性，特别是在‘下渗’现象中？
• RQ4 能否构造出如 [DDFH] 所猜想的常数度展开格拉斯曼偏序集？
• RQ5 近似 UL 性质如何实现对一般偏序集中扰动下展开性的稳健分析？

主要发现

• 本文建立了适用于一般偏序集的高维展开性局部到全局框架，推广了 [KO, DDFH, O, AL] 的结果。
• 证明了广义下渗定理，表明在格拉斯曼偏序集中，通过链下降时展开性反而增强，与单纯复形情形不同。
• 通过 Ramanujan 复形的‘偏序化’首次实现了常数度展开格拉斯曼偏序集的构造，验证了 [DDFH] 中的猜想。
• 近似 UL 性质导出了上行与下行游走的误差有界不等式，误差项由 ǫ⟨, ǫ⋄, ǫ✷ 及谱参数控制。
• 在格拉斯曼偏序集中，下渗效应在定性上更强，由于局部展开性增强，下行-上行游走的收敛速率得到改善。
• 该框架允许仅基于局部链性质，定量估计全局展开性，误差项明确依赖于偏序集结构与谱常数。