[論文レビュー] Characterization of a class of weak transport-entropy inequalities on the line

Nathaël Gozlan, Cyril Roberto+3 more|arXiv (Cornell University)|Sep 14, 2015

Point processes and geometric inequalities被引用数 5

ひとこと要約

本稿では、特定の最適弱輸送コストがコスト関数に依存しないカップリングによって達成されることを示すことにより、実数直線上の弱輸送-エントロピー不等式を特徴づけている。主な結果として、このような不等式が成り立つための必要十分条件を確立し、それを凸Poincaré型不等式と結びつけ、1次元における凸Poincaré不等式の弱輸送-エントロピー形を提供している。

ABSTRACT

We study an optimal weak transport cost related to the notion of convex order between probability measures. On the real line, we show that this weak transport cost is reached for a coupling that does not depend on the underlying cost function. As an application, we give a necessary and sufficient condition for weak transport-entropy inequalities in dimension one. In particular, we obtain a weak transport-entropy form of the convex Poincar{é} inequality in dimension one.

研究の動機と目的

• 新規の最適弱輸送コストを用いて、実数直線上の弱輸送-エントロピー不等式を特徴づけること。
• 弱輸送-エントロピー不等式と凸・凹関数の濃縮性との関係を確立すること。
• 1次元における凸Poincaré不等式の弱輸送-エントロピー形を導出すること。
• 実数直線上で、弱輸送コストの最適カップリングが、下伏のコスト関数に依存しないことを示すこと。
• 累積分布関数およびその逆関数の振る舞いに基づいて、実数直線上で弱輸送-エントロピー不等式が成り立つための必要十分条件を提供すること。

提案手法

• Kantorovich的意味での凸順序と最適輸送に基づく弱輸送コストを導入する。
• 輸送コストと相対エントロピーを関連付けるために、弱輸送-エントロピー不等式 $\overline{\mathrm{T}}(\theta(a\cdot))$ の概念を用いる。
• コスト関数 $\theta$ を $\theta_1(t) = t^2$ on $[0,t_o]$ および $\theta_2$（残存凸部）に分解する。
• 逆関数 $\theta^{-1}$ および関数 $U_\mu(x) = \log \mu((x,\infty))$ を用いて、成長バウンドを介して不等式を特徴づける。
• 定理6.1を適用し、$U_\mu(x+u) - U_\mu(x)$ の差に一様バウンドを導出し、重要な条件を確立する。
• テンソル化および単調性の議論を用いて、$\theta_1$ および $\theta_2$ の不等式を組み合わせ、明示的な定数を伴う最終的な弱輸送-エントロピー不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 実数直線上の弱輸送コストの最適カップリングの構造は何か？また、これはコスト関数に依存するか？
• RQ2 確率測度 $\mu$ が $\mathbb{R}$ 上で弱輸送-エントロピー不等式を満たすための必要十分条件は何か？
• RQ3 弱輸送-エントロピー不等式は、凸関数および凹関数の濃縮性とどのように関係するか？
• RQ4 1次元において、凸Poincaré不等式の弱輸送-エントロピー形を導出できるか？
• RQ5 弱輸送-エントロピー不等式の定数は、コスト関数および測度の尾部挙動にどのように依存するか？

主な発見

• 実数直線上の弱輸送コストの最適カップリングは、コスト関数 $\theta$ に依存しない。これは重要な構造的洞察である。
• 測度 $\mu$ が $\overline{\mathrm{T}}(\theta(a\cdot))$ を満たすための必要十分条件は、すべての $u > 0$ に対して $\sup_x \left( U_\mu(x+u) - U_\mu(x) \right) \leq \frac{1}{b} \theta_2^{-1}(u)$ が成り立つことである。ここで $b = a\kappa_1$ である。
• 本稿では、1次元における凸Poincaré不等式の弱輸送-エントロピー形を確立し、累積分布関数の挙動と結びつけた。
• コスト関数 $\theta$ が $[0,t_o]$ で $t^2$ に等しい場合、測度 $\mu$ は $\overline{\mathrm{T}}^{+}(\theta(\kappa_2 b \cdot))$ を満たす。ここで $\kappa_2 = \frac{1}{210} \frac{\min(1,t_o)}{\theta^{-1}(2+t_o^2)}$ である。これにより、コスト関数への明示的依存性が示された。
• 証明により、$\mu$ が $\overline{\mathrm{T}}(\theta(a\cdot))$ を満たすための必要十分条件は、$U_\mu$ の成長条件が成り立つことである。この条件は、$\theta$ の分解に対して安定である。
• 最終的な不等式における定数は、$t_o$、$\theta^{-1}(1+t_o^2)$、および $\theta^{-1}(2+t_o^2)$ に明示的に依存しており、定量的制御が可能である。