[论文解读] Independent sets in the discrete hypercube

David Galvin|arXiv (Cornell University)|Jan 6, 2019

Limits and Structures in Graph Theory参考文献 8被引用 9

一句话总结

本文给出了Sapozhenko关于$d$-维超立方体$Q_d$中独立集数量的渐近公式的一个简化证明，表明当$d \to \infty$时，$|\mathcal{I}(Q_d)| \sim 2\sqrt{e} \cdot 2^{2^{d-1}}$。该证明依赖于一个技术性引理，该引理界定了偶权顶点子集在奇权类中具有给定邻域大小的数量，利用等周不等式和一种构造性算法重建方法，控制了邻域重叠带来的过度计数。

ABSTRACT

In this expository note we describe a proof due to A. Sapozhenko that the number of independent sets in the discrete $d$-dimensional hypercube $Q_d$ is asymptotically $2 \sqrt{e} 2^{2^{d-1}}$ as $d$ tends to infinity.

研究动机与目标

• 提供Sapozhenko关于$d$-维超立方体中独立集渐近计数的简化且自包含的阐述。
• 证明当$d \to \infty$时，$Q_d$中独立集的数量渐近为$2\sqrt{e} \cdot 2^{2^{d-1}}$，从而改进平凡下界$2^{2^{d-1}}$。
• 证明一个关键技术引理，该引理界定了偶权顶点子集在奇权类中具有给定邻域大小的数量，这是渐近分析的核心。
• 开发并分析一种构造性算法，用于近似超立方体中集合的闭包，从而控制邻域重叠并控制对独立集计数的非可忽略贡献。

提出的方法

• 使用$\psi$-近似算法，从$\mathcal{O}$中的邻域$G = N(A)$重构$\mathcal{E}$的子集$A$，确保$S \supseteq [A]$且$F \subseteq G$，同时控制度数。
• 在超立方体中应用等周不等式，以界$\text{k-连通子集}$的数量并控制邻域扩展。
• 将集合分解为$k$-连通分量，以分析连通性并隔离对独立集计数有非可忽略贡献的部分。
• 通过重构论证界定了$\mathcal{E}$中大小为$a$的子集在$\mathcal{O}$中邻域大小为$g$的数量，考虑了$G \setminus F$和$S \setminus [A]$。
• 使用双重计数和邻域扩展估计，控制具有重叠或非重叠邻域的$A$-集的可能数量。
• 利用二项式系数界分析算法输出空间，得到以$t = g - a$、$d$和$\psi$表示的指数上界。

实验结果

研究问题

• RQ1 当$d \to \infty$时，$d$-维超立方体中独立集数量的渐近增长速率是什么？
• RQ2 如何将独立集的平凡下界$2^{2^{d-1}}$改进为与渐近公式$2\sqrt{e} \cdot 2^{2^{d-1}}$一致？
• RQ3 包含$\mathcal{E}$和$\mathcal{O}$中顶点的独立集，特别是那些邻域不重叠的集合，其贡献是什么？
• RQ4 如何界定向$\mathcal{O}$中具有给定邻域大小的$\mathcal{E}$子集数量，以控制渐近枚举中的过度计数？
• RQ5 超立方体的哪些结构性质（例如连通性、邻域重叠）决定了对独立集计数的主导贡献？

主要发现

• 当$d \to \infty$时，$d$-维超立方体中独立集的数量满足$|\mathcal{I}(Q_d)| \sim 2\sqrt{e} \cdot 2^{2^{d-1}}$，确认了Korshunov和Sapozhenko的结果。
• 对独立集计数的主导贡献来自$\mathcal{O}$中顶点的邻域两两不重叠的集合，此类结构最小化了重叠并最大化了扩展可能性。
• 平凡下界$2^{2^{d-1}}$因来自$\mathcal{O}$中$k$个非邻近顶点的独立集的贡献而被改进了$\sqrt{e}$倍，且该贡献对小的$k$求和。
• 在$\psi$-近似框架下，$\mathcal{E}$中大小为$a$且在$\mathcal{O}$中邻域大小为$g$的子集数量被界为$2^{g - t + O((t\psi/(d - \psi) + \gamma t)\log d)}$，其中$t = g - a$。
• 重构算法确保可能的输出数量被界为$2^{O(td\log d/((d - \varphi)\psi) + td\log d/((d - \psi)\psi))}$，当参数选择适当时，该界在$2^{2^{d-1}}$意义下为次指数。
• 该证明表明$\mathcal{O}$中$2$-连通或高度重叠集合的贡献可忽略，从而支持了对非重叠邻域结构的关注。