[논문 리뷰] New Existence and Nonexistence Results for Strong External Difference Families

Jingjun Bao, Lijun Ji외 2명|arXiv (Cornell University)|2016. 12. 26.

graph theory and CDMA systems참고 문헌 8인용 수 4

한 줄 요약

이 논문은 유한체 내 순환 클래스를 이용하여 캐릭터 이론 기법을 사용하여 강한 외부 차분 가족(SEDFs)에 대한 새로운 비존재 결과를 제시하고, 두 개의 새로운 무한한 가족의 $(n,2,k,\lambda)$-SEDF를 구성한다. SEDFs가 $m>2$, $k>1$, $\lambda>1$일 경우 존재하지 않을 것임을 증명하며, 소수 거듭제곱의 순서를 초월하여 $q=1+16t^2$ 및 $p=1+108t^2$일 때 명시적인 SEDF 구성법을 수립한다.

ABSTRACT

In this paper, we use character-theoretic techniques to give new nonexistence results for $(n,m,k,λ)$-strong external difference families (SEDFs). We also use cyclotomic classes to give two new classes of SEDFs with $m=2$.

연구 동기 및 목표

• 캐릭터 이론적 방법을 사용하여 SEDF의 존재에 대한 새로운 필수 조건과 비존재 결과를 수립하기.
• 이전의 $m>2$, $k>1$, $\lambda>1$ 조건을 만족하는 SEDF에 대한 비존재 결과를 일반화하기.
• 유한체 내 순환 클래스를 통해 $(n,2,k,\lambda)$-SEDF의 새로운 무한한 가족을 구성하기.
• 소수 거듭제곱이 아닌 군에 대해 $k,\lambda>1$ 조건에서 SEDF의 존재성을 조사하기.
• $m>2$, $k>1$, $\lambda>1$일 경우 어떤 SEDF도 존재하지 않을 것이라는 추측을 제안하기.

제안 방법

• 유한 아벨 군에 대한 캐릭터 이론을 적용하여 SEDF 존재에 대한 필수 조건을 도출하기.
• 군 캐릭터의 수직관계를 이용하여 외부 차분 집합을 분석하기.
• GF(q)에서 인덱스 4와 6의 순환 클래스를 적용하여 $m=2$인 SEDF를 구성하기.
• 외부 차분이 균일한 분포를 이루는지 판단하기 위해 순환 수 $(i,j)_e$를 분석하기.
• 모든 $i$에 대해 $(i,e/2)_e$의 순환 수가 동일할 경우 SEDF 구성이 보장됨을 검증하기.
• 소수를 $s^2 + dt^2$ 형태로 표현하는 기존의 방법을 이용하여 균일한 순환 수를 확보하기.

실험 결과

연구 질문

• RQ1 캐릭터 이론적 기법을 사용하여 이전의 한계를 초월해 SEDF에 대한 새로운 비존재 결과를 도출할 수 있는가?
• RQ2 인덱스 4 또는 6의 순환 클래스가 $m=2$ 조건에서 유효한 SEDF를 생성할 수 있는 조건은 무엇인가?
• RQ3 소수 거듭제곱이 아닌 군에서 $k,\lambda>1$ 조건을 만족할 경우 SEDF를 구성할 수 있는가?
• RQ4 SEDF가 $m>2$, $k>1$, $\lambda>1$ 조건에서 존재하는가?
• RQ5 SEDF 구성에 있어 순환 수에 대한 필수 및 충분 조건은 무엇인가?

주요 결과

• 논문은 $m>2$, $k>1$, $\lambda>1$ 조건을 만족하는 $(n,m,k,\lambda)$-SEDF가 존재하지 않음을 증명하며, 더 넓은 비존재 추측을 지지한다.
• $q=1+16t^2$일 경우, 인덱스 4의 순환 클래스를 이용하여 $(q,2,\frac{q-1}{4},\frac{q-1}{16})$-SEDF가 존재한다.
• $p=1+108t^2$일 경우, 인덱스 6의 순환 클래스를 이용하여 $(p,2,\frac{p-1}{6},\frac{p-1}{36})$-SEDF가 존재한다.
• 모든 $i$에 대해 $(i,e/2)_e$의 순환 수가 동일할 경우 외부 차분 분포가 균일해지며, 이는 SEDF 구성에 성공함을 보장한다.
• 특정 수론적 조건 하에서 순환 클래스로부터 SEDF를 구성할 수 있음을 보여줌으로써 이전 결과를 일반화한다.
• 구성 가능한 SEDF의 경우 $k>1$ 조건에서 $n$이 $k$로 나누어지면 안 된다는 점을 확인하며, SEDF 존재에 대한 구조적 제약 조건을 강화한다.