제한환에서 최소 트레시스 인코더 설계와 p‑인코더 이론

본 논문은 유한환 Zₚʳ( p는 소수, r은 양의 정수) 위에 정의된 컨볼루션 코드를 대상으로, 최소 트레시스 표현을 얻기 위한 새로운 인코더 구조와 그 이론적 근거를 제시한다. 첫 번째 장에서는 기존 문헌에서 다루어진 필드(유한체) 기반 컨볼루션 코드 이론을 요약한다. 필드 경우에는 임의의 다항식 인코더 G(z)를 좌측 소수(left‑prime)와 행 감소(row‑reduced) 형태로 변환하면, 그 컨트롤러 정준 구현이 최소 트레시스를 제공한다는 것이 알려져 있다. 두 번째 장에서는 Zₚʳ 위의 코드에 적용할 수 있는 “p‑인코더(p‑encoder)” 개념을 정의한다. p‑인코더는 행이 p‑선형 독립인 p‑제너레이터 시퀀스로 이루어진 다항식 행렬 E(z)이며, 입력 시퀀스는 Aₚ={0,…,p‑1}의 원소만을 사용한다. 이는 Zₚʳ의 p‑진 전개 특성을 이용해 각 원소를 고유하게 표현할 수 있다는 점에서 핵심적인 역할을 한다. 다음으로, 비파괴적(non‑catastrophic) 코드를 가정하고, 기존의 다항식 인코더 G(z)를 p‑인코더 형태로 변환하는 절차를 제시한다. 변환 과정에서 “감소된 p‑기저(reduced p‑basis)”를 사용한다. 감소된 p‑기저는 각 행의 선도 계수(leading coefficient)가 p‑선형 독립인 경우에 존재하며, 이는 행 차수의 합 γ가 불변량임을 보장한다. 이러한 p‑인코더를 “최소 p‑인코더(minimal p‑encoder)”라 명명한다. 세 번째 장에서는 최소 p‑인코더의 컨트롤러 정준 구현을 상세히 기술한다. 행렬 A, B, C, D를 이용해 E(z)=B(z⁻¹I−A)⁻¹C+D 로 표현되며, A는 nilpotent이며 차원은 γ와 동일하다. 이 구현은 전통적인 선형 시프트 레지스터와 유사하지만, 상태 집합이 Zₚʳ 대신 p‑진 디지털(0~p‑1) 조합으로 구성되어 비선형적인 특성을 가진다. 논문은 이 구현이 “정준 트레시스(canonical trellis)”와 동형임을 증명함으로써, 상태 수가 정확히 p^γ 가 됨을 보인다. 여기서 γ는 최소 p‑인코더의 행 차수들의 합이며, 이는 코드의 전체 제약 길이와 동일한 의미를 가진다. 네 번째 장에서는 지연‑자유성(delay‑free) 특성을 재정의한다. 기존 문헌에서는 일부 코드가 지연‑자유 인코더를 갖지 못한다는 부정적 결과가 있었지만, p‑인코더 프레임워크에서는 언제든지 지연‑자유 p‑인코더를 구성할 수 있음을 보인다. 이는 지연‑자유성이 코드 자체가 아니라 인코더 설계에 의존한다는 필드 경우와 동일한 결론이다. 마지막으로 파괴성(catastrophic) 문제에 대해 논의한다. 현재는 완전한 증명이 없지만, 모든 파괴적 코드도 비파괴적 p‑인코더를 가질 수 있다는 conjecture을 제시한다. 논문은 몇몇 파괴적 코드 예시를 분석하고, 해당 코드에 대해 비파괴적 p‑인코더를 실제로 구성함으로써 이 추측을 뒷받침한다. 결론적으로, 본 연구는 Zₚʳ 위의 컨볼루션 코드를 위한 최소 트레시스 설계에 필요한 algebraic 도구와 구현 방법을 체계화했으며, 기존 필드 기반 이론을 환으로 일반화하는 중요한 진전을 제공한다. 이는 Viterbi 디코더와 같은 트레시스 기반 디코딩 알고리즘의 복잡도를 크게 낮출 수 있는 실용적 의의를 가진다.