Z₂Z₄‑선형 코드의 랭크와 커널: 완전 해석과 구조적 구축

초록

본 논문은 Z₂Z₄‑가법 코드의 이진 이미지인 Z₂Z₄‑선형 코드에 대해 랭크와 커널 차원을 체계적으로 규명한다. 가능한 랭크와 커널 차원의 구간을 제시하고, 각 구간의 모든 정수값에 대해 해당 파라미터를 갖는 코드를 명시적으로 구성한다. 또한 커널 차원을 고정했을 때 가능한 랭크 범위를 구하고, (랭크, 커널 차원) 쌍마다 존재하는 코드를 제공한다.

상세 분석

Z₂Z₄‑가법 코드는 Z₂^α × Z₄^β 위의 부분군으로 정의되며, 그 이진 이미지 C = Φ(𝒞)는 Z₂Z₄‑선형 코드라 불린다. 논문은 먼저 𝒞의 군 구조를 (α,β;γ,δ;κ) 형태로 파라미터화한다. 여기서 γ와 δ는 각각 차수 2와 차수 4인 생성원 개수, κ는 X‑좌표(이진 부분)에서 차수 2인 부분코드의 차원이다. 이러한 파라미터는 코드의 길이 n = α + 2β와 직접 연결된다.

핵심 정리는 랭크와 커널 차원을 결정하는 두 가지 집합을 제시한다. 랭크는 h(C) = ⟨C⟩₂, 즉 C의 모든 코드워드가 생성하는 이진 선형 부분공간의 차원이다. Lemma 3에 따르면 h(C)는 {Φ(u_i)}{i=1}^γ, {Φ(v_j), Φ(2v_j)}{j=1}^δ, 그리고 {Φ(2v_j∗v_k)}_{1≤j<k≤δ} 로 생성된다. 여기서 u_i는 차수 2 생성원, v_j는 차수 4 생성원이며 ∗는 성분별 곱이다. 따라서 기본 랭크는 γ+2δ이며, 추가적인 독립 벡터는 최대 ⌊δ/2⌋개가 될 수 있다. 그러나 β와 κ에 의해 제한을 받으며, 최종 상한은 min(β+δ+κ, γ+2δ+⌊δ/2⌋) 로 도출된다. 하한은 γ+2δ, 즉 코드가 완전 이진 선형일 때의 값이다.

커널 K(C)는 C를 평행 이동시켜도 불변인 벡터들의 집합이며, 차원 k = dim(K(C)) 로 정의된다. 논문은 K(C)의 가능한 값이 κ ≤ k ≤ γ+δ 로 제한된다는 것을 증명한다. 여기서 κ는 X‑좌표에서 차수 2인 부분코드의 차원이며, γ+δ는 전체 가법 코드의 자유 차원이다. 또한 k가 주어졌을 때 가능한 랭크 r는 γ+2δ ≤ r ≤ γ+2δ+min(β−γ+κ, ⌊δ/2⌋) 로 구체화된다.

구성 방법은 두 단계로 이루어진다. 첫째, (α,β;γ,δ;κ) 형태의 표준 생성행렬 G_S (식 3)를 사용해 기본적인 Z₂Z₄‑가법 코드를 만든다. 둘째, 필요에 따라 2v_j∗v_k 형태의 추가 행을 삽입하거나 제거함으로써 원하는 랭크와 커널 차원을 조절한다. 이 과정은 행렬 연산을 통해 독립성을 유지하면서도 파라미터 범위 전체를 커버한다. 예시로는 확장 1‑완전 Z₄‑선형 코드와 그 Z₄‑듀얼인 Hadamard 코드, 그리고 Z₂Z₄‑버전의 확장 1‑완전 코드가 제시된다. 각각은 논문이 제시한 상한을 정확히 달성하거나 중간값을 구현한다.

결과적으로, 논문은 Z₂Z₄‑선형 코드의 구조적 자유도를 완전히 파악하고, 랭크와 커널 차원이라는 두 핵심 비선형 특성을 동시에 제어할 수 있는 일반적인 설계 프레임워크를 제공한다. 이는 기존에 알려진 특정 코드군(예: Kerdock, Preparata)뿐 아니라 새로운 코드 패밀리를 설계하는 데도 직접적인 활용이 가능하다.