[论文解读] Slicing the hypercube is not easy

Gal Yehuda, Amir Yehudayoff|arXiv (Cornell University)|Feb 10, 2021

Advanced Graph Theory Research参考文献 23被引用 4

一句话总结

本文证明了切割 $n$-维超立方体的所有边至少需要 $\Omega(n^{0.51})$ 个超平面，将五十年来未被突破的 $\Omega(n^{0.5})$ 下界提升了。证明结合了几何洞察、概率方法和反集中不等式，为阈值电路和超立方体的斜超平面覆盖问题建立了新的下界。

ABSTRACT

We prove that at least $Ω(n^{0.51})$ hyperplanes are needed to slice all edges of the $n$-dimensional hypercube. We provide a couple of applications: lower bounds on the computational complexity of parity, and a lower bound on the cover number of the hypercube by skew hyperplanes.

研究动机与目标

• 建立切割 $n$-维超立方体所有边所需的超平面数量的超常数下界。
• 改进五十年来未被突破的 $\Omega(n^{0.5})$ 切割问题下界。
• 为使用阈值电路计算奇偶性的计算复杂度推导新的下界。
• 为覆盖 $n$-维超立方体所有顶点所需的最少斜超平面数量提供新的下界。
• 统一分析超立方体切割与覆盖问题中的几何、概率和组合技术。

提出的方法

• 通过与塔斯基铺板问题和邦引理的高层次联系，将切割问题结构化为对称矩阵和向量范数的形式。
• 通过使用小分量的向量基进行迭代扰动，构造一个在超立方体中具有受控 $\ell_\infty$-范数的向量 $w$。
• 应用伯恩斯坦不等式，通过乘积测度中的反集中性质，限制小系数范数的超平面切割随机边的概率。
• 采用两阶段构造：首先通过概率集中处理 $\ell_\infty$-范数较小的超平面，然后通过乘积概率空间中的反链论证处理剩余的少数超平面。
• 对基向量 $w$ 施加随机扰动 $\delta$ 以生成候选边，确保生成的边分布为非退化的乘积测度。
• 应用定理 9 并对具有大方差项的超平面使用并集界，表明切割随机边的概率可忽略不计，从而在假设的界下必然存在未被切割的边。

实验结果

研究问题

• RQ1 能否改进切割 $n$-立方体所有边所需的超平面数量的 $\Omega(n^{0.5})$ 下界？
• RQ2 切割 $n$-维超立方体所有边所需的最少超平面数量是多少，是否超过 $n^{0.51}$？
• RQ3 这一改进的下界对阈值电路中计算奇偶性的复杂度有何影响？
• RQ4 覆盖 $n$-维超立方体所有顶点所需的最少斜超平面数量是多少？
• RQ5 概率和反集中技术能否用于证明超立方体相关几何与组合问题中更强的下界？

主要发现

• 本文建立了切割 $n$-维超立方体所有边所需的超平面数量的新下界 $\Omega(n^{0.51})$，优于先前的 $\Omega(n^{0.5})$ 下界。
• 该结果意味着首次获得 $\omega(n^{0.5})$ 的下界，适用于任何计算奇偶性的阈值电路第一层的门数。
• 同时，该结果也首次给出 $\omega(n^{1.5})$ 的下界，适用于任何深度为二的阈值电路中奇偶性的布线数，具体为 $\Omega(n^{1.51})$ 根布线。
• 相同方法也给出了覆盖超立方体所有顶点所需的最少斜超平面数量的新下界 $\Omega(n^{0.51})$。
• 分析表明，对于 $k \leq n^{0.51}$ 个超平面，通过概率构造和反集中论证，总存在至少一条边未被任何超平面切割。
• 该证明结合了几何向量构造、伯恩斯坦不等式（用于次高斯尾部）以及乘积概率空间中的反链分析，从而实现了更优的下界。