[論文レビュー] Entropic multipliers method for langevin diffusion and weighted log sobolev inequalities

Patrick Cattiaux, Arnaud Guillin+2 more|arXiv (Cornell University)|Aug 3, 2017

Markov Chains and Monte Carlo Methods参考文献 17被引用数 3

ひとこと要約

本稿では、ポテンシャルの有界ヘッセ行列を仮定しない条件下で、一般化された重み付き対数ソボレフ不等式を用いて、Langevin拡散の平衡への仮性的収束を確立するためのエントロピー的乗数法を導入する。主な貢献は、ポテンシャルの曲率に関する従来の仮定を排除し、非有界ヘッセ行列に対しても適用可能な、実用的なリャプノフ型条件を提供することにある。

ABSTRACT

In his work about hypocercivity, Villani [18] considers in particular convergence to equilibrium for the kinetic Langevin process. While his convergence results in L 2 are given in a quite general setting, convergence in entropy requires some boundedness condition on the Hessian of the Hamiltonian. We will show here how to get rid of this assumption in the study of the hypocoercive entropic relaxation to equilibrium for the Langevin diffusion. Our method relies on a generalization to entropy of the multipliers method and an adequate functional inequality. As a byproduct, we also give tractable conditions for this functional inequality, which is a particular instance of a weighted logarithmic Sobolev inequality, to hold.

研究の動機と目的

• Langevin拡散におけるエントロピー的仮性的収束結果において、ポテンシャルUの有界ヘッセ行列仮定を除去すること。
• 古典的なL²仮性的収束フレームワークを拡張し、エントロピーの減衰に適用可能な一般化された乗数法を構築すること。
• 重み付き対数ソボレフ不等式が成り立つための実用的な十分条件を導出すること、特に運動論的Fokker-Planckダイナミクスの文脈において。
• ポテンシャルに関する弱い正則性仮定のもとで、Langevin過程の指数的エントロピー収束を確立すること。

提案手法

• リャプノフ型条件を用いて、L²ノルムではなく相対エントロピーに適応した仮性的収束フレームワークに、乗数法のエントロピー的一般化を導入する。
• 重み付き対数ソボレフ不等式を関数不等式の道具として用い、重みはポテンシャルおよびそのヘッセ行列から導出する。
• Bakry-Émeryの基準およびHolley-Stroockの摂動議論を用いて、変換された測度の凸性および対数ソボレフ性を確立する。
• リャプノフ関数と超Poincaré不等式を用いて、不変測度の尾部挙動を制御し、エントロピーの減衰を導出する。
• 速度空間における動的挙動を局所化・制御するため、補助関数φおよびWの族を構築する。特に|y|が大きい場合に有効である。
• 部分積分とパラメータ最適化を用いて超Poincaré不等式を導出し、F = ln₊¹ᐟ²-Sobolev不等式に到達する。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャルUの有界ヘッセ行列を仮定しないで、Langevin拡散におけるエントロピー的仮性的収束を確立できるか？
• RQ2 重み付き対数ソボレフ不等式が成り立つためのポテンシャルUの十分条件は何か？
• RQ3 乗数法はL²からエントロピーに基づく収束フレームワークへどのように一般化できるか？
• RQ4 非有界曲率を有する運動論的拡散において、エントロピーの減衰を制御するためのリャプノフ型条件を構築できるか？
• RQ5 重み関数H⁻²ᶿが重み付き関数不等式において果たす役割は何か？また、収束速度にどのように影響するか？

主な発見

• 本稿では、ポテンシャルの有界ヘッセ行列を仮定しないリャプノフ型条件のもとで、Langevin拡散が相対エントロピーにおいて指数的収束することを確立した。
• 特異な重みH⁻²ᶿを含む、超Poincaré不等式と同値な新しい重み付き対数ソボレフ不等式が導出された。
• Villaniの元来のエントロピー的仮性的収束結果に含まれる有界ヘッセ行列仮定を排除する手法が可能になった。
• F = ln₊¹ᐟ²-Sobolev不等式が得られ、これは所望のエントロピーの減衰を示し、重みなしバージョンよりも強い。
• 証明は、リャプノフ関数W(y) = e^{|y|²/4}の構築に依拠し、速度空間における尾部挙動を制御する。
• 最終的な不等式は、ψ(f) = ln¹ᐟ²(e + f)/fを含む関数不等式と同値であり、重み付きディリクレ型形式を介してエントロピーを制御する。