[论文解读] Li-Yau inequality for unbounded Laplacian on graphs

Chao Gong, Yong Lin+2 more|arXiv (Cornell University)|Jan 18, 2018

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

一句话总结

本文在 $CDE'(n,K)$ 曲率-维数条件下，首次建立了无限加权图上无界拉普拉斯算子的 Li-Yau 不等式，将经典梯度估计推广至无界情形。作者通过引入依赖于时间的权函数，推导出一族 Li-Yau 型不等式，进而导出 Harnack 不等式、热核上界以及无界拉普拉斯算子的 Cheng 特征值估计等应用。

ABSTRACT

In this paper, we derive Li-Yau inequality for unbounded Laplacian on complete weighted graphs with the assumption of the curvature-dimension inequality $CDE'(n,K)$, which can be regarded as a notion of curvature on graphs. Furthermore, we obtain some applications of Li-Yau inequality, including Harnack inequality, heat kernel bounds and Cheng's eigenvalue estimate. These are first kind of results on this direction for unbounded Laplacian on graphs.

研究动机与目标

• 将 Li-Yau 梯度估计推广至无限加权图上的无界拉普拉斯算子。
• 在图上缺乏链式法则的情况下，建立经典 Li-Yau 不等式的离散类比，该法则在图上不成立。
• 在 $CDE'(n,K)$ 曲率条件下，推导出新的几何与分析性后果——包括 Harnack 不等式、热核上界及特征值估计。
• 通过推广至无界拉普拉斯算子，弥合黎曼流形结果与离散图结构之间的差距。
• 首次系统性地处理图上无界拉普拉斯算子的 Li-Yau 不等式，该领域此前尚未被探索。

提出的方法

• 引入依赖于时间的权函数 $W(s) = (1 - s/t)^b$，其中 $b > 1/2$，以控制热半群的演化。
• 利用热半群技巧，推导出涉及 carré du champ $\Gamma(\sqrt{P_t f})$ 与拉普拉斯算子 $\Delta P_t f$ 的微分不等式。
• 应用 $CDE'(n,K)$ 曲率-维数条件以控制曲率项，推导出依赖于时间的梯度估计。
• 通过单调收敛定理取极限，将不等式从紧支集函数推广至 $L^p_m$ 函数。
• 通过所推导的 Li-Yau 不等式，通过对半径为 $\sqrt{t}$ 的球积分并应用测度界，推导出 Harnack 不等式。
• 通过分析 $\Delta f = -\lambda f$ 的时间不变解并取长时间极限，建立 Cheng 的特征值估计。

实验结果

研究问题

• RQ1 在链式法则失效的图上，能否为无界拉普拉斯算子建立 Li-Yau 型梯度估计？
• RQ2 图上的何种曲率条件可替代黎曼流形中 Ricci 曲率，以获得此类估计？
• RQ3 在无界拉普拉斯算子上得到的 Li-Yau 不等式，能否导出有意义的几何与分析性后果，如热核上界与特征值估计？
• RQ4 权函数 $W(s)$ 的选择如何影响所推导不等式的紧致性与适用性？
• RQ5 是否可能将经典结果（如 Cheng 的特征值估计）推广至无限图上的无界拉普拉斯算子？

主要发现

• 本文在 $CDE'(n,K)$ 条件下，为图上的无界拉普拉斯算子建立了以 $b > 1/2$ 为参数的一族 Li-Yau 不等式，得到 $\Gamma(\sqrt{P_t f})/P_t f \leq \frac{n}{2}\left(\frac{b^2}{(2b-1)t} + \frac{K^2 t}{2b+1} + K\right)$。
• 通过在半径为 $\sqrt{t}$ 的球上对热核积分，推导出 Harnack 不等式，得到 $p(t,x,y) \leq \frac{C}{V(x,\sqrt{t})}$，其中 $C = 2^n \exp(4m_{\text{max}}/\omega_{\text{min}})$。
• 通过 Harnack 不等式获得热核上界，表明其随时间与体积增长呈多项式衰减。
• 通过分析 $\Delta f = -\lambda f$ 的时间不变解，证明了 Cheng 的特征值估计，得到 $\lambda \leq \frac{Kn}{2}$ 对所有 $\lambda \leq \lambda^*$ 成立。
• 结果适用于组合与一般无界拉普拉斯算子，不仅限于有界情形，扩展了此前仅限于有界拉普拉斯算子的研究。
• 该方法通过使用 $CDE'(n,K)$ 条件与精心选择的权函数 $W(s)$，成功规避了图上链式法则失效的问题。