[논문 리뷰] Infinite families of 2-designs from GA_1(q) actions

Hao Liu, Cunsheng Ding|arXiv (Cornell University)|2017. 07. 07.

Coding theory and cryptography참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $\mathrm{GA}_1(q)$의 작용을 통해 $\mathrm{GF}(q)$ 위에서 순환류와 이차형식에서 유도된 기본 블록을 이용하여 다섯 개의 무한한 2-설계 가닥을 구성한다. 계산 가능한 안정자군을 갖는 기본 블록을 정교하게 선택함으로써 저자들은 이러한 2-설계의 정확한 매개변수를 결정하고, 이에 관련된 선형 코드가 최적 또는 최고의 성능을 가지며, 설계 이론과 부호 이론 사이에 강력한 연관성을 보여준다.

ABSTRACT

Group action is a standard approach to obtain $t$-designs. In this approach, selecting a specific permutation group with a certain degree of transitivity or homogeneity and a proper set of base blocks is important for obtaining $t$-$(v, k, λ)$ designs with computable parameters $t, v, k$, and $λ$. The general affine group $\GA_1(q)$ is $2$-transitive on $\gf(q)$, and has relatively a small size. In this paper, we determine the parameters of a number of infinite families of $2$-designs obtained from the action of the group $\GA_1(q)$ on certain base blocks, and demonstrate that some of the $2$-designs give rise to linear codes with optimal or best parameters known. Open problems are also presented.

연구 동기 및 목표

• $\mathrm{GA}_1(q)$의 군 작용을 $\mathrm{GF}(q)$ 위의 특정 기본 블록에 적용하여 무한한 2-설계 가닥을 구성하는 것.
• $\mathrm{GA}_1(q)$ 내에서 블록 안정자군을 계산하여 얻어진 2-설계의 정확한 매개변수($v$, $k$, $\lambda$)를 결정하는 것.
• 이러한 2-설계와 선형 부호 사이의 연관성을 탐색하고, 특히 그 매개변수와 최적성에 대해 다루는 것.
• 관련 이진 부호의 무게 분포 및 그 쌍대 부호에 대한 열린 추측을 제시하고 논의하는 것.
• 낮은 강도를 지닌 2-설계임에도 불구하고 최적 또는 최고 성능을 가지는 선형 부호를 도출할 수 있음을 보여주는 것.

제안 방법

• $\mathrm{GA}_1(q)$가 $\mathrm{GF}(q)$ 위에서 $2$-호모제너스 작용을 하여 기본 블록의 궤도 폐쇄를 통해 2-설계를 생성하는 방식을 사용한다.
• $q = p^m$ 이고 $q-1 = ef$ 이며, $\mathrm{GF}(q)^*$의 순환류의 차수 $e$를 기본 블록으로 사용한다.
• $\mathrm{GA}_1(q)$ 내에서 각 기본 블록 $B$의 안정자군 $|G_B|$를 계산하여 설계 매개변수 $\lambda = \frac{k(k-1)}{|G_B|}$를 결정한다.
• 군 작용과 궤도 수 계산을 적용하여 다섯 개의 서로 다른 무한한 2-설계 가닥의 정확한 매개변수를 유도한다.
• 설계와 관련된 이진 선형 부호 $\mathcal{C}_2(\mathbb{D})$와 그 쌍대 부호 $\mathcal{C}_2(\mathbb{D})^\perp$를 분석한다.
• Magma를 이용한 계산적 검증을 통해 작은 경우($m = 4,6,8$)에 대한 추측된 무게 분포를 확인한다.

실험 결과

연구 질문

• RQ1 $\mathrm{GA}_1(q)$의 작용을 통해 순환류 기본 블록에서 유도된 2-설계의 정확한 매개변수($v$, $k$, $\lambda$)는 무엇인가요?
• RQ2 이러한 2-설계에서 유도된 선형 부호가 최적 또는 최고 성능을 가지는가요?
• RQ3 관련된 이진 부호 $\mathcal{C}_2(\mathbb{D})$의 무게 분포는 무엇이며, 추측된 패턴을 따르는가요?
• RQ4 쌍대 부호 $\mathcal{C}_2(\mathbb{D})^\perp$는 추측에 따라 지수적으로 많은 3-설계 또는 2-설계를 포함하는가요?
• RQ5 $\mathrm{GA}_1(q)$ 작용이 3-설계를 생성하는 조건는 무엇이며, 이는 기본 블록의 구조와 어떻게 관련되어 있는가?

주요 결과

• 순환류에서 유도된 기본 블록과 $\mathrm{GA}_1(q)$를 이용하여 정확히 결정된 매개변수를 갖는 다섯 개의 무한한 2-설계 가닥이 구성되었다.
• 정리 17과 정리 21에서 유도된 2-설계는 $m \geq 4$ 이며 짝수인 경우 이진 선형 부호의 매개변수 $[2^m, 2m+1, 2^{m-1} - 2^{m/2}]$를 갖는다.
• $m = 4$ 인 경우 부호 $\mathcal{C}_2(\mathbb{D})$는 최적이다; $m = 6$ 및 $m = 8$ 인 경우 최고 성능을 가진다.
• $\mathcal{C}_2(\mathbb{D})$의 무게 분포는 대칭 패턴을 따르며, 각 무게에 대한 특정 개수를 갖는 것으로 추측되며, $m = 4,6,8$ 에서 계산적으로 확인되었다.
• 쌍대 부호 $\mathcal{C}_2(\mathbb{D})^\perp$는 매개변수 $[2^m, 2^m - 1 - 2m, 6]$를 갖는 것으로 추측되며, 지수적으로 많은 2-설계를 포함한다.
• 본 연구는 2-설계가 최적 또는 최고 성능을 가지는 선형 부호를 도출할 수 있음을 보여주며, 이는 부호 이론에서의 중요성을 강화한다.