[论文解读] Li-Yau inequality under $CD(0,n)$ on graphs

Florentin Münch|arXiv (Cornell University)|Sep 23, 2019

Geometric Analysis and Curvature Flows被引用 2

一句话总结

该论文通过引入一种改进的非线性热方程 ∂ₜu = Δu + Γu，替代传统的 log Pₜf，首次在有限图上于 Bakry-Émery 曲率条件 CD(0, n) 下建立了 Li-Yau 不等式。该方法证明了 Γu 的指数衰减性以及 Li-Yau 不等式 −Δuₜ ≤ n/(2t)，进而推导出体积加倍性质，并证明在 CD(0, n) 条件下不存在膨胀图，从而解决了离散 Ricci 曲率领域的一个重大开放问题。

ABSTRACT

We introduce a modified non-linear heat equation $\partial_t u = \Delta u + \Gamma u$ as a substitute of $\log P_t f$ where $P_t$ is the heat semigroup. We prove an exponential decay of $\Gamma u$ under the Bakry Emery curvature condition $CD(K,\infty)$ and prove the Li-Yau inequality $-\Delta u_t \leq \frac{n}{2t}$ under the Bakry Emery curvature condition $CD(0,n)$. From this, we deduce the volume doubling property which solves a major open problem in discrete Ricci curvature. As an application, we show that there exist no expander graphs satisfying $CD(0,n)$.

研究动机与目标

• 解决在有限图上，Bakry-Émery 曲率条件 CD(0, n) 下体积加倍是否成立的开放问题。
• 在经典对数变换因离散拉普拉斯算子缺乏链式法则而失效的离散情形下，建立类 Li-Yau 不等式。
• 证明不存在满足 CD(0, n) 的膨胀图家族，从而解决离散几何中长期存在的猜想。
• 提出一种新框架，利用改进的热方程 ∂ₜu = Δu + Γu 来规避 log Pₜf 与离散拉普拉斯算子之间的不相容性。

提出的方法

• 引入改进的热方程 ∂ₜu = Δu + Γu 作为 log Pₜf 的替代，其动机源于恒等式 ∂ₜ(log Pₜf) = ΔPₜf / Pₜf = Δ(log Pₜf) + |∇log Pₜf|²。
• 通过 Picard-Lindelöf 定理证明解在短时间内的存在性与唯一性，并在 CD(K, ∞) 条件下（K=0）利用梯度估计建立长时间存在性。
• 在 CD(0, n) 条件下，利用改进方程的单调性与 Harnack 型估计，推导出 Li-Yau 不等式 −Δuₜ ≤ n/(2t)。
• 利用从改进方程导出的 Harnack 不等式，证明半径 r ≥ 4n²D/qₘᵢₙ 的球体满足体积加倍性质。
• 通过热半群与改进解之间的 ℓ¹-范数比较，控制质量传播并推导出体积估计。
• 利用所得的体积加倍性质，证明具有指数体积增长的图（如膨胀图）无法满足 CD(0, n)，从而得出此类膨胀图家族不存在。

实验结果

研究问题

• RQ1 尽管离散拉普拉斯算子缺乏链式法则，Li-Yau 不等式是否仍能在有限图上于经典 Bakry-Émery 曲率条件 CD(0, n) 下成立？
• RQ2 能否在 CD(0, n) 条件下于有限图上建立体积加倍性质，从而解决离散 Ricci 曲率中的一个重大开放问题？
• RQ3 是否存在满足 CD(0, n) 的膨胀图家族，考虑到膨胀图具有指数体积增长特性？
• RQ4 改进的非线性热方程 ∂ₜu = Δu + Γu 是否可作为离散曲率分析中 log Pₜf 的可行替代？
• RQ5 在 CD(0, n) 条件下，体积加倍常数对图参数 n、D 和 qₘᵢₙ 的定量依赖关系如何？

主要发现

• 在 CD(0, n) 曲率条件下，改进热方程 ∂ₜu = Δu + Γu 的解满足 Li-Yau 不等式 −Δuₜ ≤ n/(2t)。
• 证明了半径 r ≥ 4n²D/qₘᵢₙ 的球体满足体积加倍性质，加倍常数有界于 (9n √(D/qₘᵢₙ))³ⁿ。
• 体积加倍常数在维度 n、最大度 D 和最小跳跃率 qₘᵢₙ 的范围内一致有界，即使对小半径也成立。
• 从改进方程导出的 Harnack 不等式可控制质量传播，从而导出体积加倍估计。
• 证明了不存在满足 CD(0, n) 的膨胀图家族，因为此类图具有指数体积增长，与体积加倍所隐含的多项式增长相矛盾。
• 该方法通过用 ∂ₜu = Δu + Γu 的解替代 log Pₜf，解决了其与离散拉普拉斯算子不相容的长期难题，同时满足必要的梯度与衰减估计。