[論文レビュー] Intertwinings and Generalized Brascamp-Lieb Inequalities

Marc Arnaudon, Michel Bonnefont+1 more|arXiv (Cornell University)|Feb 11, 2016

Point processes and geometric inequalities参考文献 29被引用数 3

ひとこと要約

本稿では、重み付き勾配を用いて、古典的な対数凸性設定を超える一般化されたBrascamp-Lieb不等式を導出するための新規な相互作用フレームワークを、多変数拡散過程に対して提案する。行列値重み付き勾配を構築し、生成作用素およびFeynman-Kac半群との相互作用を分析することにより、ポテンシャルの凸性を仮定しない新たな固有値間隔推定値と関数不等式を確立する。本手法により、1次元設定から高次元への拡張が可能となり、固有値間隔の明示的下界が得られる。

ABSTRACT

We continue our investigation of the intertwining relations for Markov semigroups and extend the results of [9] to multi-dimensional diffusions. In particular these formulae entail new functional inequalities of Brascamp-Lieb type for log-concave distributions and beyond. Our results are illustrated by some classical and less classical examples.

研究の動機と目的

• R^d (d ≥ 2) 上の1次元拡散過程から多変数拡散過程への相互作用関係の拡張を図ること。
• 非対数凸的かつ非凸的ポテンシャルに対して、Brascamp-Lieb型の新たな関数不等式を導出すること。
• 重み付き勾配アプローチを用いて、拡散生成作用素の固有値間隔の下界を確立すること。
• 相互作用技術を用いて、Chen-Wangの変分公式を高次元に一般化すること。
• 古典的および非古典的例（ヘッセ行列が退化する二重井戸型ポテンシャルを含む）に対して、手法の有効性を提示すること。

提案手法

• 可逆行列 A を用いて定義される重み付き勾配を導入し、標準勾配を変形した微分作用素に変換する。
• 関数に作用するマルコフ半群と重み付き勾配に作用するFeynman-Kac型半群との間の相互作用恒等式を確立する。
• 行列 A を用いて、変換空間におけるポテンシャル V のヘッセ行列を対角化し、行列 M_A を通じたスペクトル解析を可能にする。
• 重み付き設定におけるBakry-Émery Γ2理論を適用し、部分可換関係と関数不等式を導出する。
• 重み関数 a = e^{-W} を構築し、行列 A^{-1}M_A A が一様に正の下界スペクトルを持つことを保証する。
• 変分推定とヤングの不等式を用いて、変換されたヘッセ行列の最小固有値の下界を制御する。

実験結果

リサーチクエスチョン

• RQ1 R^d (d ≥ 2) 上の多変数拡散過程へ、1次元拡散過程における勾配とマルコフ半群との間の相互作用関係を一般化できるか？
• RQ2 ポテンシャル V が厳密に凸的でも対数凸的でもない場合、どのようなBrascamp-Lieb型関数不等式が導けるか？
• RQ3 ポテンシャルの凸性に依存せずに、多変数拡散生成作用素の固有値間隔をどのように推定できるか？
• RQ4 相互作用技術を用いて、Chen-Wangの固有値間隔変分公式を高次元拡散過程に拡張できるか？
• RQ5 行列値重み付き勾配は、退化的または非凸的ポテンシャルに対する固有値間隔推定にどのように寄与するか？

主な発見

• 非対数凸測度の下で関数の分散に対して一般化されたBrascamp-Lieb不等式が導出され、重み付き勾配を含む修正エネルギー項が導入される。
• 非対称なBrascamp-Lieb不等式が確立され、2つの関数の共分散がそれらの重み付き L^p ノルムの積によって上界で抑えられる。
• パrameter β に対して2次元の二重井戸型ポテンシャルの固有値間隔 λ₁(−L,μ) に対して、新たな下界 √(3/2 − β²) − 1 − β が得られる。
• この下界は十分に小さい β > 0 に対して有効であり、固有値間隔推定値の正の性質を保証する。
• 異なる対角成分を持つ非単位行列の重み行列 A を導入することで、退化ヘッセ行列に対しても手法が有効に機能する。
• 行列値重み付き勾配構成を用いて、1次元のChen-Wang公式が高次元に一般化される。