[论文解读] Calculus on Graphs

Joel Friedman, Jean–Pierre Tillich|arXiv (Cornell University)|Aug 12, 2004

Spectral Theory in Mathematical Physics参考文献 34被引用 22

一句话总结

本文提出了一种图上的新型微分 calculus 框架，使偏微分方程的表述成为可能，包括一种基于拉普拉斯算子的新波方程。该研究在图论与分析之间建立了分析性联系，从而改进了图直径和特征值的界，并将非线性 p-拉普拉斯理论中的技术扩展到离散结构中。

ABSTRACT

The purpose of this paper is to develop a calculus on graphs that allows graph theory to have new connections to analysis. For example, our framework gives rise to many new partial differential equations on graphs, most notably a new (Laplacian based) wave equation; this wave equation gives rise to a partial improvement on the Chung-Faber-Manteuffel diameter/eigenvalue bound in graph theory, and the Chung-Grigoryan-Yau and (in a certain case) Bobkov-Ledoux distance/eigenvalue bounds in analysis. Our framework also allows most techniques for the non-linear p-Laplacian in analysis to be easily carried over to graph theory.

研究动机与目标

• 开发一种在图上建立图论与分析之间桥梁的微分 calculus 框架。
• 在图上推导新的偏微分方程，特别是基于拉普拉斯算子的波方程。
• 改进图论中已知的界，例如 Chung-Faber-Manteuffel 的图直径/特征值界。
• 将非线性 p-拉普拉斯分析中的技术从连续分析扩展到离散图设置。
• 使用图上的微分算子建立图论问题的分析工具。

提出的方法

• 形式化定义图拉普拉斯算子，以在图上定义微分算子。
• 使用图拉普拉斯算子作为空间算子，构建一个新的波方程。
• 将连续 PDE 理论中的分析技术应用于离散图设置。
• 利用谱图论将拉普拉斯算子的特征值与图的性质（如直径）联系起来。
• 将分析中非线性 p-拉普拉斯的方法适应到图的语境中。
• 建立图距离、特征值与图上函数不等式之间的联系。

实验结果

研究问题

• RQ1 如何在图上构建一个微分 calculus 框架，以实现对 PDE 的分析？
• RQ2 在此图微分 calculus 框架下，会涌现出哪些新的偏微分方程，特别是波类型的方程？
• RQ3 该框架能否改进已知的图直径与特征值之间关系的界？
• RQ4 从非线性 p-拉普拉斯分析中获得的技术在多大程度上可以转移到图上？
• RQ5 Bobkov-Ledoux 和 Chung-Grigoryan-Yau 类型的函数不等式在此框架下如何在图上表现？

主要发现

• 在图上提出了一个新的基于拉普拉斯算子的波方程，将连续 PDE 理论扩展到了离散结构。
• 该框架在图论中对 Chung-Faber-Manteuffel 的图直径/特征值界实现了部分改进。
• 在图设置的特定情况下，Chung-Grigoryan-Yau 的距离/特征值界被恢复并得到扩展。
• 在特定条件下，Bobkov-Ledoux 的距离/特征值界被推广到图上。
• 分析中非线性 p-拉普拉斯技术成功地被适应到图论语境中。
• 该框架在图的谱性质与几何/图论不变量之间建立了新的分析性联系。