헬미티안 자기 이중 GRS 코드의 완전 분류와 명시적 구성

초록

본 논문은 길이 n ≤ q+1 인 경우에만 존재하는 두 종류의 헬미티안 자기-이중 일반화 리드-솔로몬(GRS) 코드를 완전히 규명하고, 이를 위한 두 가지 명시적 구성 방법을 제시한다. 또한 n > q+1 에서는 헬미티안 자기-이중 GRS 코드가 존재하지 않음을 새로운 행렬·LFSR 기반 증명으로 확립한다.

상세 분석

논문은 먼저 헬미티안 내적 ⟨x,y⟩ₕ = ∑ x_i y_i^{q} 를 이용한 자기-이중성 조건을 GRS 코드의 파라미터와 연결한다. Lemma 1에 따르면 GRSₙ,ₖ(α,v) 가 헬미티안 자기-이중이 되려면 0 ≤ i,j < k 에 대해 ∑{ℓ=1}^{n} α{ℓ}^{i+jq} x_ℓ = 0 을 만족하는 비영벡터 x∈(𝔽_q^*)ⁿ이 존재해야 한다. 이를 행렬 T(α)와 선형 피드백 시프트 레지스터(LFSR) 시퀀스 Δ_i = ∑{ℓ}α_ℓ^{i}x_ℓ 로 변환하고, Theorem 1·2를 통해 Δ_i 가 T의 상태 전이와 동일함을 보인다. 결과적으로 Δ{i+jq}=0 (0≤i,j<k) 가 성립하면 β_l = (Δ_{lq+k},…,Δ_{lq+n-1}) 가 선형 독립임을 증명한다. 이 독립성은 k≤q−1 (Theorem 4) 및 n≤q+1 (Theorem 5)의 강력한 상한을 도출한다. 특히 Theorem 5는 기존에 컴퓨터 실험으로만 확인되던 “n>q+1이면 헬미티안 자기-이중 GRS 코드가 존재하지 않는다”는 명제를 순수 대수적 방법으로 증명한다. 이후 두 가지 구체적 구성법을 제시한다. 첫 번째는 α를 𝔽_{q^2}의 원시 원소의 거듭제곱으로 잡고, x을 적절히 선택해 Δ_{i+jq}=0 을 만족시키는 방법이며, 두 번째는 α를 𝔽_q와 𝔽_{q^2}\𝔽_q의 혼합 집합으로 구성하고, v를 α의 제곱근 형태로 정의해 동일한 조건을 만족한다. 두 구성 모두 n=2k, k≤q−1, n≤q+1 의 범위 내에서 모든 가능한 파라미터를 커버한다. 따라서 논문은 “헬미티안 자기-이중 GRS 코드가 존재할 수 있는 경우는 정확히 두 클래스뿐이며, 그 존재와 구성을 완전하게 해결한다”는 결론을 엄밀히 증명한다.