[论文解读] Communication Lower Bounds Using Dual Polynomials

Alexander A. Sherstov|arXiv (Cornell University)|Jan 1, 2008

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

一句话总结

本文利用对偶多项式建立通信复杂度下界，提出一个框架，将布尔函数的阈值度与歧离度和通信复杂度联系起来。该框架统一并证明了关键结果，包括Sherstov的度/歧离度定理、模式矩阵法与块组合方法，以及不相交问题和NP与BPP分离的多路复杂度下界。

ABSTRACT

Representations of Boolean functions by real polynomials play an important role in complexity theory. Typically, one is interested in the least degree of a polynomial p(x1,..., xn) that approximates or sign-represents a given Boolean function f (x1,..., xn). This article surveys a new and growing body of work in communication complexity that centers around the dual objects, i.e., polynomials that certify the difficulty of approximating or signrepresenting a given function. We provide a unified guide to the following results, complete with all the key proofs: • Sherstov’s Degree/Discrepancy Theorem, which translates lower bounds on the threshold degree of a Boolean function into upper bounds on the discrepancy of a related function; • Two different methods for proving lower bounds on bounded-error communication based on the approximate degree: Sherstov’s pattern matrix method and Shi and Zhu’s block composition method; • Extension of the pattern matrix method to the multiparty model, obtained by Lee and Shraibman and by Chattopadhyay and Ada, and the resulting improved lower bounds fordisjointness; • David and Pitassi’s separation of NP and BPP in multiparty communication complexity for k�(1−ǫ) log n players.

研究动机与目标

• 通过将对偶多项式作为核心工具，统一并阐明通信复杂度领域的最新进展。
• 全面综述将多项式度数下界转化为通信复杂度下界的各项技术。
• 提供基础结果（如Sherstov的度/歧离度定理和模式矩阵法）的完整、自包含证明。
• 将这些方法扩展至多路通信模型，从而为不相交问题获得更强的下界，并实现复杂度类之间的分离。

提出的方法

• 使用对偶多项式来验证近似或符号表示布尔函数的困难性，作为通信复杂度下界的证书。
• 应用Sherstov的度/歧离度定理，将函数阈值度的下界转化为相关函数歧离度的上界。
• 采用模式矩阵法，基于函数的近似度推导有界误差通信复杂度下界。
• 利用Shi和Zhu的块组合方法，作为另一种方法，通过近似度建立有界误差通信复杂度下界。
• 通过Lee和Shraibman以及Chattopadhyay和Ada的构造，将模式矩阵法扩展至多路设置。
• 应用这些工具，为k路不相交函数获得改进的下界，并在多路模型中实现NP与BPP的分离。

实验结果

研究问题

• RQ1 如何利用对偶多项式推导布尔函数的通信复杂度下界？
• RQ2 布尔函数的阈值度与其相关函数的歧离度之间的确切关系是什么？
• RQ3 模式矩阵法与块组合方法如何利用近似度来获得有界误差通信复杂度下界？
• RQ4 能否将模式矩阵法扩展至多路通信模型，以获得更强的下界？
• RQ5 这些技术对在多路设置中分离复杂度类（如NP与BPP）有何影响？

主要发现

• Sherstov的度/歧离度定理建立了布尔函数的阈值度与相关函数歧离度之间的直接联系，使得可通过度分析实现通信复杂度下界。
• 模式矩阵法提供了一种系统化的方法，基于函数的近似度推导有界误差通信复杂度下界。
• 块组合方法提供了一种替代的、强大的技术，通过近似度推导有界误差通信复杂度下界，在某些场景下具有独特优势。
• 将模式矩阵法扩展至多路模型，为k路不相交函数获得了改进的下界，尤其在k = Ω((1−ε) log n)名参与者时表现显著。
• 恢复并扩展了David和Pitassi的结果，表明在k = Ω((1−ε) log n)名参与者时，多路通信模型中NP与BPP可实现分离。
• 对偶多项式框架为理解与证明一系列通信复杂度下界提供了统一的视角，并提供了完整且自包含的证明。