Z4 선형 Reed‑Muller 코드의 새로운 구성

본 논문은 ℤ₄‑선형 Reed‑Muller(RM) 코드 군을 새롭게 구성하는 일련의 방법론을 제시한다. 연구는 크게 네 부분으로 전개된다. 첫 번째 부분에서는 ℤ₄‑코드와 ℤ₂ℤ₄‑코드의 기본 개념을 정리하고, 표준 내적과 Kronecker 내적을 정의한다. 표준 내적은 ℤ₄ 원소에 2배 가중치를 부여하는 형태이며, Kronecker 내적은 대각 행렬 Kₙ을 이용해 각 좌표를 순환적으로 결합한다. 두 내적은 모노미얼 동등성을 보존하므로, 대칭성 분석에 있어 선택의 자유를 제공한다. 두 번째 부분에서는 기존 이진 Plotkin 구성을 ℤ₄‑코드에 맞게 일반화한 네 가지 새로운 구성을 소개한다. 1. **Quaternary Plotkin Construction (PC)**: 두 ℤ₄‑코드 A, B를 (u₁‖u₁+u₂) 형태로 결합한다. 결과 코드는 길이 2N, 차원 γ_A+γ_B+δ_A+δ_B, 최소거리는 min{2d_A, d_B}이다. 2. **Quaternary Plotkin Construction A (QP)**: (u₁‖u₁+u₂‖u₁+2u₂‖u₁+3u₂) 로 4배 복제한다. 길이 4N, 최소거리 ≥ min{4d_A, 2d_B}이며, Lee 가중치를 이용한 삼각 부등식으로 증명한다. 3. **Double Plotkin Construction (DP)**: 네 개의 코드 A, B, C, D를 순차적으로 결합해 (u₁‖u₁+u₂‖u₁+2u₂+u₃‖u₁+3u₂+u₃+u₄) 형태를 만든다. 최소거리는 min{4d_A, 2d_B, 2d_C, d_D}가 된다. 4. **BQ‑Plotkin Construction**: DP를 변형해 B의 행을 두 부분으로 나누고, 일부 2를 1로 교체한 B′와 2‑행을 제거한 ˆB를 사용한다. 이렇게 하면 최소거리를 정확히 d = min{4d_A, 2d_B, d_C} 로 잡을 수 있다. 각 구성마다 생성 행렬을 명시하고, 거리 하한을 엄밀히 증명한다. 세 번째 부분에서는 위의 구성을 재귀적으로 적용해 ℤ₄‑선형 Reed‑Muller 코드 군 RM₄(r,m) 을 정의한다. r는 차수, m은 변수 수를 의미한다. 저자들은 다음과 같은 주요 성질을 입증한다. - **길이**: ℤ₄‑코드의 길이는 N = 2^{m}이며, Gray 변환 후 이진 길이는 2N = 2^{m+1}. - **차원**: γ+δ = Σ_{i=0}^{r} C(m,i) 로, 이는 전통적인 이진 RM 코드의 차원과 동일하다. - **최소거리**: Lee 거리 기준으로 2^{m−r}이며, Gray 변환 후 이진 최소거리도 동일하게 유지된다. - **포함 관계**: RM₄(r,m) ⊂ RM₄(r+1,m) 가 성립하고, 대칭성을 위해 Kronecker 내적을 사용하면 RM₄(r,m)⊥ = RM₄(m−r−1,m) 가 된다. 특히, r=1 일 때는 ℤ₄‑Hadamard 코드가, r=m−2 일 때는 ℤ₄‑확장 1‑완전 코드가 생성된다. 이는 기존 연구에서 ℤ₄‑선형 Hadamard·완전 코드가 존재함을 확인한 결과와 일치한다. 마지막 부분에서는 Kronecker 내적을 도입함으로써 대칭성(duality) 분석이 간결해진다는 점을 강조한다. 표준 내적을 사용할 경우 복잡한 계수 변환이 필요하지만, Kₙ 행렬을 이용하면 대각선 상의 스케일링이 자동으로 반영되어 C⊥ 를 구할 때 동일한 타입(α,β;γ,δ) 을 유지한다. 이는 ℤ₄‑선형 RM 코드가 이진 RM 코드와 구조적으로 동형임을 강조한다. 결론적으로, 논문은 ℤ₄‑선형 Reed‑Muller 코드의 새로운 구성 방법을 제시하고, 이들 코드가 Gray 변환을 거친 뒤 이진 RM 코드와 동일한 파라미터와 대칭성을 유지함을 증명한다. 제안된 Plotkin 계열 구성을 통해 다양한 차수와 길이의 ℤ₄‑선형 코드를 체계적으로 설계할 수 있으며, 이는 향후 오류 정정 코드 설계와 이론적 연구에 중요한 도구가 될 것으로 기대된다.