[논문 리뷰] An infinite family of linear codes supporting 4-designs

Chunming Tang, Cunsheng Ding|arXiv (Cornell University)|2020. 01. 01.

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

한 줄 요약

이 논문은 $ℂ(2^{2m+1})$에서의 BCH 코드의 영원한 가족을 구성하여 71년간 미해결이었던 문제를 해결한다. 길이 $2^{2m+1}+1$인 이 코드들은 $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ 매개변수를 가진 영원한 $4$-디자인의 가족을 지원한다. 이 구성은 기본 대칭 다항식의 성질과 순환 코드의 구조를 활용하여, 최소 무게의 코드어가 $t$-디자인을 생성함을 증명함으로써, $4$-디자인을 지원하는 선형 코드의 첫 번째 알려진 영원한 가족을 확립한다.

ABSTRACT

The first linear code supporting a $4$-design was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. In the past 71 years, sporadic linear codes holding $4$-designs or $5$-designs were discovered and many infinite families of linear codes supporting $3$-designs were constructed. However, the question as to whether there is an infinite family of linear codes holding an infinite family of $t$-designs for $t\geq 4$ remains open for 71 years. This paper settles this long-standing problem by presenting an infinite family of BCH codes of length $2^{2m+1}+1$ over $\mathrm{GF}(2^{2m+1})$ holding an infinite family of $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ designs. Moreover, an infinite family of linear codes holding the spherical design $S(3, 5, 4^m+1)$ is presented.

연구 동기 및 목표

• 선형 코드의 영원한 가족이 $t \geq 4$인 영원한 $t$-디자인의 가족을 지원하는지 여부에 대한 오랜 동안 미해결이었던 문제를 해결하기 위해.
• 특히 near-MDS 코드에 초점을 맞추어 유한체 위에서 명시적인 선형 코드를 구성하여 $4$-디자인을 지원하기 위해.
• 특정 무게의 코드어를 통해 코딩 이론적 구성 방법을 통해 구면 $3$-디자인 $S(3,5,4^m+1)$를 구성하기 위해.
• 특정 경우, 예를 들어 $ℂ_{(q,q+1,4,1)}$에서, Assmus-Mattson 정리와 자동형군 방법이 $3$-디자인을 증명하는 데 실패하는 이유를 밝혀내어, 대체 접근법의 필요성을 강조하기 위해.
• 선형 코드가 $t$-디자인을 지원하는 구조적 성질을 탐색하고, 이러한 디자인이 코드어 지지 집합으로부터 어떻게 발생하는지에 대한 조건을 규명하기 위해.

제안 방법

• $q = 2^{2m+1}$일 때 길이 $q+1 = 2^{2m+1}+1$인 BCH 코드의 가족 $\mathsf{C}_{(q,q+1,4,1)}$를 정의 집합 접근법을 사용하여 $ℂ(q)$ 위에 구성하기 위해.
• 유한체 위의 기본 대칭 다항식과 추적 함수의 성질을 사용하여 코드의 무게 분포와 그 이중체의 분포를 분석하기 위해.
• 고정된 무게의 코드어가 $t$-디자인을 지지하는 조건을 식별하기 위해 Assmus-Mattson 정리를 적용하며, 특히 $t=3$과 $t=4$의 경우에 중점을 두기 위해.
• 코드어 지지 집합으로 형성된 구조와 알려진 조합론적 디자인, 예를 들어 $S(3,5,4^m+1)$ 및 $4$-디자인 사이의 동형관계를 설정하기 위해.
• Lemma 31과 Lemma 34를 사용하여 $ℂ_{(q,q+1,4,1)}$의 최소 무게 코드어의 지지 집합이 $5$-집합과 $6$-집합으로 이루어진 $3$-디자인을 형성함을 증명하기 위해.
• 조합론적 항등식과 이항계수 계산을 통해 설계 매개변수를 검증하기 위해, 식 (40)과 보조정리 7을 사용하여 이중체에서의 $\lambda$-값을 유도하기 위해.

실험 결과

연구 질문

• RQ1 선형 코드의 영원한 가족이 $t \geq 4$인 영원한 $t$-디자인의 가족을 지원할 수 있는가?
• RQ2 유한체 위의 선형 코드에서 고정된 무게의 코드어를 사용하여 코딩 이론적 구성 방법으로 $4$-디자인을 얻을 수 있는가?
• RQ3 구면 $3$-디자인 $S(3,5,4^m+1)$는 선형 코드의 지지 디자인으로 실현 가능할 수 있으며, 만약 그렇다면 어떤 코드 매개변수를 통해 이루어지는가?
• RQ4 왜 Assmus-Mattson 정리와 자동형군 분석이 특정 경우, 예를 들어 $ℂ_{(q,q+1,4,1)}$에서 $3$-디자인을 증명하는 데 실패하는가?
• RQ5 군 작용을 통한 구면 $3$-디자인 $S(3,5,4^m+1)$와 선형 코드를 통한 구성 방식 사이에 구조적 차이가 존재하는가?

주요 결과

• 이 논문은 $ℂ(2^{2m+1})$ 위에서 길이 $2^{2m+1}+1$인 선형 코드의 영원한 가족을 구성하여, $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ 디자인을 지지함으로써 71년간의 미해결 문제를 해결한다.
• $q = 2^{2m+1}$일 때 $ℂ_{(q,q+1,4,1)}$의 최소 무게 코드어는 $3$-$(2^m+1, 5, 1)$ 스테이너 시스템 $S(3,5,2^m+1)$을 지지하며, $m \in \{2,3\}$일 때는 구면 디자인 $S(3,5,4^m+1)$과 동형임을 보여준다.
• $m \geq 6$일 때 $ℂ_{(q,q+1,4,1)}$의 무게 6 코드어는 $3$-$(q+1,6,\frac{(q-4)(q-16)}{6})$ 디자인을 지지한다. 여기서 $q = 2^m$이다.
• $\mathsf{C}_{(q,q+1,4,1)}^\perp$의 이중체는 $3$-$(q+1, q-5, \lambda)$ 디자인을 지지하며, $\lambda = \frac{(q-4)^2}{120}\binom{q-5}{3}$로 확인되어 이중체 내에서 $3$-디자인의 존재를 확인한다.
• $q = 2^4 = 16$일 때의 예시는 최소 무게 코드어가 $S(3,5,17)$ 스테이너 시스템을 지지하는 $[17,11,5]$ 코드와, 이중체 $[17,6,11]$가 $3$-$(17,11,198)$ 디자인을 지지하는 것을 보여준다.
• 이 논문은 이 경우에 Assmus-Mattson 정리를 사용하여 $3$-디자인을 증명할 수 없음을 보여주며, 이는 고전적인 디자인 이론 도구의 한계를 나타낸다.