[论文解读] Characterizations of Forman curvature

Jürgen Jost, Florentin Münch|arXiv (Cornell University)|Oct 9, 2021

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

一句话总结

本文通过霍奇拉普拉斯算子建立了形式曲率的半群表征，证明当在2-胞腔权重上最大化形式曲率时，形式曲率与奥利维耶曲率完全一致。文章引入了与任意路径距离兼容的广义曲率概念，并通过特定权重选择表明所提出的广义形式曲率可推广形式曲率的原始定义。

ABSTRACT

We characterize Forman curvature lower bounds via contractivity of the Hodge Laplacian semigroup. We prove that Ollivier and Forman curvature coincide on edges when maximizing the Forman curvature over the choice of 2-cells. To this end, we translate between 2-cells and transport plans. Moreover, we give improved diameter bounds. We explicitly warn the reader that our Forman curvature notion does not coincide with Forman's original definition, but can be seen as generalization of the latter one.

研究动机与目标

• 通过细胞复形上的霍奇拉普拉斯算子，提供形式曲率下界的一种半群理论表征。
• 证明当在2-胞腔权重上最大化形式曲率时，形式曲率与奥利维耶曲率完全一致。
• 通过正权重函数 $ \omega $ 将曲率概念推广至任意路径距离。
• 通过特定权重变换，将所提出的广义形式曲率与形式曲率的原始定义统一。
• 在广义曲率下界条件下，推导出改进的直径界。

提出的方法

• 在带有胞腔权重 $ m $ 的细胞复形上使用霍奇拉普拉斯算子 $ H = \delta\delta^* + \delta^*\delta $，将形式曲率定义为 $ F(x) = Hx(x) - \sum_{y} |Hy(x)| $。
• 通过半群估计与最大值原理，建立 $ F(x) \geq R $ 与 $ \|e^{-tH}f\|_p \leq e^{-Rt}\|f\|_p $ 对所有 $ f \in C(X_k) $，$ p \in [1,\infty] $ 的等价性。
• 利用线性规划中的对偶性，将奥利维耶曲率中的传输计划与形式曲率中的环路权重相互转换。
• 引入广义形式曲率 $ F_\omega(x) = Hx(x) - \sum_{y \neq x} \frac{\omega(y)}{\omega(x)} |Hy(x)| $ 与广义奥利维耶曲率 $ \omega(x)\kappa_\omega(x) = \inf \delta\delta^*\delta f(x) $，其中路径距离为 $ \omega $。
• 应用对偶性，证明在2-胞腔权重上最大化最小形式曲率等价于奥利维耶曲率，利用对偶线性规划。
• 通过 $ m = 1/w $，$ \omega = \sqrt{w} $ 将广义形式曲率与形式曲率的原始定义统一，表明 $ F_\omega(x) = F_{\text{original}}(x)/w(x) $。

实验结果

研究问题

• RQ1 能否通过霍奇拉普拉斯算子半群表征形式曲率的下界？
• RQ2 当在2-胞腔权重上最大化形式曲率时，形式曲率与奥利维耶曲率在何种条件下完全一致？
• RQ3 如何通过权重函数 $ \omega $ 将形式曲率与奥利维耶曲率推广至任意路径距离？
• RQ4 所提出的广义形式曲率与形式曲率原始定义之间存在何种关系？
• RQ5 在广义形式曲率下界条件下，可导出何种直径界？

主要发现

• 定理 1.1（定理 4.1）证明：对所有 $ k $-胞腔 $ x $，有 $ F(x) \geq R $ 当且仅当对所有 $ f \in C(X_k) $，$ p \in [1,\infty] $，有 $ \|e^{-tH}f\|_p \leq e^{-Rt}\|f\|_p $，首次实现了形式曲率的半群表征。
• 推论 6.1（定理 6.1）证明：$ \kappa(x) = \max_K F_K(x) $，表明当在2-胞腔权重上最大化形式曲率时，奥利维耶曲率与形式曲率完全一致。
• 定理 6.3（定理 7.8）导出直径界：若对所有 $ x \in X_1 $，有 $ F_\omega(x) \geq R > 0 $，则 $ \text{diam}_\omega \leq \frac{2\min(D_1, D_0)}{R} $，优于先前结果。
• 广义形式曲率 $ F_\omega $ 与奥利维耶曲率 $ \kappa_\omega $ 被证明为对偶线性规划，且最大最小形式曲率等于奥利维耶曲率。
• 论文证明了对所有胞腔 $ x $，有 $ F_\omega(x) \leq \kappa_\omega(x) $，建立了两者之间的一般不等式。
• 当 $ m = 1/w $ 且 $ \omega = \sqrt{w} $ 时，广义形式曲率恢复了形式曲率的原始定义，证实其为原始定义的推广。