[论文解读] Improved Lower Bounds for the Fourier Entropy/Influence Conjecture via Lexicographic Functions

Rani Hod|arXiv (Cornell University)|Nov 2, 2017

Computational Drug Discovery Methods参考文献 3被引用 4

一句话总结

该论文通过使用字典序函数构造显式布尔函数，改进了傅里叶熵/影响（FEI）猜想的下界。其取得的新下界为 $ C > 6.454784 $，超越了先前的结果，并通过新颖的渐近构造和影响与熵之间的利普希茨型连续性条件，揭示了潜在反例的结构特征。

ABSTRACT

Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$. Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3 ight angle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle Φ ight angle $, where $Φ$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions. Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture. Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.

研究动机与目标

• 改进傅里叶熵/影响（FEI）猜想中通用常数 $ C $ 的已知下界。
• 研究字典序函数在构造高熵-影响比布尔函数中的作用。
• 通过影响与熵的利普希茨型条件，探索小扰动下谱熵与总影响的渐近行为。
• 确定字典序函数是否可在FEI猜想框架中作为极值例子。
• 评估是否存在优于 $ \tau $ 的基函数，以进一步提升下界。

提出的方法

• 构造一个平衡的字典序函数 $ \ell\langle 2/3 \rangle $，其总影响较低且谱熵为正，作为构建模块。
• 将字典序函数 $ \ell\langle 2/3 \rangle $ 递归组合，实现 $ C \geq 4 + 3\log_4 3 > 6.377444 $。
• 将构造推广至使用 $ \ell\langle \Phi \rangle $ 的偏置函数，其中 $ \Phi $ 为黄金分割率的倒数，得到 $ C > 6.413846 $。
• 提出一种基于字典序函数的新型极限-极限构造，实现 $ C > 6.454784 $，甚至适用于单调函数。
• 证明了总影响与谱熵之间的利普希茨型条件：若两个布尔函数在 $ L^1 $-范数上相差 $ \epsilon $，则其总影响与谱熵的变化均受有界控制。
• 利用詹森不等式与尾部界限，控制具有相似傅里叶谱的函数之间的熵差异。

实验结果

研究问题

• RQ1 字典序函数能否用于构造布尔函数，从而在FEI猜想的通用常数 $ C $ 上获得改进的下界？
• RQ2 基于字典序的构造可实现的最大熵-影响比 $ \mathbf{H}[f]/\mathbf{I}[f] $ 是多少？
• RQ3 布尔函数的小扰动下，谱熵如何表现？是否可实现一致有界？
• RQ4 该构造能否超越平衡函数推广至偏置函数，以获得更优的下界？
• RQ5 熵与影响的利普希茨型界是否紧致？能否在渐近意义下进一步改进？

主要发现

• 该论文在FEI猜想中实现了新的下界 $ C > 6.454784 $，优于先前最佳已知下界 $ C > 6.278944 $。
• 通过使用字典序函数 $ \ell\langle 2/3 \rangle $，构造实现了 $ C \geq 4 + 3\log_4 3 > 6.377444 $，证明了字典序函数在熵-影响权衡中的有效性。
• 通过推广至使用 $ \ell\langle \Phi \rangle $ 的偏置函数（其中 $ \Phi $ 为黄金分割率的倒数），下界提升至 $ C > 6.413846 $。
• 第三种构造独立于先前方法，实现 $ C > 6.454784 $，且对单调函数也成立，表明单调性并不限制极值行为。
• 作者证明了利普希茨型条件：若两个布尔函数在 $ L^1 $-范数上相差 $ \epsilon $，则其总影响与谱熵的差异分别不超过 $ O(\epsilon n) $ 和 $ O(\epsilon n\sqrt{N}) $。
• 论文表明，尼霍函数可提供熵差异的 $ \Omega(1/\sqrt{N}) $ 下界，暗示引理5.2中的上界可能不紧致。