[论文解读] An $O(n^{0.4732})$ upper bound on the complexity of the GKS communication game

Márió Szegedy|arXiv (Cornell University)|Jun 22, 2015

Complexity and Algorithms in Graphs参考文献 2被引用 3

一句话总结

本文提出了 GKS 博弈通信复杂度的 $O(n^{0.4732})$ 上界，优于此前的 $\sqrt{999/1000}\sqrt{n}$ 上界。该结果通过构造一个 $(5,30)$ 策略并应用递归组合引理实现，实现了 $n$ 的指数上的超多项式改进，使复杂度更接近于解决敏感性猜想。

ABSTRACT

We give an $5\cdot n^{\log_{30}5}$ upper bund on the complexity of the communication game introduced by G. Gilmer, M. Koucký and M. Saks \cite{saks} to study the Sensitivity Conjecture \cite{linial}, improving on their $\sqrt{999\over 1000}\sqrt{n}$ bound. We also determine the exact complexity of the game up to $n\le 9$.

研究动机与目标

• 改进与敏感性猜想密切相关之 GKS 博弈通信复杂度的上界。
• 通过设计输出大小有界的 $(5,30)$ 策略，构建更高效的 GKS 博弈策略。
• 利用策略的递归组合，推导出 $k(n)$（即鲍勃猜测集合的最小大小）的次多项式上界。
• 确定 $n \leq 9$ 时 $k(n)$ 的精确值，为未来分析提供基准。

提出的方法

• 通过将 $n=30$ 个元素划分为 5 个大小为 6 的块，并基于部分排列历史应用一致的赋值规则，构造一个 $(5,30)$ 策略。
• 使用递归组合引理：若存在 $(k,n)$ 和 $(k',n')$ 策略，则存在 $(kk',nn')$ 策略，通过重复组合实现指数降低。
• 定义爱丽丝的策略，使其在各块之间保持奇偶性约束，从而使鲍勃可通过块内奇偶性检查重建梅林的移动。
• 定义鲍勃的策略，使其计算块内奇偶和，并应用外层策略将梅林移动的可能位置缩小至一个较小集合。
• 通过证明每个坐标所需的不相交 8-环总数超过节点总数，证明不存在 $(2,5)$ 策略。
• 通过分析图 $G$ 中路径与环的结构，排除所有配置，仅保留支持 $(5,30)$ 策略的唯一 Type 7 8-环。

实验结果

研究问题

• RQ1 GKS 博弈的通信复杂度能否超越 $\sqrt{999/1000}\sqrt{n}$ 上界？
• RQ2 使得 $(k,n)$ 策略存在的最小 $k(n)$ 是多少，其随 $n$ 如何变化？
• RQ3 是否存在一个 $(5,30)$ 策略，使得通过递归组合可实现次多项式复杂度？
• RQ4 能否确定小 $n$（特别是 $n \leq 9$）时 $k(n)$ 的精确值？
• RQ5 $(5,30)$ 策略的存在是否意味着对 $k(n)$ 的非平凡上界，从而改善 $n$ 的指数？

主要发现

• 本文建立了 GKS 通信博弈复杂度的 $O(n^{0.4732})$ 上界，显著优于此前的 $\sqrt{999/1000}\sqrt{n}$ 上界。
• 显式构造了一个 $(5,30)$ 策略，作为递归组合的基例，使指数得以改进。
• 递归组合引理允许将策略组合以实现 $k(nn') \leq k(n)k(n')$，从而实现 $n^{\log_{30}5}$ 的缩放，其中 $\log_{30}5 \approx 0.4732$。
• 确定了 $n \leq 9$ 时 $k(n)$ 的精确值，其中 $k(5) = 3$，$k(6) = 3$，$k(9) = 3$，表明 $k(n)$ 增长缓慢。
• 证明了不存在 $(2,5)$ 策略，排除了更简单构造的可能性，支持了当前方法的最优性。
• 与策略对应的图 $G$ 的唯一可能连通分量是唯一的 Type 7 8-环，确认了 $(5,30)$ 构造的结构一致性。