[논문 리뷰] Symmetric designs and finite simple exceptional groups of Lie type

Seyed Hassan Alavi, Mohsen Bayat외 1명|arXiv (Cornell University)|2017. 02. 04.

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)$와 함께 나타나며, 랭크 3의 점-초원시적 작용을 갖는다.
• 설계 $(63,32,16)$는 $G = G_2(2)$와 함께 나타나며, 랭크 4의 점-초원시적 작용을 갖는다.
• 부분군 구조와 부분도수에 기반하여 가능한 설계 매개변수를 제한하는 감소 정리가 확립된다.
• 큰 최대 부분군과 그 부분도수는 후보 매개변수를 제거하고 검색 공간을 좁히는 데 핵심적인 역할을 한다.
• 제약 조건 하에서 $G_2(3)$와 $G_2(2)$에 대해 완전한 분류가 달성되었으며, $\lambda \leq 100$일 때 더 이상의 설계는 존재하지 않는다.