We strengthen Han's Fourier entropy-influence inequality $$ H[\widehat{f}] \leq C_{1}I(f) + C_{2}\sum_{i\in [n]}I_{i}(f)\ln\frac{1}{I_{i}(f)} $$ originally proved for $\{-1,1\}$-valued Boolean functions with $C_{1}=3+2\ln 2$ and $C_{2}=1$. We show, by a short information-theoretic proof, that it in fact holds with sharp constants $C_{1}=C_{2}=1$ for all real-valued Boolean functions of unit $L^{2}$-norm, thereby establishing the inequality as an elementary structural property of Shannon entropy and influence.
翻译:我们强化了韩氏傅里叶熵-影响不等式 $$ H[\widehat{f}] \leq C_{1}I(f) + C_{2}\sum_{i\in [n]}I_{i}(f)\ln\frac{1}{I_{i}(f)} $$,该不等式最初针对取值为 $\{-1,1\}$ 的布尔函数被证明,其中 $C_{1}=3+2\ln 2$ 且 $C_{2}=1$。我们通过一个简短的信息论证明表明,实际上对于所有具有单位 $L^{2}$ 范数的实值布尔函数,该不等式在锐常数 $C_{1}=C_{2}=1$ 下成立,从而确立了该不等式作为香农熵与影响的基本结构性质。