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

Alexander Grigorʼyan, Yong Lin+2 more|arXiv (Cornell University)|Jul 12, 2012

Topological and Geometric Data Analysis参考文献 12被引用 36

一句话总结

本文为有向图（digraphs）和路径复形（path complexes）引入了路径同调理论，后者是单纯复形的推广。该理论基于顶点序列上的边界算子 ∂，建立了与同调对偶的上同调理论，通过外微分 d 实现。证明了在并积与笛卡尔积下均成立的 Künneth 公式，并表明路径同调能够捕捉传统单纯同调失效时有向图中非平凡的高维拓扑结构。

ABSTRACT

In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.

研究动机与目标

• 为有向图（digraphs）开发一种同调理论，以捕捉单纯同调无法涵盖的非平凡高维拓扑特征。
• 通过路径复形（定义为在截断操作下封闭的顶点序列集合）推广单纯复形。
• 利用边界算子 ∂ 和外微分 d，建立同调与上同调之间的对偶性。
• 证明路径复形在并积与笛卡尔积运算下的 Künneth 公式，确保函子性与结构丰富性。
• 证明路径同调能够检测拓扑空洞以及维数、链空间维数和连通分支等结构不变量。

提出的方法

• 将路径复形定义为顶点集 V 上有限序列（路径）的集合，且在移除首或尾顶点时保持封闭。
• 引入作用于路径的边界算子 ∂，使路径空间构成一个链复形。
• 通过在顶点上的函数上定义外微分 d，建立与 ∂ 对偶的上同调理论。
• 将路径同调群 Hp 定义为链复形 (Ωp, ∂) 的同调，将上同调群 Hp 定义为复形 (Ωp, d) 的上同调。
• 利用锯齿引理（zigzag lemma）为子复形与商复形推导出同调与上同调的长正合序列。
• 通过张量积结构及 ∂ 和 d 的不变性，证明路径复形在并积与笛卡尔积下的 Künneth 公式。

实验结果

研究问题

• RQ1 能否为有向图定义一种同调理论，以捕捉超越一维的非平凡高维拓扑结构？
• RQ2 有向图的路径同调如何与它的底层单纯结构及经典同调理论相关联？
• RQ3 在此新同调框架下，Künneth 公式是否对有向图的并积与笛卡尔积均成立？
• RQ4 外微分 d 在定义与路径同调对偶的上同调理论中起什么作用？
• RQ5 顶点移除或三角剖分等操作如何影响路径复形的同调群？

主要发现

• 有向图的路径同调在所有维数上均非平凡，而图的单纯同调在维数高于 1 时则消失。
• 由单纯复形导出的路径复形的路径同调与该单纯复形的单纯同调一致，验证了该推广的合理性。
• Künneth 公式在路径复形的并积与笛卡尔积下均成立，确保与标准拓扑构造的兼容性。
• 通过外微分 d 定义的上同调理论与通过 ∂ 定义的同调理论对偶，满足 d² = 0，且 d(ω) = 0 意味着微分形式闭合。
• p-形式空间的维数 dim Ωp 是有向图的一个非平凡不变量，仅在特定结构条件下为零。
• 锯齿引理导出子复形与商复形的同调与上同调的长正合序列，从而支持对路径复形的结构分析。