[論文レビュー] Characterizations of Forman curvature

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

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

ひとこと要約

本稿は、Hodgeラプラシアンを用いた半群的特徴付けを通じて、Forman曲率の半群的特徴付けを確立し、2次セルの重みに関してForman曲率を最大化する際、Forman曲率とOllivier曲率が一致することを証明する。任意の経路距離に適合する一般化された曲率概念を導入し、特定の重み選択により、提案されたForman曲率がFormanの元々の定義を一般化することを示す。

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.

研究の動機と目的

• 細胞複体上のHodgeラプラシアンを用いた、Forman曲率の下界の半群論的特徴付けを提供すること。
• 2次セルの重みに関してForman曲率を最大化する場合、Forman曲率とOllivier曲率が一致することを証明すること。
• 正の重み関数 ω を用いて、任意の経路距離に一般化された曲率概念を導入すること。
• 特定の重み変換を通じて、提案されたForman曲率とFormanの元々の定義を一致させること。
• 一般化された曲率の下界のもとで、改良された直径の上限を導出すること。

提案手法

• 細胞重み m を持つ細胞複体上で Hodgeラプラシアン $ H = \delta\delta^* + \delta^*\delta $ を用い、Forman曲率を $ 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] $）の間の同等性を確立する。
• 線形計画法の双対性を用いて、Ollivier曲率における輸送計画とForman曲率におけるサイクル重みの間の対応を確立する。
• 一般化されたForman曲率 $ F_\omega(x) = Hx(x) - \sum_{y \neq x} \frac{\omega(y)}{\omega(x)} |Hy(x)| $ と一般化されたOllivier曲率 $ \omega(x)\kappa_\omega(x) = \inf \delta\delta^*\delta f(x) $（経路距離 $ \omega $ に基づく）を導入する。
• 双対性を適用し、2次セル重みに関して最小Forman曲率を最大化することは、Ollivier曲率に等しいことを示し、双対線形計画問題を用いる。
• 重み変換 $ m = 1/w $、$ \omega = \sqrt{w} $ を用いて、一般化されたForman曲率とFormanの元々の定義を一致させ、$ F_\omega(x) = F_{\text{original}}(x)/w(x) $ を示す。

実験結果

リサーチクエスチョン

• RQ1 Forman曲率の下界は、Hodgeラプラシアンの半群を用いて特徴付け可能か？
• RQ2 2次セルの重みに関してForman曲率を最大化する場合、Forman曲率とOllivier曲率が一致する条件は何か？
• RQ3 重み関数 $ \omega $ を用いて、Forman曲率とOllivier曲率を任意の経路距離に一般化できるか？
• RQ4 提案されたForman曲率とFormanの元々の定義との関係は何か？
• RQ5 一般化されたForman曲率の下界のもとで、どのような直径の上限が得られるか？

主な発見

• 定理 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 $ であることの同値性を確立し、Forman曲率の初めての半群的特徴付けを提供する。
• 推論 6.1（定理 6.1）は、$ \kappa(x) = \max_K F_K(x) $ を証明し、2次セル重みに関してForman曲率を最大化する場合、Ollivier曲率とForman曲率が正確に一致することを示す。
• 定理 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} $ が成り立ち、従来の上限を改善する。
• 一般化されたForman曲率 $ F_\omega $ とOllivier曲率 $ \kappa_\omega $ は双対線形計画問題として示され、最小Forman曲率の最大値はOllivier曲率に等しいことが示される。
• すべてのセル $ x $ に対して $ F_\omega(x) \leq \kappa_\omega(x) $ が成り立つことが示され、両曲率の一般不等式が確立される。
• $ m = 1/w $ および $ \omega = \sqrt{w} $ を用いることで、一般化されたForman曲率はFormanの元々の定義を回復し、それが一般化であることを確認する。