[论文解读] Lattice Variant of the Sensitivity Conjecture

Meena Boppana|arXiv (Cornell University)|Jul 7, 2012

Complexity and Algorithms in Graphs参考文献 8被引用 5

一句话总结

本文研究了敏感性猜想的格点变体，提出任意非平凡二着色 $ C $ 的敏感性 $ s(C) $ 与 $ d $ 维格点的维度 $ d $ 之间存在多项式有界关系。本文构造了一种着色方式，实现 $ d = O(s(C)^2) $，证明该分离在重复着色和分片着色类中为最优，并首次建立了 $ s(C) $ 的非平凡下界，推动了对完整敏感性猜想的进展。

ABSTRACT

The Sensitivity Conjecture, posed in 1994, states that the fundamental measures known as the sensitivity and block sensitivity of a Boolean function f, s(f) and bs(f) respectively, are polynomially related. It is known that bs(f) is polynomially related to important measures in computer science including the decision-tree depth, polynomial degree, and parallel RAM computation time of f, but little is known how the sensitivity compares; the separation between s(f) and bs(f) is at least quadratic and at most exponential. We analyze a promising variant by Aaronson that implies the Sensitivity Conjecture, stating that for all two-colorings of the d-dimensional lattice $\mathbb{Z}^d$, d and the sensitivity s(C) are polynomially related, where s(C) is the maximum number of differently-colored neighbors of a point. We construct a coloring with the largest known separation between d and s(C), in which $d=O(s(C)^2)$, and demonstrate that it is optimal for a large class of colorings. We also give a reverse reduction from the Lattice Variant to the Sensitivity Conjecture, and using this prove the first non-constant lower bound on s(C). These results indicate that the Lattice Variant can help further the limited progress on the Sensitivity Conjecture.

研究动机与目标

• 研究敏感性猜想的格点变体，该变体假设维度 $ d $ 与着色敏感性 $ s(C) $ 之间存在多项式关系。
• 构造 $ \mathbb{Z}^d $ 的一种非平凡二着色，实现 $ d $ 与 $ s(C) $ 之间已知最大的分离，达到 $ d = O(s(C)^2) $。
• 证明该构造在重复着色类中的最优性。
• 建立从格点着色到布尔函数的逆归约，从而首次实现对 $ s(C) $ 的非平凡下界。

提出的方法

• 通过基于二进制表示的重复模式，构造 $ \mathbb{Z}^d $ 的一种非平凡二着色，实现 $ d = O(s(C)^2) $。
• 将轴敏感性 $ r(C,x) $ 定义为具有不同颜色邻居的轴的数量，证明 $ s(C) \leq r(C) \leq 2s(C) $，并利用 $ r(C) $ 来界定 $ d $。
• 引入从格点着色到布尔函数的逆归约，将每种着色映射为一个布尔函数，其敏感性与 $ s(C) $ 相关。
• 对一个 $ d $ 个顶点的有向图应用图论中的 Turán 定理，其中边表示非相交的分片，以界定独立集的大小并导出 $ d \leq s^R(2s^B - 1) $。
• 利用引理 1 和引理 2 推导出 $ d \leq 2r(C)^2 - r(C) $，表明该构造在该界中达到等式。
• 通过证明 $ d = 2r(C)^2 - r(C) $ 是重复着色中可达到的最大值，从而证明该构造的最优性，并利用 Palvolgyi 的结果将该结论推广至分片着色类。

实验结果

研究问题

• RQ1 在 $ \mathbb{Z}^d $ 的非平凡二着色中，维度 $ d $ 与敏感性 $ s(C) $ 之间可能实现的最大分离是多少？
• RQ2 格点变体的敏感性猜想能否用于推导出 $ s(C) $ 的非平凡下界？
• RQ3 所构造的着色在重复着色类中是否最优？该最优性能否推广至更广泛的类，如分片着色？
• RQ4 是否存在从格点着色到布尔函数的逆归约？该归约能否用于证明敏感性的新界？
• RQ5 格点变体能否用于推动对完整敏感性猜想的进展？

主要发现

• 本文构造了一种 $ \mathbb{Z}^d $ 的非平凡二着色，实现 $ d = O(s(C)^2) $，达到目前已知维度与敏感性之间最大的分离。
• 该构造在重复着色类中是最优的，因为它满足 $ d = 2r(C)^2 - r(C) $，与理论上的上界完全一致。
• 对于分片着色，本文证明了 $ d \leq 2r(C)^2 - r(C) $，表明该构造在该类中同样是最优的。
• 通过从格点着色到布尔函数的逆归约，本文首次建立了以着色最小宽度为参数的 $ s(C) $ 的非平凡下界。
• 通过将 Turán 定理应用于表示分片相交关系的图，推导出结果 $ d \leq s^R(2s^B - 1) $，为维度提供了结构性上界。
• 本文证实，格点变体是通往敏感性猜想的可行路径，因为它能够实现新的边界结果和最优性结论。