[论文解读] Torsion of digraphs and path complexes

Alexander Grigorʼyan, Yong Lin+1 more|arXiv (Cornell University)|Dec 14, 2020

Topological and Geometric Data Analysis参考文献 8被引用 6

一句话总结

本文通过路径同调理论，为有限有向图引入了Reidemeister torsion与解析 torsion，并证明了它们的相等性，推导出笛卡尔积与并集的有向图 torsion 的显式公式。主要贡献在于为有向图构建了一个统一的 torsion 理论，将经典 Reidemeister 与解析 torsion 推广至离散路径复形，并为复合结构（如单形与八面体）提供了闭式表达式。

ABSTRACT

We define the notions of Reidemeister torsion and analytic torsion for directed graphs by means of the path homology theory introduced by the authors in \cite{Grigoryan-Lin-Muranov-Yau2013, Grigoryan-Lin-Muranov-Yau2014, Grigoryan-Lin-Muranov-Yau2015, Grigoryan-Lin-Muranov-Yau2020}. We prove the identity of the two notions of torsions as well as obtain formulas for torsions of Cartesian products and joins of digraphs.

研究动机与目标

• 通过路径同调理论，将经典的 Reidemeister 与解析 torsion 概念推广至有限有向图。
• 通过同调基定义路径复形上的典范内积，从而实现 torsion 不变量的构造。
• 在存在非平凡同调的情况下，证明有向图中 Reidemeister 与解析 torsion 的恒等性。
• 推导出有向图笛卡尔积与并集 torsion 的显式公式，推广光滑拓扑中的已知结果。

提出的方法

• 使用顶点的有序序列作为基本路径，在有限顶点集上定义路径复形。
• 在路径空间上引入满足 ∂² = 0 的边界算子，构成链复形。
• 在 p-路径上构造 Hodge 拉普拉斯算子 Δp，并利用其正特征值定义解析 torsion。
• 利用链复形的 Künneth 公式分析乘积与并集的 torsion。
• 对并集构造使用增强链复形，以处理连通性与同调结构。
• 通过将 Ray-Singer 的论证扩展至离散路径复形，证明 Reidemeister 与解析 torsion 的恒等性。

实验结果

研究问题

• RQ1 能否通过路径同调在有限有向图上一致地定义 Reidemeister 与解析 torsion？
• RQ2 在路径复形的离散设定下，Reidemeister 与解析 torsion 的恒等性是否成立？
• RQ3 torsion 不变量在有向图的笛卡尔积与并集运算下如何表现？
• RQ4 复合有向图（如单形、立方体与八面体）的 torsion 显式公式是什么？

主要发现

• 如定理 3.14 所证，对任意有限有向图 G，Reidemeister torsion τ(G) 与解析 torsion T(G) 相等。
• 对于笛卡尔积 X□Y，torsion 满足 τ(X□Y) = τ(X)^{χ(Y)} ⋅ τ(Y)^{χ(X)} ⋅ |X|^{χ(Y)/2} ⋅ |Y|^{χ(X)/2}，其中 χ 表示欧拉示性数。
• 对于并集 X∗Y，torsion 为 T(X∗Y) = T(X)^{1−χ(Y)} ⋅ T(Y)^{1−χ(X)} ⋅ |X|^{(1−χ(Y))/2} ⋅ |Y|^{(1−χ(X))/2} ⋅ |X∗Y|^{1/2}，如推论 5.8 所述。
• 单个顶点 O 的 n 重并集的 torsion 为 T(O^{∗n}) = √n，如例 5.10 所示。
• 对两个顶点的不连通有向图 D 的 n 重并集，T(D^{∗n}) = √n ⋅ 2^{(1 + n(−1)^n)/2}，故 T(D^{∗2}) = 4 且 T(D^{∗3}) = √3 / 2。
• 对具有 m 个顶点的循环有向图 G（χ(G) = 0），其 n 重并集的 torsion 为 T(G^{∗n}) = √n ⋅ m^{(n+1)/2}，如例 5.12 所示。