[論文レビュー] Symmetric designs and finite simple exceptional groups of Lie type

Seyed Hassan Alavi, Mohsen Bayat+1 more|arXiv (Cornell University)|Feb 4, 2017

Coding theory and cryptography被引用数 4

ひとこと要約

この論文は、有限単純例外型リー群の型の部分群をもつ旗推移的かつ点単純な自己同型群をもつ対称的$(v, k, \theta)$デザインを調査する。ほぼ単純群の部分群構造と部分位数解析を用いて、可能なパラメータを削減し、$\lambda \leq 100$ の場合、唯一2つのようなデザインが存在することを証明する：$(351,126,45)$ および $(378,117,36)$、両方とも$G = G_2(3)$をもつ。また、$G = G_2(2)$の場合に、デザイン$(36,21,12)$ および $(63,32,16)$ を特定する。

ABSTRACT

In this article, we study symmetric $(v, k, \lambda)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is a finite simple exceptional group of Lie type. We prove a reduction theorem to some possible parameters of such designs. In particular, if $\lambda\leq 100$, we show that there are only two such designs, namely, $(351,126,45)$ and $(378,117,36)$ for $G=G_{2}(3)$. We also find symmetric designs with parameters $(36,21,12)$ and $(63,32,16)$ and flag-transitive and point-primitive automorphism group $G=G_{2}(2)$ of rank three and four, respectively. As a main tool to this investigation, part of this paper is devoted to studying subdegrees and large maximal subgroups of almost simple groups whose socle is a finite simple exceptional group of Lie type.

研究の動機と目的

• 有限単純例外型リー群の型の部分群をもつ旗推移的かつ点単純な自己同型群をもつ対称的デザインの存在と分類を理解すること。
• ほぼ単純群の部分群構造と部分位数を分析することで、このようなデザインの可能なパラメータを削減すること。
• 旗推移性および点単純性の条件を満たす、$\lambda \leq 100$ のすべての対称的デザインを特定すること。
• 大きな最大部分群と部分位数が、デザインのパラメータを制約する役割を特定すること。
• 与えられた制約のもとで、例外型群$G_2(3)$ および $G_2(2)$ に対して、このようなデザインの完全な分類を提供すること。

提案手法

• ソケルが有限単純例外型リー群の型であるほぼ単純群の部分位数を分析するための群論的技法を適用する。
• 最大部分群の分類とその作用を用いて、可能なデザインのパラメータを制約する。
• 対称的デザインにおける旗推移的かつ点単純な群作用の理論を用いて、パrameter空間を削減する。
• 自己同型群の構造的結果を活用して、不可能な構成を除外し、妥当なデザインに絞り込む。
• 群作用のランクと軌道構造の詳細な解析を実施し、デザインの存在を決定する。
• 理論的上限と例外型リー群の既知の分類結果を組み合わせて、完全性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ソケルが有限単純例外型リー群の型であるとき、旗推移的かつ点単純な自己同型群をもつ対称的デザインはどのようなものがあるか？
• RQ2 例外型ソケルをもつほぼ単純群の部分位数と最大部分群は、可能なデザインのパラメータをどのように制約できるか？
• RQ3 $\lambda \leq 100$ の場合、このようなデザインの完全なリストは何か？
• RQ4 例えば$G_2(3)$ および $G_2(2)$ のような例外型リー群の型は、このような対称的デザインをサポートするか？
• RQ5 デザインの点への群作用のランクは、得られるデザインを区別・分類するために利用できるか？

主な発見

• $\lambda \leq 100$ の場合、ソケルが有限単純例外型リー群の型である旗推移的かつ点単純な自己同型群をもつ対称的デザインは、唯一2つ存在する：$(351,126,45)$ および $(378,117,36)$、両方とも$G = G_2(3)$をもつ。
• デザイン$(36,21,12)$ は$G = G_2(2)$ とともに現れ、ランク3の点単純作用をもつ。
• デザイン$(63,32,16)$ は$G = G_2(2)$ とともに現れ、ランク4の点単純作用をもつ。
• 部分群構造と部分位数に基づいて、このようなデザインの可能なパラメータを制限する還元定理が確立された。
• 大きな最大部分群とその部分位数は、候補となるパラメータを除外し、探索空間を狭める上で重要な役割を果たす。
• 制約条件のもとで、$G_2(3)$ および $G_2(2)$ に対して完全な分類が達成され、$\lambda \leq 100$ の範囲で他のデザインは存在しない。