[論文レビュー] Properties for CD Inequalities with Unbounded Laplacians

Cao Gong, Yong Lin|arXiv (Cornell University)|Dec 8, 2015

Graph theory and applications参考文献 5被引用数 4

ひとこと要約

本稿では、重み付き局所的有限グラフ上の非有界ラプラシアンに対して、曲率次元（CD）不等式の同値な特徴付けを確立し、CD(K, ∞)およびCD(K, n)条件が一連の勾配推定と熱流動不等式と同値であることを証明する。主な貢献は、関数解析的および確率的手段を用いて、リーマン幾何的解析の道具—特にボヘナー型恒等式と勾配推定—を非有界ラプラシアンを有する離散的グラフへ厳密に拡張したことである。

ABSTRACT

The CD equalities were introduced to imply the gradient estimate of laplace operator on graphs. This article is based on the unbounded Laplacians, and finally concludes some equivalent properties of the CD(K,$\infty$)and CD(K,n).

研究の動機と目的

• リーマン多様体における曲率次元不等式を、非有界ラプラシアンを有するグラフへ拡張すること。
• 無限大、局所的有限、重み付きグラフ上でのCD(K, ∞)およびCD(K, n)の同値条件を同定すること。
• 勾配推定とボヘナー恒等式の一般化を通じて、多様体上の幾何的解析と離散的グラフ理論を橋渡しすること。
• ディリクレ型形式と熱セミ群を用いて、非有界ラプラシアンのための関数解析的枠組みを確立すること。
• CD不等式が、熱核と時間積分エネルギー形式を含む積分勾配推定と同値であることを証明すること。

提案手法

• 頂点集合 $V$、辺集合 $E$、重み関数 $m: V \to (0,\infty)$、$\mu: E \to [0,\infty)$ を備えた局所的有限で重み付きの測度空間としてグラフを形式化する。
• 領域 $D(Q)$ が $L^2(V,m)$ で稠密であるようなディリクレ型形式 $Q(f,f) = \sum_{x\sim y} \mu(x,y)(f(x)-f(y))^2$ を用いてラプラシアン $\Delta$ を定義する。
• キャレ・デュ・シャン作用素 $\Gamma(f,g) = \frac{1}{2} \left( \Delta(fg) - f\Delta g - g\Delta f \right)$ 及びその反復形 $\Gamma_2(f,f)$ を導入する。
• 熱セミ群 $P_t = e^{t\Delta}$ を用いて、$\Gamma(P_t f)$ の時間発展方程式を導出し、$P_t \Gamma(f)$ および $\int_0^t P_s (\Delta P_{t-s}f)^2 ds$ と関連付ける。
• 部分積分と $\Gamma(f)$ および $\Gamma_2(f)$ の $L^1$-ノルムによる推定を適用し、次の主要な不等式を導出する: $\Gamma(P_t f) \leq e^{-2Kt} P_t \Gamma(f) - \frac{2}{n} \int_0^t e^{-2Ks} P_s (\Delta P_{t-s}f)^2 ds$。
• 双対性および $C_0(V)$ 内の近似を用いて、すべての条件が互いに同値であることを示すことにより、CD(K,n) とこの積分勾配推定との同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非有界ラプラシアンを有するグラフ上でのCD(K, ∞)不等式の同値条件は何か？
• RQ2 CD(K,n)不等式は、熱流動と勾配推定の観点からどのように特徴付けられるか？
• RQ3 ボヘナーの恒等式を含むリーマン幾何的不等式は、非有界ラプラシアンを有する離散的グラフへどの程度まで拡張可能か？
• RQ4 曲率次元条件は、熱セミ群を含む積分不等式によって特徴付けられるか？
• RQ5 キャレ・デュ・シャン作用素およびその2階形 $\Gamma_2$ は、無限大グラフ上での曲率の定義において果たす役割は何か？

主な発見

• CD(K, ∞)不等式は、すべての $t \geq 0$ および $f \in C_0(V)$ に対して、勾配推定 $\Gamma(P_t f) \leq e^{-2Kt} P_t \Gamma(f)$ と同値である。
• 有限の $n$ に対しては、CD(K,n)不等式は積分不等式 $\Gamma(P_t f) \leq e^{-2Kt} P_t \Gamma(f) - \frac{2}{n} \int_0^t e^{-2Ks} P_s (\Delta P_{t-s}f)^2 ds$ と同値である。
• この同値性は、局所的有限で重み付きのグラフに非有界ラプラシアンが存在するという仮定の下で成り立ち、有限グラフへの結果の拡張を含む。
• 証明は、$L^2(V,m)$ 上で熱セミ群 $P_t$ の自己共役性と、 compactly な台を持つ関数による近似に依存する。
• 重要なステップは、$P_s \xi$ および $\Gamma(P_{t-s}f)$ を用いて構築された時間依存関数 $G(s)$ の微分が、$G'(s) = e^{-2Ks} \sum_x \Gamma_2(P_{t-s}f) P_s \xi(x) m(x)$ を満たすことを示すことであり、これにより最終的な不等式が得られる。
• 関数 $h \in D(Q)$ を $h_k = h \eta_k$ を用いて近似する際の極限 $k \to \infty$ においても同値性が保たれ、一般の関数における結果が成り立つ。