[論文レビュー] The automorphism group of Cayley graphs on symmetric groups generated by transposition sets and of the modified bubble-sort graph

Ashwin Ganesan|arXiv (Cornell University)|May 23, 2012

Genome Rearrangement Algorithms被引用数 2

ひとこと要約

この論文は、対称群上の推移置換集合によって生成されるカーレイ・グラフの自己同型群を特定し、置換グラフの閉路長が5以上である場合、自己同型群が右正則表現と生成集合を固定する対称群の自己同型の半直積に同型であることを示している。さらに、置換グラフ内に4-サイクルが存在する場合、非自明な頂点固定自己同型が生じることを特定し、これらのグラフにおける対称性に構造的影響を与えることを示している。

ABSTRACT

Let $S$ be a set of transpositions that generates the symmetric group $S_n$, where $n \ge 3$. The transposition graph $T(S)$ is defined to be the graph with vertex set $\{1,\ldots,n\}$ and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. We prove that if the girth of the transposition graph $T(S)$ is at least 5, then the automorphism group of the Cayley graph $\Cay(S_n,S)$ is the semidirect product $R(S_n) times \Aut(S_n,S)$, where $\Aut(S_n,S)$ is the set of automorphisms of $S_n$ that fixes $S$. This strengthens a result of Feng on transposition graphs that are trees. We also prove that if the transposition graph $T(S)$ is a 4-cycle, then the set of automorphisms of the Cayley graph $\Cay(S_4,S)$ that fixes a vertex and each of its neighbors is isomorphic to the Klein 4-group and hence is nontrivial. We thus identify the existence of 4-cycles in the transposition graph as being an important factor in causing a potentially larger automorphism group of the Cayley graph.

研究の動機と目的

• 対称群上で置換集合によって生成されるカーレイ・グラフの自己同型群を特徴づける。
• 置換グラフの構造、特にその閉路長やサイクル構造が、対応するカーレイ・グラフの対称性に与える影響を調査する。
• 木である置換グラフに関する先行研究を、より一般のケース（閉路長が大きい、または4-サイクルを含む）に拡張する。
• 置換グラフ内に4-サイクルが存在する場合、対応するカーレイ・グラフの自己同型群がより大きくなるかどうかを特定する。

提案手法

• 頂点 i と j が (i,j) ∈ S であるとき、{1,…,n} 上のグラフ T(S) を定義し、i と j が隣接するとする。
• T(S) の閉路長を構造的条件として用いる：girth ≥ 5 ならば、カーレイ・グラフ Cay(Sₙ,S) の自己同型群は R(Sₙ) ⋊ Aut(Sₙ,S) に同型である。
• T(S) が4-サイクルである場合、特に n=4 の場合を対象に、頂点固定自己同型を分析する。
• T(S) が4-サイクルである場合、Cay(S₄,S) における頂点およびその近傍の安定化部分群がクラインの4元群に同型であることを証明する。
• 生成集合 S を保存する Sₙ の自己同型を分析するための群論的技法を適用する。
• 半直積構造を用いて、カーレイ・グラフの完全な自己同型群を分解する。

実験結果

リサーチクエスチョン

• RQ1 置換グラフ T(S) に対して、どのような条件下で Cay(Sₙ,S) の自己同型群が R(Sₙ) ⋊ Aut(Sₙ,S) に等しくなるか。
• RQ2 T(S) に4-サイクルが存在する場合、Cay(Sₙ,S) の自己同型群にどのような影響を与えるか。
• RQ3 T(S) が4-サイクルである場合、Cay(S₄,S) における頂点およびその近傍の安定化部分群の構造はどのようなものか。
• RQ4 T(S) の閉路長が、カーレイ・グラフの完全な自己同型群を決定する十分条件として機能するか。
• RQ5 T(S) に4-サイクルが含まれる場合、Cay(Sₙ,S) の自己同型群が R(Sₙ) ⋊ Aut(Sₙ,S) よりも大きくなることはあるか。

主な発見

• 置換グラフ T(S) の閉路長が5以上である場合、Cay(Sₙ,S) の自己同型群は半直積 R(Sₙ) ⋊ Aut(Sₙ,S) に同型である。
• この結果は、Feng が先行して行った木である置換グラフに関する研究を強化し、閉路長が大きい場合へと拡張している。
• T(S) が4-サイクルである場合、Cay(S₄,S) における頂点およびその近傍の安定化部分群はクラインの4元群に同型であり、正則表現を超える非自明な対称性を示している。
• T(S) に4-サイクルが存在することは、対応するカーレイ・グラフの自己同型群がより大きくなる要因であると特定された。
• 本研究は、T(S) の構造的特徴（サイクル長、閉路長など）が、カーレイ・グラフの対称性に直接的な影響を与えることを明らかにした。
• n=4 で T(S) が4-サイクルである場合、Cay(S₄,S) の自己同型群には、頂点およびその近傍を固定する非自明な部分群が存在し、正則群作用とは逸脱していることを示している。