[論文レビュー] Around the entropic Talagrand inequality

Giovanni Conforti, Luigia Ripani|arXiv (Cornell University)|Sep 6, 2018

Geometric Analysis and Curvature Flows参考文献 25被引用数 3

ひとこと要約

この論文は、Wasserstein 距離を Schrödinger ブリッジから導出されるエントロピー的コストに置き換えた、古典的 Talagrand の輸送-エントロピー不等式の一般化であるエントロピー的 Talagrand 不等式を導入し、その特徴づけを行う。著者らは、逆超収縮性、Hamilton-Jacobi-Bellman 半群の収縮性、次元に依存しない濃縮性を用いた同値な特徴づけを確立し、これらの不等式が古典的 Talagrand 不等式を含意し、Bakry-Émery 条件の下で対数的 Sobolev 不等式に含意されることを示している。

ABSTRACT

In this article we study generalization of the classical Talagrand transport-entropy inequality in which the Wasserstein distance is replaced by the entropic transportation cost. This class of inequalities has been introduced in the recent work [9], in connection with the study of Schr\\"odinger bridges. We provide several equivalent characterizations in terms of reverse hypercontractivity for the heat semigroup, contractivity of the Hamilton-Jacobi-Bellman semigroup and dimension-free concentration of measure. Properties such as tensorization and relations to other functional inequalities are also investigated. In particular, we show that the inequalities studied in this article are implied by a Logarithmic Sobolev inequality and imply Talagrand inequality.

研究の動機と目的

• Wasserstein 距離を Schrödinger 問題から導出されるエントロピー的コストに置き換えることで、Talagrand の輸送-エントロピー不等式を一般化すること。
• 逆超収縮性や半群の収縮性といった関数解析的性質を用いた、新しい不等式クラスの同値な特徴づけを提供すること。
• これらのエントロピー的 Talagrand 不等式が、Bakry-Émery 条件の下で古典的 Talagrand 不等式を含意し、対数的 Sobolev 不等式に含意されることを確立すること。
• テンソル化を示し、不等式の有効性に関する明示的かつ具体的な条件を導出することで、従来の抽象的結果を拡張すること。

提案手法

• エントロピー的輸送コストは、Langevin ディフュージョンの連合分布に関して、2つの測度のカップリング上の相対エントロピーを最小化するSchrödinger 問題によって定義される。
• 著者らは、エントロピー的コストの双対表現を用い、テスト関数への半群作用を含む同値な不等式を導出する。
• エントロピー的 Talagrand 不等式と、Langevin 動的に関連する熱半群に対する弱い形の逆超収縮性との同値性を確立する。
• エントロピーと相対エントロピーの既知の双対性結果（エントロピーの双対表現、相対エントロピーの加法的性質）を用いて、証明戦略を構築する。
• 一般輸送-エントロピー不等式に関する [20] の結果を応用し、証明を簡略化するとともに、エントロピー的コストの状況へ拡張する。
• 重要な技術的道具として、半群 $ Q_t^ ho $ が用いられ、$ Q_t^ ho φ(x) = -\varepsilon \log P_t^\varepsilon \exp(-\u03c6/\varepsilon)(x) $ として定義され、エントロピー的コストとSchrödinger 問題の双対表現を結びつける。

実験結果

リサーチクエスチョン

• RQ1 Schrödinger 問題からのエントロピー的コストを用いて、Talagrand の古典的輸送-エントロピー不等式をどのように一般化できるか？
• RQ2 得られるエントロピー的 Talagrand 不等式の同値な関数解析的特徴づけは何か？
• RQ3 これらの不等式は、対数的 Sobolev 不等式や古典的 Talagrand 不等式といった他の古典的不等式とどのように関係しているか？
• RQ4 これらの不等式はどのような条件下でテンソル化され、高次元における濃縮にどのような意味を持つのか？
• RQ5 一般輸送コストの抽象的枠組みを超えて、これらの不等式の有効性に関する明示的条件を導出できるか？

主な発見

• エントロピー的 Talagrand 不等式は、小ノイズ極限 $ \varepsilon \to 0 $ において古典的 Talagrand 不等式を含意し、古典理論と整合することが確認された。
• Bakry-Émery $ \Gamma_2 $ 条件の下で、対数的 Sobolev 不等式がエントロピー的 Talagrand 不等式を含意することを示し、Otto-Villani の定理をエントロピー的設定へ拡張した。
• 不等式は、Langevin 動的に関連する半群に対する弱い形の逆超収縮性と同値であり、新たな関数的特徴づけを提供した。
• エントロピー的 Talagrand 不等式はテンソル化可能であり、同じ条件下で積測度に対しても成り立つ。これは高次元応用において極めて重要である。
• エントロピー的 Talagrand 不等式から、$ \varepsilon $, $ \lambda $, および $ t $ に依存する明示的定数を有する新しいインフィニト・コンボリューション型対数的 Sobolev 不等式が導出された。その定数は $ 1 + \frac{\varepsilon}{\exp(\lambda \varepsilon t) - (1 + \varepsilon)} $ で与えられる。
• エントロピー的コストは Wasserstein 距離を支配するため、エントロピー的 Talagrand 不等式は古典的バージョンよりも厳密に強いものであり、より鋭い濃縮バインディングを提供する。