[논문 리뷰] Cyclotomy, difference sets, sequences with low correlation, strongly regular graphs, and related geometric substructures

Koji Momihara, Qi Wang외 1명|arXiv (Cornell University)|2018. 09. 09.

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

한 줄 요약

이 논문은 유한체에서 원분류를 통해 구성된 조합론적 및 기하학적 구조에 대한 종합적인 서베이를 제공한다. 특히 차이 집합, 낮은 자기상관성 시계열, 강한 정규 케일리 그래프에 중점을 두고 있다. 유한체에서의 원분류의 합집합이 프로젝티브 두 교차 집합을 유도하며, 이는 특정 매개변수를 가진 강한 정규 그래프를 이끌어내고, 이는 고전적 포물면 공간 내의 $m$-ovoid와 $i$-tight 집합과 연결된다.

ABSTRACT

In this paper, we survey constructions of and nonexistence results on combinatorial/geometric structures which arise from unions of cyclotomic classes of finite fields. In particular, we survey both classical and recent results on difference sets related to cyclotomy, and cyclotomic constructions of sequences with low correlation. We also give an extensive survey of recent results on constructions of strongly regular Cayley graphs and related geometric substructures such as $m$-ovoids and $i$-tight sets in classical polar spaces.

연구 동기 및 목표

• 유한체에서 원분류의 합집합으로 유도된 조합론적 구조에 관한 고전적 및 최근 결과를 체계화하고 서베이하는 것.
• 원분 구조와 차이 집합, 낮은 상관성 시계열, 강한 정규 케일리 그래프와 같은 핵심 대상 간의 관계를 명확히 하는 것.
• 원분 특성 합과 프로젝티브 두 교차 집합을 통한 고전적 포물면 공간 내 $m$-ovoid와 $i$-tight 집합 이론의 통합.
• 원분 차이 집합 구성에 관한 비존재 결과 및 열린 문제에 대한 종합적 개요 제공.
• 특히 유한 기하학과 디자인 이론의 맥락에서 원분 구조의 가짜난수 및 준난수 성질을 부각시키는 것.

제안 방법

• 유한체 $\mathbb{F}_q$ 내에서 원분류 $C_i^{(N,q)}$ 의 이론을 사용하며, 이는 원시 근 $\gamma$ 를 통해 정의되며 $\mathbb{F}_q^*$ 를 코셋으로 분할한다.
• 차이 집합과 두 수준 자기상관성을 가지는 이진 시계열 간의 연결을 위해 $D \subseteq \mathbb{Z}/v\mathbb{Z}$ 의 특성 수열을 적용한다.
• 포물면 공간 $S$ 의 벡터 공간 $V$ 에서의 케일리 그래프 구성 $\mathrm{Cay}(V,D)$ 를 사용하며, 여기서 $D$ 는 원분류의 합집합으로 유도된다.
• hyperplane 과의 교차 성질을 통해 $m$-ovoid와 $i$-tight 집합의 정확한 크기 공식과 매개변수 조건을 유도한다.
• 유한 기하학과 특성 합 이론의 결과를 적용하여, $m$-ovoid와 $i$-tight 집합이 환경 프로젝티브 공간 내에서 프로젝티브 두 교차 집합을 유도함을 보인다.
• 부분적인 역방향을 확립: 특정 교차 크기를 가지는 프로젝티브 두 교차 집합이면, 반드시 어떤 포물면 공간 내 $m$-ovoid 또는 $i$-tight 집합이어야 한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q^*$ 내 원분류의 어떤 합집합이 차이 집합을 유도하는가? 이러한 구성에 필요한 필수 및 충분 조건은 무엇인가?
• RQ2 원분류는 어떻게 낮은 자기상관성 시계열을 생성하는가? 알려진 매개변수 범위와 구성은 무엇인가?
• RQ3 고전적 포물면 공간 내 점 집합이 원분 구조를 통해 언제 $m$-ovoid 또는 $i$-tight 집합이 되는가?
• RQ4 포물면 공간 내 $m$-ovoid와 $i$-tight 집합은 음의 라틴 스퀘어 또는 라틴 스퀘어 유형 매개변수를 가진 강한 정규 케일리 그래프와 어떻게 관련이 있는가?
• RQ5 원분 차이 집합에 관한 알려진 비존재 결과는 무엇이며, 이는 $C_0^{(N,q)}$ 가 차이 집합이 되는 장기적 추측과 어떻게 관련이 있는가?

주요 결과

• 모든 $q \equiv 3 \pmod{4}$ 인 경우에 $C_0^{(2,q)}$ 를 사용한 펠리 차이 집합 구조는 $(q, \frac{q-1}{2}, \frac{q-3}{4})$ 차이 집합의 고전적 예이다.
• 두 수준 자기상관성을 가지는 이진 시계열의 원분 구조는 정확히 아벨 차이 집합에 대응하며, 이 때 자기상관 값은 이동 0에서 $v$ 이고, 그 외에는 $v - 4(k - \lambda)$ 이다.
• 포물면 공간 $S$ (예: $\mathsf{H}(2r,q^2)$, $\mathsf{Q}^-(2r-1,q)$, $\mathsf{W}(2r-1,q)$) 내의 $m$-ovoid 는 음의 라틴 스퀘어 유형 매개변수 $(u^2, s(u+1), -u + s^2 + 3s, s^2 + s)$ 를 가지는 강한 정규 케일리 그래프를 유도한다. 여기서 $u = q^{2r+1}$, $s = m(q^2 - 1)$ 등이다.
• 포물면 공간 $S$ 내의 $i$-tight 집합은 라틴 스퀘어 유형 매개변수 $(u^2, s(u-1), u + s^2 - 3s, s^2 - s)$ 를 가지는 강한 정규 케일리 그래프를 유도한다. 여기서 $u = q^{2r}$, $s = i$ 등이다.
• 정리 4.20과 4.22 는 $m$-ovoid와 $i$-tight 집합이 환경 프로젝티브 공간 내에서 프로젝티브 두 교차 집합임을 보여주며, 이는 해당 케일리 그래프의 기하학적 특성화를 가능하게 한다.
• 정리 4.20과 4.22 의 부분적인 역방향이 존재한다: 특정 교차 크기를 가지는 프로젝티브 두 교차 집합이면 반드시 $m$-ovoid 또는 $i$-tight 집합이어야 하며, 이는 이러한 대상에 대한 구조적 접근법을 제공한다.