[论文解读] Analysis of Dirichlet forms on graphs

Sebastian Haeseler|arXiv (Cornell University)|May 17, 2017

Graph Labeling and Dimension Problems参考文献 1被引用 8

一句话总结

本文通过结合离散图论与连续势论技术，提出了一套统一的框架，用于分析度量图上的Dirichlet型。它引入了能量空间在边局部化与顶点相关分量之间的分解，证明了完整Dirichlet型的常返性等价于相关离散图Dirichlet型的常返性，并通过谱方法显式计算了迹Dirichlet型与Feller测度。

ABSTRACT

In this thesis, we study connections between metric and combinatorial graphs from a Dirichlet space point of view.

研究动机与目标

• 通过整合离散图Dirichlet型方法与局部Dirichlet空间理论，统一分析度量图上的Dirichlet型。
• 为具有内在度量与权值的度量图构建严谨的分析框架，使其可作为拓扑空间，支持扩散与跳跃过程的研究。
• 通过其离散对应形式，表征度量图上Dirichlet型的常返性与遍历性，消除如边长有界等假设。
• 显式计算迹Dirichlet型与Feller测度，从而基于离散图型提出新的常返性判别准则。

提出的方法

• 将拓扑图定义为射线的局部有限并集，通过CW复形构造，确保与度量与拓扑结构相容。
• 通过边长权重定义路径度量，并利用长度变换对边度量进行归一化，实现跨图比较。
• 应用Beurling-Deny公式，将Dirichlet型分解为扩散部分（Sobolev型能量）与离散部分（跳跃/消亡项）。
• 以边上绝对连续性与顶点处连续性替代可微性，从而定义能量空间。
• 通过能量空间在边局部函数与顶点上调和函数之间的正交分解，推导迹Dirichlet型。
• 利用预解核显式计算Feller测度，并证明Kirchhoff型与Feller测度之和即为完整的$α$-预解型。

实验结果

研究问题

• RQ1 如何系统地将度量图上的Dirichlet型分解为连续与离散分量？
• RQ2 什么条件可确保度量图上Dirichlet型的常返性？其与相关离散图Dirichlet型的常返性有何关联？
• RQ3 度量图上的迹Dirichlet型能否显式计算，并与底层离散图结构相关联？
• RQ4 在度量图上的反射过程背景下，Feller测度如何产生？其在表征常返性中起何作用？
• RQ5 在使用该框架分析量子图时，能否在多大程度上消除如边长一致有界等假设？

主要发现

• 图Dirichlet型的能量空间可正交分解为在顶点处消失的边局部化函数，以及在每条边上为线性的调和函数。
• 若函数属于扩展Dirichlet空间，则其属于迹空间当且仅当其在顶点集上的限制属于离散Dirichlet型的定义域。
• 迹Dirichlet型通过限制映射与顶点集上的离散Dirichlet型之间存在等距同构。
• Feller测度$U_\alpha$满足$\mathcal{Q}_\alpha = \mathcal{Q}_0 + U_\alpha$在$\mathcal{C}_c(\mathfrak{V})$上成立，显式关联了$α$-预解型与Kirchhoff型。
• 完整Dirichlet型的常返性等价于相关离散Dirichlet型$\mathcal{Q} + \mathcal{Q}_0$的常返性，从而基于离散图提出了新的常返性判别准则。
• 该框架可消除量子图理论中常见的边长一致有界假设，使一般度量图的分析不再受此类约束。