일반화된 데니스톤 파라미터를 갖는 강규칙 그래프와 이중형

초록

본 논문은 초등 아벨 군 위에 정의된 두 개의 무한 가족의 강규칙 그래프(또는 부분 차이 집합)를 구축한다. 이들 그래프는 전통적인 라틴 사각형형·음의 라틴 사각형형 파라미터와는 다른, 데니스톤 및 이중 데니스톤 파라미터를 일반화한 형태를 갖는다. 기존의 여러 구성(데니스톤의 최대 호, 홀수 차수에서의 최근 결과 등)을 하나의 틀로 통합하고, 새로운 파라미터 계열을 제시함으로써 강규칙 그래프와 코딩·프로젝트 기하 사이의 연결을 심화시킨다.

상세 분석

논문은 먼저 강규칙 그래프(SRG)의 정의와 이를 케이리 그래프와 부분 차이 집합(PDS)으로 보는 동등성을 정리한다. 케이리 그래프 Cay(G,D) 가 SRG가 되기 위한 필요충분조건은 D가 (v,k,λ,μ)‑PDS이어야 함을 Lemma 1.6으로 제시하고, 이러한 구조가 프로젝트 집합과 두 가중 코드와도 일대일 대응한다는 Lemma 1.9를 인용한다. 기존에 잘 알려진 라틴 사각형형과 음의 라틴 사각형형 파라미터는 군의 차수가 제곱수인 경우에만 나타나는 반면, 데니스톤 파라미터는 q가 짝수 차수일 때 최대 호와 직접 연결된다.

핵심 기여는 Theorem 1.10과 Theorem 1.12에서 제시된 두 무한 가족이다. Theorem 1.10은 소수 p와 그 거듭제곱 q=p^s, 양의 정수 m, ℓ, 그리고 0≤r≤m에 대해 G=Z_{p^s}^{2ℓ+1} 위에 (v,k_r,λ_r,μ_r)‑PDS D_r를 구성한다. 여기서 v=q^m(2ℓ+1)이며, k_r, λ_r, μ_r는 q와 m, ℓ, r의 다항식 형태로 주어진다. 이 파라미터는 기존의 데니스톤(짝수 차수), Momihara의 음의 라틴 사각형형, Ott의 일반화, 그리고 최근의 홀수 차수 결과(DHJP, BXZ 등)를 모두 포함한다. 즉, Theorem 1.10은 기존 여러 특수 경우를 하나의 일반식으로 통합하는 역할을 한다.

Theorem 1.12는 위의 PDS에 대한 이중(dual) 구조를 다룬다. 케이리 그래프의 문자군 (\widehat G)와의 대응을 이용해 D_r의 이중 집합 D_r^+를 정의하고, 이는 (v^+,k_r^+,λ_r^+,μ_r^+)‑PDS가 된다. 파라미터 식은 원래 식과 유사하지만 q^{m‑r} 형태가 등장해 완전히 새로운 계열을 만든다. 저자들은 이 이중 집합이 실제로는 D_{m‑r}의 여집합으로도 구성될 수 있음을 Lemma 2.2와 Theorem 3.4에서 증명한다.

기술적 핵심은 가우스 합과 사이클로토믹 클래스의 정밀한 계산이다. 특히, D_r을 정의할 때 사용되는 집합은 ({(x,y)\in \mathbb{F}{q^{m}} \times \mathbb{F}{q^{m(\ell+1)}} \mid \mathrm{Tr}{\mathbb{F}{q^{m}}/\mathbb{F}_q}(x^{q^r}y)=0})와 같은 형태이며, 이는 트레이스 함수를 통한 선형 제약을 이용해 차수를 조절한다. 이러한 제약은 차수 r에 따라 D_r의 크기와 차이 다발의 빈도를 정확히 제어한다.

또한, 논문은 기존 문헌과의 관계를 상세히 정리한다. Denniston(1969)의 짝수 차수 최대 호, Ball‑Blokhuis‑Mazzocca(1997)의 홀수 차수 비존재 결과, 그리고 최근의 DHJP, DW, BXZ, Ott 등 다양한 구축을 모두 포괄한다. 특히, 홀수 차수에서 데니스톤 파라미터가 존재한다는 사실은 BBM의 비존재 정리와는 차이가 있음을 강조한다. 여기서 차이는 “강규칙 그래프와 부분 차이 집합” 수준에서는 허용되지만, “완전한 최대 호” 수준에서는 여전히 불가능함을 설명한다.

마지막으로, Theorem 3.4는 이중 그래프 Cay(G,D_r^+)가 최대 클리크 크기가 (q^{m(\ell+1)}−1)/(q−1)임을 보이며, 이는 프로젝트 기하에서의 하이퍼플레인과 직접 대응한다. 이는 그래프 이론과 기하학 사이의 새로운 교차점을 제공한다. 전체적으로 논문은 강규칙 그래프, 부분 차이 집합, 프로젝트 집합, 두 가중 코드 사이의 풍부한 상호작용을 일반화된 파라미터 체계로 정리하고, 향후 새로운 구성과 분류 작업에 중요한 토대를 제공한다.