[论文解读] Computing Homotopy Types of Directed Flag Complexes

Dejan Govc|arXiv (Cornell University)|Jun 9, 2020

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

一句话总结

本论文通过结合单纯形坍缩、同调计算和锥化操作的迭代计算过程，计算了线虫（Caenorhabditis elegans）神经网络的定向旗复形的同伦类型。研究结果表明，该复形同伦等价于一组球面的楔和——这是首次对任意脑网络的同伦类型进行完整确定——同时还在同一图的旗旋风复形中发现了挠率。

ABSTRACT

Combinatorially and stochastically defined simplicial complexes often have the homotopy type of a wedge of spheres. A prominent conjecture of Kahle quantifies this precisely for the case of random flag complexes. We explore whether such properties might extend to graphs arising from nature. We consider the brain network (as reconstructed by Varshney & al.) of the Caenorhabditis elegans nematode, an important model organism in biology. Using an iterative computational procedure based on elementary methods of algebraic topology, namely homology, simplicial collapses and coning operations, we show that its directed flag complex is homotopy equivalent to a wedge of spheres, completely determining, for the first time, the homotopy type of a flag complex corresponding to a brain network. We also consider the corresponding flag tournaplex and show that torsion can be found in the homology of its local directionality filtration. As a toy example, directed flag complexes of tournaments from McKay's collection are classified up to homotopy. Moore spaces other than spheres occur in this classification. As a tool, we prove that the fundamental group of the directed flag complex of any tournament is free by considering its cell structure.

研究动机与目标

• 确定线虫（C. elegans）神经网络的定向旗复形的同伦类型，这是一个此前未被完全从拓扑角度分析过的自然系统。
• 将已知的关于随机旗复形（其同伦类型通常为球面的楔和）的结果拓展至真实生物网络。
• 开发并实现一种系统性计算方法，能够通过坍缩、同调检测和锥化操作简化大型定向旗复形。
• 探究在真实自然网络的定向旗复形和旋风复形的整数同调中是否会出现挠率。
• 探索现实世界有向图的结构性质（如自同构）是否与同伦类型等拓扑性质相关。

提出的方法

• 在 Mathematica 中实现了一条迭代计算流水线，通过连续的单纯形坍缩来简化定向旗复形。
• 利用同调计算检测简化过程中每一阶段的球面循环（非平凡同调的生成元）。
• 对识别出的球面分量应用锥化操作，将其分离出去，从而在保持同伦类型的同时减少复形复杂度。
• 该过程通过启发式方法引导，例如使用贪心子复形构造法进行锥化，以及利用相对同调进行中间验证。
• 在 ℤ 上计算整数同调以检测挠率，并与先前的 ℤ₂ 同调结果进行比较。
• 通过成功将线虫复形简化为一个点，验证了该方法，确认其同伦等价于一组球面的楔和。

实验结果

研究问题

• RQ1 线虫神经网络的定向旗复形是否同伦等价于一组球面的楔和？
• RQ2 是否能在真实生物网络的旗旋风复形的整数同调中检测到挠率？
• RQ3 自然有向图（如线虫）的拓扑丰富性是否与 Erdős-Rényi 随机图存在显著差异？
• RQ4 基于坍缩、同调和锥化操作的迭代计算过程能否有效确定大型定向旗复形的同伦类型？
• RQ5 图中是否存在结构性不变量（如自同构），其与同伦类型或挠率等拓扑特征相关？

主要发现

• 线虫图的定向旗复形同伦等价于一组球面的楔和，且本研究首次完整确定了其同伦类型。
• 该复形的有理贝蒂数与 ℤ₂ 上的贝蒂数一致，其整数同调中未发现挠率。
• 在 C. elegans 图的旗旋风复形中检测到挠率，具体出现在局部方向性过滤的 d ∈ [2,10) 范围内，表明在低过滤水平下存在非球面的拓扑结构。
• 旗旋风复形在 0 到 7 的每个度数上均有非平凡同调，贝蒂数范围从 1 到 2652，显示出丰富的拓扑结构。
• 来自 McKay 收集的锦标赛的定向旗复形包含超出球面的莫尔斯空间，表明并非所有此类复形都是球面的楔和。
• 线虫图的自同构群为 ℤ₂ ⊕ ℤ₂，其中 275 个顶点可通过双度和邻接结构唯一识别。