[논문 리뷰] Inequivalence of skew Hadamard difference sets and triple intersection numbers modulo a prime

Koji Momihara|arXiv (Cornell University)|2013. 08. 06.

graph theory and CDMA systems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 소수 모듈로 삼중 교차 수라는 새로운 불변량을 도입하여, 펑과 샹이 구성한 무한히 많은 기울기 히든드라드 차집합이 고전적인 페일리 차집합과 동치가 아니라는 것을 증명한다. 재귀적 업그레이드 성질과 문자합 분석을 활용하여, 저자들은 매개변수가 유사하더라도 펑-샹 구성이 서로 다른 조합적 구조를 생성함을 입증한다.

ABSTRACT

Recently, Feng and Xiang \cite{FX113} found a new construction of skew Hadamard difference sets in elementary abelian groups. In this paper, we introduce a new invariant for equivalence of skew Hadamard difference sets, namely triple intersection numbers modulo a prime, and discuss inequivalence between Feng-Xiang skew Hadamard difference sets and the Paley difference sets. As a consequence, we show that their construction produces infinitely many skew Hadamard difference sets inequivalent to the Paley difference sets.

연구 동기 및 목표

• 아벨 군 내에서 페일리의 것 외에 다른 기울기 히든드라드 차집합이 존재하는지에 대한 오랜 열린 문제를 다룬다.
• 계산적으로 비용이 많이 드는 방법에 의존하지 않고도 동치성을 증명하기 위한 이론적 프레임워크를 제공한다.
• 매개변수에 의해 결정되는 표준 불변량(예: p-랭크)의 한계를 극복한다. 이러한 불변량은 서로 다른 기울기 히든드라드 차집합을 구분하지 못한다.
• 유한체 위의 조합적 설계에서 동치성을 탐지하기 위한 새로운 이론적 도구인 소수 모듈로 삼중 교차 수를 수립한다.
• 펑-샹 구성이 페일리 차집합과 동치가 아닌 무한히 많은 기울기 히든드라드 차집합을 생성함을 입증한다.

제안 방법

• 유한체 위의 문자합 성질에서 유도된 소수 모듈로 삼중 교차 수라는 새로운 불변량을 정의한다.
• 다벤포트-하세의 곱공식을 사용하여 가우스 합을 분석하고 문자합의 나누어떨어짐 조건을 도출한다.
• 펑-샹 차집합의 업그레이드 성질을 활용한다: $\mathbb{F}_q$에서 기울기 히든드라드인 집합이 $\mathbb{F}_{q^t}$로 올라가도 $\gcd(t,N)=1$일 때 여전히 기울기 히든드라드이다.
• 재귀 기법을 적용하여 업그레이드된 차수 간의 삼중 교차 수를 비교하고, 이 수치들이 펑-샹과 페일리 차집합 간에 다름을 보임을 보인다.
• 유한체 $\mathbb{F}_q$에서 순서 $N = 2p_1^m$의 순환 클래스를 사용한다. 여기서 $q = p^{fs}$이며, $p \equiv 3 \pmod{4}$ 이고 $f = \mathrm{ord}_N(p) = \phi(N)/2$ 이다.
• 매개변수 $\gcd(t,N)=1$일 때 소수 모듈로 삼중 교차 수가 업그레이드 과정에서 유지됨을 입증하여, 체 확장 간의 재귀적 비교가 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 아벨 군 내에서 페일리 차집합과 동치가 아닌 무한히 많은 기울기 히든드라드 차집합이 존재하는가?
• RQ2 매개변수 기반 불변량을 초월하여 기울기 히든드라드 차집합을 구분할 수 있는 이론적 불변량을 구성할 수 있는가?
• RQ3 업그레이드에 대해 닫혀 있는 펑-샹 기울기 히든드라드 차집합은 페일리 구성과 비교해 별개의 조합적 구조를 생성하는가?
• RQ4 소수 모듈로 삼중 교차 수는 기울기 히든드라드 차집합의 동치성 탐지에 신뢰할 수 있는 불변량이 될 수 있는가?
• RQ5 페일리 및 펑-샹 가족 외에 업그레이드 성질을 갖는 다른 기울기 히든드라드 차집합 구성이 존재하는가?

주요 결과

• 논문은 소수 모듈로 삼중 교차 수라는 새로운 불변량을 사용하여, 펑-샹 기울기 히든드라드 차집합이 페일리 차집합과 동치가 아니라는 것을 증명한다.
• 매개변수 집합 $(v,k,\lambda) = (67,3,14)$에 대해, 펑-샹 구성에서는 모든 $t$에 대해 삼중 교차 수 $n_t$가 최소 3이지만, 페일리 집합의 경우 모든 $t$에 대해 $n_t = 2$임을 보였다.
• $(v,k,\lambda) = (107,3,14)$에 대해, 한 펑-샹 집합에서는 $n_3 = 1$ 이지만, 페일리 집합에서는 모든 $t$에 대해 $n_t = 2$ 이므로, 이는 동치가 아님을 증명한다.
• 업그레이드 과정에서 이 불변량이 유지되므로, 재귀적 구별이 가능하고, 이로 인해 페일리 차집합과 동치가 아닌 무한히 많은 기울기 히든드라드 차집합이 생성됨을 입증한다.
• 컴퓨터 검색에 의존하지 않고도 동치성을 탐지할 수 있었으며, 계산적 검증의 이론적 대안을 제공한다.
• 논문은 정리 13을 통해 펑-샹 구성의 범위를 일반화한다. 여기서 $2 \in \langle p \rangle \pmod{p_1^m}$ 이고 $f = \mathrm{ord}_N(p)$ 가 홀수일 때, 적용 가능한 경우의 범위를 넓힌다.