[論文レビュー] A 27-vertex graph that is vertex-transitive and edge-transitive but not l-transitive

Peter G. Doyle|ArXiv.org|Mar 29, 2007

Rings, Modules, and Algebras参考文献 6被引用数 4

ひとこと要約

この論文は、頂点推移的かつ辺推移的ではあるが1-推移的でない27頂点のグラフを提示している。これは、自己同型の下ですべての頂点と辺が区別できないが、どの自己同型写像も辺の向きを反転させないような対称グラフの存在を示している。構成には位数27の非アーベル群を用い、特定の生成子と関係式を満たす。非1-推移的性は局所的部分グラフの議論により証明される。

ABSTRACT

I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.

研究の動機と目的

• 頂点推移的かつ辺推移的だが1-推移的でない有限グラフの構成。Tutteが提起した問題を解決する。
• 辺推移的性が1-推移的性を含まないことを、正則グラフにおいても示す。
• このようなグラフの最小の既知の例を提供。頂点数27、次数4。
• 群自己同型と対称的生成集合を用いた、同種のグラフの生成法を確立する。
• 自己同型写像で辺の逆向きへの写像が存在しないことを証明する。これは全体的な対称性にもかかわらず。

提案手法

• 位数27の非アーベル群Gを用い、生成子aとcが以下の関係を満たすように定める：a^9 = 1、c^9 = 1、c^3 = a^{-3}、およびc^{-1}ac = a^4。
• K = {a, c} と定義し、K ∩ K^{-1} = ∅ かつKのすべての元が群自己同型で関連付けられることを保証する。
• Gを頂点とし、gからgk（k ∈ K ∪ K^{-1}）へ辺を張るCayleyグラフΓ = Γ_{G, K ∪ K^{-1}}を構成する。
• φ(a) = c かつ φ(c) = a となる自己同型φを用い、頂点推移的および辺推移的を保証する。
• 恒等元の距離2以内の頂点からなる部分グラフΓ′に制限し、1を固定してaをa^{-1}に写す自己同型が存在しないことを示すことで、非1-推移的性を証明する。
• 群の関係の冗長性を用い、K ∪ K^{-1}を保つ任意の自己同型はKそのものを保つ必要があることを検証する。これにより、辺の向きの非対称性が保証される。

実験結果

リサーチクエスチョン

• RQ1 有限グラフが頂点推移的かつ辺推移的であるが1-推移的でないことは可能か？
• RQ2 頂点推移的かつ辺推移的だが1-推移的でないグラフの最小の位数は何か？
• RQ3 辺推移的グラフで、辺の反転を伴う自己同型を持たないような群論的構成は存在するか？
• RQ4 局所的部分グラフの解析によって、辺の反転自己同型の不在を検出可能か？
• RQ5 基礎となる群の自己同型は、得られるCayleyグラフの対称性にどのように影響するか？

主な発見

• 構築された27頂点のグラフは、群作用と対称的生成集合のおかげで頂点推移的かつ辺推移的である。
• グラフは1-推移的でない。これは、恒等元を固定してaをa^{-1}に写す自己同型が存在しないこと、局所的部分グラフΓ′の分析により示された。
• グラフの次数は4で、正則であり、Tutteの結果（このようなグラフは偶数次でなければならない）と整合的である。
• グラフはBouwerの54頂点例の反対称頂点を同一視した商グラフと同型であり、最小性が確認された。
• 自己同型群は長さ1のパスにおける辺の向きを保存しており、向きを反転する対称性が欠如していることを示している。
• 非1-推移的性の証明は、1を固定してaをa^{-1}に写す自己同型が部分グラフΓ′に存在しないことに依拠している。もし1-推移的であれば、この自己同型が全域的自己同型に拡張可能であったはずである。