[論文レビュー] Bounding the order of the vertex-stabiliser in 3-valent vertex-transitive and 4-valent arc-transitive graphs

Primož Potočnik, Pablo Spiga+1 more|Repository of the University of Primorsk (University of Primorska)|Oct 13, 2010

Finite Group Theory Research参考文献 20被引用数 8

ひとこと要約

本稿は、4価弧推移的かつ3価頂点推移的グラフに対して鋭い二分法を確立する：グラフが頂点安定化部分群の位数が無限大に達する例外的C(r,s)族に同型であるか、それ以外の場合は頂点数に関する非線形関数で有界になる。具体的には、|G_v| ≤ 2⁴3⁶ または 2|G_v|log₂(|G_v|/2) ≤ |VΓ| であり、後者の境界はタイトである。この結果は、3価弧推移的グラフにおけるチュットの定理を一般化し、対称グラフにおける自己同型群安定化部分群の成長に関する長年の予想を解消する。

ABSTRACT

The main result of this paper is that, if $Γ$ is a connected 4-valent $G$-arc-transitive graph and $v$ is a vertex of $Γ$, then either $Γ$ is one of a well understood infinite family of graphs, or $|G_v|\leq 2^43^6$ or $2|G_v|\log_2(|G_v|/2)\leq |\VΓ|$ and that this last bound is tight. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs.

研究の動機と目的

• 4価G-弧推移的グラフにおける頂点安定化部分群の最大位数を、よく理解された例外的族を除いて特定すること。
• 3価弧推移的グラフにおけるチュットの古典的境界48を、より高い次数の場合に一般化すること。
• 対称グラフにおける自己同型群安定化部分群の成長に関する長年の予想を解消すること。
• 例外的グラフ（C(r,s)）とそれ以外のグラフとの間で、鋭い二分法を確立すること。ここで、安定化部分群の位数は頂点数に関して非線形である。

提案手法

• 著者らは、自己同型群の局所的作用を、頂点の近傍上で分析し、局所的性質Pを持つグラフおよび置換群作用の概念を用いる。
• 彼らは、アマルガム理論とコセットグラフを用いて、群論的構成により弧推移的グラフをモデル化する。
• 主な技術は、L（頂点安定化部分群）およびB（辺安定化部分群）を用いた、普遍アマルガムL*_{B}Rの滑らかな商を調べることである。
• 彼らは、Djokovićによる指数(4,2)および局所型D₄の忠実なアマルガムの分類を用い、可能な安定化部分群構造を分類する。
• 証明は、特にLにおけるBの正規化部分群に関する群論的境界に依存し、クラスが2以下であるべき冪零群に関する結果を活用する。
• 彼らは対数不等式を用いてタイトな境界を導出し、2|G_v|log₂(|G_v|/2) ≤ |VΓ| がすべての例外的でないグラフで成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 4価G-弧推移的グラフΓで、C(r,s)に同型でないものについて、頂点安定化部分群の最大位数は何か？
• RQ2 3価頂点推移的グラフにおける安定化部分群の位数は、3価弧推移的グラフにおけるチュットの48-境界に類似した形で有界化可能か？
• RQ3 4価弧推移的グラフで、ある閾値を超えて大きな頂点安定化部分群を持つものは有限個しかないか？
• RQ4 例外的でないグラフに対して、境界 2|G_v|log₂(|G_v|/2) ≤ |VΓ| はタイトか？
• RQ5 C(r,s)族は、自己同型群が大きな4価対称グラフの分類において果たす役割は何か？

主な発見

• 任意の連結4価G-弧推移的グラフΓについて、Γがr ≥ 3および1 ≤ s ≤ r/2を満たすあるr,sについてC(r,s)に同型であるか、|G_v| ≤ 2⁴3⁶である。
• すべての例外的でない場合において、境界 2|G_v|log₂(|G_v|/2) ≤ |VΓ| が成り立ち、この境界はタイトである。
• 例外的グラフC(r,s)の頂点安定化部分群の位数は2^{r−s+1}であり、これはrに従って指数関数的に増加し、|VΓ|に比例して増加する。
• 3価頂点推移的グラフにおける安定化部分群の位数も、標準化構成を用いて4価の場合に還元することで、|VΓ|に関する非線形関数で有界化可能である。
• 著者らは、Lが非初等アーベルな正規化部分群N_L(B)を持つ場合、グラフが例外的族に属さない限り、境界 2|G_v|log₂(|G_v|/2) ≤ |VΓ| が成り立つことを証明する。
• この結果は、奇数インデックスの商に対するMeierfrankenfeldとSamiの境界を、任意の有限商へ一般化し、|L|のo(√n)上界（nはインデックス）を導出する。