[論文レビュー] Communication Lower Bounds Using Dual Polynomials

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

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

ひとこと要約

この論文は双対多項式を用いて通信複雑性の下界を確立し、ブール関数のしきい値次数と不均衡性および通信複雑性の関係を結ぶフレームワークを導入する。これにより、シェルストフの次数／不均衡性定理、パターン行列法およびブロック合成法、および一括検査問題と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.

研究の動機と目的

• 双対多項式を核となるツールとして用いて、通信複雑性分野における最近の進展を統一的かつ明確化すること。
• 多項式次数の下界を通信複雑性の下界に変換する手法を包括的に調査すること。
• シェルストフの次数／不均衡性定理やパターン行列法といった基礎的結果の完全で自己完結的な証明を提供すること。
• これらの手法を多プレーヤー通信モデルに拡張し、一括検査問題のためのより良い下界および複雑性クラスの分離を達成すること。

提案手法

• 双対多項式を用いて、ブール関数の近似または符号表現の難易度を証明し、通信複雑性の下界の証明としての証明書を提供する。
• シェルストフの次数／不均衡性定理を適用し、関数のしきい値次数の下界を、関連関数の不均衡性の上界に変換する。
• パターン行列法を用いて、関数の近似次数に基づく有界誤差通信下界を導出する。
• Shi と Zhu のブロック合成法を代替的手法として用い、近似次数を介して有界誤差通信下界を確立する。
• Lee と Shraibman および Chattopadhyay と Ada の構成を用いて、パターン行列法を多プレーヤー設定に拡張する。
• これらのツールを適用し、k プレイヤーの disjointness 関数のためのより良い下界を導出し、多プレーヤーモデルにおける NP と BPP の分離を達成する。

実験結果

リサーチクエスチョン

• RQ1 双対多項式は、どのようにしてブール関数の通信複雑性下界を導出することができるか？
• RQ2 ブール関数のしきい値次数とその関連関数の不均衡性との正確な関係は何か？
• RQ3 パターン行列法とブロック合成法は、近似次数をどのように活用して有界誤差通信下界を導出するか？
• RQ4 パターン行列法は多プレーヤー通信モデルに拡張可能であり、より強い下界をもたらすか？
• RQ5 これらの手法は、多プレーヤー設定における NP と BPP の分離といった複雑性クラスの分離にどのような意味を持つのか？

主な発見

• シェルストフの次数／不均衡性定理は、ブール関数のしきい値次数と関連関数の不均衡性の間の直接的な関係を確立し、次数解析を介して通信下界を導出可能にする。
• パターン行列法は、関数の近似次数に基づく有界誤差通信複雑性下界を体系的に導出する方法を提供する。
• ブロック合成法は、近似次数を用いて有界誤差通信下界を導出する代替的で強力な手法を提供し、特定の状況下で特筆すべき利点を有する。
• パターン行列法を多プレーヤー設定に拡張することで、k プレイヤーの disjointness 関数のためのより良い下界が得られ、特に k = Ω((1−ε) log n) プレイヤーの場合に顕著である。
• David と Pitassi の結果が再現され、拡張され、k = Ω((1−ε) log n) プレイヤーの場合に多プレーヤー通信モデルにおける NP と BPP の分離が示された。
• 双対多項式フレームワークは、さまざまな通信複雑性下界を理解し、証明するための統合的視点を提供し、完全かつ自己完結的な証明を可能にする。