[論文レビュー] Deficit Estimates for the Logarithmic Sobolev Inequality

Emanuel Indrei, Dae Sung Kim|arXiv (Cornell University)|May 16, 2018

Geometric Analysis and Curvature Flows参考文献 15被引用数 4

ひとこと要約

本稿は、最適輸送理論とフーリエ解析を用いて、対数ソボレフ不等式（LSI）の鋭い定量的安定性評価を確立し、LSIの欠損がガウス測度への Wasserstein 距離および $L^p$ 距離を制御することを証明する。密度の1からの偏差の $L^1$ および $L^p$ ノルムに対して明示的な多項式バインディングを提供し、主な結果として、モーメントおよび可積分性制約の下で $\|f-1\|_{L^1(d\gamma)} \leq C_M \delta^{1/4}(f)$ および $\|f-1\|_{L^p(d\gamma)} \leq C_{M,N,p} \delta^{1/(8p)}(f)$ が得られる。

ABSTRACT

We identify sharp spaces and prove quantitative and non-quantitative stability results for the logarithmic Sobolev inequality involving Wasserstein and $L^p$ metrics. The techniques are based on optimal transport theory and Fourier analysis. We also discuss a probabilistic approach.

研究の動機と目的

• 関数がガウス最適化子にどれほど近いかを測ることで、対数ソボレフ不等式（LSI）の安定性を定量化すること。
• LSI 欠損がガウス測度への $L^p$-距離を制御する鋭い関数空間を同定すること。
• 標準ガウス測度に対する密度 $f$ の $L^1$ および $L^p$ ノルムに対する明示的な多項式バインディングを確立すること。
• LSI の安定性結果を Wasserstein、全変動、およびコルモゴロフ距離などの確率的距離に接続すること。

提案手法

• 最適輸送理論を用いて、LSI 欠損を測度 $fd\gamma$ と標準ガウス測度 $d\gamma$ 間の $W_1$ 距離に関連付ける。
• フーリエ解析およびベイクナー–ヒルシュマンの不確実性原理を適用し、代替の欠損下界を得る。
• $fd\gamma$ から $d\gamma$ への最適輸送問題の解を用いて、$W_1$ および欠損を介した全変動を制御する。
• W_1-安定性結果を用いる：中心化された測度が $\mathcal{P}_2^M(\mathbb{R}^n)$ に属する場合、$\delta(f) \geq C \min\{W_1(fd\gamma,d\gamma), W_1^4(fd\gamma,d\gamma)\}$ が成り立つ。
• 確率的距離の関係を確立する：$d_{\mathrm{K}} \leq 2d_{\mathrm{P}}$、$W_1 \leq 4\sqrt{M} d_{\mathrm{K}}^{1/2}$、および $d_{\mathrm{TV}} \leq 2d_{\mathrm{H}}$ を用いて、安定性評価を転送する。
• 積測度および周辺制約のケースを、ポincare 不等式のテンソル化およびモーメント条件を用いて取り扱う。

実験結果

リサーチクエスチョン

• RQ1 中心化された確率測度で2次のモーメントが有界な場合、LSI 欠損 $\delta(f)$ が0に近づくとき、$f-1$ の $L^1$ ノルムの鋭い減衰率は何か？
• RQ2 追加の可積分性条件の下で LSI の $L^p$-安定性を確立でき、欠損バインディングにおける最適指数は何か？
• RQ3 $W_1$ および $W_2$ 距離は LSI 欠損とどのように関係するか？また、なぜ一般には $W_2$-安定性は成立しないのか？
• RQ4 フーリエ＝ワイエルトランスフォームおよび調和解析は、LSI の欠損推定を導出するために果たす役割は何か？
• RQ5 異なる確率的距離（コルモゴロフ、プロホロフ、全変動）は、LSI の安定性の文脈でどのように関係し合うか？

主な発見

• 中心化された確率測度が $\mathcal{P}_2^M(\mathbb{R})$ に属する場合、$f-1$ の $L^1$ ノルムは $\|f-1\|_{L^1(d\gamma)} \leq C_M \delta^{1/4}(f)$ を満たし、$C_M > 0$ は $M \geq 1$ に依存する。
• 可積分性が $\int |f|^{2p-1} d\gamma \leq N$ の下で、$L^p$ ノルムは $\|f-1\|_{L^p(d\gamma)} \leq C_{M,N,p} \delta^{1/(8p)}(f)$（$p > 1$）を満たし、$C_{M,N,p} > 0$ である。
• 中心化された測度が $\mathcal{P}_2^M(\mathbb{R}^n)$ に属し $M \geq n$ の場合、$W_1$-安定性結果 $\delta(f) \geq C \min\{W_1(fd\gamma,d\gamma), W_1^4(fd\gamma,d\gamma)\}$ が成り立ち、$L^1$ バインディングが得られる。
• 各 $f_i \in \mathcal{P}_2^M(\mathbb{R})$ である積測度 $f = \prod f_i$ に対して、同じ $L^1$ バインディング $\int |f-1| d\gamma \leq C \delta^{1/4}(f)$ が成り立ち、$C = C(n,M)$ である。
• 追加の可積分性がない場合、$p > 1$ に対して $L^1$-安定性は成立しない。反例により、$\liminf_{k \to \infty} \|f_k - 1\|_{L^p(d\gamma)} > 0$ である一方で $\delta(f_k) \to 0$ となることが示された。
• コルモゴロフ距離は $d_{\mathrm{K}}(\mu, \gamma) \leq c \delta^{1/8}(v)$ を満たし、一定の定数 $c$ を用いて欠損と分布収束速度を結びつける。