[논문 리뷰] The $(n,m,k,\lambda)$-Strong External Difference Family with $m \geq 5$ Exists

Jiejing Wen, Minghui Yang외 1명|arXiv (Cornell University)|2016. 12. 30.

Coding theory and cryptography참고 문헌 1인용 수 8

한 줄 요약

이 논문은 $m \geq 5$인 $(n,m,k,\lambda)$-강한 외부 차별 집합(SEDF) 중에서 알려진 바 없는 첫 번째 사례를 구성한다. 특히 유한체 $\mathbb{F}_{243}$ 내에서 $(243, 11, 22, 20)$-SEDF를 구성한다. 이 구성은 $\mathbb{F}_{3^5}$ 내의 11개의 순서 11 순환류를 사용하며, 순환수와 군 링 항등식을 통한 명시적 계산을 통해 이러한 순환류가 SEDF 조건을 만족함을 증명한다. 이는 $m \geq 5$인 이러한 SEDF의 존재성에 관한 열린 문제를 해결한다. 결과적으로 이는 이전에 알려진 $m=2$의 경우를 초월한 비자명한 SEDF의 존재를 확인한다.

ABSTRACT

The notion of strong external difference family (SEDF) in a finite abelian group $(G,+)$ is raised by M. B. Paterson and D. R. Stinson [5] in 2016 and motivated by its application in communication theory to construct $R$-optimal regular algebraic manipulation detection code. A series of $(n,m,k,\lambda)$-SEDF's have been constructed in [5, 4, 2, 1] with $m=2$. In this note we present an example of (243, 11, 22, 20)-SEDF in finite field $\mathbb{F}_q$ $(q=3^5=243).$ This is an answer for the following problem raised in [5] and continuously asked in [4, 2, 1]: if there exists an $(n,m,k,\lambda)$-SEDF for $m\geq 5$.

연구 동기 및 목표

• 문헌 [5]에서 제기되었고, 이후 [4, 2, 1]에서 재확인된, $m \geq 5$인 $(n,m,k,\lambda)$-SEDF의 존재성에 관한 열린 문제를 해결하기 위해.
• 유한 아벨 군 내에서 $m \geq 5$인 비자명한 SEDF의 구체적 예를 구성하기 위해.
• 순환류의 순서 11이 $\mathbb{F}_{3^5}$ 내에서 외부 차별 조건을 만족함을 입증함으로써, 유효한 SEDF를 형성함을 보여주기 위해.

제안 방법

• 군 링 표기법을 사용하여 SEDF 조건을 정의한다: 각 $i$에 대해 $\sum_{j \neq i} \Delta(D_i, D_j) = \lambda(G \setminus \{0\})$ 이다. 여기서 $\Delta(D_i, D_j)$ 는 차이의 다중집합 $a_i - a_j$ 를 의미한다.
• 유한체 $\mathbb{F}_{243} = \mathbb{F}_3(\theta)$ 를 사용하며, 여기서 $\theta$ 는 $\mathbb{F}_3$ 위에서 기약 다항식 $x^5 + x^4 + x^3 + x^2 + 2x + 1$ 의 근이다. 이를 통해 체를 구성하고 원시 원소를 식별한다.
• 원시 원소 $\theta$ 와 부분군 $\langle \theta^{11} \rangle$ 를 사용하여 $\mathbb{F}_{243}^\times$ 내의 순서 11의 순환류 $C_0, \dots, C_{10}$ 를 계산한다. 각 순환류의 크기는 22이다.
• 대수적 항등식과 체 원소의 명시적 벡터 표현을 사용하여 $0 \leq i \leq 10$ 인 순환수 $(i,i)_{11}$ 을 계산한다. 이로써 $(0,0)_{11} = 1$ 이고, $1 \leq i \leq 10$ 일 때 $(i,i)_{11} = 2$ 임을 보인다.
• 항등식 $\Delta(C_i, C_j) = \sum_{\lambda} (i-j+\lambda, i-j+\lambda)_{11} C_\lambda$ 와 계산된 순환수를 사용하여, $\sum_{j \neq i} \Delta(C_i, C_j) = 20(\mathbb{F}_{243} \setminus \{0\})$ 임을 보여 SEDF 조건을 검증한다.
• 순환류가 $\mathbb{F}_{243} \setminus \{0\}$ 를 분할하고, 모든 $i$에 대해 차이 다중집합 조건이 균일하게 성립함을 확인한다.

실험 결과

연구 질문

• RQ1 비자명한 $(n,m,k,\lambda)$-SEDF가 $m \geq 5$ 인 경우 존재하는가?
• RQ2 유한체 내에서 순서 $e \geq 5$ 인 순환류가 SEDF를 형성할 수 있는가?
• RQ3 순환류 가족이 SEDF를 형성하기 위한 순환수에 대한 필수 조건은 무엇인가?

주요 결과

• 논문은 $\mathbb{F}_{243}$ 내에서 순서 11의 11개의 순환류를 사용하여 $(243, 11, 22, 20)$-SEDF를 구성한다.
• 순환수 $(i,i)_{11}$ 가 $(0,0)_{11} = 1$ 이고 $1 \leq i \leq 10$ 일 때 $(i,i)_{11} = 2$ 임을 증명함으로써, SEDF 조건 검증에 핵심적인 역할을 한다.
• 모든 $i$에 대해 SEDF 조건이 성립함을 보였으며, $\sum_{j \neq i} \Delta(C_i, C_j) = 20(\mathbb{F}_{243} \setminus \{0\})$ 이다. 이는 $">\{C_0, \dots, C_{10}\}$ 이 유효한 SEDF임을 확인한다.
• 이 구성은 $m \geq 5$ 인 비자명한 SEDF의 첫 번째 알려진 사례를 제공하며, 이 분야에서 오랫동안 남아있던 열린 문제를 해결한다.
• $C_i$ 가 매개수 $(243, 22, 1, 2)$ 를 가진 부분 차별 집합(PDS)임을 보였으며, $\lambda = \mu - 1$ 을 만족함으로써 PDS 분할을 통한 SEDF 구성에 기여한다.
• 결과적으로 SEDF의 $m = 11$ 인 경우는 $\lambda = \mu - 1$ 인 PDS로부터 구성될 수 있으며, 본 논문은 이러한 PDS의 일반화된 SEDF 구성에 대한 향후 탐색을 제안한다.