Fast mixing of random walks on hypergraphs has led to myriad breakthroughs in theoretical computer science in the last five years. On the other hand, many important applications (e.g. to locally testable codes, 2-2 games) rely on a more general class of underlying structures called posets, and crucially take advantage of non-simplicial structure. These works make it clear the global expansion properties of posets depend strongly on their underlying architecture (e.g. simplicial, cubical, linear algebraic), but the overall phenomenon remains poorly understood. In this work, we quantify the advantage of different poset architectures in both a spectral and combinatorial sense, highlighting how regularity controls the spectral decay and edge-expansion of corresponding random walks. We show that the spectra of walks on expanding posets (Dikstein, Dinur, Filmus, Harsha APPROX-RANDOM 2018) concentrate in strips around a small number of approximate eigenvalues controlled by the regularity of the underlying poset. This gives a simple condition to identify poset architectures (e.g. the Grassmann) that exhibit exponential decay of eigenvalues, versus architectures like hypergraphs whose eigenvalues decay linearly -- a crucial distinction in applications to hardness of approximation such as the recent proof of the 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). We show these results lead to a tight characterization of edge-expansion on posets in the $\ell_2$-regime (generalizing recent work of Bafna, Hopkins, Kaufman, and Lovett (SODA 2022)), and pay special attention to the case of the Grassmann where we show our results are tight for a natural set of sparsifications of the Grassmann graphs. We note for clarity that our results do not recover the characterization of expansion used in the proof of the 2-2 Games Conjecture which relies on $\ell_\infty$ rather than $\ell_2$-structure.
翻译:高音上随机行走的快速混合导致过去五年来理论计算机科学出现无数突破。 另一方面,许多重要应用(例如,本地测试代码,2-2游戏)依赖更普通的底部结构类别,叫做摆布,并且非常地利用非简化结构。这些作品表明,摆布的全球扩张特性在很大程度上取决于其基本结构(例如,简化、立方、线性代数),但总体现象仍然不为人知。在这项工作中,我们量化了不同摆布结构的优势(例如,本地可测试代码,2-2游戏),强调常规性如何控制光谱变色和相应的随机行走的边缘扩张。我们显示,摆布的全球扩张特性(Dikstein、Dinur、电影、Harsha APROX-RANDOM 2018) 集中在少量的基底面数字值上。在基底面上,我们将特殊造型结构的优势量化为特别的变色结构(例如直压的直压结构中,我们用直观的直径的直径变变变的直压结果) 。