[論文レビュー] On some characterizations of strong power graphs of finite groups

A. K. Bhuniya, Sudip Bera|arXiv (Cornell University)|Apr 23, 2015

Graph theory and applications参考文献 5被引用数 3

ひとこと要約

この論文は、有限群の強いべきグラフ $π_s(G)$ を特徴づけ、それが線グラフまたはケイリー・グラフである条件を特定し、ラプラシアン固有スペクトルと永久値を計算する。$π_s(G)$ がケイリー・グラフであるのは $G$ が非巡回群であるときであり、かつそのときに限ることを証明しており、線グラフであるのは $G$ が位数 4、9、または素数の巡回群であるときである。巡回群および非巡回群に対して、ラプラシアンの永久値の明示的公式が導出される。

ABSTRACT

Let $ G $ be a finite group of order $ n$. The strong power graph $\mathcal{P}_s(G) $ of $G$ is the undirected graph whose vertices are the elements of $G$ such that two distinct vertices $a$ and $b$ are adjacent if $a^{{m}_1}$=$b^{{m}_2}$ for some positive integers ${m}_1 ,{m}_2 < n$. In this article we classify all groups $G$ for which $\mathcal{P}_s(G)$ is line graph and Caley graph. Spectrum and permanent of the Laplacian matrix of the strong power graph $\mathcal{P}_s(G)$ are found for any finite group $G$.

研究の動機と目的

• 有限群 $G$ を分類し、その強いべきグラフ $\mathcal{P}_s(G)$ が線グラフである条件を特定すること。
• $\mathcal{P}_s(G)$ がケイリー・グラフである条件を特定し、群の性質との構造的関係を確立すること。
• 任意の有限群 $G$ に対して、$\mathcal{P}_s(G)$ のラプラシアン固有スペクトルを計算すること。
• 巡回群および非巡回群の両方に適用可能な、$\mathcal{P}_s(G)$ のラプラシアン行列の永久値の明示的公式を導出すること。
• 代数的連結度や彩色数を含む、$\mathcal{P}_s(G)$ のスペクトル的およびグラフ論的不変量の関係を調査すること。

提案手法

• 強いべきグラフの定義を用いる：頂点は群の元であり、$a \sim b$ であるのは $a^{m_1} = b^{m_2}$ となるような $m_1, m_2 < n$ が存在するとき。
• 線グラフを特徴づけるために、Lemma 2.1 を適用し、9種の禁止部分グラフを含まないことを確認する。
• $\mathcal{P}_s(\mathbb{Z}_n)$ の構造を、オイラーのトーティエント関数 $\phi(n)$ と非生成元を用いて分析し、禁止部分グラフを避ける条件を特定する。
• クリーク構造と単位元の接続を活用し、スペクトルグラフ理論を用いてラプラシアン固有スペクトルを導出する。
• 生成関数および対称多項式展開を用いた永久値計算技法を適用し、特にユニバーサル頂点がクリークに接続されたグラフに対して有効である。
• 二項係数および符号付き置換を含む組合せ的恒等式を用いて、ラプラシアン行列の永久値を計算する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群 $G$ に対して、強いべきグラフ $\mathcal{P}_s(G)$ が線グラフであるか？
• RQ2 $\mathcal{P}_s(G)$ が何らかの群のケイリー・グラフと同型であるのはいつか？
• RQ3 任意の有限群 $G$ に対して、$\mathcal{P}_s(G)$ の完全なラプラシアン固有スペクトルは何か？
• RQ4 $\mathcal{P}_s(G)$ のラプラシアン行列の永久値の明示的公式は何か？
• RQ5 代数的連結度や彩色数といったスペクトル的不変量は、群の構造とどのように関係するか？

主な発見

• $\mathcal{P}_s(G)$ が線グラフであるのは、$G$ が位数 4、9、または素数の巡回群であるときであり、かつそのときに限る。
• $\mathcal{P}_s(G)$ がケイリー・グラフであるのは、$G$ が非巡回群であるときであり、かつそのときに限る。
• 位数 $n$ の巡回群 $G$ に対して、ラプラシアン固有スペクトルは完全に特徴づけられ、固有値は群の位数と $\phi(n)$ によって決定される。
• 位数 $n$ の巡回群 $G$ に対して、$\mathcal{P}_s(G)$ の隣接行列の永久値は、$\phi(n)$、$n-1$、および二項係数を含む複雑な和で与えられる。
• 位数 $n$ の巡回群 $G$ に対して、$\mathcal{P}_s(G)$ のラプラシアン行列の永久値は、$r$ に関する和として表され、$F_r(d)$、二項係数、および $n$、$n-1$ のべきを含む。
• 位数 $n$ の非巡回群 $G$ に対して、$\mathcal{P}_s(G)$ のラプラシアン行列は完全であり、その永久値は $(-1)^n n! \left(1 - \frac{n}{1!} + \frac{n^2}{2!} - \cdots + (-1)^n \frac{n^n}{n!}\right)$ で与えられる。