[論文レビュー] On Difference of Enhanced Power Graph and Power Graph of a Finite Group

Sucharita Biswas, Peter J‎. Cameron+2 more|arXiv (Cornell University)|Jun 24, 2022

graph theory and CDMA systems被引用数 4

ひとこと要約

本稿では、有限群 $G$ の強化べきグラフからべきグラフを差し引いたものとして定義される差グラフ $D(G)$ を導入し、孤立頂点を除いたものとする。$D(G)$ の連結性と完璧性に関する主要な結果を確立し、非 $p$-群で中心が非自明な群に対して $D(G)$ が連結であることを示し、アーベル群や $pq$、$p^2q$、$p^3q$、$pqr$ の位数の群を含むさまざまな群に対して $D(G)$ が完璧であることを示している。さらに、べき等群についての完全な分類がなされている。

ABSTRACT

The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.

研究の動機と目的

• 有限群 $G$ の強化べきグラフからべきグラフの辺を除いた差グラフ $D(G)$ を定義し、その分析を行う。
• 対称群、交代群、二面体群、直積群などを含むさまざまなクラスの有限群について、$D(G)$ の連結性を調査する。
• アーベル群、べき等群、小位数群に対して、$D(G)$ が完璧であるための条件を特定する。
• $D(G)$ と $G$ の Gruenberg–Kegel グラフとの関係を探索し、特に群の構造と素因数分解との関連を明らかにする。
• 有限群 $G$ に対して $D(G)$ が完璧となる条件を分類し、$D(G)$ の構造に関する未解決問題を特定する。

提案手法

• 頂点集合が $G$ で、強化べきグラフに含まれるがべきグラフに含まれない辺を持つグラフとして $D(G)$ を定義し、孤立頂点を除く。
• 要素の位数、巡回部分群、中心の構造といった群論的性質を用いて、$D(G)$ の隣接性と連結性を分析する。
• 特に単純群に対しては、ツイン削減とグラフ論的技法（例えばココーン解析）を用いて大規模な差グラフを簡略化する。
• GAP と GRAPE の計算ツールを活用して、小規模な有限単純群の $D(G)$ を分析し、完璧性と連結性を検証する。
• 素因数と要素の位数を通じて、$D(G)$ と Gruenberg–Kegel グラフとの関係を確立する。
• EPPO 群の分類、Sylow 部分群、直積など、構造的群論を用いて、連結性と完璧性の条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 中心が自明な有限群 $G$ に対して、$D(G)$ が連結である場合、直径が 6 を超えることは可能か？
• RQ2 有限群 $G$ に対して差グラフ $D(G)$ が完璧となる必要十分条件は何か？
• RQ3 赤、緑、青の色分けが施された完全グラフ（赤：べきグラフの辺、緑：差グラフの辺、青：強化べきグラフに存在しない辺）を有限群 $G$ に埋め込むことは可能か？
• RQ4 特に $G = G_1 \times G_2 \times G_3$ のような直積群に対して、$D(G)$ が連結となる条件は何か？
• RQ5 どの有限単純群が非完璧な差グラフを持つのか？また、その非完璧性を引き起こす構造的特徴は何か？

主な発見

• $D(G)$ は、すべての非 $p$-群で中心が非自明な有限群に対して連結であり、直径は最大で 6 である。
• $D(S_n)$ は $n \geq 8$ のときに限り連結であり、$D(A_n)$ は $n \geq 18$ のときに限り連結である。
• $D(D_n)$ は $n$ が素数べきでないときに限り連結であり、$D(D_n \times D_m)$ は $n$ と $m$ が同じ奇素数のべきであるときに限り非連結である。
• $D(\mathbb{Z}_n)$ はすべての $n$ に対して完璧であり、$pq$、$p^2q$、$p^2q^2$、$p^3q$、$pqr$ の位数のすべての群 $G$ に対して $D(G)$ は完璧である（$p,q,r$ は相異なる素数）。
• $M_{11}$ の差グラフはツイン削減により 7920 頂点から 385 頂点に削減され、直径 10、周長 10 の双対グラフとなり、自己同型群は $M_{11}$ である。
• $J_1$ より小さい位数の単純群に対して、すべての $D(G)$ は完璧である。例として $q=11,13,16$ の $\mathrm{PSL}(2,q)$ や $\mathrm{PSL}(3,3)$ があり、後者は $\mathbb{F}_3$ 上の射影平面のフラグとアンチフラグの間の新しい双対グラフを生じる。