[论文解读] 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$-奇偶性測試中下界與上界之間的差距。
• 建立非自適應性質測試與單向通訊複雜度之間的關聯，特別是針對 $k$-不相交性問題。
• 提供緊緻的上下界，使其相互匹配，從而解決非自適應 $k$-奇偶性測試的漸近複雜度問題。
• 將結果延伸至相關問題，例如測試 $\leq k$-奇偶性與 $k$-juntas。

提出的方法

• 利用 Blais、Brody 和 Matulef 最近提出的框架，將性質測試下界與通訊複雜度連結起來。
• 將 $k$-奇偶性測試問題簡化為兩方之間涉及 $k$-不相交性的單向通訊問題。
• 使用公開金幣通訊協定：Alice 和 Bob 使用共享隨機性與 $q$ 次查詢，模擬非自適應測試器。
• 採用隨機化簡化：Alice 傳送每個查詢 $z$ 的 $f(z)$，使 Bob 能計算 $h(z) = f(z) \oplus g(z)$，並對 $h$ 執行測試。
• 應用已知的 $\Omega(k\log k)$ 單向通訊複雜度下界於 $k$-不相交性問題，以推導非自適應查詢複雜度的匹配下界。
• 建構一個匹配的 $O(k\log k)$ 次查詢非自適應測試器，以達成上界，從而完成緊緻的特徵化。

实验结果

研究问题

• RQ1 測試函數是否為 $k$-奇偶性或遠離所有 $k$-奇偶性的非自適應查詢複雜度為何？
• RQ2 是否可利用 $k$-不相交性的通訊複雜度來推導非自適應性質測試的下界？
• RQ3 非自適應測試器的 $\Theta(k\log k)$ 界是否緊緻？
• RQ4 非自適應 $k$-奇偶性測試的查詢複雜度與測試 $k$-juntas 或 $\leq k$-奇偶性的複雜度有何關聯？
• RQ5 此下界是否可延伸至量子非自適應測試器？若否，量子優勢是否能彌補此差距？

主要发现

• 測試 $k$-奇偶性的非自適應查詢複雜度被緊緻地界定於 $\Theta(k\log k)$，從而解決了其漸近複雜度問題。
• 透過從 $k$-不相交性問題的單向通訊複雜度簡化，確立了 $\Omega(k\log k)$ 的下界。
• 即使在量子單向通訊模型中，此下界依然成立；然而，由於 Bernstein-Vazirani 算法，量子查詢複雜度呈指數級下降。
• 透過非自適應測試器達成 $O(k\log k)$ 次查詢的上界，與下界完全匹配，從而彙整了差距。
• 此結果暗示對 $\leq k$-奇偶性與 $k$-juntas 測試亦存在匹配的下界，因為這些問題可簡化至 $k$-奇偶性測試。
• 此證明技術具有一般性，可透過通訊複雜度簡化應用於其他性質測試問題。