[论文解读] 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 $ 來建立下界，此假設更具一般性且更易於驗證。
• 將熱核估計的適用範圍擴展至具有多項式體積增長的圖，即使曲率條件不成立亦適用。
• 提供一個適用於大時間的連續時間熱核估計，且基於自然圖度量。

提出的方法

• 在自然圖度量 $ d(x,y) $ 下，使用受 Davies 和 Folz 啟發的技巧，推導熱核 $ p(t,x,y) $ 的上界。
• 利用上界控制熱核分佈在球 $ B(x,r) $ 外的尾部，估算 $ B(x,r) $ 外的質量。
• 將 $ B(x,r) $ 的補集分割為二進位環 $ 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) $ 下推導的，避免了先前研究中使用的度量變換。
• 當 $ r(t) = Ct \log t $ 且 $ C > 2D_{\mu}e $ 時，尾部總和 $ \sum_{z \in B(x,r)^c} \mu(z) p(t,x,z) $ 會隨著 $ t \to \infty $ 趨於零，確保對角質量有下界。
• 透過二進位環與含 $ \log $ 的指數衰減項控制尾部衰減，使總和在極限下消失。
• 該結果對所有 $ t \geq T $ 成立，其中 $ T $ 足夠大，且下界在所有頂點 $ x \in V $ 上一致。
• 該方法避開了如 $ CDE'(n,0) $ 之類的曲率假設，使結果適用於僅具備體積增長的更廣泛圖類。