[論文レビュー] Spectrum of commuting graphs of some classes of finite groups

Jutirekha Dutta, Rajat Kanti Nath|arXiv (Cornell University)|Apr 25, 2016

Finite Group Theory Research参考文献 10被引用数 4

ひとこと要約

本稿は、有限非アーベル群の可換性グラフのスペクトルを調査し、AC群および平面的・トロイダルな条件下で、そのグラフが整数固有値（すべての固有値が整数）をもつことを確立している。有限非アーベル群の可換性グラフが整数固有値をもつのは、平面的で $S_4$ に同型でない場合、またはトロイダルな場合であり、特に準二面体群、二面体群、対称群などの主要な群について明示的なスペクトル計算がなされている。

ABSTRACT

In this paper, we initiate the study of spectrum of the commuting graphs of finite non-abelian groups. We first compute the spectrum of this graph for several classes of finite groups, in particular AC-groups. We show that the commuting graphs of finite non-abelian AC-groups are integral. We also show that the commuting graph of a finite non-abelian group $G$ is integral if $G$ is not isomorphic to the symmetric group of degree $4$ and the commuting graph of $G$ is planar. Further it is shown that the commuting graph of $G$ is integral if the commuting graph of $G$ is toroidal.

研究の動機と目的

• 有限非アーベル群の可換性グラフのスペクトルを研究を開始すること。
• 有限非アーベル群の可換性グラフが整数固有値（すべての固有値が整数）をもつ条件を特定すること。
• 特にAC群およびその積を含む特定の群のクラスについて、スペクトルを計算すること。
• 平面性やトロイダル性といった位相的制約の下での整数固有値グラフの分類を行うこと。

提案手法

• 隣接行列の固有値スペクトルを用いて整数グラフを定義・分析すること。
• AC群における中心化部分群の構造を活用し、可換性グラフを互いに素な完全グラフの直和に分解すること。
• 既知の整数グラフに関する結果を応用：互いに素な完全グラフの直和は整数グラフである。
• 互いに素な完全グラフの直和の固有値構造を用いてスペクトルの公式を導出すること。
• AfkhamiらおよびDasらの平面的・トロイダルな可換性グラフに関する分類結果を応用すること。
• 特定の群（$S_4$、$A_4$、$SL(2,3)$、$D_{16}$ など）について、特性多項式と固有値集合の明示的計算を通じて整数固有値性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 有限非アーベル群の可換性グラフが整数固有値をもつのはどのような条件下か？
• RQ2 AC群における可換性グラフのスペクトルはどのように振る舞い、明示的に計算可能か？
• RQ3 $S_4$ の可換性グラフは整数固有値をもつか？ なぜこの群は一般の整数固有値パターンの例外となるのか？
• RQ4 可換性グラフの位相的性質（平面性、トロイダル性）とその整数固有値性の関係は何か？
• RQ5 準二面体群、二面体群、半二面体群などの特定の群族について、可換性グラフのスペクトルを特定できるか？

主な発見

• 有限非アーベルAC群の可換性グラフは、完全グラフの互いに素な直和であるため、整数固有値をもつ。
• $QD_{2^n}$（$n \geq 4$）の可換性グラフのスペクトルは $\{(-1)^{2^{n}-2^{n-2}-3}, 1^{2^{n-2}}, (2^{n-1}-3)^1\}$ である。
• $S_4$ の可換性グラフは整数固有値をもたない。非整数固有値として $\frac{3 \pm \sqrt{17}}{2}$ および $\pm\sqrt{5}$ を含む。
• $A_4$ の可換性グラフは整数固有値をもち、スペクトルは $\{(-1)^6, 2^1, 1^4\}$ であり、$K_3 \sqcup 4K_2$ に由来する。
• $SL(2,3)$ の可換性グラフは整数固有値をもち、スペクトルは $\{(-1)^{15}, 1^3, 3^4\}$ であり、$3K_2 \sqcup 4K_4$ に対応する。
• 可換性グラフがトロイダルであるすべての有限非アーベル群について、その可換性グラフは整数固有値をもつ。これには $D_{14}, D_{16}, Q_{16}, QD_{16}, D_6 \times \mathbb{Z}_3, A_4 \times \mathbb{Z}_2$, および $\mathbb{Z}_7 \rtimes \mathbb{Z}_3$ が含まれる。