[論文レビュー] On Laplacian energy of non-commuting graphs of finite groups

Parama Dutta, Rajat Kanti Nath|arXiv (Cornell University)|May 27, 2017

Graph theory and applications被引用数 6

ひとこと要約

本稿では、特定の群（例えば、スズキ群、初等アーベル p-群、二面体群など）に同型な G/Z(G) を持つ有限非アーベル群の非可換グラフのラプラシアンエネルギー（LE）を計算している。スペクトルグラフ理論を用いて、群の中心の大きさと商構造に基づくLEの閉形式表現を導出し、群の種類に応じてLEが整数または有理数であることを示している。特に、位数 p³ の群、4-および5-中心子群、平面的可換グラフについての主要な結果が得られている。

ABSTRACT

In this paper, we compute Laplacian energy of the non-commuting graphs of some classes of finite non-abelian groups.

研究の動機と目的

• 特定のクラスの有限非アーベル群について、非可換グラフのラプラシアンエネルギー（LE）を計算すること。
• 特に G/Z(G) に注目した群構造と非可換グラフのスペクトル不変量との関係を確立すること。
• ラプラシアンエネルギーが整数または有理数となる条件を特定し、特定の中心子群数や可換度を持つ群におけるLEを特徴付けること。
• 平面的可換グラフにおけるグラフの genus（平面性）とラプラシアンエネルギーとの関係を調査すること。

提案手法

• ラプラシアンエネルギーは、$ LE({\rm \bf G}) = \sum_{\mu \in \operatorname{L-Spec}-\operatorname{spec}({\mathcal{G}})} \left| \mu - \frac{2|e({\mathcal{G}})|}{|v({\mathcal{G}})|} \right| $ という式を用いて計算され、ここで $ \mu $ はラプラシアン行列の固有値である。
• 非可換グラフ $ \mathcal{A}_G $ のスペクトルは、$ G/Z(G) $ の構造に基づいて既知の結果（[11] の定理 3.1 及び 3.2）から導出される。
• 辺の数 $ |e({\mathcal{A}}_G)| $ は、中心子群のサイズに基づき、可換グラフ $ \overline{\mathcal{A}}_G $ が完全グラフ $ K_n $ の disjoint な和として表現されることから計算される。
• 非中心元の中心子群が解析され、可換グラフの構造が特定され、これにより辺数とスペクトルデータが計算される。
• 群について $ G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p $ が成り立つ場合、ラプラシアンスペクトルは $ \{0, ((p^2-p)|Z(G)|)^{(p^2-1)|Z(G)|-p-1}, ((p^2-1)|Z(G)|)^p \} $ となる。これにより、LE の正確な計算が可能になる。
• 結果は n-中心子群群、与えられた可換度 $ \Pr(G) $ を持つ群、平面的可換グラフへと拡張され、既知の分類結果が用いられている。

実験結果

リサーチクエスチョン

• RQ1 G/Z(G) \cong Sz(2) を満たす有限非アーベル群について、非可換グラフのラプラシアンエネルギーは何か？
• RQ2 G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p のとき、|Z(G)| の大きさがラプラシアンエネルギーにどのように影響するか？
• RQ3 n-中心子群群について、ラプラシアンエネルギーを閉形式で表せるか。また、n が変化するにつれてどのように変化するか？
• RQ4 可換グラフが平面的であるとき、ラプラシアンエネルギーは何か。どのような群がこの性質を持つか？
• RQ5 可換度 $ \Pr(G) $ は、非可換グラフのラプラシアンエネルギーにどのように影響するか？

主な発見

• G/Z(G) \cong Sz(2) を満たす群について、ラプラシアンエネルギーは $ LE({\mathcal{A}}_G) = \left(\frac{120}{19}|Z(G)| + 30\right)|Z(G)| $ であり、有理数ではあるが整数ではない。
• G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p のとき、ラプラシアンエネルギーは $ LE({\mathcal{A}}_G) = 2p(p-1)|Z(G)| $ であり、すべての素数 $ p $ に対して整数である。
• 位数 $ p^3 $ の非アーベル群について、ラプラシアンエネルギーは $ 2p^2(p-1) $ であり、$ p=2 $ のとき $ LE=8 $、$ p=3 $ のとき $ LE=36 $ となる。
• 4-中心子群群では $ LE({\mathcal{A}}_G) = 4|Z(G)| $、5-中心子群群では $ G/Z(G) $ の同型型に応じて $ 12|Z(G)| $ または $ \frac{18|Z(G)|^2 + 27|Z(G)|}{5} $ となる。
• 可換度 $ \Pr(G) = \frac{5}{8} $ のとき、ラプラシアンエネルギーは $ 4|Z(G)| $ であり、$ \Pr(G) \in \{\frac{5}{14}, \frac{2}{5}, \frac{11}{27}, \frac{1}{2}\} $ のとき、それぞれ $ \frac{28}{3}, \frac{28}{3}, 25, \frac{126}{5} $ となる。
• 可換グラフが平面的である場合、$ G \cong S_3, D_8, $ または $ Q_8 $ であり、群の種類に応じてラプラシアンエネルギーは 9 または $ \frac{28}{3} $ となる。