[論文レビュー] 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$ にホモトピー同値であることを証明する。離散モース理論と、円周上のマーク済み点およびペアリングされた点を用いた新しい細胞の符号化手法を用いて、$L_n$ がストリンググラフであるときの複体 $\texttt{Hom}(C_m, L_n)$ が空または2点の disjoint union にホモトピー同値であることを確立する。

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.

研究の動機と目的

• 2つのサイクル間のグラフホモロジー複体 $\texttt{Hom}(C_m, C_n)$ のホモトピー型を特定すること。
• $C_m$ が $C_n$ の周りを何周するかを示す符号付きラッピング数に基づいて、$\texttt{Hom}(C_m, C_n)$ の連結成分を分類すること。
• $L_n$ が $n$ 個の頂点を持つパス型の木であるとき、$\texttt{Hom}(C_m, L_n)$ のホモトピー型を分析すること。
• $\texttt{Hom}(C_m, C_n)$ の細胞に対する新しい組合せ的符号化システムを構築し、ホモトピー型の分析を容易にすること。
• すべての非退化成分が $S^1$ にホモトピー同値であることを証明し、以前の計算的観察を一般化すること。

提案手法

• 長さ $m$ の円周上にマーク済み点と点のペアを用いた、$\texttt{Hom}(C_m, C_n)$ の細胞に対する新しい符号化手法を導入する。
• 細胞複体における境界関係をこの組合せ的言語に翻訳し、複体の構造をモデル化する。
• 細胞の半順序集合に部分的かつ非巡回的マッチングを構成することで、細胞複体に離散モース理論を適用する。
• 臨界細胞を特定し、非臨界細胞を圧縮するために、マッチング写像 $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 $L_n$ がストリンググラフであるとき、$\texttt{Hom}(C_m, L_n)$ は常に2点の disjoint union にホモトピー同値であるか、または空であるか？
• 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)$ は空または2点の disjoint union にホモトピー同値である。
• $\texttt{Hom}(C_{2m}, L_n)$ は2点にホモトピー同値である。これは細胞分解における収縮可能なマッチングにより示される。
• 離散モースマッチングにおいて $\texttt{Hom}(C_m, C_n)$ の唯一の臨界細胞は、標準的ホモロジー写像に対応する特定の $m$-重である。これにより、重要な部分複体の収縮性が証明される。