[论文解读] Stability for vertex isoperimetry in the cube

Peter Keevash, Eoin Long|arXiv (Cornell University)|Jul 25, 2018

Limits and Structures in Graph Theory参考文献 14被引用 5

一句话总结

本文在超立方体中建立了哈珀顶点等周不等式的一个紧致稳定性结果，表明顶点边界接近最小可能值的子集在结构上接近广义汉明球。关键贡献在于一个精确的局部稳定性估计，量化了从球体出发距离增加时顶点边界的增长，证明了接近极值的集合几乎必为汉明球，且该界几乎在常数因子范围内最优。

ABSTRACT

We prove a stability version of Harper's cube vertex isoperimetric inequality, showing that subsets of the cube with vertex boundary close to the minimum possible are close to (generalised) Hamming balls. Furthermore, we obtain a local stability result for ball-like sets that gives a sharp estimate for the vertex boundary in terms of the distance from a ball, and so our stability result is essentially tight (modulo a non-monotonicity phenomenon). We also give similar results for the Kruskal--Katona Theorem and applications to new stability versions of some other results in Extremal Combinatorics.

研究动机与目标

• 在 $n$-维超立方体 $Q_n$ 中建立哈珀顶点等周不等式的稳定性版本。
• 刻画顶点边界接近最小可能值的集合，证明其必须接近广义汉明球。
• 提供一个局部稳定性结果，以汉明球对称差为基准，给出顶点边界的精确估计。
• 将这些结果推广至克鲁斯卡尔-卡托纳定理及其他极值组合问题。
• 解决超立方体中稠密族的稳定性开放问题，特别是针对大小为 $\Omega(2^n)$ 的集合。

提出的方法

• 使用子集上的单纯形（词典序）顺序定义初始段 $\mathcal{I}_m$，其可最小化顶点边界。
• 通过分析集合 $\mathcal{J} = \mathcal{I}_{m-D} \cup (\mathcal{I}_{m+D} \setminus \mathcal{I}_m)$ 建立局部稳定性框架，以建模从汉明球出发的扰动。
• 通过 $r$-重边界算子 $\partial^r$ 的递归阴影过程，关联不同层中集合的大小。
• 应用离散等周不等式，包括洛瓦兹对克鲁斯卡尔-卡托纳定理的局部版本。
• 使用塔卡吉函数作为极限对象，以理解边界大小随与球体距离变化的非单调行为。
• 采用双重计数和凸性论证，推导出满足 $|\mathcal{B}_i| = \binom{x_i}{i}$ 的 $x_i$ 的界，从而将集合大小与结构联系起来。

实验结果

研究问题

• RQ1 在超立方体中，顶点边界接近最小可能值的子集的结构特征是什么？
• RQ2 顶点边界大小如何随与汉明球对称差的变化而变化？
• RQ3 能否在全局边界非最小时，为立方体中的顶点等周不等式建立一个精确的局部稳定性估计？
• RQ4 边界大小随与球体距离变化的非单调行为是否影响稳定性界限的紧致性？
• RQ5 为保证稠密族接近汉明球，所需的最小等周逼近水平是多少？

主要发现

• 对于大小为 $m = \binom{n}{\geq k}$ 的集合，若其顶点边界至多为 $(1 + \frac{c}{n})\binom{n}{k-1}$，其中 $c = 10^{-3}\delta$，则该集合与某个汉明球的对称差不超过 $\delta\binom{n-1}{k-1}$。
• 局部稳定性结果表明：若 $|\mathcal{A} \triangle \mathcal{H}| = 2D$，则 $|\partial_v(\mathcal{A})| \geq |\partial_v(\mathcal{J})|$，其中 $\mathcal{J} = \mathcal{I}_{m-D} \cup (\mathcal{I}_{m+D} \setminus \mathcal{I}_m)$，从而给出一个精确的下界。
• 顶点边界大小并非与球体距离单调相关，反例显示当 $n=5$，$k=3$ 时，$|\partial_v(\mathcal{J})|$ 在 $D=0$ 到 $4$ 之间振荡，值为 10, 12, 13, 12, 13。
• 稳定性结果本质上是紧致的，通过构造 $n=2k-1$ 的情形证明：一个投影汉明球的边界为最小值的 $1 + \frac{1}{n}$ 倍，但与任一汉明球的对称差至少为 $\binom{n-1}{k-1}$。
• 该方法可推广至克鲁斯卡尔-卡托纳定理，得到在 $k$-层中无大小为 $t+1$ 的匹配时，边界条件为 $1+O(1/n)$ 的稳定性结果。
• 提出稠密情形的猜想：若 $|\mathcal{A}| \geq \varepsilon 2^n$ 且 $|\partial_v(\mathcal{A})| \leq (1 + \frac{\delta}{\sqrt{n}}) \operatorname{B}_{\text{lov}}(|\mathcal{A}|)$，则 $\mathcal{A}$ 与某个汉明球的对称差不超过 $\varepsilon|\mathcal{A}|$，且通过乘积构造证明 $1/\sqrt{n}$ 的依赖关系是紧致的。