[论文解读] 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$时，仅存在两种此类设计：$(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)$完成此类设计的完整分类。

提出的方法

• 应用群论技术分析换位群为有限单例外李型群的几乎单群的子度。
• 利用极大子群分类及其作用关系以约束可能的设计参数。
• 运用旗传递与点本原群作用于对称设计的理论以缩小参数空间。
• 利用自同构群的结构性结果排除不可能的配置，并缩小可行设计的范围。
• 对群作用的秩与轨道结构进行详细分析，以确定设计的存在性。
• 结合理论界与例外李型群的已知分类结果，验证结果的完备性。

实验结果

研究问题

• RQ1 当换位群为有限单例外李型群时，存在哪些具有旗传递与点本原自同构群的对称设计？
• RQ2 如何利用具有例外换位群的几乎单群的子度与极大子群来约束可能的设计参数？
• RQ3 当$\lambda \leq 100$时，此类设计的完整列表是什么？
• RQ4 哪些例外李型群，如$G_2(3)$与$G_2(2)$，能支持此类对称设计？
• RQ5 群作用在设计点上的秩是否可用于区分与分类所得设计？

主要发现

• 当$\lambda \leq 100$时，仅存在两种具有旗传递与点本原自同构群且其换位群为有限单例外李型群的对称设计：$(351,126,45)$与$(378,117,36)$，二者均对应于$G = G_2(3)$。
• 设计$(36,21,12)$在$G = G_2(2)$时出现，其具有三重点本原作用。
• 设计$(63,32,16)$在$G = G_2(2)$时出现，其具有四重点本原作用。
• 建立了一项约化定理，基于子群结构与子度限制此类设计的可能参数。
• 大极大子群及其子度在排除候选参数与缩小搜索空间中起关键作用。
• 在给定约束下，对$G_2(3)$与$G_2(2)$完成了完整分类，且在$\lambda \leq 100$时不存在其他设计。