[論文レビュー] On the power graph of a finite group

Min Feng, Xuanlong Ma+1 more|arXiv (Cornell University)|Apr 21, 2014

Graph Labeling and Dimension Problems参考文献 15被引用数 5

ひとこと要約

本稿では、巡回部分群上の順序集合（poset）構造と推移的向き付けを活用することで、有限群のべきグラフのメトリック次元の閉形式の公式を確立している。べきグラフは完全コアを備えた完全グラフかつ比較可能性グラフであることが証明され、群の素因数分解に基づいて巡回群の正確なメトリック次元値が導出されている。

ABSTRACT

The power graph $\mathcal P_G$ of a finite group $G$ is the graph with the vertex set $G$, where two elements are adjacent if one is a power of the other. We first show that $\mathcal P_G$ has an transitive orientation, so it is a perfect graph and its core is a complete graph. Then we use the poset on all cyclic subgroups (under usual inclusion) to characterise the structure of $\mathcal P_G$. Finally, the closed formula for the metric dimension of $\mathcal P_G$ is established. As an application, we compute the metric dimension of the power graph of a cyclic group.

研究の動機と目的

• 有限群のべきグラフをその巡回部分群の部分順序集合（poset）を用いて特徴付けること。
• べきグラフが推移的向き付けを許容することを証明し、比較可能性グラフかつ完全グラフ（完全コア付き）としての性質を確立すること。
• 任意の有限群のべきグラフのメトリック次元に対する閉形式の式を導出すること。
• 群の素因数分解を用いて、巡回群のべきグラフのメトリック次元を明示的に計算すること。

提案手法

• 生成元の辞書式順序と部分群包含関係を用いて、べきグラフに推移的向き付けを構成する。
• 巡回部分群内の生成元のインデックスと真部分群の包含関係に基づいて、群の元に部分順序を定義する。
• 得られた向き付けが推移的であり、比較可能性グラフ構造を誘導することを証明する。
• 巡回部分群の順序集合を用いて、べきグラフのグローバル構造を特徴付ける。
• 普遍頂点と最大の対合元を組み合わせて、解消集合を構築する。
• 組み合わせ的群論および巡回群の性質を応用して、最終的な閉形式の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限群のべきグラフは比較可能性グラフであり、推移的向き付けを許容するか？
• RQ2 べきグラフの構造は、その巡回部分群の順序集合（poset）を用いて完全に特徴付けられるか？
• RQ3 有限群のべきグラフのメトリック次元は何か？ そして、閉形式で表現可能か？
• RQ4 巡回群のべきグラフのメトリック次元は、その素因数分解にどのように依存するか？
• RQ5 対合元と普遍頂点は、最小の解消集合を構築する上で果たす役割は何か？

主な発見

• 任意の有限群のべきグラフは推移的向き付けを許容し、完全コアを備えた比較可能性グラフかつ完全グラフである。
• べきグラフの構造は、包含関係に関するその巡回部分群の順序集合によって完全に決定される。
• 有限群のべきグラフのメトリック次元に対する閉形式の公式が確立された。
• 巡回群 $ Z_n $ の順序が $ n = p_1^{r_1} \cdots p_t^{r_t} $ である場合、$ t=1 $ ならば $ n-1 $、$ t=2 $、$ p_1=2 $、$ r_1=1 $ ならば $ n-2r_2 $、$ t=2 $、$ p_1=2 $、$ r_2=1 $ ならば $ n-2r_1 $、それ以外の場合は $ n+1 - \prod_{i=1}^t (r_i+1) $ となる。
• 巡回群のべきグラフのメトリック次元は、普遍頂点と最大の対合元の数を用いて導出され、群の素因数分解に明示的な依存関係を示している。