Zp^r 위의 컨볼루션 코드 디코딩: 선형 동역학 시스템 접근법

초록

본 논문은 예측가능 차수(PDP) 특성을 갖는 Zp^r(정수 모듈러 링) 위의 관측 가능한 컨볼루션 코드를 최소 입력/상태/출력(I/S/O) 표현으로 모델링하고, 이를 이용해 Rosenthal의 디코딩 절차를 링 환경에 확장한다. Greferath‑Vellbinger와 수정된 Torrecillas‑Lobillo‑Navarro 알고리즘을 결합해 두 개의 선형 블록 코드 디코딩 문제로 환원함으로써, 이론적·실제적인 오류 정정 능력과 시간 복잡도를 분석한다.

상세 분석

이 논문은 먼저 Zp^r 위의 컨볼루션 코드를 자유 모듈로 간주하고, 관측 가능성(observability)과 예측가능 차수(PDP)라는 두 핵심 조건을 전제한다. PDP는 인코더 행렬 G(z)의 각 열 최고 차수 계수가 전사(injective)임을 의미하며, 이는 코드의 복잡도 δ와 자유 거리 d_free가 최소화된 형태로 존재함을 보장한다. 이러한 조건 하에서 저자들은 기존 필드 기반 I/S/O 이론을 링으로 일반화한다. 구체적으로, 최소 차수 δ를 갖는 첫 번째 차수 표현(K, L, M)을 구성하고, 이를 표준 형태인 (A, B, C, D) 시스템으로 변환한다. 여기서 A∈Mat_{δ×δ}(Zp^r), B∈Mat_{δ×k}(Zp^r), C∈Mat_{(n−k)×δ}(Zp^r), D∈Mat_{(n−k)×k}(Zp^r)는 각각 상태 전이, 입력 매핑, 출력 매핑, 직접 전이 행렬이다.

이 시스템이 ‘reac‑hable’(제어 가능)하고 ‘observable’(관측 가능)함을 보장하기 위해, 저자들은 Φ_T(Σ)=A^{T−1}B·…·B와 Ψ_Θ(Σ)=⎡C; CA; …; CA^{Θ−1}⎤ 행렬을 정의한다. Φ_T는 블록 코드의 패리티‑체크 행렬, Ψ_Θ는 생성 행렬 역할을 하며, 각각 Zp^r 위에서 전사·전단성을 만족해야 한다. 이러한 T와 Θ가 존재하면, Rosenthal 알고리즘은 컨볼루션 코드 디코딩을 두 개의 선형 블록 코드 디코딩 문제(패리티‑체크 코드와 생성 코드)로 분할한다.

다음 단계에서는 기존의 블록 코드 디코딩 알고리즘을 링에 맞게 적용한다. Greferath‑Vellbinger 알고리즘은 Zp^r‑선형 블록 코드의 최소 거리와 오류 정정 능력을 효율적으로 계산하는 방법을 제공한다. 또한, Torrecillas‑Lobillo‑Navarro 알고리즘을 수정해 다중 레벨(다중 p‑adic) 오류 패턴을 탐지하고, 각 레벨에서 독립적인 블록 디코딩을 수행한다. 두 알고리즘을 조합하면, 전체 컨볼루션 코드에 대해 오류가 p‑adic 확장에 걸쳐 균등하게 분포된 경우에도 최적에 가까운 복구가 가능하다.

복잡도 분석에서는, I/S/O 시스템 차원 δ와 블록 코드 길이 l(≥δ)에 따라 주요 연산이 O(l·δ^2) 혹은 O(l·δ·log p) 수준임을 보인다. 특히, 필드 기반 Viterbi 알고리즘과 비교했을 때, 구조적 최소화와 블록 디코딩 병렬화 덕분에 메모리 사용량이 크게 감소하고, 실시간 처리에 유리한 특성을 가진다.

마지막으로, 저자들은 실험적으로 (n=5, k=2, δ=3) 및 (n=7, k=3, δ=4)와 같은 다양한 파라미터 조합에 대해 시뮬레이션을 수행한다. 결과는 자유 거리 d_free가 필드 경우와 동일하거나 약간 감소하지만, 전체 오류 정정 확률은 p‑adic 레벨이 증가함에 따라 기대값에 근접한다는 것을 보여준다. 이는 링 기반 컨볼루션 코드가 위상 변조와 같은 실제 통신 시스템에 적용될 때, 필드 기반 설계와 비교해 실용적인 이점을 제공함을 시사한다.