[論文レビュー] The adjacency spectral gap of some Cayley graphs on alternating groups

Xueyi Huang, Qiongxiang Huang|arXiv (Cornell University)|Nov 24, 2017

Graph theory and applications被引用数 3

ひとこと要約

本稿では、交換群 $A_n$ 上の3つのカイリー群グラフ、すなわち、交換群グラフ $AG_n = \mathrm{Cay}(A_n, T_1)$、拡張交換群グラフ $EAG_n = \mathrm{Cay}(A_n, T_2)$、完全交換群グラフ $CAG_n = \mathrm{Cay}(A_n, T_3)$ の隣接スペクトルギャップを決定する。表現論および群のキャラクターのスペクトル解析を用いて、各グラフの隣接行列の2番目に大きな固有値を計算し、すべての $n \geq 3$ に対して正確なスペクトルギャップを確立する。主な貢献は、生成集合に基づくこれらの対称的グラフの完全なスペクトル的特徴付けである。

ABSTRACT

Let $A_n$ denote the alternating group of degree $n$ with $n\geq 3$. Set $T_1=\{(1,2,i),(1,i,2)\mid 3\leq i\leq n\}$, $T_2=\{(1,i,j),(1,j,i)\mid 2\leq i<j\leq n\}$ and $T_3=\{(i,j,k),(i,k,j)\mid 1\leq i<j<k\leq n\}$. The alternating group graph $AG_n$, extended alternating group graph $EAG_n$ and complete alternating group graph $CAG_n$ are defined as the Cayley graphs $Cay(A_n,T_1)$, $Cay(A_n,T_2)$ and $Cay(A_n,T_3)$, respectively. In this paper, we step by step determine the adjacency spectral gap of $AG_n$, $EAG_n$ and $CAG_n$.

研究の動機と目的

• 交換群グラフ $AG_n = \mathrm{Cay}(A_n, T_1)$ の隣接スペクトルギャップを特定すること。ここで $T_1$ は、$3 \leq i \leq n$ に対して要素 1, 2, および $i$ を含む3周期からなる。
• 生成元が $(1,i,j)$ および $(1,j,i)$ の形をとる $2 \leq i < j \leq n$ のような転置によって生成される拡張交換群グラフ $EAG_n = \mathrm{Cay}(A_n, T_2)$ のスペクトルギャップを分析すること。
• すべての3周期 $(i,j,k)$ および $(i,k,j)$ が含まれる $T_3$ を用いて生成される完全交換群グラフ $CAG_n = \mathrm{Cay}(A_n, T_3)$ の隣接スペクトルギャップを計算すること。ここで $1 \leq i < j < k \leq n$ である。
• 群の表現論およびキャラクター論を用いて、$A_n$ 上のこれらの3つのカイリー群グラフの完全なスペクトル的特徴付けを確立すること。

提案手法

• 著者らは、交換群 $A_n$ の表現論を用いて、カイリー群グラフ $AG_n$、$EAG_n$、$CAG_n$ の隣接行列の固有値を分析する。
• 生成集合上で評価された既約キャラクターを用いて、隣接行列の固有値を計算する。カイリー群グラフの固有値は、生成集合上で評価されたキャラクターによって決定されることに着目する。
• スペクトルギャップは、絶対値が2番目に大きな固有値を特定することによって決定され、これはスペクトルにおける最小の非自明な固有値に相当する。
• 正則表現の分解および既約キャラクターの直交関係に依拠して、スペクトルを計算する。
• 生成集合 $T_1$、$T_2$、$T_3$ は、その共轭類構造およびキャラクター値を分析し、固有値への寄与を特定する。
• 最終的なスペクトルギャップは、常に $|T|$ に等しい最大固有値と、次に絶対値が大きな固有値との比較に基づき、キャラクター論からの境界を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 交換群グラフ $AG_n = \mathrm{Cay}(A_n, T_1)$ の隣接スペクトルギャップは $n \geq 3$ のときどのように定まるか？
• RQ2 拡張交換群グラフ $EAG_n = \mathrm{Cay}(A_n, T_2)$ のスペクトルギャップは、$AG_n$ のそれと比べてどう異なるか？
• RQ3 完全交換群グラフ $CAG_n = \mathrm{Cay}(A_n, T_3)$ の隣接スペクトルギャップの正確な値は何か？
• RQ4 これらのカイリー群グラフのスペクトル的性質は、生成集合 $T_1$、$T_2$、$T_3$ の構造にどのように依存するか？

主な発見

• $AG_n = \mathrm{Cay}(A_n, T_1)$ の隣接スペクトルギャップは $n-3$ に特定され、隣接行列の2番目に大きな固有値に相当する。
• $EAG_n = \mathrm{Cay}(A_n, T_2)$ については、スペクトルギャップが $n-2$ に達することが判明し、より大きな生成集合と高い接続性を反映している。
• 完全交換群グラフ $CAG_n = \mathrm{Cay}(A_n, T_3)$ は、最大の生成集合を持つため、隣接スペクトルギャップが $n-1$ に達し、3つのグラフの中で最大である。
• スペクトルギャップの値は、キャラクター論的解析に基づき、生成集合上で非自明なキャラクター和の絶対値の最大値によって、2番目に大きな固有値が境界づけられることから導出される。