[論文レビュー] On-diagonal lower estimate of heat kernel on graphs

Yong Lin, Yiting Wu|arXiv (Cornell University)|Dec 27, 2016

Geometric Analysis and Curvature Flows参考文献 14被引用数 4

ひとこと要約

本稿は、曲率に類する仮定を一切要せず、体積成長条件のみを用いて、大きな時間におけるグラフ上の熱核の対角下界を新たに確立する。まず自然なグラフ距離における上界を導出し、その後体積成長を適用することで、$ p(t,x,x) \geq \frac{c}{V(x,\sqrt{t})} $ の形の下界を証明する。これは、曲率に基づく手法に比べてより弱い条件下で、従来の結果を拡張するものである。

ABSTRACT

The purpose of this paper is to establish a new continuous-time on-diagonal lower estimate of heat kernel for large time on graphs. To achieve the goal, we first give an upper bound of heat kernel in natural graph metric, and then use this bound and the volume growth condition to show the validity of the on-diagonal lower bound.

研究の動機と目的

• 最小限の幾何的仮定の下で、グラフ上の対角熱核の下界を導出すること。
• $ CDE(n,0) $ や $ CDE'(n,0) $ のような曲率条件に依存しないこと、これらはグラフ構造を制限する。
• 体積成長条件 $ V(x,r) \leq c r^m $ のみを仮定することで、下界を確立すること。これはより一般かつアクセスしやすい仮定である。
• 曲率条件を満たさないグラフに対しても、多項式的体積成長を示すグラフにまで熱核推定の適用を拡張すること。
• 自然なグラフ距離を用いて、連続時間の熱核推定を大時間に対して有効にすること。

提案手法

• Davies や Folz の手法にインspiredされ、自然なグラフ距離 $ d(x,y) $ における熱核 $ p(t,x,y) $ の上界を導出する。
• 上界を用いて、球 $ B(x,r) $ の外側における熱核分布の尾部を制御し、$ B(x,r) $ の外の質量を推定する。
• $ B(x,r)^c $ を二重累乗的円環 $ B(x,2^{k+1}r) \setminus B(x,2^k r) $ に分割し、遠方の頂点における和を抑え込む。
• 体積成長条件 $ V(x,r) \leq c r^m $ を適用して、円環の測度を抑え込み、上界における指数的減衰を制御する。
• $ r(t) = Ct \log t $ かつ $ C > 2D_{\mu}e $ と選ぶことで、$ t \to \infty $ のとき尾部の和がゼロに収束することを保証し、対角下界を証明する。
• 熱核の全質量が 1 であることと、十分大きな $ t $ に対して尾部質量が $ 1/2 $ 未満であることから、対角質量が下から有界であることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 曲率仮定を一切要せず、体積成長条件のみを仮定した場合に、グラフ上の非ガウス型対角下界を確立できるか？
• RQ2 大時間におけるグラフ上での熱核挙動の文脈において、下界 $ p(t,x,x) \geq c / V(x,\sqrt{t}) $ の鋭さはいかほどか？
• RQ3 自然なグラフ距離は、$ d_\theta $ のような変換距離と比較して、熱核推定の導出にどのように影響を与えるか？
• RQ4 DGG レムマおよび関連技術が、上界の制御を通じて下界を導出するためにどの程度適応可能か？
• RQ5 熱核の尾部質量を十分に制御できれば、対角値における下界を推論できるか？

主な発見

• 本稿では、多項式的体積成長条件 $ V(x,r) \leq c r^m $ の下で、$ t $ が大きい場合に $ p(t,x,x) \geq \frac{c}{V(x,\sqrt{t})} $ の形の下界を確立する。
• 熱核の上界は自然なグラフ距離 $ d(x,y) $ において導出されており、先行研究で用いられる距離変換の必要がない。
• 尾部和 $ \sum_{z \in B(x,r)^c} \mu(z) p(t,x,z) $ は、$ r(t) = Ct \log t $ かつ $ C > 2D_{\mu}e $ のとき、$ t \to \infty $ でゼロに収束することが示され、対角質量が下から有界であることが保証される。
• 二重累乗的円環と対数を含む指数的減衰項を用いて尾部の減衰率を制御し、極限において和が消えることを導く。
• 結果はすべての $ t \geq T $ に対して成り立ち、$ T $ は十分に大きく、すべての頂点 $ x \in V $ に対して一様な下界が得られる。
• $ CDE'(n,0) $ のような曲率に基づく仮定を避けることで、体積成長のみを満たすより広範なグラフクラスに適用可能である。