[論文レビュー] Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs

Paul Horn, Yong Lin+2 more|arXiv (Cornell University)|Nov 19, 2014

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

ひとこと要約

本稿では、$CDE'(n,0)$ 曲率条件の下で、半群に基づく手法を導入することで、非負の曲率を持つグラフ上でガウス型熱核推定、体積二重性、およびポincare不等式を確立する。主な貢献は、非負曲率を持つグラフが、有限次元の調和関数および正の曲率下でのボンネット＝マイヤース型の直径上限を含む、強力な幾何学的・解析的性質を満たすことを示したことにある。

ABSTRACT

By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality $CDE'(n,0)$, which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincaré inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.

研究の動機と目的

• 最大原理法の限界を克服するため、半群技術を用いて非負曲率を持つグラフへのLi-Yau型勾配推定を拡張すること。
• $CDE'(n,0)$ を満たすグラフにおける体積二重性を確立すること。
• 体積二重性と曲率仮定から、ガウス型熱核推定とポincare不等式を導出すること。
• 正の曲率を持つグラフに対してボンネット＝マイヤース型定理を証明し、曲率に基づいた直径の上限を求める。
• このようなグラフ上の多項式成長調和関数の空間が有限次元であることを示し、ヤウの予想の離散版を確認すること。

提案手法

• グラフ上の有界かつ正の離散熱方程式の解に対して、熱半群を用いてグローバルな勾配推定を導出する。
• 非負リーマン曲率の離散版として、修正された曲率次元不等式 $CDE'(n,0)$ を適用する。
• 対数ソボレフ不等式とエントロピー法を用いて、解の成長を制御し、測度集中を導出する。
• 内在的距離と標準的距離を用いて、抽象的な距離構造とグラフの自然な距離を関連づけ、直径推定を可能にする。
• チェビシェフの不等式と指数モーメントの上限を用いて、関数の $L^ty$ ノルムをその平均に対して制御し、直径制御に至る。
• 半群推定と関数不等式（ポincare、対数ソボレフ）を組み合わせることで、幾何学的・解析的性質の完全な同値性の鎖を構築する。

実験結果

リサーチクエスチョン

• RQ1 最大原理ではなく半群法を用いることで、Li-Yau型勾配推定をグラフへ拡張できるか？
• RQ2 グラフ上の $CDE'(n,0)$ 曲率条件は、体積二重性とポincare不等式を意味するか？
• RQ3 曲率と体積二重性から、グラフ上でのガウス型熱核推定を導出できるか？
• RQ4 グラフにおける正の曲率は、ボンネット＝マイヤース定理と同様に、有限の直径を意味するか？
• RQ5 非負曲率を持つグラフ上では、多項式成長を示す調和関数の空間が有限次元であるか？

主な発見

• $CDE'(n,0)$ を満たすグラフは、測度空間上の解析に重要な役割を果たす幾何的条件である体積二重性を示す。
• $CDE'(n,0)$ の下で、ポincare不等式とガウス型熱核推定が成り立ち、ハーナック不等式と同値であることが示された。
• このようなグラフ上での多項式成長調和関数の空間は有限次元であり、ヤウの予想の離散版が確認された。
• 正の曲率 $K>0$ を持つグラフでは、標準的直径が $\widetilde{D} \leq 4\sqrt{3}\pi\sqrt{n/K}$ で有界であることが示され、離散ボンネット＝マイヤース定理が証明された。
• 内在的距離を用いることで、自然なグラフ距離の直径は $D \leq 2\pi\sqrt{6D_{\mu}n/K}$ で有界であることが示され、$D_{\mu}$ はグラフの全測度を表す。
• 半群法は、離散的状況における最大原理の限界を効果的に克服し、より強い勾配推定と熱核推定を可能にした。