[論文レビュー] On the Degree of Boolean Functions as Polynomials over ℤ_m

Montanaro, Ashley, Tobias J. Osborne|arXiv (Cornell University)|Sep 18, 2009

Coding theory and cryptography参考文献 28被引用数 48

ひとこと要約

本稿は、g(x, y) = f(x ⊕ y) というXOR関数の量子および古典的通信複雑性を調査し、単調関数の場合には量子複雑度と古典的複雑度が2乗的に関連しており、線形しきい値関数の場合には量子複雑度がΘ(n)であることを示している。共有ランダムネスとフーリエ解析的手法を用いた効率的な古典的プロトコルを提案し、フーリエスペクトルに構造的条件を課した場合、すべてのXOR関数について量子的および古典的正確通信複雑度が漸近的に等価であるという予想を提示している。

ABSTRACT

An XOR function is a function of the form g(x,y) = f(x + y), for some boolean function f on n bits. We study the quantum and classical communication complexity of XOR functions. In the case of exact protocols, we completely characterise one-way communication complexity for all f. We also show that, when f is monotone, g's quantum and classical complexities are quadratically related, and that when f is a linear threshold function, g's quantum complexity is Theta(n). More generally, we make a structural conjecture about the Fourier spectra of boolean functions which, if true, would imply that the quantum and classical exact communication complexities of all XOR functions are asymptotically equivalent. We give two randomised classical protocols for general XOR functions which are efficient for certain functions, and a third protocol for linear threshold functions with high margin. These protocols operate in the symmetric message passing model with shared randomness.

研究の動機と目的

• fのフーリエ次元を用いて、XOR関数の1方向量子的および古典的通信複雑度を特徴付けること。
• 単調関数および線形しきい値関数に基づくXOR関数について、量子的および古典的通信複雑度の関係を調査すること。
• 共有ランダムネスとフーリエ解析を用いて、一般のXOR関数に対する効率的な古典的確率的プロトコルを開発すること。
• すべてのXOR関数について、量子的および古典的正確通信複雑度が漸近的に等価であることを示す構造的予想を提示すること。

提案手法

• ℤ_m上でのフーリエ解析を用いて、ブール関数の次数を研究し、通信複雑度と関連付ける。
• パリティ意思決定木モデルを適用し、2方向決定的通信複雑度とフーリエスペクトル構造の関係を明示する。
• ランダムな線形関数をサンプリングすることで重み付きハミング重みを推定する確率的古典プロトコルを設計し、共有ランダムネスを用いる。
• チェルノフの不等式を用いて、重み付き差分の和がしきい値を超える確率の推定誤差を分析する。
• 線形しきい値関数に対して、通信コストO((θ/m)²)のプロトコルを導出する。ここでθはしきい値、mはマージンである。
• 内積分布のしきい値への感受性を最大化するために、pi = ½(1 − (1 − 2α)wi) という特定の確率選択を行い、α ≈ 1/(2θ)とする。

実験結果

リサーチクエスチョン

• RQ1 すべてのXOR関数について、量子的および古典的正確通信複雑度は漸近的に等価であるか？
• RQ2 fが単調関数または線形しきい値関数である場合、XOR関数の通信複雑度はいかほどか？
• RQ3 共有ランダムネスとサンプリング技法を用いて、一般のXOR関数に対する効率的な古典的プロトコルを構築できるか？
• RQ4 fのフーリエスペクトル構造は、g(x, y) = f(x ⊕ y) の通信複雑度にどのように影響するか？
• RQ5 確率的プロトコルの通信コストをO((θ/m) log(θ/m))に改善できるか？

主な発見

• 単調XOR関数の場合、量子的および古典的通信複雑度は2乗的に関連している。
• 線形しきい値関数の場合、正確な量子通信複雑度はΘ(n)である。
• マージンmを持つ線形しきい値関数に対して、通信コストO((θ/m)²)の確率的古典プロトコルが構築された。
• 入力差分の内積をランダムベクトルと推定することで、プロトコルは定数確率で成功する。
• プロトコルの成功は、しきい値を超える入力と下回る入力の間で期待内積の差を強調するために、重みに比例した確率でサンプリングすることに依存する。
• 本稿では、fのフーリエスペクトルの幅が有界であれば、g(x, y) = f(x ⊕ y) の量子的および古典的正確通信複雑度が漸近的に等価であるという予想を提示している。