Z₄ 선형 확장 완전 코드의 완전 분류와 계급 차별화

초록

본 논문은 길이 n=2ᵏ (k≥4)인 이진 확장 완전 코드들을 Z₄-선형 구조로 완전히 기술한다. n이 2ᵏ일 때 정확히 ⌊(k+1)/2⌋개의 서로 동등하지 않은 Z₄-선형 코드가 존재하며, 이들 모두 서로 다른 랭크를 가진다.

상세 분석

이 연구는 Z₄-선형 코드 이론의 핵심 문제인 “완전 코드의 Z₄-선형 표현 가능성”을 완전하게 해결한다. 저자는 먼저 Z₄-알파벳 {0,1,2,3} 위에 정의된 Lee 거리와 Gray 사상 φ를 이용해 이진 거리 4의 확장 완전 코드를 Z₄-선형 코드와 일대일 대응시킨다. 핵심은 두 정수 r₁, r₂≥0에 대해 모든 서로 다른 열을 사전식으로 나열한 체크 행렬 A_{r₁,r₂}를 구성하고, 이를 통해 C_{r₁,r₂}= {c∈Z₄^{2^{2r₁+r₂+1}} | A_{r₁,r₂}cᵀ=0} 를 정의한다. 이 코드는 길이 n=4^{r₁}·2^{r₂}=2^{2r₁+r₂+1}이며, 검증을 통해 Lee 거리 최소 4를 만족함을 보인다(정리 1).

다음 단계에서는 A_{r₁,r₂}의 짝·홀 열 분할 연산(Even, Odd)을 이용해 C_{r₁,r₂}의 부분코드와 차원 관계를 귀납적으로 분석한다. 이를 통해 C_{r₁,r₂}와 C_{r₁,r₂−1} 혹은 C_{r₁−1,1} 사이의 동등성 및 비동등성을 증명하고, 결국 서로 다른 (r₁,r₂) 쌍이 만든 코드는 서로 동등하지 않음(섹션 3)을 보인다.

랭크 분석에서는 반복 단어와 Gray 사상의 특성을 활용해 C_{r₁,r₂}의 이진 이미지의 차원 상한을 n−r₁−r₂−1 로 제시하고, 구체적인 경우 r₂≥4에서는 이 상한이 정확히 n−log₂n임을 증명한다(정리 8). 특히 C_{0,r₂}는 기존의 선형 해밍 코드와 달리 비선형이며, 그 랭크는 Hamming 코드의 차원보다 1 크게 나타난다. 또한 C_{1,1}의 랭크가 13임을 직접 계산해 보여준다(정리 9).

마지막으로 섹션 5에서는 Mollard‑형 재귀 구조를 이용해 C_{r₁,r₂}를 단계적으로 생성하는 방법을 제시한다. 이 방식은 기존의 사이클릭 Z₄-코드와의 연관성을 밝히며, 모든 가능한 Z₄-선형 확장 완전 코드를 완전 열거한다는 강력한 결론에 도달한다. 전체적으로 논문은 체크 행렬 설계, Lee 거리와 Gray 사상의 결합, 그리고 랭크 기반 비동등성 증명을 통해 Z₄-선형 완전 코드의 구조를 완전히 규명한다.