[논문 리뷰] Some Nonexistence Results for Strong External Difference Families Using Character Theory

William J. Martin, Douglas R. Stinson|arXiv (Cornell University)|2016. 10. 20.

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

한 줄 요약

이 논문은 유한 아벨 군의 문자 이론을 사용하여 강한 외부 차이 가족(Strong External Difference Families, SEDFs)의 존재하지 않는 결과를 증명한다. $v$가 소수이고 $k>1$, $m>2$일 때는 $(v,m,k,\theta)$-SEDF가 존재하지 않음을 보이며, 두 개의 서로 다른 소수의 곱인 $v=pq$의 경우 필수 조건을 유도하여 일부 매개변수 집합을 배제한다. 주요 기여는 군 대수에서의 문자 합과 수직성 관계를 기반으로 한 일반적인 존재하지 않는 프레임워크이다.

ABSTRACT

In this paper, we study the existence of $(v,m,k,λ)$-strong external difference families (SEDFs). We use character-theoretic techniques to show that no SEDF exists when $v$ is prime, $k > 1$ and $m > 2$. In the case where $v$ is the product of two distinct odd primes, some necessary conditions are derived, which can be used to rule out certain parameter sets. Further, we show that, when $m=3$ or $4$ and $v > m$, a $(v,m,k,λ)$-SEDF does not exist.

연구 동기 및 목표

• 유한 아벨 군에서 문자 이론적 방법을 사용하여 강한 외부 차이 가족(SEDFs)의 존재성을 조사하는 것.
• 특정 매개변수 제약 조건 하에서 SEDFs의 존재하지 않는 결과를 확립하는 것, 특히 $v$가 소수이거나 두 개의 서로 다른 소수의 곱일 경우.
• 두 개의 서로 다른 홀수 소수 $p$와 $q$에 대해 $v=pq$인 군에서 SEDFs의 존재를 위한 필요 조건을 도출하는 것.
• 이전에 부분적으로 해결된 바 있었던 $m>2$ 및 $k>1$의 경우를 더욱 확장하고 정밀화하는 것.
• 군 문자와 수직성 관계를 사용하여 SEDF 매개변수 집합을 체계적으로 분석할 수 있는 이론적 프레임워크를 제공하는 것.

제안 방법

• 유한 아벨 군의 선형 문자를 그룹 대수 $\mathbb{C}[G]$에서 SEDF 식의 양변에 적용하는 것.
• 문자들의 수직성 관계를 사용하여 $\chi(\mathcal{D})$의 합을 분석하고 문자 값에 대한 제약 조건을 도출하는 것.
• 비자명한 문자 $\chi$에 대해 $\sum_{g\in G} \chi(g) = 0$ 임을 이용하여 문자 합에서 모순을 이끌어내는 것.
• $\mathcal{D} = \sum_{j=1}^m D_j$의 구조와 그룹 대수에서의 $D_j \mathcal{D}^{-1} - D_j D_j^{-1} = \lambda(G-1)$ 관계를 분석하는 것.
• 중국인의 나머지 정리와 부분군의 코스 분해를 사용하여 문자 합이 0인 부분집합의 크기와 구조를 분석하는 것.
• Lam과 Leung의 부분집합에 대한 문자 합 결과를 적용하여, 문자 합이 0인 부분집합은 반드시 순서 $p$ 또는 $q$인 부분군의 코스의 disjoint 합집합이어야 함을 보이는 것.

실험 결과

연구 질문

• RQ1 만약 $v$가 소수이고 $k>1$, $m>2$일 때 $(v,m,k,\lambda)$-SEDF가 존재하는가?
• RQ2 두 개의 서로 다른 홀수 소수 $p$와 $q$에 대해 $v=pq$일 때 $(v,m,k,\lambda)$-SEDF가 존재하기 위한 필수 조건은 무엇인가?
• RQ3 문자 이론적 기법을 사용하여 $m=3$ 또는 $m=4$일 때 $v>m$인 경우 SEDF의 존재를 배제할 수 있는가?
• RQ4 조건 $k^2(m-1) = \lambda(v-1)$를 만족하는 매개변수 집합이 존재하지만, 군의 구조적 제약으로 인해 여전히 SEDF를 지지할 수 없는 경우는 있는가?
• RQ5 문자 합의 구조를 사용하여 $\lambda=1$의 알려진 경우를 초월해 존재하지 않는 결과를 도출할 수 있는가?

주요 결과

• 문자 합의 모순을 통해 $v$가 소수이고 $k>1$, $m>2$일 때는 $(v,m,k,\lambda)$-SEDF가 존재하지 않음을 보였다.
• 두 개의 서로 다른 홀수 소수 $p$와 $q$에 대해 $v=pq$일 때, 비자명한 문자 $\chi$에 대해 $\chi(\mathcal{E})=0$인 부분집합 $\mathcal{E} \subseteq G$는 반드시 $p$ 또는 $q$로 나누어 떨어지는 크기를 가져야 하며, 순서 $p$ 또는 $q$인 부분군의 코스의 서로소 합집합이어야 한다.
• $m=3$ 또는 $m=4$이고 $v>m$일 때, 문자 합 분석과 수직성에 기반하여 $(v,m,k,\lambda)$-SEDF는 존재하지 않음을 입증하였다.
• 모든 유도된 필요 조건을 만족하는 매개변수 집합 $(217,9,9,3)$은 이 방법으로는 배제되지 않으며, 이는 한계가 날카로운 것을 시사한다.
• 논문은 $k=1$과 $m=2$가 유일하게 알려진 무한한 SEDF 가족이며, $m>2$와 $k>1$를 동시에 만족하는 비자명한 예는 알려져 있지 않다고 증명하였다.
• $k^2(m-1) = \lambda(v-1)$는 필요 조건이지만 충분 조건은 아니며, 존재를 배제하기 위해 문자 이론에서 유도된 추가 제약 조건이 필요하다.