[論文レビュー] Homotopy equivalence of isospectral graphs

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

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

ひとこと要約

この論文は、有向グラフの圏（Gph）にクイレンモデル構造を確立し、ホモトピー圏 Ho(Gph) が周期的 Z-集合の圏 cZSet に同値であることを示している。このモデル構造において、2つの有限有向グラフがホモトピー同値であるための必要十分条件は、それらがほとんど同スペクトル的（almost-isospectral）であること、すなわち同じ逆特徴多項式とゼータ級数を持つことである。これにより、グラフのスペクトル的不変量が導来函手とクイレン同値を通じてホモトピー論に結びつけられる。

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）にクイレンモデル構造を定義・分析し、グラフ理論におけるホモトピー論的メソッドの適用を可能にする。
• ホモトピー圏 Ho(Gph) が導来函手とクイレン同値を通じて、周期的 Z-集合の圏 cZSet に同値であることを示す。
• スペクトル的不変量（逆特徴多項式、ゼータ級数）と Gph におけるホモトピー同値性との間の明確な対応関係を確立する。
• 有限グラフがこのモデル構造においてホモトピー同値であるのは、ちょうどそれらがほとんど同スペクトル的であるときであることを示す。
• 随伴函手と cofibrantly-generated モデル構造の輸送を用いて、Gph から関連圏（NSet, ZSet）へのモデル構造の拡張を行う。

提案手法

• Gph をループと多重弧を許す有向グラフのプレシャーフォイドトポスとして定義し、随伴函手を介して部分圏 NGph および ZGph がそれぞれ NSet および ZSet と同値であることを特定する。
• サイクルを保存する準同型（acyclic morphisms）、ツリーの付加（whiskerings）、および cofibrantly-generated 公理を用いて、Gph にクイレンモデル構造を構成する。
• 随伴三つ組 (F, G, H) を用いて、Gph から NSet および ZSet へのモデル構造を輸送し、cofibrant および fibrant 物体が保存されることを保証する。
• 各グラフにその双無限パスの集合を割り当てる函手 H: Gph → ZSet を用いてホモトピー函手を定義し、全左導来函手を導出する。
• cZSet（自明なモデル構造を備える）と Ho(Gph) の間のクイレン同値性を確立し、導来函手 H'' を通じて Ho(Gph) ≅ cZSet を証明する。
• ほとんど有限なグラフ X に対して、その Z-集合 H(X) のゼータ級数として、X のゼータ級数 Z_X(u) を定義し、スペクトルデータとホモトピー不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー論は、Gph におけるクイレンモデル構造を通じて、有向グラフの圏にどのように応用可能か？
• RQ2 Gph におけるクイレンモデル構造と関連するホモトピー圏 Ho(Gph) の正確な構造は何か？
• RQ3 逆特徴多項式やゼータ級数といったスペクトル的不変量は、Gph におけるホモトピー同値性をどの程度分類できるか？
• RQ4 N-集合と Z-集合の圏は、クイレン同値性と導来函手を通じて Gph とどのように関係しているか？
• RQ5 ほとんど同スペクトル的性質と有限有向グラフにおけるホモトピー同値性の関係は何か？

主な発見

• ホモトピー圏 Ho(Gph) は、パス函手 H の導来函手を通じて、周期的 Z-集合の圏 cZSet にクイレン同値である。
• 2つの有限有向グラフがこのモデル構造においてホモトピー同値であるための必要十分条件は、それらがほとんど同スペクトル的であること、すなわち同じ逆特徴多項式を持つことである。
• 有限グラフ X のゼータ級数 Z_X(u) は、その関連 Z-集合 H(X) のゼータ級数に等しく、2つのグラフがほとんど同スペクトル的であることと Z_X(u) = Z_Y(u) が同値である。
• クロス・グラフと無向 4-サイクル U C₄ は、スペクトルが異なるにもかかわらず、同じ逆特徴多項式 1 - 4u² を共有するため、ホモトピー同値である。
• サイクル C_{2n} からクロスまたは U C₄ へのグラフ準同型の数は、ちょうど 2^{2n+1} 個であり、ゼータ級数 Z(u) = (1 - 4u²)^{-1} が予測する通りである。
• ホモトピー圏 Ho(Gph) は Ho(NSet) および Ho(ZSet) と同値であり、これらすべてが Ho(cZSet) とクイレン同値である。これにより、グラフ不変量の整合的なホモトピー論的枠組みが確立される。