[論文レビュー] Equivalent Properties of CD Inequality on Graph

Yong Lin, Shuang Liu|arXiv (Cornell University)|Dec 6, 2015

Geometric Analysis and Curvature Flows参考文献 2被引用数 28

ひとこと要約

本稿は、無限で局所的に有限なグラフ上で、熱半群と勾配推定を用いて、曲率次元条件 $CD(n,K)$ および $CDE^\prime(\infty,K)$ の同値な特徴づけを確立する。$CD(n,K)$ が勾配推定、Poincaré型不等式、逆Poincaré不等式と同値であることを示し、$CDE^\prime(\infty,K)$ が熱半群の平方根を含む特定の勾配推定と同値であることを示す。これにより、Bakry-Emery理論が離散的グラフへと拡張される。

ABSTRACT

We study some equivalent properties of the curvature-dimension conditions $CD(n,K)$ inequality on infinite, but locally finite graph. These equivalences are gradient estimate, Poincaré type inequalities and reverse Poincaré inequalities. And we also obtain one equivalent property of gradient estimate for a new notion of curvature-dimension conditions $CDE'(\infty, K)$ at the same assumption of graphs.

研究の動機と目的

• 無限で局所的に有限なグラフ上における $CD(n,K)$ 曲率次元条件の同値な特徴づけを確立すること。
• $CD(\infty,K)$ 条件の離散的類似である $CDE^\prime(\infty,K)$ 条件への同値枠組みの拡張すること。
• 曲率次元の境界が勾配推定、Poincaré不等式、逆Poincaré不等式などの解析的性質とどのように関連するかを明らかにすること。
• 熱半群を用いた関数計算の枠組みを構築し、離散的グラフにおける曲率次元条件の同値不等式を導出すること。

提案手法

• 測度 $\mu$-ラプラシアンを用いてグラフ上の熱半群 $P_t$ を導出し、関連する熱核 $p_t(x,y)$ を定義する。
• 勾配形式 $\Gamma(f,g)$ と反復形式 $\Gamma_2(f,g)$ を導入し、曲率次元条件を代数的に表現する。
• $P_t f$ を $t^2$ までテイラー展開することで、半群を $\Gamma_2$ および $\Delta f$ と関連づけ、必要な不等式を導出する。
• グラフ上での $u^2$ および $u^{1/2}$ に対する合成法則を適用する。これは離散的Bakry-Emery微積分の主要な技術的道具である。
• $e^{2Ks} \psi(s)$ の単調性を用いて、$CDE^\prime(\infty,K)$ が不等式 $\Gamma(\sqrt{P_t f}) \leq e^{2Kt} P_t(\Gamma(\sqrt{f}))$ と同値であることを証明する。
• $t \to 0^+$ の極限を用いて、勾配推定から $CDE^\prime$ 条件を回復し、双方向の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 無限で局所的に有限なグラフ上における $CD(n,K)$ 条件と同値となる解析的不等式は何か？
• RQ2 離 discrete な設定において、$CDE^\prime(\infty,K)$ 条件はどのように勾配推定によって特徴づけられるか？
• RQ3 熱半群を用いて、グラフ上における曲率次元条件の同値な表現を導出できるか？
• RQ4 $f^2$ および $f^{1/2}$ に対する合成法則が、Bakry-Emery理論をグラフへと拡張する際に果たす役割は何か？
• RQ5 勾配推定、Poincaré不等式、逆Poincaré不等式は、$CD(n,K)$ 条件のもとでどのように関係し合うか？

主な発見

• $CD(n,K)$ 条件は、有界な正関数に対して、勾配推定 $\Gamma(P_t f) \leq P_t(\Gamma(f)) - \frac{2}{n} \int_0^t P_s(P_{t-s}\Delta f)^2 ds$ と同値である。
• $CD(n,K)$ 条件は、逆Poincaré不等式 $P_t f^2 - (P_t f)^2 \leq 2t P_t(\Gamma(f)) - \frac{2t^2}{n}(P_t \Delta f)^2$ と同値である。
• $CDE^\prime(\infty,K)$ 条件は、正の有界関数に対して、勾配推定 $\Gamma(\sqrt{P_t f}) \leq e^{2Kt} P_t(\Gamma(\sqrt{f}))$ と同値である。
• $CD(n,K)$ 条件は、$t \to 0$ の極限において、不等式 $t^2(-2\Gamma_2(f) - 2K\Gamma(f) + \frac{2}{n}(\Delta f)^2) \leq 0$ を含意し、かつそれと同値である。
• $CD(\infty,-K)$ 条件は、$\Gamma(P_t f) \leq e^{2Kt} P_t(\Gamma(f))$ と同値であり、半群の特徴づけが無限次元へと拡張される。
• $CDE^\prime(\infty,K)$ と半群による勾配推定との同値性は、$e^{2Ks} \psi(s)$ の単調性および $t \to 0^+$ の極限を用いて証明された。