[論文レビュー] The non-adaptive query complexity of testing k-parities

Harry Buhrman, David Garcia+2 more|arXiv (Cornell University)|Sep 18, 2012

Complexity and Algorithms in Graphs参考文献 16被引用数 19

ひとこと要約

この論文は、ブール関数が $k$-パリティであるか、すべての $k$-パリティから離れているかどうかをテストする非適応的クエリのタイトな境界 $\Theta(k\log k)$ を確立する。$k$-一様性の通信複雑性下界と、Blais, Brody, Matulef の手法を組み合わせることで $\Omega(k\log k)$ の下界を導出し、一致する上界を提示することで、$k$-パリティテストの非適応的クエリ複雑性が解消される。

ABSTRACT

We prove tight bounds of Theta(k log k) queries for non-adaptively testing whether a function f:{0,1}^n -> {0,1} is a k-parity or far from any k-parity. The lower bound combines a recent method of Blais, Brody and Matulef [BBM11] to get lower bounds for testing from communication complexity with an Omega(k \log k) lower bound for the one-way communication complexity of k-disjointness.

研究の動機と目的

• ブール関数が $k$-パリティであるか、すべての $k$-パリティから離れているかどうかをテストする際の正確な非適応的クエリ複雑性を特定すること。
• 非適応的 $k$-パリティテストの既存の下界と上界のギャップを埋めること。
• 非適応的性質テストと1方向通信複雑性の間の関係、特に $k$-一様性に対して確立すること。
• 一致するタイトな上界と下界を提示し、非適応的 $k$-パリティテストの漸近的複雑性を解消すること。
• 同様の問題、例えば $\leq k$-パリティや $k$-ジャンパスのテストへの拡張を提供すること。

提案手法

• 性質テストの下界と通信複雑性を結びつける最近のフレームワーク（Blais, Brody, Matulef）を活用する。
• 2人の参加者間の $k$-一様性に関する1方向通信問題に、$k$-パリティテスト問題を還元する。
• 共有ランダムネスを用い、$q$ 個のクエリで非適応的テストャーをシミュレートする公開コイン通信プロトコルを採用する。
• 確率的還元を用いる：アリスは各クエリ $z$ に対して $f(z)$ を送信し、ボブは $h(z) = f(z) \oplus g(z)$ を計算し、テストャーを $h$ に対して評価できる。
• $k$-一様性の1方向通信複雑性に既知の $\Omega(k\log k)$ 下界を適用し、非適応的クエリ複雑性の一致する下界を導出する。
• 一致する $O(k\log k)$ クエリの非適応的テストャーを構築することで上界を達成し、タイトな特徴付けを完成させる。

実験結果

リサーチクエスチョン

• RQ1 関数が $k$-パリティであるか、すべての $k$-パリティから離れているかどうかをテストする非適応的クエリ複雑性は何か？
• RQ2 $k$-一様性の通信複雑性を用いて、非適応的性質テストの下界を導出できるか？
• RQ3 非適応的 $k$-パリティテストャーに対して $\Theta(k\log k)$ 界はタイトか？
• RQ4 非適応的クエリ複雑性は、$k$-ジャンパスや $\leq k$-パリティのテストの複雑性とどのように関係するか？
• RQ5 下界は量子非適応的テストャーにまで拡張可能か？もしくは量子優位性がギャップを埋めるか？

主な発見

• 非適応的クエリ複雑性は、$k$-パリティのテストにおいて $\Theta(k\log k)$ にタイトに束縛され、漸近的複雑性が解消された。
• 1方向通信複雑性の $k$-一様性の下界を還元することで、$\Omega(k\log k)$ の下界が確立された。
• 量子1方向通信モデルでも下界は成立するが、Bernstein-Vaziraniアルゴリズムのおかげで量子クエリ複雑性は指数的に小さくなる。
• 上界の $O(k\log k)$ クエリは、非適応的テストャーによって達成され、下界と一致し、ギャップが埋められた。
• この結果は、$\leq k$-パリティや $k$-ジャンパスのテストに対しても一致する下界を示唆する。これらの問題は $k$-パリティテストに還元可能である。
• 証明手法は一般性を持ち、通信複雑性の還元を用いて他の性質テスト問題にも適用可能である。