[论文解读] New Elementary High Dimensional Edge Expanders using Strong Symmetry

Tali Kaufman, Izhar Oppenheim|arXiv (Cornell University)|Jul 2, 2019

Complexity and Algorithms in Graphs参考文献 7被引用 2

一句话总结

本文提出了一种利用单纯复形中强对称性的新方法，构造了有界度数的二维共上同调膨胀图。通过利用在高维胞腔上作用传递的群作用，作者开发了一套新颖的机制来证明高维边膨胀性，从而首次实现了此类膨胀图的初等构造——这对推进量子纠错码的发展具有重要意义。

ABSTRACT

Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not high dimensional edge-expanding. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, the only known bounded degree cosystolic expanders are derived from deep mathematical tools that are far from being elementary! In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove high dimensional edge expansion. We then use this machinery to construct a new {\em elementary} family of bounded degree two-dimensional cosystolic expanders. Bounded degree cosystolic expanders play a major role in a recent breakthrough construction of quantum error correcting codes that break the state of the art constructions. Thus, any advancement in their construction, and in particular, an elementary construction of such objects is of a major importance.

研究动机与目标

• 开发二维有界度数共上同调膨胀图的初等构造，因为目前此类构造仅能通过深奥的非初等数学工具实现。
• 理解并表征单纯复形中高维边膨胀性，超越谱膨胀性，尤其在缺乏经典Cheeger型等价关系的情况下。
• 建立一个利用强对称性（特别是群作用在高维胞腔上传递）来证明高维边膨胀性的通用框架。
• 通过构造显式且组合自然的例子，弥合谱膨胀与真正的高维边膨胀之间的差距。

提出的方法

• 作者定义并利用单纯复形中的强对称性，其中群在二维胞腔（面）上传递作用，从而实现结构的统一分析。
• 他们引入一种新机制，通过分析对称群作用下的上同调与几何性质，来证明共上同调膨胀性。
• 该方法依赖于分析上同调中最小非平凡上循环代表元，利用对称性来界定其大小相对于复形结构的上界。
• 该构造基于一族具有有界度数和强对称性的二维复形，其来源于群论与组合原理。
• 作者利用对称性，将证明膨胀性的难题简化为在对称胞腔上验证局部膨胀条件。
• 他们建立了复形对称性与共上同调膨胀常数下界之间的联系，从而实现显式构造与分析。

实验结果

研究问题

• RQ1 能否在不依赖深奥代数或数论工具的前提下，实现有界度数、初等的二维共上同调膨胀图构造？
• RQ2 单纯复形中的强对称性如何促进高维边膨胀性的证明？
• RQ3 对称性在多大程度上能简化高维中上同调膨胀性的分析，尤其是在谱膨胀性不蕴含边膨胀性的情况下？
• RQ4 能否发展出一种系统性机制，用于在对称复形中证明上同调膨胀性，且独立于谱方法？
• RQ5 对称复形的何种结构性质可在保持强膨胀性的同时确保有界度数？

主要发现

• 本文构造了首个已知的初等有界度数二维共上同调膨胀图族，仅依赖群论与组合对称性。
• 作者建立了一套新机制，用于在对称复形中证明高维边膨胀性，其方法比以往更简单、更透明。
• 该构造表明，强对称性可有效控制上循环代表元，从而导出共上同调膨胀常数的非平凡下界。
• 该方法避免了对Ramanujan复形或深奥数论等高级工具的依赖，使构造更具可及性与构造性。
• 结果表明，这些复形适用于量子纠错码应用，尤其在突破以往性能瓶颈方面具有潜力。
• 该工作提供了一个基础框架，未来可推广至具有强对称性的高维复形，为高维膨胀理论开辟新路径。