제이투제이포 선형 코드의 생성 행렬과 대수적 이중성

초록

본 논문은 좌표를 두 부분집합 X와 Y로 나누어 각각 이진 선형 코드와 사진 선형 코드를 얻을 수 있는 ℤ₂ℤ₄‑additive 코드를 연구한다. Gray 변환을 통해 얻어지는 이진 이미지인 ℤ₂ℤ₄‑linear 코드는 새로운 이진 군코드 클래스로서, 기본 파라미터를 정의하고 표준 형태의 생성·패리티 검증 행렬을 제시한다. 이를 위해 적절한 내적을 도입해 이중성 개념을 정의하고, 이중 코드의 파라미터를 계산한다. 마지막으로 자기‑이중성을 만족하는 조건을 몇 가지 제시한다.

상세 분석

ℤ₂ℤ₄‑additive 코드는 길이 n 좌표를 두 부분 X (ℤ₂‑좌표)와 Y (ℤ₄‑좌표)로 분할한 뒤, X에 해당하는 부분을 삭제하면 이진 선형 코드가, Y에 해당하는 부분을 삭제하면 사진 선형 코드가 되는 특수한 군코드이다. 이러한 구조는 기존의 순수 이진 혹은 사진 선형 코드와는 달리 두 군의 특성을 동시에 활용할 수 있게 해준다. 논문은 먼저 ℤ₂ℤ₄‑additive 코드 𝒞 의 파라미터를 (α,β;γ,δ) 형태로 정의한다. 여기서 α와 β는 각각 X와 Y의 좌표 수, γ와 δ는 ℤ₂와 ℤ₄ 부분에서 생성되는 자유 차원을 의미한다. 이 파라미터는 코드의 차원 |𝒞|=2^{γ}·4^{δ}와 이진 이미지의 길이 α+2β, 최소 거리 등을 계산하는 기반이 된다.

Gray 변환 φ:ℤ₂^{α}×ℤ₄^{β}→ℤ₂^{α+2β}을 도입함으로써 ℤ₂ℤ₄‑additive 코드를 이진 코드로 사상한다. φ는 ℤ₄‑좌표를 두 개의 이진 좌표(0→00, 1→01, 2→11, 3→10)로 매핑하는데, 이때 Hamming 거리와 Lee 거리가 보존된다. 따라서 φ(𝒞)인 ℤ₂ℤ₄‑linear 코드는 Lee 거리 관점에서 𝒞와 동일한 오류 정정 능력을 가진다.

핵심 기여는 표준 형태의 생성 행렬 G와 패리티 검증 행렬 H를 제시한 점이다. G는 블록 형태
\