[论文解读] Homotopy equivalence of isospectral graphs

Terrence Bisson, Aristide Tsemo|ArXiv.org|Jun 22, 2009

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

一句话总结

本文在有向图范畴（Gph）上建立了Quillen模型结构，表明其同伦范畴Ho(Gph)同构于周期Z-集范畴（cZSet）。研究证明，两个有限有向图在此模型结构下同伦等价当且仅当它们是近乎同谱的，即共享相同的反向特征多项式与Zeta级数，从而通过导出函子与Quillen等价性，将图的谱不变量与同伦理论联系起来。

ABSTRACT

In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model structure. We endow the categories of N-sets and Z-sets with related model structures, and show that their homotopy categories are Quillen equivalent to the homotopy category Ho(Gph). This enables us to show that Ho(Gph) is equivalent to the category cZSet of periodic Z-sets, and to show that two finite directed graphs are almost-isospectral if and only if they are homotopy-equivalent in our sense.

研究动机与目标

• 在有向图范畴（Gph）上定义并分析一个Quillen模型结构，以在图论中引入同伦理论方法。
• 通过导出函子与Quillen等价性，证明同伦范畴Ho(Gph)与周期Z-集范畴cZSet同构。
• 在图的谱不变量（反向特征多项式、Zeta级数）与Gph中的同伦等价性之间建立精确对应关系。
• 证明有限图在此模型结构中同伦等价当且仅当它们是近乎同谱的。
• 通过伴随函子与投射生成模型结构的传递方法，将该模型结构从Gph扩展至相关范畴（NSet, ZSet）。

提出的方法

• 将Gph定义为带环与多重边的有向图的预层拓扑，通过伴随函子识别子范畴NGph与ZGph，使其分别与NSet与ZSet等价。
• 利用可约同态（保持环结构）、束发（树附着）及投射生成公理，在Gph上构造Quillen模型结构。
• 通过伴随三元组（F, G, H）将模型结构从Gph传递至NSet与ZSet，确保投射对象与纤维对象被保持。
• 使用函子H: Gph → ZSet，为每个图分配其双无限路径集合，以定义同伦函子并导出总左导出函子。
• 建立cZSet（配备平凡模型结构）与Ho(Gph)之间的Quillen等价性，通过导出函子H''证明Ho(Gph) ≅ cZSet。
• 为近乎有限图X定义其Zeta级数Z_X(u)为H(X)的Zeta级数，从而将谱数据与同伦不变量联系起来。

实验结果

研究问题

• RQ1 如何通过Gph上的Quillen模型结构将同伦理论应用于有向图范畴？
• RQ2 与Gph上Quillen模型结构相关的同伦范畴Ho(Gph)的精确结构是什么？
• RQ3 诸如反向特征多项式与Zeta级数等谱不变量在多大程度上能分类Gph中的同伦等价性？
• RQ4 N-集与Z-集范畴如何通过Quillen等价性与导出函子与Gph相关联？
• RQ5 近乎同谱性与有限有向图中同伦等价性之间存在何种关系？

主要发现

• 同伦范畴Ho(Gph)与周期Z-集范畴cZSet同构，通过路径函子H的导出函子建立的Quillen等价性实现。
• 两个有限有向图在此模型结构中同伦等价当且仅当它们是近乎同谱的，即共享相同的反向特征多项式。
• 有限图X的Zeta级数Z_X(u)等于其关联Z-集H(X)的Zeta级数，且两图近乎同谱当且仅当Z_X(u) = Z_Y(u)。
• 交叉图（Cross graph）与无向4-环U C₄尽管谱不同，但因共享相同的反向特征多项式1 - 4u²，故为同伦等价。
• 从循环图C_{2n}到交叉图或U C₄的图同态数量恰好为2^{2n+1}，与Zeta级数Z(u) = (1 - 4u²)^{-1}的预测一致。
• 同伦范畴Ho(Gph)同构于Ho(NSet)与Ho(ZSet)，且三者均与Ho(cZSet)Quillen等价，从而为图不变量建立了统一的同伦理论框架。