[論文レビュー] The critical group of a line graph

Andrew Berget, Andrew Manion+3 more|arXiv (Cornell University)|Apr 8, 2009

Graph theory and applications被引用数 5

ひとこと要約

本稿は線グラフの臨界群の構造を調査し、3つの主要な構造的結果を確立する：(1) 2辺連結なグラフに対しては、線グラフの臨界群は、元のグラフのサイクルランクと等しいβ(G)個の生成元で生成可能である；(2) 各素数pに対して、臨界群のp-primary成分は、隣接頂点の次数和をすべて割り切る最大のpのべきで制約を受ける；(3) 正則で非二部グラフの場合、グラフとその線グラフの臨界群は、正確な系列を通じて互いに決定され合い、特にプラトン立体のような特別な場合に明示的な同型写像が得られる。

ABSTRACT

The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph. The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices. The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups. The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.

研究の動機と目的

• 線グラフの臨界群の構造が元のグラフとどのように関係するかを理解すること。
• 特に2辺連結性の下で、線グラフの臨界群の生成元数の上限を特定すること。
• 次数和の割り切り可能性に基づいて、臨界群のp-primary成分に課される制約を導出すること。
• 正則で非二部グラフの場合、そのグラフと線グラフの臨界群の間の正確な関係を確立すること。
• 完全グラフ、完全二部グラフ、立方体、プラトン立体などの具体的な族にこれらの結果を適用すること。

提案手法

• ラプラシアン行列とサイクル・ボンド双対性から導かれる辺と頂点の接続関係に基づく、線グラフの臨界群の提示を用いる。
• 有理直交分解とポントリャーギン双対性を適用し、臨界群を有限アーベル群としての構造を分析する。
• 函子的性質と準同型写像の解析を用いて、グラフの臨界群とその線グラフの臨界群との関係を、特に核と余核の計算を通じて関係づける。
• 臨界群間の準同型写像fを導入し、その核と余核がd-torsionであることを証明し、p-primary成分の制御を可能にする。
• 辺の分割に関する結果と既知の生成木の数え上げ結果を応用し、正則グラフにおける臨界群の関係を精緻化する。
• 対称グラフ（例：完全グラフ、プラトン立体）の明示的計算と構造的性質を用いて、一般定理の検証と図示を行う。

実験結果

リサーチクエスチョン

• RQ1 2辺連結なグラフにおける独立サイクルの数は、その線グラフの臨界群の生成元数にどのように制限をかけるか？
• RQ2 素数のべきpがすべての隣接頂点対v,wについてdeg(v)+deg(w)を割り切る場合、線グラフの臨界群のp-primary構造にどのような制約が生じるか？
• RQ3 正則で非二部グラフとその線グラフの臨界群は、どのような方法で互いに決定し合うか？
• RQ4 正則グラフにおける既知の生成木の数え上げ結果は、グラフとその線グラフの臨界群の間の正確な同型写像にどのように拡張されるか？
• RQ5 特にドデカドンとイコサホドンに関して、プラトン立体の線グラフの臨界群の正確な構造は何か？

主な発見

• 任意の2辺連結グラフGに対して、その線グラフの臨界群は、K(G)と同様にβ(G)個以下の要素で生成可能である。
• 各素数pに対して、K(line G)のp-primary成分は、Gのすべての隣接頂点対v,wについてdeg(v)+deg(w)を割り切る最大のkに対応するp^kによって制約を受ける。
• 正則で非二部グラフの場合、グラフの臨界群と線グラフの臨界群は、単純かつ明示的な方法で同型であり、K(line G)はK(G)を既知の正確な系列を通じて決定できる。
• ドデカドンとイコサホドンに関して、K(G_dodeca)とK(G_icosa)は両方ともZ_2 ⊕ Z_4^4 ⊕ Z_3^4 ⊕ Z_5^3に同型であり、それぞれの線グラフの臨界群はZ_2^6 ⊕ Z_4 ⊕ Z_8^4 ⊕ Z_3^5 ⊕ Z_9^4 ⊕ Z_5^3およびZ_2^14 ⊕ Z_4 ⊕ Z_8^4 ⊕ Z_3^4 ⊕ Z_5^14 ⊕ Z_25^3として明示的に計算されている。
• 立方体と八面体に関しては、K(G_cube) = K(G_octa) = Z_2 ⊕ Z_8 ⊕ Z_24であり、K(line G_octa) = Z_2^2 ⊕ Z_8^2 ⊕ Z_16 ⊕ Z_64 ⊕ Z_192である。これは、一般枠組みの強力さを示している。