[论文解读] 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 函数的无界误差通信复杂度的猜想，通过从对称-与函数的约化建立了紧致界。

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 函数问题约化为对称-与函数的已知结果。
• 应用对称-与函数的近似秩与符号秩的界（定理 2.5 和 2.6）。
• 利用三角不等式与 $ \frac{1}{5} $-近似 $ L_1 $ 范数，推导单项式复杂度的下界。
• 使用 $ \rho(f) $ 参数（定义为满足 $ f(i) \neq f(i+2) $ 的位置数量）来表征谱与通信复杂度。
• 利用 Forster 的谱范数下界技术与 Sherstov 对对称-与函数的研究结果，将其推广至对称-XOR 函数。

实验结果

研究问题

• RQ1 对称函数的近似单项式复杂度与其组合结构之间的精确关系是什么？
• RQ2 对称函数的符号单项式复杂度如何与它的谱范数和通信复杂度相关联？
• RQ3 能否使用简单的组合度量表征对称函数的近似 $ L_1 $ 范数，从而解决 [AFH12] 中的猜想？
• RQ4 如 [ZS09] 所猜想，对称-XOR 函数的无界误差通信复杂度是否由 $ \rho(f) $ 表征？
• RQ5 在已知的近似秩与通信复杂度界的基础上，对称-XOR 函数的对数近似秩猜想是否成立？

主要发现

• 对称函数的近似单项式复杂度由 $ r(f) $ 表征，即函数在最小区间内呈现周期为 2 的周期性。
• 符号单项式复杂度的上界为 $ (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)} $。