링 기하와 두 가중치 코드 강규칙 그래프의 새로운 연결

초록

본 논문은 유한 프뢰베니우스 환 위의 두 비영 가중치 링선형 코드를 프로젝트ive 링 기하와 연결시키고, 이를 통해 강규칙 그래프를 구성하는 방법을 제시한다. 기존의 체 기반 결과를 일반화하여, 환 위 코드가 생성하는 다중집합이 모든 초평면을 정확히 두 종류의 점 수(a, b)로 교차함을 보이고, 이러한 구조가 강규칙 그래프의 정점-가중치 대응을 제공함을 증명한다. 또한 링 기하를 이용한 구체적인 구성 예시를 제시해 무한한 강규칙 그래프 가족을 얻는다.

상세 분석

논문은 먼저 유한 프뢰베니우스 환 R의 모듈 구조와 동형 가중치 개념을 정리한다. R‑선형 코드 C⊂R^n이 두 개의 비영 동형 가중치 w₁<w₂만을 가질 때, C의 비영 코드워드 집합을 프로젝트ive 링 공간 PG(R, k) 안의 점들의 다중집합 M으로 사상한다. 여기서 k는 C의 자유 차원이며, M은 모든 초평면 H⊂PG(R, k)에 대해 |M∩H|가 두 값 a 혹은 b 중 하나가 되도록 설계된다. 이는 기존 체 경우의 “두 가중치 코드 ↔ 두 점 교차 다중집합” 정리를 환으로 확장한 형태이며, 핵심은 프뢰베니우스 환이 갖는 자기대칭성(자연적인 비대칭 쌍대)과 힐베르트-서브라스 정리를 이용해 가중치 분포가 균일하게 유지된다는 점이다.

다음으로 저자들은 이러한 다중집합 M이 정의하는 인접 관계를 이용해 그래프 G(C) 를 만든다. 정점은 C의 모든 코드워드이며, 두 정점 x, y가 인접할 조건은 x−y가 가중치 w₁을 갖는 경우로 정의한다. 이때 G(C)는 강규칙 그래프(Strongly Regular Graph, SRG)임을 보이기 위해, 정점 수 v=|C|, 차수 k, 그리고 인접·비인접 정점 쌍이 공유하는 공통 이웃 수 λ, μ 를 정확히 계산한다. 핵심 계산은 코드워드 차이의 가중치 분포와 M이 초평면을 만났을 때의 점 수 a, b 사이의 관계식에서 도출된다. 특히, 프뢰베니우스 환의 유니터리 그룹 U(R)와 잔류체(Residue field) 구조를 활용해 λ와 μ가 정수이며, λ≠μ인 비자명한 파라미터를 갖는 SRG가 생성됨을 증명한다.

구성 부분에서는 두 가지 주요 방법을 제시한다. 첫 번째는 R=ℤ_{p^m} (p는 소수, m≥2)와 같은 체인 환을 이용해, R‑모듈 R^k에 대한 표준 정규형을 취하고, 특정 행렬 H (예: 가우스 합 행렬) 를 검증함으로써 두 가중치 코드를 만든다. 두 번째는 R=𝔽_q