[論文レビュー] Entropies, convexity, and functional inequalities

Djalil Chafaï|arXiv (Cornell University)|Nov 6, 2002

Mathematical Approximation and Integration参考文献 28被引用数 105

ひとこと要約

本稿は、$Φ$-Sobolev不等式の統一的枠組みを導入し、$Φ$-エントロピーを通じてPoincaré不等式と対数的Sobolev不等式を一般化する。この枠組みは、テンソル積、畳み込み、有界摂動の下でも安定しており、超収縮的拡散、対数凸測度、ウィエンナ空間、ポアソン空間などの広範な測度クラスにおいて、$Φ$ に対する単純な凸性仮定の下で不等式が成り立つ。主な貢献は、これらの不等式が凸解析に根ざした証明を経て、超収縮的拡散、対数凸測度、ウィエンナ空間、ポアソン空間など、多様な設定で成立することを示したことである。

ABSTRACT

Our aim is to provide a short and self contained synthesis which generalise and unify various related and unrelated works involving what we call Phi-Sobolev functional inequalities. Such inequalities related to Phi-entropies can be seen in particular as an inclusive interpolation between Poincare and Gross logarithmic Sobolev inequalities. In addition to the known material, extensions are provided and improvements are given for some aspects. Stability by tensor products, convolution, and bounded perturbations are addressed. We show that under simple convexity assumptions on Phi, such inequalities hold in a lot of situations, including hyper-contractive diffusions, uniformly strictly log-concave measures, Wiener measure (paths space of Brownian Motion on Riemannian Manifolds) and generic Poisson space (includes paths space of some pure jumps Levy processes and related infinitely divisible laws). Proofs are simple and relies essentially on convexity. We end up by a short parallel inspired by the analogy with Boltzmann-Shannon entropy appearing in Kinetic Gases and Information Theories.

研究の動機と目的

• Poincaré不等式と対数的Sobolev不等式を、$Φ$-Sobolev不等式の単一の枠組みを通じて統一的かつ一般化すること。
• $Φ$-Sobolev不等式がテンソル積、畳み込み、有界摂動の下で安定することを確立すること。
• 超収縮的拡散、一様に対数凸な測度、ウィエンナ空間、ポアソン空間などの広範な測度クラスにおいて、$Φ$ に対する最小限の凸性仮定の下でこれらの不等式が成り立つことを同定すること。
• $Φ$-エントロピーが関数不等式における役割を明確にし、運動論的理論および情報理論におけるBoltzmann-Shannonエントロピーとの類似性を強調すること。

提案手法

• $Φ$-エントロピーを $\mathbf{Ent}_{\mu}^{\Phi}(f) = \int \Phi(f)\,d\mu - \Phi(\int f\,d\mu)$ として定義し、分散とシャノンエントロピーを一般化する。
• マコフ過程および関連するディリクレ形式を特徴付けるために、無限小生成子 $\mathbf{L}$ と キャルレ・デュ・シャンプ $\Gamma$ を用いる。
• $Φ$ の凸性の下で、$\mathbf{Ent}_{\mu}^{\Phi}(f) \leq C \cdot \int \Gamma(f,f)\,d\mu$ の形の $Φ$-Sobolev不等式を確立する。
• 積測度構造を用いたテンソル積の下での安定性と、対数凸性および凸性を用いた畳み込みの下での安定性を証明する。
• 具体的な設定にこの手法を適用する：超収縮的拡散、リーマン多様体上のウィエンナ空間、純ジャンプLévy過程に付随するポアソン空間。
• Boltzmann-Shannonエントロピーとの類似性を描き、凸共役および最大エントロピー原理の役割を強調する。

実験結果

リサーチクエスチョン

• RQ1 $Φ$ にどのような条件下で $\u03a6$-Sobolev不等式がPoincaré不等式と対数的Sobolev不等式の間を補間するか。
• RQ2 $Φ$-Sobolev不等式が、基礎となる測度のテンソル積、畳み込み、有界摂動の下でどのように振る舞うか。
• RQ3 拡散、ブラウン運動、またはLévy過程などのどの種の確率過程が、$Φ$ に対する弱い凸性仮定の下で $\u03a6$-Sobolev不等式を満たすか。
• RQ4 $\u03a6$-エントロピーが、特に部分加法性および最大エントロピー原理の観点から、シャノンおよびBoltzmann-Shannonエントロピーの性質をどの程度継承するか。

主な発見

• $Φ$ に弱い凸性仮定を課すだけで、一様に厳密に対数凸な測度に対して $\u03a6$-Sobolev不等式が成り立つ。これは既知の結果を一般化する。
• テンソル積の下で不等式は安定である：1つの成分で成り立つならば、同じ定数を用いて積測度に対しても成り立つ。
• リーマン多様体上のブラウン運動（ウィエンナ空間）に対しても、$Φ$ に対する同じ凸性仮定の下で $\u03a6$-Sobolev不等式が成り立つ。
• 純ジャンプLévy過程に付随するポアソン空間に対しても不等式が成り立ち、この枠組みはジャンプ過程へと拡張される。
• $Φ$ が凸であるとき、$\u03a6$-エントロピー関数はその引数に関して凸であり、$Φ$ が厳密に凸であるとき、$f$ が $\mu$-ほとんど everywhere で定数である場合に限り、$\u03a6$-エントロピーが消える。
• この枠組みは最大エントロピー原理を回復する：$\u03a6$-エントロピー $\mathbf{H}^{\Phi}$ は線形制約の下で、密度が $\widehat{\Phi}$ のYoung共役の逆関数で与えられるBoltzmann-Gibbs型測度で最大値をとる。