[论文解读] The homotopy type of complexes of graph homomorphisms between cycles

Sonja Lj. Čukić, Dmitry N. Kozlov|ArXiv.org|Aug 2, 2004

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

一句话总结

本文确定了循环图之间图同态复形的同伦类型，证明了 $\texttt{Hom}(C_m, C_n)$ 的每个连通分支要么是点，要么同伦等价于 $S^1$。通过离散莫代尔理论以及一种新颖的基于圆周上标记点与成对点的单元编码方法，作者证明了复形 $\texttt{Hom}(C_m, L_n)$（其中 $L_n$ 为一条形图）要么为空，要么同伦等价于两个点。

ABSTRACT

In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$. Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.

研究动机与目标

• 确定两个循环图之间图同态复形 $\texttt{Hom}(C_m, C_n)$ 的同伦类型。
• 基于 $C_m$ 绕 $C_n$ 的带符号环绕数，对 $\texttt{Hom}(C_m, C_n)$ 的连通分支进行分类。
• 分析 $\texttt{Hom}(C_m, L_n)$ 的同伦类型，其中 $L_n$ 是具有 $n$ 个顶点的路径型树。
• 为 $\texttt{Hom}(C_m, C_n)$ 中的单元开发一种新的组合编码系统，以促进同伦类型分析。
• 证明 $\texttt{Hom}(C_m, C_n)$ 的所有非退化分支均同伦等价于 $S^1$，推广了早期的计算观察结果。

提出的方法

• 引入一种新颖的 $\texttt{Hom}(C_m, C_n)$ 中单元的编码方法，使用长度为 $m$ 的圆周上的标记点与点对集合。
• 将单元复形中的边界关系转化为这种组合语言，以建模复形的结构。
• 通过在单元的偏序集上构造一个部分无环匹配，将离散莫代尔理论应用于单元复形。
• 定义匹配映射 $R$、$R^+$ 和函数 $\nu$，以识别临界单元并折叠非临界单元。
• 利用代数拓扑中的同伦粘合构造，将可缩子复形组合起来，推导出全局同伦类型。
• 利用在第二个变量中折叠保持同伦类型的事实，特别是对 $L_n$，将 $\texttt{Hom}(C_m, L_n)$ 简化为更简单的情形。

实验结果

研究问题

• RQ1 对于循环图 $C_m$ 与 $C_n$，$\texttt{Hom}(C_m, C_n)$ 的每个连通分支的同伦类型是什么？
• RQ2 $\texttt{Hom}(C_m, C_n)$ 的连通分支如何与 $m$ 和 $n$ 的环绕数及奇偶性相关联？
• RQ3 $\texttt{Hom}(C_m, L_n)$（其中 $L_n$ 为一条形图）是否总是同伦等价于两个点或为空？
• RQ4 能否通过 $\texttt{Hom}(C_m, C_n)$ 中单元的新组合编码系统，实现对其同伦类型的系统性分析？
• RQ5 将离散莫代尔理论应用于该编码时，是否能对这些复形的同伦类型实现完整分类？

主要发现

• 每个 $\texttt{Hom}(C_m, C_n)$ 的连通分支要么是单个点，要么同伦等价于 $S^1$。
• 分支由 $C_m$ 绕 $C_n$ 的带符号环绕次数索引，当 $m$ 与 $n$ 均为偶数时需满足奇偶性条件。
• 当 $n$ 整除 $m$ 时，对应于 $m/n$-重环绕的分支是单个点，因为同态中无自由度。
• $\texttt{Hom}(C_m, L_n)$ 要么为空，要么同伦等价于两个点的不相交并。
• $\texttt{Hom}(C_{2m}, L_n)$ 同伦等价于两个点，这是通过在单元分解上构造可缩匹配而证明的。
• 在 $\texttt{Hom}(C_m, C_n)$ 上的离散莫代尔匹配中，唯一的临界单元是对应于标准同态的特定 $m$-元组，从而证明了关键子复形的可缩性。