[論文レビュー] Rigidity phenomenons for an infinite dimension diffusion operator and cases of near equality in the Bakry--Ledoux isoperimetric comparison Theorem

Raphaël Bouyrie|arXiv (Cornell University)|Aug 23, 2017

Advanced Mathematical Modeling in Engineering被引用数 3

ひとこと要約

本稿では、半群補間を用いて正の曲率をもつ無限次元拡散作用素の剛性結果を確立し、Obataの定理をこの設定に拡張する。さらに、Bakry–Ledouxの等周比較定理における近似等号の場合を特徴付け、MosselとNeemanのアイデアにインspiredされた半群手法を用いて、高次元における球面的等周不等式の新たな定量的評価を得る。

ABSTRACT

We study rigidity phenomenons for infinite dimension diffusion operators of positive curvature using semigroup interpolations. In particular, for such diffusions, an analogous statement of Obata's theorem is established. Moreover, the same rigidity holds for the Bakry--Ledoux isoperimetric comparison Theorem - a result due to Franck Morgan. Recently, Mossel and Neeman have exploited the semigroup proof of Bakry and Ledoux to derive dimension free bounds for the Gaussian isoperimetry. We extend theirs arguments to obtain in particular new quantitative bounds on the spherical isoperimetric inequality in large dimension.

研究の動機と目的

• 半群補間を用いて、正の曲率をもつ無限次元拡散作用素における剛性現象を調査する。
• Obataの定理を無限次元設定に拡張し、等号が成立する場合にそれがガウス型構造を示す条件を同定する。
• Bakry–Ledouxの等周比較定理における近似等号の状況を特徴付ける。
• 高次元における球面的等周不等式の次元に依存しない定量的評価を導出する。
• MosselとNeemanの半群に基づくアプローチを拡張し、高次元等周不等式における鋭い推定を得る。

提案手法

• 熱方程式に沿った関数不等式の単調性を分析するために、半群補間技術を用いる。
• 勾配と半群の間の交換関係を適用して、等号が成立する場合を同定する。
• 無限次元拡散作用素をモデル化するために、Markov三元組 $(E,\mu,\Gamma)$ のBakry–Émery枠組みを用いる。
• 遷移密度の二階微分に対する境界を用いて、熱半群のヘッセ行列に関する点ごとの推定を得る。
• ジェンセンの不等式と測度変換を用いて、曲率関連項の重み付き積分を制御する。
• リーマン的等周比が次元が増加するにつれてガウス型の対応物に収束することを示し、次元に依存しない境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 Bakry–Ledouxの等周比較定理における等号が、無限次元においてガウス空間への等長写像を意味するための条件は何か？
• RQ2 半群手法は、有限次元におけるObataの定理と同様の無限次元拡散作用素における剛性を検出できるか？
• RQ3 半群技法を用いて、高次元における球面的等周不等式の定量的評価をどの程度得られるか？
• RQ4 等周推定における定数が次元が無限大に近づくにつれてどのように振る舞うか？
• RQ5 BakryとLedouxの半群による証明をどの程度精緻化すれば、近似等号の状況を捉えることができるか？

主な発見

• 正の曲率をもつ無限次元拡散作用素に対して、Obataの定理と類似した剛性結果が成り立つ。等号が成立する場合、関連する空間はガウス型であることが示される。
• 本稿では、Bakry–Ledouxの等周比較定理における近似等号が、測度が定量的にガウスに近い場合にのみ発生することを確立する。
• 球面的等周不等式に対する新たな定量的評価が得られ、誤差項は $O(\sqrt{t}/n)$ として $t$ が小さく $n$ が大きい場合に減少する。
• 等周推定における定数の次元依存性を除去し、半群近似により次元に依存しない境界を導出する。
• 熱半群のヘッセ行列に関する点ごとの推定が $\|\nabla^2 f_t\|_{HS}^2 \leq C f_t^2 / t^4$ を満たすことが示され、$\Gamma_2 - \Gamma$ 演算子の制御が可能になる。
• リーマン的等周比がガウス型の対応物に収束することを定量的に評価し、誤差は $O(n^{-1})$ で、$u > 0$ に対して一様に成り立つ。