[论文解读] Overlap properties of geometric expanders

Jacob Fox, M. Gromov+3 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 9, 2010

Topological and Geometric Data Analysis参考文献 17被引用 4

一句话总结

本文通过概率和确定性构造，证明了在 d 维空间中存在无限多组有界度数、(d+1)-一致超图，其重叠数 uniformly 为正。研究证明，此类超图展现出强烈的几何重叠性质，其重叠数渐近趋近于完全超图的极限（当 n→∞ 时），并提出了一项关于 R^d 中测度的新划分定理，其在几何组合学中有应用。

ABSTRACT

The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$-uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$. We also show that, for every $d$, the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$-uniform hypergraphs with $n$ vertices, as $n ightarrow\infty$. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$, there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$, for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$, there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$-fraction of the $(d+1)$-tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$.

研究动机与目标

• 解决格罗莫夫提出的问题：在高维空间中是否存在高度重叠的、有界度数的单纯复形。
• 证明即使在有界度数下，稀疏超图的重叠数仍可远离零。
• 证明此类构造的最优重叠常数与完全超图在 n→∞ 时的渐近极限一致。
• 提出 R^d 中测度的新划分结果，应用于几何重叠与组合几何。

提出的方法

• 使用概率方法证明：将超图随机嵌入 R^d 时，以正概率产生高重叠。
• 应用扩展图构造，生成具有统一正重叠的确定性、有界度数超图。
• 提出一项新划分定理：对任意 ε>0 和 d，存在 K，使得 R^d 可被划分为 k≥K 个测度相等的可测部分，其中几乎所有 (d+1)-元组的各部分要么全部包含其单形中的公共点，要么全都不包含。
• 利用集中不等式（通过霍夫丁型界）控制随机顶点映射下重叠分数的偏差。
• 结合拓扑组合学与测度论结果，包括对博罗斯-弗雷迪定理的拓扑证明。
• 分析完全 (d+1)-一致超图的重叠数，并证明稀疏构造的最优常数 c(d) 与这些完全超图重叠数的极限渐近相等。

实验结果

研究问题

• RQ1 在 d≥2 时，是否存在无限多组 (d+1)-一致超图，其度数有界且重叠数 uniformly 为正？
• RQ2 当 n→∞ 时，稀疏构造的最优重叠常数 c(d) 是否可渐近匹配完全 (d+1)-一致超图重叠数的极限？
• RQ3 何种几何划分性质可确保 R^d 中大多数 (d+1)-元组可测集具有统一的单形包含行为？
• RQ4 在高维空间中，重叠性质是否在非仿射连续映射下保持不变？
• RQ5 超图的重叠数与其 1-骨架（特别是当骨架为扩展图时）的结构之间存在何种关系？

主要发现

• 本文构造了无限多组 (d+1)-一致超图，其度数有界且重叠数下界为正的常数 c(d) > 0，正面回答了格罗莫夫的问题。
• 此类稀疏构造可达到的最优重叠常数 c(d) 与完全 (d+1)-一致超图在 n→∞ 时的重叠数极限渐近相等。
• 证明了一项新的测度划分结果：对任意 d 和 ε>0，存在 K，使得 R^d 可被划分为 k≥K 个测度相等的部分，其中除 ε 分数外的所有 (d+1)-元组部分均对某固定点 q 具有统一的单形包含行为。
• 当 d=2 时，构造的重叠数至少为 2/9 - o(1)，与博罗斯-弗雷迪定理的渐近界一致。
• 概率方法可产生高概率构造：将顶点随机映射到 R^d 时，存在一点被至少 c(H) 分数的单形覆盖，且 c(H) 远离零。
• 本文表明，基于扩展图和建筑物有限商的某些构造可产生高度重叠的单纯复形，但这些构造在 d≥3 时无法在非仿射连续映射下保持重叠性质。