[論文レビュー] The Unbounded-Error Communication Complexity of symmetric XOR functions

Hamed Hatami, Yingjie Qian|arXiv (Cornell University)|Apr 3, 2017

Coding theory and cryptography参考文献 6被引用数 4

ひとこと要約

この論文は、ShiとZhangの予想を解決し、対称XOR関数の非有界誤差通信複雑性が、多項式対数因子の範囲で、関数Dが距離2において異なるインデックスの数（すなわち、deg₂(D)）によってタイトに特徴づけられることを確立している。著者らは、新しい組合せ的埋め込みを用いてXOR問題を以前に解決済みの対称AND関数のケースに還元し、Sherstovのパターン行列法とForsterの不等式を活用して、下界Θ(M/log⁵n)と上界O(M log n)を導出している。ここでM = deg₂(D)である。

ABSTRACT

Settling a conjecture of Shi and Zhang, we determine the unbounded-error communication complexity of the symmetric XOR functions up to a poly-logarithmic factor. Our proof is by a simple reduction to an earlier result of Sherstov.

研究の動機と目的

• ShiとZhangが提起した、対称XOR関数の非有界誤差通信複雑性に関する長年の予想を解決すること。
• f⊕D(x,y) = D(|x⊕y|)の非有界誤差複雑性のタイトな漸近的境界を特定すること、ここでDはハミング重みに関する述語である。
• 複雑性がdeg(D)ではなく、deg₂(D)、すなわちD(i) ≠ D(i+2)となる位置の数によって支配されることを示すこと。
• 当初の懐疑にもかかわらず、Sherstovの対称AND関数に対する技術が、新たな還元によりXOR関数へと適応可能であることを示すこと。

提案手法

• 元のDに基づく導出された述語Gを構築することで、対称XOR関数f⊕Dを対称AND関数f∧Gに還元する。
• 組合せ的制限論的アプローチを用いて、Gが距離2において少なくともM/2⁷の符号変化を有する長さq = n/32の部分区間を特定する。
• Sherstovの結果（対称AND関数の非有界誤差複雑性がdeg(G)と関連すること）を適用し、U(f∧G)に対して下界Θ(KG/log⁵q)を導出する。
• 入力x,yを固定ハミング重みrとtを持つように慎重に構築することで、f∧Gプロトコルをf⊕Dに埋め込む。ここで|x⊕y| = r + t - 2|x∧y|であり、関数的関係を保つ。
• すべてのxに対してp(x)D(|x|) > 0を満たす実数値関数p(x)を構築し、f⊕Dの符号表現を保証する。この関数は高々4n^M個の非ゼロフーリエ係数を持つ。
• f⊕Dの符号ランクがpの非ゼロフーリエ係数の数によって上界づけられることを用い、U(f⊕D)に対して上界O(M log n)を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた述語Dに対して、対称XOR関数f⊕D(x,y) = D(|x⊕y|)の非有界誤差通信複雑性は何か？
• RQ2 複雑性は、deg(D)ではなく、D(i) ≠ D(i+2)となる位置の数であるdeg₂(D)に依存するか？
• RQ3 当初の懐疑にもかかわらず、対称AND関数に対して開発された技術は、対称XOR関数へと適応可能か？
• RQ4 XORケースからANDケースへの還元は、多項式対数因子の範囲で複雑性を保つのか？

主な発見

• f⊕Dの非有界誤差通信複雑性は下界Θ(M/log⁵n)であり、ここでM = deg₂(D)はD(i) ≠ D(i+2)となるインデックスiの数である。
• f⊕Dを符号表現する関数を高々4n^M個の非ゼロフーリエ係数を持つように構築することで、上界O(M log n)が確立された。
• 下界は、deg(G) ≥ M/2⁷を満たすGを有する削減されたAND関数f∧Gをf⊕Dに埋め込むことで得られ、Sherstovの対称AND関数に関する結果を適用した。
• 還元により、対称XOR関数の非有界誤差複雑性がdeg(D)ではなくdeg₂(D)によって支配されることを示し、ShiとZhangの予想を解決した。
• 証明により、XOR関数とAND関数の複雑性の差は対数的であることが示され、構造的差異にもかかわらず成立する。
• 結果として、Forsterの不等式とSherstovのパターン行列法が、注意深く入力埋め込みを組み合わせることで、XOR設定においても強力なツールとして機能することが確認された。