[論文レビュー] 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$ 上の修正された対数的ソボレフ不等式を導入し、右辺の定数 2 を、正規化エントロピー $\rho = \frac{1}{n} \frac{Ent(f^2)}{\mathbb{E}f^2}$ に依存する関数 $C(\rho)$ に置き換える。$C(\rho)$ は凸関数であり、$\rho$ が 0 から $\log 2$ に変化する間に 2 から $2/\log 2$ へ増加する。この変更により、等周的境界が改善され、小規模な集合に対する離散的ファーバー＝クラーン不等式が得られる。

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.

研究の動機と目的

• ハミング立方体上の古典的対数的ソボレフ不等式を、正規化エントロピー $\rho$ に依存する関数 $C(\rho)$ に置き換えることで、低エントロピー関数に対する境界を改善すること。
• 改善された定数 $C(\rho)$ を用いた関数的形の辺等周不等式を確立し、エントロピーが異なる関数に対して境界を厳密化すること。
• フリードマンとティリッチが提起した、ハミング立方体の小規模な部分集合に対する離散的ファーバー＝クラーン不等式のバージョンを解くこと。
• 分数的辺境界サイズが漸近的に最小となる集合を特定し、半径が $n/2 - \tilde{\Omega}(n^{3/4})$ 以下のハミング球がその最適性を達成することを示すこと。

提案手法

• 定数 2 を、$\rho = \frac{1}{n} \frac{Ent(f^2)}{\mathbb{E}f^2}$ の凸増加関数 $C(\rho)$ に置き換えた修正された対数的ソボレフ不等式を導出する。$C(\rho)$ は $[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 ハミング立方体上での対数的ソボレフ不等式における定数 2 を、正規化エントロピー $\rho$ に依存する関数に置き換えることで、低エントロピー関数に対する境界を改善できるか？
• RQ2 修正された不等式は、フリードマンとティリッチが提起した、ハミング立方体の小規模な部分集合に対する離散的ファーバー＝クラーン不等式を実現するか？
• RQ3 半径 $n/2 - \tilde{\Omega}(n^{3/4})$ のハミング球は、そのサイズの集合の中で分数的辺境界サイズを漸近的に最小化するか？
• RQ4 定数が $\rho$ に依存する仕組みが、不等式における特定の関数や集合の極値性をどのように反映するか？

主な発見

• ハミング立方体 $\{0,1\}^n$ 上の対数的ソボレフ不等式における定数 2 が、$[0, \log 2]$ から $[2, 2/\log 2]$ への写像である凸かつ増加関数 $C(\rho)$ に置き換えられ、エントロピーがより高い関数に対して境界が改善される。
• 修正された不等式は、同じ $C(\rho)$ の依存性を持つ関数的等周不等式を示唆し、エントロピーが非一様な関数に対して境界が厳密化される。
• 半径が $n/2 - \tilde{\Omega}(n^{3/4})$ 以下のハミング球が、そのサイズに対して分数的辺境界サイズを漸近的に最小化することが示され、フリードマンとティリッチの問いに答えている。
• 証明は、対数関数のべき級数展開と、得られた微分不等式における係数不等式の検証に依拠しており、$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)$ の厳密な正の性質が保証される。