[논문 리뷰] Combinatorial $t$-designs from special polynomials

Cunsheng Ding, Chunming Tang|arXiv (Cornell University)|2019. 03. 18.

Coding theory and cryptography참고 문헌 13인용 수 6

한 줄 요약

이 논문은 유한체 $\mathrm{GF}(2^m)$ 위에서 특수 다항식, 특히 o-다항식과 o-모노미얼을 사용하여 $t$-설계의 일반적 구성법을 제시한다. o-다항식은 첫 번째 구성법을 통해 $2$-설계와 $3$-설계를 생성하며, o-모노미얼은 $3$-설계를 생성한다. 두 번째 구성법은 o-다항식으로부터 $3$-설계를 확장하여 생성하며, Cherowitzo, Payne, Subiaco o-다항식과 같은 특정 가족에 대해 존재를 뒷받iesen 추측과 실험적 증거를 제시한다.

ABSTRACT

Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. There are two major methods of constructing $t$-designs. One of them is via group actions of certain permutation groups which are $t$-transitive or $t$-homogeneous on some point set. The other is a coding-theoretical one. The objectives of this paper are to introduce two constructions of $t$-designs with special polynomials over finite fields GF$(q)$, and obtain $2$-designs and $3$-designs with interesting parameters. A type of d-polynomials is defined and used to construct $2$-designs. Under the framework of the first construction, it is shown that every o-polynomial over GF$(2^m)$ gives a $2$-design, and every o-monomial over GF$(2^m)$ yields a $3$-design. Under the second construction, every $o$-polynomial gives a $3$-design. Some open problems and conjectures are also presented in this paper.

연구 동기 및 목표

• 유한체 위의 다항식, 특히 o-다항식과 o-모노미얼과 같은 특수 유형을 사용하여 $t$-설계의 일반적 구성법을 개발하는 것.
• 조합론적 $t$-설계와 유한체 다항식, 특히 하이퍼오발과 사영 평면과 연결된 다항식 간의 관계를 수립하는 것.
• o-다항식과 o-모노미얼을 사용하여 $\mathrm{GF}(2^m)$ 위에서 매개변수를 명시적으로 산출하는 무한한 $2$- 및 $3$-설계 가족을 생성하는 것.
• 구성된 설계의 자동형성 성질과 불변성을 탐구하며, 애핀 불변성과 비-애핀 불변성 사례를 구분하는 것.
• 특히 확장된 구성법에서 블록 집합의 크기 문제를 포함한 열린 문제와 추측을 제시하여 다항식 기반 설계 이론 분야의 향후 연구를 자극하는 것.

제안 방법

• 일반적인 $t$-설계의 구성법은 다항식 $f$가 $\mathrm{GF}(q)$ 위에 정의된 경우, 이미지 집합 $B_{(f,b,c)} = \{f(x) + bx + c \mid x \in \mathrm{GF}(q)\}$를 통해 정의되며, 블록은 크기 $k$에 따라 선택된다.
• 첫 번째 구성법은 일반선형군 $\mathrm{GA}_1(\mathrm{GF}(q))$의 작용을 이용하여, $f$가 치환다항식일 경우 $2$-설계가, $f$가 $\mathrm{GF}(2^m)$ 위의 o-모노미얼일 경우 $3$-설계가 유도됨을 증명한다.
• 두 번째 구성법은 블록 집합을 삼중항 $(a,b,c)$로 확장하여 $\hat{\mathcal{B}}_{(f,k)}$를 구성하며, 임의의 다항식 $f$에 대해 $2$-설계가 유도됨을 증명하고, 특정 조건 하에 $3$-설계가 생성됨을 보여준다.
• 논문은 $2$-설계를 지원하는 특수 다항식 클래스인 d-다항식을 정의하고, 그 성질을 활용하여 일반 o-다항식에서 $2$-설계를 유도한다.
• 홀수 $q$에 대해, $\mathrm{GF}(q)$ 위의 다항식에서 $2$-설계를 조사하며, 특정 다항식 형태에서 대칭 설계가 유도됨을 보여준다.
• 확장된 구성법 $\hat{\mathbb{D}}(f,k)$가 도입되며, $\hat{\mathcal{B}}_{(f,k)}$는 $\mathrm{GF}(q)^3$ 위에서 정의된다. $f$가 o-다항식이고 $|\hat{\mathcal{B}}_{(f,q/2)}| = q(q-1)^2$일 경우, 이는 $3$-설계를 유도할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 유한체 $\mathrm{GF}(2^m)$ 위의 o-다항식을 일반적인 다항식 기반 구성법을 통해 $3$-설계로 구성할 수 있는가?
• RQ2 확장된 구성법 $\hat{\mathbb{D}}(f,k)$가 $2$-설계가 아닌 $3$-설계를 유도하기 위한 조건은 무엇인가?
• RQ3 모든 o-다항식이 $|\hat{\mathcal{B}}_{(f,q/2)}| = q(q-1)^2$ 조건을 만족할 경우 $3$-설계를 생성하는가? 이는 Cherowitzo, Payne, Subiaco o-다항식 가족에 대해 증명 가능할까?
• RQ4 o-다항식으로 구성된 $3$-설계는 애핀 불변인가? 그 자동형군은 $2$-설계의 자동형군과 어떻게 비교되는가?
• RQ5 비-모노미얼 o-다항식에 대해 확장된 구성법 $\hat{\mathbb{D}}(f,k)$가 $t \geq 3$ 인 $t$-설계를 생성할 수 있는가? 필요한 및 충분한 조건은 무엇인가?

주요 결과

• 모든 $\mathrm{GF}(2^m)$ 위의 o-다항식은 첫 번째 구성법을 통해 $2$-설계를 생성하며, 모든 o-모노미얼은 동일한 프레임워크 하에서 $3$-설계를 생성한다.
• 두 번째 구성법은 $\mathrm{GF}(2^m)$ 위의 o-다항식으로부터 $3$-설계를 생성하며, 블록 크기 $k = q/2 = 2^{m-1}$ 이고, $|\hat{\mathcal{B}}_{(f,q/2)}| = q(q-1)^2$ 일 경우 설계 매개변수 $\lambda = (q-4)(q-1)q/8$ 가 성립한다.
• $m \geq 5$ 이며 홀수일 경우, $m \in \{5,7,9\}$ 에 대해 Magma 실험을 통해 비동치 o-다항식(형태 $(ax+b)^e + b^e$ 가 아닌 것들)이 $|\hat{\mathcal{B}}_{(f,q/2)}| = q(q-1)^2$ 를 만족함을 확인하여, 이러한 경우에 $3$-설계가 존재함을 지지한다.
• 구성된 $3$-설계는 반드시 애핀 불변이 아니며, 그 $3$-설계 성질은 직접적으로 검증되어야 하므로, 구조적으로 특별한 성질을 지닌다.
• 확장된 구성법 $\hat{\mathbb{D}}(f,k)$는 임의의 o-다항식에 대해 $2$-설계를 생성하며, 블록 집합 크기 조건이 만족될 경우 $3$-설계를 생성한다. 이는 o-다항식이 $t \geq 3$ 인 $t$-설계를 매우 효과적으로 생성함을 보여준다.
• 논문은 o-다항식으로부터 유도된 $2$-설계가 항상 애핀 불변이 아니며, 비대칭 군 작용에 의해 유도됨을 보여, 설계 이론에서 특히 흥미로운 사례임을 규명한다.