[論文レビュー] Query-to-Communication Lifting Using Low-Discrepancy Gadgets

Arkadev Chattopadhyay, Yuval Filmus+3 more|arXiv (Cornell University)|Apr 30, 2019

Complexity and Algorithms in Graphs被引用数 4

ひとこと要約

本稿では、対数的サイズのすべての低分散ガジェットに対して、クエリ複雑度と通信複雑度の関係を確立する新しいリフトィング定理を提示する。これは、内積ガジェットに限定されていた先行研究を拡張したものであり、主な貢献は、低分散ガジェットを用いた一般化されたリフトィングフレームワークの構築であり、これにより、より広範な関数クラスに対して、クエリ複雑度の下界からランダム化通信複雑度の下界を導出可能となる。

ABSTRACT

Lifting theorems are theorems that relate the query complexity of a function $f:\\{0,1\\}^{n}\ o\\{0,1\\}$ to the communication complexity of the composed function $f \\circ g^{n}$, for some "gadget" $g:\\{0,1\\}^{b}\ imes\\{0,1\\}^{b}\ o\\{0,1\\}$. Such theorems allow transferring lower bounds from query complexity to the communication complexity, and have seen numerous applications in the recent years. In addition, such theorems can be viewed as a strong generalization of a direct-sum theorem for the gadget $g$. We prove a new lifting theorem that works for all gadgets $g$ that have logarithmic length and exponentially-small discrepancy, for both deterministic and randomized communication complexity. Thus, we significantly increase the range of gadgets for which such lifting theorems hold. Our result has two main motivations: First, allowing a larger variety of gadgets may support more applications. In particular, our work is the first to prove a randomized lifting theorem for logarithmic-size gadgets, thus improving some applications of the theorem. Second, our result can be seen as a strong generalization of a direct-sum theorem for functions with low discrepancy.

研究の動機と目的

• 内積ガジェットという特殊ケースにとどまらず、対数的サイズのすべての低分散ガジェットにまでリフトィング定理を拡張すること。
• 任意の低分散ガジェット g に対して、関数 f のクエリ複雑度と f∘gⁿ の通信複雑度を結びつける一般化されたリフトィングフレームワークを確立すること。
• 適用可能なガジェットの範囲を拡大することで、リフトィング定理の通信複雑度分野における新たな応用を可能にすること。
• 低分散ガジェットが決定的およびランダム化通信モデルの両方において強い直接和性質を支持することを示し、直接和定理を一般化すること。

提案手法

• クエリプロトコルを通信環境でシミュレートする過程での情報損失を追跡するための欠損度ベースの分析を導入する。
• エントロピー項と自由変数の個数を組み合わせた欠損度を定義し、通信プロトコルにおけるクエリ数の上限を導く。
• ガジェットの低分散性を用いて、プロトコルのシミュレーション中に発生する危険な値や漏洩する値の確率を制限する。
• シミュレーションプロトコルの各ステップを分析し、メッセージ送信が欠損度を O(log(1/p_M)) だけ増加させること、一方クエリステップが Ω(b·|I|) だけ減少させることを示す。
• 総欠損度が有界かつ非負であることを証明し、クエリ複雑度の上界が O((C + b)/b) であることを導出する。ここで C は通信コストを表す。
• ガジェットの指数的分散性と対数的サイズを活用し、1クエリあたりの欠損度の減少がメッセージによる増加を上回ることを保証することで、リフトィング結果を達成する。

実験結果

リサーチクエスチョン

• RQ1 リフトィング定理は、内積ガジェットに限らず、対数的サイズのすべての低分散ガジェットへと拡張可能か？
• RQ2 どのようなガジェットの条件が、ランダム化設定下でクエリ複雑度の下界が通信複雑度の下界にリフトされることを保証するか？
• RQ3 欠損度ベースの分析をどのように用いることで、クエリプロトコルの通信シミュレーションにおけるクエリ数を上限づけられるか？
• RQ4 低分散ガジェットは、通信複雑度においてどの程度の強力な直接和性質を支持するか？
• RQ5 同じガジェット制約のもとで、決定的およびランダム化通信複雑度の両方に対応できるように、リフトィングフレームワークを一般化可能か？

主な発見

• 本稿では、対数的サイズのすべての低分散ガジェットに対してランダム化リフトィング定理を証明し、内積関数に限定されていた先行研究を顕著に一般化した。
• 欠損度分析により、各メッセージ送信が欠損度を最大で O(log(1/p_M) + 1) だけ増加させること、一方各クエリステップが Ω(b·|I|) だけ減少させることを示し、クエリ数の有界性を保証した。
• 通信プロトコルにおける総クエリ数は、通信コスト C とガジェットサイズ b を用いて O((C + b)/b) で有界である。
• このフレームワークは決定的およびランダム化通信複雑度の両方をカバーしており、リフトィング定理の適用範囲をはるかに広げた。
• この結果は、低分散ガジェットが情報理論的圧縮を通信プロトコルに内在的に支持することを示唆し、直接和定理の強力な一般化を意味する。
• ガジェットが指数的になく、対数的サイズを有することを前提とした分析は、多数の自然関数で満たされる条件のもとで成立する。