[论文解读] A modified logarithmic Sobolev inequality for the Hamming cube and some applications

Alex Samorodnitsky|ArXiv.org|Jul 10, 2008

Nonlinear Partial Differential Equations参考文献 15被引用 9

一句话总结

本文通过将哈密顿立方体 ${0,1}^n$ 上对数 Sobolev 不等式右侧的常数 2 替换为依赖于归一化熵 $\rho = \frac{1}{n} \frac{Ent(f^2)}{\mathbb{E}f^2}$ 的函数 $C(\rho)$，提出了一种改进的对数 Sobolev 不等式。函数 $C(\rho)$ 是凸函数，且随 $\rho$ 从 0 增加到 $\log 2$ 而从 2 上升至 $2/\log 2$，从而得到更优的等周不等式估计，并建立了小集合的离散 Faber-Krahn 不等式。

ABSTRACT

The logarithmic Sobolev inequality for the Hamming cube {0,1}^n states that for any real-valued function f on the cube holds E(f,f) \ge 2 Ent(f^2), where E(f,f) is the appropriate Dirichlet form (also known as "sum of influences"). We show that the constant C = 2 at the right hand side of this inequality can be replaced by a function C(rho) depending on rho = Ent(f^2) / (n Ef^2). The function C is an increasing convex function taking [0,log 2] to [2, 2/log 2]. We present some applications of this modified inequality. In particular, it is used to obtain a discrete version of the Faber-Krahn inequality for small subsets of the Hamming cube, answering a question of Friedman and Tillich. We introduce, following the approach of Friedman and Tillich, the notion of a fractional edge-boundary size of a subset of {0,1}^n, and show Hamming balls of radius at most n/2 - O(n^{3/4}) to be sets with (asymptotically) the smallest fractional edge-boundary for their size.

研究动机与目标

• 通过将哈密顿立方体上经典对数 Sobolev 不等式的常数 2 替换为依赖于归一化熵 $\rho$ 的函数 $C(\rho)$，以改进低熵函数的界。
• 建立具有改进常数 $C(\rho)$ 的边界的函数形式等周不等式，收紧具有不同熵的函数的界。
• 回答 Friedman 和 Tillich 提出的问题：在哈密顿立方体的小子集上是否存在离散版本的 Faber-Krahn 不等式。
• 刻画在渐近意义下具有最小分数边边界的集合，证明半径不超过 $n/2 - \tilde{\Omega}(n^{3/4})$ 的哈密顿球在同尺寸集合中达到该最优性。

提出的方法

• 推导一种改进的对数 Sobolev 不等式，将常数 2 替换为 $C(\rho)$，其中 $C(\rho)$ 是 $\rho = \frac{1}{n} \frac{Ent(f^2)}{\mathbb{E}f^2}$ 的凸递增函数，且映射 $[0, \log 2]$ 到 $[2, 2/\log 2]$。
• 利用改进的不等式推导出具有相同 $C(\rho)$ 依赖关系的函数形式等周不等式，改进标准常数 2 的界。
• 引入 $\{0,1\}^n$ 子集的分数边边界大小概念，推广标准边边界以用于等周分析。
• 证明半径不超过 $n/2 - \tilde{\Omega}(n^{3/4})$ 的哈密顿球在渐近意义下最小化其大小的分数边边界大小。
• 通过分析对数函数 $L_1(x) = \log\frac{1+x}{1-x}$ 和 $L_2(x) = \log\frac{1+x^2}{1-x^2}$ 的幂级数展开，并验证系数不等式，确认微分不等式的成立。

实验结果

研究问题

• RQ1 哈密顿立方体上对数 Sobolev 不等式的常数 2 能否被依赖于归一化熵 $\rho$ 的函数取代，以改进低熵函数的界？
• RQ2 该改进不等式是否能导出 Friedman 和 Tillich 所提出的小子集的离散 Faber-Krahn 不等式？
• RQ3 半径为 $n/2 - \tilde{\Omega}(n^{3/4})$ 的哈密顿球是否在同尺寸集合中渐近最小化分数边边界大小？
• RQ4 常数对 $\rho$ 的依赖关系如何反映不等式中特定函数或集合的极值性？

主要发现

• 哈密顿立方体 $\{0,1\}^n$ 上对数 Sobolev 不等式的常数 2 被替换为一个从 $[0, \log 2]$ 映射到 $[2, 2/\log 2]$ 的凸递增函数 $C(\rho)$，从而改进了高熵函数的界。
• 该改进不等式蕴含一个具有相同 $C(\rho)$ 依赖关系的函数形式等周不等式，收紧了非均匀熵函数的界。
• 证明了半径不超过 $n/2 - \tilde{\Omega}(n^{3/4})$ 的哈密顿球在渐近意义下最小化其大小的分数边边界大小，从而回答了 Friedman 和 Tillich 的问题。
• 证明依赖于对数函数 $L_1(x)$ 和 $L_2(x)$ 的幂级数展开，并通过验证系数不等式，确认在 $x \in (0,1)$ 时 $F(x) - G(x)$ 的正性。
• 系数分析确认了对奇数 $k \geq 3$，有 $\ell_{2k+1} > r_{2k+1}$ 且 $\ell_{2k+1} + \ell_{2k+3} > r_{2k+1} + r_{2k+3}$，从而保证了差值 $F(x) - G(x)$ 的严格正性。