[论文解读] An approximate isoperimetric inequality for r-sets

Demetres Christofides, David Ellis+1 more|arXiv (Cornell University)|Mar 16, 2012

Point processes and geometric inequalities参考文献 15被引用 5

一句话总结

该论文为约翰逊图 $\Gamma_n^{(r)}$ 建立了一个近似的顶点等周不等式，其中 $r$-子集在对称差大小为 2 时相邻。通过归纳法和局部 LYM 型不等式，作者证明了任意满足密度 $\alpha$ 的子集 $\mathcal{A} \subset [n]^{(r)}$，其顶点边界大小至少为 $c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$，其中 $c = 1/5$，该结果在 $\alpha$ 远离 0 和 1 时达到常数因子意义下的最优性。

ABSTRACT

We prove a vertex-isoperimetric inequality for [n]^(r), the set of all r-element subsets of {1,2,...,n}, where x,y \in [n]^(r) are adjacent if |x Δy|=2. Namely, if \mathcal{A} \subset [n]^(r) with |\mathcal{A}|=α{n \choose r}, then the vertex-boundary b(\mathcal{A}) satisfies |b(\mathcal{A})| \geq c\sqrt{\frac{n}{r(n-r)}} α(1-α) {n \choose r}, where c is a positive absolute constant. For αbounded away from 0 and 1, this is sharp up to a constant factor (independent of n and r).

研究动机与目标

• 为约翰逊图 $\Gamma_n^{(r)}$ 建立一个近似的顶点等周不等式，其中邻接关系由对称差大小为 2 定义。
• 解决博洛比阿斯与利德勒原始猜想的困难之处，该猜想缺乏嵌套的极值集合，因此难以使用压缩法证明。
• 为任意大小为 $\alpha\binom{n}{r}$ 的 $r$-子集提供一个关于顶点边界的定量下界，且该下界对所有 $n$ 和 $r$ 均成立。
• 通过构造一个平衡割，证明该下界在 $\alpha$ 远离 0 和 1 时达到常数因子意义下的最优性。

提出的方法

• 对 $n$ 使用归纳法，将 $\mathcal{A} \subset [n]^{(r)}$ 分解为其下 $n$-截面 $\mathcal{A}_0$ 和上 $n$-截面 $\mathcal{A}_1$。
• 当 $n$-截面大小相近时，应用归纳假设，利用约翰逊图的结构。
• 当 $n$-截面大小显著不同时，使用局部 LYM 不等式来控制边界贡献。
• 通过参数 $\delta$ 衡量不平衡性，利用加权和分析边界大小对 $n$-截面的贡献。
• 推导出涉及 $\delta$、$\alpha$ 和图参数的关键不等式，证明其在假设的 $|\delta|$ 上界下成立，从而确保归纳步骤成立。
• 利用 $\delta$ 的渐近界和泰勒型展开验证所需不等式，依赖于 $c = 1/5$。

实验结果

研究问题

• RQ1 在约翰逊图 $\Gamma_n^{(r)}$ 中，子集 $\mathcal{A} \subset [n]^{(r)}$ 的密度为 $\alpha$ 时，其顶点边界的最小可能大小是多少？
• RQ2 当极值集合不嵌套时，能否为 $r$-子集建立一个精确的近似等周不等式，从而排除标准压缩技术的使用？
• RQ3 在约翰逊图中，顶点边界的大小如何随 $n$、$r$ 和 $\alpha$ 变化，特别是在 $\alpha$ 远离 0 和 1 时？
• RQ4 所提出的下界 $c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$ 是否在常数因子意义下紧致？

主要发现

• 任意大小为 $\alpha\binom{n}{r}$ 的子集 $\mathcal{A} \subset [n]^{(r)}$，其顶点边界满足 $|b(\mathcal{A})| \geq c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$，其中 $c = 1/5$。
• 当 $\alpha$ 远离 0 和 1 时，该下界在常数因子意义下是紧致的，通过在 $n$ 为偶数且 $r$ 为奇数时的平衡割构造得以验证。
• 构造 $\mathcal{A} = \{x \in [n]^{(r)} : |x \cap \{1,\dots,n/2\}| > r/2\}$ 满足 $|\mathcal{A}| = \frac{1}{2}\binom{n}{r}$ 且 $|b(\mathcal{A})| = \frac{{n/2 \choose (r-1)/2}{n/2 \choose (r+1)/2}}{{n \choose r}}\binom{n}{r}$，其渐近阶与下界一致。
• 该证明依赖于一种新颖的归纳论证，结合了归纳假设与局部 LYM 不等式，其有效性取决于 $\mathcal{A}$ 的 $n$-截面之间的不平衡度 $\delta$。
• 分析表明，当 $|\delta| \leq 2c\frac{r}{n}\alpha(1-\alpha)\theta_n^{(r)}$ 时，归纳步骤成立，而该条件在定理假设下成立。
• 最终不等式通过 $T_1$ 和 $T_2$ 的界得到验证，表明 $W \geq 1 + \frac{1}{2(n-1)}$，从而完成归纳证明。