[論文レビュー] Spectral Norm of Symmetric Functions

Anil Ada, Omar Fawzi+1 more|arXiv (Cornell University)|May 23, 2012

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

ひとこと要約

本稿は、対称ブール関数のスペクトルノルムの組合せ的特徴付けを提供し、その対数が $ r(f) \log(n/r(f)) $ でタイトに抑えられることを示している。ここで $ r(f) $ は、関数またはそのパリティシフト版が中央付近のレベルで定数関数となる最小の区間を表す。この結果により、対称関数の意思決定木および通信複雑度に対するタイトな境界が得られ、通信複雑度および学習理論における主要な予想を支持する。

ABSTRACT

The spectral norm of a Boolean function $f:\{0,1\}^n o \{-1,1\}$ is the sum of the absolute values of its Fourier coefficients. This quantity provides useful upper and lower bounds on the complexity of a function in areas such as learning theory, circuit complexity, and communication complexity. In this paper, we give a combinatorial characterization for the spectral norm of symmetric functions. We show that the logarithm of the spectral norm is of the same order of magnitude as $r(f)\log(n/r(f))$ where $r(f) = \max\{r_0,r_1\}$, and $r_0$ and $r_1$ are the smallest integers less than $n/2$ such that $f(x)$ or $f(x) \cdot parity(x)$ is constant for all $x$ with $\sum x_i \in [r_0, n-r_1]$. We mention some applications to the decision tree and communication complexity of symmetric functions.

研究の動機と目的

• 対称ブール関数のスペクトルノルムに対する組合せ的特徴付けを提供すること。
• 関数の構造的パラメータの観点からスペクトルノルムのタイトな境界を確立すること。
• 特徴付けを対称関数の意思決定木複雑度および通信複雑度に応用すること。
• スペクトルノルムを含む通信複雑度および学習理論における予想を支持および拡張すること。
• 近似モナミアル複雑度およびXOR関数の通信複雑度を理解する基盤を提供すること。

提案手法

• 関数 $ f $ または $ f \cdot \text{parity} $ がハミング重みが $[r_0, n - r_1]$ に属する入力で定数関数となるような $ n/2 $ より小さい最小の整数 $ r_0 $ および $ r_1 $ を定義する。
• 関数の主要な構造的パラメータとして $ r(f) = \max\{r_0, r_1\} $ を導入する。
• $ \|\widehat{f}\|_1 $ をスペクトルノルムとするとき、$ \log \|\widehat{f}\|_1 = \Theta^*\left(r(f) \log(n / r(f))\right) $ を確立する。
• フーリエ解析的手法と双対性を用いて、スペクトルノルムをパリティ意思決定木および通信プロトコルの複雑度と関連付ける。
• スペクトルノルムが小さい関数が低次の多項式として表現可能であるという、BruckおよびSmolenskyの既知の結果を活用する。
• 特徴付けを応用して、XOR関数 $ f(x \oplus y) $ の近似ランクおよび通信複雑度を分析する。

実験結果

リサーチクエスチョン

• RQ1 スペクトルノルムを決定づける正確な組合せ的構造は何か？
• RQ2 対称関数のスペクトルノルムは、その意思決定木複雑度とどのように関係するか？
• RQ3 パリティシフト後に関数が定数関数となる最小の区間を用いて、スペクトルノルムをタイトに特徴付けられるか？
• RQ4 スペクトルノルムの特徴付けは、対称XOR関数の通信複雑度にタイトな境界をもたらすか？
• RQ5 スペクトルノルムは、対称関数の近似モナミアル複雑度をどの程度制御するか？

主な発見

• 対称ブール関数のスペクトルノルムの対数は、$ r(f) $ を中央付近のレベルで関数またはそのパリティシフト版が定数関数となる最小の区間サイズとするとき、$ \Theta^*\left(r(f) \log(n / r(f))\right) $ に等しい。
• この特徴付けにより、パリティ意思決定木の複雑度がスペクトルノルムによってタイトに制御されることが示され、ノルムがその木のサイズを上界で抑える。
• 予想5.1の下で、対称XOR関数 $ F(x,y) = f(x \oplus y) $ における対数近似ランク予想を支持する。
• Kushilevitz-Mansour学習アルゴリズムとの関連を通じて、$ r(f) $ が大きい対称関数の近似モナミアル複雑度に対する強い下界が得られる。
• この特徴付けにより、スペクトルノルムが対称関数の中心的複雑度測度であることが確認され、通信複雑度および学習理論と結びついている。
• この結果により、ShiおよびZhangが示したように、対称XOR関数の量子-古典的通信複雑度の等価性を、予想の下で直接的証明が可能となる。