[论文解读] Open Problems in Analysis of Boolean Functions

Ryan O’Donnell|arXiv (Cornell University)|Apr 29, 2012

Complexity and Algorithms in Graphs参考文献 38被引用 21

一句话总结

本文汇编并分析了布尔函数分析领域的一系列核心开放问题，包括低次多项式相关性界、Tomaszewski 关于高斯尾部的猜想、Talagrand 的卷积猜想、敏感性与块敏感性的关系、Gotsman–Linial 关于多项式阈值函数影响的猜想、多项式 Freiman–Ruzsa 猜想、Mansour 关于 DNF 傅里叶集中性的猜想，以及其他问题。该研究为理论计算机科学与离散数学领域的研究人员提供了基础性参考，揭示了复杂性理论、调和分析与加法组合学之间的深刻联系，并提出了精确的猜想与已知障碍。

ABSTRACT

A list of open problems in the field of analysis of boolean functions, compiled February 2012 for the Simons Symposium.

研究动机与目标

• 汇编并澄清布尔函数分析中一系列核心开放问题，这些问题是理论计算机科学与离散数学研究发展的关键驱动力。
• 突出这些问题的重要性及其相互关联，包括其在复杂性理论、伪随机性与调和分析中的作用。
• 通过总结已知结果、障碍与各猜想的局部进展，为研究人员提供参考基准。
• 强调布尔函数中复杂性、影响、稀疏性与噪声敏感性之间深层结构问题的联系。

提出的方法

• 论文采用标准化格式系统性地调研每个开放问题：陈述、来源、评注与相关结果。
• 针对每个问题，回顾已知的下界与上界、关键定理（如 Smolensky 的相关性界、Bourgain 的结果）以及结构洞见。
• 识别进展的障碍，例如多项式相关性界中 $1/\text{poly}(n)$ 与 $1/\text{polylog}(n)$ 之间的界限限制。
• 通过等价表述连接问题（例如，多项式 Freiman–Ruzsa 猜想等价于函数的伪随机性条件）。
• 引用基础性文献与近期突破（如 Kane 对 Servedio–Tan–Verbin 猜想的否定性解决），以定位开放问题的背景。
• 使用布尔函数分析中的精确数学表述与符号，包括傅里叶分析、噪声算子与多项式表示。

实验结果

研究问题

• RQ1 是否存在一个显式布尔函数，其与低次 $𢡊_2$-多项式之间的最佳可能相关性，且该相关性可被严格下界控制在 $1/n$ 以下？
• RQ2 Tomaszewski 的猜想是否成立：对于任一单位向量 $a$，在均匀分布 $\{-1,1\}^n$ 下，满足 $|\braket{a,x}| \leq 1$ 的概率是否至少为 $1/2$？
• RQ3 Talagrand 的猜想是否成立：噪声算子 $\mathrm{T}_\rho f$ 的尾部行为是否具有 $O(1/(t\sqrt{\log t}))$ 的衰减速率？
• RQ4 布尔函数的敏感性是否能被其块敏感性的多项式所有界，或者二次差距是否为紧致的？
• RQ5 Gotsman–Linial 猜想是否成立：对称 PTF 是否在所有 $k$-次 PTF 中最大化总影响？

主要发现

• 显式布尔函数与低次 $𢡊_2$-多项式之间的相关性界 $1/n$ 仍未被证明，即使放宽至 $1/\sqrt{n}$ 也尚未解决。
• Talagrand 的猜想仍处于开放状态，尽管在 $n=1$ 与常数维数下，已知高斯情形中存在 $O(1/(t\sqrt{\log t}))$ 的界。
• Servedio–Tan–Verbin 猜想由 Daniel Kane 在 2012 年以否定方式解决，表明单调函数不必然接近低次 junta。
• 目前对 $k$-次 PTF 的影响的最优上界为 $2n^{1-1/2^k}$ 与 $2^{O(k)} \cdot n^{1-1/O(k)}$，仍远未达到 $O(k)\sqrt{n}$ 的猜想值。
• 对于多项式 Freiman–Ruzsa 猜想，Sanders 证明 $A+A$ 包含一个余维数为 $O(\log^4(1/\alpha))$ 的子空间的 $99\%$ 部分，从而给出准多项式覆盖大小，而非真正的多项式大小。
• 在 Mansour 猜想下，$\epsilon$-偏差集问题对 DNF 已基本解决，仅差对数因子：$\exp(-O(\log^2 s))$-偏差密度 $\delta$-fool 大小为 $s$ 的 DNF，其大小为对数因子内最优。