[論文レビュー] On the Spectral Properties of Symmetric Functions

Anil Ada, Omar Fawzi+1 more|arXiv (Cornell University)|Apr 11, 2017

Complexity and Algorithms in Graphs参考文献 9被引用数 4

ひとこと要約

この論文は、組合せ的測度 $r(f)$ および $\rho(f)$ を用いて、対称ブール関数のスペクトル的性質（近似モナミアル複雑度、符号モナミアル複雑度、近似 $L_1$ ノルムなど）を特徴づける。[AFH12]における $L_1$ ノルムに関する主要な予想を解決し、[ZS09]における対称-XOR関数の非有界誤差通信複雑度に関する予想を証明し、対称-AND関数への還元によってタイトな境界を確立する。

ABSTRACT

We characterize the approximate monomial complexity, sign monomial complexity , and the approximate L 1 norm of symmetric functions in terms of simple combinatorial measures of the functions. Our characterization of the approximate L 1 norm solves the main conjecture in [AFH12]. As an application of the characterization of the sign monomial complexity, we prove a conjecture in [ZS09] and provide a characterization for the unbounded-error communication complexity of symmetric-xor functions.

研究の動機と目的

• 組合せ的パラメータを用いて、対称ブール関数の近似モナミアル複雑度を特徴づけること。
• 符号モナミアル複雑度の特徴づけと、それによる通信複雑度への影響を確立すること。
• [AFH12]における対称関数の近似 $L_1$ ノルムに関する主要な予想を解決すること。
• [ZS09]における対称-XOR関数の非有界誤差通信複雑度に関する予想を証明すること。
• 対称-XOR関数に対して、対数近似ランク予想が成り立つかを検証すること。

提案手法

• フーリエ解析を用いたブール関数のスペクトルノルムとモナミアル複雑度の分析。
• 構造的変換を介して、対称-XOR関数の問題を既知の対称-AND関数に関する結果に還元すること。
• 対称-AND関数の近似ランクおよび符号ランクに関する境界（定理2.5および2.6）の適用。
• 三角不等式および $\frac{1}{5}$-近似 $L_1$ ノルムを用いて、モナミアル複雑度の下界を導出すること。
• $\rho(f)$ の定義（$f(i) \neq f(i+2)$ となる位置の数）を用いて、スペクトルおよび通信複雑度を特徴づけること。
• フォスターのスペクトルノルム下界技術およびシェルストフの対称-AND関数に関する結果を活用し、対称-XOR関数へ拡張すること。

実験結果

リサーチクエスチョン

• RQ1 対称関数の近似モナミアル複雑度とその組合せ的構造との正確な関係は何か？
• RQ2 対称関数の符号モナミアル複雑度は、そのスペクトルノルムおよび通信複雑度とどのように関係するか？
• RQ3 近似 $L_1$ ノルムは、単純な組合せ的測度を用いて特徴づけられるか。[AFH12]における予想を解決できるか？
• RQ4 対称-XOR関数の非有界誤差通信複雑度は、[ZS09]で予想されたように $\rho(f)$ で特徴づけられるか？
• RQ5 既知の近似ランクおよび通信複雑度の境界を踏まえて、対称-XOR関数に対して対数近似ランク予想が成り立つか？

主な発見

• 対称関数の近似モナミアル複雑度は、関数が周期2で周期的になる最小の区間 $r(f)$ で特徴づけられる。
• 符号モナミアル複雑度は $(n+2)^{\rho(f)}$ で有界であり、ここで $\rho(f)$ は $f(i) \neq f(i+2)$ となる位置の数を表す。
• 近似 $L_1$ ノルムは、$\log\|\widehat{f}\|_{1,1/5} = \Omega(r(f)) - \frac{1}{2}\log n$ および $O(r(f)\log(n/r(f)))$ を満たし、[AFH12]における主要な予想を解決する。
• 対称-XOR関数の非有界誤差通信複雑度は、$\log \mathbf{U}(F^\oplus_{n,f}) = \Omega(\rho(f)/\log^5 n)$ および $O(1 + \rho(f)\log n)$ を満たし、[ZS09]における予想を確認する。
• 対称-XOR関数に対して、対数近似ランク予想が成り立つ。$\mathbf{R}_\epsilon(F^\oplus_{n,f}) \leq \log^c \operatorname{rank}_{\epsilon'}(F)$ を満たす定数 $c$ が存在する。
• フーリエの無限大ノルムに対する下界が確立された：$\|\widehat{f}\|_\infty \geq 1/(n+2)^{\rho(f)}$。