[论文解读] Noise stability of functions with low influences: invariance and optimality

Elchanan Mossel, Ryan O’Donnell+1 more|ArXiv.org|Mar 23, 2005

Mathematical Approximation and Integration参考文献 41被引用 39

一句话总结

本文建立了一种针对乘积概率空间上低影响的多重线性多项式强有力的不变性原理，表明其分布几乎在不同域（如布尔立方体和高斯空间）之间保持不变。主要贡献在于证明了‘多数函数最稳定’猜想，并否定了关于埃尔米特展开的一个猜想，同时给出了噪声稳定性与影响衰减的显式界。

ABSTRACT

In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions arising from the construction of probabilistically checkable proofs in theoretical computer science and from problems in the theory of social choice in economics. We prove an invariance principle for multilinear polynomials with low influences and bounded degree; it shows that under mild conditions the distribution of such polynomials is essentially invariant for all product spaces. Ours is one of the very few known non-linear invariance principles. It has the advantage that its proof is simple and that the error bounds are explicit. We also show that the assumption of bounded degree can be eliminated if the polynomials are slightly ``smoothed''; this extension is essential for our applications to ``noise stability''-type problems. In particular, as applications of the invariance principle we prove two conjectures: the ``Majority Is Stablest'' conjecture from theoretical computer science, which was the original motivation for this work, and the ``It Ain't Over Till It's Over'' conjecture from social choice theory.

研究动机与目标

• 开发一种适用于乘积概率空间上低影响函数的一般不变性原理，实现不同域（如布尔立方体和高斯空间）之间结果的转移。
• 解决理论计算机科学中的‘多数函数最稳定’猜想，该猜想涉及平衡、低影响函数在噪声稳定性上的最大值。
• 解决社会选择理论中的‘事未了结，胜负未分’猜想，该猜想与投票系统在噪声下的稳定性相关。
• 研究高斯空间上对称、奇函数的埃尔米特展开结构，特别是低次傅里叶系数的分布。
• 证明多数函数并非在所有对称、奇、低影响函数中最大化低次傅里叶权重，从而挑战了先前的猜想。

提出的方法

• 提出一种针对低影响且有界次数的多重线性多项式的新型不变性原理，证明其在乘积概率空间上的分布几乎保持不变。
• 利用 Bonami-Beckner 不等式和超收缩性控制尾部行为，确保误差界显式且微小。
• 通过引入一种‘平滑’操作，将不变性原理扩展至无界次数，同时保持低影响和噪声稳定性的特性。
• 在高斯空间中构造显式反例，使用具有可调阈值的分段常数奇函数以分析埃尔米特系数。
• 利用克里夫恰克多项式收敛于埃尔米特多项式的性质，将高斯空间中的反例回传至布尔立方体。
• 对埃尔米特多项式与分段常数函数进行显式积分，以计算傅里叶系数，并对阈值 t 等参数进行优化。

实验结果

研究问题

• RQ1 低影响函数的噪声稳定性是否可在不同乘积概率空间中被统一有界？
• RQ2 多数函数是否在布尔立方体上所有平衡、低影响函数中最大化噪声稳定性？
• RQ3 在对称、奇、低影响函数中，多数函数是否使低次集合上的总傅里叶权重最大化？
• RQ4 在高斯空间上，对奇、对称函数而言，低次埃尔米特系数的最优分布是什么？
• RQ5 不变性原理是否可扩展至有界次数多项式之外，同时仍能控制误差项？

主要发现

• 不变性原理表明，低影响、有界次数的多重线性多项式的分布几乎在所有乘积概率空间中保持不变，且具有显式误差界。
• ‘多数函数最稳定’猜想得到证明：对任意 ε > 0，存在 τ > 0，使得若 f: {-1,1}ⁿ → [-1,1] 的均值为 0 且所有影响 ≤ τ，则其噪声稳定性 Sρ(f) ≤ (2/π) arcsin ρ + ε。
• 在高斯空间中构造出反例：存在奇、对称函数 f: ℝ → {-1,1}，满足 ∑_{d≤3} f̂(d)² ≥ 0.75913 > 2/π + 1/(3π)，其埃尔米特权重超过多数函数的权重。
• 该反例可提升至布尔立方体：对奇数 n，存在对称、奇函数 fₙ: {-1,1}ⁿ → {-1,1}，其影响为 O(1/√n)，且 limₙ→∞ ∑_{|S|≤3} f̂ₙ(S)² ≥ 0.75913。
• 该结果否定了多数函数在对称、奇、低影响函数中最大化低次傅里叶权重的猜想。
• 低影响函数的低次傅里叶权重的渐近上界被证明严格小于 1 − (2/π)^{3/2} d^{-1/2} + o(d^{-1/2})，表明其仍有潜力超越布加因的界。