[論文レビュー] The number of spanning trees of power graphs associated with specific groups and some applications

A. R. Moghaddamfar, S. Rahbariyan+2 more|arXiv (Cornell University)|May 14, 2017

Graph theory and applications参考文献 8被引用数 4

ひとこと要約

この論文は、巡回群、二面体群、一般化されたクaternion群といった特定の有限群のパワー・グラフにおける全域木の数を、テンパレーの定理に基づく行列式による手法を用いて計算している。主な貢献は、有限単純群のうち、そのパワー・グラフの全域木数によって一意に特定可能な群として、交代群 𝔄₅ が初めて同定されたことである。これにより、このクラスにおいて 𝜅-同定可能な群の最初の例が得られた。

ABSTRACT

Given a group $G$, we define the power graph $\mathcal{P}(G)$ as follows: the vertices are the elements of $G$ and two vertices $x$ and $y$ are joined by an edge if $\langle x angle\subseteq \langle y angle$ or $\langle y angle\subseteq \langle x angle$. Obviously the power graph of any group is always connected, because the identity element of the group is adjacent to all other vertices. In the present paper, among other results, we will find the number of spanning trees of the power graph associated with specific finite groups. We also determine, up to isomorphism, the structure of a finite group $G$ whose power graph has exactly $n$ spanning trees, for $n<5^3$. Finally, we show that the alternating group $\mathbb{A}_5$ is uniquely determined by tree-number of its power graph among all finite simple groups.

研究の動機と目的

• 巡回群、二面体群、一般化されたクaternion群のパワー・グラフにおける全域木の数の明示的公式を導出すること。
• パワー・グラフにちょうど n 個の全域木を持つ有限群を特定すること（n < 5³ の場合）。
• パワー・グラフの全域木数が有限群の同型型を一意に決定するかどうかを調査すること、特に有限単純群のクラスにおいて。
• 有限単純群の中で、パワー・グラフの全域木数によって一意に特定可能な群（すなわち 𝜅-同定可能）である例を初めて特定すること。

提案手法

• 全域木数の計算にテンパレーの行列式公式を適用する。
• 巡回部分群の構造と元の位数を用いて、パワー・グラフを単位元を共有する完全グラフの和に分解する。
• シローテーラム、共役類の数、固定点のない群作用といった群論的道具を用いる。
• 既知の有限単純群の分類結果（例：[18, 表1] より）を活用して候補を絞り込む。
• 素数位数の巡回部分群を持つ群における全域木数の下界に基づく不等式を適用する。
• 群のパワー・グラフが、単位元を共通頂点とする巡回部分群に対応する完全グラフの結合（join）であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 有限群 G に対して、𝒫(G) の全域木数が与えられた整数 n < 5³ に等しくなるのはどのような場合か？
• RQ2 パワー・グラフの全域木数が有限群の同型型を一意に決定するか？
• RQ3 交代群 𝔄₅ は、𝜅(𝔄₅) = 3¹⁰ × 5¹⁸ を満たす唯一の有限単純群か？
• RQ4 有限単純群のクラスにおいて、同じ全域木数を持つ非同型群の最小個数はいくつか？
• RQ5 有限単純群のクラスにおいて、有限群のパワー・グラフの全域木数がその群を一意に特定するか？

主な発見

• ℤₙ のパワー・グラフにおける全域木数は、行列式の評価により導かれる閉形式の公式で与えられるが、要約では明示的な式は示されていない。
• 二面体群 D₂ₙ および一般化されたクaternion群 Q₄ₙ に対して、群の構造とテンパレーの定理を用いて、全域木数の明示的公式が導出された。
• 𝔄₅ のパワー・グラフは K₁ ∨ (15K₁ ⊕ 10K₂ ⊕ 6K₄) に分解され、𝜅(𝔄₅) = 3¹⁰ × 5¹⁸ が得られた。
• 𝜅(G) = 3¹⁰ × 5¹⁸ を満たす有限単純群 G は、素因数集合 𝜋(G) = {2, 3, 5} を持つ必要があり、巡回部分群からの全域木数の下界を用いた背理法により、より大きな素数は除外される。
• このような群のシローブロック 3-部分群の位数は 3 でなければならない。これにより G ≅ 𝔄₅ が導かれ、𝔄₅ が有限単純群のクラスにおいて 𝜅-同定可能であることが証明された。
• 位数 ≤15 の群について、すべての同型型の全域木数 𝜅(G) を計算した。ここで 𝜅(G) = 1 は初等アーベル 2-群であり、𝜅(𝔖₃) = 𝜅(ℤ₃) = 3 である。