[论文解读] Random Latin squares and 2-dimensional expanders

Alexander Lubotzky, Roy Meshulam|arXiv (Cornell University)|Jul 12, 2013

Topological and Geometric Data Analysis参考文献 12被引用 5

一句话总结

该论文提出了一种基于 d 个独立随机拉丁方阵的二维单纯复形的新随机模型，证明了对于固定的 d 和充分大的 n，此类复形几乎必然地是 1-维上边缘膨胀子，且具有正的膨胀常数 ε > 0。该构造给出了具有有界边度的显式无限族 (2,d,ε)-膨胀子，解决了关于具有有界度的高维膨胀子存在的问题。

ABSTRACT

Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(ϕ) of every Z_2-valued 1-cochain ϕ\in C^1(X;Z_2) satisfies |support(d_1(ϕ))| \geq ε|\supp(ϕ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.

研究动机与目标

• 建立具有均匀有界边度的二维上边缘膨胀子的存在性。
• 解决关于具有有界度的高维膨胀子的开放问题，特别是结合格罗莫夫的拓扑重叠性质。
• 使用随机拉丁方阵构造一种新的二维复形随机模型，该模型在 n → ∞ 时以高概率产生强膨胀性。
• 证明对于此类复形，上边缘膨胀常数 h₁(Y) 远离零，从而确保非平凡上同调与膨胀性。

提出的方法

• 从 d 个阶为 n 的独立随机拉丁方阵 L₁,…,L_d 构造一个三部图二维单纯复形 Y(L₁,…,L_d)，其中每个 2-单纯形对应于三元组 (a_i, b_j, c_{π_ki(j)}）。
• 将上边缘膨胀常数 h₁(X) 定义为所有非上边缘 1-上链 ϕ ∈ C¹(X;𝔽₂) 中 ||d₁ϕ|| 与 ||[ϕ]|| 的最小比值。
• 使用概率方法和集中不等式（例如切尔诺夫不等式和关于随机置换中线性形式的定理 4）来界定 ||d₁ϕ|| 较小的概率。
• 分别分析小支持和大支持的上链：对于小支持，利用拉丁方阵的结构应用谱型界；对于大支持，使用 Dotterrer 和 Kahle 的结果。
• 证明当 d = 10¹¹ 且 ε = 10⁻¹¹ 时，随着 n → ∞，几乎必然有 h₁(Y) > ε。
• 利用格罗莫夫定理推导出此类复形满足 (2,δ) 拓扑重叠性质，其中 δ > 0。

实验结果

研究问题

• RQ1 是否存在无限族的二维单纯复形，其为具有均匀有界边度 d 和正膨胀常数 ε > 0 的上边缘膨胀子？
• RQ2 基于组合设计（如拉丁方阵）的随机构造能否产生具有强谱类似性质的高维膨胀子？
• RQ3 是否可能构造出同时满足 D₀(Y) 和 D₁(Y) 有界的二维复形，从而避免高阶顶点？
• RQ4 随机拉丁方阵模型 Y(L₁,…,L_d) 是否在 n → ∞ 时以趋于 1 的概率产生具有正 h₁(Y) 的复形？
• RQ5 此类复形是否能如格罗莫夫定理所暗示的那样满足拓扑重叠性质？

主要发现

• 当 d = 10¹¹ 且 ε = 10⁻¹¹ 时，复形 Y(L₁,…,L_d) 以趋于 1 的概率成为 ε-膨胀子，当 n → ∞。
• 该构造给出了具有固定 d < ∞ 和 ε > 0 的无限族 (2,d,ε)-膨胀子，解决了关于有界度高维膨胀子的存在性问题。
• 上边缘膨胀常数 h₁(Y) 远离零，具体而言，当 d = 10¹¹ 且 n 足够大时，有 h₁(Y) > 10⁻¹¹。
• 该模型确保当 d ≥ 100 时，H₁(Y;𝔽₂) = 0 几乎必然成立，依据谱隙论证和加拉德定理。
• 由于格罗莫夫定理和正膨胀性，这些复形满足 (2,δ) 拓扑重叠性质，其中 δ > 0。
• 使得该构造几乎必然产生膨胀的最小 d 满足 d₀ ≥ 4，且 d₀ = 4 是可能的。